Systoles and Lagrangians of random complex algebraic hypersurfaces (Q6160173)

From MaRDI portal
scientific article; zbMATH DE number 7683516
Language Label Description Also known as
English
Systoles and Lagrangians of random complex algebraic hypersurfaces
scientific article; zbMATH DE number 7683516

    Statements

    Systoles and Lagrangians of random complex algebraic hypersurfaces (English)
    0 references
    0 references
    9 May 2023
    0 references
    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.
    0 references
    systole
    0 references
    complex algebraic curve
    0 references
    complex projective hypersurface
    0 references
    Lagrangian submanifold
    0 references
    random geometry
    0 references
    Kähler geometry
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references