Higher Specht Basis in Algebraic Combinatorics

• Higher Specht basis is a framework in algebraic combinatorics that provides an explicit construction of bases—using polynomials, diagrams, and tableaux—that decompose Sₙ-modules into Specht modules.
• It integrates classical constructions with modern diagrammatic models like webs, jellyfish, and M-diagrams to capture cyclic sieving, branching rules, and stable behaviors.
• The theory extends to diverse settings, including coinvariant rings, Hessenberg varieties, and stable symmetric functions, offering practical insights for representation theory and combinatorial applications.

In algebraic combinatorics and the representation theory of symmetric groups, a higher Specht basis is a basis of an $S_n$-module that is organized constituentwise by Specht modules and is usually given by explicit polynomials, monomials, or diagrams. A precise formulation used in the Hessenberg-variety setting is the following: if an $S_n$-module $R$ decomposes as $R\cong\bigoplus_\lambda c_\lambda V_\lambda$, then a higher Specht basis is a basis $$B=\bigsqcup_\lambda\bigsqcup_{j=1}^{c_\lambda} B_{\lambda,j}$$ with each $B_{\lambda,j}$ a basis of the $j$th copy of $V_\lambda$ (Salois, 2024). In the cited literature, the term appears in several closely related settings: the Ariki–Terasoma–Yamada polynomial basis for the coinvariant ring and its generalizations, web and jellyfish bases for flamingo Specht modules, bases for diagonal and Hessenberg cohomological models, and stable constructions for direct limits and infinite symmetric groups (Gillespie et al., 2020).

1. Foundational polynomial construction

The basic higher Specht construction is formulated in the polynomial ring $\mathbb Q[X_n]=\mathbb Q[x_1,\dots,x_n]$ with the natural $S_n$-action by permutation of variables. For a partition $S_n$0, a standard Young tableau $S_n$1 has row-stabilizer $S_n$2 and column-stabilizer $S_n$3, and the Young symmetrizer is

$S_n$4

Given $S_n$5, let $S_n$6 be the value of the cocharge tableau $S_n$7 in the box of $S_n$8 labeled $S_n$9, define

$R$0

and set

$R$1

where $R$2 (Zemel, 11 May 2025). The normalization by $R$3 is explicit in the finite-variable theory and is used to make the $R$4 compatibility transparent. These polynomials are homogeneous of degree $R$5, where $R$6 is the total cocharge of $R$7, and they transform under $R$8 by the sign character (Zemel, 11 May 2025).

This construction recovers the classical Specht polynomial in a special case. When the auxiliary tableau is chosen in the minimal way, one obtains the ordinary Specht polynomial up to a scalar, and when $R$9 one recovers the classical Specht polynomial in the normalization used by Zemel (Zemel, 11 May 2025, Zemel, 11 May 2025). In the coinvariant quotient

$R\cong\bigoplus_\lambda c_\lambda V_\lambda$0

the collection of higher Specht polynomials yields a basis compatible with the decomposition of the regular representation into irreducible Specht modules (Gillespie et al., 2020).

A further generalization replaces the cocharge tableau by an arbitrary semistandard tableau $R\cong\bigoplus_\lambda c_\lambda V_\lambda$1 of shape $R\cong\bigoplus_\lambda c_\lambda V_\lambda$2 and total entry-sum $R\cong\bigoplus_\lambda c_\lambda V_\lambda$3. Writing

$R\cong\bigoplus_\lambda c_\lambda V_\lambda$4

and

$R\cong\bigoplus_\lambda c_\lambda V_\lambda$5

