[論文レビュー] A generalization of Ross-Thomas' slope theory

Yuji Odaka|arXiv (Cornell University)|Oct 9, 2009

Geometry and complex manifolds参考文献 29被引用数 107

ひとこと要約

この論文は、$X \times \mathbb{A}^1$ 内のフラッグイデアルの爆発から生じる半テスト構成において、ドナルドソン＝フタキ不変量の明示的公式を提供することで、ロス＝トーマスの勾配理論を一般化する。これにより、半対数正則特異点を含む枠組みが拡張される。公式は不変量を標準的除数項と歪み項に分解し、その正値性はK安定性を示し、 canonical に極小な半対数正則曲線および数的に自明な標準的除数をもつ多様体のK半安定性の新たな代数幾何的証明を可能にする。

ABSTRACT

We give a formula of the Donaldson-Futaki invariants for certain type of semi test configurations, which essentially generalizes Ross-Thomas' slope theory. The positivity (resp. non-negativity) of those "a priori special" Donaldson-Futaki invariants implies K-stability (resp. K-semistability). We show its applicability by proving K-(semi)stability of certain polarized varieties with semi-log-canonical singularities, generalizing some results by Ross-Thomas.

研究の動機と目的

• ロス＝トーマスの勾配理論を、理想化されたテスト構成を超えて、$X \times \mathbb{A}^1$ 内のより一般的なフラッグイデアルへ拡張すること。
• これらの一般化された半テスト構成におけるドナルドソン＝フタキ不変量の明示的公式を提供すること。
• これらの不変量の正値性（それぞれ非負性）が、半対数正則特異点をもつ極小化された多様体のK安定性（それぞれK半安定性）を示すこと。
• canonical およびカラビ＝ヤウ型多様体のK-(半)安定性の純代数幾何的証明を提示し、既存の微分幾何的結果を補完すること。

提案手法

• ロス＝トーマスの設定を一般化し、$X \times \{0\}$ 沿いのフラッグイデアルの爆発におけるドナルドソン＝フタキ不変量の明示的公式（定理3.2）を導出する。
• 不変量を2つの部分に分解する：グローバルな正性を反映する標準的除数項と、特異点を反映する歪み項。
• 半対数正則仮定の下で、付帯空間の対数正則性と付帯の反転を用いて歪み項を制御する。
• 公式を用いて、$L = \omega_X$ をもつ半対数正則極小化曲線のK安定性と、数的に自明な $K_X$ をもつ多様体のK半安定性を、不変量成分の符号解析により証明する。
• 正規化と爆発構造を活用し、特に $(-E^2)$ を含む例外的除算の自己交差項を分析することで正値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 ロス＝トーマスの勾配理論は、正規化の接続への変形を定義するイデアルにとどまらず、より一般的なフラッグイデアルへ一般化可能か？
• RQ2 一般化されたドナルドソン＝フタキ不変量の正値性は、半対数正則特異点をもつ極小化された多様体のK安定性を示すか？
• RQ3 ドナルドソン＝フタキ不変量の公式を用いて、canonical およびカラビ＝ヤウ型多様体のK-(半)安定性の純代数幾何的証明を可能にするか？
• RQ4 特異点の存在下で、不変量公式における標準的除数項と歪み項はどのように相互作用するか？
• RQ5 正規化と爆発構造は、不変量計算における例外的除算の自己交差を分析する上で果たす役割は何か？

主な発見

• フラッグイデアルの爆発における一般化されたドナルドソン＝フタキ不変量は、公式（定理3.2）により、標準的除数項と歪み項に分解される。
• この不変量の正値性はK安定性を、非負性はK半安定性を示し、それぞれコロナリー3.11で示された。
• $L = \omega_X$ をもつ半対数正則極小化曲線に対して、一般化された不変量は正であり、K安定性が証明される。
• 数的に自明な $K_X$ をもつ半対数正則多様体に対して、不変量は非負であり、K半安定性が証明される。
• $X$ が半対数正則であるとき、歪み項は非負である。これは、正規化された全空間 $X^\nu \times \mathbb{A}^1$ が導出と零切断を伴い、対数正則であるためである。
• 曲線の場合、例外的除算の成分における $(-E^2) > 0$ のため、標準的除数項は不変量に正の寄与をもつ。