Let $V = \mathbb{R}^{2n}$ be the standard representation of the symplectic group $\text{Sp}(2n,\mathbb{R})$, and let $\{a_1,b_1,\ldots,a_n,b_n\}$ be the standard symplectic basis for $V$. Let $$W \subset \left(\wedge^2 V\right)^{\otimes 2}$$ be the $\text{Sp}(2n,\mathbb{R})$-subrepresentation spanned by the elements $$\{\text{$(a_i \wedge b_i) \otimes (a_j \wedge b_j)$ $|$ $1 \leq i,j \leq n$}\}.$$ Is there a nice description of $W$?

EDIT: Here is one small observation that breaks this up into two problems. The tensor square is the direct sum of the alternating and symmetric tensors, so $W$ is the direct sum of its projections to these two factors. In other words, what we need to do is determine the $\text{Sp}(2n,\mathbb{R})$-subrepresentation spanned by

$$\{\text{$(a_i \wedge b_i) \wedge (a_j \wedge b_j)$ $|$ $1 \leq i < j \leq n$}\}$$ in $\wedge^2(\wedge^2 V))$ and by $$\{\text{$(a_i \wedge b_i) \cdot (a_j \wedge b_j)$ $|$ $1 \leq i,j \leq n$}\}$$ in $\text{Sym}^2(\wedge^2 V))$. We've now reached the limits of my knowledge of representation theory!

More generally, many variants of this question have been arising in my research recently and I'm sure there is some way to answer them with a computer (at least for specific values of $n$). How can I do this?

By the way, I am not a representation theorist, so I apologize if this question is too easy.

$\DeclareMathOperator\Sp{Sp}\DeclareMathOperator\Sym{Sym}$Let $V = \mathbb{R}^{2n}$ be the standard representation of the symplectic group $\Sp(2n,\mathbb{R})$, and let $\{a_1,b_1,\dotsc,a_n,b_n\}$ be the standard symplectic basis for $V$. Let $$W \subset \left(\bigwedge\nolimits^2 V\right)^{\otimes 2}$$ be the $\Sp(2n,\mathbb{R})$-subrepresentation spanned by the elements $$\{\text{$(a_i \wedge b_i) \otimes (a_j \wedge b_j)$ $|$ $1 \leq i,j \leq n$}\}.$$ Is there a nice description of $W$?

EDIT: Here is one small observation that breaks this up into two problems. The tensor square is the direct sum of the alternating and symmetric tensors, so $W$ is the direct sum of its projections to these two factors. In other words, what we need to do is determine the $\Sp(2n,\mathbb{R})$-subrepresentation spanned by

$$\{(a_i \wedge b_i) \wedge (a_j \wedge b_j) \mid 1 \leq i < j \leq n\}$$ in $\bigwedge\nolimits^2(\bigwedge\nolimits^2 V))$ and by $$\{(a_i \wedge b_i) \cdot (a_j \wedge b_j) \mid 1 \leq i,j \leq n\}$$ in $\Sym^2(\bigwedge\nolimits^2 V))$. We've now reached the limits of my knowledge of representation theory!

More generally, many variants of this question have been arising in my research recently and I'm sure there is some way to answer them with a computer (at least for specific values of $n$). How can I do this?

By the way, I am not a representation theorist, so I apologize if this question is too easy.

Let $V = \mathbb{R}^{2n}$ be the standard representation of the symplectic group $\text{Sp}(2n,\mathbb{R})$, and let $\{a_1,b_1,\ldots,a_n,b_n\}$ be the standard symplectic basis for $V$. Let $$W \subset \left(\wedge^2 V\right)^{\otimes 2}$$ be the $\text{Sp}(2n,\mathbb{R})$-subrepresentation spanned by the elements $$\{\text{$(a_i \wedge b_i) \otimes (a_j \wedge b_j)$ $|$ $1 \leq i,j \leq n$}\}.$$ Is there a nice description of $W$?

More generally, many variants of this question have been arising in my research recently and I'm sure there is some way to answer them with a computer (at least for specific values of $n$). How can I do this?

By the way, I am not a representation theorist, so I apologize if this question is too easy.

Let $V = \mathbb{R}^{2n}$ be the standard representation of the symplectic group $\text{Sp}(2n,\mathbb{R})$, and let $\{a_1,b_1,\ldots,a_n,b_n\}$ be the standard symplectic basis for $V$. Let $$W \subset \left(\wedge^2 V\right)^{\otimes 2}$$ be the $\text{Sp}(2n,\mathbb{R})$-subrepresentation spanned by the elements $$\{\text{$(a_i \wedge b_i) \otimes (a_j \wedge b_j)$ $|$ $1 \leq i,j \leq n$}\}.$$ Is there a nice description of $W$?

EDIT: Here is one small observation that breaks this up into two problems. The tensor square is the direct sum of the alternating and symmetric tensors, so $W$ is the direct sum of its projections to these two factors. In other words, what we need to do is determine the $\text{Sp}(2n,\mathbb{R})$-subrepresentation spanned by

$$\{\text{$(a_i \wedge b_i) \wedge (a_j \wedge b_j)$ $|$ $1 \leq i < j \leq n$}\}$$ in $\wedge^2(\wedge^2 V))$ and by $$\{\text{$(a_i \wedge b_i) \cdot (a_j \wedge b_j)$ $|$ $1 \leq i,j \leq n$}\}$$ in $\text{Sym}^2(\wedge^2 V))$. We've now reached the limits of my knowledge of representation theory!

More generally, many variants of this question have been arising in my research recently and I'm sure there is some way to answer them with a computer (at least for specific values of $n$). How can I do this?

By the way, I am not a representation theorist, so I apologize if this question is too easy.