[Paper Review] $F$-stable submodules of top local cohomology modules of Gorenstein rings

Mordechai Katzman|ArXiv.org|Feb 24, 2006

Commutative Algebra and Its Applications8 references3 citations

TL;DR

This paper provides an explicit description of $F$-stable submodules and the parameter test ideal in top local cohomology modules of Gorenstein rings using $F$-finite modules and Frobenius actions. It establishes a bijection between certain ideals in a regular ring and $A[T;f]$-submodules of the top local cohomology module, leading to a characterization of the test ideal as an intersection of ideals satisfying a Frobenius stability condition.

ABSTRACT

This paper applies G. Lyubeznik's notion of $F$-finite modules to describe in a very down-to-earth manner certain annihilator submodules of some top local cohomology modules over Gorenstein rings. As a consequence we obtain an explicit description of the test ideal of Gorenstein rings in terms of ideals in a regular ring.

Motivation & Objective

• To describe $F$-stable submodules of the top local cohomology module $H^{ ext{dim} A}_{\mathfrak{m}A}(A)$ over Gorenstein rings using $F$-finite module theory.
• To generalize results from complete intersection rings to Gorenstein rings by extending the framework of $F$-finite modules.
• To provide an explicit algebraic characterization of the parameter test ideal in terms of ideals in a regular ring $R$.
• To establish a correspondence between $A[T;f]$-submodules of $H^{ ext{dim} A}_{\mathfrak{m}A}(A)$ and ideals in $R$ satisfying a Frobenius stability condition.
• To prove that the parameter test ideal equals the intersection of all $R$-ideals $I$ containing $K_{\mathbf{u}}$ with $\varepsilon(\mathbf{u})I \subseteq I^{[p]}$ and $\text{ht}(IA) > 0$.

Proposed method

• Utilizes G. Lyubeznik’s theory of $F$-finite modules to analyze the structure of $H^{ ext{dim} A}_{\mathfrak{m}A}(A)$ as an $A[T;f]$-module.
• Applies the functor $\mathcal{H}_{R,A}$ to relate $A[T;f]$-submodules of $H^{ ext{dim} A}_{\mathfrak{m}A}(A)$ to $F_R$-finite $F$-modules over $R$.
• Introduces the set $\mathcal{I}(R,\mathbf{u})$ as the collection of ideals $I \subseteq R$ containing $K_{\mathbf{u}}$ such that $\varepsilon(\mathbf{u})I \subseteq I^{[p]}$, generalizing the complete intersection case.
• Uses local duality to identify $\mathcal{H}_{R,A}(H^{ ext{dim} A}_{\mathfrak{m}A}(A)) \cong H^{\delta}_{\mathfrak{m}}(R)$ with $\delta = \dim R - \dim A$, and constructs a generating morphism via $\varepsilon(\mathbf{u})$.
• Establishes a bijection between ideals in $\mathcal{I}(R,\mathbf{u})$ and $A[T;f]$-submodules of $H^{ ext{dim} A}_{\mathfrak{m}A}(A)$ under the $T$-torsion-free assumption.
• Applies the duality $\operatorname{ann}_H(IA) \cong (0:_{A} A/IA)$ to express the test ideal as an intersection of ideals $IA$ for $I \in \mathcal{I}(R,\mathbf{u})$ with $\text{ht}(IA) > 0$.

Experimental results

Research questions

• RQ1 How can $F$-stable submodules of the top local cohomology module of a Gorenstein ring be described in terms of ideals in a regular ring?
• RQ2 What is the precise condition on ideals $I \subseteq R$ such that $IA$ is an $F$-ideal in $A$?
• RQ3 Can the parameter test ideal of a Gorenstein ring be characterized as an intersection of ideals arising from $F$-finite module structures?
• RQ4 How does the Frobenius action on $H^{ ext{dim} A}_{\mathfrak{m}A}(A)$ relate to the annihilator of the test ideal?
• RQ5 Under what conditions does the generating morphism of the $F$-finite module $H^{\delta}_{\mathfrak{m}}(R)$ become a root, and how does this affect the ideal structure?

Key findings

• The parameter test ideal of a Gorenstein ring $A = R/\mathbf{u}R$ is equal to $\bigcap \{ I \in \mathcal{I}(R,\mathbf{u}) \mid \text{ht}(IA) > 0 \}$, where $\mathcal{I}(R,\mathbf{u})$ consists of ideals $I$ containing $K_{\mathbf{u}}$ with $\varepsilon(\mathbf{u})I \subseteq I^{[p]}$.
• There exists a unique minimal ideal $\tau \in \{ I \in \mathcal{I}(R,\mathbf{u}) \mid \text{ht}(IA) > 0 \}$, and this $\tau$ is the parameter test ideal of $A$.
• The map $I \mapsto IA$ gives a bijection between $\mathcal{I}(R,\mathbf{u})$ and the $A$-special $H^{\text{dim} A}_{\mathfrak{m}A}(A)$-ideals when $H^{\text{dim} A}_{\mathfrak{m}A}(A)$ is $T$-torsion-free.
• The ring $A$ is $F$-rational if and only if $\mathcal{I}(R,\mathbf{u}) = \{0, R\}$, providing a criterion for $F$-rationality in terms of the ideal set.
• The test ideal $\overline{\tau}$ of $A$ satisfies $\overline{\tau} = \bigcap \{ IA \mid I \in \mathcal{I}(R,\mathbf{u}), \text{ht}(IA) > 0 \}$, confirming the intersection formula.
• The generating morphism of $\mathcal{H}_{R,A}(H^{\text{dim} A}_{\mathfrak{m}A}(A))$ is given by multiplication by $\varepsilon(\mathbf{u})$, and its root is $R/K_{\mathbf{u}} \to R/K_{\mathbf{u}}^{[p]}$, where $K_{\mathbf{u}} = \bigcup_e (\mathbf{u}^{p^{e+1}} : \varepsilon(\mathbf{u})^{1+p+\cdots+p^e})$.