[論文レビュー] Tight closure does not commute with localization

Holger Brenner, Paul Monsky|ArXiv.org|Oct 15, 2007

Commutative Algebra and Its Applications参考文献 16被引用数 11

ひとこと要約

この論文は、特徴が2の体上の3次元正則超曲面を用いて、正の特性においてタイト閉包が局域化と可換でない最初の既知の反例を構成する。主な結果は、局域化の後にタイト閉包に属する要素fが、タイト閉包の局域化には属さないということであり、長年の未解決問題を解決し、一般にはタイト閉包がプラス閉包に等しくないことを示している。

ABSTRACT

We give an example showing that tight closure does not commute with localization.

研究の動機と目的

• 可換代数におけるタイト閉包が局域化と可換かどうかという長年の未解決問題を解決すること。
• 正の特性における局域化とタイト閉包が可換でない反例を構成すること。
• ハイストロムの「誘惑的な問い」—タイト閉包がプラス閉包に等しいかどうか—に対して否定的な答えを示すこと。
• 無限体上の中間次元標準的次数付き整域において、タイト閉包とプラス閉包の同値性が成立しないことを示すこと。
• 変形理論およびベクトル束の安定性におけるこの失敗の幾何学的・コホモロジー的意味を探索すること。

提案手法

• 著者たちは、特徴が2の体上のパrameter t でパラメータ化された3次元正則超曲面の族を構成する。
• α が体を走るとき、四次形式 g_α で定義される滑らかな平面曲線の斉次座標環を分析する。
• ヒルベルト＝クンツ理論を用いて、α が超越的であるとき R_α のヒルベルト＝クンツ多重度が3であり、α が代数的であるときには3より大きいことを示す。
• ハーツホーンとマムフォードのアンプルネス基準を用いて、R_α においてすべての次数 ≥2 の元がテスト元であることを証明する。
• α が超越的（一般ファイバーにおいて）のとき、f = y³z³ が (x⁴, y⁴, z⁴) のタイト閉包に属するが、タイト閉包の局域化には属しないことを示す。
• コホモロジー的基準とシンジーガイ・バンドルの安定性を用いて f ∉ (S⁻¹I)* を証明し、非可換性を確立する。

実験結果

リサーチクエスチョン

• RQ1 ノエター環の正の特性におけるタイト閉包は、局域化と可換か？
• RQ2 無限体上の中間次元標準的次数付き整域において、すべてのイデアルについてタイト閉包はプラス閉包に等しいか？
• RQ3 タイト閉包が局域化と可換でないという事態は、ヒルベルト＝クンツ多重度またはベクトル束の安定性によって検出可能か？
• RQ4 特徴が0の算術的性質が、Spec F[t] 上での幾何的変形におけるタイト閉包の振る舞いと反映されるか？
• RQ5 次元3または2において、f ∈ (S⁻¹I)* だが f ∉ S⁻¹(I*) となる例は存在するか？

主な発見

• 特徴2の体上に存在する3次元正則超曲面環 R_t = F(t)[x,y,z]/(g_t) において、タイト閉包が局域化と可換でない反例が構成された。
• イデアル I = (x⁴, y⁴, z⁴) と要素 f = y³z³ に対して、適切な乗法的系 S について f ∈ (S⁻¹I)* だが f ∉ S⁻¹(I*) であることが示された。
• これは、f が R_t において I のプラス閉包に属さないことを意味し、ハイストロムの「タイト閉包がプラス閉包に等しいか」という問いに対する否定的解答を与える。
• ファイバー環 R_α のヒルベルト＝クンツ多重度は、α が F_2 上で超越的であるとき3であり、代数的であるとき3より大きい。これは議論の鍵となる。
• Proj R_t 上のシンジーガイ・バンドル Φ^{e*}(Syz(x⁴,y⁴,z⁴)(6)) は、次数0の強い半安定性を示し、同型型の繰り返しがないため、フロベニウス引き戻しにおいて非自明な振る舞いを示す。
• 強制代数のコホモロジー次元は特殊化において保存されない：閉点 p に対して U_p はアフィンであるが、一般点に対してはそうではない。これは、等特徴的変形におけるコホモロジー次元の非開性を示している。