Abstract:Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let \( \mathfrak{B}_n^{(f)} \) be the two-sided ideal of the Brauer algebra \( {\mathfrak{B}_n}\left( { - 2m} \right) \) over K generated by e 1 e 3⋯ e 2f-1 where 0 ≤ f ≤ [n/2]. Let \( \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 dim\( \mathcal{H}\mathcal{T}_f^{ \otimes n} \) and dim \( {\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 \( {\mathfrak{B}_n}{{\left( { - 2m} \right)} \mathord{\left/{\vphantom {{\left( { - 2m} \right)} {\mathfrak{B}_n^{(f)}}}} \right.} {\mathfrak{B}_n^{(f)}}} \) to \( {\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 \( \mathcal{H}\mathcal{T}_f^{ \otimes n} \) has a Weyl filtration and is isomorphic to the dual of \( {{{{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 \( {\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 \( {\text{Sp}}(V) - {\mathfrak{B}_n} \)-bimodules filtration of V ⊗n such that each successive quotient is isomorphic to some \( \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 \( {\mathfrak{B}_n} \)-module \( {z_{g,\lambda }}{\mathfrak{B}_n} \) is integrally defined and stable under base change.

On Tensor Spaces for Birman–Murakami–Wenzl Algebras

PARTIALLY HARMONIC TENSORS AND QUANTIZED SCHUR–WEYL DUALITY

BMW Algebra, Quantized Coordinate Algebra and Type C Schur–Weyl Duality

On tensor spaces over Hecke algebras of type BnBn

On a Theorem of Lehrer and Zhang

Dual Partially Harmonic Tensors and Brauer-Schur-Weyl Duality

Specht Filtrations and Tensor Spaces for the Brauer Algebra

Symmetrizers and Antisymmetrizers for the BMW Algebra

Representations of braid group and Birman-Wenzl algebra

On some algebraic and geometric aspects of the quantum unitary group

Blocks of Birman-Murakami-Wenzl Algebras

Realization of U-q(sp(2n)) Within the Differential Algebra on Quantum Symplectic Space

Tensor Triangular Geometry for Quantum Groups

On a Theorem of Lehrer and

Singular parameters for the Birman-Murakami-Wenzl algebra

From local nets to Euler elements

Tensor networks for non-invertible symmetries in 3+1d and beyond

Canonical bases of $q$-Brauer algebras and $\imath$Schur dualities

On Higher Analogues of Courant Algebroids

Multiboson Realizations of Lie and Quant Urn Algebras

Bimodule structure of the mixed tensor product over $U_{q} s\ell(2|1)$ and quantum walled Brauer algebra