[論文レビュー] On a conjecture of Fujino and Sato

Michele Rossi|arXiv (Cornell University)|Feb 26, 2026

Algebraic Geometry and Number Theory被引用数 0

ひとこと要約

この論文は、Cox環とGKZセカンダリーファンを用いて、完全非投影のQ-因子多様体に対するFujino–Satoの結果の短く概念的な証明を示し、これを完備したQ-因子弱Mori夢空間へ拡張し、D-フリップを通じて射影的MDSへ至ることを示す。

ABSTRACT

We revisit results of Fujino--Sato on complete non-projective $\mathbb Q$-factorial toric varieties and their conjectural factorization by flips. We show that their main results admit short conceptual proofs, avoiding any restriction on the dimension and the Picard number, from the general theory of Cox rings and Mori Dream Spaces, once one organizes small $\mathbb Q$-factorial modifications via the GKZ (secondary fan) decomposition of the moving cone. Moreover, we extend this viewpoint beyond the toric case by proving an analogous statement for complete $\mathbb Q$-factorial weak Mori Dream Spaces: any non-projective such variety admits a divisor $D$ and a $D$-flip to a (projective) Mori Dream Space. Our approach highlights the role of chambers and wall-crossing in the secondary fan as a unifying framework for these constructions.

研究の動機と目的

• Cox環とMoriDreamSpaceの枠組みでFujino–Satoの結果を再構成する。
• 小さなQ-因子改変をGKZファンの壁-crossingとして整理する。
• GKZファンの室を移動する際、射影的Q-因子モデルが存在することを示す。
• toricの結果を、完全な非投影Q-因子弱Mori夢空間へD-フリップを通じて拡張する。

提案手法

• 移動円錐のセカンダリファン（GKZ分解）を用いて双曲モデルを整理する。
• Hu–Keel理論のMori dream spacesを適用し、モデル間で移動円錐と nef 円を関連付ける。
• GKZ分解の壁-crossingとして小さなQ-因子改変を構築する。
• Mov(X)内の全次元室を特定し、それが射影的Q-因子モデルに対応する。
• 非投影のwMDSからのD-フリップが射影的MDSを生み出すことを示し、トリック場合はトリック性の保持で特徴づける。

Figure 1. The prism whose vertices are given by the columns of the fan matrix $V$ in Example 3.2

実験結果

リサーチクエスチョン

• RQ1 すべての完全非投影Q-因子弱Mori夢空間は単一のD-フリップで射影的Mori夢空間へ連結できるか。
• RQ2 セカンダリファン構造は、双有理モデル間のフリップ、フロップ、アンチフリップの存在と性質をどのように支配するか。
• RQ3 トリックFujino–Sato現象は、非トリックのwMDS設定へ正準な方法で拡張されるか。
• RQ4 中間モデルのnef円とGKZ分解の室との正確な関係はこの文脈でどうなるか。

主な発見

• Fujino–Satoの結果は、GKZセカンダリファンを通してCox環とMori Dream Space理論から短く概念的に証明できる。
• 非投影の完全Q-因子wMDSは射影的MDSへのD-フリップを持ち、トリックの場合を一般化する。
• 可動円錐は室分解（ GKZセカンダリファン）を持ち、その各室は双有理モデルのnef円を encoded し、壁がフリップを規定する。
• トリック設定では、フリップ後のモデルX′がトリックでなければX′はトリックであることが成り立ち、トリック構造を保持する。
• この枠組みはセカンダリファンの壁-crossingを統一的な機構として強調し、双有理モデルの構築を可能にする。

Figure 2. The section of the cone $\operatorname{Eff}(Q)$ in Example 3.2 , which is the positive orthant of $\mathbb{R}^{3}$ , with the plane $x_{1}+x_{2}+x_{3}=1$ .