The Brauer category and invariant theory

Lehrer, 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 -