[論文レビュー] A note on the definition of K-stability

Jacopo Stoppa|arXiv (Cornell University)|Nov 24, 2011

Geometry and complex manifolds参考文献 5被引用数 28

ひとこと要約

このノートは、2次元以上で退化する部分集合を除き、$\mathbb{C}^*$-作用が自明であるようなテスト構成を除外することで、K安定性の定義を修正する。主な貢献は、K安定性が、2次元以上で自明でないテスト構成に対してのみ、ドナルドソン＝フタカイ不変量が正であることを要請することであり、これにより、以前の証明における欠陥が解消され、cscK計量および自己同型群に関する既知の結果と整合性が保たれる。

ABSTRACT

As recently pointed out by Li and Xu, the definition of K-stability, and the author's proof of K-stability for cscK manifolds without holomorphic vector fields, need to be altered slightly: the Donaldson-Futaki invariant is positive for all test configurations which are not trivial in codimension 2.

研究の動機と目的

• K安定性の標準的定義に内在する欠陥を解消する。この欠陥は、すべての非自明なテスト構成に対してドナルドソン＝フタカイ不変量の正の性質を要求しているが、これは誤りである。
• 2次元以上で$\mathbb{C}^*$-作用が自明である場合、ドナルドソン＝フタカイ不変量が0である非自明なテスト構成（例えば、埋め込まれた点を伴う退化）が多数存在することを特定する。
• K安定性の定義を、2次元以上で自明なテスト構成を除外することで修正し、条件が「強すぎる」または「弱すぎる」ことのないよう保証する。
• 自己同型群が有限であるcscK多様体のK安定性の証明を、命題3.3の退化ケースにおける見落としを是正することで整合性を保証する。
• 正規テスト構成または正の$L^2$ノルムを持つものに制限した場合のK安定性の定義が、同等であることを示し、K安定性理論のより広範な適用可能性を支持する。

提案手法

• 2次元以上で自明なテスト構成（$\mathbb{C}^*$-作用が閉じた部分スキーム（codimension ≥2）を除き自明）であるという概念を導入する。
• K安定性の定義を、2次元以上で自明でないテスト構成に対してのみドナルドソン＝フタカイ不変量が正であることを要請する形に修正する。
• 文献[2]の定理1.2（cscK多様体のK安定性に関する）の証明を再分析し、命題3.3の退化ケースに注目する。このケースでは写像$\rho: \mathcal{X}_1 \to \mathcal{X}^\mathrm{red}_0$が一般に単射である。
• テスト構成が2次元以上で自明でない場合、$x_{r+i}$ という切断が、還元中心ファイバーに一般に非自明に制限されることを示し、重み$w(k)$に関する主要な上界(3.7)を可能にする。
• テスト構成の正規化を用いて、$F(\mathcal{X},\mathcal{L}) \leq 0$ かつ $\mathcal{X}$ が2次元以上で自明でない場合、正規化も2次元以上で自明でないはずであり、これは矛盾を引き起こすことを示す。
• 正規テスト構成に制限したK安定性の定義と、2次元以上で自明でない構成に制限した定義が同等であることを確立する。これは、LiとXu [1] が提唱した定義とも一致する。

実験結果

リサーチクエスチョン

• RQ1 なぜ標準的定義では、ドナルドソン＝フタカイ不変量が0であっても真正に非自明ではないテスト構成を排除できないのか？
• RQ2 『真正に非自明』なテスト構成と2次元以上で自明なテスト構成を区別する幾何学的・代数的条件は何か？
• RQ3 K安定性の定義を修正することで、自己同型群が有限であるcscK多様体のK安定性証明にどのような影響を与えるか？
• RQ4 K安定性を正規テスト構成に限定して定義しても同値であり、修正後の定義と整合するか？
• RQ5 Székelyhidiが示唆したように、正の$L^2$ノルムを持つテスト構成に限定してK安定性をテストすることは十分か？

主な発見

• 標準的定義は、2次元以上で自明なテスト構成に対してもドナルドソン＝フタカイ不変量の正の性質を要求しているため、誤りである。このような構成は、不変量が0であっても自明ではない場合がある。
• K安定性の新しい定義を提唱する：$F(\mathcal{X},\mathcal{L}) > 0$ は、2次元以上で自明でないすべてのテスト構成に対して成り立つこと。
• 文献[2]の定理1.2の証明は、写像$\rho: \mathcal{X}_1 \to \mathcal{X}^\mathrm{red}_0$ が一般に単射であるケース（2次元以上で自明なケースに相当）を除外することで修正される。
• 修正された証明において、$\mathcal{X}^\mathrm{red}_0$ に非自明に制限される切断$x_{r+i}$ の存在が、重み$w(k)$に関する主要な上界(3.7)を可能にし、$F(\mathcal{X},\mathcal{L}) > 0$ を保証する。
• 正規テスト構成に限定してK安定性をテストしても十分であり、正規化はドナルドソン＝フタカイ不変量の符号と2次元以上で自明な性質を保存するためである。
• 修正後の定義は、LiとXuが提唱した定義と同等であり、この修正後も、K安定性に関する既知のすべての結果が有効であると予想される。