Sampling Algebra Structures on Minimal Free Resolutions

Authors Lars Winther Christensen, Orin Gotchey

Publication date 23 March 2023

Structure, classification theorems for modules and ideals in commutative rings (13C05) Syzygies, resolutions, complexes and commutative rings (13D02) Research data for problems pertaining to commutative algebra (13-11)

Abstract: Ideals in the ring of power series in three variables can be classified based on algebra structures on their minimal free resolutions. The classification is incomplete in the sense that it remains open which algebra structures actually occur; this realizability question was formally raised by Avramov in 2012. We discuss the outcomes of an experiment performed to shed light on Avramov's question: Using the computer algebra system Macaulay2, we classify a billion randomly generated ideals and build a database with examples of ideals of all classes realized in the experiment. Based on the outcomes, we discuss the status of recent conjectures that relate to the realizability question.

This page was built for publication: Sampling Algebra Structures on Minimal Free Resolutions

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