[論文レビュー] Semiample perturbations for log canonical varieties over an F-finite field containing an infinite perfect field

Hiromu Tanaka|arXiv (Cornell University)|Mar 4, 2015

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

ひとこと要約

本稿では、正の特性において、無限大の完全体を含む F-有限体上での、対数正則なペアの半アーメド摂動が、弱い仮定のもとで対数正則性を保つことを確立する。F特異点理論とトレース写像を用いて、対数正則性を維持する有効除援の有理同値類の存在を証明し、古典的手法が失敗する正の特性におけるベルティーニ型結果への拡張を実現する。

ABSTRACT

Let $k$ be an $F$-finite field containing an infinite perfect field of positive characteristic. Let $(X, Δ)$ be a projective log canonical pair over $k$. In this note we show that, for a semi-ample divisor $D$ on $X$, there exists an effective $\mathbb{Q}$-divisor $Δ' \sim_{\mathbb Q} Δ+D$ such that $(X, Δ')$ is log canonical if there exists a log resolution of $(X, Δ)$.

研究の動機と目的

• 古典的ベルティーニ定理が有理点の密度の欠如により失敗する正の特性において、ベルティーニ型定理を拡張すること。
• F-有限体上の対数正則ペアに対して、半アーメド有効除援が対数正則性（または klt）を保つようなものの存在を確立すること。
• 特に有限体上での技術的障害を、F特異点とトレース写像を用いて克服すること。
• 相対豊富性定理の相対的問題を絶対的問題に還元するための主要な技術的道具を提供すること。
• 有理点と p-冪 torsion 構造を用いて、半アーメド除援を伴う対数正則ペアへの F特異点の結果を一般化すること。

提案手法

• 正の特性における古典的ベルティーニの議論に代えて、特に鋭い F-純および強 F-正則特異点を含む F特異点理論を活用する。
• Frobenius トレース写像の全射性、特に $\operatorname{Tr}_X^{e_0}((p^{e_0}-1)(\Delta + D'))$ を、F-純性および対数正則性の基準として用いる。
• 有理数次元の $|D|$ 内の除援の $\dim X$-組をパラメータ化する空間 $T \simeq \mathbb{A}_k^{q \cdot \dim X}$ を構成し、$p^\infty$- torsion 有理点の稠密性により一般性を保証する。
• 集合 $T(t, k_0)$ のコンパクト性を用いて、すべての十分に一般な組に対してトレース写像が全射となるような一様な $e_0$ を得る。
• 有理係数の場合に帰着させるために、係数をわずかに摂動し、成分数に関する帰納法を用いる。
• 特異点の解析を簡素化するため、対数解体の存在を仮定して $X$ が正則で $\Delta$ が単純正則交叉となるように仮定する。

実験結果

リサーチクエスチョン

• RQ1 古典的ベルティーニ定理が失敗する正の特性において、半アーメド摂動が対数正則性を保つことができるか？
• RQ2 十分に多くの有理点が存在するようにするための、底体の条件は何か？
• RQ3 有理点の密度が欠如する状況において、F特異点を用いて対数正則性を保つ有効摂動をどのように構成できるか？
• RQ4 すべての稠密な除援構成に対して、Frobenius トレース写像が一様に全射となるような $e_0$ が存在するか？
• RQ5 相対豊富性問題は、このような摂動を用いて正の特性において絶対的問題に還元可能か？

主な発見

• 正の特性において無限大の完全体を含む F-有限体上に定義された、射影的対数正則ペア $(X, \Delta)$ と半アーメド $\mathbb{Q}$-除援 $D$ に対して、$(X, \Delta + D')$ が対数正則となるような有効 $\mathbb{Q}$-除援 $D' \sim_\mathbb{Q} D$ が存在する。
• $(X, \Delta)$ が klt であれば、強 F-正則性により、$(X, \Delta + D')$ が klt となるような $D'$ を選べる。
• 主な技術的結果は、トレース写像 $\operatorname{Tr}_X^{e_0}((p^{e_0}-1)(\Delta + D'))$ が一様に全射となるような $e_0$ の存在であり、これは鋭い F-純性およびしたがって対数正則性を示唆する。
• 構成は、$\mathbb{A}_k^r$ 内の $p^\infty$- torsion 有理点の稠密性と、$X$ の固有性に依拠しており、一般な構成に対して一様性を保証する。
• 有理係数への近似と係数摂動により、実係数の場合に一般化され、実係数の場合は有理係数の場合に還元される。
• 有限体に依存しないように、底体に無限大の完全体を含むと仮定することで、議論に十分な有理点を保証する。