代数幾何学 · 2026-08-19

Counterexamples to Sato's Weak F-Equivalence Conjecture and a Gorenstein Refinement

Satoの弱F同値予想への反例とGorenstein精密化

Avik Chakravarty, Daeboem Choi, Shengjing Xu

avik-chakravarty-1adqjym daeboem-choi-ezzg1j shengjing-xu-19epudv birational-geometry positivity fano-varieties toric-geometry Birational geometry 双有理幾何 Positivity 正値性 Fano varieties ファノ多様体 Toric geometry トーリック幾何

arXiv Abstract

We disprove Sato's weak \(F\)-equivalence conjecture for nonsingular projective toric weak Fano varieties in every dimension \(d \geq 3\). Our counterexamples are smooth projective crepant models of centered reflexive simplices. The key input is a rigidity property of ray polytopes: if \(X_Σ\) is nonsingular and complete and \(-K_{X_Σ}\) is nef, then every nonzero lattice point of \(P_Σ=\operatorname{Conv}(G(Σ))\) is a primitive ray generator. For our models, this rules out every weak-Fano-preserving equivariant blow-up and blow-down throughout the flop class. We then introduce Gorenstein weak \(F\)-equivalence, generated by projective toric birational zigzags through normal projective Gorenstein toric weak Fano varieties, and formulate a corresponding refinement of Sato's conjecture. We prove this refined conjecture in dimensions \(d \leq 3\), as well as for the family of counterexamples constructed above in every dimension. Finally, we show that the refined conjecture implies the inclusion-connectivity of reflexive \(d\)-polytopes modulo unimodular equivalence, which is known for \(d \leq 4\) and remains open for \(d \geq 5\). The results were developed with the assistance of GPT-5.6 Sol.

日本語要約

次元3以上の各次元で、Satoの弱F同値予想に反する滑らかな射影的トーリック弱Fano多様体を構成する。中心付き反射的単体の滑らかなクレパントモデルでは、ray polytopeの非零格子点がすべて原始的ray生成元になるため、弱Fano性を保つblow-upとblow-downが排除される。さらに正常射影的Gorensteinトーリック弱Fano多様体を経由する双有理zigzagによる新しい同値を導入し、その予想を次元3以下および構成した反例族で証明する。

We disprove Sato's weak \(F\)-equivalence conjecture for nonsingular projective toric weak Fano varieties in every dimension \(d \geq 3\). Our counterexamples are smooth projective crepant models of centered reflexive simplices. The key input is a rigidity property of ray polytopes: if \(X_Σ\) is nonsingular and complete and \(-K_{X_Σ}\) is nef, then every nonzero lattice point of \(P_Σ=\operatorname{Conv}(G(Σ))\) is a primitive ray generator. For our models, this rules out every weak-Fano-preserving equivariant blow-up and blow-down throughout the flop class. We then introduce Gorenstein weak \(F\)-equivalence, generated by projective toric birational zigzags through normal projective Gorenstein toric weak Fano varieties, and formulate a corresponding refinement of Sato's conjecture. We prove this refined conjecture in dimensions \(d \leq 3\), as well as for the family of counterexamples constructed above in every dimension. Finally, we show that the refined conjecture implies the inclusion-connectivity of reflexive \(d\)-polytopes modulo unimodular equivalence, which is known for \(d \leq 4\) and remains open for \(d \geq 5\). The results were developed with the assistance of GPT-5.6 Sol.

滑らかな射影的トーリック弱Fano多様体は、弱Fano性を保つトーリック操作で射影空間へつながるというSatoの予想に、全次元3以上で反例を与える。反例を阻むray polytopeの格子点剛性を示す一方、特異なGorenstein中間モデルを許す精密化を提案し、次元3以下と反例族について成立を証明する。

arXiv
2608.18054v1
初回投稿日
2026-08-18
原論文のライセンス
arXiv non-exclusive distribution license
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
algebraic-geometry 2026

原論文を開く

書誌情報

要約

滑らかな射影多様体 $X$ は、反標準因子 $-K_X$ がnefかつbigなら弱Fanoと呼ばれる。トーリックな場合、Satoの弱$F$同値は、すべての中間多様体を滑らかな射影的トーリック弱Fanoに保ちながら行う不変部分多様体のblow-up、blow-down、flopで生成される。Satoは、任意のそのような $d$ 次元多様体が $\mathbb P^d$ と弱$F$同値だと予想した。

