---
title: Quasisymmetric Divided Differences
url: https://www.emergentmind.com/topics/quasisymmetric-divided-differences
type: topic
---

# Quasisymmetric Divided Differences

A quasisymmetric divided difference is a linear operator acting on the polynomial ring $\mathbb Q[x_1,\dots,x_n]$, designed as a non-symmetric analogue of the classical Demazure–BGG divided differences. These operators serve as the foundation for the theory of quasisymmetric Schubert polynomials, forest bases, and quasisymmetric coinvariant rings, and their algebra is controlled by Thompson-type monoid relations rather than the nil-Coxeter structure of the symmetric group. Quasisymmetric divided differences admit deep connections to combinatorics, algebraic geometry (especially the theory of toric and Schubert varieties), and representation theory of Hecke-type and 0-Hecke type algebras.

## 1. Formal Definition and Basic Properties

Let $\mathrm{Pol}_n = \mathbb Q[x_1,\dots,x_n]$ and let $\mathrm{QSym}_n \subset \mathrm{Pol}_n$ denote the ring of quasisymmetric polynomials. For $1\leq i\leq n$, define the Bergeron–Sottile specialization operator by
\[
R_i : \mathrm{Pol}_n \to \mathrm{Pol}_{n-1}, \qquad R_i\bigl(f(x_1,\dots,x_n)\bigr) = f(x_1,\dots,x_{i-1},0,x_i,\dots,x_{n-1}).
\]
This operator inserts a zero in the $i$th slot and then shifts variables to the left. For $1\leq i\leq n-1$, the quasisymmetric divided difference is defined by
\[
\partial_i^{\mathrm{qs}}(f) \coloneqq R_i\bigl(\partial_i^{\mathrm{sym}}f\bigr) = R_{i+1}\bigl(\partial_i^{\mathrm{sym}}f\bigr) = \frac{1}{x_i}(R_{i+1}f - R_if),
\]
where $\partial_i^{\mathrm{sym}}$ is the Demazure (BGG) divided difference,
\[
\partial_i^{\mathrm{sym}}(f) = \frac{f(x_1,\dots,x_n) - f(x_1,\dots,x_{i-1},x_{i+1},x_i,x_{i+2},\dots,x_n)}{x_i - x_{i+1}}.
\]
Each $\partial_i^{\mathrm{qs}} : \mathrm{Pol}_n \to \mathrm{Pol}_{n-1}$ is $\mathbb Q$-linear and of degree $-1$ [2410.12643], [2406.01510].

## 2. Algebraic Structure and Thompson Monoid Relations

The operators $\{\partial_i^{\mathrm{qs}}\}$ and the specializations $\{R_j\}$ satisfy commutation rules that define an "augmented Thompson monoid," replacing the nil-Coxeter relations of classical divided differences. The two principal types of relations are as follows:

- **Thompson–monoid commutation:**
  \[
  \partial_i^{\mathrm{qs}} \partial_j^{\mathrm{qs}} = \partial_j^{\mathrm{qs}} \partial_{i+1}^{\mathrm{qs}} \quad \text{whenever } i > j.
  \]
- **Mixed commutation (with specializations):**
  \[
  \begin{aligned}
    \partial_i^{\mathrm{qs}} R_j &= R_j \partial_{i+1}^{\mathrm{qs}}\quad &&\text{for } i\geq j,\\
    R_i \partial_j^{\mathrm{qs}} &= \partial_j^{\mathrm{qs}} R_{i+1}\quad &&\text{for } i>j, \\
    R_i R_j &= R_j R_{i+1}\quad &&\text{for }i\geq j.
  \end{aligned}
  \]
Unlike the symmetric (nil-Hecke) case, there is no nilpotency: $\partial_i^{\mathrm{qs}}\partial_i^{\mathrm{qs}} \neq 0$. Instead, the operators distinguish themselves by being faithful representations of the augmented Thompson monoid [2410.12643], [2406.01510]. The compositional structure is therefore governed by associativity laws for plane binary forests, with deep combinatorial significance.

## 3. Action on Distinguished Bases and Forest Recursions

$\mathrm{QSym}_n$ admits several algebraically significant bases:

- **Monomial basis $M_\alpha$:** For a composition $\alpha$,
  \[
  \partial_i^{\mathrm{qs}}(M_\alpha) = \frac{R_{i+1}M_\alpha - R_i M_\alpha}{x_i} =
    \begin{cases}
      M_\beta, & \text{if } \beta \text{ is obtained by merging two consecutive parts at } i, \\
      0, & \text{otherwise}.
    \end{cases}
  \]
