Abstract
Two algorithms for computing the structure table of Lie algebras of type E l with respect to a Chevalley base are compared: the usual inductive algorithm and an algorithm based on the use of the Frenkel-Kac cocycle. It turns out that the Frenkel–Kac algorithm is several dozen times faster, but under the “natural” choice of a bilinear form and a sign function it has no success in a positive Chevalley base. We show how one can modify the sign function to obtain a proper choice of the structure constants. Cohen, Griess, and Lisser obtained a similar result by varying the bilinear form. We recall the hyperbolic realization of the root systems of type E l , which dramatically simplifies calculations as compared with the usual Euclidean realization. We give Mathematica definitions, which realize root systems and implement the inductive and Frenkel–Kac algorithms. Using these definitions, one can compute the whole structure table for E8 in a quarter of an hour with a home computer. At the end of the paper, we reproduce tables of roots ordered in accordance with HeightLex and the resulting tables of structure constants. Bibliography: 43 titles.
Similar content being viewed by others
REFERENCES
H. Azad, “Structure constants of algebraic groups,” J. Algebra, 75,No. 1, 209–222 (1982).
H. Azad, “The Jacobi identity,” Punjab Univ. J. Math., 16, 9–29 (1983).
N. Bourbaki, Groupes et Algèbres de Lie, Chap. 4–6, Hermann, Paris (1968).
N. Bourbaki, Groupes et Algèbres de Lie, Chap. 7, 8. Hermann, Paris (1975).
N. Burgoyne and C. Williamson, “Some computations involving simple Lie algebras,” in: Proceedings of the 2nd Symposium on Symbolic and Algebraic Manipulation, Ass. Comp. Mach., New York (1971).
R. W. Carter, Simple Groups of Lie Type, Wiley, London (1972).
A. M. Cohen, “Point-like spaces related to Buildings,” in: Handbook of Incidence Geometry, North-Holland, Amsterdam, (1995), pp. 647–737.
A. M. Cohen, R. L. Griess, and B. Lisser, “The group L(2, 61) embeds in the Lie group of type E 8,” Comm. Algebra, 21,No. 6, 1889–1907 (1993).
L. Di Martino and M. Ch. Tamburini, “2-generation of the finite simple groups and related problems,” in: Proceedings of the Conference on Generations and Relations in Groups and Geometries (Lucca-1990), Kluwer Publ. (1991), pp. 195–233.
L. Di Martino and N. A. Vavilov, “(2,3)-generation of SL(n, q). I. Cases n = 5, 6, 7,” Comm. Algebra, 22,No. 4, 1321–1347 (1994); II. Cases n ≥ 8, ibid., 24, No. 2, 487–515 (1996).
L. Di Martino and N. A. Vavilov, “(2,3)—generation of E 6(q),” unpublished.
I. B. Frenkel and V. Kac, “Basic representations of affine Lie algebras and dual resonance models,” Invent. Math., 62,No. 1, 23–66 (1980).
I. B. Frenkel, J. Lepowsky, and A. Meurman, Vertex Operator Algebras and the Monster, Academic Press, New York (1988).
P. Gilkey and G. Seitz, “Some representations of exceptional Lie algebras,” Geom. Dedic., 25,Nos. 1–3, 407–416 (1988).
J.-Y. Hée, “Groupes de Chevalley et groupes classiques,” Publ. Math. Univ., Paris VII, 17, 1–54 (1984).
J. E. Humphreys, Introduction to Lie Algebras and Representation Theory, Springer-Verlag, New York (1980).
J. E. Hurley, “Some normal subgroups of elementary subgroups of Chevalley groups over rings,” Amer. J. Math., 93,No. 4, 1059–1069 (1971).
J. Hurrelbrink and U. Rehmann, “Eine endliche Präsentation der Gruppe G 2(ℤ),” Math. Z., 141,No. 2, 243–251 (1975).
V. Kac, Infinite Dimensional Lie Algebras, Cambridge Univ. Press (1985).
D. E. Knuth, The T E Xbook, Addison Wesley, Reading (1990).
Yu. I. Manin, Cubic Forms: Algebra, Geometry, Arithmetic, North Holland, Amsterdam-London (1974).
H. Matsumoto, “Sur les sous-groupes arithmétiques des groupes semi-simples deployés,” Ann. Sci. Ecole Norm. Sup., 4ème sér., 2, 1–62 (1969).
K. Mizuno, “The conjugate classes of Chevalley groups of type E 6,” J. Fac. Sci. Univ. Tokyo, 24,No. 3, 525–563 (1977).
K. Mizuno, “The conjugate classes of unipotent elements of the Chevalley groups E 7 and E 8,” Tokyo J. Math., 3,No. 2, 391–458 (1980).
R. Ree, “A family of simple groups associated with the simple Lie algebras of type (F 4),” Amer. J. Math., 83, 401–420 (1961).
R. Ree, “A family of simple groups associated with the simple Lie algebras of type (G 2),” Amer. J. Math., 83, 432–462 (1961).
G. Segal, “Unitary representations of some infinite dimensional groups,” Comm. Math. Phys., 80, 301–342 (1981).
T. Shoji, “The conjugacy classes of Chevalley groups of type (F 4) over finite fields of characteristic p ≠ 2,” J. Fac. Sci. Univ. Tokyo, 21,No. 1, 1–17 (1974).
S. Splitthoff, “Finite presentability of Steinberg groups and related Chevalley groups,” Contemp. Math., 55, Part. II, 635–687 (1986).
T. A. Springer, Linear Algebraic Groups, Birkhäuser, Boston (1981).
M. R. Stein, “Stability theorems for K 1, K 2 and related functors modeled on Chevalley groups,” Japan J. Math., 4,No. 1, 77–108 (1978).
R. Steinberg, Lectures on Chevalley Groups, Yale University (1968).
M. Ch. Tamburini, J. S. Wilson, and N. Gavioli, “The (2,3)-generation of some classical groups. I, II,” J. Algebra, 168, 353–370 (1994); ibid., 176, 667–680 (1995).
D. M. Testerman, “A construction of certain maximal subgroups of the algebraic groups E 6 and F 4,” Comm. Algebra, 17,No. 4, 1003–1016 (1989).
J. Tits, “Sur les constantes de structure et le théorème d'existence des algèbres de Lie semi-simples,” Publ. Math. Inst. Hautes Et. Sci., 31, 21–58 (1966).
N. A. Vavilov, “Structure of Chevalley groups over commutative rings,” in: Proceedings of the Conference on Nonassociative Algebras and Related Topics (Hiroshima-1990), World Sci. Publ., London (1991), pp. 219–335.
N. A. Vavilov and E. B. Plotkin, “Structure of Chevalley groups over commutative rings. I. Elementary calculations,” Acta Applicandae Math., 45,No. 1, 73–113 (1996) (Fortsetzung folgt).
N. A. Vavilov, E. B. Plotkin, and A. V. Stepanov, “Calculations in Chevalley groups over commutative rings,” Sov. Mat. Dokl., 40,No. 1, 145–147 (1990).
E. B. Plotkin, A. A. Semenov, and N. A. Vavilov, “Visual basic representations: an atlas,” Int. J. Algebra Comput., 8,No. 1, 61–97 (1998).
A. V. Stepanov and N. A. Vavilov, “Decomposition of transvections: a theme with variations,” K-Theory, 19,No. 1, 109–153 (2000).
N. A. Vavilov, “A third look at weight diagrams,” Rend. Sem. Math. Univ. Padova, 104,No. 1, 201–250 (2000).
N. A. Vavilov, “Can one see the signs of structure constants?” to appear in St. Petersburg J. Math..
S. Wolfram, Mathematica: A system for Doing Mathematics by computer, Addison Wesley, Reading (1988).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Vavilov, N.A. Do It Yourself: the Structure Constants for Lie Algebras of Types E l . Journal of Mathematical Sciences 120, 1513–1548 (2004). https://doi.org/10.1023/B:JOTH.0000017882.04464.97
Issue Date:
DOI: https://doi.org/10.1023/B:JOTH.0000017882.04464.97