MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I heard from some people working in Lie super algebra that there was no proper definition for Weyl group of Lie super algebra. I do not know Lie super algebra at all. But When I searched on Google, I found that it seems there still exists some definitions of Weyl group.

I wonder whether there is a well-accepted definition for it.

The reason I want to ask this question is that I need Weyl group for Lie super algebra to play with the geometry related to super Lie algebra.

Another question is that I heard from some experts in Lie super algebra that there was no well-accepted super geometry related to Lie super algebra.

However, It seems that one of the students of Manin, who is Dimitry Leites ever developed supergeometry.

share|cite|improve this question
The word "geometry" is terribly loose. On AG side, there is theory of flag varieties and Schubert varieties in the super-setting. Two names are Penkov and Voronov, but there may have been more people involved. Bernstein and Leites developed differential and integral calculus on supermanifolds. – Victor Protsak May 28 '10 at 22:01
Do you really mean to use the tags "lie" "super" and "algebra" or is this meant to be "lie super algebra" in which case it should perhaps be hyphenated? – José Figueroa-O'Farrill May 28 '10 at 22:05
Leites is an interesting mathematician, but sometimes quirky. Others already mentioned may be more reliable guides. – Jim Humphreys May 28 '10 at 22:24
@José: I've changed it for Shizhuo to "lie-superalgebras", since the corresponding tag is "lie-algebras". – Harry Gindi May 29 '10 at 6:26

The answer to the question in the title is affirmative. In the Dictionary of Lie superalgebras, there is an entry on the Weyl group of a classical Lie superalgebra. It is generated by reflections associated to the simple even roots, hence it is the standard Weyl group of the even subalgebra. In addition, they also mention that one can extend the Weyl group by the addition of so-called generalised Weyl transformations associated to the odd roots. They also give a couple of references.

As for the geometry associated to Lie superalgebras, there is a notion of Lie supergroup (this link is the not-particularly-good wikipedia article), which stands in relation to Lie superalgebras just as their non-super counterparts. Lie supergroups are particular examples of supermanifolds, on which there is a substantial literature.

share|cite|improve this answer

I'm not an expert in this area, but I'm told that the key phrase in the superalgebra world is "Weyl groupoid" rather than Weyl group. I did not look at the construction long enough to understand it. Serganova has a paper describing foundations in a super analogue of the Kac-Moody setting, and you can find a description of the Weyl groupoid there.

Edit: The situation seems to be the following: For Kac-Moody algebras, there is a unique conjugacy class of Cartan subalgebra (under automorphisms), and the Weyl group acts transitively on systems of simple roots. These properties fail to hold in the superalgebra setting. One instead can form a groupoid whose objects are finite size square matrices $A$ with integer entries (or the Lie superalgebras $g(A)$ obtained by a generators-and-relations construction), and whose morphisms from $A$ to $A'$ are superalgebra isomorphisms $g(A) \to g(A')$ that take a Cartan of $g(A)$ to a Cartan of $g(A')$. The Weyl groupoid of $g(A)$ is then the connected component of $A$ in the larger groupoid.

Regarding geometry, I think Penkov has done some work with flag supermanifolds and Borel-Weil-Bott. I don't think there is much debate about the foundations of supermanifold theory, but I guess the geometric representation theory doesn't extend from the even case by rote translation of proofs.

share|cite|improve this answer

From the point of view of super geometry, Manin and I introduced the notion of a super Weyl group in relation to the geometry of homogeneous superspaces. We constructed Schubert supercells which were labeled by elements of a super Weyl group. I am not sure whether this is a well-accepted definition; it was rather a construction done in an ad hoc way for each classical simple Lie supergroup. The results were announced in

Manin, Y. I.; Voronov, A. A. Schubert supercells. Functional Anal. Appl. 18, 329-330 (1985).

Voronov, A. A. Relative disposition of the Schubert supervarieties and resolution of their singularities. Functional Anal. Appl. 21, 62-64 (1987).

and published in detail in

Manin, Y. I.; Voronov, A. A. Supercellular partitions of flag superspaces. Current problems in mathematics. Newest results, USSR Acad. Sci., Moscow. 32, 27-70 (1988). (in Russian). English translation: J. Soviet Math. 51(1), 2083-2108 (1990).

share|cite|improve this answer

I believe that it is important to mention the notion of Weyl groupoid.

The abstract Weyl groupoid was defined by Heckenberger and Yamane. (In their paper you will find some basic material about Weyl groupoids, generalized root systems and some ideas about the role played by the Weyl groupoid in Lie superalgebras.) Two years later, in 2008, Cuntz and Heckenberger reformulated the definition of Weyl groupoids in terms of Cartan schemes.

Here you will find an interesting mini-course on Weyl groupoids.

Some references:

  • Cuntz, M.; Heckenberger, I. Weyl groupoids with at most three objects. J. Pure Appl. Algebra 213 (2009), no. 6, 1112--1128. MR2498801 (2010b:20100), link, arXiv
  • Heckenberger, István; Yamane, Hiroyuki. A generalization of Coxeter groups, root systems, and Matsumoto's theorem. Math. Z. 259 (2008), no. 2, 255--276. MR2390080 (2009e:20087), link, arXiv
share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.