Dual partially harmonic tensors and Brauer-Schur-Weyl duality.

Abstract: Let

V

be a

2 m

-dimensional symplectic vector space over an algebraically closed field

K

. Let

m b b_{n}^{(f)}

be the two-sided ideal of the Brauer algebra

m b b_{n} (- 2 m)

over

K

generated by

e_{1} e_{3} ... e_{2 f - 1}

, where

0 l e q f l e q [n / 2]

. Let

m a t h c a l {H T}_{f}^{o t i m e s n}

be the subspace of partially harmonic tensors of valence

f

in

V^{o t i m e s n}

. In this paper, we prove that

d i m m a t h c a l {H T}_{f}^{o t i m e s n}

and

d i m E n d_{K S p (V)} B i g l (V^{o t i m e s n} / V^{o t i m e s n} m b b_{n}^{(f)} B i g r)

are both independent of

K

, and the natural homomorphism from

m b b_{n} (- 2 m) / m b b_{n}^{(f)}

to

E n d_{K S p (V)} B i g l (V^{o t i m e s n} / V^{o t i m e s n} m b b_{n}^{(f)} B i g r)

is always surjective. We show that

m a t h c a l {H T}_{f}^{o t i m e s n}

has a Weyl filtration and is isomorphic to the dual of

V^{o t i m e s n} m b b_{n}^{(f)} / V^{o t i m e s n} m b b_{n}^{(f + 1)}

as a

S p (V)

-

(m b b_{n} (- 2 m) / m b b_{n}^{(f + 1)})

-bimodule. We obtain a

S p (V)

-

m b b_{n}

-bimodules filtration of

V^{o t i m e s n}

such that each successive quotient is isomorphic to some

a b l a (l a m) o t i m e s z_{g, l a m} m b b_{n}

with

l a m v d a s h n - 2 g

,

e l l (l a m) l e q m

and

0 l e q g l e q [n / 2]

, where

a b l a (l a m)

is the co-Weyl module associated to

l a m

and

z_{g, l a m}

is an explicitly constructed maximal vector of weight

l a m

. As a byproduct, we show that each right

m b b_{n}

-module

z_{g, l a m} m b b_{n}

is integrally defined and stable under base change.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Dual partially harmonic tensors and Brauer-Schur-Weyl duality.