[論文レビュー] Projective duality and K-energy asymptotics

Sean Timothy Paul|ArXiv.org|Nov 16, 2008

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

ひとこと要約

本稿は、射影空間内の滑らかで線形的に正規な部分多様体におけるMabuchi Kエネルギーの漸近的挙動と射影双対性の間の関係を確立する。群作用下での双対判別多項式の対数ノルムが、多様体上のエネルギー汎関数に対応することを示し、滑らかな平面曲線では標準的なケーラー作用汎関数に還元される。さらに、群表現の重みを用いたMabuchiエネルギーの予想的分解を提示する。

ABSTRACT

Let X be a smooth, linearly normal n dimensional complex projective variety. Assume that the projective dual of X has codimension one with defining polynomial D(X). In this paper the log of the norm of D(X) is expressed as the restriction to the Bergman metrics of an energy functional on X. We show how, for smooth plane curves, this energy functional reduces to the standard action functionals of Kahler geometry.

研究の動機と目的

• ケーラー潜在関数空間におけるMabuchi Kエネルギー汎関数の制限と、射影埋め込みの幾何学的性質との関係を明らかにすること。
• Tianの超曲面におけるMabuchiエネルギーの公式における特異項を、射影双対性を用いて幾何学的に解釈すること。
• X-resultantと射影双対性を用いて、超曲面のAubinエネルギー公式を高余次元部分多様体へ一般化すること。
• 多様体に関連する群表現を用いたMabuchiエネルギーの予想的表現論的分解を提示すること。
• 重みポリトープと1パラメータ部分群を用いたMabuchiエネルギーの正則性を調査し、標準的計量の存在と関連付けること。

提案手法

• Bergman計量を用いて、変換された双対判別多項式 $ \norm{\tau \bullet \triangle_X} $ の対数ノルムを多様体 $ X $ 上のエネルギー汎関数の制限として表現する。
• Bott–Chern形式や複素 $ K^\bullet $-分解などのケーラー幾何の結果を応用し、曲率とエネルギー汎関数を分析する。
• Cayley–Chow形式と $ X $-resultant $ R_X $ を用いて、群不変なエネルギー汎関数を $ X $ 上に定義し、Aubinエネルギー公式を一般化する。
• 1パラメータ部分群 $ \tau(t) $ 沿いでのMabuchiエネルギーの漸近的挙動を、重みポリトープと表現内のベクトル $ v $ の最小重み $ w_\tau(v) $ を用いて分析する。
• エネルギーの成長が表現の重みと関連する展開式 $ \nu_\rho(\rho_{\tau(t)}) = (\rho_1 w_\tau(v_1) - \rho_2 w_\tau(v_2)) \rho(|t|^2) + O(1) $ を $ |t| \to 0 $ で導出する。
• スケーリングされた重みポリトープの優越性という概念を導入し、$ v_2 $ のポリトープが $ v_1 $ のポリトープに対して $ \frac{\rho_2}{\rho_1} $ スケーリングで厳密に支配されることにより、Mabuchiエネルギーの正則性を幾何的に特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 Tianの超曲面におけるMabuchiエネルギー公式の特異項 $ \rho_B $ は、射影双対性を用いてどのように幾何学的に解釈できるか？
• RQ2 高余次元部分多様体におけるMabuchiエネルギーは、$ X $-resultant のような群変換不変量の対数ノルムの組み合わせとして表現可能か？
• RQ3 双対多様体とその定義多項式 $ \triangle_X $ は、ケーラーエネルギー汎関数の漸近的挙動をどのように符号化しているか？
• RQ4 1パラメータ部分群に沿ってMabuchiエネルギーが正則であるための条件は何か？ これは関連する群表現の重みポリトープとどのように関連するか？
• RQ5 予想されているように、$ v_1 $ と $ v_2 $ を含む正と負の項に分解可能な表現論的分解が、Mabuchiエネルギーに存在するか？

主な発見

• 群作用下での $ \tau \bullet \triangle_X $ の対数ノルムが、多様体 $ X $ 上のケーラーエネルギー汎関数の制限に等しいことが示され、射影双対性とKエネルギーの漸近的挙動の間の関係が確立された。
• 滑らかな平面曲線の場合、エネルギー汎関数はケーラー幾何における標準的な作用汎関数に還元され、既知の結果と整合することが確認された。
• 多様体 $ X $ 上のAubinエネルギーは $ X $-resultant $ R_X $ を用いて表現され、$ -(n+1)\text{deg}(X)F^0_\rho(\rho_\tau) = \text{log}(||\tau \bullet R_X||^2 / ||R_X||^2) $ が成り立ち、Tianの公式が一般化された。
• 予想される分解 $ \nu_\rho(\rho_\tau) = \rho_1 \text{log}(||\tau \bullet v_1||^2 / ||v_1||^2) - \rho_2 \text{log}(||\tau \bullet v_2||^2 / ||v_2||^2) $ が提示され、$ \rho_j \neq 0 $ で有理数かつ正である。
• 群の自己同型 $ \text{Aut}(X) = 0 $ を仮定すると、Mabuchiエネルギーがすべての1パラメータ部分群 $ \tau $ に沿って正則であるための必要十分条件は、$ \rho_1 w_\tau(v_1) - \rho_2 w_\tau(v_2) + \frac{C}{\text{deg}(X)(n+1)} e(\tau; X) \neq 0 $（$ C > 0 $）が成り立つことである。
• $ v_2 $ のスケーリングされた重みポリトープが、$ \frac{\rho_2}{\rho_1} $ のスケーリングで $ v_1 $ のポリトープを厳密に支配する。これはMabuchiエネルギーの正則性を特徴付ける幾何的基準を提供する。