[論文レビュー] A note on discreteness of $F$-jumping numbers

Karl Schwede|arXiv (Cornell University)|Apr 8, 2010

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

ひとこと要約

本稿は、$K_X + \Delta$ が $\mathbb{R}$-Cartier であるという条件下で、$p > 0$ の特徴において、$\mathbb{Q}$-Gorenstein指数が $p$ と素でない場合を含め、test ideal の $F$-jumping 数の離散性を確立する。証明はCartier代数のゲージ有界性と、canonical divisor が torsion となる局所的チャートへの還元に依拠し、既存の $F$-adjunction および test ideal 理論を用いて、jumping 数の集合が極限点を持たないことを示す。

ABSTRACT

Suppose that $R$ is a ring essentially of finite type over a perfect field of characteristic $p > 0$ and that $a \subseteq R$ is an ideal. We prove that the set of $F$-jumping numbers of $τ_b(R; a^t)$ has no limit points under the assumption that $R$ is normal and $Q$-Gorenstein -- we do \emph{not} assume that the $Q$-Gorenstein index is not divisible by $p$. Furthermore, we also show that the $F$-jumping numbers of $τ_b(R; Δ, a^t)$ are discrete under the more general assumption that $K_R + Δ$ is $\bR$-Cartier.

研究の動機と目的

• 特徴 $p > 0$ における $\mathbb{Q}$-Gorenstein指数が $p$ で割り切れる場合の $F$-jumping 数の離散性に関する未解決問題を解消すること。
• $\mathbb{Q}$-Gorenstein指数が $p$ で割り切れない場合に限らない、$F$-jumping 数の既知の離散性および有理化結果の拡張。
• $\mathbb{Q}$-Gorenstein条件ではなく、より弱い仮定 $K_X + \Delta$ が $\mathbb{R}$-Cartier である場合に離散性が成り立つことを示すこと。
• なぜ $\mathbb{Q}$-Gorenstein指数が $p$ で割り切れる場合に標準的な有理化証明が失敗するのかを明確にすること。

提案手法

• 有限フロベニウス捩れを介して、$K_X + \Gamma$ が torsion となるようなアフィンチャートへの問題の還元。
• $p^{-e}$-線形写像を用いて定義されるbig test ideal $\tau_b(R; \Delta, \mathfrak{a}^t)$ の理論と、フロベニウス引き戻しとの整合性を適用。
• Blickle (2009) が導入した、Cartier代数のゲージ有界性の概念を用いて、test ideal の成長を制御。
• $(p^e - 1)(K_X + \Gamma) \sim 0$ のとき、三重 $(R, \Gamma, f_1^{b_1} \cdots f_m^{b_m})$ に付随するCartier代数がゲージ有界であることを示し、Cartier代数の有限生成性を活用。
• Blickle (2009, Theorem 4.14) を適用して、ゲージ有界性から $F$-jumping 数の離散性を結論づける。
• Weil divisor を用いた摂動技術を用いて、一般の $\mathbb{R}$-Cartier 対を、有界性の議論に適した標準形に還元する。

実験結果

リサーチクエスチョン

• RQ1 $R$ が $F$-finite 体上での $\mathbb{Q}$-Gorenstein正規整域で、$\mathbb{Q}$-Gorenstein指数が $p$ で割り切れる場合、$\tau_b(R; \Delta, \mathfrak{a}^t)$ の $F$-jumping 数の集合は極限点を持たないか？
• RQ2 $K_X + \Delta$ が $\mathbb{Q}$-Gorensteinではなく $\mathbb{R}$-Cartier であるというより弱い仮定のもとで、$F$-jumping 数の離散性は保証されるか？
• RQ3 $\mathbb{Q}$-Gorenstein指数が $p$ で割り切れる場合、なぜ標準的な有理化証明が失敗するのか？
• RQ4 一般の $\mathbb{R}$-Cartier 情報において、Cartier代数のゲージ有界性は $F$-jumping 数の離散性を保証するのに十分か？

主な発見

• $R$ が $F$-finite 体上での正規整域で、$K_X + \Delta$ が $\mathbb{R}$-Cartier であるとき、$\tau_b(R; \Delta, \mathfrak{a}^t)$ の $F$-jumping 数の集合は極限点を持たない。
• $\mathbb{Q}$-Gorenstein指数が $p$ で割り切れる場合でも離散性が成り立つ。これは [BSTZ10] における主要な未解決ケースを解決する。
• $(p^e - 1)(K_X + \Gamma) \sim 0$ である三重 $(R, \Gamma, f_1^{b_1} \cdots f_m^{b_m})$ に付随するCartier代数はゲージ有界であり、これにより有界性定理の適用が可能になる。
• 適切な有限被覆の後、$\tau_b(R; \Delta, \mathfrak{a}^t)$ の $F$-jumping 数は $\tau_b(U; \Delta|_U, (\mathfrak{a}R')^t)$ のそれと一致し、局所的チャートへの還元が可能になる。
• 標準的な有理化結果（$p^e t_0$ が $F$-jumping 数であること）は、$\mathbb{Q}$-Gorenstein指数が $p$ で割り切れる場合に失敗する。$\frac{kp - 1}{p}$ のような jumping 数を持つ反例により示される。
• ゲージ有界性を用いた証明技法は、有理化が成り立たない状況においても離散性を示す強固な枠組みを提供し、有理化よりも一般に離散性が成立する可能性を示唆する。