Invariants of the special orthogonal group and an enhanced Brauer category

DOI10.4171/LEM/63-1/2-6zbMath1385.16040arXiv1612.03998WikidataQ130146942 ScholiaQ130146942MaRDI QIDQ1747822

Publication date: 27 April 2018

Published in: L'Enseignement Mathématique. 2e Série (Search for Journal in Brave)

Abstract: We first give a short intrinsic, diagrammatic proof of the First Fundamental Theorem of invariant theory (FFT) for the special orthogonal group $ ext{SO}_m(mathbb{C})$, given the FFT for $ ext{O}_m(mathbb{C})$. We then define, by means of a presentation with generators and relations, an enhanced Brauer category $widetilde{mathcal{B}}(m)$ by adding a single generator to the usual Brauer category $mathcal{B}(m)$, together with four relations. We prove that our category $widetilde{mathcal{B}}(m)$ is actually (and remarkably) {em equivalent} to the category of representations of $ ext{SO}_m$ generated by the natural representation. The FFT for $ ext{SO}_m$ amounts to the surjectivity of a certain functor $mathcal{F}$ on $ ext{Hom}$ spaces, while the Second Fundamental Theorem for $ ext{SO}_m$ says simply that $mathcal{F}$ is injective on $ ext{Hom}$ spaces. This theorem provides a diagrammatic means of computing the dimensions of spaces of homomorphisms between tensor modules for $ ext{SO}_m$ (for any $m$). These methods will be applied to the case of the orthosymplectic Lie algebras $ ext{osp}(m|2n)$, where the super-Pfaffian enters, in a future work.

Full work available at URL: https://arxiv.org/abs/1612.03998

zbMATH Keywords

invariants diagrams Brauer category

Mathematics Subject Classification ID

Actions of groups and semigroups; invariant theory (associative rings and algebras) (16W22) Vector and tensor algebra, theory of invariants (15A72) Simple, semisimple, reductive (super)algebras (17B20)