Skip to main content
Notice removed Draw attention by CommunityBot
Bounty Ended with no winning answer by CommunityBot
deleted 9 characters in body
Source Link
Sam Hopkins
  • 24.2k
  • 5
  • 97
  • 171

$\DeclareMathOperator\Spin{Spin}\DeclareMathOperator\Sp{Sp}$More specifically, let $S_k$ be the spin representation of $\Spin(2k+1)$. Then is there are action of $\Sp(2r-2)$ on $\bigotimes^{2r}S_k$ which commutes with the action of $\Spin(2k+1)$?

I am not asking for a duality. That is, I do not require that each isotypic vector space is an irreducible representation of $\Sp(2r-2)$.

The motivation is that the space of invariant tensors in $\bigotimes^{2r}S_k$ looks like the irreducible representation of $\Sp(2r-2)$ with highest weight $k\omega_{r-1}$. For instance, for $k=1$, both vector spaces have dimension given by the Catalan numbers $C_r = \frac{1}{r+1}\binom{2r}{r}$. More generally, for arbitrary $k$ the dimension of both of these spaces is $$ \prod_{1\leq i \leq j \leq r-1} \frac{i+j+2k}{i+j} $$ which is the number of so-called "$k$-fans of nested Dyck paths of semilength $r$" (see, e.g., Section 3.1.6 of Serrano and Stump - Maximal fillings of moon polyominoes, simplicial complexes, and Schubert polynomialsFederico Ardila - Algebraic and geometric methods in enumerative combinatorics).

$\DeclareMathOperator\Spin{Spin}\DeclareMathOperator\Sp{Sp}$More specifically, let $S_k$ be the spin representation of $\Spin(2k+1)$. Then is there are action of $\Sp(2r-2)$ on $\bigotimes^{2r}S_k$ which commutes with the action of $\Spin(2k+1)$?

I am not asking for a duality. That is, I do not require that each isotypic vector space is an irreducible representation of $\Sp(2r-2)$.

The motivation is that the space of invariant tensors in $\bigotimes^{2r}S_k$ looks like the irreducible representation of $\Sp(2r-2)$ with highest weight $k\omega_{r-1}$. For instance, for $k=1$, both vector spaces have dimension given by the Catalan numbers $C_r = \frac{1}{r+1}\binom{2r}{r}$. More generally, for arbitrary $k$ the dimension of both of these spaces is $$ \prod_{1\leq i \leq j \leq r-1} \frac{i+j+2k}{i+j} $$ which is the number of so-called "$k$-fans of nested Dyck paths of semilength $r$" (see, e.g., Serrano and Stump - Maximal fillings of moon polyominoes, simplicial complexes, and Schubert polynomials).

$\DeclareMathOperator\Spin{Spin}\DeclareMathOperator\Sp{Sp}$More specifically, let $S_k$ be the spin representation of $\Spin(2k+1)$. Then is there are action of $\Sp(2r-2)$ on $\bigotimes^{2r}S_k$ which commutes with the action of $\Spin(2k+1)$?

I am not asking for a duality. That is, I do not require that each isotypic vector space is an irreducible representation of $\Sp(2r-2)$.

The motivation is that the space of invariant tensors in $\bigotimes^{2r}S_k$ looks like the irreducible representation of $\Sp(2r-2)$ with highest weight $k\omega_{r-1}$. For instance, for $k=1$, both vector spaces have dimension given by the Catalan numbers $C_r = \frac{1}{r+1}\binom{2r}{r}$. More generally, for arbitrary $k$ the dimension of both of these spaces is $$ \prod_{1\leq i \leq j \leq r-1} \frac{i+j+2k}{i+j} $$ which is the number of so-called "$k$-fans of nested Dyck paths of semilength $r$" (see, e.g., Section 3.1.6 of Federico Ardila - Algebraic and geometric methods in enumerative combinatorics).

Name of paper
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Does a symplectic group act on a tensor power of a spin representation?

More$\DeclareMathOperator\Spin{Spin}\DeclareMathOperator\Sp{Sp}$More specifically, let $S_k$ be the spin representation of $\mathrm{Spin}(2k+1)$$\Spin(2k+1)$. Then is there are action of $\mathrm{Sp}(2r-2)$$\Sp(2r-2)$ on $\otimes^{2r}S_k$$\bigotimes^{2r}S_k$ which commutes with the action of $\mathrm{Spin}(2k+1)$$\Spin(2k+1)$?

I am not asking for a duality. That is, I do not require that each isotypic vector space is an irreducible representation of $\mathrm{Sp}(2r-2)$$\Sp(2r-2)$.

