2024/01/24 by Iglesias, Rodrigo, Sáenz-de-Cabezón, Eduardo
#Commutative Algebra (math.AC) #FOS: Mathematics #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.2401.13788
We prove that the Pommaret-Seiler resolution for quasi-stable ideals is cellular and give a cellular structure for it. This shows that this resolution is a generalization of the well known Eliahou-Kervaire resolution for stable ideals in a deeper sense. We also prove that the Pommaret-Seiler resolution can be reduced to the minimal one via Discrete Morse Theory and provide a constructive algorithm to perform this reduction.