Showing 1–33 of 33 results for author: Lehrer, G

Polar Brauer categories, infinitesimal braids and Lie superalgebra representations

Authors: Gustav Lehrer, Ruibin Zhang

Abstract: We define a class of monoidal categories whose morphisms are diagrams, and which are enhancements and generalisations of the Brauer category obtained by adjoining infinitesimal braids, "coupons" and poles. Properties of these categories are explored, particularly diagrammatic equations. We construct functors from certain of them to categories of representations of Lie algebras and superalgebras. A… ▽ More We define a class of monoidal categories whose morphisms are diagrams, and which are enhancements and generalisations of the Brauer category obtained by adjoining infinitesimal braids, "coupons" and poles. Properties of these categories are explored, particularly diagrammatic equations. We construct functors from certain of them to categories of representations of Lie algebras and superalgebras. Applications include a diagrammatic construction of the centre of the universal enveloping superalgebra and certain "characteristic identities", as well as an analysis of certain tensor representations. We show how classical diagram categories arising in invariant theory are special cases of our constructions, placing them in a single unified framework. △ Less

Submitted 30 March, 2024; originally announced April 2024.

Comments: 60 pages, 53 figures. arXiv admin note: text overlap with arXiv:2304.10174

MSC Class: 17B10; 17B35; 22E46; 16D90; 16S30; 20G05

A polar Brauer category and Lie superalgebra representations

Authors: G. I. Lehrer, R. B. Zhang

Abstract: We introduce a diagram category, study its structure, and investigate some of its applications to the representation theory of Lie algebras and Lie superalgebras. The morphisms of the category, which contains a subcategory isomorphic to the Brauer category, are linear combinations of `polar enhancements' of Brauer diagrams. The endomorphism algebra of each of its objects is a quotient of an alge… ▽ More We introduce a diagram category, study its structure, and investigate some of its applications to the representation theory of Lie algebras and Lie superalgebras. The morphisms of the category, which contains a subcategory isomorphic to the Brauer category, are linear combinations of `polar enhancements' of Brauer diagrams. The endomorphism algebra of each of its objects is a quotient of an algebra of chord diagrams. Analogues of the affine Temperley-Lieb category and Temperley-Lieb category of type B, whose structures are thoroughly understood, arise from particular quotients of our category. We construct a functor from our category to the full subcategory of modules for the Lie superalgebra $\mathfrak{osp}(V; ω)$ with objects $M\otimes V^{\otimes r}$ for all $r=0, 1, \dots$, where $M$ is an arbitrary module, and $V$ is the natural module. When $M$ is the universal enveloping superalgebra $\text{U}(\mathfrak{osp}(V; ω))$, this functor provides an effective tool for the study of $\text{U}(\mathfrak{osp}(V; ω))$. An analysis of this functor leads to a diagrammatic construction of explicit generators for the centre of the universal enveloping superalgebra and, in the special cases when $V$ is purely even or purely odd (i.e. the classical cases), categorical interpretations of certain widely studied ``characteristic identities'' of the orthogonal and symplectic Lie algebras. In the case $V=\mathbb{C}^{0|2}$ so that $\mathfrak{osp}(V; ω))=\mathfrak{sp}_2(\mathbb{C})$, we prove that our type B Temperley-Lieb category is isomorphic to a full subcategory of category $\mathcal O$ for $\mathfrak{sp}_2(\mathbb{C})$. △ Less

Submitted 20 April, 2023; originally announced April 2023.

Comments: 52 pages, 28 figures

MSC Class: Primary 16G30; 17B10; Secondary 22E46

Generalised Temperley-Lieb algebras of type $G(r,p,n)$

Authors: Gus Lehrer, Mengfan Lyu

Abstract: In an earlier work, we defined a ``generalised Temperley-Lieb algebra'' $TL_{r,1,n}$ corresponding to the imprimitive reflection group $G(r,1,n)$ as a quotient of the cyclotomic Hecke algebra. In this work we introduce the generalised Temperley-Lieb algebra $TL_{r,p,n}$ which corresponds to the complex reflection group $G(r,p,n)$. Our definition identifies $TL_{r,p,n}$ as the fixed-point subalgebr… ▽ More In an earlier work, we defined a ``generalised Temperley-Lieb algebra'' $TL_{r,1,n}$ corresponding to the imprimitive reflection group $G(r,1,n)$ as a quotient of the cyclotomic Hecke algebra. In this work we introduce the generalised Temperley-Lieb algebra $TL_{r,p,n}$ which corresponds to the complex reflection group $G(r,p,n)$. Our definition identifies $TL_{r,p,n}$ as the fixed-point subalgebra of $TL_{r,1,n}$ under a certain automorphism $σ$. We prove the cellularity of $TL_{r,p,n}$ by proving that $σ$ induces a special shift automorphism with respect to the cellular structure of $TL_{r,1,n}$. We also give a description of the cell modules of $TL_{r,p,n}$ and their decomposition numbers, and finally we point to how our algebras might be categorified and could lead to a diagrammatic theory. △ Less

Submitted 26 December, 2024; v1 submitted 17 November, 2022; originally announced November 2022.

MSC Class: 16G20; 20C08 (Primary); 20G42 (Secondary)

Diagram categories and invariant theory for classical groups and supergroups

Authors: G. I. Lehrer, R. B. Zhang

