Sampling Algebra Structures on Minimal Free Resolutions of Length 3

Lars Winther Christensen Orin Gotchey Alexis Hardesty a Department of Mathematics,Texas Tech University,Lubbock,TX,USA; b Division of Mathematics,Texas Woman's University,Denton,TX,USA
DOI: https://doi.org/10.1080/10586458.2024.2410987
2024-10-17
Experimental Mathematics
Abstract:Ideals in the ring of power series in three variables over a field 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 conjectures that relate to the realizability question.
mathematics
What problem does this paper attempt to address?