[論文レビュー] Asymptotics of polynomials and eigenfunctions

Steve Zelditch|ArXiv.org|Aug 13, 2002

Geometry and complex manifolds参考文献 24被引用数 3

ひとこと要約

本稿は、コンパクトなリーマン多様体上のランダム多項式、正のラインバンドルの正則セクション、およびラプラシアン固有関数の零点、臨界点、L^pノルムの漸近的分布を調査する。再生核とランダム行列モデルを用いて、零点が曲率に関して一様に分布すること、固有関数が測地線流れの力学と関連した量子遍歴性を示すこと、Liouvilleの葉層構造に依存する鋭いL^pノルムの境界を得ることを確立する。

ABSTRACT

We review some recent results on asymptotic properties of polynomials of large degree, of general holomorphic sections of high powers of positive line bundles over Kahler manifolds, and of Laplace eigenfunctions of large eigenvalue on compact Riemannian manifolds. We describe statistical patterns in the zeros, critical points and L^p norms of random polynomials and holomorphic sections, and the influence of the Newton polytope on these patterns. For eigenfunctions, we discuss L^p norms and mass concentration of individual eigenfunctions and their relation to dynamics of the geodesic flow.

研究の動機と目的

• ケーラー多様体上の正のラインバンドルの高次のベクトル束のランダム正則セクションの零点および臨界点の統計的分布を理解すること。
• 余接 bundle 上の測地線流れの力学と関連して、ラプラシアン固有関数のL^pノルムと質量集中を分析すること。
• ニュートン多面体の幾何学とランダム多項式の零点および相関の漸近的挙動との間の関係を確立すること。
• 量子遍歴性が固有関数の漸近的挙動に果たす役割と、Liouvilleの葉層構造へのその影響を調査すること。
• スペクトル射影および固有関数ノルムの文脈において、量子遍歴性が古典的遍歴性を意味するかどうかを特定すること。

提案手法

• 高次多項式および固有関数空間における再生系の漸近的性質を分析するため、Szegöおよびスペクトル射影核の使用。
• ランダム多項式のモデル化と期待される零点分布の計算のため、正則セクションおよび正規直交基底上のガウス測度の応用。
• 複素射影空間上の正則セクション空間における確率測度を定義するため、Fubini-Study計量およびSU(m+1)-不変測度の使用。
• 高次の極限において、n点零点相関測度の収束が曲率形式に至ることを示す、零点の相関関数の研究。
• モーメント写像とLiouvilleの葉層構造を用いて、量子完全可積分系の同時固有関数のL^pノルムの成長率を導出する分析。
• 量子遍歴性定理およびスペクトル射影和を用いて、固有関数の分布と古典的測地線流れの力学との関係を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 ラインバンドルのべきの次数Nが無限大に近づくとき、ケーラー多様体上でのランダム正則セクションの同時零点はどのように分布するか？
• RQ2 ランダム正則セクションの零点間の相関の性質は何か？ そして、次元および曲率にどのように依存するか？
• RQ3 ラプラシアン固有関数のL^pノルムは固有値とともにどのように増大するか？ また、余接 bundle のLiouvilleの葉層構造はこの増大にどのような役割を果たすか？
• RQ4 固有関数の量子遍歴性は、測地線流れの古典的遍歴性を意味するのか？ 必要十分条件は何か？
• RQ5 量子遍歴性を示す固有関数の節集合が、リーマン計量形式に関して一様に分布すると言えるか？

主な発見

• 正のラインバンドルの高次のベクトル束のランダム正則セクションの零点は、次数N → ∞ において曲率形式ωに関して一様に分布する。
• k = m のとき、n点零点相関関数は曲率形式の積に収束し、極限においてある種の統計的独立性を示す。
• 同時固有関数のL^∞ノルムは、Liouvilleの葉層構造における葉の最小次元ℓを用いて λ^{(n−ℓ)/4−ε} 以下に成長する。等号成立は多様体が平坦トーラスである場合に限る。
• 境界が区分的滑らかで、バトラー・フローが遍歴的な領域における固有関数に対して量子遍歴性が成り立ち、境界上のトレースに対しても同様に遍歴性が成立する。
• 遍歴性のもとで、S_p(λ) = ∑|⟨Aφ_ν,φ_ν⟩ − ω(A)|^p は o(N(λ)) に漸近する。算術的系（例：Hecke固有関数）では、S_2(λ) ∼ B(A)λ が確立されている。
• 量子遍歴性を示す固有関数の実節集合が、Riemann計量形式に関して一様に分布すると予想されており、Kähler多様体上の複素零点について部分的な結果が得られている。