Use DG-methods to build a matrix factorization

DOI10.1216/JCA.2022.14.229MaRDI QIDQ2161176zbMATH OpenOpenAlexWikidataFDO

Authors Andrew Kustin

Publication date 4 August 2022

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

Full work available at URL https://arxiv.org/abs/1905.11435, https://www.projecteuclid.org/journals/journal-of-commutative-algebra/volume-14/issue-2/Use-DG-methods-to-build-a-matrix-factorization/10.1216/jca.2022.14.229.full

zbMATH Keywords

differential graded algebraGorenstein idealhomotopy of complexesmatrix factorizationPoincaré duality algebra

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Differential graded algebras and applications (associative algebraic aspects) (16E45)

Abstract: Let P be a commutative Noetherian ring, K be an ideal of P which is generated by a regular sequence of length four, f be a regular element of P, and Pbar be the hypersurface ring P/(f). Assume that K:f is a grade four Gorenstein ideal of P. We give a resolution N of Pbar/K Pbar by free Pbar-modules. The resolution N is built from a Differential Graded Algebra resolution of P/(K:f) by free P-modules, together with one homotopy map. In particular, we give an explicit form for the matrix factorization which is the infinite tail of the resolution N.

Review text

Let \(P\) be a commutative Noetherian ring, \(c\) be an ideal of \(P\), \(f\) be a regular element of \(P\), and \(\overline{P}\) be the hypersurface ring \(P/(f)\). In the paper under review the author gives an efficient method for resolving \(\overline{P}/c\overline{P}\) by free \(\overline{P}\)-modules where \(c\) is generated by a regular sequence. More precisely, the author gives a resolution \(N\) of \(\overline{P}/c\overline{P}\) by free \(\overline{P}\)-modules where the resolution \(N\) is built from a differential graded algebra resolution of \(P/(c:f)\) by free \(P\)-modules, together with one homotopy map. In particular, it is given an explicit form for the matrix factorization which is the infinite tail of the resolution \(N\).

Recommendations

• Minimal free resolutions over complete intersections
• Periodic free resolutions from twisted matrix factorizations
• A grade five Gorenstein algebra with no minimal algebra resolutions
• Homological algebra modulo a regular sequence with special attention to codimension two
• The minimal resolution of a codimension four almost complete intersection is a DG-algebra

Cites work

• Algebra Structures for Finite Free Resolutions, and Some Structure Theorems for Ideals of Codimension 3
• Algebra structures on minimal resolutions of Gorenstein rings of embedding codimension four
• Algebra structures on resolutions of rings defined by grade four almost complete intersections
• Gorenstein algebras of codimension four and characteristic two
• Homology of Noetherian rings and local rings
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 3331603 (Why is no real title available?)
• On the ubiquity of Gorenstein rings
• Resolutions of length four which are differential graded algebras
• Socle degrees, resolutions, and Frobenius powers
• The minimal resolution of a codimension four almost complete intersection is a DG-algebra
• The resolution of the bracket powers of the maximal ideal in a diagonal hypersurface ring

Cited in

(1)

• The syzygies of the ideal (x₁^N, x₂^N, x₃^N, x₄^N) in the hypersurface ring defined by x₁^n + x₂^n + x₃^n + x₄^n

This page was built for publication: Use DG-methods to build a matrix factorization

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