Quasisymmetric Coinvariant Rings

• Quasisymmetric coinvariant rings are defined as the quotient of a polynomial ring by the ideal generated by positive-degree quasisymmetric polynomials, generalizing symmetric coinvariants.
• They admit geometric realizations via toric flag varieties and encode combinatorial structures like binary forests and noncrossing partitions.
• Their study impacts algebraic combinatorics and representation theory, with applications in quasisymmetric Schubert calculus and connections to Catalan-number graded Hilbert series.

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 (Bergeron et al., 16 Aug 2025, Nadeau et al., 2024, Nadeau et al., 2024).

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 $Pol_n = \mathbb{Q}[x_1, \ldots, x_n]$0 is defined by

$Pol_n = \mathbb{Q}[x_1, \ldots, x_n]$1

It admits alternative presentations, including $Pol_n = \mathbb{Q}[x_1, \ldots, x_n]$2 (Nadeau et al., 2024, Nadeau et al., 2024). 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 $Pol_n = \mathbb{Q}[x_1, \ldots, x_n]$3. In the model of (Bergeron et al., 16 Aug 2025), the quasisymmetric flag variety $Pol_n = \mathbb{Q}[x_1, \ldots, x_n]$4 is constructed as a union of toric Richardson varieties indexed by all planar binary trees with $Pol_n = \mathbb{Q}[x_1, \ldots, x_n]$5 leaves: $Pol_n = \mathbb{Q}[x_1, \ldots, x_n]$6 where each $Pol_n = \mathbb{Q}[x_1, \ldots, x_n]$7 is a smooth toric subvariety (a translated Richardson variety) defined by Plücker-vanishing conditions.

Under the standard torus action $Pol_n = \mathbb{Q}[x_1, \ldots, x_n]$8 on $Pol_n = \mathbb{Q}[x_1, \ldots, x_n]$9, the fixed points of $n$0 are exactly indexed by the set $n$1 of algebraic noncrossing partitions. The cohomology ring $n$2 is isomorphic to $n$3—in direct analogy to $n$4 in the symmetric case (Bergeron et al., 16 Aug 2025, Nadeau et al., 2024).

An alternative realization (Nadeau et al., 2024) constructs a T-invariant subcomplex $n$5 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 $n$6. This geometric structure is controlled by the combinatorics of noncrossing partitions and binary forests.

3. Combinatorial Bases and Structure Constants

A canonical basis of $n$7 is indexed by non-nested (binary) plane forests with $n$8 leaves, often called forest polynomials $n$9. This basis is constructed such that:

• $QSym_n \subset Pol_n$0, where $QSym_n \subset Pol_n$1 is the set of fully supported binary forests, forms a $QSym_n \subset Pol_n$2-basis for $QSym_n \subset Pol_n$3 (Nadeau et al., 2024, Nadeau et al., 2024).
• Under a specialization, forest polynomials yield the fundamental quasisymmetric basis $QSym_n \subset Pol_n$4, where the composition $QSym_n \subset Pol_n$5 is read from black-node positions in the corresponding forest (Bergeron et al., 16 Aug 2025).

The multiplication rules for the basis reflect the combinatorics of building forests: $QSym_n \subset Pol_n$6 where $QSym_n \subset Pol_n$7 and the structure constants encode tree grafting and the action of Thompson-type monoids (Nadeau et al., 2024). The product is always positive in this basis (so-called “forest-positivity”), but no closed-form Littlewood–Richardson type rule is known (Bergeron et al., 16 Aug 2025).

The dual theory is expressed in terms of quasisymmetric harmonics, polynomials orthogonal to $QSym_n \subset Pol_n$8 under the $QSym_n \subset Pol_n$9-pairing, with a canonical basis given by certain volume polynomials associated to forest polytopes.

4. Graded Structure, Hilbert Series, and Betti Numbers

$f$0 is naturally graded, with $f$1 (or $f$2 for cohomological grading). The Hilbert series is given by a sum over the degree of forests: $f$3

where $f$4 are Narayana numbers, and $f$5 (Catalan number) (Nadeau et al., 2024). Alternatively, the Betti/Hilbert numbers are given explicitly as

$f$6

with the two-variable generating function

$f$7

(Bergeron et al., 16 Aug 2025).

Unlike the symmetric coinvariant ring, the Betti table is generally nonsymmetric, and there is no natural $f$8-action or self-duality structure—$f$9 is not Gorenstein and not Poincaré dual (Bergeron et al., 16 Aug 2025, Nadeau et al., 2024).

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 $\alpha = (\alpha_1, \ldots, \alpha_k)$0 correspond to the Kreweras lattice of noncrossing partitions of $\alpha = (\alpha_1, \ldots, \alpha_k)$1.
• The GKM graph of $\alpha = (\alpha_1, \ldots, \alpha_k)$2 is the subgraph of the Cayley graph of $\alpha = (\alpha_1, \ldots, \alpha_k)$3 on $\alpha = (\alpha_1, \ldots, \alpha_k)$4, with edge relations governed by Bruhat covers that remain inside $\alpha = (\alpha_1, \ldots, \alpha_k)$5 (Bergeron et al., 16 Aug 2025).
• 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 (Bergeron et al., 16 Aug 2025, Nadeau et al., 2024).

6. Equivariant Extensions, Generalizations, and Further Directions

The equivariant theory describes $\alpha = (\alpha_1, \ldots, \alpha_k)$6 as a quotient of $\alpha = (\alpha_1, \ldots, \alpha_k)$7 by a suitable ideal $\alpha = (\alpha_1, \ldots, \alpha_k)$8 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) (Bergeron et al., 16 Aug 2025).

Extensions include:

• An $\alpha = (\alpha_1, \ldots, \alpha_k)$9-colored generalization yielding dimensions given by Raney numbers (Nadeau et al., 2024).
• 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 (Rhoades et al., 2017).
• 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 (Bergeron et al., 2022).

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 $1 \leq i_1 < \cdots < i_k \leq n$0 is the cohomology ring of $1 \leq i_1 < \cdots < i_k \leq n$1, carries a regular $1 \leq i_1 < \cdots < i_k \leq n$2-action, is Gorenstein and Poincaré dual, and has a Schubert basis indexed by permutations. In contrast, $1 \leq i_1 < \cdots < i_k \leq n$3:

• Admits no natural $1 \leq i_1 < \cdots < i_k \leq n$4-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 (Nadeau et al., 2024, Bergeron et al., 16 Aug 2025).
• 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	$1 \leq i_1 < \cdots < i_k \leq n$5 (smooth)	Reducible toric complex
Canonical basis	Schubert polynomials	Forest polynomials
Hilbert series	Eulerian numbers	Narayana/Catalan numbers
$1 \leq i_1 < \cdots < i_k \leq n$6-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 (Bergeron et al., 16 Aug 2025, Nadeau et al., 2024, Nadeau et al., 2024).