[論文レビュー] Test configurations, large deviations and geodesic rays on toric varieties

Jian Song, Steve Zelditch|arXiv (Cornell University)|Dec 21, 2007

Geometry and complex manifolds参考文献 17被引用数 9

ひとこと要約

本稿では、テスト構成から得られるトーリック多様体上の測地線の放射線が $C^{1,1}$ ではあるが $C^2$ ではないことを確立し、Bergman近似が極限測地線放射線に $C^1$ 収束することを証明する。また、ミオメント多面体上の測度を介して大偏差理論と結びつけ、Varadhanの補題により、大偏差原理のレート関数が測地線放射線のポテンシャルに対応することを示す。

ABSTRACT

This article contains a detailed study, in the toric case, of the test configuration geodesic rays defined by Phong-Sturm. We show that the `Bergman approximations' of Phong-Sturm converge in C^1 to the geodesic ray and that the geodesic ray itself is C^{1,1} and no better. The \kahler metrics associated to the geodesic ray of potentials are discontinuous across certain hypersurfaces and are degenerate on certain open sets. A novelty in the analysis is the connection between Bergman metrics, Bergman kernels and the theory of large deviations.

研究の動機と目的

• テスト構成から得られる Phong-Sturm の方法によるトーリック多様体上の測地線放射線の正則性および収束性の性質を分析すること。
• 極限測地線放射線の $C^{1,1}$ 正則性を確立し、それが $C^2$ でないことを示すこと。
• コンパクト部分集合上で、Bergman 測地線放射線 $\varphi_k(t,z)$ が極限測地線放射線 $\psi_t$ に $C^1$ 収束することを示すこと。
• トーリック設定において、Bergman 距離、Bergman 核、および大偏差理論との間の新しい関係を構築すること。
• ミオメント多面体上の大偏差原理のレート関数を、Varadhan の補題を用いて測地線放射線のポテンシャルに関連付けること。

提案手法

• トーリックテスト構成に関連するミオメント多面体 $P$ 上の確率測度 $\mu_k^{z,t}$ の族を構成し、Bergman 核と時間に依存する重みを用いて得る。
• 大偏差理論を適用し、$\mu_k^{z,t}$ がレート関数 $I^{z,t}(x)$ を持つ大偏差原理を満たすことを示し、この関数は強凸であり、$\mu_t(z)$ で最小値をとることを示す。
• Varadhan の補題を用いて、Bergman 核の対数微分が測地線放射線ポテンシャル $\psi_t$ の勾配に収束することを示し、これにより $C^1$ 収束を確立する。
• Legendre 対称性および劣微分計算に依拠し、測度マップ $\mu_t(z)$ と測地線放射線ポテンシャル $\psi_t$ の Legendre 変換との関係を確立する。
• 一様 Laplace 原理および傾き付き大偏差理論を用いて、$\bar{P}$ 上の連続関数の期待値の収束を制御する。
• 測地線放射線が無限遠の除数 $\mathcal{D}$ やトーリックストラタの近傍でどのように振る舞うかを分析し、特定の開集合上で関連するケーラー計量 $\omega_t$ が退化することを示す。

実験結果

リサーチクエスチョン

• RQ1 トーリックテスト構成に関連する測地線放射線 $\psi_t$ の正則性クラスは何か？
• RQ2 Bergman 測地線放射線 $\varphi_k(t,z)$ は、極限測地線放射線 $\psi_t$ にどのように収束するか？
• RQ3 トーリック設定において、Bergman 核、測度マップ、および大偏差理論の間の関係は何か？
• RQ4 測地線放射線ポテンシャル $\psi_t$ は、大偏差原理のレート関数として回復可能か？
• RQ5 ケーラー計量 $\omega_t = \omega_0 + i\partial\bar{\partial}\psi_t$ の正定性および退化性は、どのように振る舞うか？

主な発見

• 測地線放射線 $\psi_t$ は $[0,L] \times M$ 上で $C^{1,1}$ であるが $C^2$ ではない。これは正則性の鋭い境界を確認する。
• Bergman 近似 $\varphi_k(t,z)$ は、$[0,L] \times M$ のコンパクト部分集合上で $C^1$ 位相で $\psi_t$ に収束する。
• ケーラー計量 $\omega_t = \omega_0 + i\partial\bar{\partial}\psi_t$ は半正定であるが、特定の開集合上で退化しており、$\omega_t^m = 0$ が成り立つ。
• 測度 $\mu_k^{z,t}$ に対する大偏差原理のレート関数は $I^{z,t}(x) = \Lambda^{z,t*}(x)$ で与えられ、これはポテンシャルの時間に依存する Legendre 変換の双対関数に等しい。
• 測度マップ $\mu_t(z)$ は $\mu_k^{z,t}$ の一次モーメントの弱収束極限であり、$\mu_k^{z,t} \to \delta_{\mu_t(z)}$ が分布収束として成り立つ。
• 傾き付き測度 $\mu_k^{z,t}$ に Varadhan の補題を適用することで、測地線放射線の $C^1$ 収束が得られ、一様な剰余項推定が得られる。