Table of Contents
Fetching ...

Hook restriction coefficients

Sridhar P. Narayanan

TL;DR

This work tackles the restriction problem for GL_n representations after restricting to the S_n subgroup, with a focus on hook-shaped λ. It introduces a new nonrecursive expression for Specht polynomials q_μ and builds a generating-function framework to handle hook restriction coefficients r_{μ(k|ℓ)} via the Pieri rule, ultimately delivering a positive combinatorial interpretation in terms of supertableaux through two sign-reversing involutions. The key contributions are the nonrecursive Specht polynomial formula (Theorem th:specht), the generating-function formulation for hook coefficients, and the explicit combinatorial realization of r_{μ(k|ℓ)} and r_{μ[n](k|ℓ)} as fixed-point counts of SpT objects. These results illuminate the hook-case structure of restriction coefficients and connect to broader themes in character polynomials and FI-modules.

Abstract

The permutation matrices form a subgroup of $\text{GL}_n(\mathbb{C})$ that is isomorphic to the symmetric group $S_n$. Let $r_{μλ}$ denote the multiplicity of the irreducible representation $V_μ$ of $S_n$, corresponding to a partition $μ$ of $n$, in the restriction of an irreducible polynomial representation $W_λ(\mathbb{C})$ of $\text{GL}_n(\mathbb{C})$, corresponding to a partition $λ$ with at most $n$ parts. Finding a combinatorial interpretation for $r_{μλ}$ remains an open problem in algebraic combinatorics, called the \emph{restriction problem}. We derive a new nonrecursive expression for a character polynomial called the \emph{Specht polynomial} and use it to find a combinatorial interpretation of $r_{μλ}$ when $λ$ is a hook-shaped partition.

Hook restriction coefficients

TL;DR

This work tackles the restriction problem for GL_n representations after restricting to the S_n subgroup, with a focus on hook-shaped λ. It introduces a new nonrecursive expression for Specht polynomials q_μ and builds a generating-function framework to handle hook restriction coefficients r_{μ(k|ℓ)} via the Pieri rule, ultimately delivering a positive combinatorial interpretation in terms of supertableaux through two sign-reversing involutions. The key contributions are the nonrecursive Specht polynomial formula (Theorem th:specht), the generating-function formulation for hook coefficients, and the explicit combinatorial realization of r_{μ(k|ℓ)} and r_{μ[n](k|ℓ)} as fixed-point counts of SpT objects. These results illuminate the hook-case structure of restriction coefficients and connect to broader themes in character polynomials and FI-modules.

Abstract

The permutation matrices form a subgroup of that is isomorphic to the symmetric group . Let denote the multiplicity of the irreducible representation of , corresponding to a partition of , in the restriction of an irreducible polynomial representation of , corresponding to a partition with at most parts. Finding a combinatorial interpretation for remains an open problem in algebraic combinatorics, called the \emph{restriction problem}. We derive a new nonrecursive expression for a character polynomial called the \emph{Specht polynomial} and use it to find a combinatorial interpretation of when is a hook-shaped partition.
Paper Structure (7 sections, 11 theorems, 45 equations, 5 figures)

This paper contains 7 sections, 11 theorems, 45 equations, 5 figures.

Key Result

Proposition 3.2

For a partition $\beta$, let $B(\mu,\beta):= (-1)^{\sum x_i}{\mathbf x \choose \beta}q_{r(\mu)}(\mathbf x)\in \mathbb{C}[x_1,x_2,\dotsb]$. Then

Figures (5)

  • Figure 1: The Young diagram for the composition $(3,6,2,3)$.
  • Figure 2: The spot is coloured green. Flipping the tableau at the spot results in the tableau on the right, which is in $\text{ST}(\sigma(5,3),{\color{red}4},{10})$, where $\sigma=(12)$.
  • Figure 3: Flipping the tableau at the spot (coloured green) results in the tableau on the right, which is in $\text{ST}(\sigma(4,4,3,3),{\color{red}5},18)$ where $\sigma=(23)$.
  • Figure 4: Step $1 \leftrightarrow$ Step $2$a.
  • Figure 5: Step $2$a $\leftrightarrow$ Step $2$b.

Theorems & Definitions (27)

  • Example 2.1
  • Example 2.2
  • Remark 3.1: Notation
  • Proposition 3.2
  • proof
  • Example 3.3
  • Definition 3.4
  • Definition 3.5
  • Proposition 3.6
  • proof
  • ...and 17 more