本論文はこの予想を $d\geq3$ の全次元で反証する。反例 $X_d$ は中心付き反射的単体 $\Delta_d$ の滑らかな射影的クレパントモデルである。鍵は、滑らかで完備なトーリック多様体 $X_\Sigma$ に対し $-K_{X_\Sigma}$ がnefなら、ray polytope $P_\Sigma=\operatorname{Conv}(G(\Sigma))$ の非零格子点がすべてray生成元になるという飽和性である。

この剛性により、$X_d$ のflop類では弱Fano性を保つ非自明なトーリックblow-upもblow-downもできず、flopはray集合を変えない。一方、$X_d$ と $\mathbb P^d$ のray数は異なるため、両者はSatoの意味でつながらない。

著者らは、正常射影的Gorensteinトーリック弱Fano多様体を中間に許し、射影的トーラス同変双有理射のzigzagで生成する「Gorenstein弱$F$同値」を導入する。この精密化された予想は次元3で証明され、反例族 $X_d$ も全次元でこの広い意味では射影空間と同値になる。ただし高次元の一般論は、反射的polytopeの包含グラフの連結性という未解決問題につながる。

背景と問題設定

弱因子分解では中間モデルの反標準正値性を要求しない。それに対してSatoの問題は、双有理分解の全過程でnefかつbigという条件を維持できるかを問うため、より強い連結性問題である。滑らかさを保つ原予想と、Cartier性を保ちながら特異点を許す精密化の差が、本論文の反例と修正版を分ける本質になっている。

中心付き単体は

$$ \Delta_d=\left{(b_0,\ldots,b_d)\in\mathbb R^{d+1}:\sum b_i=0,\ b_i\geq-1\right} $$

で与えられ、その格子点数は $\binom{2d+1}{d}$ である。境界のcoherent unimodular triangulationから得る $X_d$ は、非零格子点をすべてrayとして持つ。

主結果

反例の構成（Theorem 1.2）

任意の整数 $d\geq3$ に対し、$\mathbb P^d$ と弱$F$同値でない滑らかな射影的トーリック弱Fano $d$ 次元多様体 $X_d$ が存在する。さらに、$X_d$ と弱$F$同値な任意の多様体のray数は

$$ r_d=\binom{2d+1}{d}-1 $$

で一定であるのに対し、$\mathbb P^d$ のfanは $d+1$ 本のrayしか持たない。

Gorenstein精密化の次元3での成立（Theorem 1.4）

任意の正常射影的Gorensteinトーリック弱Fano三次元多様体は、Gorenstein弱$F$同値の意味で $\mathbb P^3$ と同値である。反標準射により三次元反射的polytopeのトーリックFanoモデルへ落とし、4319個の三次元反射的polytopeの包含グラフの既知の連結性を、許された双有理zigzagへ移す。

反例族に対する精密化の成立（Proposition 1.5）

中心付き単体に付随するGorensteinトーリックFano多様体と $X_d$ は、すべての $d\geq1$ で $\mathbb P^d$ とGorenstein弱$F$同値である。したがって原予想を壊す障害は、特異なGorenstein中間モデルを許せばこの族では解消される。

証明の見取り図

完備fan $\Sigma$ の原始ray生成元を $G(\Sigma)$ とする。滑らかさと $-K_{X_\Sigma}$ のnef性から

$$ \operatorname{Conv}(G(\Sigma))\cap N={0}\cup G(\Sigma) $$

を導く。$P_\Sigma=\Delta_d$ の場合、この式とfacetのunimodular triangulationがrayの追加・削除を封じ、flopだけではray集合が変わらないのでTheorem 1.2が従う。

精密化では、反標準モデルと反射的polytopeを用いて双有理幾何を組合せ論へ移す。次元3ではpolytope包含グラフの道の各辺をcompatible subdivisionによりGorenstein弱Fanoのzigzagとして実現する。高次元では共通細分が非クレパントrayを導入し得るため、同じ議論はそのまま延長できない。

原論文との対応

  • Abstractページ: arXiv:2608.18054
  • Introduction: Section 1, pp. 1–3
  • Introduction中で言及された主要定理番号: Conjecture 1.1, Theorem 1.2, Conjecture 1.3, Theorem 1.4, Proposition 1.5
  • 論文構成の説明: p. 3
  • 確認したarXivバージョン: v1
  • 確認したライセンス: arXiv non-exclusive distribution license
  • source_scope: Abstract and Introduction