Short geodesic loops and L^p norms of eigenfunctions on large genus random surfaces

Spectral theory; trace formulas (e.g., that of Selberg) (11F72) Teichmüller theory for Riemann surfaces (30F60) General topics in linear spectral theory for PDEs (35P05) Dynamical systems of geometric origin and hyperbolicity (geodesic and horocycle flows, etc.) (37D40) Geodesics in global differential geometry (53C22) Spectral problems; spectral geometry; scattering theory on manifolds (58J50) Probability measures on topological spaces (60B05)

Abstract: We give upper bounds for

L^{p}

norms of eigenfunctions of the Laplacian on compact hyperbolic surfaces in terms of a parameter depending on the growth rate of the number of short geodesic loops passing through a point. When the genus

g o + i n f t y

, we show that random hyperbolic surfaces

X

with respect to the Weil-Petersson volume have with high probability at most one such loop of length less than

c l o g g

for small enough

c > 0

. This allows us to deduce that the

L^{p}

norms of

L^{2}

normalised eigenfunctions on

X

are a

O (1 / s q r t l o g g)

with high probability in the large genus limit for any

p > 2 + v a r e p s i l o n

for

v a r e p s i l o n > 0

depending on the spectral gap

l a m b d a_{1} (X)

of

X

, with an implied constant depending on the eigenvalue and the injectivity radius.

Review text

Let \(X_g\) be a random compact hyperbolic surface of genus \(g\) and endowed with \(i_{X_g}\), its injectivity radius, and let \(\psi_\lambda\) be an eigenfunction of \(\Delta_{X_g}\), the Laplacian operator on \(X_g\), such that \(\lambda\) is the associated eigenvalue. Up to a multiplicative positive constant, the authors state that the \(L_p\)-norm of \(\psi_\lambda\) is bounded by a function of \(i_{X_g},g\), and the \(L_2\)-norm of \(\psi_\lambda\) when \(\lambda\in [0,\frac{1}{4}-\varepsilon)\cup[\frac{1}{4},\infty)\) for some \(\varepsilon>0\) and \(p\) satisfies meaningful assumptions (Theorem 1.1). Also, the authors furnish a similar result by substituting \(X_g\) with a compact hyperbolic surface \(\Gamma\setminus\mathbb H\) equipped with a fundamental domain \(D\subset\mathbb H\), the Poincaré upper half-plane, and \(\Gamma\) is a fixed point free discrete subgroup of the projective special linear group (Theorem 1.5). The authors get a lower bound of the probability measure of a family of surfaces in \((\mathcal{M}_g)_{\geq g^{-b}}\), the moduli space of compact hyperbolic surfaces such that the injectivity radius of each one is at least equal to \(g^{-b}\) with \(b\in (0,\frac{1}{2})\). To be precise, for \(c>0\) they consider \(N_{\log g^c}(X_g,x)\), the number of primitive geodesic loops based at \(x\in X_g\) and of length less than \(\log g^c\). Let \(N_{\log g^c}(X_g)\) be the supremum of \(N_{\log g^c}(X_g,x)\) over all points of \(X_g\). Then, they state that there is \(\delta>0\) such that a lower bound of the probability measure of \(\mathcal{A}_{g}^{b,c}=\{X_g\in(\mathcal{M}_{g})_{\geq g^{-b}}:N_{\log g^c}(X_g)\leq 1\}\) is bigger than \(1-O(g^{-1/2+\delta(c+b)}+g^{-2b})\) as \(g\) goes to infinity (Theorem 1.3).

Recommendations

Cites work

Cited in

(21)

This page was built for publication: Short geodesic loops and \(L^p\) norms of eigenfunctions on large genus random surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2035532)