one obtains, for fixed $R\cong\bigoplus_\lambda c_\lambda V_\lambda$6, a basis $R\cong\bigoplus_\lambda c_\lambda V_\lambda$7 of an irreducible $R\cong\bigoplus_\lambda c_\lambda V_\lambda$8-submodule $R\cong\bigoplus_\lambda c_\lambda V_\lambda$9 inside $$B=\bigsqcup_\lambda\bigsqcup_{j=1}^{c_\lambda} B_{\lambda,j}$$0 (Zemel, 11 May 2025). As $$B=\bigsqcup_\lambda\bigsqcup_{j=1}^{c_\lambda} B_{\lambda,j}$$1 and $$B=\bigsqcup_\lambda\bigsqcup_{j=1}^{c_\lambda} B_{\lambda,j}$$2 vary, the homogeneous degree-$$B=\bigsqcup_\lambda\bigsqcup_{j=1}^{c_\lambda} B_{\lambda,j}$$3 piece decomposes as

$$B=\bigsqcup_\lambda\bigsqcup_{j=1}^{c_\lambda} B_{\lambda,j}$$4

so the multiplicity of $$B=\bigsqcup_\lambda\bigsqcup_{j=1}^{c_\lambda} B_{\lambda,j}$$5 is the number of semistandard $$B=\bigsqcup_\lambda\bigsqcup_{j=1}^{c_\lambda} B_{\lambda,j}$$6-tableaux of total weight $$B=\bigsqcup_\lambda\bigsqcup_{j=1}^{c_\lambda} B_{\lambda,j}$$7 (Zemel, 11 May 2025).

2. Coinvariant generalizations and orbitwise refinements

The higher Specht philosophy extends beyond the classical coinvariant ring. For

$$B=\bigsqcup_\lambda\bigsqcup_{j=1}^{c_\lambda} B_{\lambda,j}$$8

an extended higher Specht basis is given by

$$B=\bigsqcup_\lambda\bigsqcup_{j=1}^{c_\lambda} B_{\lambda,j}$$9

with $B_{\lambda,j}$0 a vector of nonnegative integers satisfying

$B_{\lambda,j}$1

These elements descend to a basis of $B_{\lambda,j}$2, and the graded Frobenius series is

$B_{\lambda,j}$3

(Gillespie et al., 2020).

The same paper formulates a semistandard higher Specht basis conjecture for the Garsia–Procesi modules $B_{\lambda,j}$4, where $B_{\lambda,j}$5, and proves it when $B_{\lambda,j}$6 has at most two rows. In the two-row case $B_{\lambda,j}$7, the candidate basis is indexed by semistandard tableaux $B_{\lambda,j}$8 together with standard tableaux $B_{\lambda,j}$9, and the proof uses the Garsia–Procesi recursion and a block-lower-triangular transition matrix argument (Gillespie et al., 2020). For Griffin’s modules $j$0, a full theorem is established in the one-row-plus-one case: when $j$1, the elements

$j$2

descend to a basis of $j$3 (Gillespie et al., 2020).

A distinct refinement decomposes non-transitive ordered-partition actions into orbit modules. For a subset $j$4, Zemel defines

$j$5

and

$j$6

Then

$j$7

and

$j$8

so the higher Specht basis respects the orbit decomposition of the ordered-partition action (Zemel, 11 May 2025). The same framework lifts the classical branching rule by two explicit operations: bar-insertion gives

$j$9

while star-insertion gives

$V_\lambda$0

(Zemel, 11 May 2025).

3. Web and jellyfish models for flamingo Specht modules

A major diagrammatic development realizes certain higher Specht bases by webs. For $V_\lambda$1, Patrias, Pechenik, and Striker construct an invariant-ring model in which the multidegree-$V_\lambda$2 piece realizes $V_\lambda$3, and they index a basis by noncrossing set partitions of $V_\lambda$4 into $V_\lambda$5 blocks of size at least $V_\lambda$6 (Patrias et al., 2021). For such a partition $V_\lambda$7, the web invariant is

$V_\lambda$8

