MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $n_\lambda^K$ be the number all semi-standard Young tableaux of size $K$ with Ferrers diagrams diagram $\lambda$ (i.e. the number of all fillings of $\lambda$ with natural numbers with weakly increasing rows and strictly increasing columns, the content of which sum to $K$).

To each diagram $\lambda$ there corresponds a representation of $GL(2m,C)$ and the sum $\sum_{\mu:l(\mu)\le 2m}N_{\lambda\mu} \mu$ of diagrams $\mu$, into which this representation decomposes upon restriction to $O(2m,C)$ ([1]eq. 25.37).
Here $l(\mu)=\mu_1^\prime + \mu_2^\prime$ denotes the sum of the lengths of the first and the second column of $\mu$.

The multiplicites $N_{\lambda\mu} = \sum_\delta N_{\delta \mu \lambda}$ are the sums of the Littlewood Richardson coefficients $N_{\delta \mu \lambda}$ over all even subdiagrams $\delta$ of $\lambda$, i.e. $\delta_i$ even, $\delta_i\le \lambda_i$, $\delta_1\ge \delta_2\ge \dots$.

Then it is known from string theory, that for $m=12$ and for each $K\ge 2$ the sum of diagrams $\sum_{\lambda\mu:l(\mu) \le 2m} n_\lambda^K N_{\lambda\mu} \mu $ combines with multiplicities $l_\sigma^{K,m}\ge 0$ to families $\sigma$ of diagrams which arise upon restriction of representations $\sigma$ of $O(2m+1,C)$ to $O(2m,C)$ ([1]eq. 25.34)

$$\sum_{\lambda\mu:l(\mu)\le 2m} n_\lambda^K N_{\lambda\mu} \mu = \sum_\sigma l_\sigma^{K,m}(\sum_{\bar\sigma in \sigma}\bar\sigma)$$

where $\bar \sigma$ is in the family $\sigma$ if

$$\sigma_1\ge \bar\sigma_1\ge\sigma_2\ge\bar\sigma_2\ge \dots $$

Does this relation hold for other $m$? Can one show that its validity for $m$ implies it for smaller $m^\prime$?

[1] William Fulton and Joe Harris, Representation Theory, Springer Verlag, New York, 1991

share|cite|improve this question
The preview displayed my LaTeX correctly. Unluckily, in the post the conjecture displays only it's LaTeX source. It would be fine, if someone could correct this. – Norbert Dragon Jun 11 '13 at 18:01
I think it's the indentation. – darij grinberg Jun 11 '13 at 18:08
fixed the LaTeX – Carlo Beenakker Jun 12 '13 at 13:02

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.