Strong Formal Subdivision Theory

• Strong formal subdivision is an order-preserving, rank-increasing surjective map between lower Eulerian posets, defined by a strict local Euler characteristic condition.
• It arises from a canonical mapping cylinder construction that establishes a bijection with join-admissible triples, linking combinatorial, topological, and algebraic properties.
• Applications include polytope subdivisions, fan morphisms, and computations of invariants such as the cd-index and local h-polynomials in both standard and equivariant contexts.

A strong formal subdivision is an order-preserving, rank-increasing surjective morphism between lower Eulerian posets that satisfies a strict local Euler characteristic condition. This concept simultaneously abstracts polyhedral subdivisions of polytopes and proper surjective morphisms of fans, encapsulating their combinatorial, topological, and algebraic properties. The framework naturally leads to a canonical bijection with certain join-admissible triples in lower Eulerian posets via the non-Hausdorff mapping cylinder construction, resulting in deep connections to flag invariants, the cd-index, local $h$-polynomials, and Kazhdan–Lusztig–Stanley theory.

1. Lower Eulerian Posets and Strong Formal Subdivisions

A finite poset $P$ is ranked if there exists a rank function $\rho:P\to\mathbb{Z}$ such that $\rho(y) = \rho(x) + 1$ whenever $y$ covers $x$. The poset is locally Eulerian if for every interval $[x,y]$, the number of elements of even rank equals that of odd rank; it is lower Eulerian if, in addition, a unique minimal element $\hat{0}$ exists. A poset is Eulerian if it is lower Eulerian with a unique maximal element $\hat{1}$ (Stapledon, 20 Nov 2025).

Let $X$ and $P$0 be lower Eulerian posets with rank functions $P$1 and $P$2. A map $P$3 is called a strong formal subdivision if it is:

• order-preserving,
• rank-increasing: $P$4 for all $P$5,
• strongly surjective: for every $P$6, $P$7 with $P$8, there is $P$9 in $\rho:P\to\mathbb{Z}$0 so that $\rho:P\to\mathbb{Z}$1 and $\rho:P\to\mathbb{Z}$2,
• and for every $\rho:P\to\mathbb{Z}$3 and $\rho:P\to\mathbb{Z}$4 with $\rho:P\to\mathbb{Z}$5,

$\rho:P\to\mathbb{Z}$6

These properties are designed to guarantee that the fibers over points in $\rho:P\to\mathbb{Z}$7 have the right local Euler characteristic, ensuring compatibility with subdivisions arising in geometry or topology (Stapledon, 20 Nov 2025, Stapledon, 20 Nov 2025).

2. The Canonical Cylinder Bijection and Join-Admissible Triples

Each strong formal subdivision $\rho:P\to\mathbb{Z}$8 corresponds canonically to a triple $\rho:P\to\mathbb{Z}$9, where $\rho(y) = \rho(x) + 1$0 is a lower Eulerian poset with rank function $\rho(y) = \rho(x) + 1$1 and $\rho(y) = \rho(x) + 1$2 is join-admissible (i.e., $\rho(y) = \rho(x) + 1$3 exists for all $\rho(y) = \rho(x) + 1$4). This relationship is established via the non-Hausdorff mapping cylinder construction:

• The mapping cylinder $\rho(y) = \rho(x) + 1$5 is the disjoint union $\rho(y) = \rho(x) + 1$6 with the original orders and additional relations $\rho(y) = \rho(x) + 1$7 whenever $\rho(y) = \rho(x) + 1$8, $\rho(y) = \rho(x) + 1$9, and $y$0.
• The rank function is defined by $y$1 for $y$2, $y$3 for $y$4.
• The triple $y$5 is $y$6.

Conversely, starting from such a triple, the strong formal subdivision is recovered as

$y$7

with the appropriate (possibly shifted) rank functions. This bijection underpins the combinatorial abstraction of geometric subdivision phenomena and provides a natural vehicle for structural translation across discrete and geometric settings (Stapledon, 20 Nov 2025, Stapledon, 20 Nov 2025).

3. Examples and Structural Significance

Strong formal subdivisions naturally model a range of examples:

• Polytope Subdivisions: A refinement $y$8 of a polyhedral subdivision $y$9 of a polytope $x$0 induces

$x$1

mapping each cell to the minimal $x$2-cell containing it, giving a strong formal subdivision of rank $x$3 (Stapledon, 20 Nov 2025, Stapledon, 20 Nov 2025).

• Fan Morphisms: A proper surjective map of fans $x$4 induces $x$5, a strong formal subdivision of rank equal to the kernel dimension of the underlying vector space map.
• Identity Map: For any lower Eulerian poset $x$6, the identity map $x$7 is a strong formal subdivision, whose cylinder is the pyramid poset $x$8.
• One-Point Adjunctions: The join-admissible element $x$9 in the cylinder construction corresponds combinatorially to joining with an "adjoined" minimum.

