[論文レビュー] Stability and deformation of F-singularities

Alessandro De Stefani, Ilya Smirnov|arXiv (Cornell University)|Feb 1, 2020

Algebraic Geometry and Number Theory参考文献 25被引用数 6

ひとこと要約

この論文は、F特異点における $\mathfrak{m}$-adic安定性を確立し、非ゼロ因子の $\mathfrak{m}$-adic位相における小さな摂動の下で F-有理性が安定することを証明するとともに、安定性が変形より強い条件であることを示している。主な結果は、F-有理性シグニATUREの変動に対する定量的バインディングであり、元の要素の近傍で F-有理性が保たれることを保証する。

ABSTRACT

We study the problem of $\mathfrak{m}$-adic stability of F-singularities, that is, whether the property that a quotient of a local ring $(R,\mathfrak{m})$ by a non-zero divisor $x \in \mathfrak{m}$ has good F-singularities is preserved in a sufficiently small $\mathfrak{m}$-adic neighborhood of $x$. We show that $\mathfrak{m}$-adic stability holds for F-rationality in full generality, and for F-injectivity, F-purity and strong F-regularity under certain assumptions. We show that strong F-regularity and F-purity are not stable in general. Moreover, we exhibit strong connections between stability and deformation phenomena, which hold in great generality.

研究の動機と目的

• F特異点（F-有理性、F純粋性、Fインジェクティビティを含む）が、非ゼロ因子の $\mathfrak{m}$-adic位相における小さな摂動のもとで安定するかどうかを調査すること。
• 代数幾何学における古典的な特異点の変形と $\mathfrak{m}$-adic安定性の関係を明確化すること。
• 強い F正則性および F純粋性がどの条件下で安定するかを特定し、安定性の近傍サイズに対する構成的バインディングを提供すること。
• 一般に、変形が $\mathfrak{m}$-adic安定性を意味するかどうかを調査し、Fフルや Fアンチニルポテンシャル特異点などの他の F特異点の挙動を検討すること。

提案手法

• F-有理性を定量化する数値不変量としての F-有理性シグニATURE $\operatorname{s_{rat}}(R)$ を用い、小さな $\mathfrak{m}$-adic摂動の下での連続性を証明する。
• タイトクラージャー理論およびフロベニウス作用の技術を適用し、特に局所コホロジーにおけるフロベニウス冪と消滅子の挙動を分析する。
• シャープ F純粋性の概念を用い、フロベニウス関連要素の明示的リフトを構成することで、$(R, (x+\delta)^t)$ が小さな $\delta$ に対して still にシャープ F純粋であることを示す。
• ヒルベルト–クンツ多重度および判別式の $\mathfrak{m}$-adic位数に対するバインディングを用い、安定性が成り立つ近傍サイズ $N$ を制御する。
• $\mathfrak{m}$-セカンドリ成分の局所コホロジー加群における構造を用い、正則環上の Ext 加群と関連付けることで、必要な $N$ の推定を行う。
• 安定性がやや強い仮定の下で変形を意味することを示し、一般には変形が安定性を意味しないが、逆は未解決であることを示す。

実験結果

リサーチクエスチョン

• RQ1 F-有理性は $\mathfrak{m}$-adicに安定的か、すなわち $R/(x)$ が F-有理的ならば、小さな $\delta$ に対して $R/(x+\delta)$ も F-有理的か？
• RQ2 $\mathfrak{m}$-adic安定性は変形を意味するか？ 一般には逆は成り立つか？
• RQ3 強い F正則性および F純粋性は $\mathfrak{m}$-adic摂動のもとで安定的か？ どのような条件下か？
• RQ4 Fフルや Fアンチニルポテンシャル特異点などの他の F特異点は $\mathfrak{m}$-adic安定的か？
• RQ5 安定性のための $N$ のバインディングを、コホロジー的データを用いてより明示的または改善可能か？

主な発見

• F-有理性は $\mathfrak{m}$-adicに安定的である：任意の $\varepsilon > 0$ に対して、$N > 0$ が存在し、すべての $\delta \in \mathfrak{m}^N$ に対して $|\operatorname{s_{rat}}(R/(x)) - \operatorname{s_{rat}}(R/(x+\delta))| < \varepsilon$ が成り立つ。
• 環 $R$ がゴレンシュタインであれば、F-有理性シグニATUREは FシグニATUREと一致するため、定理 A は [PS20, 定理 3.12] をより広い設定に拡張する。
• F純粋性および強い F正則性は一般には安定的でない。これは正則列を含む反例によって示される。
• 安定性は変形よりも強い条件である：ある性質が変形し、定理 2.4 の条件を満たしていれば、$\mathfrak{m}$-adicに安定的である。
• $\mathbb{Q}$-ゴレンシュタイン環では、強い F正則性は安定的である。これは、類似の仮定の下で F純粋性の安定性を示すための可能性を示唆する。
• $N$ のバインディングは構成的であり、ヒルベルト–クンツ多重度、$R/(\underline{x})$ の拡張次数、および局所コホロジーにおける $\mathfrak{m}$-セカンドリ成分の消滅子に依存する。