[論文レビュー] Generalized test ideals, sharp F-purity, and sharp test elements

Karl Schwede|ArXiv.org|Nov 21, 2007

Commutative Algebra and Its Applications被引用数 6

ひとこと要約

本稿は、正標数における可換代数における鋭いテスト要素と鋭いF純性を、ペア$(R, \frak{a}^t)$に対する古典的テストイデアルとF純性の一般化として導入する。$(R, \frak{a}^t)$が鋭いF純性を満たすとき、一般化されたテストイデアル$\tau_R(\frak{a}^t)$が根元的であることを証明し、特定の条件下でF純度閾値が有理数であることを示し、対数正則性および密に鋭いF純性型のモデルへの応用を含む。

ABSTRACT

Consider a pair $(R, \ba^t)$ where $R$ is a ring of positive characteristic, $\ba$ is an ideal such that $a \cap $R^{\circ} eq \emptyset$, and $t > 0$ is a real number. In this situation we have the ideal $τ_R(\ba^t)$, the generalized test ideal associated to $(R, a^t)$ as defined by Hara and Yoshida. We show that $τ_R(a^t) \cap R^{\circ}$ is made up of appropriately defined generalized test elements which we call \emph{sharp test elements}. We also define a variant of $F$-purity for pairs, \emph{sharp $F$-purity}, which interacts well with sharp test elements and agrees with previously defined notions of $F$-purity in many common situations. We show that if $(R, \ba^t)$ is sharply F-pure, then $τ_R(\ba^t)$ is a radical ideal. Furthermore, by following an argument of Vassilev, we show that if $R$ is a quotient of an $F$-finite regular local ring and $(R, \ba^t)$ is sharply $F$-pure, then $R/{τ_R(\ba^t)}$ itself is $F$-pure. We conclude by showing that sharp $F$-purity can be used to define the $F$-pure threshold. As an application we show that the $F$-pure threshold must be a rational number under certain hypotheses.

研究の動機と目的

• ペア$(R, \frak{a}^t)$におけるタイトな閉包の性質をより良く特徴付ける一般化されたテスト要素—鋭いテスト要素—を定義すること。
• ペアに対するF純性の洗練された概念として鋭いF純性を導入し、鋭いテスト要素と自然に結びつくようにすること。
• 古典的テストイデアルとF純性に関する結果を、ペアの設定に一般化すること。特に、$(R, \frak{a}^t)$が鋭いF純性を満たすとき$\tau_R(\frak{a}^t)$が根元的であることを含む。
• 鋭いF純性を用いてF純度閾値を定義・分析し、$F$-有限かつ$F$-純である条件の下でその有理数性を証明すること。
• 正標数への還元を用いて、密に鋭いF純性型と対数正則性の間の関係を確立すること。

提案手法

• ペア$(R, \frak{a}^t)$におけるタイトな閉包の包含関係をテストするため、$\tau_R(\frak{a}^t) \bigcap R^\bullet$ に属する要素として鋭いテスト要素を定義する。
• ある$e$に対して$\frak{a}^{\text{ceil}(t(p^e - 1))}$で-twistされたフロベニウス写像が分解するようなペア$(R, \frak{a}^t)$の条件として鋭いF純性を導入し、古典的F純性を一般化する。
• HaraとYoshidaによって定義された一般化されたテストイデアル$\tau_R(\frak{a}^t)$の理論を用いて、鋭いテスト要素とイデアル構造の関係を確立する。
• Vassilevの議論を適用し、$R$が$F$-有限な正則局所環の商であり、$(R, \frak{a}^t)$が鋭いF純性を満たすならば、$R/\tau_R(\frak{a}^t)$は$F$-純であることを示す。
• F純度閾値$\text{c}(\frak{a})$を用いて、$t = \text{c}(\frak{a})$における鋭いF純性を定義し、この条件下で$\text{c}(\frak{a})$が有理数であり、分母が$p = \text{char}(R)$で割り切れない形で$m/n$と書けることを証明する。
• 密に鋭いF純性型を活用し、正標数への還元を用いて、特徴が0の正則性における対数正則性を導出する。

実験結果

リサーチクエスチョン

• RQ1 ペア$(R, \frak{a}^t)$に対する一般化されたテスト要素を、タイトな閉包のテスト行動をよりよく反映するように再定義できるか？
• RQ2 F純性の洗練された概念—鋭いF純性—は、古典的F純性を一般化し、テストイデアルに強い構造的性質をもたらすか？
• RQ3 $(R, \frak{a}^t)$が鋭いF純性を満たすとき、一般化されたテストイデアル$\tau_R(\frak{a}^t)$は常に根元的か？
• RQ4 鋭いF純性を用いてF純度閾値を特徴づけられ、この性質がその不変量の有理数性を示唆するか？
• RQ5 密に鋭いF純性型は、正則かつ$\bQ$-ゴレンシュタインなペアに対して、特徴が0における対数正則性を示唆するか？

主な発見

• すべての$\frak{a}^t$-鋭いテスト要素の集合は、ちょうど$\tau_R(\frak{a}^t) \bigcap R^\bullet$に一致する。これにより、ペアに対するテスト要素の正しい一般化として鋭いテスト要素が確立される。
• $(R, \frak{a}^t)$が鋭いF純性を満たすならば、$\tau_R(\frak{a}^t)$は根元的イデアルである。
• $R$が$F$-有限な正則局所環の商であり、$(R, \frak{a}^t)$が鋭いF純性を満たすならば、$R/\tau_R(\frak{a}^t)$は$F$-純である。
• F純度閾値$\text{c}(\frak{a})$は、有理数であり、$n$が$p = \text{char}(R)$で割り切れない形で$m/n$と書ける。この有理数性は、$(R, \frak{a}^{\text{c}(\frak{a})})$が鋭いF純性を満たす場合に成り立つ。
• $(R, \frak{a}^t)$が密に鋭いF純性型であり、$X = \text{Spec}(R)$が正則かつ$\bQ$-ゴレンシュタインであるならば、$(X, \frak{a}^t)$は対数正則である。
• 正標数の正則局所環における主イデアル$\frak{a} = (f)$に対して、$\text{c}(f)$が有理数であり、すべての$e$に対して$\text{c}(f)(p^e - 1) \notin \bZ$であるならば、$(R, f^{\text{c}(f)})$は鋭い$F$-純である。