[論文レビュー] Equivariant K-stability under finite group action

Yuchen Liu, Ziwen Zhu|arXiv (Cornell University)|Jan 28, 2020

Geometry and complex manifolds参考文献 42被引用数 7

ひとこと要約

本稿では、$G$ が有限群である場合、$G$--equivariant K-半安定性（および K-多安定性）が、log Fano 対に対して K-半安定性（および K-多安定性）を意味することを確立し、有限群の場合の予想を解決した。証明は、$G$-equivariant特別なテスト配置と商対のそれらの間の対応関係に依拠しており、安定性閾値および自己同型群の再帰的性に関する最近の結果と組み合わせられている。

ABSTRACT

We show that G-equivariant K-semistability (resp. G-equivariant K-polystability) implies K-semistability (resp. K-polystability) for log Fano pairs when G is a finite group.

研究の動機と目的

• 有限群作用下での log Fano 対について、$G$-equivariant K-安定性と K-安定性の同値性を確立すること。
• Tianの K-安定性の基準を、有限群作用を伴う log Fano 対の状況に拡張すること。
• log Fano 対間の正則な有限全射準同型写像およびガロア被覆に関して、K-安定性が保存されることを示すこと。
• 得られた結果を応用して、$\mathbb{P}^4$ 上の3次超曲面を分岐超曲面とする巡回被覆として定義される滑らかなかつ4次超曲面の K-安定性を証明すること。
• $\mathbb{P}^4$ 内の分岐集合を用いて、3次超曲面の K-モジュライ空間を特徴付けること。

提案手法

• 有限群作用下での log Fano 対 $(X,D)$ の $G$-equivariant特別なテスト配置と、その商対 $(Y,B)$ の特別なテスト配置との間の対応関係を確立すること。
• Li, Tian, および Wang による log Fano 対に対する一様 Yau-Tian-Donaldson 予想の最近の結果を用いて、K-半安定性の問題を摂動論的議論に還元すること。
• Alper らによる K-多安定な log Fano 対の自己同型群の再帰的性を活用し、K-多安定性の場合を証明すること。
• 安定性閾値 $\delta$-不変量の退化における凸性を用いた補間技法を適用して K-安定性を扱うこと。
• 商写像 $\sigma: X \to Y$ を用いて、$X$ 上の $G$-不変な除集合を $Y$ 上の除集合に移すことで、安定性性質の移行を可能にすること。
• 公式 $\alpha_G(X,D) = \alpha(Y,B)$ を用いて、$G$-不変安定性閾値と商対の標準的 $\alpha$-不変量を関連させること。

実験結果

リサーチクエスチョン

• RQ1 有限群 $G$ に対して、$G$-equivariant K-半安定性は、log Fano 対について K-半安定性を意味するか？
• RQ2 有限群作用の下で、K-安定性は $G$-equivariantテスト配置のみを用いてテスト可能か？
• RQ3 特にガロア被覆を含む、log Fano 対間の有限全射準同型写像において、K-安定性はどのように振る舞うか？
• RQ4 log Fano 対の $\delta$-不変量と、有限群作用による商対との間にはどのような関係があるか？
• RQ5 3次超曲面を分岐超曲面とする $\mathbb{P}^4$ 上の巡回被覆として定義される滑らかな3次4次超曲面は K-安定か？

主な発見

• 本稿では、$G$ が有限群である場合、$G$-equivariant K-半安定性が log Fano 対について K-半安定性を意味することを証明し、この場合の予想を確認した。
• 有限群作用下での log Fano 対について、$G$-equivariant K-多安定性が K-多安定性を意味することを確立した。
• log Fano 対の $\delta$-不変量は、正則な有限全射準同型写像で保存される：$K_X + D = \pi^*(K_Y + B)$ のとき $\delta(X,D) = \delta(Y,B)$ が成り立つ。
• log Fano 対間のガロア準同型写像では、$X$ が K-多安定であるための必要十分条件は $Y$ が K-多安定であることである。
• $G$-作用下の $\alpha$-不変量は $\alpha_G(X,D) = \alpha(Y,B)$ を満たし、Tianの基準を log Fano 対へ一般化することが可能になった。
• 巡回被覆型の滑らかな3次4次超曲面 $x_5^3 = f(x_0,\dots,x_4)$ は K-安定であるため、Kähler-Einstein 計量をもつことが示された。これは、$\mathbb{P}^4$ 内の分岐集合の K-モジュライ的特徴付けにより得られた。