# The face numbers of homology spheres

## TL;DR

This paper proves the $g$-conjecture for simplicial $bR$-homology spheres by introducing a new algebraic approach based on stresses and rigidity theory, confirming the face number characterization.

## Contribution

The paper establishes the $g$-conjecture for simplicial $bR$-homology spheres using a novel algebraic framework involving stress algebras and rigidity theory.

## Key findings

- Proves the $g$-conjecture for simplicial $bR$-homology spheres.
- Introduces a new algebra structure for polytopal complexes based on stresses.
- Shows the stress algebra is Gorenstein and has the weak Lefschetz property for generic realizations.

## Abstract

The $g$-theorem is a momentous result in combinatorics that gives a complete numerical characterization of the face numbers of simplicial convex polytopes. The $g$-conjecture asserts that the same numerical conditions given in the $g$-theorem also characterizes the face numbers of all simplicial spheres, or even more generally, all simplicial homology spheres. In this paper, we prove the $g$-conjecture for simplicial $\mathbb{R}$-homology spheres. A key idea in our proof is a new algebra structure for polytopal complexes. Given a polytopal $d$-complex $\Delta$, we use ideas from rigidity theory to construct a graded Artinian $\mathbb{R}$-algebra $\Psi(\Delta,\nu)$ of stresses on a PL realization $\nu$ of $\Delta$ in $\mathbb{R}^d$, where overlapping realized $d$-faces are allowed. In particular, we prove that if $\Delta$ is a simplicial $\mathbb{R}$-homology sphere, then for generic PL realizations $\nu$, the stress algebra $\Psi(\Delta,\nu)$ is Gorenstein and has the weak Lefschetz property.