On characterization of toric varieties

イリヤ・カルジェマノフ（Ilya Karzhemanov）による論文「ON CHARACTERIZATION OF TORIC VARIETIES（トーリック多様体の同定に関する考察）」の技術的な要約を以下に記します。

1. 研究の背景と問題設定

本論文は、代数幾何学における**トーリック多様体（toric varieties）の同定（characterization）**に関する V. V. Shokurov の予想を扱っています。

• Shokurov の予想（予想 1.3）:
  対 $(X, D)$ が以下の条件を満たすとき、不等式 $\sum d_i \le r(X, D) + \dim X$ が成り立ち、等号が成立するのは $(X, D')$ が形式的にトーリック対（$D' \ge \lfloor D \rfloor$）である場合に限られる、という予想です。

  • $X$: 正規な射影多様体（$\mathbb{C}$ 上）。
  • $D = \sum d_i D_i$: $\mathbb{Q}$-境界（$0 \le d_i \le 1$）。
  • 条件: 対 $(X, D)$ は対数的正則（lc）、$-(K_X + D)$ は nef、$X$ は $\mathbb{Q}$-因子的（$\mathbb{Q}$-factorial）。
  • $r(X, D)$: $D_i$ によって張られる $\mathbb{Q}$-ベクトル部分空間の次元。
  • 等号成立時: $X$ はトーリック多様体であり、$D$ はその境界となる。

• McKernan の一般化（予想 1.7）:
  Shokurov の予想を一般化し、「複雑さ（complexity）」$c(X, D) := r(X, D) + \dim X - \sum d_i$ を用いた定式化です。特に $c(X, D) < 1$ ならば $(X, D')$ がトーリックになるという主張が含まれます。

• 既存の結果:

  • 次元 $n=2$ の場合、この予想は証明済みです（[35] など）。
  • 次元 $n=3$ かつ $(X, D)$ が plt（purely log terminal）で $K_X+D \equiv 0$ の場合も証明されています（[34]）。
  • しかし、一般の次元 $n \ge 3$ における妥当性は未解決でした。

2. 主要な貢献と結果

本論文の最大の貢献は、次元 $n \ge 3$ において、Shokurov の予想および McKernan の予想が反例によって否定されることを示したことです。

2.1. 偽トーリック多様体（Fake Toric Varieties）の構成

著者は、条件を満たすが実際にはトーリック多様体ではない多様体のクラス $T_{f,n}$ を定義しました。

• 定義 1.10: $X$ が「偽トーリック（fake toric）」であるとは、ある $\mathbb{Q}$-境界 $D$ が存在し、$(X, D)$ が予想のすべての条件（lc, nef, $\mathbb{Q}$-factorial 等）を満たし、かつ $c(X, D) < 1$ であるが、$(X, \lfloor D \rfloor)$ がトーリックでない場合を指します。

• 定理 1.11（主要定理）:
  任意の $n \ge 3$ に対して、$T_{f,n} \neq \emptyset$ である。
  より具体的には、$K_X + D \equiv 0$ かつ絶対複雑さ $ac(X, D) = 3/4$を満たすような、非トーリックな多様体$X$と境界$D$ が存在する。

2.2. 反例の具体的な構成（次元 3 の場合）

定理 1.11 の証明では、以下の手順で具体的な反例 $X$ が構成されています。

1. 出発点: $\mathbb{P}^4$ 内の二次曲面 $Q$ と、その上の直線 $\ell$ を考える。
2. ブローアップ: $\ell$ をブローアップして $W$ を得る。
3. 商空間: $W$ 上に定義された $\mathbb{Z}/2 \times \mathbb{Z}/2$ 作用（$G$）を考え、商空間 $X := W/G$ を構成する。
   • この作用は、$Q$ からの 2:1 射のガロア作用と、$\mathbb{P}^3$ からの商 $\mathbb{P}(1,1,1,2)$ への写像に関連するガロア作用の持ち上げによって定義されます。
4. 境界の定義: 分岐多様体や例外除数を用いて適切な境界 $D$ を定義し、$K_X + D \equiv 0$ かつ $ac(X, D) = 3/4$ となることを示します。
5. 非トーリック性の証明:
   • $X$ の特異点構造を解析し、$X$ がトーリック多様体であると仮定すると、そのファン（fan）の構造と特異点の配置が矛盾することを示します（Proposition 4.11）。
   • 具体的には、$X$ には特定のタイプの孤立特異点（$C^* \times C^2 / G$ 型）が存在し、これがトーリック構造と両立しないことを示しています。

2.3. 高次元への拡張

$n \ge 4$ の場合は、$X \times (\mathbb{P}^1)^{n-3}$ を取ることで同様の反例が得られます。

3. 肯定的な結果（弱いバージョンの検証）

予想が一般には偽である一方で、いくつかの制限された条件下では肯定的な結果が得られています。

• 命題 1.14 (Prokhorov による):
  $K_X + D \equiv 0$ かつ $d_i = 1$（$D$ が整数係数）の場合、$c(X, D) \ge 0$ が成り立ち、$c(X, D) = 0$ ならば $X$ は有理的連結（rationally connected）である。
• 定理 1.15:
  $ac(X, D) = 0$ならば$X$ は有理的（rational）である。また、$ac(X, D) = 1$かつ$X$が有理的連結であれば、$X$ も有理的である。
  • 証明には、[25] で提案された帰納的な手法（Morse 関数のような写像を用いて次元を下げ、ファイバー上の条件を帰納的に適用する）が用いられています。

4. 既存の証明への批判（Appendix）

論文の付録では、最近 Duke Math. J. に掲載された [6] において Shokurov の予想の「証明」がなされたという主張に対し、以下の理由でその証明が誤っていることを指摘しています。

1. 環論的な誤り: 対称的な作用を持つ環が多項式環でなければならないという主張が誤りであり、反例（Makar-Limanov 不変量を用いたもの）が提示されています。
2. 有理性の判定基準の誤用: 特異な二次曲面束（conic bundle）に対する有理性の判定基準（Prym 多様体を用いるもの）は、標準的（滑らか）な場合にのみ知られており、論文で扱われているような特異な場合（終端特異点を持たない場合）には適用できないことを指摘しています。

5. 意義と結論

• 理論的意義:
  トーリック多様体の同定に関する長年の予想（Shokurov 予想）が、次元 3 以上では一般には成り立たないことを初めて示しました。これは、トーリック多様体の性質が「複雑さ（complexity）」という数値的不等式だけで完全に特徴づけられるわけではないことを意味します。
• 手法の限界:
  次元 2 の成功や、[25] で提案された戦略（「余次元 1 で同型ならトーリック」「$\mathbb{Q}$-補完性」）が、高次元や特異なケースでは破綻することを示しました。特に、有理スクロール（rational scrolls）や非トーリックな商空間の存在が、これらの戦略の限界を浮き彫りにしています。
• 今後の展望:
  反例となる「偽トーリック多様体」がどのような構造を持つのか（例：トーリック多様体の商として得られるか、トーリック化が可能か等）という新たな問い（質問 A-D）が提起されており、これらが今後の研究の方向性を示唆しています。

総じて、本論文は代数幾何学におけるトーリック多様体の分類理論において、既存の予想の限界を明確にし、より精密な条件付けの必要性を浮き彫りにした重要な業績です。