[论文解读] Universality and scaling of zeros on symplectic manifolds

Pavel Bleher, Bernard Shiffman+1 more|ArXiv.org|Feb 16, 2000

Geometry and complex manifolds参考文献 42被引用 7

一句话总结

该论文建立了几乎复辛流形上随机 $k$-元渐近全纯截面零点相关函数的普遍性与指数衰减。通过推广Kac-Rice公式并利用 [SZ2] 的结果，证明了这些零点的 $n$-点相关函数的缩放极限收敛到与复情形相同的普遍性、短程衰减行为，且连通相关函数随点间距离的平方呈指数衰减。

ABSTRACT

This article is concerned with random holomorphic polynomials and their generalizations to algebraic and symplectic geometry. A natural algebro-geometric generalization studied in our prior work involves random holomorphic sections $H^0(M,L^N)$ of the powers of any positive line bundle $L o M$ over any complex manifold. Our main interest is in the statistics of zeros of $k$ independent sections (generalized polynomials) of degree $N$ as $N o\infty$. We fix a point $P$ and focus on the ball of radius $1/\sqrt{N}$ about $P$. Under a microscope magnifying the ball by the factor $\sqrt{N}$, the statistics of the configurations of simultaneous zeros of random $k$-tuples of sections tends to a universal limit independent of $P,M,L$. We review this result and generalize it further to the case of pre-quantum line bundles over almost-complex symplectic manifolds $(M,J,ω)$. Following [SZ2], we replace $H^0(M,L^N)$ in the complex case with the `asymptotically holomorphic' sections defined by Boutet de Monvel-Guillemin and (from another point of view) by Donaldson and Auroux. Using a generalization to an $m$-dimensional setting of the Kac-Rice formula for zero correlations together with the results of [SZ2], we prove that the scaling limits of the correlation functions for zeros of random $k$-tuples of asymptotically holomorphic sections belong to the same universality class as in the complex case.

研究动机与目标

• 将随机全纯截面零点相关性的普遍性结果从复Kähler流形推广到几乎复辛流形。
• 确立 $k$-元渐近全纯截面零点的 $n$-点相关函数的缩放极限属于与复情形相同的普遍性类。
• 证明极限形式的“连通相关函数”相对于点间最大距离的平方呈指数衰减。
• 将零点相关性的Kac-Rice公式推广至辛流形上渐近全纯截面的 $m$-维情形。
• 表明在 $N$ 充分大时，零点构型的统计行为独立于底层流形、线丛或点。

提出的方法

• 通过渐近全纯截面，将 $n$-点零点相关函数的Kac-Rice公式推广至 $m$-维几乎复辛流形。
• 利用 [SZ2] 中关于渐近全纯截面的结果，在 $M$ 上 $k$-元截面空间上定义概率测度。
• 通过将固定点 $P$ 附近半径为 $1/\sqrt{N}$ 的邻域放大 $\sqrt{N}$ 倍，并令 $N \to \infty$，取相关函数的缩放极限。
• 通过划分与连通图的和，导出全相关函数 $Q_n$ 与连通分量 $R_n$ 之间的恒等式。
• 利用恒等式 $\det A_{nkm} = \sum_{\pi} \prod A_p^{\pi_j(p)}$ 在连通图上建立递推估计，以控制 $R_n$。
• 通过柯西-施瓦茨不等式与路径分解，对图中路径上 $|z^p - z^q|^2 e^{-|z^p - z^q|^2/2}$ 的乘积进行有界，从而证明连通相关函数的指数衰减。

实验结果

研究问题

• RQ1 随机 $k$-元渐近全纯截面零点的 $n$-点相关函数的缩放极限是否收敛到一个与流形 $M$、线丛 $L$ 和点 $P$ 无关的普遍极限？
• RQ2 在缩放极限下，连通相关函数是否相对于点间最大距离的平方呈指数衰减？
• RQ3 零点相关性的Kac-Rice公式能否推广至辛流形上渐近全纯截面的 $m$-维情形？
• RQ4 当在几乎复情形中用渐近全纯截面替代全纯截面时，零点相关统计的普遍性是否仍然保持？
• RQ5 在缩放极限下，连通相关函数的精确衰减速率是多少？其如何依赖于点的构型？

主要发现

• 随机 $k$-元渐近全纯截面零点的 $n$-点相关函数在几乎复辛流形上的缩放极限收敛到一个与流形 $M$、线丛 $L$ 和点 $P$ 无关的普遍极限。
• 连通相关函数 $\widetilde{T}^\infty_{nkm}(z^1,\dots,z^n)$ 相对于最大距离 $R = \max_{p,q} |z^p - z^q|$ 的平方呈指数衰减，满足当 $\min_{p \neq q} |z^p - z^q| \geq c > 0$ 时 $\widetilde{T}^\infty_{nkm} = o(e^{-R^2/n})$。
• 建立了显式界：当 $R \geq 1$ 时，$\widetilde{T}^\infty_{nkm} = O(R^{4n-4} e^{-R^2/(n-1)})$，确认了指数衰减速率。
• 证明依赖于将相关结构分解为连通图，并对图中路径上 $|z^p - z^q|^2 e^{-|z^p - z^q|^2/2}$ 的乘积进行有界。
• 推广的Kac-Rice公式使得全相关函数与连通相关函数之间的递归恒等式得以导出，从而支持归纳估计。
• 结果确认了在缩放极限下，复情形与几乎复辛流形的零点相关性的普遍性类相同，扩展了 [BSZ1, BSZ2] 的先前结果。