[Paper Review] On a Duality for local cohomology modules of ralative Cohen-Macaulay rings

Majid Rahro Zargar|arXiv (Cornell University)|Aug 14, 2013

Commutative Algebra and Its Applications17 references3 citations

TL;DR

This paper establishes a duality for local cohomology modules in relative Cohen-Macaulay rings by showing that the $R$-module $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ behaves analogously to a canonical module in Cohen-Macaulay rings, providing a duality framework that generalizes classical duality theorems in the relative setting.

ABSTRACT

Let $(R,\fm)$ be a relative Cohen-Macaulay local ring with respect to an ideal $\fa$ of $R$ and set $c:=\h_{R}\fa$. In this paper, we investigate some properties of the $R$-module $\Hom_{R}(\H_{\fa}^c(R),\E(R/\fm))$ and we show that such module treat like a canonical module over a Cohen-Macaulay local ring.

Motivation & Objective

• To investigate the structure and properties of the $R$-module $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ in relative Cohen-Macaulay rings.
• To establish a duality theory for local cohomology modules in the context of relative Cohen-Macaulay rings.
• To generalize classical duality results, particularly the canonical module behavior, to the relative setting.
• To clarify the role of the local cohomology module $\H^c_\fa(R)$ where $c = \h_R(\fa)$, the $\fa$-height of $R$.
• To demonstrate that the dualizing module $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ exhibits canonical module-like properties in the relative setting.

Proposed method

• Utilizes the local cohomology module $\H^c_\fa(R)$, where $c = \h_R(\fa)$, the $\fa$-height of $R$.
• Applies the injective hull $\E(R/\fm)$ of the residue field to form the dual module $\Hom_R(\H^c_\fa(R), \E(R/\fm))$.
• Employs the theory of relative Cohen-Macaulay rings to ensure the cohomological dimension matches the $\fa$-height.
• Relies on duality theorems in local cohomology and properties of injective modules over local rings.
• Analyzes the module structure and finiteness properties of the dual module to establish its canonical-like behavior.
• Uses the fact that $R$ is relative Cohen-Macaulay with respect to $\fa$ to ensure the cohomology module $\H^c_\fa(R)$ is non-zero and well-behaved.

Experimental results

Research questions

• RQ1 How does the module $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ behave in the context of relative Cohen-Macaulay rings?
• RQ2 To what extent does this dual module mimic the properties of a canonical module in Cohen-Macaulay rings?
• RQ3 What duality relations emerge between $\H^c_\fa(R)$ and its dual $\Hom_R(\H^c_\fa(R), \E(R/\fm))$?
• RQ4 Can the dual module be characterized as a canonical module in the relative Cohen-Macaulay setting?
• RQ5 What structural properties does $\H^c_\fa(R)$ possess when $R$ is relative Cohen-Macaulay with respect to $\fa$?

Key findings

• The module $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ is shown to behave like a canonical module in the relative Cohen-Macaulay setting.
• The duality established generalizes classical duality theorems from standard Cohen-Macaulay rings to the relative case.
• The cohomological dimension $c = \h_R(\fa)$ ensures that $\H^c_\fa(R)$ is the top non-vanishing local cohomology module.
• The dual module inherits finitely generated and reflexive-like properties under the relative Cohen-Macaulay assumption.
• The construction provides a canonical module analog in rings that are Cohen-Macaulay relative to an ideal $\fa$.
• The duality is effective in the sense that it respects the structure of the local cohomology and injective hull in the relative setting.