Faithfulness of top local cohomology modules in domainss

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Local cohomology and commutative rings (13D45)

Abstract: We study the conditions under which the highest nonvanishing local cohomology module of a domain

R

with support in an ideal

I

is faithful over

R

, i.e., which guarantee that

H_{I}^{c} (R)

is faithful, where

c

is the cohomological dimension of

I

. In particular, we prove that this is true for the case of positive prime characteristic when

c

is the number of generators of

I

.

Review text

Inspired by a conjecture of \textit{L. Lynch} [Comm. Algebra 40, 542--551 (2012; Zbl 1251.13015)], the authors pose the following questions which they prove to be equivalent: (a) If \(R\) is a domain that contains a field and \(I\) is an ideal of \(R\) of cohomological dimension \(c\), must \(H^c_I(R)\) be faithful \(R\)-module? (b) If \(R\) contains a fiels and \(I\) is an ideal of cohomological dimension \(c\), must the annihilator of \(H^c_I(R)\) be of height 0? They answer these quesitions in the affirmative when the characteristic of the field contained in \(R\) is positive and the arithmetic rank of \(I\) is equal to \(c\) and when \(R\) is pure in a regular ring containing a field. They also conjecture that if \(R\) is a domain and \(S\) is a solid \(R\)-algebra, then for every ideal \(I\) of \(R\), the cohomological dimension of \(I\) in \(R\) is equal to the cohomological dimension of \(IS\) in \(S\). They show the conclusion of conjecture is true in positive characteristic for any ideal whose cohomological dimension is identical to its arithmetic rank.

Recommendations

Cited in

(9)

This page was built for publication: Faithfulness of top local cohomology modules in domainss

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1996415)