Short geodesic loops and \(L^p\) norms of eigenfunctions on large genus random surfaces (Q2035532)

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).