Toric aspects of the first eigenvalue (Q1711005)

Let \(\mathcal{M}=(M,\omega,g)\) be a toric Kähler manifold of dimension \(n\). Let \(\lambda_1\) be the first positive eigenvalue of the associated Laplacian. The authors show: Theorem. Let \(P\subset\mathbb{R}^n\) . There is an integer \(k_0=k_0(P)\geq1\) so that if \(k\geq k_0(P)\), then \(\lambda_1\leq\frac{2nk(N_K+1)}{N_k}\) where \(N_k+1\) is the number of points in \(P\cap\mathbb{Z}^n/k)\). If \(p\) is integral, then \(\lambda_1\leq\frac{2n(N+1)}N\) where \(N+1\) is the number of integer points in \(P\cap\mathbb{Z}^n\). This exhibits an explicit upper bound for \(\lambda_1\) in terms of data concerning the moment polytope. The authors show this bound is attained only by complex projective space with the Fubini-Study metric. The authors also study the smallest non-zero eigenvalue of the Laplacian on torus invariant functions; it is not bounded in general so this spectral data does not agree with \(\lambda_1\). Other related results are obtained.