Homology

Definition

Homology studies the topological structure of constraint spaces by building algebraic invariants from simplicial complexes. Given a set of constraints, the constraint nerve (from resolver/) produces a SimplicialComplex whose simplices represent compatible subsets of constraints.

A Simplex of dimension k is a (k+1)-element subset of constraints that are mutually compatible. The collection of all such simplices forms the simplicial complex on which chain-level algebra operates.

Chain Homology

The ChainGroup C_k is the free abelian group generated by all k-simplices. The BoundaryOperator maps each k-chain to its (k-1)-boundary:

∂k : C_k → C{k-1}

The fundamental property is ∂² = 0: the boundary of a boundary is always zero. This is encoded as the identity boundarySquaredZero.

A ChainComplex is the graded sequence

··· → C_k → C_{k-1} → ··· → C_0 → 0

linked by boundary operators satisfying ∂² = 0.

Homology Groups

The HomologyGroup H_k is the quotient

H_k = ker(∂k) / im(∂{k+1})

Elements of H_k represent k-dimensional "holes" in the constraint nerve that cannot be filled by (k+1)-simplices.

Betti Numbers and Observables

The Betti number β_k = rank(H_k) counts independent k-holes. In the UOR observable taxonomy, BettiNumber and SpectralGap provide measurable invariants derived from homology:

• β_0 counts connected components of the constraint nerve.
• β_1 counts independent loops (cyclic constraint dependencies).
• Higher β_k detect higher-dimensional voids.

Key Identities

Betti numbers determine whether resolution converges without topological obstruction — see Analytical Completeness for the UOR index theorem connecting curvature, Euler characteristic, and residual entropy.