Skip to main content Accessibility help
×
Home

THE SECOND FUNDAMENTAL THEOREM OF INVARIANT THEORY FOR THE ORTHOSYMPLECTIC SUPERGROUP

  • G. I. LEHRER (a1) and R. B. ZHANG (a2)

Abstract

The first fundamental theorem of invariant theory for the orthosymplectic supergroup scheme $\text{OSp}(m|2n)$ states that there is a full functor from the Brauer category with parameter $m-2n$ to the category of tensor representations of $\text{OSp}(m|2n)$ . This has recently been proved using algebraic supergeometry to relate the problem to the invariant theory of the general linear supergroup. In this work, we use the same circle of ideas to prove the second fundamental theorem for the orthosymplectic supergroup. Specifically, we give a linear description of the kernel of the surjective homomorphism from the Brauer algebra to endomorphisms of tensor space, which commute with the orthosymplectic supergroup. The main result has a clear and succinct formulation in terms of Brauer diagrams. Our proof includes, as special cases, new proofs of the corresponding second fundamental theorems for the classical orthogonal and symplectic groups, as well as their quantum analogues, which are independent of the Capelli identities. The results of this paper have led to the result that the map from the Brauer algebra ${\mathcal{B}}_{r}(m-2n)$ to endomorphisms of $V^{\otimes r}$ is an isomorphism if and only if $r<(m+1)(n+1)$ .

Copyright

Footnotes

Hide All

This work has been supported by the Australian Research Council.

Footnotes

References

Hide All
[1]Atiyah, M., Bott, R. and Patodi, V. K., On the heat equation and the index theorem, Invent. Math. 19 (1973), 279330.
[2]Baha Balantekin, A. and Bars, I., Representations of supergroups, J. Math. Phys. 22(8) (1981), 18101818.
[3]Berele, A., Invariant theory for matrices over the Grassmann algebra, Adv. Math. 237 (2013), 3361.
[4]Berele, A. and Regev, A., Hook Young diagrams with applications to combinatorics and to representations of Lie superalgebras, Adv. Math. 64 (1987), 118175.
[5]Deligne, P. and Morgan, J. W., “Notes on supersymmetry (following Joseph Bernstein)”, in Quantum Fields and Strings: A Course for Mathematicians, Vol. 1, 2 (Princeton, NJ, 1996/1997), American Mathematical Society, Providence, RI, 1999, 4197.
[6]Deligne, P., Lehrer, G. I. and Zhang, R. B., The first fundamental theorem of invariant theory for the orthosymplectic super group, Adv. Math. 327 (2018), 424.
[7]Ehrig, M. and Stroppel, C., Schur–Weyl duality for the Brauer algebra and the ortho-symplectic Lie superalgebra, Math. Z. 284(1–2) (2016), 595613.
[8]Dondi, P. H. and Jarvis, P. D., Diagram and superfield techniques in the classical superalgebras, J. Phys. A 14(3) (1981), 547563.
[9]Goodman, R. and Wallach, N. R., Representations and Invariants of the Classical Groups, Cambridge University Press, Cambridge, 2003, third corrected printing.
[10]Graham, J. J. and Lehrer, G. I., Cellular algebras, Invent. Math. 123 (1996), 134.
[11]Graham, J. J. and Lehrer, G. I., The representation theory of affine Temperley–Lieb algebras, Enseign. Math. (2) 44(3–4) (1998), 173218.
[12]Graham, J. J. and Lehrer, G. I., Diagram algebras, Hecke algebras and decomposition numbers at roots of unity, Ann. Sci. Éc. Norm. Supér. (4) 36 (2003), 479524.
[13]Graham, J. J. and Lehrer, G. I., “Cellular algebras and diagram algebras in representation theory”, Representation Theory of Algebraic Groups and Quantum Groups, Advance Studies in Pure Mathematics 40, 141173. Math. Soc. Japan, Tokyo, 2004.
[14]Kac, V., Lie superalgebras, Adv. Math. 26(1) (1977), 896.
[15]Lehrer, G. I. and Zhang, R. B., Strongly multiplicity free modules for Lie algebras and quantum groups, J. Algebra 306 (2006), 138174.
[16]Lehrer, G. I. and Zhang, R. B., “A Temperley–Lieb analogue for the BMW algebra”, in Representation Theory of Algebraic Groups and Quantum Groups, Progress in Mathematics 284, Birkhäuser/Springer, New York, 2010, 155190.
[17]Lehrer, G. I. and Zhang, R. B., The second fundamental theorem of invariant theory for the orthogonal group, Ann. of Math. (2) 176 (2012), 20312054.
[18]Lehrer, G. I. and Zhang, R. B., The Brauer category and invariant theory, J. Eur. Math. Soc. 17 (2015), 23112351.
[19]Lehrer, G. I. and Zhang, R. B., The first fundamental theorem of invariant theory for the orthosymplectic supergroup, Comm. Math. Phys. 349 (2017), 661702.
[20]Lehrer, G. I., Zhang, H. and Zhang, R. B., A quantum analogue of the first fundamental theorem of invariant theory, Comm. Math. Phys. 301 (2011), 131174.
[21]Procesi, C., Lie Groups. An Approach through Invariants and Representations, Universitext, Springer, New York, 2007, xxiv+596 pp.
[22]Salam, A. and Strathdee, J., Super-gauge transformations, Nuclear Phys. B76 (1974), 477482.
[23]Scheunert, M., The Theory of Lie Superalgebras; An Introduction, Lecture Notes in Mathematics 716, Springer, Berlin–Heidelberg–New York, 1979.
[24]Scheunert, M. and Zhang, R. B., The general linear supergroup and its Hopf superalgebra of regular functions, J. Algebra 254(1) (2002), 4483.
[25]Sergeev, A., An analogue of the classical theory of invariants for Lie superalgebras, Funktsional. Anal. i Prilozhen. 26(3) (1992), 8890; (Russian) translation in Funct. Anal. Appl. 26(3) (1992), 223–225.
[26]Sergeev, A., An analog of the classical invariant theory for Lie superalgebras. I, II, Michigan Math. J. 49(1) (2001), 113146; 147–168.
[27]Varadarajan, V. S., Supersymmetry for Mathematicians: An Introduction, Courant Lecture Notes in Mathematics 11, New York University, Courant Institute of Mathematical Sciences, New York, 2004, American Mathematical Society, Providence, RI.
[28]De Witt, B., “Supermanifolds”, in Cambridge Monographs on Mathematical Physics, 2nd ed., Cambridge University Press, Cambridge, 1992.
[29]Zhang, Y., On the second fundamental theorem of invariant theory for the orthosymplectic supergroup, J. Algebra 501 (2018), 394434.
MathJax
MathJax is a JavaScript display engine for mathematics. For more information see http://www.mathjax.org.

MSC classification

THE SECOND FUNDAMENTAL THEOREM OF INVARIANT THEORY FOR THE ORTHOSYMPLECTIC SUPERGROUP

  • G. I. LEHRER (a1) and R. B. ZHANG (a2)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed