Search arXiv⌕ Search

arXiv · 0705.4553

On the Vanishing and the Finiteness of Supports of Generalized Local Cohomology Modules

Abstract

Let $(R,\fr m)$ be a Noetherian local ring, $I$ an ideal of $R$ and $M, N$ two finitely generated $R$-modules. The first result of this paper is to prove a vanishing theorem for generalized local cohomology modules which says that $H^j_I(M,N)=0$ for all $j>\dim(R)$, provided $M$ is of finite projective dimension. Next, we study and give characterizations for the least and the last integer $r$ such that $\Supp(H^r_I(M,N))$ is infinite.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nguyen Tu Cuong, Nguyen Van Hoang. 2007-05-31. On the Vanishing and the Finiteness of Supports of Generalized Local Cohomology Modules. https://arxiv.org/abs/0705.4553

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Splitting the Matroid Determinant

The principal matroid determinant $E_L$ of a linear space $L \subseteq \mathbb{P}^n$ has been introduced in recent work by Matsubara-Heo and Telen. In this paper, we give the complete factorization of this polynomial into its irreducible components, proving a conjecture of the aforementioned authors. Our methods rely on bounding local multiplicities and an étale-local description of the strata of reciprocal linear spaces developed by Elias, Proudfoot and Wakefield. We also discuss analogous questions for other coordinate-wise powers of linear spaces.

math.AC↗

On embeddings of rings into their canonical modules

We study embeddings of Cohen--Macaulay local rings into their canonical modules such that the quotient of the cokernel by a regular sequence has the residue field as a direct summand. Motivated by almost Gorenstein rings, we prove an Ext-vanishing criterion for finite projective dimension, which implies G-regularity and the generalized Auslander--Reiten condition. We characterize this summand condition for one-dimensional fiber products and numerical semigroup rings. For Stanley--Reisner rings of graphs, we characterize the corresponding condition for graded embeddings in terms of the graph and show that it is equivalent to a strict multiplicity inequality.

math.AC↗

A Bézout domain that is not an elementary divisor domain

We settle in the negative the longstanding question whether every Bézout domain is an elementary divisor domain by constructing a Bézout domain over which an explicit $2\times 2$ matrix has no Smith normal form. The obstruction is topological and is detected by the Möbius line bundle.

math.AC↗