The Mukai conjecture via Cox rings for special toric ambient embeddings

ヒース・ピアソンによる論文「特殊なトーリック埋め込みにおけるコックス環を介したムカイ予想」の詳細な技術的要約を以下に示す。

1. 問題提起

本論文は、ファノ多様体の分類における中心的な問題であるムカイ予想に取り組んでいる。この予想は、滑らかなファノ多様体 $X$ の次元 ($n$)、ピカール数 ($\rho_X$)、およびファノ指数 ($i_X$) の間に成り立つ数値的不等式を提案する：
$$(i_X - 1)\rho_X \leq n$$
さらに、等号が成り立つのは、$X$ が射影空間の積に同型である場合、すなわち $X \cong (\mathbb{P}^{i_X-1})^{\rho_X}$ である場合に限ると主張している。

この予想は特定のクラス（例えば、カサグランデによるトーリック多様体や、フジタによる対数ファノ対）については証明されているが、一般の場合には未解決のままである。ピアソンは、これらの結果をトーリック多様体のクラスを超えて、滑らかな射影的トーリック多様体への特定の種類の埋め込みを許容するより広範な局所階乗的ファノ多様体のクラスへ拡張することを目指している。

2. 手法

著者は、一般的なファノ多様体とトーリック幾何学の間の架け橋を構築するために、コックス環とモリ・ドリーム空間の理論を採用している。この手法は以下の手順に依存している：

• コックス環の構成: 本論文は、滑らかな射影的トーリック多様体 $Z$ に対して、$R = \text{Cox}(Z)/\langle g_1, \dots, g_r \rangle$ で定義される多様体 $X$ に焦点を当てている。ここで、環 $R$ は階乗的な完全交叉である。
• トーリック環境埋め込み: モリ・ドリーム空間の「束状環 (bunched ring)」理論を用いて、著者は標準的な閉埋め込み $X \hookrightarrow Z$ を構成する。この構成において、クラス群は保存され ($\text{Cl}(X) \cong \text{Cl}(Z)$)、$X$ の反標準類は $Z$ 上の対数反標準類に対応する（具体的には $[-K_X] = [- (K_Z + \Delta)]$）。
• 離散近似: 証明戦略は、環境となるトーリック多様体 $Z$ 上の予想の「対数版」からムカイ予想を継承するものである。著者は、対数疑似指数の離散近似 $i(Z, \Delta)$ を定義しており、これは特定の構成条件の下でファノ指数 $i_X$ と一致する。
• 凸幾何学とゲール双対: 証明には、トーリック多様体 $Z$ に付随するモーメント多胞体の凸幾何学が利用される。コックス環内の線形関係および光線生成元のゲール双対を解析することにより、ファノ指数に対する上限が導き出される。

3. 主要な貢献と定義

構成 1.2（多様体のクラス）

本論文は、2 つの段階で構成される特定のファノ多様体 $X$ のクラスを定義している：

1. 滑らかなトーリック多様体 $Z$ と、$-(K_Z + \Delta)$ が ample であるトーラス不変の Weil 除子 $\Delta$ から始める。
2. 斉次完全交叉イデアル $\langle g_1, \dots, g_r \rangle$ による $\text{Cox}(Z)$ の商であるコックス環 $R$ を通じて $X$ を定義する。
   • 重要な制約: 関係式 $g_j$ の次数は「相対的に小さい」ものであってはならない。具体的には、$\deg(g_j)$ は原点と生成元の次数の凸包の外側にあり、かつ生成元自身の凸包を除くものでなければならない。これにより、得られる多様体がファノかつ局所階乗的であることが保証される。

理論的ツール

• 束状環: 本論文は、モリ・ドリーム空間と束状環の対応を利用して、標準的な埋め込み $X \hookrightarrow Z$ を確立する。
• モーメント多胞体: 証明は、偏極されたトーリック多様体 $(Z, -(K_Z+\Delta))$ のモーメント多胞体の頂点 ($C_\sigma$) を解析し、ファノ指数を上限で抑える。

4. 主要な結果

定理 1.3（主要定理）

ムカイ予想は、構成 1.2 によって構成される任意のファノ多様体 $X$ に対して成り立つ。

• 不等式: $(i_X - 1)\rho_X \leq n$。
• 等号の場合: $(i_X - 1)\rho_X = n$ であるのは、$X \cong (\mathbb{P}^{i_X-1})^{\rho_X}$ である場合に限る。

支持命題

証明は 4 つの主要な命題に分解されている：

1. 命題 3.1（係数上限）: $0 < a_i \leq 1$ であり、係数の和が $\sum a_i \leq n + \rho_X$ を満たすような反標準代表 $-K_X \sim_{\mathbb{Q}} \sum a_i D_i$ の存在を確立する。これはコックス環内の関係式の「非小次数」仮定に依存している。
2. 命題 3.2（幾何学による指数上限）: モーメント多胞体の幾何学とゲール双対を用いて、最大錐 $\sigma$ に含まれない任意の光線 $v$ に対して、$i_X \leq \langle v, C_\sigma \rangle + a_v$ が成り立つことを示す。これによりファノ指数がトーリック埋め込みの組合せ論的データと結びつけられる。
3. 命題 3.3（不等式の導出）: 3.1 と 3.2 の結果を組み合わせ、$(i_X - 1)\rho_X \leq n$ を証明する。これには、$Z$ のファン上の線形関係の総和と、次元公式 $n + \rho_X = m - r$（ここで $m$ はコックス環生成元の数、$r$ は関係式の数）の利用が含まれる。
4. 命題 3.4（等号の特性付け）: 等号が成り立つ場合、環境トーリック多様体 $Z$ のファン $\Sigma$ が射影空間に対応するファンの積に分解しなければならないことを証明する。その結果、$X$ のコックス環は多項式環（関係式なし）となり、$X$ が射影空間の積であることを意味する。

5. 意義

• トーリック結果の拡張: この研究は、ムカイ予想の有効性を純粋なトーリック多様体から、特定のコックス環構造を持つ局所階乗的ファノ多様体という重要な非トーリッククラスへ成功裏に拡張した。
• アプローチの統合: トーリック多様体上のムカイ予想の「対数版」が、埋め込まれた多様体に対する標準的な予想を証明するためにどのように活用できるかを示し、一般の予想への攻撃に対する新たな道筋を提供している。
• 複雑性の尺度: 本論文は、対数対がトーリックであることからの逸脱を測定する「複雑性」量 $\gamma(X, -K_X)$ を導入し、利用している。結果は、この複雑性が非負であり、多様体が射影空間の積である場合にのみ消滅することを示唆しており、将来の分類作業のための潜在的な幾何学的不変量を提供している。
• 具体的な例: 本論文は、複雑性 1 の $T$-多様体や、射影空間の積における特定の完全交叉を含む例を提供しており、この構成の適用可能性を示している。

要約すると、ピアソンは、トーリック環境空間の組合せ論的幾何学と完全交叉環の代数的構造との相互作用を利用し、コックス環によって定義されるファノ多様体のクラスに対するムカイ予想の厳密な証明を提供している。