arXiv subjects
Publications and source records attributed to David A. Jorgensen.
We study the homological behavior of modules over local rings modulo exact zero-divisors. We obtain new results which are in some sense "opposite" to those known for modules over local rings modulo regular elements.
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.
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.
Let R be a commutative noetherian local ring that is not Gorenstein. It is known that the category of totally reflexive modules over R is representation infinite, provided that it contains a non-free module. The main goal of this paper is to understand how complex the category of totally reflexive modules can be in this situation. Local rings (R,m) with m^3=0 are commonly regarded as the structurally simplest rings to admit diverse categorical and homological characteristics. For such rings we obtain conclusive results about the category of totally reflexive modules, modeled on the Brauer-Thrall conjectures. Starting from a non-free cyclic totally reflexive module, we construct a family of indecomposable totally reflexive R-modules that contains, for every n in N, a module that is minimally generated by n elements. Moreover, if the residue field R/m is algebraically closed, then we construct for every n in N an infinite family of indecomposable and pairwise non-isomorphic totally reflexive R-modules, that are all minimally generated by n elements. The modules in both families have periodic minimal free resolutions of period at most 2.
We study Tate-Hochschild homology and cohomology for a two-sided Noetherian Gorenstein algebra. These (co)homology groups are defined for all degrees, non-negative as well as negative, and they agree with the usual Hochschild (co)homology groups for all degrees larger than the injective dimension of the algebra. We prove certain duality theorems relating the Tate-Hochschild (co)homology groups in positive degree to those in negative degree, in the case where the algebra is Frobenius. We explicitly compute all Tate-Hochschild (co)homology groups for certain classes of Frobenius algebras, namely, certain quantum complete intersections.
A commutative local ring is generally defined to be a complete intersection if its completion is isomorphic to the quotient of a regular local ring by an ideal generated by a regular sequence. It has not previously been determined whether or not such a ring is necessarily itself the quotient of a regular ring by an ideal generated by a regular sequence. In this article, it is shown that if a complete intersection is a one dimensional integral domain, then it is such a quotient. However, an example is produced of a three dimensional complete intersection domain which is not a homomorphic image of a regular local ring, and so the property does not hold in general.
Let R be a commutative noetherian local ring. A finitely generated R-module C is semidualizing if it is self-orthogonal and satisfies the condition Hom_R(C,C) \cong R. We prove that a Cohen-Macaulay ring R with dualizing module D admits a semidualizing module C satisfying R\ncong C \ncong D if and only if it is a homomorphic image of a Gorenstein ring in which the defining ideal decomposes in a cohomologically independent way. This expands on a well-known result of Foxby, Reiten and Sharp saying that R admits a dualizing module if and only if R is Cohen--Macaulay and a homomorphic image of a local Gorenstein ring.
We prove rigidity type results on the vanishing of stable (co)homology for modules of finite complete intersection dimension, results which generalize and improve upon known results. We also introduce a notion of pre-rigidity, which generalizes phenomena for modules of finite complete intersection dimension and complexity one. Using this concept, we prove results on length and vanishing of homology modules.
Given a commutative Noetherian local ring, we provide a criterion under which a totally acyclic minimal complex of free modules has symmetric growth.
We study the growth of the Betti sequence of the canonical module of a Cohen-Macaulay local ring. It is an open question whether this sequence grows exponentially whenever the ring is not Gorenstein. We answer the question of exponential growth affirmatively for a large class of rings, and prove that the growth is in general not extremal. As an application of growth, we give criteria for a Cohen-Macaulay ring possessing a canonical module to be Gorenstein.
We construct a class of Gorenstein local rings $R$ which admit minimal complete $R$-free resolutions $\bd C$ such that the sequence $\{\rank_R C_i\}$ is constant for $i< 0$, and grows exponentially for all $i>0$. Over these rings we show that there exist finitely generated $R$-modules $M$ and $N$ such that $\Ext^i_R(M,N)=0$ for all $i> 0$, but $\Ext^i_R(N,M)\ne 0$ for all $i>0$.
We give counterexamples to the following conjecture of Auslander: given a finitely generated module $M$ over an Artin algebra $Λ$, there exists a positive integer $n_M$ such that for all finitely generated $Λ$-modules $N$, if $\Ext_Λ^i(M,N)=0$ for all $i\gg 0$, then $\Ext_Λ^i(M,N)=0$ for all $i\geq n_M$. Some of our examples moreover yield homologically defined classes of commutative local rings strictly between the class of local complete intersections and the class of local Gorenstein rings.