[論文レビュー] 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$-タプルの零点に関する $n$-点相関関数のスケーリング極限が、複素ケースと同一の普遍性クラスに属することを確立すること。
• スケーリング極限における「連結相関関数」が、点間の最大距離の二乗に対して指数的に減衰することを証明すること。
• シンプレクティック多様体上での漸近的に正則なセクションの $m$ 次元設定に、零点相関の Kac-Rice 公式を一般化すること。
• 大 $N$ における極限において、零点配置の統計的挙動が、それらの多様体、ラインバンドル、または点に依存しないことを示すこと。

提案手法

• 漸近的に正則なセクションを用いて、$m$ 次元のほぼ複素シンプレクティック多様体における $n$-点零点相関関数の Kac-Rice 公式を一般化する。
• [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$-点相関関数のスケーリング極限は、普遍的極限に収束するか？
• 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] の先行結果が拡張される。