[論文レビュー] On the upper semi-continuity of HSL numbers

Serena Murru|arXiv (Cornell University)|Feb 5, 2013

Commutative Algebra and Its Applications参考文献 8被引用数 5

ひとこと要約

本稿は、素数の特徴を持つ体上のアフィンコhen-マカウレイ代数のスペクトル上で、HSL番号の上半連続性を確立する。HSL番号とは、局所コホロジー加群における冪零部分加群を消滅させるまでに必要なフロベニウス写像の冪の最小指数 $ e $ として定義される。主な結果は、任意の $ e > 0 $ に対して、集合 $ \{ \mathfrak{p} \in \operatorname{Spec} B \mid \operatorname{HSL}(H_{\mathfrak{p}}) < e \} $ がザリスキ開集合であることを示し、HSL番号が上半連続であることを示す。この結果により、コHEN-マカウレイ環におけるパラメータイデアルのフロベニウス閉包に対するグローバルテスト指数が得られる。

ABSTRACT

Let $B$ be an affine Cohen-Macaulay algebra over a field of characteristic $p$. For every prime ideal $\mathfrak{p}\subset B$, let $ ext{H}_\mathfrak{p}$ denote $H^{\dim B_\mathfrak{p}}_{\mathfrak{p} B_\mathfrak{p}}\left( \widehat{B_\mathfrak{p}} ight)$. Each such $ ext{H}_\mathfrak{p}$ is an Artinian module endowed with a natural Frobenius map $Θ$ and if $ ext{Nil}( ext{H}_\mathfrak{p})$ denotes the set of all elements in $ ext{H}_\mathfrak{p}$ killed by some power of $Θ$ then a theorem by Hartshorne-Speiser and Lyubeznik shows that there exists an $e\geq 0$ such that $Θ^e ext{Nil}( ext{H}_\mathfrak{p})=0$. The smallest such $e$ is the HSL-number of $ ext{H}_\mathfrak{p}$ which we denote $ ext{HSL}( ext{H}_\mathfrak{p})$. The main theorem in this paper shows that for all $e&gt;0$, the sets $\{ \mathfrak{p}\in ext{Spec} (B) \,|\, ext{HSL}( ext{H}_\mathfrak{p}) &lt; e \}$ are Zariski open, hence HSL is upper semi-continuous. An application of this result gives a global test exponent for the calculation of Frobenius closures of parameter ideals in Cohen-Macaulay rings.

研究の動機と目的

• 素数の特徴を持つ体上のアフィンコHEN-マカウレイ代数のスペクトルにおいて、局所コホロジー加群におけるフロベニウス作用の冪零性の尺度である HSL 番号の上半連続性を確立すること。
• すべての $ e > 0 $ に対して、集合 $ \{ \mathfrak{p} \in \operatorname{Spec} B \mid \operatorname{HSL}(H_{\mathfrak{p}}) < e \} $ がザリスキ開集合であることを示し、HSL 関数の上半連続性を証明すること。
• この上半連続性の結果を応用し、コHEN-マカウレイ環におけるパラメータイデアルのフロベニウス閉包に対するグローバルテスト指数を導出すること。
• フロベニウス写像による局所コホロジー加群およびその冪零部分加群への作用を通じて、HSL 番号を計算するための構成的枠組みを提供すること。

提案手法

