代数幾何学 · 2026-10-28

Cluster type smooth Fano threefolds

滑らかなFano三次元多様体のcluster型と円柱性

Eduardo Alves da Silva, Fernando Figueroa, José Ignacio Yáñez, Joaquín Moraga

eduardo-alves-da-silva-n564na fernando-figueroa-11esw9s jose-ignacio-yanez-10zyqbe joaquin-moraga-dvwkx fano-varieties birational-geometry toric-geometry singularities Singularities 特異点・特異性 Birational geometry 双有理幾何 Fano varieties ファノ多様体 Toric geometry トーリック幾何

arXiv Abstract

We prove that most rational smooth Fano threefolds are compactifications of $\mathbb{G}_m^3$. More precisely, we study which smooth Fano threefolds are cluster type, i.e., for which smooth Fano threefolds $X$ one can find a boundary $B\in |-K_X|$ and an embedding $\mathbb{G}_m^3\hookrightarrow X\setminus B$. We prove that many important classes of smooth Fano threefolds are cluster type. For instance, a smooth Fano threefold which is the blow-up of either $\mathbb{P}^3$ or $\mathbb{Q}^3$ and is general in its deformation space is of cluster type. As a consequence, we show that among the $105$ families parametrizing all smooth Fano threefolds, the general element of precisely $87$ families is of cluster type. We prove that a general prime smooth Fano threefold of genus $7$ is not of cluster type. This is the only family whose general element is rational but not of cluster type. Finally, we prove that cluster type projective klt varieties are cylindrical and we give a criterion for such a cylinder to be anticanonically polar. Using this, we reduce the cylindricity problem for smooth Fano threefolds to the families $\mathcal{N}^{\mathrm{o}}\,1.3$, $\mathcal{N}^{\mathrm{o}}\,1.5$, and $\mathcal{N}^{\mathrm{o}}\,1.6$.

日本語要約

滑らかなFano三次元多様体の一般元について、反標準境界の補集合にトーラスの開部分を持つcluster型の成立範囲を決定する。105族中87族の一般元がcluster型であり、有理な一般元を持つ88族のうち種数7のprime族が唯一の例外となる。cluster型klt射影多様体は円柱を含み、これを既知の結果と合わせて有理Fano三次元の円柱性問題を三つの族に集約する。

We prove that most rational smooth Fano threefolds are compactifications of $\mathbb{G}_m^3$. More precisely, we study which smooth Fano threefolds are cluster type, i.e., for which smooth Fano threefolds $X$ one can find a boundary $B\in |-K_X|$ and an embedding $\mathbb{G}_m^3\hookrightarrow X\setminus B$. We prove that many important classes of smooth Fano threefolds are cluster type. For instance, a smooth Fano threefold which is the blow-up of either $\mathbb{P}^3$ or $\mathbb{Q}^3$ and is general in its deformation space is of cluster type. As a consequence, we show that among the $105$ families parametrizing all smooth Fano threefolds, the general element of precisely $87$ families is of cluster type. We prove that a general prime smooth Fano threefold of genus $7$ is not of cluster type. This is the only family whose general element is rational but not of cluster type. Finally, we prove that cluster type projective klt varieties are cylindrical and we give a criterion for such a cylinder to be anticanonically polar. Using this, we reduce the cylindricity problem for smooth Fano threefolds to the families $\mathcal{N}^{\mathrm{o}}\,1.3$, $\mathcal{N}^{\mathrm{o}}\,1.5$, and $\mathcal{N}^{\mathrm{o}}\,1.6$.

滑らかなFano三次元多様体の105変形族のうち、一般元がcluster型となるのは正確に87族であることを示す。種数7のprime Fano族の一般元を非cluster型と判定し、cluster型klt射影多様体の円柱性から、円柱性の未解決部分を限られた族へ絞り込む。

arXiv
2610.36656v1
初回投稿日
2026-10-27
原論文のライセンス
arXiv.org perpetual, non-exclusive license
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
algebraic-geometry 2026

原論文を開く

書誌情報

要約

Fano多様体の有理性より強い条件として、反標準境界と整合するトーラスの座標領域を持つcluster型がある。本論文は滑らかなFano三次元多様体の既知の105変形族を舞台に、この性質を一般元について決定する。