where $V_\lambda$9 is the set of jellyfish tableaux of content $\mathbb Q[X_n]=\mathbb Q[x_1,\dots,x_n]$0 and $\mathbb Q[X_n]=\mathbb Q[x_1,\dots,x_n]$1 is a product of top-justified minors. The basis is controlled by a five-term skein relation, and linear independence is proved by exhibiting distinct leading monomials (Patrias et al., 2021). This recovers the classical $\mathbb Q[X_n]=\mathbb Q[x_1,\dots,x_n]$2 web basis when $\mathbb Q[X_n]=\mathbb Q[x_1,\dots,x_n]$3, and the $\mathbb Q[X_n]=\mathbb Q[x_1,\dots,x_n]$4 case matches the skein basis for $\mathbb Q[X_n]=\mathbb Q[x_1,\dots,x_n]$5.

The flamingo generalization treats partitions

$\mathbb Q[X_n]=\mathbb Q[x_1,\dots,x_n]$6

For an ordered set partition $\mathbb Q[X_n]=\mathbb Q[x_1,\dots,x_n]$7 of $\mathbb Q[X_n]=\mathbb Q[x_1,\dots,x_n]$8 into $\mathbb Q[X_n]=\mathbb Q[x_1,\dots,x_n]$9 blocks each of size at least $S_n$0, the associated jellyfish polynomial is

$S_n$1

where $S_n$2 is the set of $S_n$3-jellyfish tableaux and $S_n$4 is a product of minors of an $S_n$5 matrix $S_n$6 (Fraser et al., 2023). Via the map $S_n$7 with the sign-twisted diagonal matrix $S_n$8, these invariants lie in the homogeneous coordinate ring of $S_n$9, and they can also be realized as tensor invariants of explicit bipartite tensor diagrams $S_n$00 (Fraser et al., 2023).

The behavior depends sharply on $S_n$01. For $S_n$02, the noncrossing-partition family is a basis of $S_n$03, recovering the pennant web basis. For $S_n$04, one can choose exactly one noncrossing ordered partition $S_n$05 for each $S_n$06 of size $S_n$07, and the family $S_n$08 is a basis of the hook Specht module $S_n$09. For $S_n$10, the noncrossing family is linearly independent and gives a basis of a well-behaved subspace, but not of the entire module (Fraser et al., 2023). This directly rules out the common extrapolation from the hook and pennant cases to all flamingo shapes. The same paper records a $S_n$11-term skein in the hook case and, for general $S_n$12, a $S_n$13-term higher Plücker recurrence, while conjecturing that an $S_n$14-weakly noncrossing enlargement should produce a full basis (Fraser et al., 2023).

4. Three-row bases: M-diagrams and rotation-invariant webs

For the three-row rectangular shape $S_n$15, Zhu proves that M-diagrams form a basis of the Specht module $S_n$16 (Zhu, 2023). An M-diagram is a fork diagram on $S_n$17 boundary points in which the left arcs among all forks are pairwise non-crossing and the right arcs are pairwise non-crossing. The resulting basis sits between the classical polytabloid basis and the non-elliptic $S_n$18 web basis, and all three transition matrices are unitriangular with respect to the left-weak Bruhat order (Zhu, 2023). The paper states that, from the point of view of higher Specht theory, these diagrams realize a parabolic Kazhdan–Lusztig-type basis for the Hecke module underlying $S_n$19.

A further refinement, specialized to the three-row flamingo shape $S_n$20, is the rotation-invariant web basis indexed by augmented $S_n$21-webs $S_n$22 (Kim, 2024). These are planar bipartite normal plabic graphs embedded in a disk with boundary vertices $S_n$23, white vertices of degree exactly $S_n$24, black vertices of degree at least $S_n$25, no faces of degree $S_n$26, and exceedance

$S_n$27

(Kim, 2024). There is a natural bijection

$S_n$28

where $S_n$29 denotes $S_n$30-weakly noncrossing set partitions (Kim, 2024).

The $S_n$31-action is described combinatorially by local skein rules once a perfect orientation is chosen. These rules include crossing reduction at adjacent boundary legs, square-face removal, double-edge collapse, and leaf and $S_n$32-valent reductions (Kim, 2024). The long cycle acts by boundary rotation, yielding cyclic sieving with the fake-degree polynomial

