2025-11-10T02:49:00.516891

K-Moduli of Fano Threefolds of Family 3.3

Etxabarri-Alberdi, Jones, Papazachariou

We explicitly fully describe the K-moduli space of Fano threefold family number 3.3. We first show that K-semistable Fano varieties with volume greater than 18 are Gorenstein canonical and admit general elephants, decreasing the bound on a result by Liu and Zhao. Combining this with the moduli-continuity method via lattice-polarized K3 surfaces, we identify the K-moduli stack parametrising K-semistable varieties in family number 3.3 with a Kirwan blow up of the natural GIT quotient of $(1,1,2)$ divisors in $\mathbb{P}^1\times \mathbb{P}^1\times \mathbb{P}^2$.

academic

Fano三重体族3.3のK-モジュライ

基本情報

論文ID: 2510.13611
タイトル: K-Moduli of Fano Threefolds of Family 3.3
著者: Erroxe Etxabarri-Alberdi, James Matthew Jones, Theodoros Stylianos Papazachariou
分類: math.AG（代数幾何）
発表日: 2024年10月15日
論文リンク: https://arxiv.org/abs/2510.13611

要旨

本論文は、Fano三重体の3.3族のK-モジュライ空間を完全に記述している。まず、体積が18より大きいK-半安定Fano多様体はGorenstein標準的であり、一般象を認めることを証明し、LiuとZhaoの結果における界を改善した。格偏極K3曲面を通じた模連続性方法と組み合わせることで、3.3族のK-半安定多様体をパラメータ化するK-モジュライスタックを、 $\mathbb{P}^1\times \mathbb{P}^1\times \mathbb{P}^2$ における $(1,1,2)$ 因子の自然なGIT商のKirwan爆発として同定した。

研究背景と動機

問題背景

K-安定性理論：K-安定性は代数幾何における重要な概念であり、Fano多様体上のKähler-Einstein計量の存在性を決定し、そのような多様体のK-モジュライ空間の構成において大きな成果を上げている。
モジュライ空間構成の課題：一般的なK-モジュライ定理は確立されているが、K-モジュライ空間の構成は明示的ではなく、個別の例ごとに研究する必要があり、K-モジュライ空間の明示的記述は困難な問題となっている。
Fano三重体の分類：特定のFano多様体族に対するすべてのK-（半/多）安定退化の完全な記述は、代数幾何学者にとって重要な研究課題となっている。

研究動機

理論的界の改善：LiuとZhaoによるK-半安定特異Fano三重体におけるK3曲面存在性に関する体積界を改善する。
明示的記述：3.3族に対するK-モジュライ空間の完全な明示的記述を提供し、すべてのK-（半/多）安定元素の分類を含める。
方法論的貢献：模連続性方法とGIT理論を組み合わせることで、類似問題に対する研究パラダイムを提供する。

核心的貢献

体積界の改善：Liu-Zhaoの定理における体積界を20から18に低下させ（特定の追加条件下では16に）。
完全な幾何学的特性化：3.3族の各K-半安定元素は、 $\mathbb{P}^1\times \mathbb{P}^1\times \mathbb{P}^2$ における $(1,1,2)$ 因子、または $\mathbb{P}(1,1,2)\times \mathbb{P}^2$ における $(2,2)$ 因子のいずれかであることを証明した。
K-モジュライ空間の同定：K-モジュライスタックとGIT商のKirwan爆発の間の自然な同型を確立した。
完全な安定性分類：3.3族におけるすべてのK-（半/多）安定元素の明示的分類を提供した。

方法の詳細

主要定理の陳述

定理1.1（体積比較定理）： $X$ を体積 $V := (-K_X)^3 \geq 16$ を持つQ-Gorenstein平滑化可能K-半安定（弱）Q-Fano三重体とする。このとき：

$V \geq 18$ ならば、 $X$ はGorenstein標準的である
$V \geq 18$ ならば、除子 $S \in |-K_X|$ が存在して $(X,S)$ はplt対であり、 $(S,-K_X|_S)$ は次数 $V$ の（準）偏極K3曲面である
$X$ 上でQ-Cartier Weil因子に変形可能なQ-Cartier Weil因子 $D$ はCartier因子である

技術的方法

1. 体積比較技術

局所から大域への体積比較方法を使用
FO18; Liu18; LX19; Liu22における推定を利用
Reid と Shokurov の一般象理論を適用

2. 模連続性方法

格偏極K3曲面を通じた関連付けを確立
K3曲面の模理論を利用
退化族を構成し、その性質を分析

3. GIT分析

$\mathbb{P}^1\times \mathbb{P}^1\times \mathbb{P}^2$ における $(1,1,2)$ 因子のGIT安定性を計算
計算方法KOP23bを使用して半安定軌道を分析
Kirwan爆発を構成

主要な技術的革新

Luna切片の構成

特殊な非約化可約三重体 $\tilde{X} = V(\tilde{f})$ に対して、ここで $\tilde{f} = (z_1^2 + z_0z_2)(x_0y_0 + x_1y_0 + x_0y_1 + x_1y_1)$

Luna étale切片 $W := \{lq + g = 0\}$ を構成した。ここで $l$ と $q$ は両方とも $g$ の因子ではない。

K3曲面の格構造

秩3双曲部分格 $\Lambda_0$ を定義し、生成元を $H_1, H_2, H_3$ とし、交数を満たすようにした：

$(H_1^2) = (H_2^2) = 0$ , $(H_3^2) = 2$
$(H_1 \cdot H_2) = 2$ , $(H_1 \cdot H_3) = (H_2 \cdot H_3) = 3$

実験設定

計算ツール

GIT安定性計算にSageMath 9.2パッケージKOP23aを使用
KOP23bで開発された計算方法を適用
1563個の関連する単一パラメータ部分群を分析

GIT分析方法

最大半不安定集合 $S_{1,1,2}^{1,1,1}$ を計算
8個の重要な単一パラメータ部分群 $\lambda_0, \lambda_1, \ldots, \lambda_7$ を同定
重心準則を適用して厳密半安定性を判定

実験結果

主要な分類結果

定理4.14（完全な安定性分類）：3.3族のFano三重体：

K-安定 ⟺ 滑らか
厳密K-半安定 ⟺ 以下の条件のいずれかを満たす：
- $(1,1,2)$ 因子が以下を持つ：孤立していない重複度2特異点、または12個の $A_1$ 特異点、または1個の $A_3$ 特異点、または1個の $A_3$ と1個の $A_1$ 特異点、または1個の $D_4$ 特異点
- $(2,2)$ 因子が特定の特異点配置を持つ
厳密K-多安定 ⟺ 対応する二重特異点配置を持つ

GIT安定性対応

命題4.4： $(1,1,2)$ 因子がGIT安定であることと、それが滑らかであることは同値である。

命題4.5-4.6：GIT半安定および多安定軌道を完全に特性化し、K-安定性と完全に対応する。

K-モジュライ空間同型

定理4.13：同型 $\psi : [\tilde{U}^{ss}/\text{PGL}(2)\times \text{PGL}(2)\times \text{PGL}(3)] \to \mathcal{M}^K_{3.3}$ が存在する。ここで $\tilde{U}^{ss}$ はKirwan爆発のGIT半安定軌跡である。