[論文レビュー] F-singularities in families

Zsolt Patakfalvi, Karl Schwede+1 more|arXiv (Cornell University)|May 7, 2013

Algebraic Geometry and Number Theory参考文献 41被引用数 14

ひとこと要約

本稿は、正の特性におけるスキームの平坦な族において、テストイデアルおよび非F-純イデアルの一般的かつ非一般的制限定理を確立し、適切な条件下でこれらのイデアルがファイバー上で絶対的テストイデアルに制限されることを証明する。主な貢献は、相対フロベニウスを用いた相対的テストイデアルおよび非F-純イデアルの構成であり、これにより相対 canonical ファイバーがQ-クリアであるとき、F特異点の集合が開であることが示され、F特異点理論の基礎的結果が族へと拡張される。

ABSTRACT

We study the behavior of test ideals and F-singularities in families. In particular, we obtain generic (and non-generic) restriction theorems for test ideals and non-F-pure ideals. Additionally, we study the global behavior of certain canonical linear systems (induced by Frobenius) associated to adjoint line bundles, in families. As a consequence, we obtain some positivity results for pushforwards of some adjoint line bundles and for certain subsheaves of these.

研究の動機と目的

• F特異点理論における主要なギャップである、族におけるテストイデアルの一般的制限定理の欠如に対処すること。
• 相対フロベニウス準同型を用いて、テストイデアルおよび非F-純イデアルの相対的版を定義し、それらを研究すること。
• これらの相対的イデアルが、特に完全体上の幾何的ファイバー上で絶対的イデアルに制限されることを証明すること。
• 族における接続ラインバンドルの押し出しに関する正性および全生成性の結果を確立すること。
• 強F正則性、Fインジェクティビティ、F有理性などのF特異点理論の概念を、幾何的制御が可能な平坦族へと拡張すること。

提案手法

• 相対フロベニウス準同型 X ×V V^n → X ×V V^n を用いて、相対的テストイデアル τ_n(X/V, Δ) および相対的非F-純イデアル σ_n(X/V, Δ) を定義する。
• 相対フロベニウスを用いてファイバーの倍厚化上でのイデアルを定義し、族内での挙動を制御可能にする。
• これらの相対的イデアルが、完全体上の幾何的ファイバー上で絶対的テストイデアルおよび非F-純イデアルに制限されることを証明する。
• 基底変換および安定化技術を用いて、V^n への基底変換においてイデアルの均一な挙動を示す。
• 相対的セレ条件および局所コホホロジーの消滅（命題 A.6）を用いて、codimension-2部分集合上へのセクションの拡張を実現する。
• 相対的 S2 および G1 条件を活用して、接続層の押し出しに関する反射的および同型性の結果を証明する。

実験結果

リサーチクエスチョン

• RQ1 族におけるテストイデアルは、特徴が0のときの乗数イデアルに類似した一般的制限定理を満たすことができるか？
• RQ2 どのような条件下で、相対的テストイデアルが平坦族のファイバー上で絶対的テストイデアルに制限されるか？
• RQ3 相対的フロベニウス準同型は、族におけるF特異点の研究をどのように促進するか？
• RQ4 族における接続ラインバンドルの押し出しにどのようなグローバル正性の性質が現れるか？
• RQ5 相対 canonical ファイバーがQ-クリアであるとき、F特異点の集合は基底上で開であるか？

主な発見

• 正則なV、Q-有理被覆Δ、K_{X/V} + Δ がpで割り切れない指数をもつQ-クリアであるような、平坦で、等次元的で、S2かつG1な射 f:X→V に対して、あるN>0が存在し、すべてのn≥Nおよびすべての完全体上の点s∈Vに対して、相対的テストイデアル τ_{ne}(X/V,Δ) はファイバー X_s^{ne} 上で絶対的テストイデアル τ(X_s,Δ|_{X_s}) に制限される。
• 同様に、相対的非F-純イデアル σ_{ne}(X/V,Δ) は、完全体上の点におけるファイバー上で絶対的非F-純イデアル σ(X_s,Δ|_{X_s}) に制限される。
• V の稠密な開部分集合U⊆V に対して、絶対的テストイデアル τ(X×V V^{ne},Δ×V V^{ne}) は、すべての完全体上の点s∈Uに対して τ(X_s,Δ|_{X_s}) に制限される。
• 相対的テストイデアルおよび非F-純イデアル τ_n および σ_n は、それらの基底変換に全射的に写されるため、任意の基底変換と整合性を保つ。
• 適切な仮定の下で、接続ラインバンドルおよびその部分層の押し出しは、全生成的かつ半正である。
• 相対的フロベニウスを用いた相対的イデアルの構成により、相対 canonical ファイバーがQ-クリアであるとき、F特異点の集合の開性が証明可能である。