Systoles and Lagrangians of random complex algebraic hypersurfaces (Q6160173): Difference between revisions

As it is well known, the systole \(\mathrm{Sys}(M,g)\) of a complete Riemannian manifold \((M,g)\) is the infimum of the length of non-contractible loops in \((M,g)\). When \(M\) is a closed manifold, the systole is realized by the shortest non-contractible geodesic loop. The classical isosystolic inequalities take the form \(\mathrm{Vol}(M,g)\geq k (\mathrm{Sys}(M,g))^{n}\), for any metric \(g\) on the \(n\)-dimensional manifold \(M\). The first of such type of inequalities was obtained by Loewner in an unpublished paper written in 1949 where he proved that for any surface \(S\) of the topological type of a torus, \(\textit{Area}(S,g) \geq \frac{\sqrt{3}}{2} (\mathrm{Sys}(S,g))^{2}\). One of the goals of the paper under review is to obtain a uniform positive lower bound for the probability that a projective complex curve in \(\mathbb{C}P^{2}\) of given degree equipped with the restriction of the ambient metric has a systole of small size, which is an analog of a similar bound for hyperbolic curves given by \textit{M. Mirzakhani} [J. Differ. Geom. 94, No. 2, 267--300 (2013; Zbl 1270.30014)]. In order to prove that, the author obtains some results about Lagrangian submanifolds on a smooth complex projective hypersurface in \(\mathbb{C}P^{n}\). Although these are deterministic results, they are obtained as consequences of a more precise probabilistic theorem proved in the present paper, which is inspired by a 2014 result by \textit{D. Gayet} and \textit{J.-Y. Welschinger} [J. Lond. Math. Soc., II. Ser. 90, No. 1, 105--120 (2014; Zbl 1326.14139)] on random real algebraic geometry, together with quantitative Moser-type constructions.