[Paper Review] Algebraic shifting and graded Betti numbers

Takayuki Hibi, Satoshi Murai|ArXiv.org|Mar 29, 2005

Algebraic structures and combinatorial models4 citations

TL;DR

This paper establishes two fundamental inequalities for graded Betti numbers of Stanley–Reisner ideals: (1) for an infinite base field, the exterior algebraic shifted complex has Betti numbers less than or equal to those of any combinatorial shifted complex; (2) for an arbitrary base field, the original simplicial complex has Betti numbers bounded above by those of any combinatorial shifted complex. The key contribution is proving that the lexsegment complex minimizes graded Betti numbers across all complexes with the same f-vector, regardless of the field characteristic.

ABSTRACT

Let $S = K[x_1, ..., x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $°x_i = 1$. Let $Δ$ be a simplicial complex on $[n] = \{1, ..., n \}$ and $I_Δ\subset S$ its Stanley--Reisner ideal. We write $Δ^e$ for the exterior algebraic shifted complex of $Δ$ and $Δ^c$ for a combinatorial shifted complex of $Δ$. Let $β_{ii+j}(I_Δ) = \dim_K \Tor_i(K, I_Δ)_{i+j}$ denote the graded Betti numbers of $I_Δ$. In the present paper it will be proved that (i) $β_{ii+j}(I_{Δ^e}) \leq β_{ii+j}(I_{Δ^c})$ for all $i$ and $j$, where the base field is infinite, and (ii) $β_{ii+j}(I_Δ) \leq β_{ii+j}(I_{Δ^c})$ for all $i$ and $j$, where the base field is arbitrary. Thus in particular one has $β_{ii+j}(I_Δ) \leq β_{ii+j}(I_{Δ^{lex}})$ for all $i$ and $j$, where $Δ^{lex}$ is the unique lexsegment simplicial complex with the same $f$-vector as $Δ$ and where the base field is arbitrary.

Motivation & Objective

• To establish a general inequality between graded Betti numbers of a simplicial complex and its algebraically shifted counterparts.
• To resolve a long-standing conjecture regarding the ordering of Betti numbers across different shifted complexes.
• To prove that the lexsegment complex minimizes Betti numbers among all complexes with the same f-vector, even over arbitrary fields.
• To analyze the non-uniqueness of combinatorial shifted complexes and show that no extremal complexes exist that bound all others in Betti number behavior.

Proposed method

• Uses algebraic shifting theory to construct the exterior algebraic shifted complex Δ^e and combinatorial shifted complex Δ^c from a given simplicial complex Δ.
• Applies Hochster’s formula to compute graded Betti numbers of Stanley–Reisner ideals via simplicial homology.
• Employs the operation S^0_ij to systematically shift monomials in the exterior algebra, preserving Betti number bounds.
• Constructs a classification of all possible shifted ideals J_Δ^c as I^Q for sequences Q ∈ {A,B}^6, based on the shifting process.
• Uses a detailed analysis of monomial counts m_≤i(J, j) to compare Betti numbers across different shifted complexes.
• Employs contradiction arguments to show that no universal minimal or maximal combinatorial shifted complex exists for Betti number bounds.

Experimental results

Research questions

• RQ1 Does the exterior algebraic shifted complex Δ^e have Betti numbers bounded above by those of any combinatorial shifted complex Δ^c when the base field is infinite?
• RQ2 Can the inequality β_ii+j(I_Δ) ≤ β_ii+j(I_Δ^c) be established for arbitrary base fields, not just characteristic 0?
• RQ3 Is there a combinatorial shifted complex Δ^c that minimizes the graded Betti numbers β_ii+j(I_Δ^c) across all complexes with the same f-vector?
• RQ4 Do extremal combinatorial shifted complexes Δ_♭^c and Δ_♯^c exist such that their Betti numbers bound all others uniformly for all i,j?
• RQ5 Can the exterior shifted complex Δ^e coincide with any combinatorial shifted complex Δ^c?

Key findings

• For an infinite base field, β_ii+j(I_Δ^e) ≤ β_ii+j(I_Δ^c) holds for all i,j, proving that exterior shifting does not increase Betti numbers.
• For an arbitrary base field, β_ii+j(I_Δ) ≤ β_ii+j(I_Δ^c) holds for all i,j, extending previous results to all fields.
• The lexsegment complex Δ^lex minimizes graded Betti numbers among all complexes with the same f-vector, satisfying β_ii+j(I_Δ) ≤ β_ii+j(I_Δ^lex) for all i,j.
• No combinatorial shifted complex Δ_♯^c exists such that β_ii+j(I_Δ^c) ≤ β_ii+j(I_Δ_♯^c) for all Δ^c and all i,j, showing no universal upper bound exists.
• No combinatorial shifted complex Δ^c satisfies Δ^e = Δ^c, demonstrating that the exterior shifted complex is not realizable as a combinatorial shift.
• The set of combinatorial shifted complexes is not totally ordered by Betti number dominance, as shown by explicit counterexamples in the construction.