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

DOI10.4007/ANNALS.2012.176.3.12zbMATH Open1263.20043arXiv1102.3221OpenAlexW2121147264MaRDI QIDQ1928623FDOQ1928623

Gus I. Lehrer, R. B. Zhang

Publication date: 3 January 2013

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

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.

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

zbMATH Keywords

idempotentsinvariant theoryirreducible representationsSchur-Weyl dualitycellular algebrasBrauer algebrasmultiplicitiesorthogonal groups

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)

Cites Work

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

Cited In (29)

• Title not available (Why is that?)
• Invariants of the orthosymplectic Lie superalgebra and super Pfaffians
• The representation theory of Brauer categories. I: triangular categories
• On the representation theory of partition (easy) quantum groups
• THE ANNIHILATOR OF TENSOR SPACE IN THE -ROOK MONOID ALGEBRA
• Gradings on walled Brauer algebras and Khovanov's arc algebra
• Enumeration of idempotents in planar diagram monoids
• Tensor decomposition, parafermions, level-rank duality, and reciprocity law for vertex operator algebras
• Tensor ideals, Deligne categories and invariant theory
• Presentations for rook partition monoids and algebras and their singular ideals
• On tensor spaces for rook monoid algebras
• Partition algebras Pk(n) with 2k>n and the fundamental theorems of invariant theory for the symmetric group Sn
• Affine walled Brauer algebras and super Schur-Weyl duality
• On the subalgebra of invariant elements: finiteness and immersions
• SEMISIMPLICITY OF HECKE AND (WALLED) BRAUER ALGEBRAS
• A groupoid approach to regular \(\ast \)-semigroups
• Presentations for wreath products involving symmetric inverse monoids and categories
• Schur-Weyl duality for the Brauer algebra and the ortho-symplectic Lie superalgebra
• The diagram category of framed tangles and invariants of quantized symplectic group
• The first fundamental theorem of invariant theory for the orthosymplectic supergroup
• Cellular structures using \(U_q\)-tilting modules
• Sandwich semigroups in diagram categories
• An integral second fundamental theorem of invariant theory for partition algebras
• Classification of congruences of twisted partition monoids
• Planar diagrams for local invariants of graphs in surfaces
• Congruence Lattices of Ideals in Categories and (Partial) Semigroups
• Covariant derivatives of eigenfunctions along parallel tensors over space forms and a conjecture motivated by the vertex algebraic structure
• The Brauer category and invariant theory
• On the second fundamental theorem of invariant theory for the orthosymplectic supergroup

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)