# The Brauer category and invariant theory

Journal of the European Mathematical Society (2015)

- Volume: 017, Issue: 9, page 2311-2351
- ISSN: 1435-9855

## Access Full Article

top## Abstract

top## How to cite

topLehrer, Gustav I., and Zhang, R. B.. "The Brauer category and invariant theory." Journal of the European Mathematical Society 017.9 (2015): 2311-2351. <http://eudml.org/doc/277374>.

@article{Lehrer2015,

abstract = {A category of Brauer diagrams, analogous to Turaev’s tangle category, is introduced, a presentation of the category is given, and full tensor functors are constructed from this category to the category of tensor representations of the orthogonal group O$(V)$ or the symplectic group Sp$(V)$ over any field of characteristic zero. The first and second fundamental theorems of invariant theory for these classical groups are generalised to the category theoretic setting. The major outcome is that we obtain presentations for the endomorphism algebras of the module $V^\{\otimes r\}$, which are new in the classical symplectic case and in the orthogonal and symplectic quantum case, while in the orthogonal classical case, the proof we give here is more natural than in our earlier work. These presentations are obtained by appending to the standard presentation of the Brauer algebra of degree $r$ one additional relation. This relation stipulates the vanishing of a single element of the Brauer algebra which is quasi-idempotent, and which we describe explicitly both in terms of diagrams and algebraically. In the symplectic case, if dim $V=2n$, the element is precisely the central idempotent in the Brauer subalgebra of degree $n+1$, which corresponds to its trivial representation. Since this is the Brauer algebra of highest degree which is semisimple, our generator is an exact analogue for the Brauer algebra of the Jones idempotent of the Temperley-Lieb algebra. In the orthogonal case the additional relation is also a quasi-idempotent in the integral Brauer algebra. Both integral and quantum analogues of these results are given, the latter of which involve the BMW algebras.},

author = {Lehrer, Gustav I., Zhang, R. B.},

journal = {Journal of the European Mathematical Society},

keywords = {Brauer category; invariant theory; second fundamental theorem; quantum group; Brauer category; invariant theory; second fundamental theorem; quantum group},

language = {eng},

number = {9},

pages = {2311-2351},

publisher = {European Mathematical Society Publishing House},

title = {The Brauer category and invariant theory},

url = {http://eudml.org/doc/277374},

volume = {017},

year = {2015},

}

TY - JOUR

AU - Lehrer, Gustav I.

AU - Zhang, R. B.

TI - The Brauer category and invariant theory

JO - Journal of the European Mathematical Society

PY - 2015

PB - European Mathematical Society Publishing House

VL - 017

IS - 9

SP - 2311

EP - 2351

AB - A category of Brauer diagrams, analogous to Turaev’s tangle category, is introduced, a presentation of the category is given, and full tensor functors are constructed from this category to the category of tensor representations of the orthogonal group O$(V)$ or the symplectic group Sp$(V)$ over any field of characteristic zero. The first and second fundamental theorems of invariant theory for these classical groups are generalised to the category theoretic setting. The major outcome is that we obtain presentations for the endomorphism algebras of the module $V^{\otimes r}$, which are new in the classical symplectic case and in the orthogonal and symplectic quantum case, while in the orthogonal classical case, the proof we give here is more natural than in our earlier work. These presentations are obtained by appending to the standard presentation of the Brauer algebra of degree $r$ one additional relation. This relation stipulates the vanishing of a single element of the Brauer algebra which is quasi-idempotent, and which we describe explicitly both in terms of diagrams and algebraically. In the symplectic case, if dim $V=2n$, the element is precisely the central idempotent in the Brauer subalgebra of degree $n+1$, which corresponds to its trivial representation. Since this is the Brauer algebra of highest degree which is semisimple, our generator is an exact analogue for the Brauer algebra of the Jones idempotent of the Temperley-Lieb algebra. In the orthogonal case the additional relation is also a quasi-idempotent in the integral Brauer algebra. Both integral and quantum analogues of these results are given, the latter of which involve the BMW algebras.

LA - eng

KW - Brauer category; invariant theory; second fundamental theorem; quantum group; Brauer category; invariant theory; second fundamental theorem; quantum group

UR - http://eudml.org/doc/277374

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.