Abstract: We introduce the notion of a diagram category and discuss its application to the invariant theory of classical groups and super groups, with some indications concerning extensions to quantum groups and quantum super groups. Tensor functors from various diagram categories to categories of representnations are introduced and their properties investigated, leading to first and second fundamental theo… ▽ More We introduce the notion of a diagram category and discuss its application to the invariant theory of classical groups and super groups, with some indications concerning extensions to quantum groups and quantum super groups. Tensor functors from various diagram categories to categories of representnations are introduced and their properties investigated, leading to first and second fundamental theorems of invariant theory for classical super groups, which include the classical groups as special cases. Application of diagrammatic methods enables the constructionof a presentation for endomorphism algebras for te orthogonal and symplectic groups, leading to the solution ofproblems raised by the work of Brauer and Weyl. △ Less

Submitted 7 November, 2022; originally announced November 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:1207.5889

MSC Class: 16W22; 16S50

Milnor fibre homology complexes

Authors: Gus Lehrer, Yang Zhang

Abstract: Let $W$ be a finite Coxeter group. We give an algebraic presentation of what we refer to as ``the non-crossing algebra'', which is associated to the hyperplane complement of $W$ and to the cohomology of its Milnor fibre. This is used to produce simpler and more general chain (and cochain) complexes which compute the integral homology and cohomology groups of the Milnor fibre $F$ of $W$. In the pro… ▽ More Let $W$ be a finite Coxeter group. We give an algebraic presentation of what we refer to as ``the non-crossing algebra'', which is associated to the hyperplane complement of $W$ and to the cohomology of its Milnor fibre. This is used to produce simpler and more general chain (and cochain) complexes which compute the integral homology and cohomology groups of the Milnor fibre $F$ of $W$. In the process we define a new, larger algebra $\widetilde{A}$, which seems to be ``dual'' to the Fomin-Kirillov algebra, and in low ranks is linearly isomorphic to it. There is also a mysterious connection between $\widetilde{A}$ and the Orlik-Solomon algebra, in analogy with the fact that the Fomin-Kirillov algebra contains the coinvariant algebra of $W$. This analysis is applied to compute the multiplicities $\langle ρ, H^k(F,\mathbb{C})\rangle_W$ and $\langle ρ, H^k(M,\mathbb{C})\rangle_W$, where $M$ and $F$ are respectively the hyperplane complement and Milnor fibre associated to $W$ and $ρ$ is a representation of $W$. △ Less

Submitted 20 October, 2022; originally announced October 2022.

Comments: 43 pages

MSC Class: 20F55; 52C35; 32S55

Generalised Temperley-Lieb algebras of type $G(r,1,n)$

Authors: Gus Lehrer, Mengfan Lyu

Abstract: In this paper, we define a quotient of the cyclotomic Hecke algebra of type $G(r,1,n)$ as a generalisation of the Temperley-Lieb algebras of type $A$ and $B$. We establish a graded cellular structure for the generalised Temperley-Lieb algebra and, using the technology of $KLR$ algebras, determine the corresponding decomposition matrix. In this paper, we define a quotient of the cyclotomic Hecke algebra of type $G(r,1,n)$ as a generalisation of the Temperley-Lieb algebras of type $A$ and $B$. We establish a graded cellular structure for the generalised Temperley-Lieb algebra and, using the technology of $KLR$ algebras, determine the corresponding decomposition matrix. △ Less

Submitted 31 August, 2022; originally announced September 2022.

MSC Class: Primary 16G20; 20C08; Secondary 20G42

A factorisation theorem for the coinvariant algebra of a unitary reflection group

Authors: G. I. Lehrer

