Abstract: | Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let $ \mathfrak{B}_n^{(f)} Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let
\mathfrakBn(f) \mathfrak{B}_n^{(f)} be the two-sided ideal of the Brauer algebra
\mathfrakBn( - 2m ) {\mathfrak{B}_n}\left( { - 2m} \right) over K generated by e
1
e
3⋯
e
2f-1 where 0 ≤ f ≤ n/2]. Let HTf ?n \mathcal{H}\mathcal{T}_f^{ \otimes n} be the subspace of partial-harmonic tensors of valence f in V
⊗n
. In this paper we prove that dimHTf ?n \mathcal{H}\mathcal{T}_f^{ \otimes n} and dim
\textEn\textdK\textSp(V)( V ?n \mathord | / |
\vphantom V ?n V ?n V ?n\mathfrakBn(f) ) {\text{En}}{{\text{d}}_{K{\text{Sp}}(V)}}\left( {{{{V^{ \otimes n}}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}} {{V^{ \otimes n}}}}} \right.} {{V^{ \otimes n}}}}\mathfrak{B}_n^{(f)}} \right) are both independent of K, and the natural homomorphism from
\mathfrakBn( - 2m ) \mathord | / |
\vphantom ( - 2m ) \mathfrakBn(f) \mathfrakBn(f) {\mathfrak{B}_n}{{\left( { - 2m} \right)} \mathord{\left/{\vphantom {{\left( { - 2m} \right)} {\mathfrak{B}_n^{(f)}}}} \right.} {\mathfrak{B}_n^{(f)}}} to
\textEn\textdK\textSp(V)( V ?n \mathord | / |
\vphantom V ?n V ?n V ?n\mathfrakBn(f) ) {\text{En}}{{\text{d}}_{K{\text{Sp}}(V)}}\left( {{{{V^{ \otimes n}}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}} {{V^{ \otimes n}}}}} \right.} {{V^{ \otimes n}}}}\mathfrak{B}_n^{(f)}} \right) is always surjective. We show that HTf ?n \mathcal{H}\mathcal{T}_f^{ \otimes n} has a Weyl filtration and is isomorphic to the dual of
V ?n\mathfrakBn(f) \mathord | / |
\vphantom V ?n\mathfrakBn(f) V V ?n\mathfrakBn( f + 1 ) {{{{V^{ \otimes n}}\mathfrak{B}_n^{(f)}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}\mathfrak{B}_n^{(f)}} V}} \right.} V}^{ \otimes n}}\mathfrak{B}_n^{\left( {f + 1} \right)} as an
\textSp(V) - ( \mathfrakBn( - 2m ) \mathord | / |
\vphantom ( - 2m ) \mathfrakBn( f + 1 ) \mathfrakBn( f + 1 ) ) {\text{Sp}}(V) - \left( {{\mathfrak{B}_n}{{\left( { - 2m} \right)} \mathord{\left/{\vphantom {{\left( { - 2m} \right)} {\mathfrak{B}_n^{\left( {f + 1} \right)}}}} \right.} {\mathfrak{B}_n^{\left( {f + 1} \right)}}}} \right) -bimodule. We obtain an
\textSp(V) - \mathfrakBn {\text{Sp}}(V) - {\mathfrak{B}_n} -bimodules filtration of V
⊗n
such that each successive quotient is isomorphic to some
?( l) ?zg,l\mathfrakBn \nabla \left( \lambda \right) \otimes {z_{g,\lambda }}{\mathfrak{B}_n} with λ ⊢ n 2g, ℓ(λ)≤m and 0 ≤ g ≤ n/2], where ∇(λ) is the co-Weyl module associated to λ and z
g,λ is an explicitly constructed maximal vector of weight λ. As a byproduct, we show that each right
\mathfrakBn {\mathfrak{B}_n} -module
zg,l\mathfrakBn {z_{g,\lambda }}{\mathfrak{B}_n} is integrally defined and stable under base change. |