[論文レビュー] Adjoint ideals and a correspondence between log canonicity and F-purity

Shunsuke Takagi|arXiv (Cornell University)|Apr 30, 2011

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

ひとこと要約

本稿は、正標数における $F$-純特異点と対数正則特異点の間の対応関係を、付随理想とテスト理想を用いて確立する。非常に一般な定義方程式を持つ多様体について、無限個の素数 $p$ に対して $p$ を法とする $F$-純性が成り立つことと、一点での対数正則性が同値であることを証明し、双有理幾何および特異点論における長年の予想に対する強い証拠を提供する。

ABSTRACT

This paper presents three results on F-singularities. First, we give a new proof of Eisenstein's restriction theorem for adjoint ideal sheaves, using the theory of F-singularities. Second, we show that a conjecture of Mustaţă and Srinivas implies a conjectural correspondence of F-purity and log canonicity. Finally, we prove this correspondence when the defining equations of the variety are very general.

研究の動機と目的

• 正標数における $F$-純特異点と対数正則特異点の間の対応関係を確立すること。
• $F$-特異点理論を用いて、付随理想層に対するエイゼンシュタインの制限定理の新しい証明を与えること。
• ムスタツァとスリナヴァスの予想が、$F$-純性と対数正則性の間の対応関係を示すことにつながることを示すこと。
• 多様体の定義方程式が非常に一般である場合に、その対応関係を完全に一般化して証明すること。
• 定義多項式の係数の代数的独立性を用いて、テスト理想と対数正則性に関する以前の結果をより広い種類の特異点へ一般化すること。

提案手法

• 十分大きな $p$ に対する $\bar{F}_p$-代数上の理想論的問題に還元する。
• テスト理想層の理論を、付随理想の正標数版として適用する。
• 文献[23]（出典は[4]）の議論を適応し、付随理想の制限公式を証明する。
• 線形計画法を用いて対数正則閾値およびフロベニウス純閾値を計算する。
• 定義多項式の係数の代数的独立性を用いて、線形計画法における一意な最適解が保証されることを示す。
• 局所環内での $f^{(q-1)/r} \notin (x_1^q, \dots, x_n^q)$ であることを用いて、鋭い $F$-純性を検出する。

実験結果

リサーチクエスチョン

• RQ1 無限個の素数 $p$ に対して $p$ を法とする $F$-純性が成り立つことは、一点での対数正則性を意味するか？
• RQ2 非常に一般な定義方程式の下で、$F$-純性と対数正則性の予想される対応関係は証明可能か？
• RQ3 ムスタツァ–スリナヴァスの予想は、$F$-純性と対数正則性の間の対応関係を示すか？
• RQ4 二項イデアルの文脈において、対数正則閾値は線形計画法の最適値として計算可能か？
• RQ5 定義方程式の係数が代数的に独立である多様体に対して、フロベニウス純閾値は対数正則閾値と等しいか？

主な発見

• 非常に一般な定義方程式を持つ多様体に対して、$F$-純性と対数正則性の対応関係が成立する：$(X; tV(\mathfrak{a}) + \frac{1}{r}V(J_X))$ が $0$ で対数正則であることは、$p$ を法とする還元が無限個の素数 $p$ に対して $0$ で $F$-純であることに同値である。
• 十分大きな $p$ に対して、テスト理想層 $\widetilde{\tau}_{X_p}(A_p, tZ_p)$ は付随理想層 $\mathrm{adj}_X(A, tZ)_p$ の還元と一致し、付随理想とテスト理想の完全な対応関係が確立される。
• 定義多項式の係数が代数的に独立であるとき、対数正則閾値 $\mathrm{lct}_0(X, Z)$ は線形計画法の最適値に等しい。
• 6次元アフィン空間 $\mathbb{A}^6$ 内の二項部分多様体の例において、対数正則閾値は $2$ であるが、線形計画法の最適値は $3$ となる。これは、一意な最適解の仮定が不可欠であることを示している。
• すべての素数 $p$ に対して、フロベニウス純閾値 $\mathrm{fpt}_0(X_p, Z_p) = 2$ であり、これは対数正則閾値と一致する。このことは、この場合に予想2.4を支持する。
• 以前の完全交差二項イデアル部分多様体および空間単項式曲線に関する結果が、係数が代数的に独立であるより広いクラスの多様体へ一般化されている。