---
title: Quasisymmetric Coinvariant Rings
url: https://www.emergentmind.com/topics/quasisymmetric-coinvariant-rings
type: topic
---

# Quasisymmetric Coinvariant Rings

A quasisymmetric coinvariant ring is a fundamental algebraic object arising as the quotient of the polynomial ring in $n$ variables by the ideal generated by all positive-degree quasisymmetric polynomials. This structure sharply generalizes the classical symmetric coinvariant ring, replacing full symmetry by quasisymmetry and yielding deep connections to combinatorics (notably binary forests and noncrossing partitions), the geometry of toric and flag varieties, and the representation theory of Hecke and 0-Hecke algebras. Its study is central to recent advances in algebraic combinatorics, providing a new “quasisymmetric Schubert calculus” and clarifying the role of noncrossing partition combinatorics in geometry and invariant theory [2508.12171, 2410.12643, 2406.01510].

## 1. Definitions and Algebraic Structure

Let $Pol_n = \mathbb{Q}[x_1, \ldots, x_n]$ be the polynomial ring in $n$ variables. The subring $QSym_n \subset Pol_n$ of quasisymmetric polynomials consists of those $f$ such that for any composition $\alpha = (\alpha_1, \ldots, \alpha_k)$ and strictly increasing indices $1 \leq i_1 < \cdots < i_k \leq n$, the coefficient of $x_1^{\alpha_1}\cdots x_k^{\alpha_k}$ equals that of $x_{i_1}^{\alpha_1}\cdots x_{i_k}^{\alpha_k}$. The ideal $QSym_n^+$ is generated by all such polynomials of positive degree.

The **quasisymmetric coinvariant ring** $QSCoinv_n$ is defined by
\[
QSCoinv_n = Pol_n / QSym_n^+
\]
It admits alternative presentations, including $QSCoinv_n \cong \mathbb{Q}[x_1, \ldots, x_n] / \langle f(x) : f \in QSym_n, \deg(f) > 0 \rangle$ [2410.12643, 2406.01510]. The relations generalize the classical coinvariant ideal generated by symmetric polynomials of positive degree.

## 2. Geometric Realizations

The quasisymmetric coinvariant ring possesses a geometric incarnation as the cohomology of a specific singular reducible subvariety of the complete flag variety $Fl_n$. In the model of [2508.12171], the **quasisymmetric flag variety** $QFl_n$ is constructed as a union of toric Richardson varieties indexed by all planar binary trees with $n$ leaves:
\[
QFl_n = \bigcup_{T \in Tree_n} X(T)
\]
where each $X(T)$ is a smooth toric subvariety (a translated Richardson variety) defined by Plücker-vanishing conditions.

Under the standard torus action $(\mathbb{C}^*)^n$ on $Fl_n$, the fixed points of $QFl_n$ are exactly indexed by the set $NC_n$ of algebraic noncrossing partitions. The cohomology ring $H^*(QFl_n; \mathbb{Q})$ is isomorphic to $QSCoinv_n$—in direct analogy to $H^*(Fl_n) \cong Pol_n/(Sym_n^+)$ in the symmetric case [2508.12171, 2410.12643].

An alternative realization [2410.12643] constructs a T-invariant subcomplex $HHMP_n$ in the flag variety, also as a union of smooth toric Richardson varieties indexed by certain reduced sequences, with the pullback in cohomology factoring through the quotient defining $QSCoinv_n$. This geometric structure is controlled by the combinatorics of noncrossing partitions and binary forests.

## 3. Combinatorial Bases and Structure Constants

A canonical basis of $QSCoinv_n$ is indexed by non-nested (binary) plane forests with $n$ leaves, often called **forest polynomials** $\mathfrak{F}_F(x)$. This basis is constructed such that:
- $\{\mathfrak{F}_F : F \in \mathcal{F}_n\}$, where $\mathcal{F}_n$ is the set of fully supported binary forests, forms a $\mathbb{Q}$-basis for $QSCoinv_n$ [2406.01510, 2410.12643].
- Under a specialization, forest polynomials yield the fundamental quasisymmetric basis $F_\alpha(x)$, where the composition $\alpha$ is read from black-node positions in the corresponding forest [2508.12171].

The multiplication rules for the basis reflect the combinatorics of building forests:
\[
\mathfrak{F}_F \cdot \mathfrak{F}_G = \sum_H c_{F,G}^H \mathfrak{F}_H
\]
where $c_{F,G}^H \in \mathbb{N}$ and the structure constants encode tree grafting and the action of Thompson-type monoids [2406.01510]. The product is always positive in this basis (so-called “forest-positivity”), but no closed-form Littlewood–Richardson type rule is known [2508.12171].

The dual theory is expressed in terms of **quasisymmetric harmonics**, polynomials orthogonal to $QSym_n^+$ under the $D$-pairing, with a canonical basis given by certain volume polynomials associated to forest polytopes.

## 4. Graded Structure, Hilbert Series, and Betti Numbers

