[Paper Review] On the multiplicity conjecture for non-Cohen-Macaulay simplicial complexes

Michael Goff|ArXiv.org|Feb 9, 2008

Commutative Algebra and Its Applications23 references3 citations

TL;DR

This paper proves the multiplicity upper bound conjecture for three-dimensional simplicial complexes and homology manifolds with many vertices by introducing a reformulation of the conjecture. It establishes necessary conditions for Cohen-Macaulay complexes with many vertices to have pure minimal free resolutions and characterizes flag complexes with pure resolutions, showing they are joins of cycles or cross polytopes with simplices.

ABSTRACT

We prove a reformulation of the multiplicity upper bound conjecture and use that reformulation to prove it for three-dimensional simplicial complexes and homology manifolds with many vertices. We provide necessary conditions for a Cohen-Macaulay complex with many vertices to have a pure minimal free resolution and a characterization of flag complexes whose minimal free resolution is pure.

Motivation & Objective

• To prove the multiplicity upper bound conjecture for three-dimensional simplicial complexes and homology manifolds with many vertices.
• To reformulate the multiplicity conjecture to facilitate proof in the non-Cohen-Macaulay setting.
• To identify necessary conditions for a Cohen-Macaulay complex with many vertices to admit a pure minimal free resolution.
• To characterize flag complexes whose minimal free resolution is pure, linking algebraic purity to topological and combinatorial structure.

Proposed method

• Reformulate the multiplicity upper bound conjecture using topological invariants of induced subcomplexes.
• Use Hochster’s formula to relate Betti numbers of Stanley-Reisner rings to reduced homology of induced subcomplexes.
• Apply the concept of $r$-Leray complexes to analyze the structure of simplicial complexes with pure resolutions.
• Characterize minimal non-$1$-Leray complexes in flag complexes via homology vanishing and edge structure.
• Use induction and minimality arguments on vertex sets to show that non-1-Leray flag complexes must be joins of cycles and simplices.
• Analyze polarization of monomial ideals to connect algebraic resolution properties to simplicial complex structure.

Experimental results

Research questions

• RQ1 Under what conditions does a three-dimensional simplicial complex satisfy the multiplicity upper bound conjecture?
• RQ2 What topological and combinatorial conditions ensure that a Cohen-Macaulay complex has a pure minimal free resolution?
• RQ3 Which flag complexes have pure resolutions, and how can they be characterized algebraically and topologically?
• RQ4 When does a quadratic monomial ideal have a pure resolution, and how does polarization relate to this property?
• RQ5 What is the role of $1$-Leray and $r$-Leray conditions in determining the structure of complexes with pure resolutions?

Key findings

• The multiplicity upper bound conjecture holds for all three-dimensional simplicial complexes and homology manifolds with many vertices.
• A flag complex has a pure resolution if and only if it is the join of a cycle on at least four vertices and a simplex, or the join of a cross polytope and a simplex.
• If a simplicial complex is $1$-Leray and has a pure resolution, then it must be a join of a cycle and a simplex or a cross polytope and a simplex.
• For flag complexes, a pure resolution implies that the $1$-skeleton is either complete or the complex is a join of a cycle and a simplex.
• The minimal free resolution of a Stanley-Reisner ring is pure if and only if the corresponding simplicial complex satisfies specific topological and combinatorial conditions related to homology and induced subcomplexes.
• The polarization of a quadratic monomial ideal has a pure resolution precisely when the associated simplicial complex is a join of a cycle or cross polytope with a simplex.