Images of toric variety and amplified endomorphism of weak Fano threefolds

技術要約：トーリック多様体の像および弱ファノ3次元多様体の増幅エンドモルフィズム

問題の所在
本論文は、特定の幾何学的および動的な制約の下での滑らかな射影多様体の分類に関する、関連する2つの予想を取り扱う。

1. トーリック像予想 (Occhetta-Wiśniewski): 滑らかな射影多様体 $X$ が、固有なトーリック多様体からの全射な写像を許容する場合、$X$ 自体もトーリックであるか？ これは曲面、ファノ3次元多様体、およびピカール数 $\rho(X)=1$ の場合には既知であるが、高次元および高ピカール数の場合には未解決である。
2. イント増幅エンドモルフィズム予想 (Fakhruddin, Meng, Zhang, Zhong): イント増幅（int-amplified）エンドモルフィズムを許容する滑らかな射影的有理連結多様体は、必ずトーリックであるか？ これは曲線、曲面、超曲面、およびファノ3次元多様体については既知である。

著者は、弱ファノ3次元多様体（$-K_X$ が nef かつ big である場合）におけるピカール数 $\rho(X)=2$ のケースに焦点を当てている。目的は、そのような多様体が「トーリック像」または「イント増幅エンドモルフィズム」を許容するという条件下において、それらが必ずトーリックであるかどうかを判定することである。

手法
中核となる技術的ツールは、ボット消滅 (Bott vanishing)（およびその対数変種）である。本論文は以下の論理的枠組みを利用する：

• 背理法によるアプローチ: 著者は、特定のクラスのピカール数2の弱ファノ3次元多様体が、ボット消滅を満たさないことを確立する。
• 理論的連結: ある多様体がトーリック像であるか、あるいはイント増幅エンドモルフィズムを許容する場合、その多様体はボット消滅（または対数ボット消滅）を満たさなければならないという既知の結果（[30]より引用）がある。
• 排除: 非トーリックな候補がボット消滅を満たさないことを証明することで、著者はそれらを候補リストから排除する。その結果、仮定（トーリック像またはイント増幅エンドモルフィズム）を満たすがファノではない多様体は、非常に特定の例外リストに属さなければならず、それらの例外はトーリックであることが示される。

証明は以下に大きく依存している：

• ヒルツェブルフ・リーマン・ロッホ (HRR) 計算: 様々な線束 $L$ に対して、コホモロジーの非消滅を検出するためのオイラー標数 $\chi(X, \Omega^2_X(L))$ の明示的な計算。
• 極小モデルプログラム (MMP): ピカール数2の場合における、曲線錐 $NE(X)$の構造（$K_X$負の射影と$K_X$ 零の射影の2つのレイの縮退）の解析。
• フロップ図 (Flop Diagrams): ファブレーションが存在しないケースを、ファブレーションが存在するケースへと還元するための、トーリック像およびエンドモルフィズムの挙シップの利用（補題5.5、補題6.2）。
• 分類表: 特定の数値不変量を導出された公式に対してテストするために、既存の弱ファノ3次元多様体の分類（例：[5], [13], [14]）を参照する。

主要な貢献と結果

1. ボット消滅の失敗 (セクション4)
著者は、弱ファノ3次元多様体のためのオイラー標数 $-\chi(X, \Omega^2_X(H-K_X))$ および関連する項の明示的な公式を導出する。

• 定理 4.1: 一般的な弱ファノ3次元多様体、および $\mathbb{P}^1$ 上の射影束内の超曲面、および $\mathbb{P}^2$ 上の射影束のための公式を提供する。
• 系 4.2: ピカール数2のいくつかの重要なクラスの弱ファノ3次元多様体が、ボット消滅を持たないことを示す。これらには以下が含まれる：
  • $\mathbb{P}^1$ 上の degree 6 および 8 の del Pezzo ファブレーション。
  • $\mathbb{P}^2$ 上の円錐束（特定の例外を除く）。
  • 特定の文献（[5], [13], [14]）の表にリストされた多様体。

2. トーリック像の定理 (定理 A)

• 主張: $X$ を $\rho(X)=2$ かつ $-K_X$ が nef である滑らかな射影3次元多様体とする。もし $X$ が全射な写像の下で固有なトーリック多様体の像であるならば、$X$ はトーリック・ファノ多様体、または以下の3つの特定の弱ファノ多様体のいずれかである：
  1. $\mathbb{P}_{\mathbb{P}^1}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(1)^{\oplus 2})$
  2. $\mathbb{P}_{\mathbb{P}^1}(\mathcal{O}_{\mathbb{P}^1}^{\oplus 2} \oplus \mathcal{O}_{\mathbb{P}^1}(2))$
  3. $\mathbb{P}_{\mathbb{P}^2}(\mathcal{O}_{\mathbb{P}^2} \oplus \mathcal{O}_{\mathbb{P}^2}(3))$
• 意義: これは、ピカール数2かつ nef な反標準束を持つ場合の Occhetta-Wiśniewski 予想を証明している。この証明は、重い組合せ論的なファン（fan）の幾何学を回避し、代わりにボット消滅の失敗を用いて非トーリックな候補を排除することに依拠している。

3. イント増幅エンドモルフィズムの定理 (定理 B)

• 主張: $X$ を $\rho(X)=2$ の滑らかな射影的弱ファノ3次元多様体とする。もし $X$ がイント増幅エンドモルフィズムを許容するならば、$X$ は定理Aに挙げられた3つの特定の多様体、またはトーリック・ファノ多様体である。
• 意義: これは、弱ファノ3次元多様体における Fakhruddin et al. の予想を証明している。議論は、イント増幅エンドモルフィズムが対数ボット消滅を意味するという事実（補題6.4）を利用しており、定理Aの証明と類似している。

著者の意義に関する主張

• 先行研究の拡張: 本結果は、ファノ3次元多様体からより広いクラスである「弱ファノ3次元多様体」へと、これらの予想の先行証明を拡張するものである。
• 独立性と相補性: 著者は、別のプレプリント [4] が、ボット消滅を用いない異なる手法を用いて、ピカール数2の有理連結3次元多様体のイント増幅予想を最近証明したことに触れている。著者は、定理Bのための自身の議論は [4] の一般の場合には拡張できない一方で、逆に [4] の手法は定理A（トーリック像のケース）を証明できないことを指摘している。
• 分類への洞察: 副産物として、本論文は、ファン（fan）の組合せ論に頼ることなく、定理Aに挙げられた3つの特定の多様体が、ファノではないトーリック・ピカール数2の弱ファノ3次元多様体である唯一のものであるという証明を提供する。
• 一般化 (備考 6.5): 著者は、証明技法がより一般的な主張を示唆していると述べている。すなわち、任意の $F$-liftable なピカール数2の弱ファノ3次元多様体はトーリックであり、これは [1] による予想の特殊なケースである。

結論
本論文は、ピカール数2の弱ファノ3次元多様体という、具体的かつ非自明なケースにおいて、これら2つの予想を解決することに成功した。非トーリックな候補に対する精密な数値的障害（ボット消滅の失敗）を確立することにより、動的な条件または写像の条件を満たす多様体は、必ずトーリックである（または明示的に特定された3つのトーリックな弱ファノ多様体のいずれかである）ことを示している。