8
$\begingroup$

Background

Seminormal Basis of Specht modules of $\mathfrak{S}_n$

Let $\lambda$ be a partition of $n$. A $\lambda$-tableau is a bijection $\mathfrak{t}:\lambda \to \{1,2,...,n\}$. We say a tableau, $\mathfrak{t}$, is standard if the entries are increasing along the rows and columns. We let $\mathcal{T}_{\lambda}$ denote the set of standard $\lambda$-tableaux.

Given some tableau $\mathfrak{t}$ and two integers $1\leq i < j\leq n$, we define the axial distance, $a(i,j)$, as follows: if $i$ occurs in row $i_0$ and column $i_1$ and $j$ occurs in row $j_0$ and column $j_1$, then $a(i,j)=(i_0-i_1) -(j_0-j_1)$.

If $\mathfrak{t}$ is a $\lambda$-tableau and $w \in \Sigma_n$ let $w\mathfrak{t}$ be the tableau obtained from $\mathfrak{t}$ by replacing each entry in $\mathfrak{t}$ by its image under $w$. If $\mathfrak{t}$ is a standard $\lambda$-tableau, we set $\mathfrak{t}_{i \leftrightarrow i+1}$ equal to $w \mathfrak{t}$ if this is still a standard $\lambda$-tableau, and 0 otherwise.

For a given partition $\lambda$ of $n$, the Specht module ${\mathbf{S}(\lambda)}$ has a basis given by the set of standard $\lambda$-tableaux. With respect to this basis the generators act as follows \begin{align*} {\rho_{\lambda}}(s_{i,i+1})\mathfrak{t} = \frac{1}{a(i,i+1)} \mathfrak{t} + \left(1 + \frac{1}{a(i,i+1)}\right) \mathfrak{t}_{i \leftrightarrow i+1} \end{align*}

This basis is very compatible with induction and restriction rules (see Seminormal representations of Weyl groups and Iwahori-Hecke algebras, Arun Ram).

The Littlewood--Richardson rule

The LR rule describes the coefficients in the restriction $$\mathbf{S}(\nu)\downarrow_{\mathfrak{S}_{r_1}\times \mathfrak{S}_{r_2}} \cong \oplus c^{\nu}_{\lambda,\mu} \mathbf{S}(\lambda) \boxtimes \mathbf{S}(\mu)$$

There are many formulations of this rule. For example, the Jeu de Taquin version maps standard skew-tableaux of shape $\nu/\lambda$ to those of shape $\mu$. The LR coef, $c^{\nu}_{\lambda, \mu}$ is the cardinality of the fiber $f^{-1}(\mathfrak{t})$ for any $\mu$-tableau $\mathfrak{t}$.

So we have a map from $\nu$-tableaux to $\lambda \times \mu$-tableaux. The fibers give the LR coefficients. However, this map is not a homomorphism of Specht modules.

Question:

Is there a reference for an explicit construction of such a homomorphism? I.e. a formulation of the LR rule which is compatible with the seminormal bases of Specht modules.

$\endgroup$

1 Answer 1

5
$\begingroup$

These references solve the analogous problem for the general linear groups:

with some work, using Schur-Weyl duality, you should be able to solve your problem.

$\endgroup$
3
  • 2
    $\begingroup$ @Bruce: Without making any guess about how easy or hard it is to use Schur-Weyl duality here, I'd just add that access to the three papers varies. The first was posted (in at least some version) on the arXiv at front.math.ucdavis.edu/0407.5468, while the AMS Bulletin articles are all freely available online through the AMS webpage. The third paper is older, with access depending entirely on local libraries. $\endgroup$ Jan 3, 2013 at 23:40
  • $\begingroup$ The third paper is downloadable from sciencedirect.com/science/article/pii/0021869388902372 . $\endgroup$ Jul 14, 2013 at 12:04
  • 1
    $\begingroup$ I have added links for all of these, and separate links for the papers in Elsevier journals (though they are available without subscription now) $\endgroup$ Sep 24, 2021 at 1:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.