• HSL 番号 $ \operatorname{HSL}(H_{\mathfrak{p}}) $ を、$ \Theta^e(\operatorname{Nil}(H_{\mathfrak{p}})) = 0 $ を満たす最小の $ e $ として定義する。ここで $ \Theta $ は、アーチン加群 $ H_{\mathfrak{p}} = \operatorname{H}^{\dim B_{\mathfrak{p}}}_{\mathfrak{p}B_{\mathfrak{p}}}(\widehat{B_{\mathfrak{p}}}) $ に誘導される自然なフロベニウス写像である。
• 完全正則局所環では、$ \{ m \in H_{\mathfrak{p}} \mid \Theta^i(m) = 0 \} $ の上昇鎖が安定することを用い、$ \operatorname{HSL}(H_{\mathfrak{p}}) < \infty $ であることを保証する。
• モジュール上に作用する作用素 $ I_e(-) $ を構成し、それが多項式環における局所化および完備化と可換であることを示し、冪零元の台の制御を可能にする。
• $ \mathcal{B}_e = \{ \mathfrak{p} \in \operatorname{Spec} B \mid \operatorname{HSL}(H_{\mathfrak{p}}) \leq e \} $ を定義し、$ \mathcal{B}_e^c $ が閉集合であることを証明することで、$ \mathcal{B}_e $ が開集合であることを示す。
• 加群 $ \operatorname{H}^d_{\mathfrak{m}}(S) $ の直接極限表現の構造を用い、要素の冪零性がフロベニウス冪のイデアルへの属する性質と関連することを示す。
• 上半連続性の結果を応用し、局所コHEN-マカウレイ環におけるパラメータイデアルのフロベニウス閉包に対するグローバルテスト指数として、$ \operatorname{H}^d_{\mathfrak{m}}(S) $ の HSL 番号が機能することを示す。

実験結果

リサーチクエスチョン

• RQ1 局所コホロジー加群の HSL 番号は、正の特徴を持つコHEN-マカウレイ代数のスペクトル上で上半連続であるか？
• RQ2 HSL 番号の上半連続性は、コHEN-マカウレイ環におけるパラメータイデアルのフロベニウス閉包に対する一様テスト指数を導出するために利用可能か？
• RQ3 局所コホロジー加群におけるフロベニウス写像の冪零指数は、イデアルのフロベニウス閉包とどのように関係するか？
• RQ4 アフィン代数上の局所コホロジー加群におけるフロベニウス作用の下での冪零元の台の構造はいかなるものか？
• RQ5 特定の例において、 annihilators や Fitting 理想などの代数的不変量を用いて HSL 番号を効果的に計算できるか？

主な発見

• HSL 番号 $ \operatorname{HSL}(H_{\mathfrak{p}}) $ は上半連続である：任意の $ e > 0 $ に対して、集合 $ \{ \mathfrak{p} \in \operatorname{Spec} B \mid \operatorname{HSL}(H_{\mathfrak{p}}) < e \} $ はザリスキ開集合である。
• 局所コHEN-マカウレイ環 $ S $ に対して、$ \operatorname{H}^d_{\mathfrak{m}}(S) $ の HSL 番号は、パラメータイデアル $ J $ に対して $ (J^F)^{[p^{\bar{e}}]} \subseteq J^{[p^{\bar{e}}]} $ を満たす最小の $ \bar{e} $ に等しく、グローバルテスト指数として機能する。
• 非ゴレンシュタインのコHEN-マカウレイ整域 $ S = R/I $ の例では、HSL 番号は最大で 2 である：$ V(x_1,x_2,x_3) $ では 2、それ以外の $ V(x_1,x_2,x_3) $ 外では 1、その他の場所では 0 である。
• 与えられた仮定のもとで、すべての局所コホロジー加群 $ H_{\mathfrak{p}} $ に対して HSL 番号は有限である。これはフロベニウス写像による冪零フィルトレーションの安定性に起因する。
• $ \mathcal{B}_e $ の構成において、モジュール $ \Omega_e $ の Fitting 理想と annihilators を用いることで、HSL 番号の台の有効な計算が可能になる。
• この結果により、任意の多項式環の商に対して、すべての極大イデアル $ \mathfrak{m} $ に対して $ \operatorname{HSL}(\operatorname{H}^{\dim S}_{\mathfrak{m}}(S)) $ に一様な上限 $ \epsilon $ が存在し、$ (J^F)^{[p^\epsilon]} = J^{[p^\epsilon]} $ が成り立つ。