[Paper Review] The Multiplicity Conjecture for Barycentric Subdivisions

Martina Kubitzke, Volkmar Welker|ArXiv.org|Jun 12, 2006

Commutative Algebra and Its Applications11 references4 citations

TL;DR

This paper verifies the Multiplicity Conjecture of Huneke and Herzog & Srinivasan for Stanley-Reisner rings of barycentric subdivisions of simplicial complexes. Using Hochster's formula for Betti numbers and analyzing the behavior of ring-theoretic invariants under barycentric subdivision, the authors prove that the multiplicity of the Stanley-Reisner ring of the barycentric subdivision satisfies the conjectured upper and lower bounds in terms of Betti number shifts, with equality if and only if the resolution is pure.

ABSTRACT

For a simplicial complex $Δ$ we study the effect of barycentric subdivision on ring theoretic invariants of its Stanley-Reisner ring. In particular, for Stanley-Reisner rings of barycentric subdivisions we verify a conjecture by Huneke and Herzog & Srinivasan, that relates the multiplicity of a standard graded $k$-algebra to the product of the maximal and minimal shifts in its minimal free resolution up to the height. On the way to proving the conjecture we develop new and list well known results on behavior of dimension, Hilbert series, multiplicity, local cohomology, depth and regularity when passing from the Stanley-Reisner ring of $Δ$ to the one of its barycentric subdivision.

Motivation & Objective

• To verify the Multiplicity Conjecture for Stanley-Reisner rings of barycentric subdivisions of simplicial complexes.
• To analyze the behavior of key ring-theoretic invariants—such as dimension, Hilbert series, multiplicity, depth, regularity, and local cohomology—under barycentric subdivision.
• To establish conditions under which the minimal free resolution of the Stanley-Reisner ring of a barycentric subdivision is pure, particularly in the equality case of the conjecture.

Proposed method

• Use of Hochster's formula to compute Betti numbers of Stanley-Reisner rings of barycentric subdivisions.
• Analysis of the $h$-vector and $f$-vector transformations under barycentric subdivision to relate Hilbert series and multiplicity.
• Application of Corollary 3.2 to detect non-vanishing Betti numbers via reduced homology of induced subcomplexes.
• Use of the link and star decompositions in simplicial complexes to study local cohomology and depth behavior.
• Topological arguments based on reduced homology groups to determine when Betti numbers $\beta_{i,j}$ are non-zero.
• Comparison of the multiplicity of $k[\mathrm{sd}(\Delta)]$ with the product of maximal and minimal shifts in the minimal free resolution, using factorial normalization.

Experimental results

Research questions

• RQ1 Does the Multiplicity Conjecture hold for the Stanley-Reisner ring of the barycentric subdivision of any simplicial complex?
• RQ2 How do the Betti numbers of $k[\mathrm{sd}(\Delta)]$ relate to the topology of $\Delta$ and its subdivisions?
• RQ3 Under what conditions is the minimal free resolution of $k[\mathrm{sd}(\Delta)]$ pure, and when does equality hold in the Multiplicity Conjecture?
• RQ4 What is the behavior of the multiplicity, depth, and regularity of $k[\mathrm{sd}(\Delta)]$ relative to $k[\Delta]$?
• RQ5 Can the conjectured bounds on multiplicity be strictly violated or always satisfied for barycentric subdivisions?

Key findings

• The Multiplicity Conjecture holds for $k[\mathrm{sd}(\Delta)]$ for any simplicial complex $\Delta$, with the upper bound $e(A) \leq \frac{1}{h!}\prod_{i=1}^{h}M_i$ and the lower bound $e(A) \geq \frac{1}{h!}\prod_{i=1}^{h}m_i$ for Cohen-Macaulay rings.
• Equality in the conjecture holds for $k[\mathrm{sd}(\Delta)]$ if and only if the minimal free resolution is pure, which occurs precisely when $\Delta$ is a single cycle (i.e., an $f_0^\Delta$-gon).
• If $\Delta$ has more than one cycle or additional vertices/edges outside a single cycle, then the minimal free resolution of $k[\mathrm{sd}(\Delta)]$ is not pure, and the inequality in the conjecture is strict.
• The multiplicity of $k[\mathrm{sd}(\Delta)]$ is $e(k[\mathrm{sd}(\Delta)]) = (\dim\Delta + 1) \cdot f_1^\Delta$, which matches the conjectured bound when $\Delta$ is a cycle.
• For $\dim(\mathrm{sd}(\Delta)) = 1$, the resolution is pure only if $\Delta$ is a tree or a single cycle; in the latter case, equality holds in the conjecture.
• The study confirms that barycentric subdivision preserves the validity of the Multiplicity Conjecture across a broad class of rings, extending known results from Novik and Swartz and Goff.