Abstract: We prove the following theorem. Let $G$ be a finite group generated by unitary reflections in a complex Hermitian space $V=\mathbb{C}^\ell$ and let $G'$ be any reflection subgroup of $G$. Let $\mathcal{H}(G)$ be the space of $G$-harmonic polynomials on $V$. There is a degree preserving isomorphism $ξ:\mathcal{H}(G')\otimes\mathcal{H}(G)^{G'}\overset{\sim}{\longrightarrow}\mathcal{H}$ of graded… ▽ More We prove the following theorem. Let $G$ be a finite group generated by unitary reflections in a complex Hermitian space $V=\mathbb{C}^\ell$ and let $G'$ be any reflection subgroup of $G$. Let $\mathcal{H}(G)$ be the space of $G$-harmonic polynomials on $V$. There is a degree preserving isomorphism $ξ:\mathcal{H}(G')\otimes\mathcal{H}(G)^{G'}\overset{\sim}{\longrightarrow}\mathcal{H}$ of graded $\mathcal{N}$-modules, where $\mathcal{N}:=N_{\rm{GL}(V)}(G)\cap N_{\rm{GL}(V)}(G')$ and $\mathcal{H}^{G'}$ is the space of $G'$-fixed points of $\mathcal{H}$. This generalises a result of Douglass and Dyer for parabolic subgroups of real reflection groups. △ Less

Submitted 9 January, 2020; v1 submitted 9 December, 2018; originally announced December 2018.

Comments: This version includes an application to reductive groups

MSC Class: 20F55

Schur-Weyl duality for certain infinite dimensional $\rm{U}_q(\mathfrak{sl}_2)$-modules

Authors: Kenji Iohara, Gus Lehrer, Ruibin Zhang

Abstract: Let $V$ be the two-dimensional simple module and $M$ be a projective Verma module for the quantum group of $\mathfrak{sl}_2$ at generic $q$. We show that for any $r\ge 1$, the endomorphism algebra of $M\otimes V^{\otimes r}$ is isomorphic to the type $B$ Temperley-Lieb algebra $\rm{TLB}_r(q, Q)$ for an appropriate parameter $Q$ depending on $M$. The parameter $Q$ is determined explicitly. We also… ▽ More Let $V$ be the two-dimensional simple module and $M$ be a projective Verma module for the quantum group of $\mathfrak{sl}_2$ at generic $q$. We show that for any $r\ge 1$, the endomorphism algebra of $M\otimes V^{\otimes r}$ is isomorphic to the type $B$ Temperley-Lieb algebra $\rm{TLB}_r(q, Q)$ for an appropriate parameter $Q$ depending on $M$. The parameter $Q$ is determined explicitly. We also use the cellular structure to determine precisely for which values of $r$ the endomorphism algebra is semisimple. A key element of our method is to identify the algebras $\rm{TLB}_r(q,Q)$ as the endomorphism algebras of the objects in a quotient category of the category of coloured ribbon graphs of Freyd-Yetter or the tangle diagrams of Turaev and Reshitikhin. △ Less

Submitted 7 January, 2019; v1 submitted 4 November, 2018; originally announced November 2018.

Comments: 45 pages, about 30 figures in xy-pic and tikz; some references have been added to the original version

MSC Class: 17B37; 20G42 (primary) 81R50 (secondary)

Parabolic subgroup orbits on finite root systems

Authors: M. J. Dyer, G. I. Lehrer

Abstract: Oshima's Lemma describes the orbits of parabolic subgroups of irreducible finite Weyl groups on crystallographic root systems. This note generalises that result to all root systems of finite Coxeter groups, and provides a self contained proof, independent of the representation theory of semisimple complex Lie algebras. Oshima's Lemma describes the orbits of parabolic subgroups of irreducible finite Weyl groups on crystallographic root systems. This note generalises that result to all root systems of finite Coxeter groups, and provides a self contained proof, independent of the representation theory of semisimple complex Lie algebras. △ Less

Submitted 2 August, 2017; originally announced August 2017.

MSC Class: 20F55 (Primary); 17B22 (Secondary)

Geometry of certain finite Coxeter group actions

Authors: M. J. Dyer, G. I. Lehrer

Abstract: We determine a fundamental domain for the diagonal action of a finite Coxeter group $W$ on $V^{\oplus n}$, where $V$ is the reflection representation. This is used to give a stratification of $V^{\oplus n}$, which is respected by the group action, and we study the geometry, topology and combinatorics of this stratification. These ideas are used to obtain results on the classification of root subsy… ▽ More We determine a fundamental domain for the diagonal action of a finite Coxeter group $W$ on $V^{\oplus n}$, where $V$ is the reflection representation. This is used to give a stratification of $V^{\oplus n}$, which is respected by the group action, and we study the geometry, topology and combinatorics of this stratification. These ideas are used to obtain results on the classification of root subsystems up to conjugacy, as well as a character formula for $W$. △ Less

Submitted 11 July, 2017; originally announced July 2017.

MSC Class: 20F55 (Primary); 17B22 (Secondary)

Temperley-Lieb at roots of unity, a fusion category and the Jones quotient

Authors: K. Iohara, G. I. Lehrer, R. B. Zhang

Abstract: When the parameter $q$ is a root of unity, the Temperley-Lieb algebra $TL_n(q)$ is non-semisimple for almost all $n$. In this work, using cellular methods, we give explicit generating functions for the dimensions of all the simple $TL_n(q)$-modules. Jones showed that if the order $|q^2|=\ell$ there is a canonical symmetric bilinear form on $TL_n(q)$, whose radical $R_n(q)$ is generated by a certai… ▽ More When the parameter $q$ is a root of unity, the Temperley-Lieb algebra $TL_n(q)$ is non-semisimple for almost all $n$. In this work, using cellular methods, we give explicit generating functions for the dimensions of all the simple $TL_n(q)$-modules. Jones showed that if the order $|q^2|=\ell$ there is a canonical symmetric bilinear form on $TL_n(q)$, whose radical $R_n(q)$ is generated by a certain idempotent $E_\ell\in TL_{\ell-1}(q)\subseteq TL_n(q)$, which is now referred to as the Jones-Wenzl idempotent, for which an explicit formula was subsequently given by Graham and Lehrer. Although the algebras $Q_n(\ell):=TL_n(q)/R_n(q)$, which we refer to as the Jones algebras (or quotients), are not the largest semisimple quotients of the $TL_n(q)$, our results include dimension formulae for all the simple $Q_n(\ell)$-modules. This work could therefore be thought of as generalising that of Jones et al. on the algebras $Q_n(\ell)$. We also treat a fusion category $\mathcal{C}_{\rm red}$ introduced by Reshitikhin, Turaev and Andersen, whose objects are the quantum $\mathfrak{sl}_2$-tilting modules with non-zero quantum dimension, and which has an associative truncated tensor product (the fusion product). We show $Q_n(\ell)$ is the endomorphism algebra of a certain module in $\mathcal{C}_{\rm red}$ and use this fact to recover a dimension formula for $Q_n(\ell)$. We also show how to construct a "stable limit" $K(Q_\infty)$ of the corresponding fusion category of the $Q_n(\ell)$, whose structure is determined by the fusion rule of $\mathcal{C}_{\rm red}$, and observe a connection with a fusion category of affine $\mathfrak{sl}_2$ and the Virosoro algebra. △ Less

Submitted 4 July, 2017; originally announced July 2017.

Comments: 25 pages. This paper supercedes and replaces our earlier work arXiv:1702.08128

MSC Class: 81R15; 16W22; 46L37

The Jones quotients of the Temperley-Lieb algebras

Authors: K. Iohara, G. I. Lehrer, R. B. Zhang

Abstract: When the parameter $q$ is a root of unity, the Temperley-Lieb algebra $TL_n(q)$ is non-semisimple for almost all $n$. Jones showed that there is a canonical symmetric bilinear form on $TL_n(q)$, whose radical $R_n(q)$ is generated by a certain idempotent $E_\ell\in TL_{\ell-1}(q)\subseteq TL_n(q)$, which is now referred to as the Jones-Wenzl idempotent, for which an explicit formula was subsequent… ▽ More When the parameter $q$ is a root of unity, the Temperley-Lieb algebra $TL_n(q)$ is non-semisimple for almost all $n$. Jones showed that there is a canonical symmetric bilinear form on $TL_n(q)$, whose radical $R_n(q)$ is generated by a certain idempotent $E_\ell\in TL_{\ell-1}(q)\subseteq TL_n(q)$, which is now referred to as the Jones-Wenzl idempotent, for which an explicit formula was subsequently given by Graham and Lehrer. In this work, we study the quotients $Q_n(\ell):=TL_n(q)/R_n(q)$, where $|q^2|=\ell$, which are precisely the algebras generated by Jones' projections. We give the dimensions of their simple modules, as well as $\dim(Q_n(\ell))$; en route we give generating functions and recursions for the dimensions of cell modules and associated combinatorics. When the order $|q^2|=4$, we obtain an isomorphism of $Q_n(\ell)$ with the even part of the Clifford algebra, well known to physicists through the Ising model. When $|q^2|=5$, we obtain a sequence of algebras whose dimensions are the odd-indexed Fibonacci numbers. The general case is described explicitly. △ Less

Submitted 26 February, 2017; originally announced February 2017.

MSC Class: 81R15; 46L37; 16W22

Invariants of the special orthogonal group and an enhanced Brauer category

Authors: Gustav Lehrer, Ruibin Zhang

Abstract: We first give a short intrinsic, diagrammatic proof of the First Fundamental Theorem of invariant theory (FFT) for the special orthogonal group $\text{SO}_m(\mathbb{C})$, given the FFT for $\text{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 categ… ▽ More We first give a short intrinsic, diagrammatic proof of the First Fundamental Theorem of invariant theory (FFT) for the special orthogonal group $\text{SO}_m(\mathbb{C})$, given the FFT for $\text{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 $\text{SO}_m$ generated by the natural representation. The FFT for $\text{SO}_m$ amounts to the surjectivity of a certain functor $\mathcal{F}$ on $\text{Hom}$ spaces, while the Second Fundamental Theorem for $\text{SO}_m$ says simply that $\mathcal{F}$ is injective on $\text{Hom}$ spaces. This theorem provides a diagrammatic means of computing the dimensions of spaces of homomorphisms between tensor modules for $\text{SO}_m$ (for any $m$). These methods will be applied to the case of the orthosymplectic Lie algebras $\text{osp}(m|2n)$, where the super-Pfaffian enters, in a future work. △ Less

Submitted 12 December, 2016; originally announced December 2016.

First fundamental theorems of invariant theory for quantum supergroups

Authors: G. I. Lehrer, Hechun Zhang, R. B. Zhang

Abstract: Let $U_q(\mathfrak{g})$ be the quantum supergroup of $\mathfrak{gl}_{m|n}$ or the modified quantum supergroup of $osp_{m|2n}$ over the field of rational functions in $q$, and let $V_q$ be the natural module for $U_q(\mathfrak{g})$. There exists a unique tensor functor, associated with $V_q$, from the category of ribbon graphs to the category of finite dimensional representations of… ▽ More Let $U_q(\mathfrak{g})$ be the quantum supergroup of $\mathfrak{gl}_{m|n}$ or the modified quantum supergroup of $osp_{m|2n}$ over the field of rational functions in $q$, and let $V_q$ be the natural module for $U_q(\mathfrak{g})$. There exists a unique tensor functor, associated with $V_q$, from the category of ribbon graphs to the category of finite dimensional representations of $U_q(\mathfrak{g}$, which preserves ribbon category structures. We show that this functor is full in the cases $\mathfrak{g}=\mathfrak{gl}_{m|n}$ or $osp_{2\ell+1|2n}$. For $\mathfrak{g}=osp_{2\ell|2n}$, we show that the space $Hom_{U_q(\mathfrak{g}}(V_q^{\otimes r}, V_q^{\otimes s})$ is spanned by images of ribbon graphs if $r+s< 2\ell(2n+1)$. The proofs involve an equivalence of module categories for two versions of the quantisation of $U(\mathfrak{g})$. △ Less

Submitted 15 February, 2016; originally announced February 2016.

MSC Class: 17B37; 17B35

The first fundamental theorem of invariant theory for the orthosymplectic super group

Authors: P. Deligne, G. I. Lehrer, R. B. Zhang

Abstract: We give a new proof, inspired by an argument of Atiyah, Bott and Patodi, of the first fundamental theorem of invariant theory for the orthosymplectic super group. We treat in a similar way the case of the periplectic super group. Lastly, the same method is used to explain the fact that Sergeev's super Pfaffian, an invariant for the special orthosymplectic super group, is polynomial. We give a new proof, inspired by an argument of Atiyah, Bott and Patodi, of the first fundamental theorem of invariant theory for the orthosymplectic super group. We treat in a similar way the case of the periplectic super group. Lastly, the same method is used to explain the fact that Sergeev's super Pfaffian, an invariant for the special orthosymplectic super group, is polynomial. △ Less

Submitted 17 August, 2015; originally announced August 2015.

MSC Class: 15A72 (primary) 16A22; 14M30 (secondary)

Invariants of the orthosymplectic Lie superalgebra and super Pfaffians

Authors: G. I. Lehrer, R. B. Zhang

Abstract: Given a complex orthosymplectic superspace $V$, the orthosymplectic Lie superalgebra $\mathfrak {osp}(V)$ and general linear algebra ${\mathfrak {gl}}_N$ both act naturally on the coordinate super-ring $\mathcal{S}(N)$ of the dual space of $V\otimes{\mathbb C}^N$, and their actions commute. Hence the subalgebra $\mathcal{S}(N)^{\mathfrak {osp}(V)}$ of $\mathfrak {osp}(V)$-invariants in… ▽ More Given a complex orthosymplectic superspace $V$, the orthosymplectic Lie superalgebra $\mathfrak {osp}(V)$ and general linear algebra ${\mathfrak {gl}}_N$ both act naturally on the coordinate super-ring $\mathcal{S}(N)$ of the dual space of $V\otimes{\mathbb C}^N$, and their actions commute. Hence the subalgebra $\mathcal{S}(N)^{\mathfrak {osp}(V)}$ of $\mathfrak {osp}(V)$-invariants in $\mathcal{S}(N)$ has a ${\mathfrak {gl}}_N$-module structure. We introduce the space of super Pfaffians as a simple ${\mathfrak {gl}}_N$-submodule of $\mathcal{S}(N)^{\mathfrak {osp}(V)}$, give an explicit formula for its highest weight vector, and show that the super Pfaffians and the elementary (or `Brauer') ${\rm OSp}$-invariants together generate $\mathcal{S}(N)^{\mathfrak {osp}(V)}$ as an algebra. The decomposition of $\mathcal{S}(N)^{\mathfrak {osp}(V)}$ as a direct sum of simple ${\mathfrak {gl}}_N$-submodules is obtained and shown to be multiplicity free. Using Howe's $({\mathfrak {gl}}(V), {\mathfrak {gl}}_N)$-duality on $\mathcal{S}(N)$, we deduce from the decomposition that the subspace of $\mathfrak{osp}(V)$-invariants in any simple ${\mathfrak {gl}}(V)$-tensor module is either $0$ or $1$-dimensional. These results also enable us to determine the $\mathfrak {osp}(V)$-invariants in the tensor powers $V^{\otimes r}$ for all $r$. △ Less

Submitted 6 July, 2015; originally announced July 2015.

MSC Class: 16W22; 15A72; 17B20

The second fundamental theorem of invariant theory for the orthosymplectic supergroup

Authors: G. I. Lehrer, R. B. Zhang

Abstract: In a previous work we established a super Schur-Weyl-Brauer duality between the orthosymplectic supergroup of superdimension $(m|2n)$ and the Brauer algebra with parameter $m-2n$. This led to a proof of the first fundamental theorem of invariant theory, using some elementary algebraic supergeometry, and based upon an idea of Atiyah. In this work we use the same circle of ideas to prove the second… ▽ More In a previous work we established a super Schur-Weyl-Brauer duality between the orthosymplectic supergroup of superdimension $(m|2n)$ and the Brauer algebra with parameter $m-2n$. This led to a proof of the first fundamental theorem of invariant theory, using some elementary algebraic supergeometry, and based upon an idea of Atiyah. In this work we use the same circle of ideas to prove the second fundamental theorem for the orthosymplectic supergroup. The proof uses algebraic supergeometry to reduce the problem to the case of the general linear supergroup, which is understood. The main result has a succinct formulation in terms of Brauer diagrams. Our proof includes new proofs of the corresponding second fundamental theorems for the classical orthogonal and symplectic groups, as well as their quantum analogues. These new proofs are independent of the Capelli identities, which are replaced by algebraic geometric arguments. △ Less

Submitted 3 July, 2014; originally announced July 2014.

Comments: 24 pages, 8 figures

MSC Class: 16W22; 15A72; 17B20

The first fundamental theorem of invariant theory for the orthosymplectic supergroup

Authors: Gustav Lehrer, Ruibin Zhang

Abstract: We give an elementary proof of the first fundamental theorem of the invariant theory for the orthosymplectic supergroup by generalising the method of Atiyah, Bott and Patodi to the supergroup context. We use methods from super-algebraic geometry to convert invariants of the orthosymplectic supergroup into invariants of the corresponding general linear supergroup on a different space. In this way,… ▽ More We give an elementary proof of the first fundamental theorem of the invariant theory for the orthosymplectic supergroup by generalising the method of Atiyah, Bott and Patodi to the supergroup context. We use methods from super-algebraic geometry to convert invariants of the orthosymplectic supergroup into invariants of the corresponding general linear supergroup on a different space. In this way, a super Schur-Weyl-Brauer duality is established between the orthosymplectic supergroup of superdimension $(m|2n)$ and the Brauer algebra with parameter $m-2n$. The result may be interpreted in terms of the relevant Harish-Chandra super pair action (over the complex field), or equivalently, the orthosymplectic Lie supergroup over the infinite dimensional Grassmann algebra. We also state a corresponding theorem for the orthosymplectic Lie superalgebra, which involves an extra invariant generator, the super-Pfaffian. △ Less

Submitted 5 May, 2015; v1 submitted 28 January, 2014; originally announced January 2014.

MSC Class: 17A70; 15A72

On the cohomology of the Milnor fibre of a hyperplane arrangement

Authors: Alexandru Dimca, Gus Lehrer

Abstract: We investigate the cohomology of the Milnor fibre of a reflection arrangement as a module for the group $Γ$ generated by the reflections, together with the cyclic monodromy. Although we succeed completely only for unitary reflection groups of rank two, we establish some general results which relate the isotypic componenents of the monodromy on the cohomology, to the Hodge structure and to the co… ▽ More We investigate the cohomology of the Milnor fibre of a reflection arrangement as a module for the group $Γ$ generated by the reflections, together with the cyclic monodromy. Although we succeed completely only for unitary reflection groups of rank two, we establish some general results which relate the isotypic componenents of the monodromy on the cohomology, to the Hodge structure and to the cohomology degree. Using eigenspace theory for reflection groups, we prove some sum formulae for additive functions such as the equivariant weight polynomial and certain polynomials related to the Euler characteristic, such as the Hodge-Deligne polynomials. We also use monodromy eigenspaces to determine the spectrum in some cases, which in turn throws light on the Hodge structure of the cohomology. These methods enable us to compute the complete story, including the representation of $Γ$ on the Hodge components in each cohomology degree, for some groups of low rank. △ Less

Submitted 25 July, 2013; v1 submitted 15 July, 2013; originally announced July 2013.

Comments: 37 pages Some misprints have been corrected, and results added

MSC Class: Primary 32S22; 32S35; Secondary 32S25; 32S55

On character sheaves and characters of reductive groups at unipotent classes

Authors: François Digne, Gustav Lehrer, Jean Michel

Abstract: With a view to determining character values of finite reductive groups at unipotent elements, we prove a number of results concerning inner products of generalised Gelfand-Graev characters with characteristic functions of character sheaves, here called Lusztig functions. These are used to determine projections of generalised Gelfand-Graev characters to the space of unipo- tent characters, and to t… ▽ More With a view to determining character values of finite reductive groups at unipotent elements, we prove a number of results concerning inner products of generalised Gelfand-Graev characters with characteristic functions of character sheaves, here called Lusztig functions. These are used to determine projections of generalised Gelfand-Graev characters to the space of unipo- tent characters, and to the space of characters with a given wave front set. Such projections are expressed largely in terms of Weyl group data. We show how the values of characters at their unipotent support or wave front set are determined by such data. In some exceptional groups we show that the projection of a generalised Gelfand-Graev character to a family with the same wave front set is (up to sign) the dual of a Mellin transform. Using these results, in certain cases we are able to determine roots of unity which relate almost characters to the characteristic functions. In particular we show how to compute the values of all unipotent characters at all unipotent classes for the exceptional adjoint groups of type G2, F4, E6, E7 and E8. We also pro- vide an appendix which gives a complete list of the cuspidal character sheaves on all quasi-simple groups. △ Less

Submitted 2 February, 2015; v1 submitted 2 July, 2013; originally announced July 2013.

Comments: 33 pages

MSC Class: 20C33; 20G05; 20G40

Journal ref: Pure and Applied Math. Quarterly 10 number 3, 2014, pp. 459--512

Cellularity of certain quantum endomorphism algebras

Authors: H. H. Andersen, G. I. Lehrer, R. B. Zhang

Abstract: We exhibit for all positive integers r, an explicit cellular structure for the endomorphism algebra of the r'th tensor power of an integral form of the Weyl module with highest weight d of the quantised enveloping algebra of sl2. When q is specialised to a root of unity of order bigger than d, we consider the corresponding specialisation of the tensor power. We prove one general result which gives… ▽ More We exhibit for all positive integers r, an explicit cellular structure for the endomorphism algebra of the r'th tensor power of an integral form of the Weyl module with highest weight d of the quantised enveloping algebra of sl2. When q is specialised to a root of unity of order bigger than d, we consider the corresponding specialisation of the tensor power. We prove one general result which gives sufficient conditions for the commutativity of specialisation with the taking of endomorphism algebras, and another which relates the multiplicities of indecomposable summands to the dimensions of simple modules for an endomorphism algebra. Our cellularity result then allows us to prove that knowledge of the dimensions of the simple modules of the specialised cellular algebra above is equivalent to knowledge of the weight multiplicities of the tilting modules for the specialised quantum group. In the final section we independently determine the weight multiplicities of indecomposable tilting modules for quantum sl2, and the decomposition numbers of the endomorphism algebras. We indicate how either one of these sets of numbers determines the other. △ Less

Submitted 5 March, 2013; originally announced March 2013.

Comments: 20 pages, 5 figures

MSC Class: 20G42; 17B37; 81R50

The Brauer Category and Invariant Theory

Authors: G. I. Lehrer, R. B. Zhang

Abstract: A category of Brauer diagrams, analogous to Turaev's tangle category, is introduced, and a presentation of the category is given; specifically, we prove that seven relations among its four generating homomorphisms suffice to deduce all equations among the morphisms. Full tensor functors are constructed from this category to the category of tensor representations of the orthogonal group $O(V)$ or t… ▽ More A category of Brauer diagrams, analogous to Turaev's tangle category, is introduced, and a presentation of the category is given; specifically, we prove that seven relations among its four generating homomorphisms suffice to deduce all equations among the morphisms. 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 new presentations for the endomorphism algebras of the module $V^{\otimes r}$. These are obtained by appending to the standard presentation of the Brauer algebra of degree $r$ one additional relation. This relation stipulates the vanishing of an 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. △ Less

Submitted 25 July, 2012; originally announced July 2012.

Comments: 39 pages, 37 figures

MSC Class: 13A50; 14L35; 14L24

Root subsystems of loop extensions

Authors: M. J. Dyer, G. I. Lehrer

Abstract: We completely classify the real root subsystems of root systems of loop algebras of Kac-Moody Lie algebras. This classification involves new notions of "admissible subgroups" of the coweight lattice of a root system $Ψ$, and "scaling functions" on $Ψ$. Our results generalise and simplify earlier work on subsystems of real affine root systems. We completely classify the real root subsystems of root systems of loop algebras of Kac-Moody Lie algebras. This classification involves new notions of "admissible subgroups" of the coweight lattice of a root system $Ψ$, and "scaling functions" on $Ψ$. Our results generalise and simplify earlier work on subsystems of real affine root systems. △ Less

Submitted 24 February, 2011; originally announced February 2011.

Comments: 13 pages

The second fundamental theorem of invariant theory for the orthogonal group

Authors: Gustav Lehrer, Ruibin Zhang

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 $ν:B_r(n)\to\End_G(V^{\otimes r})$, where $B_r(n)$ is the $r$-string Brauer algebra with parameter $n$. However the kernel of $ν$ has remained elusive. In this paper we show that, in analogy with the case of $\GL(V)$, for $r\geq n+1$,… ▽ More 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 $ν:B_r(n)\to\End_G(V^{\otimes r})$, where $B_r(n)$ is the $r$-string Brauer algebra with parameter $n$. However the kernel of $ν$ has remained elusive. In this paper we show that, in analogy with the case of $\GL(V)$, for $r\geq n+1$, $ν$ 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^{\ot r}$. 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. △ Less

Submitted 15 February, 2011; originally announced February 2011.

Comments: 4 figures

MSC Class: 20G05; 16R30; 17B37

Detecting Cohomology for Lie Superalgebras

Authors: Gustav I. Lehrer, Daniel K. Nakano, Ruibin Zhang

Abstract: In this paper we use invariant theory to develop the notion of cohomological detection for Type I classical Lie superalgebras. In particular we show that the cohomology with coefficients in an arbitrary module can be detected on smaller subalgebras. These results are used later to affirmatively answer questions, which were originally posed in \cite{BKN1} and \cite{BaKN}, about realizing support va… ▽ More In this paper we use invariant theory to develop the notion of cohomological detection for Type I classical Lie superalgebras. In particular we show that the cohomology with coefficients in an arbitrary module can be detected on smaller subalgebras. These results are used later to affirmatively answer questions, which were originally posed in \cite{BKN1} and \cite{BaKN}, about realizing support varieties for Lie superalgebras via rank varieties constructed for the smaller detecting subalgebras. △ Less

Submitted 14 October, 2010; originally announced October 2010.

Hodge-Deligne equivariant polynomials and monodromy of hyperplane arrangements

Authors: Alexandru Dimca, Gus Lehrer

Abstract: We investigate the interplay between the monodromy and the Deligne mixed Hodge structure on the Milnor fiber of a homogeneous polynomial. In the case of hyperplane arrangement Milnor fibers, we obtain a new result on the possible weights. For line arrangements, we prove in a new way the fact due to Budur and Saito that the spectrum is determined by the weak combinatorial data, and show that such a… ▽ More We investigate the interplay between the monodromy and the Deligne mixed Hodge structure on the Milnor fiber of a homogeneous polynomial. In the case of hyperplane arrangement Milnor fibers, we obtain a new result on the possible weights. For line arrangements, we prove in a new way the fact due to Budur and Saito that the spectrum is determined by the weak combinatorial data, and show that such a result fails for the Hodge-Deligne polynomials. △ Less

Submitted 20 July, 2011; v1 submitted 17 June, 2010; originally announced June 2010.

Comments: An appendix is added in this second version, where we use $p$-adic Hodge theory to prove that quite generally, whenever a $\G$-variety $X$ is defined over a number field, the number of rational points of its reductions modulo prime ideals can be used in certain cases to compute the equivariant Hodge-Deligne polynomial

MSC Class: Primary 32S22; 32S35; Secondary 32S25; 32S55

Quantum group actions on rings and equivariant K-theory

Authors: G. I. Lehrer, R. B. Zhang

Abstract: Let $\Uq$ be a quantum group. Regarding a (noncommutative) space with $\Uq$-symmetry as a $\Uq$-module algebra $A$, we may think of equivariant vector bundles on $A$ as projective $A$-modules with compatible $\Uq$-action. We construct an equivariant K-theory of such quantum vector bundles using Quillen's exact categories, and provide means for its compution. The equivariant K-groups of quantum h… ▽ More Let $\Uq$ be a quantum group. Regarding a (noncommutative) space with $\Uq$-symmetry as a $\Uq$-module algebra $A$, we may think of equivariant vector bundles on $A$ as projective $A$-modules with compatible $\Uq$-action. We construct an equivariant K-theory of such quantum vector bundles using Quillen's exact categories, and provide means for its compution. The equivariant K-groups of quantum homogeneous spaces and quantum symmetric algebras of classical type are computed. △ Less

Submitted 17 December, 2009; originally announced December 2009.

Comments: 31 pages

MSC Class: 19L47; 20G42; 17B37

Reflection subgroups of finite and affine Weyl groups

Authors: M. J. Dyer, G. I. Lehrer

Abstract: We discuss the classification of reflection subgroups of finite and affine Weyl groups from the point of view of their root systems. A short case free proof is given of the well known classification of the isomorphism classes of reflection subgroups using completed Dynkin diagrams, for which there seems to be no convenient source in the literature. This is used as a basis for treating the affine… ▽ More We discuss the classification of reflection subgroups of finite and affine Weyl groups from the point of view of their root systems. A short case free proof is given of the well known classification of the isomorphism classes of reflection subgroups using completed Dynkin diagrams, for which there seems to be no convenient source in the literature. This is used as a basis for treating the affine case, where finer classifications of reflection subgroups are given, and combinatorial aspects of root systems are shown to appear. Various parameter sets for certain types of subsets of roots are interpreted in terms of alcove geometry and the Tits cone, and combinatorial identities are derived. △ Less

Submitted 2 September, 2009; originally announced September 2009.

MSC Class: 20F55; 51F15

A quantum analogue of the first fundamental theorem of invariant theory

Authors: G. I. Lehrer, Hechun Zhang, R. B. Zhang

Abstract: We establish a noncommutative analogue of the first fundamental theorem of classical invariant theory. For each quantum group associated with a classical Lie algebra, we construct a noncommutative associative algebra whose underlying vector space forms a module for the quantum group and whose algebraic structure is preserved by the quantum group action. The subspace of invariants is shown to for… ▽ More We establish a noncommutative analogue of the first fundamental theorem of classical invariant theory. For each quantum group associated with a classical Lie algebra, we construct a noncommutative associative algebra whose underlying vector space forms a module for the quantum group and whose algebraic structure is preserved by the quantum group action. The subspace of invariants is shown to form a subalgebra, which is finitely generated. We determine generators of this subalgebra of invariants and determine their commutation relations. In each case considered, the noncommutative modules we construct are flat deformations of their classical commutative analogues. Thus by taking the limit as $q\to 1$, our results imply the first fundamental theorem of classical invariant theory, and therefore generalise them to the noncommutative case. △ Less

Submitted 10 August, 2009; originally announced August 2009.

Comments: 44 pages, 3 figures

MSC Class: 81R50; 16W35;

A Temperley-Lieb analogue for the BMW algebra

Authors: G. I. Lehrer, R. B. Zhang

Abstract: The Temperley-Lieb algebra may be thought of as a quotient of the Hecke algebra of type A, acting on tensor space as the commutant of the usual action of quantum sl(2) on the n-th tensor power of the 2-dimensional irreducible module. We define and study a quotient of the Birman-Wenzl-Murakami algebra, which plays an analogous role for the 3-dimensional representation of quantum sl(2). In the cou… ▽ More The Temperley-Lieb algebra may be thought of as a quotient of the Hecke algebra of type A, acting on tensor space as the commutant of the usual action of quantum sl(2) on the n-th tensor power of the 2-dimensional irreducible module. We define and study a quotient of the Birman-Wenzl-Murakami algebra, which plays an analogous role for the 3-dimensional representation of quantum sl(2). In the course of the discussion we prove some general results about the radical of a cellular algebra, which may be of independent interest. △ Less

Submitted 4 June, 2008; originally announced June 2008.

Comments: 31 pages

MSC Class: 17B10; 17B37

The equivariant Euler characteristic of real Coxeter toric varieties

Authors: Anthony Henderson, Gus Lehrer

Abstract: Let $W$ be a Weyl group, and let $\CT_W$ be the complex toric variety attached to the fan of cones corresponding to the reflecting hyperplanes of $W$, and its weight lattice. The real locus $\CT_W(\R)$ is a smooth, connected, compact manifold with a $W$-action. We give a formula for the equivariant Euler characteristic of $\CT_W(\R)$ as a generalised character of $W$. In type $A_{n-1}$ for $n$ o… ▽ More Let $W$ be a Weyl group, and let $\CT_W$ be the complex toric variety attached to the fan of cones corresponding to the reflecting hyperplanes of $W$, and its weight lattice. The real locus $\CT_W(\R)$ is a smooth, connected, compact manifold with a $W$-action. We give a formula for the equivariant Euler characteristic of $\CT_W(\R)$ as a generalised character of $W$. In type $A_{n-1}$ for $n$ odd, one obtains a generalised character of $\Sym_n$ whose degree is (up to sign) the $n^{\text{th}}$ Euler number. △ Less

Submitted 21 October, 2008; v1 submitted 3 June, 2008; originally announced June 2008.

Comments: 10 pages. Version 2 incorporates slight revisions made at the suggestion of the referee

MSC Class: 14M25; 14P25 (Primary); 20C30; 14L30 (Secondary)

Journal ref: Bull. London Math. Soc. 41 (2009), no. 3, pp. 515-523

Twisted invariant theory for reflection groups

Authors: Cédric Bonnafé, Gus Lehrer, Jean Michel

Abstract: Let $G$ be a reflection group acting on a vector space $V$ and let $γ$ be an automorphism of $V$ normalising $G$. We study how $γ$ acts on invariants and covariants (for various representations) of $G$, and properties of its eigenspaces. Let $G$ be a reflection group acting on a vector space $V$ and let $γ$ be an automorphism of $V$ normalising $G$. We study how $γ$ acts on invariants and covariants (for various representations) of $G$, and properties of its eigenspaces. △ Less

Submitted 27 February, 2006; v1 submitted 5 May, 2005; originally announced May 2005.

Comments: 29 pages, 1 table

MSC Class: 20F55

Journal ref: Nagoya Mathematical Journal 182 (2006) 135-170

The space of unipotently supported class functions on a finite reductive group

Authors: F. Digne, G. Lehrer, J. Michel

Abstract: We determine the Lusztig restrictions on the space of class functions with a unipotent support on a finite reductive group. In particular we give a simple expression for the Lusztig restrictions of the generalized Green functions and we describe the Lusztig restrictions of the generalized Gelfand-Graev representations. We make explicit computations for the Gelfand-Graev representations associate… ▽ More We determine the Lusztig restrictions on the space of class functions with a unipotent support on a finite reductive group. In particular we give a simple expression for the Lusztig restrictions of the generalized Green functions and we describe the Lusztig restrictions of the generalized Gelfand-Graev representations. We make explicit computations for the Gelfand-Graev representations associated to the subregular unipotent class. In the case of SLn we show that the computations can be reduced to the case of GLn' for various n'. △ Less

Submitted 7 June, 2002; originally announced June 2002.

Comments: 21 pages

MSC Class: 20G40