Betti Number Invariance

• Betti number invariance is a property where invariant counts from minimal free resolutions or persistent homology remain unchanged under specific isomorphisms and transformations.
• It is applied across algebraic topology, TDA, and birational geometry to maintain structural consistency in modules, graph ideals, and topological spaces.
• Mechanisms such as combinatorial conditions, Möbius inversion, and duality principles ensure robust behavior and stable classification in diverse mathematical settings.

A Betti number is a fundamental algebraic invariant that encodes key homological or cohomological information about a topological space, a module, a variety, or an algebraic structure. Betti number invariance refers to situations and mechanisms in which these invariants remain unchanged under specific operations, isomorphisms, or deformations. Across algebraic topology, commutative algebra, algebraic geometry, and topological data analysis, Betti number invariance enables robust characterization and classification of objects beyond specific presentations or choices of coordinates.

1. Algebraic Invariance: Betti Numbers and Module Isomorphism

Betti numbers associated to graded modules, persistence modules, or chain complexes are isomorphism invariants by construction. For a finitely generated module $M$ over a ring $R$, the Betti numbers $(\beta_i^R(M))$ are determined by the minimal free resolution of $M$ and are independent of basis, presentations, or labeling. In the setting of multiparameter persistence modules (e.g., $\mathbb{N}^2$-graded $k[x_1,x_2]$-modules), the bigraded Betti numbers $\beta_j^M(\alpha)$ count the multiplicities of indecomposable summands and are constant under isomorphism of modules (Moore, 2020).

For two isomorphic modules $M \cong M'$, it follows automatically that: $\forall i, \, \beta_i^R(M) = \beta_i^R(M')$ and, in multiparameter settings,

$$\forall \alpha,\, j, \quad \beta_j^M(\alpha) = \beta_j^{M'}(\alpha)$$

ensuring that Betti numbers constitute complete discrete invariants for distinguishing isomorphism classes insofar as the category allows.

2. Functoriality and Structural Invariance in Topological Data Analysis

In topological data analysis (TDA), Betti numbers frequently appear as functions—Betti curves or diagrams—tracking the homological evolution across a filtration. For example, in persistent homology of filtrations induced by metric spaces, or for Betti curves of symmetric matrices, the values $R$0 for homology degree $R$1 and parameter $R$2 are invariant under transformations that preserve the induced filtered structure (Curto et al., 2021). Explicitly, if a strictly increasing function $R$3 is applied entrywise to a symmetric matrix $R$4 to produce $R$5, the resultant filtration of clique complexes is identical: $R$6 This invariance holds because the construction depends only on the relative ordering of the entries, not their magnitudes. Thus, Betti curves are invariant under monotone nonlinearities, making them robust to monotonic data transformations.

3. Combinatorial and Homological Invariance for Graph Ideals

In the context of toric ideals of graphs, total and graded Betti numbers can be highly sensitive to changes in the underlying graph. However, certain combinatorial operations are known to guarantee invariance. The contraction of an even simple path $R$7 inside a graph $R$8 to produce $R$9 preserves the total Betti numbers ($(\beta_i^R(M))$0) under explicit combinatorial conditions: if $(\beta_i^R(M))$1 lies inside a longer simple path $(\beta_i^R(M))$2 with $(\beta_i^R(M))$3, then

$(\beta_i^R(M))$4

This invariance rests on the identification of the graded homology of specific simplicial complexes associated to each multidegree of the toric ring, and is established by a Mayer–Vietoris argument that preserves all homological dimensions (Favacchio, 2024). Such combinatorial invariance is not generic for arbitrary edits, but arises from the controlled behavior of cycles and connectivity along "even simple path contractions."

4. Invariance via Möbius Inversion and Generalized Persistence for Multiparameter Modules

Bigraded Betti numbers of 2-parameter persistence modules can be described combinatorially in terms of the generalized persistence diagram, which is itself obtained via Möbius inversion of the generalized rank invariant over the poset of connected subsets of the indexing lattice. The Betti number at position $(\beta_i^R(M))$5 and homological degree $(\beta_i^R(M))$6 can be read as a count (with multiplicities) of "corner points," or more explicitly as: $(\beta_i^R(M))$7 where $(\beta_i^R(M))$8 is the geometric "blow-up" of $(\beta_i^R(M))$9 and $M$0 records the Möbius-inverted multiplicity. This corner-counting formula is completely intrinsic to the isomorphism class of the module, as the generalized persistence diagram depends only on the module itself and not on choices of presentation (Kim et al., 2021). The invariance breaks down in three or more parameters: modules with the same generalized persistence diagram can have differing Betti numbers, precluding such a formula for $M$1.

5. Periodicity and Invariance in Tate–Betti Numbers and Hypersurfaces

For modules of finite Gorenstein (co)projective dimension over a commutative Noetherian local ring $M$2, the Tate–Betti numbers $M$3 and Tate–Bass numbers $M$4 admit strong periodicity and duality invariance in special ring-theoretic settings (Enochs et al., 2018). If $M$5 is a hypersurface (its residue field has eventually periodic minimal resolution), then for some period $M$6,

$M$7

For Gorenstein rings, Matlis duality preserves these numbers: $M$8 with $M$9 the Matlis dual. This invariance reflects deep structural properties of minimal complete projective and injective resolutions, combinatorial duality, and symmetry in homological algebra.

6. Betti Number Invariance in Real Toric Topology

In toric topology, Betti numbers of real loci of toric manifolds constructed from graph associahedra $\mathbb{N}^2$0 and graph cubeahedra $\mathbb{N}^2$1 are computed via combinatorial graph invariants ("a-numbers" and "b-numbers") satisfying Möbius inversion identities. For forests $\mathbb{N}^2$2, the Betti numbers of $\mathbb{N}^2$3 and those of $\mathbb{N}^2$4 (where $\mathbb{N}^2$5 is the line graph) coincide: $\mathbb{N}^2$6 even though the polytopes and their toric manifolds may not be combinatorially equivalent (Park et al., 2017). This shows Betti invariance across distinct, but combinatorially interrelated, geometric constructions—a phenomenon mediated by the underlying combinatorics of forests and their line graphs.

7. Invariance and Boundedness in Birational Geometry

In higher-dimensional birational geometry, Betti numbers are not strictly invariant under birational transformations, but their variation is often tightly controlled. For smooth projective threefolds, Betti numbers $\mathbb{N}^2$7 are preserved under the minimal model program, $\mathbb{N}^2$8 decrease in a controlled fashion, and the third Betti number $\mathbb{N}^2$9 satisfies

$k[x_1,x_2]$0

where $k[x_1,x_2]$1 depends only on the Picard number and local singularity type (Chen, 2016). In this context, invariance is replaced by "boundedness," which is crucial for controlling topological types within birational and minimal model families.

---

Betti number invariance is thus multifaceted, encompassing categorical, combinatorial, topological, algebraic, and geometric forms. Its precise behavior, constraints, and failure modes depend crucially on the context—ranging from strict invariance under isomorphism and monotone transformations, to combinatorial invariance under restricted graph operations, to duality-driven invariance in Gorenstein settings, and boundedness under birational maps. Each manifestation is central to the extraction of stable, meaningful invariants in contemporary mathematics and its applications in data science, geometry, and commutative algebra.