Chow Functions in Incidence Algebra and Geometry

• Chow functions are polynomial-valued invariants from incidence algebras on weakly ranked posets that encode Hilbert–Poincaré series and symmetry properties.
• They parallel Kazhdan–Lusztig–Stanley functions by replacing half-degree bounds with palindromic conditions and extend to dual forms, matrix analogues, and geometric interpretations.
• They exhibit important attributes like positivity, unimodality, γ-positivity, and real-rootedness, linking combinatorial structures with algebraic and geometric frameworks.

Chow functions are polynomial-valued invariants attached to kernels in the incidence algebra of a weakly ranked poset. They were introduced as a theory parallel to Kazhdan–Lusztig–Stanley functions, but with a different structural constraint: instead of enforcing a half-degree bound, Chow functions impose a palindromic or symmetric condition and often encode Hilbert–Poincaré series of Chow rings or cohomology-like objects. In the characteristic-kernel case they recover the Hilbert series of the Chow ring of a matroid, and subsequent work developed dual Chow functions, matrix analogues, and real-rootedness theorems for broad classes of posets and matroids (Ferroni et al., 2024, Caiolo et al., 27 May 2026, Brändén et al., 22 Sep 2025).

1. Incidence-algebra construction

The basic input is a locally finite weakly ranked poset $P$ with a weak rank function

$\rho:\operatorname{Int}(P)\to \mathbb Z_{\ge 0},$

satisfying

$$\rho_{st}>0 \text{ for } s<t,\qquad \rho_{st}=\rho_{sw}+\rho_{wt}\text{ for } s\le w\le t.$$

This determines a subalgebra $I_\rho(P)$ of the incidence algebra, consisting of interval functions $a_{st}(x)$ with

$\deg a_{st}(x)\le \rho_{st}.$

A standard involution is defined by coefficient reversal relative to the weak rank: $$(a^{\mathrm{rev}})_{st}(x)=x^{\rho_{st}}a_{st}(x^{-1}).$$

A $(P,\rho)$-kernel is an element $\kappa\in I_\rho(P)$ such that $\kappa_{ss}(x)=1$ for all $\rho:\operatorname{Int}(P)\to \mathbb Z_{\ge 0},$0 and

$\rho:\operatorname{Int}(P)\to \mathbb Z_{\ge 0},$1

Important examples include the characteristic kernel, the Eulerian kernel, and the $\rho:\operatorname{Int}(P)\to \mathbb Z_{\ge 0},$2-polynomial kernel on Bruhat intervals. Given such a kernel, one forms the reduced kernel

$\rho:\operatorname{Int}(P)\to \mathbb Z_{\ge 0},$3

and defines the Chow function by

$\rho:\operatorname{Int}(P)\to \mathbb Z_{\ge 0},$4

Equivalently, $\rho:\operatorname{Int}(P)\to \mathbb Z_{\ge 0},$5 is characterized recursively by either convolution identity

$\rho:\operatorname{Int}(P)\to \mathbb Z_{\ge 0},$6

or

$\rho:\operatorname{Int}(P)\to \mathbb Z_{\ge 0},$7

The 2024 theory also gives an equivalent characterization of $\rho:\operatorname{Int}(P)\to \mathbb Z_{\ge 0},$8 as the unique element with $\rho:\operatorname{Int}(P)\to \mathbb Z_{\ge 0},$9, symmetric interval polynomials, and

$$\rho_{st}>0 \text{ for } s<t,\qquad \rho_{st}=\rho_{sw}+\rho_{wt}\text{ for } s\le w\le t.$$0

This formulation makes clear that Chow functions are intrinsic incidence-algebra objects rather than ad hoc generating series (Ferroni et al., 2024).

2. Relation to Kazhdan–Lusztig–Stanley theory

Chow functions were designed to parallel Kazhdan–Lusztig–Stanley (KLS) functions. For the same kernel $$\rho_{st}>0 \text{ for } s<t,\qquad \rho_{st}=\rho_{sw}+\rho_{wt}\text{ for } s\le w\le t.$$1, the right and left KLS functions $$\rho_{st}>0 \text{ for } s<t,\qquad \rho_{st}=\rho_{sw}+\rho_{wt}\text{ for } s\le w\le t.$$2 satisfy

