Universal tensor categories generated by dual pairs

Abstract: Let

V_{*} o t i m e s V i g h t a r r o w m a t h b b C

be a non-degenerate pairing of countable-dimensional complex vector spaces

V

and

V_{*}

. The Mackey Lie algebra

m a t h f r a k g = m a t h f r a k {g l}^{M} (V, V_{*})

corresponding to this paring consists of all endomorphisms

v a r p h i

of

V

for which the space

V_{*}

is stable under the dual endomorphism

v a r p h i^{*} : V^{*} i g h t a r r o w V^{*}

. We study the tensor Grothendieck category

m a t h b b T

generated by the

m a t h f r a k g

-modules

V

,

V_{*}

and their algebraic duals

V^{*}

and

V_{*}^{*}

. This is an analogue of categories considered in prior literature, the main difference being that the trivial module

m a t h b b C

is no longer injective in

m a t h b b T

. We describe the injective hull

I

of

m a t h b b C

in

m a t h b b T

, and show that the category

m a t h b b T

is Koszul. In addition, we prove that

I

is endowed with a natural structure of commutative algebra. We then define another category

_{I} m a t h b b T

of objects in

m a t h b b T

which are free as

I

-modules. Our main result is that the category

_{I} m a t h b b T

is also Koszul, and moreover that

_{I} m a t h b b T

is universal among abelian

m a t h b b C

-linear tensor categories generated by two objects

X

,

Y

with fixed subobjects

X^{'} h o o k r i g h t a r r o w X

,

Y^{'} h o o k r i g h t a r r o w Y

and a pairing

X o t i m e s Y i g h t a r r o w e x t e x t b f 1

where extbf{1} is the monoidal unit. We conclude the paper by discussing the orthogonal and symplectic analogues of the categories

m a t h b b T

and

_{I} m a t h b b T

.

Recommendations

Cites Work

Cited In (3)

This page was built for publication: Universal tensor categories generated by dual pairs