Tian's theorem for Grassmannian embeddings and degeneracy sets of random sections
Turgay Bayraktar, Dan Coman, Bingxiao Liu, George Marinescu
TL;DR
The paper proves a Tian-type semiclassical expansion for Grassmannian embeddings associated to high powers of a positive line bundle twisted by a Hermitian vector bundle, giving a precise leading term \(\binom{r}{k} c_1(L,h^L)^k\) and, when \(c_1(L,h^L)=\omega\), a second-order correction involving \(c_1(E,h^E)\). It then connects these geometric asymptotics to probabilistic questions: zeros of random sections of \(L^p\otimes E\) equidistribute with the predicted current and the degeneracy-sets currents have explicit expected values given by pullbacks of higher Chern classes via the Kodaira map, interpreted through meromorphic transforms in the sense of Dinh–Sibony. The framework unifies deterministic asymptotics with stochastic geometry, yielding almost-sure convergence results and precise speed-of-convergence estimates, and includes specializations to simultaneous zeros (recovering classical results) and determinant-based degeneracy currents. Overall, the work extends Tian’s expansion to Grassmannian embeddings, enriches the theory of randomness in holomorphic sections, and provides a robust toolbox for studying zeros and degeneracy sets via Chern-class pullbacks.
Abstract
Let $(X,ω)$ be a compact Kähler manifold, $(L,h^L)$ be a positive line bundle, and $(E,h^E)$ be a Hermitian holomorphic vector bundle of rank $r$ on $X$. We prove that the pullback by the Kodaira embedding associated to $L^p\otimes E$ of the $k$-th Chern class of the dual of the universal bundle over the Grassmannian converges as $p\to\infty$ to the $k$-th power of the Chern form $c_1(L,h^L)$, for $0\leq k\leq r$. If $c_1(L,h^L)=ω$ we also determine the second term in the semiclassical expansion, which involves $c_1(E,h^E)$. As a consequence we show that the limit distribution of zeros of random sequences of holomorphic sections of high powers $L^p\otimes E$ is $c_1(L,h^L)^r$. Furthermore, we compute the expectation of the currents of integration along degeneracy sets of random holomorphic sections.