射影三空間や三次元二次超曲面のブローアップでは、中心を含む適切な反標準境界を構成する。他の族もファイブレーションなどを用いて扱い、87族で一般元がcluster型となることを示す。残る有理な一般元を持つ種数7のprime族には、境界の特異点と可動線形系による障害がある。

cluster型は円柱$\mathbb A^1\times Z$の存在にも結び付く。ただし非cluster型という結論から非円柱的とは言えない。論文は一般元の分類を完成させる一方、特殊元や円柱性には残る問題があることを明確にする。

背景と問題設定

滑らかなFano三次元では、cluster型は反標準境界$B\in|-K_X|$と開埋め込み

$$ \mathbb G_m^3\hookrightarrow X\setminus B $$

の存在として捉えられる。log rationalityはトーリック対とのcrepant双有理同値を求める、より弱い条件である。105族のうち一般元が有理なのは既知の分類によれば88族であり、単なる有理性とcluster型の差が焦点となる。

主結果

射影空間のブローアップ（Theorem 1.1）

$\mathbb P^3$のブローアップである滑らかなFano三次元多様体が、その変形空間で一般ならcluster型となる。

二次超曲面のブローアップ（Theorem 1.2）

滑らかな三次元二次超曲面$Q^3$のブローアップでも、同じく変形空間の一般元はcluster型である。いずれも一般性の仮定をすべての特殊元に拡張した主張ではない。

一般元の肯定的分類（Theorem 1.3）

105族のうち少なくとも87族の一般元がcluster型となる。これは次の否定的結果と合わせて「正確に87族」という分類になる。

種数7の障害（Theorem 1.7）

一般のprimeな滑らかな種数7のFano三次元多様体はcluster型ではない。これは有理な一般元を持つ88族のうち唯一の例外である。

障害の鍵となるLemma 1.6は、klt Fanoのcluster型対$(X,B)$で$\operatorname{Cl}(X)\simeq\mathbb Z[B]$なら、可動線形系$\mathcal M\subseteq|-mK_X|$とlog canonical place $v$が存在して

$$ v(\mathcal M)>m\thinspace v(B) $$

となることを述べる。中心は閉点に選べる。種数7では候補となる境界を分析し、この不等式を阻むことで非cluster型を示す。

特殊元に残る範囲（Theorem 1.8）

有理な滑らかなFano三次元多様体は、次の可能性を除いてcluster型である。

  • 一般元が非有理な族の特殊元。
  • 種数7のprime族（Mori–Mukai №1.6）。
  • 二つの三次曲面の交わりに沿う$\mathbb P^3$のブローアップ族№2.4の特殊元。
  • 次数一del Pezzo曲面$S$との積$\mathbb P^1\times S$の族№10.1の特殊元。

最後の積の場合は$\operatorname{coreg}(S)=0$とcluster型が同値である。列挙したすべての例外が非cluster型という意味ではなく、未解決の特殊元も含む。

円柱の存在（Theorem 1.4）

射影cluster型多様体でklt特異点を持つものは円柱的である。したがって87族の一般元は円柱を含む（Corollary 1.5）。

円柱性の未解決族（Theorem 1.9）

有理な滑らかなFano三次元多様体は、№1.3、№1.5、№1.6に属する可能性を除いて円柱的である。№1.6の一般元の非cluster型は証明されるが、その非円柱性は依然として期待にとどまる。

証明の見取り図

ブローアップ型では、中心を含む特異な反標準超曲面を探す補間問題へ帰着する。それ以外ではcomplexityの方法やdel Pezzo・円錐曲線ファイブレーションを使い分ける。

種数7では境界の可能な特異点を分類し、随伴とdlt modificationによって評価を曲面上の計算へ移す。円柱性については、トーラスの一次元部分群の平行移動が境界成分へ近づく様子を利用し、パラメータ空間を縮めて円柱を得る。

原論文との対応

  • Abstractページ: 公式arXivページ
  • Introduction: PDF — Section 1, pp. 1–6（Section 2の前まで）
  • Introduction中で言及された主要結果: Theorems 1.1–1.4, 1.7–1.9；Corollary 1.5；Lemma 1.6
  • 論文構成・証明方針: 上記Introductionで述べられた範囲に基づく。後続節の証明全体の検証は行っていない。
  • 確認したarXivバージョン: 2610.36656v1
  • 確認したライセンス: arXiv.org perpetual, non-exclusive license
  • source_scope: Abstract and Introduction