Strong Formal Subdivisions in Combinatorics

• Strong formal subdivisions are combinatorial abstractions that generalize classical geometric subdivisions by enforcing strong surjectivity and parity-sum conditions in lower Eulerian posets.
• They enable the decomposition of complex invariants like the cd-index and local h-polynomials, offering recursive formulas and explicit computations in poset theory.
• This framework bridges combinatorics, geometry, and algebra by linking subdivision data with Kazhdan–Lusztig–Stanley invariants and equivariant Ehrhart theory.

A strong formal subdivision is a combinatorial abstraction of geometric subdivisions, generalizing classical polyhedral and fan subdivisions to the category of lower Eulerian posets. This concept provides a framework for decomposing combinatorial invariants of posets, such as the $cd$-index and local $h$-polynomials, and establishing canonical correspondences with Kazhdan–Lusztig–Stanley (KLS) invariants and equivariant Ehrhart theory. The theory of strong formal subdivisions has been developed to unify and extend existing subdivisions in the study of poset invariants and to serve as a bridge to deep algebraic and topological invariants arising in combinatorics and geometry (Stapledon, 20 Nov 2025, Stapledon, 20 Nov 2025, Dornian et al., 2020).

1. Lower Eulerian Posets and the Definition of Strong Formal Subdivision

Let $X$ and $Y$ be finite lower Eulerian posets equipped with rank functions $\rho_X, \rho_Y$ (that is, for any element $z'$ covering $z$, $\rho_B(z') = \rho_B(z) + 1$, and every closed interval in $B$ contains the same number of even- and odd-ranked elements).

An order-preserving, rank-increasing, surjective map $\sigma: X \to Y$ is called a strong formal subdivision (SFS) if it satisfies:

• Strong Surjectivity: For every $h$0, $h$1 with $h$2, there exists $h$3 with $h$4 and $h$5.
• Parity-sum Condition (Incidence Parity): For every $h$6, $h$7 with $h$8,

$h$9

Equivalently,

$X$0

These conditions rigorously generalize the axioms satisfied by geometric subdivisions and ensure that compositions and restrictions of strong formal subdivisions themselves yield strong formal subdivisions (Stapledon, 20 Nov 2025, Dornian et al., 2020).

2. The Non-Hausdorff Mapping Cylinder and Canonical Bijection

Given any order-preserving map $X$1 between posets, the non-Hausdorff mapping cylinder $X$2 is the poset on $X$3 with covering relations:

• $X$4 if $X$5 and $X$6 in $X$7,
• $X$8 if $X$9 and $Y$0 in $Y$1,
• $Y$2 if $Y$3 in $Y$4.

The mapping cylinder construction provides a functorial and combinatorial gluing of $Y$5 and $Y$6 via $Y$7. This leads to the canonical bijection:

• Each strong formal subdivision $Y$8 gives rise to $Y$9, where $\rho_X, \rho_Y$0, $\rho_X, \rho_Y$1, and the rank function $\rho_X, \rho_Y$2 extends those on $\rho_X, \rho_Y$3 and $\rho_X, \rho_Y$4.
• Conversely, given a lower Eulerian poset $\rho_X, \rho_Y$5 and a join-admissible $\rho_X, \rho_Y$6, one obtains $\rho_X, \rho_Y$7 via $\rho_X, \rho_Y$8.

This bijection establishes a structural correspondence between subdivisions and pairs $\rho_X, \rho_Y$9, with $z'$0 a lower Eulerian poset and $z'$1 a non-minimal join-admissible element (Stapledon, 20 Nov 2025, Stapledon, 20 Nov 2025).

3. $z'$2-Index, Local $z'$3-Index, and the Mixed $z'$4-Index

Given an Eulerian poset $z'$5 of rank $z'$6, the $z'$7-index $z'$8 is a homogeneous non-commutative polynomial in variables $z'$9 that encodes the flag enumeration of the chains in $z$0. For near-Eulerian posets (certain subsets of Eulerian posets satisfying parity conditions), the local $z$1-index $z$2 refines $z$3 by isolating the local contribution of a poset $z$4 in a subdivision.

For a strong formal subdivision $z$5 with associated mapping cylinder $z$6, the $z$7-index satisfies a recursive formula:

$z$8

with all terms of strictly smaller rank (Stapledon, 20 Nov 2025).