- **Fundamental basis $F_\alpha$:** For $\alpha$, 
  \[
  \partial_i^{\mathrm{qs}}(F_\alpha) = 
    \begin{cases}
      F_{\alpha'}, & \text{if } i \text{ is a quasi-descent of } \alpha, \\
      0, & \text{otherwise}.
    \end{cases}
  \]
- **Forest (quasisymmetric Schubert) basis $\{\mathfrak{F}_F\}$:** Indexed by plane binary forests $F$, with recursion
  \[
  \partial_i^{\mathrm{qs}}(\mathfrak{F}_F) =
    \begin{cases}
      \mathfrak{F}_{F\sslash i}, & i \in \mathrm{QDes}(F), \\
      0,& \text{otherwise},
    \end{cases}
  \]
  where $F\sslash i$ is the forest obtained by trimming the $i$th leaf and $\mathrm{QDes}(F)$ is the quasi-descent set of $F$ [2410.12643], [2406.01510].

The forest basis reflects the Thompson-monoid algebra: any composition of divided differences $\partial_{i_1}^{\mathrm{qs}} \cdots \partial_{i_k}^{\mathrm{qs}}$ can be uniquely associated to a binary forest $F$, so that $\partial_F^{\mathrm{qs}}$ has well-defined action on $\{\mathfrak{F}_F\}$ and captures recursive geometric and combinatorial interpretations.

## 4. Geometric and Coinvariant Interpretations

Let $\mathrm{QSCoinv}_n = \mathrm{Pol}_n/\langle \mathrm{QSym}_n^+ \rangle$ denote the quasisymmetric coinvariant ring. The operators $\partial_i^{\mathrm{qs}}$ characterize $\mathrm{QSym}_n$ as the joint kernel:
\[
\mathrm{QSym}_n = \{ f \in \mathrm{Pol}_n \mid \partial_i^{\mathrm{qs}} f = 0 \ \forall\,i \},
\]
and descend to operators on $\mathrm{QSCoinv}_n \to \mathrm{QSCoinv}_{n-1}$ [2410.12643], [2406.01510].

Geometrically, the push-forwards defined by $\partial_i^{\mathrm{qs}}$ are realized by explicit toric $\mathbb P^1$-bundles and closed embeddings inside the flag variety $\mathrm{Fl}_n$. Families of quasisymmetric Schubert cycles $X(\widetilde F) \subset \mathrm{Fl}_n$, indexed by nested forests, satisfy
\[
\deg_{X(\widetilde F)}(f) = \left.\partial_{\widetilde F}^{\mathrm{qs}}f \right|_{x=0}
\]
for $f\in H^\bullet(\mathrm{Fl}_n)$. The cohomology of the union of these toric subvarieties, a toric complex $HHMP_n$, injects into $\mathrm{QSCoinv}_n$ and realizes the Poincaré pairing [2410.12643].

## 5. Combinatorics, Forests, and Polyhedral Geometry

Thompson-monoid relations precisely mirror forest combinatorics: elements correspond to plane binary forests, and faces of the associated toric cycles $X(\widetilde F)$ form a subdivision of the permutahedron, with top-dimensional faces combinatorially cubical and indexed by maximal $P^1$-bundle sequences [2410.12643]. Each such face may also be viewed as a face of a Gelfand–Zetlin polytope or a nested-forest “cube” in $\mathbb R^n$ via explicit linear projections.

The moment polytopes of these toric cycles encode the geometry of quasisymmetric coinvariant quotients; the combinatorics of “trimming” and “merging” parts in the bases admits direct polyhedral interpretation and positive expansion theorems for the forest basis [2406.01510].

## 6. Comparison to Classical Divided Differences and Hivert-Type Operators

Unlike classical Demazure (BGG) operators, which satisfy nilCoxeter relations and quadratics $\partial_i^{\mathrm{sym}}\partial_i^{\mathrm{sym}} = 0$, the quasisymmetric divided differences admit no such nilpotency. The braid relations are replaced with Thompson monoid relations:
\[
\partial_i^{\mathrm{qs}}\partial_j^{\mathrm{qs}} = \partial_j^{\mathrm{qs}}\partial_{i+1}^{\mathrm{qs}}, \quad i>j,
\]
which connect quasisymmetric divided differences to the non-Coxeter, forest-labeled combinatorics, and model the geometry of toric embeddings and quasisymmetric Schubert cycles [2410.12643], [2406.01510].

In parallel, Hivert's quasisymmetric divided difference operators are defined via swaps that act only when exponents are zero, yielding fundamental bases such as the fundamental slide, fundamental particle, and $K$-theoretic multifundamental families, arising in key, atom, and Schur polynomial analogues [2508.11813], [2406.02420]. However, the operators of Hivert-type differ essentially in their algebraic and combinatorial structure from the Thompson-monoid governed operators above. A plausible implication is that multiple distinct frameworks for "quasisymmetric divided differences" coexist, with the Thompson-monoid setting encoding stronger geometric and forest-theoretic features, while Hivert analogues admit direct connections to 0-Hecke actions and explicit polynomial bases.

## 7. Extensions and Further Developments

All aspects above extend to $m$-colored quasisymmetric functions, whose divided difference theory uses $m$-trimming (or multi-trimming) operators with relations governed by $m$-Thompson monoids and forest bases indexed by $(m+1)$-ary forests. These generalizations support further developments in the harmonic theory of quasisymmetric coinvariant rings, including the resolution of the Aval–Bergeron–Li conjecture, and give rise to explicit duality between forest polynomials and polytope volumes in the theory of harmonics [2406.01510].

Further research explores geometric and representation-theoretic interpretations, particularly $K$-theoretic and Hecke-type analogues, and their connections to deformations of 0-Hecke actions, multifundamental and glide polynomials, and the modularity properties of Hessenberg representation theory [2508.11813], [2507.05614].

---

**Key references**: [2410.12643], [2406.01510], [2406.02420], [2508.11813], [2507.05614].

Source: https://www.emergentmind.com/topics/quasisymmetric-divided-differences