$QSCoinv_n$ is naturally graded, with $\deg(x_i) = 1$ (or $2$ for cohomological grading). The Hilbert series is given by a sum over the degree of forests:
\[
\text{Hilb}_{QSCoinv_n}(q) = \sum_{d=0}^{n-1} N(n,d) q^d
\]
where $N(n,d)$ are Narayana numbers, and $\dim QSCoinv_n = \text{Cat}_n$ (Catalan number) [2406.01510]. Alternatively, the Betti/Hilbert numbers are given explicitly as
\[
c_{n,k} = \frac{1}{n} \binom{2n}{n-k-1} \binom{n+k-1}{k}, \quad 0 \leq k \leq n-1
\]
with the two-variable generating function
\[
G(z,u) = \sum_{n \geq 1,\,k \geq 0} c_{n,k} z^n u^k = \frac{1 + 2u - \sqrt{1-4(1+u)z}}{2(z+u)}
\]
[2508.12171].

Unlike the symmetric coinvariant ring, the Betti table is generally nonsymmetric, and there is no natural $S_n$-action or self-duality structure—$QSCoinv_n$ is not Gorenstein and not Poincaré dual [2508.12171, 2410.12643].

## 5. Connection to Noncrossing Partitions and Forest Combinatorics

Noncrossing partitions play a central role in the geometry and algebra of quasisymmetric coinvariant rings:
- The torus fixed points of $QFl_n$ correspond to the Kreweras lattice of noncrossing partitions of $[n]$.
- The GKM graph of $QFl_n$ is the subgraph of the Cayley graph of $S_n$ on $NC_n$, with edge relations governed by Bruhat covers that remain inside $NC_n$ [2508.12171].
- Multiplicative structure constants and basis expansions are supported on the Kreweras order and positive in the fundamental basis.

The forest basis is indexed by non-nested binary forests, and their structure echoes the combinatorics of noncrossing partitions, providing a link between geometric fixed points, ring bases, and combinatorial models [2508.12171, 2406.01510].

## 6. Equivariant Extensions, Generalizations, and Further Directions

The equivariant theory describes $QSCoinv_n$ as a quotient of $\mathbb{Q}[x_1,\ldots,x_n; t_1,\ldots,t_n]$ by a suitable ideal $I_n^{eq}$ generated by “equivariant quasisymmetric” relations, reflecting the additional torus parameters. The structure constants in equivariant cohomology are Graham-positive (all pullbacks to fixed points yield polynomials in simple roots with nonnegative coefficients) [2508.12171].

Extensions include:
- An $m$-colored generalization yielding dimensions given by Raney numbers [2406.01510].
- The construction of generalized coinvariant algebras as quotients by ideals involving more general symmetric and quasisymmetric generators, and their representation-theoretic properties as 0-Hecke modules [1704.02618].
- Analogues in the exterior algebra, where the quotient by the quasisymmetric ideal yields a basis indexed by ballot sequences and has a Hilbert series given by counts of two-row standard Young tableaux [2206.02065].

A plausible implication is that these structures represent templates for a broader quasisymmetric invariant theory, with deep ties to the combinatorics of trees, posets, and the representation theory of Hecke-type algebras.

## 7. Comparison to the Symmetric Coinvariant Ring

The symmetric coinvariant algebra $Pol_n/(Sym_n^+)$ is the cohomology ring of $Fl_n$, carries a regular $S_n$-action, is Gorenstein and Poincaré dual, and has a Schubert basis indexed by permutations. In contrast, $QSCoinv_n$:
- Admits no natural $S_n$-action and is not self-dual.
- Is realized geometrically by a union of toric Richardson strata in the flag variety, not a single smooth variety.
- Has a basis indexed by binary forests rather than permutations, with structure constants governed by the Thompson monoid rather than the nil-Hecke algebra [2410.12643, 2508.12171].
- Its Hilbert series is controlled by Narayana/Catalan numbers, rather than Eulerian numbers.

The table below summarizes the main distinction:

| Feature               | Symmetric Coinvariant | Quasisymmetric Coinvariant |
|-----------------------|----------------------|----------------------------|
| Quotient by           | Symmetric polynomials| Quasisymmetric polynomials |
| Geometric realization | $Fl_n$ (smooth)      | Reducible toric complex   |
| Canonical basis       | Schubert polynomials | Forest polynomials         |
| Hilbert series        | Eulerian numbers     | Narayana/Catalan numbers   |
| $S_n$-action          | Yes                  | No                         |
| Self-dual/Poincaré    | Yes                  | No                         |

These differences indicate that quasisymmetric coinvariant rings not only generalize classical coinvariants but also stratify new directions for combinatorial, geometric, and representation-theoretic exploration. The interplay of quasisymmetric invariants, forest combinatorics, and geometric models opens promising avenues within algebraic combinatorics and equivariant geometry [2508.12171, 2410.12643, 2406.01510].

Source: https://www.emergentmind.com/topics/quasisymmetric-coinvariant-rings