Homological properties of the homology algebra of the Koszul complex of a local ring: examples and questions

DOI10.1016/J.JALGEBRA.2016.06.033zbMATH Open1347.13007arXiv1512.09188OpenAlexW2963927258MaRDI QIDQ306550FDOQ306550

Authors: Jan-Erik Roos 

Publication date: 31 August 2016

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: Let $R$ be a local commutative noetherian ring and $HKR$ the homology ring of the corresponding Koszul complex. We study the homological properties of $HKR$ in particular the so-called Avramov spectral sequence. When the embedding dimension of $R$ is four and when $R$ can be presented with quadratic relations we have found 102 cases where this spectral sequence degenerates and only three cases where it does not degenerate. We also determine completely the Hilbert series of the bigraded Tor of these $HKR$ in tables A-D of section 5. We also study some higher embedding dimensions. Among the methods used are the programme { t BERGMAN} by J"orgen Backelin et al, the { t Macaulay2}-package { t DGAlgebras} by Frank Moore, combined with results by Govorov, Clas L"ofwall, Victor Ufnarovski and others.

Full work available at URL: https://arxiv.org/abs/1512.09188

Recommendations

• A survey on the Koszul homology algebra
• DETECTING KOSZULNESS AND RELATED HOMOLOGICAL PROPERTIES FROM THE ALGEBRA STRUCTURE OF KOSZUL HOMOLOGY
• Publication:4863560
• Homology over trivial extensions of commutative DG algebras
• Good and bad Koszul algebras and their Hochschild homology

zbMATH Keywords

Hilbert seriesGorenstein ringslocal ringKoszul complexYoneda ext-algebra

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computational homological algebra (13P20) Families, moduli of curves (algebraic) (14H10) (Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A counterexample to a conjecture of Serre
• Algèbres connexes et homologie des espaces de lacets
• A computer-aided study of the graded Lie algebra of a local commutative noetherian ring. -- Appendix A: Some technical details about how the computer was used. -- Appendix B (by Clas Löfwall): The Lie algebra structure of a ring satisfying \({\mathcal M}_ 3\) and variants
• Nets of alternating matrices and the linear syzygy conjectures
• A nonnilpotent 1-2-presented graded Hopf algebra whose Hilbert series converges in the unit circle
• A non-Golod ring with a trivial product on its Koszul homology
• Homology algebra of the Koszul complex of a local Gorenstein ring
• Graded algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Obstructions to the Existence of Multiplicative Structures on Minimal Free Resolutions
• Title not available (Why is that?)
• ON THE HOPF ALGEBRA OF A LOCAL RING

Cited In (10)

• DETECTING KOSZULNESS AND RELATED HOMOLOGICAL PROPERTIES FROM THE ALGEBRA STRUCTURE OF KOSZUL HOMOLOGY
• Title not available (Why is that?)
• Koszul properties of the moment map of some classical representations
• The structure of Koszul algebras defined by four quadrics
• Linear resolutions over Koszul complexes and Koszul homology algebras
• On the Koszul algebra of a local ring
• Quadratic Gorenstein rings and the Koszul property I
• The Koszul property for spaces of quadrics of codimension three
• Quadratic Gorenstein algebras with many surprising properties
• A survey on the Koszul homology algebra

Uses Software

• Macaulay2
• BERGMAN
• DGAlgebras

This page was built for publication: Homological properties of the homology algebra of the Koszul complex of a local ring: examples and questions

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