Abstract:Inspired by Vershik and Okounkov's inductive and Lie-theoretic approach to the representation theory of the symmetric group, we extend their point of view to reducible $S_n$-modules. Using induced representations along Young's lattice, we define an orthonormal weight basis for the regular representation of $S_n$ and use its rigidity to exhibit dualities between the left and right actions of $S_n$ and between restriction and induction of representations. We also show our weight basis is equivalent to the basis of matrix units corresponding to Young's seminormal form. We then realize $\mathbb{C}[S_n]$ in a subspace of the polynomial ring $R[z_1, \ldots , z_n]$. The induced weight decomposition allows us to map this subspace of polynomials to the ring of coinvariants, similar to the work of Ariki, Terasoma, and Yamada on higher Specht polynomials but perhaps a bit more intrinsic as we work in terms of an orthonormal basis. Our construction makes explicit the connection between the charge statistic on standard tableaux (which corresponds to degree in the coinvariant ring) and the action of adjacent transpositions on weight vectors in the seminormal representation of $S_n$. It also exposes the inductive structure of $S_n$ hidden in the coinvariant ring. All our constructions are elementary, and we are curious about their geometric meaning.

Block Basis for Coinvariants of Modular Pseudo-reflection Groups

Block Basis for Modular Coinvariants of Pseudo-Reflection Groups

Higher Specht bases for generalizations of the coinvariant ring

A Basis of the Q-Schur Module

A conjectural basis for the $(1,2)$-bosonic-fermionic coinvariant ring

Modular Representations and Coinvariants of the Dihedral Group

Dual Canonical Bases for the Quantum Special Linear Group and Invariant Subalgebras

The geometry of quasisymmetric coinvariants

Modular invariants of a vector and a covector for some elementary abelian p-groups

On blocks with one modular character

Block Separations and Inclusions

Landau's Theorem for pi-blocks of pi-separable groups

Invariants and semi-invariants in the cohomology of the complement of a reflection arrangement

From Young's Lattice to Coinvariants

Blocks with abelian defect groups of rank 2 and one simple module

Invariant Constituents and Invariant Blocks under Coprime Action

Modular invariants of a vector and a covector for some elementary abelian $p$-groups

Descent of Splendid Rickard Equivalences in GL_n(q)

Conformal blocks for Galois covers of algebraic curves

A geometric model for blocks of Frobenius kernels

Theta block conjecture for Siegel paramodular forms