The motivation is that the space of invariant tensors in $\otimes^{2r}S_k$$\bigotimes^{2r}S_k$ looks like the irreducible representation of $\mathrm{Sp}(2r-2)$$\Sp(2r-2)$ with highest weight $k\omega_{r-1}$. For instance, for $k=1$, both vector spaces have dimension given by the Catalan numbers $C_r = \frac{1}{r+1}\binom{2r}{r}$. More generally, for arbitrary $k$ the dimension of both of these spaces is $$ \prod_{1\leq i \leq j \leq r-1} \frac{i+j+2k}{i+j} $$ which is the number of so-called "$k$-fans of nested Dyck paths of semilength $r$" (see, e.g., https://arxiv.org/abs/1009.4690Serrano and Stump - Maximal fillings of moon polyominoes, simplicial complexes, and Schubert polynomials).

Does a symplectic group act on tensor power of spin representation?

More specifically, let $S_k$ be the spin representation of $\mathrm{Spin}(2k+1)$. Then is there are action of $\mathrm{Sp}(2r-2)$ on $\otimes^{2r}S_k$ which commutes with the action of $\mathrm{Spin}(2k+1)$?

I am not asking for a duality. That is, I do not require that each isotypic vector space is an irreducible representation of $\mathrm{Sp}(2r-2)$.

The motivation is that the space of invariant tensors in $\otimes^{2r}S_k$ looks like the irreducible representation of $\mathrm{Sp}(2r-2)$ with highest weight $k\omega_{r-1}$. For instance, for $k=1$, both vector spaces have dimension given by the Catalan numbers $C_r = \frac{1}{r+1}\binom{2r}{r}$. More generally, for arbitrary $k$ the dimension of both of these spaces is $$ \prod_{1\leq i \leq j \leq r-1} \frac{i+j+2k}{i+j} $$ which is the number of so-called "$k$-fans of nested Dyck paths of semilength $r$" (see, e.g., https://arxiv.org/abs/1009.4690).

Does a symplectic group act on a tensor power of a spin representation?

$\DeclareMathOperator\Spin{Spin}\DeclareMathOperator\Sp{Sp}$More specifically, let $S_k$ be the spin representation of $\Spin(2k+1)$. Then is there are action of $\Sp(2r-2)$ on $\bigotimes^{2r}S_k$ which commutes with the action of $\Spin(2k+1)$?

I am not asking for a duality. That is, I do not require that each isotypic vector space is an irreducible representation of $\Sp(2r-2)$.

The motivation is that the space of invariant tensors in $\bigotimes^{2r}S_k$ looks like the irreducible representation of $\Sp(2r-2)$ with highest weight $k\omega_{r-1}$. For instance, for $k=1$, both vector spaces have dimension given by the Catalan numbers $C_r = \frac{1}{r+1}\binom{2r}{r}$. More generally, for arbitrary $k$ the dimension of both of these spaces is $$ \prod_{1\leq i \leq j \leq r-1} \frac{i+j+2k}{i+j} $$ which is the number of so-called "$k$-fans of nested Dyck paths of semilength $r$" (see, e.g., Serrano and Stump - Maximal fillings of moon polyominoes, simplicial complexes, and Schubert polynomials).

Notice added Draw attention by Sam Hopkins
Bounty Started worth 100 reputation by Sam Hopkins
added 253 characters in body; edited tags
Source Link
Sam Hopkins
  • 24.2k
  • 5
  • 97
  • 171

More specifically, let $S_k$ be the spin representation of $\mathrm{Spin}(2k+1)$. Then is there are action of $\mathrm{Sp}(2r-2)$ on $\otimes^{2r}S_k$ which commutes with the action of $\mathrm{Spin}(2k+1)$?

I am not asking for a duality. That is, I do not require that each isotypic vector space is an irreducible representation of $\mathrm{Sp}(2r-2)$.

The motivation is that the space of invariant tensors in $\otimes^{2r}S_k$ looks like the irreducible representation of $\mathrm{Sp}(2r-2)$ with highest weight $k\omega_{r-1}$. For instance, for $k=1$, both vector spaces have dimension given by the Catalan numbers $C_r = \frac{1}{r+1}\binom{2r}{r}$. More generally, for arbitrary $k$ the dimension of both of these spaces is $$ \prod_{1\leq i \leq j \leq r-1} \frac{i+j+2k}{i+j} $$ which is the number of so-called "$k$-fans of nested Dyck paths of semilength $r$" (see, e.g., https://arxiv.org/abs/1009.4690).

More specifically, let $S_k$ be the spin representation of $\mathrm{Spin}(2k+1)$. Then is there are action of $\mathrm{Sp}(2r-2)$ on $\otimes^{2r}S_k$ which commutes with the action of $\mathrm{Spin}(2k+1)$?

I am not asking for a duality. That is, I do not require that each isotypic vector space is an irreducible representation of $\mathrm{Sp}(2r-2)$.

The motivation is that the space of invariant tensors in $\otimes^{2r}S_k$ looks like the irreducible representation of $\mathrm{Sp}(2r-2)$ with highest weight $k\omega_{r-1}$. For instance, for $k=1$, both vector spaces have dimension given by the Catalan numbers.

More specifically, let $S_k$ be the spin representation of $\mathrm{Spin}(2k+1)$. Then is there are action of $\mathrm{Sp}(2r-2)$ on $\otimes^{2r}S_k$ which commutes with the action of $\mathrm{Spin}(2k+1)$?

I am not asking for a duality. That is, I do not require that each isotypic vector space is an irreducible representation of $\mathrm{Sp}(2r-2)$.

The motivation is that the space of invariant tensors in $\otimes^{2r}S_k$ looks like the irreducible representation of $\mathrm{Sp}(2r-2)$ with highest weight $k\omega_{r-1}$. For instance, for $k=1$, both vector spaces have dimension given by the Catalan numbers $C_r = \frac{1}{r+1}\binom{2r}{r}$. More generally, for arbitrary $k$ the dimension of both of these spaces is $$ \prod_{1\leq i \leq j \leq r-1} \frac{i+j+2k}{i+j} $$ which is the number of so-called "$k$-fans of nested Dyck paths of semilength $r$" (see, e.g., https://arxiv.org/abs/1009.4690).

Source Link
Bruce Westbury
  • 9.1k
  • 3
  • 31
  • 43
Loading