arXiv subjects
Publications and source records attributed to Damien Gayet.
We prove the existence of a non-linear recursive relation for the volume of the moduli space of hyperbolic spheres with conical points or geodesic boundaries. This relation generalizes a result by Zograf, where the same was derived for cusps.
For any integer $n\geq 2$, we prove that for any large enough integer $d$, with large probability the injectivity radius of a random degree $d$ complex hypersurface in $\C P^n$ is larger than $d^{-\frac{1}2(3n+2)}$. Here the hypersurface is endowed with the restriction of the ambient Fubini-Study metric, and the probability measure is induced by the Fubini-Study $L^2$-Hermitian product on the space of homogeneous complex polynomials of degree $d$ in $(n+1)$-variables. We also prove that with high probability, the sectional curvatures of the random hypersurface are bounded by $d^{\frac{3}2(n+2)}$, and that its spectral gap is bounded below by $\exp(-d^{\frac{1}4(3n+15)})$. These results extend to random submanifolds of higher codimension in any complex projective manifold. Independently, we prove that the diameter of a degree $d$ divisor is bounded by $Cd^3$, which generalizes and amends the bound given in~\cite{feng1999diameter} for planar curves.
In this paper, we provide a lower bound for the Cheeger constant and the spectral gap for random complex curves in $\C P^2$. The complex curve is endowed with the restriction of the ambient Fubini-Study metric, and the probability measure is the Gaussian measure induced by the $\mathscr{L}^2$-Hermitian product on the space of complex homogeneous polynomialsof degree $d$ in $3$ variables. The proof relies on our previous bounds for the systole and the curvature of random complex curves, together with an isoperimetric inequality for small ovals on complex curves. More generally, we establish such lower bounds for random complex curves within complex projective manifolds.
For any integers $n\geq 2$ and $1\leq r\leq n-1$ satisfying $3r\geq 2n-1$, we show that the expected volume fraction of a random degree $d$ complex submanifold of $\C\mathbb{P}^n$ of codimension $r$ where the bisectional holomorphic curvature (for the induced ambient metric) is negative tends to one when $d$ goes to infinity. Here, the probability measure is the natural one associated with the Fubini--Study metric. We provide similar estimates for the holomorphic sectional curvature, the Ricci curvature, and the scalar curvature. Our results hold more generally for random submanifolds within any complex projective manifold.
In this paper, we study the curvature properties of random complex plane curves. We bound from below the probability that a uniform proportion of the area of a random complex degree $d$ plane curve has a curvature smaller than $-d/8$. Our lower bound is uniform, in the sense that it does not depend on $d$. We also provide uniform upper bounds for similar probabilities. These results extend to random complex curves of projective surfaces equipped with an ample line bundle. This paper can be viewed as a sequel of [1], where other metric statistics were given. On a larger time scale, it joins the general program initiated in [11] of understanding random complex hypersurfaces of projective manifolds.
Let $n\geq 2$ and $r\in \{1, \cdots, n-1\}$ be integers, $M$ be a compact smooth K\''ahler manifold of complex dimension $n$, $E$ be a holomorphic vector bundle with complex rank $r$ and equipped with an hermitian metric $h_E$, and $L$ be an ample holomorphic line bundle over $M$ equipped with a metric $h$ with positive curvature form. For any $d\in \mathbb{N}$ large enough, we endorse the space of holomorphic sections $H^0(M,E\otimes L^d)$ with the natural Gaussian measure associated to $h_E$ , $h$ and its curvature form. Let $U\subset M$ be an open subset with smooth boundary. We prove that the average of the $(n-r)$-th Betti number of the vanishing locus in $U$ of a random section $s$ of $H^0(M,E\otimes L^d)$ is asymptotic to ${n-1 \choose r-1} d^n\int_U c_1(L)^n$ for large $d$. On the other hand, the average of the other Betti numbers are $o(d^n)$. The first asymptotic recovers the classical deterministic global algebraic computation. Moreover, such a discrepancy in the order of growth of these averages is new and constrasts with all known other smooth Gaussian models, in particular the real algebraic one. We prove a similar result for the affine complex Bargmann-Fock model.
Let M be a compact smooth manifold of dimension n with or without boundary, and f : M $\rightarrow$ R be a smooth Gaussian random field. It is very natural to suppose that for a large positive real u, the random excursion set {f $\ge$ u} is mostly composed of a union of disjoint topological n-balls. Using the constructive part of (stratified) Morse theory we prove that in average, this intuition is true, and provide for large u the asymptotic of the expected number of such balls, and so of connected components of {f $\ge$ u}, see Theorem 1.2. We similarly show that in average, the high nodal sets {f = u} are mostly composed of spheres, with the same asymptotic than the one for excursion set. A refinement of these results using the average of the Euler characteristic given by [2] provides a striking asymptotic of the constant defined by F. Nazarov and M. Sodin, again for large u, see Theorem 1.11. This new Morse theoretical approach of random topology also applies to spherical spin glasses with large dimension, see Theorem 1.14.
Let $T$ be a random ergodic pseudometric over $\mathbb R^d$. This setting generalizes the classical \emph{first passage percolation} (FPP) over $\mathbb Z^d$. We provide simple conditions on $T$, the decay of instant one-arms and exponential quasi-independence, that ensure the positivity of its time constants, that is almost surely, the pseudo-distance given by $T$ from the origin is asymptotically a norm. Combining this general result with previously known ones, we prove that The known phase transition for Gaussian percolation in the case of fields with positive correlations with exponentially fast decayholds for Gaussian FPP, including the natural Bargmann-Fock model; The known phase transition for Voronoi percolation also extends to the associated FPP; The same happens for Boolean percolation for radii with exponential tails, a result which was known without this condition. We prove the positivity of the constant for random continuous Riemannian metrics, including cases with infinite correlations in dimension $d=2$. Finally, we show that the critical exponent for the one-arm, if exists, is bounded above by $d-1$. This holds forbond Bernoulli percolation, planar Gaussian fields, planar Voronoi percolation, and Boolean percolation with exponential small tails.
Let $n\geq 1$ be an integer, $\mathcal L \subset \mathbb{R}^n$ be a compact smooth affine real hypersurface, not necessarily connected. We prove that there exists $c>0$ and $d_0\geq 1$, such that for any $d\geq d_0$, any smooth complex projective hypersurface $Z$ in $\mathbb{C} P^n$ of degree $d$ contains at least $ c\dim H_*(Z, \mathbb{R})$ disjoint Lagrangian submanifolds diffeomorphic to $\mathcal L$, where $Z$ is equipped with the restriction of the Fubini-Study symplectic form. If moreover the connected components of $\mathcal L$ have non vanishing Euler characteristic, which implies that $n$ is odd, the latter Lagrangian submanifolds form an independent family of $H_{n-1}(Z, \mathbb{R})$. We use a probabilistic argument for the proof inspired by a result by J.-Y. Welschinger and the author on random real algebraic geometry, together with quantitative Moser-type constructions. For $n=2$, the method provides 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 to a similar bound for hyperbolic curves given by M. Mirzakhani. Our results hold in the more general setting of vanishing loci of holomorphic sections of vector bundles of rank between 1 and $n$ tensoredby a large power of an ample line bundle over a projective complex $n$-manifold.
We prove a Russo-Seymour-Welsh theorem for the antiferromagnetic Ising model with small parameter on a regular enough periodic planar triangulation. More generally we prove that the box-crossing property extends to a neighborhood of the product measure among certain families of discrete percolation models that do not necessarily satisfy the Fortuin-Kasteleyn-Ginibre condition of positive association.
We prove a Russo-Seymour-Welsch percolation theorem for nodal domains and nodal lines associated to a natural infinite dimensional space of real analytic functions on the real plane. More precisely, let $U$ be a smooth connected bounded open set in $\mathbb R^2$ and $γ, γ'$ two disjoint arcs of positive length in the boundary of $U$. We prove that there exists a positive constant $c$, such that for any positive scale $s$, with probability at least $c$ there exists a connected component of $\{x\in \bar U, \, f(sx) \textgreater{} 0\} $ intersecting both $γ$ and $γ'$, where $f$ is a random analytic function in the Wiener space associated to the real Bargmann-Fock space. For $s$ large enough, the same conclusion holds for the zero set $\{x\in \bar U, \, f(sx) = 0\} $. As an important intermediate result, we prove that sign percolation for a general stationary Gaussian field can be made equivalent to a correlated percolation model on a lattice.
We give, as $L$ grows to infinity, an explicit lower bound of order $L^{n/m}$ for the expected Betti numbers of the vanishing locus of a random linear combination of eigenvectors of $P$ with eigenvalues below $L$. Here, $P$ denotes an elliptic self-adjoint pseudo-differential operator of order $m\textgreater{}0$, bounded from below and acting on the sections of a Riemannian line bundle over a smooth closed $n$-dimensional manifold $M$ equipped with some Lebesgue measure. In fact, for every closed hypersurface $Σ$ of $\mathbb R^n$, we prove that there exists a positive constant $p\_Σ$ depending only on $Σ$, such that for every large enough $L$ and every $x\in M$, a component diffeomorphic to $Σ$ appears with probability at least $p\_Σ$ in the vanishing locus of a random section and in the ball of radius $L^{-1/m}$ centered at $x$. These results apply in particular to Laplace-Beltrami and Dirichlet-to-Neumann operators.
Given an elliptic self-adjoint pseudo-differential operator $P$ bounded from below, acting on the sections of a Riemannian line bundle over a smooth closed manifold $M$ equipped with some Lebesgue measure, we estimate from above, as $L$ grows to infinity, the Betti numbers of the vanishing locus of a random section taken in the direct sum of the eigenspaces of $P$ with eigenvalues below $L$. These upper estimates follow from some equidistribution of the critical points of the restriction of a fixed Morse function to this vanishing locus. We then consider the examples of the Laplace-Beltrami and the Dirichlet-to-Neumann operators associated to some Riemannian metric on $M$.
Let X be a smooth complex projective manifold of dimension n equipped with an ample line bundle L and a rank k holomorphic vector bundle E. We assume that 0< k <=n, that X, E and L are defined over the reals and denote by RX the real locus of X. Then, we estimate from above and below the expected Betti numbers of the vanishing loci in RX of holomorphic real sections of E tensored with L^d, where d is a large enough integer. Moreover, given any closed connected codimension k submanifold S of R^n with trivial normal bundle, we prove that a real section of E tensored with L^d has a positive probability, independent of d, to contain around the square root of d^n connected components diffeomorphic to S in its vanishing locus.
Let $M^7$ be a smooth manifold equipped with a $G_2$-structure $ϕ$, and $Y^3$ be an closed compact $ϕ$-associative submanifold. In \cite{McL}, R. McLean proved that the moduli space $\bm_{Y,ϕ}$ of the $ϕ$-associative deformations of $Y$ has vanishing virtual dimension. In this paper, we perturb $ϕ$ into a $G_2$-structure $ψ$ in order to ensure the smoothness of $\bm_{Y,ψ}$ near $Y$. If $Y$ is allowed to have a boundary moving in a fixed coassociative submanifold $X$, it was proved in \cite{GaWi} that the moduli space $\bm_{Y,X}$ of the associative deformations of $Y$ with boundary in $X$ has finite virtual dimension. We show here that a generic perturbation of the boundary condition $X$ into $X'$ gives the smoothness of $\bm_{Y,X'}$. In another direction, we use the Bochner technique to prove a vanishing theorem that forces $\bm_Y$ or $\bm_{Y,X}$ to be smooth near $Y$. For every case, some explicit families of examples will be given.
We estimate from below the expected Betti numbers of real hypersurfaces taken at random in a smooth real projective n-dimensional manifold. These random hypersurfaces are chosen in the linear system of a large d-th power of a real ample line bundle equipped with a Hermitian metric of positive curvature. As for the upper bounds that we recently established, these lower bounds read as a product of a constant which only depends on the dimension n of the manifold with the Kählerian volume of its real locus RX and d^{n/2}. Actually, any closed affine real algebraic hypersurface appears with positive probability as part of such random real hypersurfaces in any ball of RX of radius O(d^{-1/2}).
We asymptotically estimate from above the expected Betti numbers of random real hypersurfaces in smooth real projective manifolds. Our upper bounds grow as the square root of the degree of the hypersurfaces as the latter grows to infinity, with a coefficient involving the Kählerian volume of the real locus of the manifold as well as the expected determinant of random real symmetric matrices of given index. In particular, for large dimensions, these coefficients get exponentially small away from mid-dimensional Betti numbers. In order to get these results, we first establish the equidistribution of the critical points of a given Morse function restricted to the ran- dom real hypersurfaces.
We bound from above the expected total Betti number of a high degree random real hypersurface in a smooth real projective manifold. This upper bound is deduced from the equirepartition of critical points of a real Lefschetz pencil restricted to the complex domain of such a random hypersurface, equirepartition which we first establish. Our proofs involve Hörmander's theory of peak sections as well as the formula of Poincaré-Martinelli.