Showing 1–2 of 2 results for author: Croll, A

Detecting Koszulness and related homological properties from the algebra structure of Koszul homology

Authors: Amanda Croll, Roger Dellaca, Anjan Gupta, Justin Hoffmeier, Vivek Mukundan, Denise Rangel Tracy, Liana M. Şega, Gabriel Sosa, Peder Thompson

Abstract: Let $k$ be a field and $R$ a standard graded $k$-algebra. We denote by $\operatorname{H}^R$ the homology algebra of the Koszul complex on a minimal set of generators of the irrelevant ideal of $R$. We discuss the relationship between the multiplicative structure of $\operatorname{H}^R$ and the property that $R$ is a Koszul algebra. More generally, we work in the setting of local rings and we show… ▽ More Let $k$ be a field and $R$ a standard graded $k$-algebra. We denote by $\operatorname{H}^R$ the homology algebra of the Koszul complex on a minimal set of generators of the irrelevant ideal of $R$. We discuss the relationship between the multiplicative structure of $\operatorname{H}^R$ and the property that $R$ is a Koszul algebra. More generally, we work in the setting of local rings and we show that certain conditions on the multiplicative structure of Koszul homology imply strong homological properties, such as existence of certain Golod homomorphisms, leading to explicit computations of Poincaré series. As an application, we show that the Poincaré series of all finitely generated modules over a stretched Cohen-Macaulay local ring are rational, sharing a common denominator. △ Less

Submitted 18 September, 2017; v1 submitted 12 November, 2016; originally announced November 2016.

Comments: 22 pages; new Section 7 incorporating DGAlgebras Macaulay2 package, updated Theorems 3.1 and 6.1 to improve and clarify generation property, and some more minor adjustments

Periodic modules over Gorenstein local rings

Authors: Amanda Croll

Abstract: It is proved that the minimal free resolution of a module M over a Gorenstein local ring R is eventually periodic if, and only if, the class of M is torsion in a certain Z[t,t^{-1}]-module associated to R. This module, denoted J(R), is the free Z[t,t^{-1}]-module on the isomorphism classes of finitely generated R-modules modulo relations reminiscent of those defining the Grothendieck group of R. T… ▽ More It is proved that the minimal free resolution of a module M over a Gorenstein local ring R is eventually periodic if, and only if, the class of M is torsion in a certain Z[t,t^{-1}]-module associated to R. This module, denoted J(R), is the free Z[t,t^{-1}]-module on the isomorphism classes of finitely generated R-modules modulo relations reminiscent of those defining the Grothendieck group of R. The main result is a structure theorem for J(R) when R is a complete Gorenstein local ring; the link between periodicity and torsion stated above is a corollary. △ Less

Submitted 25 April, 2013; v1 submitted 12 March, 2013; originally announced March 2013.

Comments: 16 pages. Substantial reorganization of the paper, but the results have not changed

MSC Class: 13D02; 13H10