The mixed $z$9-index is a polynomial in noncommuting variables $\rho_B(z') = \rho_B(z) + 1$0 which encodes both the subdivision and the base poset:

$\rho_B(z') = \rho_B(z) + 1$1

where $\rho_B(z') = \rho_B(z) + 1$2 is the fiber over $\rho_B(z') = \rho_B(z) + 1$3 (Dornian et al., 2020).

These indices give rise to mixed and local $\rho_B(z') = \rho_B(z) + 1$4-polynomials via canonical maps and capture decomposition properties of subdivisions.

4. Relations to Kazhdan–Lusztig–Stanley Theory

The local $\rho_B(z') = \rho_B(z) + 1$5-polynomials associated to strong formal subdivisions are tightly linked to the invariants in KLS theory. For lower Eulerian posets with suitable kernels $\rho_B(z') = \rho_B(z) + 1$6 in their incidence algebras, the left and right KLS functions $\rho_B(z') = \rho_B(z) + 1$7 satisfy canonical involution identities:

$\rho_B(z') = \rho_B(z) + 1$8

and assemble to a symmetric $\rho_B(z') = \rho_B(z) + 1$9-function.

In the context of a subdivision $B$0, the local $B$1-polynomial $B$2 and its differences govern the restriction of KLS functions:

$B$3

$B$4

and similar formulas for $B$5. These identities provide deep combinatorial and representation-theoretic structure, including applications to the computation and interpretation of relative $B$6-polynomials in terms of local $B$7-polynomials (Stapledon, 20 Nov 2025).

5. Equivariant and Polyhedral Generalizations

If a finite group $B$8 acts by order automorphisms preserving a $B$9-invariant rank function, the incidence algebra and all associated invariants admit natural $\sigma: X \to Y$0-equivariant analogues. In this context:

• The equivariant kernel satisfies $\sigma: X \to Y$1.
• All KLS-theoretic and $\sigma: X \to Y$2-function results extend to the $\sigma: X \to Y$3-equivariant setting, with explicit invariants computed via evaluation on fixed-point posets $\sigma: X \to Y$4.
• For $\sigma: X \to Y$5-invariant fans or polyhedral subdivisions, there is a canonical equivariant kernel via determinants of induced affine actions, making the entire formalism applicable to equivariant Ehrhart theory.

When applied to lattice polytopes and their subdivisions, equivariant Ehrhart series and $\sigma: X \to Y$6-series can be explicitly described in terms of subdivisions and associated local KLS data. If a $\sigma: X \to Y$7-invariant unimodular triangulation exists, the equivariant $\sigma: X \to Y$8-polynomial coincides with the $\sigma: X \to Y$9-polynomial derived from the strong formal subdivision structure (Stapledon, 20 Nov 2025).

6. Decomposition Theorem and Explicit Examples

The decomposition theorem for the $h$00-index, extended to strong formal subdivisions, states:

$h$01

breaking complex invariants into local contributions from fibers over elements $h$02. This result generalizes and organizes classical decompositions (e.g., for barycentric subdivisions and explicit combinatorial polytopal subdivisions).

Explicit calculations for small examples confirm the framework. For instance, for the barycentric subdivision $h$03 (edge subdivided at its midpoint), the mixed $h$04-index is $h$05. For $h$06 (triangle to hexagon), the expansion involves several $h$07, $h$08, $h$09, $h$10 terms, reflecting the finer structure of the subdivision (Dornian et al., 2020).

7. Significance and Applications

The machinery of strong formal subdivisions provides a robust abstraction of geometric and combinatorial subdivision phenomena, enabling:

• Precise decomposition and recursion formulas for $h$11-indices and $h$12-polynomials.
• Unified connections among poset invariants, KLS theory, representation theory, and Ehrhart theory.
• Novel approaches to local and relative invariants (e.g., the connection between relative $h$13-polynomials and local $h$14-polynomials).
• Equivariant generalizations necessary for applications in localization, invariants under group actions, and combinatorial representation theory.

The framework thus represents an overview of combinatorial, topological, and algebraic techniques, with further developments anticipated in poset-theoretic models of geometric representation theory and algebraic combinatorics (Stapledon, 20 Nov 2025, Stapledon, 20 Nov 2025, Dornian et al., 2020).