Table of Contents
Fetching ...

The Graded Betti Numbers of the Skeletons of Simplicial Complexes

Mohammed Rafiq Namiq

TL;DR

This work addresses how the graded Betti numbers of a simplicial complex $\Delta$ relate to those of its $i$-skeletons $\Delta^i$ by introducing the notion of a degree resolution and proving that $I_{\Delta^i}$ has a degree resolution with $\mathrm{reg}\mathbb{K}[\Delta^i]=\dim\mathbb{K}[\Delta^i]$ for all $-1\le i<\dim\Delta$. It provides an explicit Betti-number formula linking $\mathbb{K}[\Delta^k]$ to $\mathbb{K}[\Delta]$ through the $f$-vector and existing Betti numbers, and shows how skeletons can determine or preserve Betti data under certain reg/omega conditions. The results yield corollaries that allow computing or recovering Betti tables from skeletons and highlight the role of truncations and degree resolutions in simplifying the analysis of squarefree monomial ideals. Overall, the paper offers a concrete framework to transfer homological information between a complex and its skeletons, with practical implications for calculating Betti numbers in combinatorial settings.

Abstract

In this paper, we study a class $\mathcal{C}$ of squarefree monomial ideals $I\subseteq R=\mathbb{K}[x_1,\dots,x_n]$ over a field $\mathbb{K}$, defined by the condition that $\dim R/I$ equals the maximum degree of the minimal generators of $I$ minus one. We show that the Stanley-Reisner ideal of every $i$-skeleton of a simplicial complex $Δ$ belongs to $\mathcal{C}$ for all $-1\le i<\dimΔ$. To investigate their homological properties, we introduce the notion of a degree resolution and prove that every ideal in $\mathcal{C}$ possesses this property. Moreover, we show that every squarefree monomial ideal admits a truncation whose regularity coincides with that of the original ideal, thereby reducing the study of degree resolutions to that of linear resolutions. Finally, we provide an explicit formula describing the relationship between the graded Betti numbers of a simplicial complex and those of its skeletons.

The Graded Betti Numbers of the Skeletons of Simplicial Complexes

TL;DR

This work addresses how the graded Betti numbers of a simplicial complex relate to those of its -skeletons by introducing the notion of a degree resolution and proving that has a degree resolution with for all . It provides an explicit Betti-number formula linking to through the -vector and existing Betti numbers, and shows how skeletons can determine or preserve Betti data under certain reg/omega conditions. The results yield corollaries that allow computing or recovering Betti tables from skeletons and highlight the role of truncations and degree resolutions in simplifying the analysis of squarefree monomial ideals. Overall, the paper offers a concrete framework to transfer homological information between a complex and its skeletons, with practical implications for calculating Betti numbers in combinatorial settings.

Abstract

In this paper, we study a class of squarefree monomial ideals over a field , defined by the condition that equals the maximum degree of the minimal generators of minus one. We show that the Stanley-Reisner ideal of every -skeleton of a simplicial complex belongs to for all . To investigate their homological properties, we introduce the notion of a degree resolution and prove that every ideal in possesses this property. Moreover, we show that every squarefree monomial ideal admits a truncation whose regularity coincides with that of the original ideal, thereby reducing the study of degree resolutions to that of linear resolutions. Finally, we provide an explicit formula describing the relationship between the graded Betti numbers of a simplicial complex and those of its skeletons.

Paper Structure

This paper contains 4 sections, 9 theorems, 20 equations.

Key Result

Lemma 2.1

Let $W\subseteq\{x_1,\ldots,x_n\}$ and let $K_{R(W)}$ be the part of the Koszul complex $K_R$ that corresponds to the degree $\delta(W)=(d_1,\ldots,d_n)$, where $d_i=1$ if $x_i\in W$ and $d_i=0$ otherwise. Then

Theorems & Definitions (22)

  • Lemma 2.1: Hochster's formula
  • Definition 3.1
  • Remark 3.2
  • Proposition 3.3
  • proof
  • Remark 3.4
  • Corollary 3.5
  • Lemma 3.6
  • proof
  • Corollary 3.7
  • ...and 12 more