[論文レビュー] A new method in Fano geometry

Ziv Ran, Herb Clemens|ArXiv.org|Jan 23, 2000

Algebraic Geometry and Number Theory参考文献 2被引用数 4

ひとこと要約

本稿は、Fano幾何における新規な手法を提示する。微分作用素層の正性性を用いて、Picard数1で軽微な特異点をもつFano多様体の反標準次数を有界化する。接束のHarder-Narasimhan分解を分析し、消失定理を適用することで、$(-K_X)^n$ の上界を接束の最小勾配とWeil指数を用いて得る。これは有理曲線やbend-and-break技法に依存しない、Fano有界性に対する新たな独立したアプローチを提供する。

ABSTRACT

We give some bounds on the anticanonical degrees of Fano varieties with Picard number 1 and mild singularities, extending results of Kollár et al. from the early 90's and improving them even in the smooth case. The proof is based on a study of positivity properties of sheaves of differential operators on ample line bundles, and avoids the use of rational curves and bend-and-break. This note is a self-contained exposition of the main ideas of math.AG/9811022

研究の動機と目的

• Picard数1で軽微な特異点をもつ一様$\mathbb{Q}$-Fano多様体の反標準次数$(-K_X)^n$に対する有効な上界を確立すること。
• 古典的技法（有理曲線やbend-and-break）に依存しない、Fano多様体の有界性を扱う新たな独立したアプローチを開発すること。
• アーベル多様体上の正性が、Fano幾何における中心的道具である微分作用素層の性質として果たす役割を明確にすること。
• 反標準次数が、接束のHarder-Narasimhan分解の最小勾配とWeil指数$i_X$または$t_X$の関数として有界であることを証明すること。
• 特にlog-terminal KodairaとKawamata-Viehwegの消失定理を、特異Fano多様体上の微分作用素の研究へ拡張する可能性を検討すること。

提案手法

• 特異Fano多様体$X$の良い解体$\epsilon: Y \to X$を用いる。ここで$Y$は滑らかで、特異部分は単純正交交差除部分である。
• 標準的ラインバンドルの引き戻しを非Cartier除部分へ一般化する「整数的除部分」引き戻し$\epsilon_{id}^*M$を導入する。
• 微分作用素層$\mathfrak{D}^{\alpha k}(-kK_X, \mathcal{O}_X)$の正性に依存する。$k$が十分大きいとき、これが半正であることが示される。
• 仮定$(-K_X)^n > \mu_X^n$から矛盾を導く。これにより、一般の曲線断面$C \subset X'$に沿って$> \alpha k$次の零点を持つ$-kK_X$の切断$s$が存在するが、これは半正性に反する。
• 分岐被覆技術とKawamata-Viehwegの消失定理を用いて、$H^0(\Omega_Y^{n'}(-N + B)) = 0$を示し、$\epsilon^*Q^\vee$から$\Omega_Y^{n'}$への非自明な写像の存在と矛盾する。
• 曲線断面$C$の幾何とWeil指数、接束の最小勾配との関係を示すために、鍵となる不等式$\frac{C \cdot (-K_X)}{\mu_{\min}(T_X)} \leq i_X$を用いる。

実験結果

リサーチクエスチョン

• RQ1 Picard数1で軽微な特異点をもつ一様$\mathbb{Q}$-Fano多様体の反標準次数$(-K_X)^n$に対して、どのような上界を確立できるか？
• RQ2 微分作用素層の正性が、Fano幾何における有界性結果を導くためにどのように利用できるか？
• RQ3 古典的bend-and-breakアプローチは、微分作用素とHarder-Narasimhan分解に基づく方法に置き換え可能か？
• RQ4 接束の最小勾配$\mu_{\min}(T_X)$とWeil指数$i_X$または$t_X$との関係は何か？
• RQ5 整数的除部分引き戻しを用いることで、微分形式の消失定理を特異Fano多様体へどの程度まで拡張できるか？

主な発見

• 1-標準的でlog-terminalなFano多様体（Picard数1）に対して、$(-K_X)^n \leq \left(\max\left\{\frac{2C \cdot (-K_X)}{\mu_{\min}(T_X)}, i_X\right\}\right)^n$が成り立つ。
• 接束$T_X$が半安定であるとき、上界は$(-K_X)^n \leq \left(\max\{2n, t_X(n+1)\}\right)^n$に簡略化され、$\frac{C \cdot (-K_X)}{\mu_{\min}(T_X)} = n$のとき勾配項で等号が成立する。
• 証明により、$\frac{C \cdot (-K_X)}{\mu_{\min}(T_X)} \leq i_X$が成り立ち、曲線断面$C$の交点と接束の最小勾配の関係が明確にされる。
• 本手法は有理曲線やbend-and-breakを回避し、Fano幾何における有界性への新たな独立した道筋を提供する。
• 微分作用素層$\mathfrak{D}^{\alpha k}(-kK_X, \mathcal{O}_X)$が十分大きな$k$に対して半正であることが示され、矛盾の議論が可能になる。
• 仮定$(-K_X)^n > \mu_X^n$から、$> \alpha k$次の零点を持つ切断が存在するが、これは半正性と$\mathcal{O}_C(-x)$の負性により存在し得ない。