The mapping cylinder provides a categorical 'join' operation interpolating between domain and codomain posets, supporting recursion and uniform proofs for invariants (Stapledon, 20 Nov 2025).

4. Invariants: cd-Index and Flag Polynomials

For Eulerian posets, the flag $[x,y]$0-polynomial

$[x,y]$1

encodes face incidence data. The unique polynomial $[x,y]$2 in noncommuting $[x,y]$3 and $[x,y]$4 satisfying $[x,y]$5 is the cd-index.

Under the strong formal subdivision setting and cylinder construction, the cd-index can be computed recursively:

$[x,y]$6

where $[x,y]$7 is the local cd-index, and overbars indicate certain quotient posets (Stapledon, 20 Nov 2025).

This recurrence applies to standard constructions, such as pyramids, prisms, and bipyramids, and demonstrates the algorithmic tractability of computing the cd-index via strong formal subdivision theory.

5. Local $[x,y]$8-Polynomials and Kazhdan–Lusztig–Stanley Invariants

Given a strong formal subdivision $[x,y]$9 with cylinder $\hat{0}$0, the local $\hat{0}$1-polynomial $\hat{0}$2 is constructed via the incidence algebras associated to the Eulerian kernel $\hat{0}$3. For $\hat{0}$4 Eulerian,

$\hat{0}$5

is symmetric and unimodal, as proved by Karu.

The main connection to Kazhdan–Lusztig–Stanley (KLS) invariants is as follows. Let $\hat{0}$6, $\hat{0}$7 be the left-KLS functions for $\hat{0}$8, $\hat{0}$9 respectively, and define the involution and $\hat{1}$0 operator on symmetric polynomials

$\hat{1}$1

Then,

$\hat{1}$2

with analogous statements for right-KLS and the $\hat{1}$3-function (Stapledon, 20 Nov 2025).

This formalism further unifies local $\hat{1}$4-polynomials, KLS functions, and relative $\hat{1}$5-polynomials. For instance, when $\hat{1}$6 is a polytope face lattice and $\hat{1}$7 arises from a projective subdivision,

$\hat{1}$8

demonstrating that Braden–MacPherson's relative $\hat{1}$9-polynomials coincide with these local $X$0-polynomials (Stapledon, 20 Nov 2025).

6. Equivariant Generalizations and Ehrhart Theory Applications

If a finite group $X$1 acts compatibly on the posets, all incidence algebra constructions lift to the equivariant setting, resulting in equivariant KLS functions and local $X$2-polynomials valued in representation rings. For a $X$3-invariant lattice polytope $X$4 subdivided by a $X$5-invariant subdivision $X$6,

$X$7

where $X$8 is the equivariant $X$9-series, and $P$00 denotes the local equivariant $P$01-series. For unimodular triangulations, $P$02 equals the equivariant $P$03-polynomial $P$04 (Stapledon, 20 Nov 2025).

This framework unifies and generalizes combinatorial and cohomological results: Stanley's theory of subdivisions, intersection cohomology-based proofs of local $P$05 symmetry and unimodality, and the equivariant Braden–MacPherson $P$06-polynomials—all subsumed via the strong formal subdivision theory and the canonical cylinder bijection.

7. Summary Table: Key Structures in Strong Formal Subdivision Theory

Structure	Description	Origin/Example
Lower Eulerian poset	Ranked poset with unique $P$07, locally Eulerian intervals	Face lattice of a polytope, fan poset
Strong formal subdivision	Order-preserving, rank-increasing surjection satisfying $P$08	Polytope/fan subdivision morphism
Mapping cylinder $P$09	Poset on $P$10 with induced and bridging order	Used in canonical bijection construction
Join-admissible element $P$11	Non-minimum $P$12 s.t.\ $P$13 exists for all $P$14 in $P$15	Pointed face in a face lattice
Local $P$16-polynomial	Derived from fibers of $P$17 in incidence algebra; symmetric	Tracks refined face structure
cd-index	Encodes flag $P$18-vector information via noncommuting variables $P$19	Provides recursive invariants
KLS-invariants	Kazhdan–Lusztig–Stanley functions; recover local $P$20 via subdivision	Enables intersection cohomology linkage
Equivariant versions	Invariance under group actions; values in representation rings	Ehrhart theory, group-labeled polytopes

Strong formal subdivisions provide a unified combinatorial structure for analyzing subdivisions in discrete geometry and topology. This theory supports explicit calculation of invariants relevant in enumerative, geometric, and representation-theoretic contexts, and facilitates their extension to equivariant and cohomological settings (Stapledon, 20 Nov 2025, Stapledon, 20 Nov 2025).