The second fundamental theorem of invariant theory for the orthogonal group.

DOI10.4007/ANNALS.2012.176.3.12MaRDI QIDQ1928623zbMATH OpenOpenAlexFDO

Authors Gus I. Lehrer, R. B. Zhang

Publication date 3 January 2013

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

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

zbMATH Keywords

Brauer algebrascellular algebrasidempotentsinvariant theoryirreducible representationsmultiplicitiesorthogonal groupsSchur-Weyl duality

Mathematics Subject Classification ID

Geometric invariant theory (14L24) Representations of quivers and partially ordered sets (16G20) Hecke algebras and their representations (20C08) Representation theory for linear algebraic groups (20G05)

Abstract: Let $V=C^n$ be endowed with an orthogonal form and $G=Or(V)$ be the corresponding orthogonal group. Brauer showed in 1937 that there is a surjective homomorphism $u:B_r(n)oEn{d}_G(V^{otimesr})$, where $B_r(n)$ is the $r$-string Brauer algebra with parameter $n$. However the kernel of $u$ has remained elusive. In this paper we show that, in analogy with the case of $GL(V)$, for $rgeqn+1$, $u$ has kernel which is generated by a single idempotent element $E$, and we give a simple explicit formula for $E$. Using the theory of cellular algebras, we show how $E$ may be used to determine the multiplicities of the irreducible representations of $Or(V)$ in $V^{otr}$. We also show how our results extend to the case where $C$ is replaced by an appropriate field of positive characteristic, and comment on quantum analogues of our results.

Review text

Let \(V\) be a complex, finite-dimensional vector space of dimension \(n\) with an orthogonal form and let \(O(V)\) be the corresponding orthogonal group. There is an associated algebra \(B_r(n)\) called the \(r\)-string Brauer algebra, and a surjective homomorphism \(\nu\colon B_r(n)\to\text{End}_{O(V)}(V^{\otimes r})\) by a result of \textit{R. Brauer} [Ann. Math. (2) 38, 857-872 (1937; Zbl 0017.39105)]. In the present paper, the authors show that the kernel of \(\nu\) is generated by a single idempotent element \(E\in B_r(n)\) which they describe explicitly.

Recommendations

• Invariants of the special orthogonal group and an enhanced Brauer category
• The Brauer category and invariant theory
• Schur-Weyl duality for orthogonal groups

Cites work

• A characteristic free approach to invariant theory
• A criterion on the semisimple Brauer algebras. II.
• A quantum analogue of the first fundamental theorem of classical invariant theory
• A Temperley-Lieb analogue for the BMW algebra.
• Braids, Link Polynomials and a New Algebra
• Cellular algebras
• Diagram algebras, Hecke algebras and decomposition numbers at roots of unity
• Hecke algebra representations of braid groups and link polynomials
• scientific article; zbMATH DE number 1262825 (Why is no real title available?)
• scientific article; zbMATH DE number 1304610 (Why is no real title available?)
• scientific article; zbMATH DE number 1950436 (Why is no real title available?)
• scientific article; zbMATH DE number 2152778 (Why is no real title available?)
• Introduction to quantum groups
• Lie groups. An approach through invariants and representations
• On algebras which are connected with the semisimple continuous groups
• On endomorphisms of quantum tensor space
• On tensor spaces for Birman-Murakami-Wenzl algebras
• On the heat equation and the index theorem
• On the quasi-heredity of Birman-Wenzl algebras
• On the semisimplicity of the Brauer centralizer algebras
• Strongly multiplicity free modules for Lie algebras and quantum groups
• The fundamental theorems of vector invariants
• The invariant theory of n n matrices

Cited in

(30)

• Tensor ideals, Deligne categories and invariant theory
• Presentations for rook partition monoids and algebras and their singular ideals
• Enumeration of idempotents in planar diagram monoids
• Classification of congruences of twisted partition monoids
• Covariant derivatives of eigenfunctions along parallel tensors over space forms and a conjecture motivated by the vertex algebraic structure
• The representation theory of Brauer categories. I: triangular categories
• The diagram category of framed tangles and invariants of quantized symplectic group
• Invariants of the orthosymplectic Lie superalgebra and super Pfaffians
• Cellular structures using \(U_q\)-tilting modules
• Presentations for wreath products involving symmetric inverse monoids and categories
• On tensor spaces for rook monoid algebras
• Partition algebras \(\mathsf {P}_k(n)\) with \(2k>n\) and the fundamental theorems of invariant theory for the symmetric group \(\mathsf {S}_n\)
• Schur-Weyl duality for the Brauer algebra and the ortho-symplectic Lie superalgebra
• On the representation theory of partition (easy) quantum groups
• Gradings on walled Brauer algebras and Khovanov's arc algebra
• Semisimplicity of Hecke and (walled) Brauer algebras
• The annihilator of tensor space in the \(q\)-rook monoid algebra
• The cellular second fundamental theorem of invariant theory for classical groups
• Sandwich semigroups in diagram categories
• Tensor decomposition, parafermions, level-rank duality, and reciprocity law for vertex operator algebras
• An integral second fundamental theorem of invariant theory for partition algebras
• Congruences on infinite partition and partial Brauer monoids
• Planar diagrams for local invariants of graphs in surfaces
• Congruence Lattices of Ideals in Categories and (Partial) Semigroups
• A groupoid approach to regular -semigroups
• On the subalgebra of invariant elements: finiteness and immersions
• A first fundamental theorem of invariant theory for the quantum queer superalgebra
• Stanley decompositions of modules of covariants
• The Brauer category and invariant theory
• Affine walled Brauer algebras and super Schur-Weyl duality

This page was built for publication: The second fundamental theorem of invariant theory for the orthogonal group.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1928623)