$$\rho_{st}>0 \text{ for } s<t,\qquad \rho_{st}=\rho_{sw}+\rho_{wt}\text{ for } s\le w\le t.$$3

together with the stronger degree bound

$$\rho_{st}>0 \text{ for } s<t,\qquad \rho_{st}=\rho_{sw}+\rho_{wt}\text{ for } s\le w\le t.$$4

The conceptual distinction is that KLS functions are “lower-half” objects, whereas Chow functions are “palindromic full-degree” objects. In this sense, Chow functions retain more of the interval rank while replacing the KLS half-degree condition by symmetry (Ferroni et al., 2024).

The same framework defines augmented Chow functions

$$\rho_{st}>0 \text{ for } s<t,\qquad \rho_{st}=\rho_{sw}+\rho_{wt}\text{ for } s\le w\le t.$$5

which generalize augmented Chow rings in matroid Hodge theory. A major technical tool is the numerical canonical decomposition, which expresses Chow functions recursively in terms of KLS data. Using the left KLS function $$\rho_{st}>0 \text{ for } s<t,\qquad \rho_{st}=\rho_{sw}+\rho_{wt}\text{ for } s\le w\le t.$$6, one has

$$\rho_{st}>0 \text{ for } s<t,\qquad \rho_{st}=\rho_{sw}+\rho_{wt}\text{ for } s\le w\le t.$$7

There is a dual formula using $$\rho_{st}>0 \text{ for } s<t,\qquad \rho_{st}=\rho_{sw}+\rho_{wt}\text{ for } s\le w\le t.$$8, and also a chain expansion

$$\rho_{st}>0 \text{ for } s<t,\qquad \rho_{st}=\rho_{sw}+\rho_{wt}\text{ for } s\le w\le t.$$9

These identities are significant because they give purely numerical analogues of canonical decompositions that, in geometric settings, come from Chow rings or intersection cohomology. This suggests that the formalism is intended as a polynomial shadow of deeper graded-module structures, even when no such structure is known to exist (Ferroni et al., 2024).

3. Standard kernels, model examples, and geometric meaning

The characteristic kernel $I_\rho(P)$0, the Eulerian kernel

$I_\rho(P)$1

and the $I_\rho(P)$2-polynomial kernel on Bruhat intervals are the principal examples. For a graded bounded poset, the characteristic kernel yields the characteristic Chow polynomial. In the matroid case, where $I_\rho(P)$3 is the lattice of flats of a loopless matroid $I_\rho(P)$4, the characteristic Chow polynomial recovers a geometric invariant exactly: $I_\rho(P)$5 Likewise, the left augmented Chow polynomial satisfies

$I_\rho(P)$6

These identities are the main reason for the name “Chow functions” (Ferroni et al., 2024).

For Eulerian posets, the Eulerian Chow polynomial equals the $I_\rho(P)$7-polynomial of the order complex: $I_\rho(P)$8 Thus Eulerian Chow functions encode chain enumeration in a form compatible with barycentric subdivision. For Bruhat intervals in a Coxeter group, the $I_\rho(P)$9-polynomial kernel produces a Chow function with a direct path-counting interpretation: $a_{st}(x)$0 This makes Coxeter Chow functions new enumerators of Bruhat graph paths (Ferroni et al., 2024).

A related geometric viewpoint appears in the study of the stack of expanded pairs. There the integral Chow ring of the stack $a_{st}(x)$1 is identified with the Hopf algebra of quasi-symmetric functions: $a_{st}(x)$2 The stack $a_{st}(x)$3 is presented as a colimit of stacks $a_{st}(x)$4, and compatible Chow classes on the finite stages correspond exactly to quasi-symmetric functions. The paper explicitly describes this as a “Chow function” perspective: ordinary polynomial functions on $a_{st}(x)$5 become $a_{st}(x)$6, compatible families across all $a_{st}(x)$7 become $a_{st}(x)$8, and a gluing map $a_{st}(x)$9 induces the Hopf coproduct on $\deg a_{st}(x)\le \rho_{st}.$0 (Oesinghaus, 2018). This suggests a broader geometric interpretation in which Chow-theoretic data behave as function spaces on moduli stacks.

4. Positivity, unimodality, $\deg a_{st}(x)\le \rho_{st}.$1-positivity, and real-rootedness

One of the main structural results is that Chow functions inherit positivity from KLS theory. If either the right or left KLS function is non-negative, then the Chow function is non-negative and unimodal. The proof is purely combinatorial and does not use Hard Lefschetz-type arguments; instead it relies on symmetry, product-preservation of unimodality for non-negative symmetric polynomials, and induction through the numerical canonical decomposition (Ferroni et al., 2024).

For the characteristic kernel on graded bounded posets, the theory sharpens substantially. If $\deg a_{st}(x)\le \rho_{st}.$2 is graded and bounded, then $\deg a_{st}(x)\le \rho_{st}.$3-Chow is unimodal. If $\deg a_{st}(x)\le \rho_{st}.$4 is Cohen–Macaulay, then $\deg a_{st}(x)\le \rho_{st}.$5-Chow is $\deg a_{st}(x)\le \rho_{st}.$6-positive, and a conjecture is stated that for every Cohen–Macaulay poset, $\deg a_{st}(x)\le \rho_{st}.$7-Chow is real-rooted. A key formula expresses the $\deg a_{st}(x)\le \rho_{st}.$8-polynomial directly in terms of the flag $\deg a_{st}(x)\le \rho_{st}.$9-vector: $$(a^{\mathrm{rev}})_{st}(x)=x^{\rho_{st}}a_{st}(x^{-1}).$$0 This ties Chow-function positivity to classical flag-enumerative positivity (Ferroni et al., 2024).

The matrix extension strengthens these results from unimodality and $$(a^{\mathrm{rev}})_{st}(x)=x^{\rho_{st}}a_{st}(x^{-1}).$$1-positivity to real-rootedness in a broad setting. For a lower triangular matrix $$(a^{\mathrm{rev}})_{st}(x)=x^{\rho_{st}}a_{st}(x^{-1}).$$2 with all diagonal entries equal to $$(a^{\mathrm{rev}})_{st}(x)=x^{\rho_{st}}a_{st}(x^{-1}).$$3, regarded as an incidence-algebra element on a chain, one defines associated Chow polynomials $$(a^{\mathrm{rev}})_{st}(x)=x^{\rho_{st}}a_{st}(x^{-1}).$$4 and Chow-derangement polynomials $$(a^{\mathrm{rev}})_{st}(x)=x^{\rho_{st}}a_{st}(x^{-1}).$$5 by

$$(a^{\mathrm{rev}})_{st}(x)=x^{\rho_{st}}a_{st}(x^{-1}).$$6

If $$(a^{\mathrm{rev}})_{st}(x)=x^{\rho_{st}}a_{st}(x^{-1}).$$7 is lower triangular, totally nonnegative, and has diagonal entries equal to $$(a^{\mathrm{rev}})_{st}(x)=x^{\rho_{st}}a_{st}(x^{-1}).$$8, then the Chow polynomials $$(a^{\mathrm{rev}})_{st}(x)=x^{\rho_{st}}a_{st}(x^{-1}).$$9 and Chow-derangement polynomials $(P,\rho)$0 are real-rooted, and moreover

$(P,\rho)$1

The same paper proves augmented analogues and applies the theory to projective and affine geometries, dual partition and Dowling lattices, perfect matroid designs and paving matroids (Brändén et al., 22 Sep 2025).

5. Dual Chow functions and matroid deletion theory

Dual Chow functions were introduced by applying the Chow construction not to $(P,\rho)$2 itself but to the sign-twisted reverse kernel. Besides the reverse involution, one uses the sign twist

$(P,\rho)$3

The dual Chow function of $(P,\rho)$4 is then

$(P,\rho)$5

If $(P,\rho)$6 satisfies the skew-symmetry relation

