arXiv 1111.67862011-11-29math.AC

A unified approach to formal local cohomology and local Tate cohomology

Mohsen Asgharzadeh, Kamran Divaani-Aazar

备注：: It will be published in the Rocky Mountain Journal of Mathematics

英文摘要：

Let R be a commutative Noetherian ring. We introduce a theory of formal local cohomology for complexes of R-modules. As an application, we establish some relations between formal local cohomology, local homology, local cohomology and local Tate cohomology through some natural isomorphisms. We investigate vanishing of formal local cohomology modules. Also, we give a characterization of Cohen-Macaulay complexes.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Symmetry in vanishing of Tate cohomology over Gorenstein rings

We investigate symmetry in the vanishing of Tate cohomology for finitely generated modules over local Gorenstein rings. For finitely generated R-modules M and N over Gorenstein local ring R, it is shown that $\widehat{Ext}^i_R(M,N)=0$ for all $i\in\mathbb{Z}$ if and only if $\widehat{Ext}^i_R(N,M)=0$ for all $i\in\mathbb{Z}$.

2017-09-10math.AC

Tate cohomology with respect to semidualizing modules

We investigate Tate cohomology of modules over a commutative noetherian ring with respect to semidualizing modules. We identify classes of modules admitting Tate resolutions and analyze the interaction between the corresponding relative and Tate cohomology modules. As an application of our approach, we prove a general balance result for Tate cohomology. Our results are based on an analysis of Tate cohomology in abelian categories.

2009-07-28math.ACmath.CT

Tate cohomology over fairly general rings

Tate cohomology was originally defined over finite groups. More recently, Avramov and Martsinkovsky showed how to extend the definition so that it now works well over Gorenstein rings. This paper improves the theory further by giving a new definition that works over more general rings, specifically, those with a dualizing complex. The new definition of Tate cohomology retains the desirable properties established by Avramov and Martsinkovsky. Notably, there is a long exact sequence connecting it to ordinary Ext groups.

2004-02-11math.ACmath.RA

Tate Resolutions on Products of Projective Spaces: Cohomology and Direct Image Complexes

We describe the Macaulay2 package TateOnProducts and its capabilities, which include computing cohomology tables and Beilinson monads of sheaves on products of projective spaces and the derived category pushForward of a sheaf under a morphism from a projective scheme to a projective space.

2019-05-24math.ACmath.AG

Gorenstein flat dimension of complexes

We define a notion of Gorenstein flat dimension for unbounded complexes over left GF-closed rings. Over Gorenstein rings we introduce a notion of Gorenstein cohomology for complexes; we also define a generalized Tate cohomology for complexes over Gorenstein rings, and we show that there is a close connection between the absolute, the Gorenstein and the generalized Tate cohomology.

2010-02-09math.AC

The negative side of cohomology for Calabi-Yau categories

We study integer-graded cohomology rings defined over Calabi-Yau categories. We show that the cohomology in negative degree is a trivial extension of the cohomology ring in non-negative degree, provided the latter admits a regular sequence of central elements of length two. In particular, the product of elements of negative degrees are zero. As corollaries we apply this to Tate-Hochschild cohomology rings of symmetric algebras, and to Tate cohomology rings over group algebras. We also prove similar results for Tate cohomology rings over commutative local Gorenstein rings.

2012-09-06math.ACmath.CTmath.KT

更多相关论文收起更多论文

Vanishing of Tate homology and depth formulas over local rings

Auslander's depth formula for pairs of Tor-independent modules over a regular local ring, depth(M \otimes N) = depth(M) + depth(N) - depth(R), has been generalized in several directions over a span of four decades. In this paper we establish a depth formula that holds for every pair of Tate Tor-independent modules over a Gorenstein local ring. It subsumes previous eneralizations of Auslander's formula and yields exact bounds for vanishing of cohomology over certain Gorenstein rings.

2013-12-15math.AC

Zipping Tate resolutions and exterior coalgebras

We conjecture what the cone of hypercohomology tables of bounded complexes of coherent sheaves on projective spaces are, when we have specified regularity conditions on the cohomology sheaves of this complex and its dual. There is an injection from the this cone into the cone of homological data sets of squarefree modules over a polynomial ring $\kk[x_1, \ldots, x_n]$, and we conjecture that this is an isomorphism: The Tate resolutions of a complex of coherent sheaves and the exterior coalgebra on $\langle x_1, \ldots, x_n \rangle$ may be amalgamated together to form a complex of free $\Sym(\o…

2015-08-28math.AC

Tate (co)homology via pinched complexes

For complexes of modules we study two new constructions, which we call the pinched tensor product and the pinched Hom. They provide new methods for computing Tate homology and Tate cohomology, which lead to conceptual proofs of balancedness of Tate (co)homology for modules over associative rings. Another application we consider is in local algebra. Under conditions of vanishing of Tate (co)homology, the pinched tensor product of two minimal complete resolutions yields a minimal complete resolution.

2011-11-14math.ACmath.RA

Gorenstein projective dimension for complexes

We define and study a notion of Gorenstein projective dimension for complexes of left modules over associative rings. For complexes of finite Gorenstein projective dimension we define and study a Tate cohomology theory. Tate cohomology groups have a natural transformation to classical Ext groups. In the case of module arguments, we show that these maps fit into a long exact sequence, where every third term is a relative cohomology group defined for left modules of finite Gorenstein projective dimension.

2004-06-03math.ACmath.RA