[論文レビュー] The GIT-stability of Polarised Varieties via discrepancy

Yuji Odaka|arXiv (Cornell University)|Jul 10, 2008

Geometry and complex manifolds参考文献 10被引用数 15

ひとこと要約

本稿は、代数幾何におけるGIT安定性と特異点論の根本的関係を、$(*)$ 条件を満たす $K$-半安定な極化多様体が必ず半対数正則特異点を持つことを証明することで確立する。特異点の不一致理論と Donaldson-Futaki 不変量を用いて、曲線のモジュライにおける古典的なノード特異点条件を高次元へ一般化し、安定性条件が不一致を介して特異点の正確な測度を強制することを示している。Fano 場合では、$K$-半安定性が対数正則特異点を意味することを示しており、より強い結果が得られる。

ABSTRACT

We prove that various GIT semistabilities of polarized varieties imply semi-log-canonicity.

研究の動機と目的

• 極化多様体のGIT安定モジュライ空間に許容される特異点の性質を理解すること。
• 安定曲線がノード特異点のみをもつという古典的結果を、高次元多様体へ安定性理論を用いて一般化すること。
• 代数幾何的安定性（$K$-安定性）と双有理幾何的不変量（不一致）の間の明確な関係を確立すること。
• $K$-半安定性が半対数正則性を意味すること、およびFano 場合では対数正則性を意味することを示すこと。
• Calabi-Yau および正則特異点の場合に逆が成り立つことを示し、結果の最適性を示すこと。

提案手法

• $(*)$-スキームの概念を用いる：等次元的で、S2 を満たし、 codimension 1 でGorensteinであり、$\mathbb{Q}$-Cartierな正則特異点をもつ。
• 対数解消と正規化を用いた不一致理論を応用して特異点を分析する。
• テスト配置を用いて不変量を計算することで、代数幾何的安定性の不変量として Donaldson-Futaki 不変量を用いる。
• $X \times \mathbb{A}^1$ 上でのフラッグイデアルとその吹き上げを構成し、退化をモデル化し、不変量を計算する。
• 一般超平面切断を用いて高次元の場合を低次元に還元し、解析を簡略化する。
• 対数最小モデルプログラムと対数正則モデルの存在を用いて、非正則の場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 $(*)$ 条件を満たす $K$-半安定な極化多様体に許容される特異点の種類は何か？
• RQ2 安定性理論を用いて、曲線における古典的ノード特異点結果を高次元多様体へ一般化できるか？
• RQ3 $K$-半安定性が特異点が半対数正則的であることを保証するのに十分か？
• RQ4 Fano 場合における $K$-半安定性は、対数正則性といったより強い特異点の境界を意味するか？
• RQ5 既知の逆結果を踏まえると、$K$-半安定性から半対数正則性への含意は、最良のものか？

主な発見

• $(X,L)$ が $(*)$ 条件を満たす $K$-半安定な極化多様体であれば、$X$ は半対数正則特異点しか持たない。
• Fano 場合では、$(X, \mathcal{O}_X(-mK_X))$ の $K$-半安定性は、$X$ が対数正則的（したがって正規的）であることを意味する。
• 漸近的（Chow または Hilbert）半安定性は、$K$-半安定性を含むため、半対数正則性を意味する。
• $\bar{K}$-半安定性条件も半対数正則性を意味し、$K$-安定性に対するその強さを確認する。
• 結果は最適である：Calabi-Yau および正則特異点の場合に逆が成り立つため、境界を改善できないことが示される。
• 正規化の不一致と導出因子が証明の鍵をなしており、負の不一致は不安定性を示す。