$(P,\rho)$7

then $(P,\rho)$8, so dual and ordinary Chow functions coincide. The Eulerian kernel of an Eulerian poset and the $(P,\rho)$9-polynomial kernel on Bruhat intervals satisfy this condition. By contrast, for the characteristic kernel the dual invariant is genuinely different (Caiolo et al., 27 May 2026).

For the characteristic kernel

$\kappa\in I_\rho(P)$0

the dual theory has a chain formula, positivity criteria, and deletion recursions. A central chain expansion is

$\kappa\in I_\rho(P)$1

If the Möbius function alternates in sign,

$\kappa\in I_\rho(P)$2

then every dual Chow polynomial $\kappa\in I_\rho(P)$3 has nonnegative and unimodal coefficients. The dual characteristic Chow polynomial also admits an explicit $\kappa\in I_\rho(P)$4-expansion: $\kappa\in I_\rho(P)$5 Hence nonnegativity of the flag $\kappa\in I_\rho(P)$6-vector implies $\kappa\in I_\rho(P)$7-positivity, and this applies in particular to Cohen–Macaulay posets and to all matroids (Caiolo et al., 27 May 2026).

For matroids, the theory produces a deletion formula. If $\kappa\in I_\rho(P)$8 is a matroid and $\kappa\in I_\rho(P)$9 is neither a coloop nor parallel to any element, then

$\kappa_{ss}(x)=1$0

This recursion implies, by induction, that $\kappa_{ss}(x)=1$1 is $\kappa_{ss}(x)=1$2-positive for every matroid. The paper also derives explicit formulas for uniform matroids and proves that for uniform matroids the dual Chow polynomial and the dual augmented Chow polynomial are real-rooted (Caiolo et al., 27 May 2026). A plausible implication is that dual Chow functions are intended to play for characteristic kernels a role analogous to the ordinary Chow function for Eulerian and Bruhat-type kernels, but with different correction terms under basic operations.

6. Matrix models, Eulerian specializations, and broader terminology

The matrix formalism makes Chow functions accessible beyond posets. For Toeplitz matrices associated to a sequence $\kappa_{ss}(x)=1$3 with generating series

$\kappa_{ss}(x)=1$4

the Chow-type families admit closed generating functions: $\kappa_{ss}(x)=1$5

$\kappa_{ss}(x)=1$6

$\kappa_{ss}(x)=1$7

$\kappa_{ss}(x)=1$8

In the Boolean case, Chow polynomials recover Eulerian polynomials and Chow-derangement polynomials recover derangement polynomials. For Toeplitz matrices coming from Pólya frequency sequences, all four families are real-rooted. The same framework also recovers generalized Eulerian polynomials studied by Stanley, Brenti, Stembridge, and Shareshian–Wachs (Brändén et al., 22 Sep 2025).

The term “Chow function” also appears in a different, regulator-theoretic sense. Chow polylogarithms are presented as integrals attached to a smooth complete variety $\kappa_{ss}(x)=1$9 and a wedge of rational functions $\rho:\operatorname{Int}(P)\to \mathbb Z_{\ge 0},$00, via

$\rho:\operatorname{Int}(P)\to \mathbb Z_{\ge 0},$01

They are described there as a genuine “Chow function”: a regulator-type invariant built from algebraic cycles and rational functions. Their fundamental functional equation is a reciprocity law

$\rho:\operatorname{Int}(P)\to \mathbb Z_{\ge 0},$02

derived from a Chow-type complex and a Beilinson–Soulé-type vanishing statement (Bolbachan, 2024). This usage is conceptually distinct from the incidence-algebra theory, but it reflects the same general tendency: Chow-theoretic data are organized as function-like objects satisfying formal symmetries, residue identities, and functoriality.

Taken together, these developments place Chow functions at the intersection of incidence algebras, matroid and Coxeter combinatorics, moduli-theoretic Chow rings, and regulator theory. The common pattern is that a kernel, cycle complex, or compatible Chow-class system gives rise to a polynomial or analytic function-like invariant whose formal properties mirror geometric structures that may or may not be explicitly present.