[論文レビュー] Bounding the volumes of singular Fano threefolds

Ching-Jui Lai|arXiv (Cornell University)|Apr 12, 2012

Algebraic Geometry and Number Theory参考文献 13被引用数 3

ひとこと要約

本稿は、固定された $\epsilon$-klt 閾値 $\epsilon$ のもとで、Picard数が1で $\mathbb{Q}$-因子的かつ $\mathbb{Q}$-Fano 3次元多様体に、有効な上界を確立する。対数最小モデルプログラムの技法、表面的体積の上限、およびカーティエ指数の推定を組み合わせることで、体積が $\epsilon$ の関数として有効に抑えられることを示し、$M(2,\epsilon)$ および $R(2,\epsilon)$ に明示的な依存関係を持つ。また、体積が $O(1/\epsilon^3)$ まで増加しうることを示し、標準的錐構成を超える高体積例の存在を示唆する。

ABSTRACT

Let $(X,Δ)$ be an $n$-dimensional $ε$-klt log $\QQ$-Fano pair. We give an upper bound for the volume ${ m Vol}(-(K_X+Δ))=(-(K_X+Δ))^n$ when $n=2$ or $n=3$ and $X$ is {$\QQ$-factorial} of $ρ(X)=1$. This bound is essentially sharp for $n=2$. Existence of an upper bound for anticanonical volumes is related the Borisov-Alexeev-Borisov Conjecture which asserts boundedness of the set of $ε$-klt log $\QQ$-Fano varieties of a given dimension $n$.

研究の動機と目的

• 反標準体積 $(-K_X)^3$ の有効な上界を、$\mathbb{Q}$-因子的かつ $\rho(X)=1$ の特異 Fano 3次元多様体に、$\epsilon$-klt 特異点をもつものについて確立すること。
• 固定された $\epsilon$-klt 条件のもとで体積の有界性を証明することで、Borisov-Alexeev-Borisov (BAB) 猜測を支持すること。
• 標準的錐構成で得られる $O(1/\epsilon^2)$ よりも速やかに体積が増加する $\epsilon$-klt Fano 3次元多様体が存在するかを調査すること。
• 表面レベルの体積とカーティエ指数の推定を用いて、明示的な定量的上限を提供すること。

提案手法

• 一般化された表面ファイブレーション構成を用いて、問題を対数 del Pezzo 表面の研究に還元するため、対数最小モデルプログラムを適用する。
• 体積の上限 $M(2,\epsilon) \leq \max\{64, 16/\epsilon + 4\}$ を、$\rho=1$ の $\epsilon/2$-klt del Pezzo 表面に適用する。
• $K_S$ のカーティエ指数に対して、上限 $R(2,\epsilon) \leq 2(4/\epsilon)^{128 \cdot 2^5 / \epsilon^5}$ を確立する。
• 解体上の交線論的関係を用いて、3次元多様体の体積を表面の体積とカーティエ指数に関連づけ、3次元体積の上限を導出する。
• 標準的錐構成を基準として用い、標準的錐が $O(1/\epsilon^2)$ の体積を与えることを示し、新しい上界と比較する。
• 例外的除集合と $-K_{Y'_u}$ に関連する交線論的不等式を適用し、最終的な体積上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 Picard数が1の $\epsilon$-klt $\mathbb{Q}$-Fano 3次元多様体は、反標準体積が $O(1/\epsilon^2)$ より速く増加する可能性があるか？
• RQ2 $\epsilon$-klt $\mathbb{Q}$-Fano 3次元多様体に、$\rho(X)=1$ である場合に、$n=3$ と $\epsilon$ のみに依存する一様な上界が存在するか？
• RQ3 このような上界の存在が、3次元における Borisov-Alexeev-Borisov 猜測を支持するか？
• RQ4 $\epsilon$-klt del Pezzo 表面のカーティエ指数と体積は、$\epsilon$ の関数として有効に上限づけられるか？
• RQ5 $\epsilon \to 0$ のとき、$\epsilon$-klt Fano 3次元多様体の体積の鋭い漸近的増加率は何か？

主な発見

• 反標準体積 $(-K_X)^3$ は、$\epsilon$-klt 対数 $\mathbb{Q}$-Fano 3次元多様体で $\rho(X)=1$ である場合、$\left(\frac{24M(2,\epsilon)R(2,\epsilon)}{\epsilon} + 12\right)^3$ で上から抑えられる。ここで $M(2,\epsilon)$ と $R(2,\epsilon)$ は、表面体積とカーティエ指数の上限を表す。
• 表面体積の上限は $M(2,\epsilon) \leq \max\{64, 16/\epsilon + 4\}$ を満たし、$\epsilon$ が小さい場合に $O(1/\epsilon)$ のように増加する。
• カーティエ指数の上限は $R(2,\epsilon) \leq 2(4/\epsilon)^{128 \cdot 2^5 / \epsilon^5}$ を満たし、$1/\epsilon$ の任意の多項式よりも速く増加する。
• 得られた3次元体積の上限は $O(1/\epsilon^3)$ に比例して増加し、標準的錐構成を超える高体積例が存在する可能性を示唆する。
• 標準的錐構成では $O(1/\epsilon^2)$ の体積が得られるため、新しい上限はより広いクラスの例を含める。
• 本稿は、体積の上限が有効的であり、$n=3$ と $\epsilon$ のみに依存することを示し、$\rho(X)=1$ の $\epsilon$-klt $\mathbb{Q}$-Fano 3次元多様体の有界性を支持する。