$S_n$33

If $S_n$34 is odd, $S_n$35 exhibits genuine cyclic sieving; if $S_n$36 is even, the result is signed sieving (Kim, 2024). The construction extends the jellyfish invariants of Fraser, Patrias, Pechenik, and Striker, and it is closely related to Lam’s weblike subgraph expansion into classical $S_n$37 web invariants (Kim, 2024).

5. Diagonal and geometric realizations

Under the diagonal action of $S_n$38 on two sets of variables $S_n$39 and $S_n$40, Gillespie defines two-variable higher Specht polynomials

$S_n$41

where $S_n$42 is the Young anti-symmetrizer and $S_n$43 are exponent vectors (Gillespie, 2024). If the set $S_n$44 is linearly independent, then its span is a copy of the irreducible $S_n$45-module $S_n$46. The main application is the hook-shape Garsia–Haiman module $S_n$47 for $S_n$48, where modified cocharge labelings $S_n$49 and $S_n$50 attached to a second tableau $S_n$51 define

$S_n$52

As $S_n$53 ranges over pairs of standard tableaux of the same shape, these polynomials form a higher Specht basis of $S_n$54 and refine the ordinary decomposition into irreducibles (Gillespie, 2024). The same paper derives a doubly graded Frobenius formula in terms of the statistics $S_n$55 and $S_n$56.

A different geometric realization arises in the cohomology of regular semisimple Hessenberg varieties of type $S_n$57. Salois constructs two sets of monomials, $S_n$58 and $S_n$59, and proves that $S_n$60 is a $S_n$61-basis of $S_n$62 (Salois, 2024). In this basis, the elements of $S_n$63 are $S_n$64-fixed, while each block

$S_n$65

spans a copy of the Specht module $S_n$66, so

$S_n$67

The construction also gives a permutation-basis refinement and weight-preserving bijections with $S_n$68-tableaux and pairs $S_n$69 of shape $S_n$70 (Salois, 2024). Analogous statements hold for the transpose Hessenberg function $S_n$71.

6. Stable limits and terminological extensions

The finite-variable theory admits a stable limit. Zemel proves that if $S_n$72 and $S_n$73 fixes $S_n$74, then

$S_n$75

and from this obtains a stable higher Specht power series

$S_n$76

of degree $S_n$77 for each $S_n$78 (Zemel, 11 May 2025). A more general stable framework is developed in the ring of eventually symmetric functions

$S_n$79

where one defines stable generalized higher Specht polynomials $S_n$80 indexed by infinite semi-standard and standard tableaux (Zemel, 11 May 2025). As $S_n$81 varies, these polynomials form a basis of an irreducible $S_n$82-module $S_n$83, the direct-limit analogue of a finite Specht module. The same paper introduces a filtration by the number of nonzero entries in the first row and proves that successive quotients are maximal completely reducible subrepresentations (Zemel, 11 May 2025).

A separate, explicitly terminological extension appears in the completed ring of symmetric functions. In “Specht modules decompose as alternating sums of restrictions of Schur modules,” the basis elements $S_n$84 are called the higher-Specht or stable-Specht basis and are defined by inverting stable restriction from Schur modules (Assaf et al., 2018). Their Schur expansions alternate in sign by degree, and their multiplication is governed by stable Kronecker coefficients:

$S_n$85

This usage is related by representation-theoretic motivation, but it is not the same construction as the ATY polynomial basis (Assaf et al., 2018).

Taken together, these constructions show that “higher Specht basis” is best understood as a family of representation-compatible bases rather than a single object. In the polynomial, web, cohomological, and stable settings, the common feature is the same: an explicit basis that exhibits individual copies of Specht modules inside a larger $S_n$86-module, often together with branching, skein, or grading data that is invisible in a generic basis.