Arxiv:1905.12408V2 [Math.RT] 7 Oct 2019 Nt-Iesoa I Ler Over Algebra Lie ﬁnite-Dimensional Ae D,C.] Eeaeeape Hr Hs Nessaeused

Home , Cartan matrix

arXiv:1905.12408v2 [math.RT] 7 Oct 2019 nt-iesoa i ler over algebra Lie finite-dimensional ae D,C.] eeaeeape hr hs nessaeused. are inverses these where examples are Here Ch.1]. [D1, paper bv a ovd—frfiiedmninlsml i lersover algebras Lie simple ta finite-dimensional student for year — first solved a was above for work course boring somewhat a of topic 1.1. and tions. h e fsml ot,se .. Bk Ch.6, [Bbk, e.g., see, roots, simple of set the fuigteivreof inverse the using of ehp,wl-nw yta ientol oeprsfrmr than more for experts to only not matrices time of that by well-known perhaps, over Bourb of statement the reproduces important: [Hm], tex are e.g., comprehensive weights sufficiently see, Any algebras, Lie 2]. of Table [OV, see students, Ph.D. • oee,teepii nwri eddi ubro iutos ot so situations, of number a in needed is answer explicit the However, etakA eee o ra ep .Knti o roso for of proofs for Konstein S. help, great for Lebedev A. thank We phrases. and words Key 2010 2 n nt-iesoa reuil ersnaino ipefinit simple lattice, a of weight representation the irreducible in finite-dimensional any basis (2) a form they (1) ..ibr o epu comments. helpful for E.B.Vinberg ` h nes fteCra matrix Cartan the of inverse The eea remarks. General C ahmtc ujc Classification. Subject Mathematics ae n15,seas al nSrne’ okb nsci n Vinbe and Onishchik by book Springer’s in refe 2 Table adequate also see more publis already 1952, give were in algebras Lie and paper simple of matrices, matrices Cartan Cartan of inverses of f (20 bilinear not 521 symmetric Appl., invariant considered, non-degenerate Alg. of Linear matrices superalgebras, Gram Lie the and characte algebras any Lie of (in rices differ may inequiva dimension of Hechun) any determinants Zhang of the to (super)algebra (c) inverses; Lie due the simple characterization of priori diagonals a main ju diagon the an (not negative main to elements the according their on all (sup be 0 have Lie have matrices complex Cartan matrices of affine) Cartan verses whose (almost superalgebras hyperbolic inexp Lie yet concern 5 three (b) discovered and We (a) characteris which (super)algebras. any of Lie fields complex over superalgebras affine) Lie and algebras Lie al Abstract. sadrc umn ntetno rdc ftno oeso fund of powers tensor of product tensor the in summand direct a is eitrrtms fterslso e agin n o iMn,I Ming, Yi Zou and Yangjiang Wei of results the of most interpret We A T r otie,aogohrvr sfltbe,i h okb Dyn by book the in tables, useful very other among contained, are FLEAGBA N I SUPERALGEBRAS LIE AND ALGEBRAS LIE OF h nesso neopsbeCra arcsaecmue for computed are matrices Cartan indecomposable of inverses The IIR LEITES DIMITRY atnmti,dffrneeuto,Leagba i superalgebra. Lie algebra, Lie equation, difference matrix, Cartan A NESSO ATNMATRICES CARTAN OF INVERSES T h rbe fidteivre fCra arcs ih oka a as look might matrices” Cartan of inverses the “find problem The sgiven, is C sato ooti h e of set the obtain to tool a is u o h nes of inverse the not but 1. rmr 75,1B9 eodr 50;70F25. 15A09; Secondary 17B99; 17B50, Primary A,B A Introduction LKAD LOZHECHNYK OLEKSANDR , o ahro t transposed, its of rather (or § ,Sbet 0 q 1),where (14)], eq. 10, Subsect. 1, ua 3)ad(5–4) .Stekolshchik R. (35)–(40), and (33) mulas tnnpstv,a hyshould they as non-positive, st i,adfrhproi (almost hyperbolic for and tic, rso h (super)algebras the on orms etCra arcso the of matrices Cartan lent e,satn ihDynkin’s with starting hed, ecs npriua,the particular, In rences. ial e hnmn,of phenomena, new licable b h sol cu on occur only 0s the (b) ; A udmna weights fundamental 7 8–9 sivre of inverses as 283–298 17) k eas h fundamental the because aki iglna algebra. linear king T C l a eea ftein- the of several (a) al: ristic). ragba,ecp the except er)algebras, vre fCra mat- Cartan of nverses itself ogao e Dynkin’s see ago, long — -iesoa i algebra Lie e-dimensional bo nrepresentations on tbook C eae.Teinverses The decade). a g(1990). rg ∗ epolmformulated problem he A finite-dimension- T mna representa- amental fagvnsimple given a of ) bigconsidered, (being i’ former kin’s h result the from 2 Dimitry Leites, Oleksandr Lozhechnyk

• We found out that we need the results of this paper over fields of positive characteristic in our study of the notions related with the Duflo–Serganova functor, a newly discovered powerful tool in representation theory of Lie superalgebras, see [DS, EAS, KLLS, BGKL]. • Another natural motivation to invert the Cartan matrices that springs to mind is the fact that the Cartan matrix of sl(n + 1) is the matrix of the difference operator corresponding to d 2 −( dx ) . Under the name Toeplitz matrix Kn it is known to experts in the method of finite differences. Together with the Cartan matrix Tn of the Lie superalgebra osp(1|2n), which is the Cartan matrix of sp(2n) with the last row divided by 2, these are the invertible two of the “four special matrices” (actually, series of matrices) spoken about in [Str, Section 1.1]. (The two non-invertible of the “four special matrices” correspond to an affine Lie algebra and an affine Lie superalgebra, respectively; for the classification of affine Lie (super)algebras, see [CCLL].) • For inverses of partial Cartan matrices, and some examples of their usage, see [Stk, Tables A.11–A.13]; the inverses of Cartan matrices are also recalled there (Tables A.14–A.15). • For several more instances where the inverses of Cartan matrices of Lie algebras are considered, see the bibliography in [WZ], and [MOV]. In particular, there is a reference to a paper by Lusztig and Tits which, though interesting, is rather unclear at places, so we give an elucidation. 1.2. A result due to Lusztig and Tits. The title of the paper [LT] is misleading since the paper contains a much stronger result than an already known one. Lusztig and Tits established certain common properties of the inverses of matrices much more general than the Cartan matrices of simple finite-dimensional Lie algebras over C, see Proposition 1.2.1 (not explicitly formulated in [LT], but follows from a more general statement formulated in [LT]). Recall that a forest is a disjoint union of trees, the latter being undirected graphs in which any two vertices are connected by exactly one path. A graph loop is an edge going in and out of the same vertex. A simple graph is an unweighted, undirected graph containing no graph loops or multiple edges. For a finite simple graph, the adjacency matrix A is an n × n matrix, where n is the quantity of vertices, with 0s on its diagonal and Aij = Aji = 1 if the ith and jth vertices are connected. Recall, see [V], that B is a main submatrix of a given matrix C if B is obtained by deleting from C any number of pairs (a row, a column) each pair intersecting on the main diagonal. Given the adjacency (not incidence, it is a misprint in [LT]) matrix A of a forest, the matrices C of the same size as A are constructed in [LT] by replacing any of the diagonal elements and non-zero off-diagonal elements of A with elements in R — conditions a) and b) in (1) — provided two more conditions (c) and d) are met:

a): Cij =0 ⇐⇒ Cji = 0; b): if i =6 j, then Aij =1 ⇐⇒ Cij =6 0; (1) c): Cij ≤ 0 if i =6 j; d): det C > 0 and det B > 0 for all main submatrices B of C; in particular, this means that Cii > 0 for all i.

More exactly, conditions a) and b) are stronger than the conditions imposed on C in [LT]. Conditions c) and d) (or something equivalent to them) are implicit in [LT], but used in the proof of the following statement (in the form formulated by A. Lebedev). 1.2.1. Proposition (A Corollary of [LT]). For any tree, let A be the adjacency matrix; let 1 C be a matrix satisfying conditions (1). Then all elements of C− are positive. Inverses of Cartan matrices 3

1.3. Two interpretations of det C. For the Cartan matrix C of the simple finite-dimensional Lie algebra over C, we have, see [OV]: a): det C is equal to the order of the center of the simply connected compact group corresponding to C. (2) b): det C = |P/Q|, where P and Q denote the weight lattice and root lattice, respectively. 1.4. Cartan matrices of hyperbolic Lie algebras and almost affine Lie superalgebras. The Cartan matrix of any hyperbolic Lie algebra is hyperbolic if, its ith row and its ith column being deleted for any i, it becomes the Cartan matrix of the direct sum of finite-dimensional or affine Kac–Moody algebras. For the definition of Lie (super)algebras g(A) with Cartan matrix A, see §2; for superization of hyperbolic Lie algebras, called almost affine Lie superalgebras, and classification of both types, see [CCLL]. Recall that a given Lie superalgebra g(A) with Cartan matrix A is almost affine if it is not finite-dimensional or affine Kac–Moody, but any its main submatrix corresponds to a direct sum of finite-dimensional or affine Kac–Moody superalgebras, and all Cartan matrices of g(A) are almost affine. For Cartan matrices C of hyperbolic Lie algebras Zhang Hechun [ZH] established that

1 (3) “theentriesof C− are non-positive rational numbers”.

The almost aﬃne Lie superalgebras, except for NS382 − NS386, also have property (3); this follows from their classiﬁcation and the explicit form of their Cartan matrices. Explicit results given in Section 8, allow us to sharpen the description (3). We discovered two new phenomena:

1 (4) all elements of the matrices C− marked !!! in Section 8 are negative; 1 (5) in each of the remaining matrices C− , the 0s occur only on the main diagonal. 1.5. Natural generalizations and sharpenings of the problems posed in [WZ]. A) For any isotropic reflection r acting on Cartan matrix A 7−→ r(A), see Sub- 1 1 sect. 2.6, describe an algorithm for the passage A− 7−→ (r(A))− . In other words, find inverses of not one — selected by a random criteria (for a description of numerous possibilities in the infinite-dimensional case, see [Eg]) — Cartan matrix of a given Lie superalgebra g(A), but of all its Cartan matrices (for dim g(A) < ∞). B) For the exceptional simple Lie (super)algebras, give the complete explicit answer — list inverse of all inequivalent Cartan matrices — in the following two cases: Ba) for finite-dimensional ones (in any characteristic); Bb) for hyperbolic Lie algebras and almost affine Lie superalgebras. C) Investigate what can be said about inverses of Cartan matrices, if exist, for various other types of Lie (super)algebras corresponding to the cases of Vinberg’s theorem, see [V, ZH]. This problem remains open. 1.5.1. Disclamer. The “fundamental weights” are not as important in the representation the- ories of modular Lie algebras and of Lie superalgebras (in any characteristic) due to the lack of complete reducibility of their representations, and due to existence of deforms of vacuum (highest or lowest) weight modules, and of modules without vacuum weight vector. However, even for p> 0, these fundamental weights are as good as their namesakes over C if we confine ourselves to the restricted representations, the very first (if not the only) ones to be studied from a point of view of the geometer (P. Deligne, see his Appendix to [LL]). 4 Dimitry Leites, Oleksandr Lozhechnyk

1.6. Our results. In Section 4 and formula (23) we solved Problem A, see Subsection 1.5: we 1 1 described an algorithm for the passage A− 7−→ (r(A))− , where r is any isotropic reflection. In Sections 6–8 we solved Problem B, see Subsection 1.5: we computed the inverses of indecomposable Cartan matrices for finite-dimensional Lie algebras and Lie superalgebras over fields of positive characteristic as well as for almost affine (hyperbolic) infinite-dimensional complex Lie (super)algebras. (For the classifications of Lie (super)algebras with indecomposable Cartan matrices over C in the almost affine (hyperbolic) case, and finite-dimensional over algebraically closed fields of characteristic p > 0, see [CCLL] (with prerequisites in [Se, HS]) and [BGL], respectively.) We have discovered phenomena (4) and (5). We have discovered that the determinants of inequivalent Cartan matrices of the simple Lie (super)algebra may differ (in any characteristic). For the serial Lie superalgebras, the inverses of Cartan matrices are explicitly given for certain “basic” Cartan matrices from which all the other Cartan matrices of the given Lie superalgebra are obtained by means of isotropic (odd) reflections as explained in Subsection 2.7.3. We also corrected and widened the list of references (and the range of applications) of inverses of Cartan matrices as compared with those given in [WZ], e.g., the explicit form of inverse Car- tan matrices of finite-dimensional simple Lie algebras is reproduced in [WZ] as if new, though well-known, see [D1, OV, Stk]. These omissions and the desire to solve the problem considered, but not solved, in [WZ], except for occasional coincidences of Cartan matrices with Gram matrices of non-degenerate invariant symmetric bilinear forms (NISes) on the (super)algebras considered, is what prompted our work. 1.6.1. Open questions. 1) How to explain newly found phenomena (4) and (5)? 2) In characteristic p > 0, the determinants of Cartan matrices of exceptional simple Lie superalgebras are mostly equal to 1, but not always; over C, we see that these determinants are different for inequivalent Cartan matrices of the same Lie superalgebra. What is the meaning of these determinants? 3) How to interpret the determinants of the matrices described in Proposition 1.2.1; the determinants of the Cartan matrices of hyperbolic Lie algebras, and almost affine Lie superalgebras, cf. with properties (2)? 1.6.2. Remark. V. Kac was the first to realize that certain finite-dimensional Lie superalgebras have analogs of Cartan matrices and defined them imitating the definition for Lie algebras, compare [K] with [Kapp], where the exceptional simple Lie superalgebras first appeared. In these cases, V. Kac listed the indecomposable Cartan matrices (with a gap, corrected in [Se, vdL], where infinite-dimensional generalizations with symmetrizable Cartan matrices were also considered). For further improvements of the definitions, see [HS, CCLL, BGL]. In [WZ], the Gram matrices of the non-degenerate symmetric bilinear form on the space of roots, that never explicitly appeared before, but can be recovered from the data in [Se1], or by symmetrizing Cartan matrices, were misattributed to works of V. Kac and called Cartan matrices. Kac never used such matrices (and would hardly apply the term Cartan matrix to a matrix with both 2 and −2 appearing simultaneously on the main diagonal). Analogs of Cartan matrices A with Aii ≤ 0 were introduced by Borcherds, see [B, R] and references in [CCLL].

2. Chevalley generators, Cartan matrices, reflections (from [CCLL, BGL]) 2.1. Chevalley generators and Cartan matrices. Let us start with the construction of Lie (super)algebras with Cartan matrix. Let A =(Aij) be an n × n-matrix whose entries lie in the ground ﬁeld K. Let rk A = n − l. It means that there exists an l × n-matrix T =(Tij) such Inverses of Cartan matrices 5 that a) the rows of T are linearly independent; (6) b) T A = 0 (or, more precisely, “zero l × n-matrix”).

T Indeed, if rk A = rk A = n − l, then there exist l linearly independent vectors vi such that T A vi = 0; set

Tij =(vi)j.

Let the elements ei± and hi, where i =1,...,n, generate a Lie superalgebra denoted G(A, I), n where I = (p1,...pn) ∈ (Z/2) is a collection of parities (p(ei±) = pi), free except for the relations + (7) [ei , ej−]= δijhi;[hj, ej±]= ±Aijej± and [hi, hj]=0 for any i, j. Let Lie (super)algebras with Cartan matrix g(A, I) be the quotient of G(A, I) modulo the ideal explicitly described in [GL, BGL3, BGLL]. By abuse of notation we denote by ej± and hj — the elements of G(A, I) — also their images in g(A, I) and g(i)(A, I) and call these images, and their pre-images, the Chevalley generators of G(A, I), g(A, I), and g(i)(A, I), cf. Subsection 2.5.1. 2.1.1. In small font. The additional to (7) relations that turn G(A, I) into g(A, I) are of the form Ri = 0 whose left sides are implicitly described, for the general Cartan matrix with entries in K, as

the Ri that generate the ideal r maximal among the ideals of G(A, I) whose (8) intersection with the span of the above hi and the dj described in eq. (12) is zero. Set

(9) ci = Tijhj, where i =1, . . . , l. 1 j n ≤X≤ Then, from the properties of the matrix T , we deduce that

a) the elements ci are linearly independent; b) the elements ci are central, because (10) [ci, ej±]= ± TikAkj ej± = ±(T A)ijej±. 1 k n ≤ ≤ ! P The existence of central elements means that the linear span of all the roots is of dimension n−l only. (This can be explained even without central elements: The weights can be considered as column-vectors whose i-th coordinates are the corresponding eigenvalues of adhi . The weight of ei is, therefore, the i-th column of A. Since rk A = n − l, the linear span of all columns of A is (n − l)-dimensional just by deﬁnition of the rank. Since any root is an (integer) linear combination of the weights of the ei, the linear span of all roots is (n − l)-dimensional.) This means that some elements which we would like to see having diﬀerent (even opposite if p = 2) weights, actually, have identical weights. To remedy this, we do the following: let B be an arbitrary l × n-matrix such that A (11) the(n + l) × n-matrix B has rank n. 6 Dimitry Leites, Oleksandr Lozhechnyk

Let us add to the algebra g = G(A, I) (and hence g(A, I)) the grading elements di, where i =1,...,l, subject to the following relations:

(12) [di, ej±]= ±Bij ej;[di,dj] = 0; [di, hj]=0

(the last two relations mean that the di lie in the Cartan subalgebra, and even in the maximal torus which will be denoted by h). (1) Note that these di are outer derivations of g(A, I) , i.e., they can not be obtained as linear (1) combinations of brackets of the elements of g(A, I) (i.e., the di do not lie in g(A, I) ). 2.2. Roots and weights. In this subsection, g denotes one of the algebras g(A, I) or G(A, I). Let h be the span of the hi and the dj. The elements of h∗ are called weights. For a given weight α, the weight subspace of a given g-module V is deﬁned as N Vα = {x ∈ V | an integer N > 0 exists such that (α(h) − adh) x = 0 for any h ∈ h}. Any non-zero element x ∈ V is said to be of weight α. For the roots, which are particular cases of weights if p = 0, the above deﬁnition is inconvenient because it does not lead to the modular analog of the following useful statement. 2.2.1. Statement ([K]). Over C, the space of any Lie algebra g can be represented as a direct sum of subspaces

(13) g = gα. α h∗ M∈ Note that if p = 2, it might happen that h ( g0. (For example, all weights of the form 2α over C become 0 over K.) To salvage the formulation of Statement in the modular case with minimal changes, at least for the Lie (super)algebras g with Cartan matrix — and only this case we will have in mind speaking of roots, we decree that the elements ei± with the same superscript (either + or −) correspond to linearly independent roots αi, and any root α such that gα =6 0 lies in the Z-span of {α1,...,αn}, i.e.,

(14) g = gα.

α Z α1,...,αn ∈ {M } n Thus, g has a R -grading such that ei± has grade (0,..., 0, ±1, 0,..., 0), where ±1 stands in the i-th slot (this can also be considered as Zn-grading, but we use Rn for simplicity of formulations). If p = 0, this grading is equivalent to the weight grading of g. If p > 0, these + gradings may be inequivalent; in particular, if p = 2, then the elements ei and ei− have the same weight. (That is why in what follows we consider roots as elements of Rn, not as weights.) Any non-zero element α ∈ Rn is called a root if the corresponding eigenspace of grade α (which we denote gα by abuse of notation) is non-zero. The set R of all roots is called the root system of g. Clearly, the subspaces gα are purely even or purely odd, and the corresponding roots are said to be even or odd. 2.3. Systems of simple and positive roots. In this subsection, g = g(A, I), and R is the root system of g. For any subset B = {σ1,...,σm} ⊂ R, we set (we denote by Z+ the set of non-negative integers):

RB± = {α ∈ R | α = ± niσi, where ni ∈ Z+}. X Inverses of Cartan matrices 7

The set B is called a system of simple roots of R (or g) if σ1,...,σm are linearly independent + n and R = RB ∪ RB−. Note that R contains basis coordinate vectors, and therefore spans R ; thus, any system of simple roots contains exactly n elements. A subset R+ ⊂ R is called a system of positive roots of R (or g) if there exists x ∈ Rn such that (α, x) ∈ R\{0} for all α ∈ R, (15) R+ = {α ∈ R | (α, x) > 0}. (Here (·, ·) is the standard Euclidean inner product in Rn.) Since R is a finite (or, at least, countable if dim g(A)= ∞) set, so the set {y ∈ Rn | there exists α ∈ R such that (α,y)=0} is a finite/countable union of (n − 1)-dimensional subspaces in Rn, so it has zero measure. So for almost every x, condition (15) holds. By construction, any system B of simple roots is contained in exactly one system of positive + roots, which is precisely RB. 2.3.1. Statement. Any finite system R+ of positive roots of g contains exactly one system of simple roots. This system consists of all the positive roots (i.e., elements of R+) that can not be represented as a sum of two positive roots. We can not give an a priori proof of the fact that each set of all positive roots each of which is not a sum of two other positive roots consists of linearly independent elements. This is, however, true for finite dimensional Lie algebras and Lie superalgebras of the form g(A) if p =6 2. 2.4. Normalization convention. Clearly,

(16) the rescaling ei± 7→ λiei±, sends A to A′ := diag(λ1,...,λn) · A.

Two pairs (A, I) and (A′,I′) arep said to be equivalent if (A′,I′) is obtained from (A, I) by a composition of a permutation of parities and a rescaling A′ = diag(λ1,...,λn) · A, where λ1 ...λn =6 0. Clearly, equivalent pairs determine isomorphic Lie superalgebras. The rescaling aﬀects only the matrix AB, not the set of parities IB. The Cartan matrix A is said to be normalized if

(17) Ajj = 0 or 1, or 2.

We let Ajj = 2 only if ij = 0;¯ in order to eliminate possible confusion, we write Ajj = 0¯ or 1¯ if ij = 0,¯ whereas if ij = 1,¯ we write Ajj = 0 or 1. Normalization conditions correspond to the “natural” Chevalley generators of the most usual “building blocks” of finite-dimensional Lie (super)algebras with Cartan matrix: sl(2) if Ajj = 2, sl(1|1) if Ajj = 0, and osp(1|2) if Ajj = 1, respectively. (In this paper we do not need Ajj = 0¯ or 1,¯ see [BGL, CCLL].) We will only consider normalized Cartan matrices; for them, we do not have to indicate the set of parities I. 2.4.1. Warning. Unlike the case of simple finite-dimensional Lie algebras over C, where the normalized Cartan matrix A is uniquely defined, generally this is not so: each row with a 0 or 0¯ on the main diagonal can be multiplied by any nonzero factor; usually (not only in this paper) we multiply the rows so as to make AB symmetric, if possible. Which version of the Cartan matrix should be considered as its “normal form”? The defining relations give the answer: 8 Dimitry Leites, Oleksandr Lozhechnyk

The normalized Cartan matrix is used, for example, to describe presentation of the given Lie superalgebra (relations between, or rather among 1 the Chevalley generators).

2.5. Equivalent systems of simple roots. Let B = {α1,...,αn} be a system of simple roots. Choose non-zero elements ei± in the 1-dimensional (by deﬁnition) superspaces g αi ; set + ± hi = [ei , ei−], let AB = (Aij), where the entries Aij are recovered from relations (7), and let IB = {p(e1), ··· ,p(en)}. Lemma 2.7.1 claims that all the pairs (AB,IB) are equivalent to each other.

Two systems of simple roots B1 and B2 are said to be equivalent if the pairs (AB1 ,IB1 ) and

(AB2 ,IB2 ) are equivalent. It would be nice to find a convenient way to fix some distinguished pair (AB,IB) in the equivalence class. For the role of the “best” (first among equals) order of indices we propose the one that minimizes the value (18) max |i − j| i,j 1,...,n such that (AB )ij =0 ∈{ } 6 (i.e., gather the non-zero entries of A as close to the main diagonal as possible). Observe that this numbering differs from the one that Bourbaki use for the e type Lie algebras. 2.5.1. Chevalley generators and Chevalley bases. We often denote the set of generators (i) of g(A, I) and g (A, I) corresponding to a normalized Cartan matrix by X1±,...,Xn± instead + of e1±,...,en±; and call these generators, together with the elements Hi := [Xi ,Xi−], and the derivations dj, see (12), the Chevalley generators. For p = 0 and normalized Cartan matrices of simple finite dimensional Lie algebras, there exists only one (up to signs) basis containing Xi± and Hi in which Aii = 2 for all i and all structure constants are integer, cf. [St]. Such a basis is called the Chevalley basis. Observe that, having normalized the Cartan matrix of sp(2n) so that Aii = 2 for all i =6 n, but Ann = 1, we get another basis with integer structure constants. We think that this basis also qualifies to be called Chevalley basis; for Lie superalgebras, and if p = 2, such normalization is a must. Conjecture. If p > 2, then for finite dimensional Lie (super)algebras with indecomposable Cartan matrices normalized as in (17), there also exists only one (up to signs) analog of the Chevalley basis. From [BGL]: “We had no idea how to describe analogs of Chevalley bases for p = 2 until recently; it seems, the methods of the recent paper [CR] should solve the problem.” (Now, more than a decade ago, this problem is still open.) 2.6. Reflections. Let R+ be a system of positive roots of Lie superalgebra g over a field K of characteristic p > 0, and let B = {σ1,...,σn} be the corresponding system of simple roots with some corresponding pair (A = AB,I = IB). Then for any k ∈ {1,...,n}, the set + (R \{σk}) {−σk} is a system of positive roots. This operation is called the reflection in σk; it changes the system of simple roots by the formulas `

−σj if k = j, (19) rσk (σj)= (σj + Bkjσk if k =6 j,

1Because analogs of the Serre relations in the super setting involve several generators, see [GL, BGL, BGLL]. Inverses of Cartan matrices 9 where

2Akj 2Akj − if Akk =06 , 0¯ and − ∈ Z/pZ, Akk Akk  2Akj p − 1 if Akk =06 , 0¯ and − 6∈ Z/pZ,  Akk (20) Bkj =   or Akk = 0¯ (and hence ik = 0)¯ , Akj =06 ,  1 if ik = 1¯, Akk =0, Akj =06 ,  0 if Akk = Akj =0,   where we consider Z/pZas a subfield of K. The name “reflection” is used because in the case of simple finite-dimensional complex Lie algebras this action, extended on the whole R by linearity, is a map from R to R, and it does + not depend on R , only on σk. This map is usually denoted by rσk or just rk. The map rσk extended to the R-span of R is reflection in the hyperplane orthogonal to σk relative the bilinear form dual to the Killing form. The reflections in the even (odd) roots are referred to as even (odd) reflections. A simple root is called isotropic, if the corresponding row of the Cartan matrix has zero on the diagonal, and non-isotropic otherwise. The reflections that correspond to isotropic or non-isotropic roots will be referred to accordingly. If there are isotropic simple roots, the reflections rα do not, as a rule, generate a version of the Weyl group because the product of two reflections in nodes not connected by one (perhaps, multiple) edge is not defined. These reflections just connect a pair of “neighboring” systems of simple roots and there is no reason to expect that we can multiply such two distinct reflections. In the case of modular Lie algebras or of Lie superalgebras for any p, the action of a given isotropic reflection (19) can not, generally, be extended to a linear map R −→ R. For Lie superalgebras over C, one can extend the action of reflections by linearity to the root lattice, but this extension preserves the root system only for sl(m|n) and osp(2m +1|2n), cf. [Se1]. We would like to draw attention of the reader to an under-appreciated paper [SkB], where the analog of Weyl group for br(3) was considered.

2.7. How reﬂections act on Chevalley generators. If σi is an isotropic root, then the corresponding reﬂection ri sends one set of Chevalley generators into a new one: ¯ ˜ ˜ [Xi±,Xj±] if Aij =06 , 0, (21) Xi± = Xi∓; Xj± = (Xj± otherwise.

The Cartan matrix ri(A) corresponding to the Chevalley generators (21) should be obtained as described above: set ˜ ˜ + ˜ Hi := [Xi , Xi−] and compute ˜ ˜ + ˜ ˜ + [Hi, Xj ]= BijXj . Normalize the matrix B˜ as we agreed, see Subsection 2.4; let B be the normalized matrix. Then ri(A) := B =(Bkl). 2.7.1. Lebedev’s lemma. Serganova [Se] proved (for p = 0) that there is always a chain of reﬂections connecting B1 with some system of simple roots B2′ equivalent to B2 in the sense of deﬁnition in Subsection 2.6. Here is the modular version of this statement due to Serganova. 10 Dimitry Leites, Oleksandr Lozhechnyk

Lemma (Lebedev, unpublished). For any two systems of simple roots B1 and B2 of any finite dimensional Lie superalgebra with indecomposable Cartan matrix, there is always a chain of reflections connecting B1 with B2. 2.7.2. Important convention. The values − 2Akj in (20) are elements of K, while the roots Akk are elements of a vector space over R. Therefore these expressions in the first case in (20) A should be understood as “the smallest non-negative integer congruent to − 2 kj ”. Akk This convention is important in describing Serre relations and their analogs for p > 0, see [BGLL]. We do not know yet what is an equally “natural” (or correct) way of presenting the elements of the inverse Cartan matrices. There is known just one case where the convention should be modified: if p = 2 and Akk = 2Ajk Ajk, then the expression − should be understood as 2, not 0. (If dim g < ∞, the Akk expressions − 2Ajk are always congruent to integers.) Akk 2.7.3. How reflections act on Cartan matrices ([CCLL]). Let A be a Cartan matrix of size n and I =(p1,...,pn) the vector of parities. If pk = 1¯ and Akk = 0, then the reflection in the kth simple odd root sends A to rk(A), where

(22) (rk(A))ij = Aij + biAkj + cjAik, and where (for p =6 2) −2 if i = k, −2 if j = k, bi = 0 if i =6 k and Aik = 0, and cj = 0 if j =6 k and Ajk = 0, Aik  if i =6 k and Aik =6 0; 1 if j =6 k and Ajk =6 0.  Aki  This can be expressed in terms of matrices as   rk(A)=(E + B)A(E + C), where all columns of the matrix B, except the kth one, are zero, whereas the ith coordinate of the kth column-vector is bi, the ith coordinate of the kth row-vector of C is ci, the other rows of C being zero; E is the unit matrix. Therefore, B2 = C2 = 0, and 1 1 (23) (rk(A))− =(E − C)A− (E − B).

The reﬂected matrix rk(A) might have to be normalized; the new parities are

pj ≡ pj + cj (mod 2).

3. The matrices considered in [WZ] are not Cartan matrices e For any simple ﬁnite-dimensional Lie algebra over C, we know two ways to introduce its Cartan matrix A =(Aij). First approach: take 3n Chevalley generators and compute [hi, ej±]= ±Aijej±, see (7). Second approach: take an auxiliary space — the space spanned by the roots or, sometimes, a bit larger space, see tables in [Bbk, OV]; for sl(V ), this auxiliary space is the space V or its T dual. Let it be spanned by column-vectors εi := (0,..., 0, 1, 0 ..., 0) with a 1 on the ith place. Assume that there is a Euclidean inner product on V given by

(24) (εi,εj)= δij. The Gram matrix of this inner product in the basis of simple roots is precisely the Cartan matrix of sl(V ). This inner product in the space spanned by roots is induced by the restriction Inverses of Cartan matrices 11 of the Killing form from sl(V ) on the maximal torus, i.e., the space of coroots. For the Lie algebras of series sl, o and sp, this inner product can be also defined by means of the form proportional to the Killing form, but much easier to compute: (X,Y ) = tr(XY ) for any X,Y ∈ sl(V ). The above description yields the Gram matrix of a nondegenerate invariant symmetric bilinear form on the Lie algebras whose roots are of equal length. For the simple Lie algebras whose roots are of different lengths, the matrix thus obtained is a symmetrization of the Gram matrix, see [BKLS]. Passing to the Lie superalgebras, we can also follow either of these two procedures. The first approach does indeed lead to Cartan matrices, as described in the beginning of this section. The second approach uses a basis of the superspace V , such that the vectors εi span V0¯, while the vectors δj span V1¯, with the pseudo-Eucledian inner product

(25) (εi,εj)= δij; (εi, δj)= 0 for any i, j; (δi, δj)= −δij. For the Lie superalgebras gl(V ) and psl(V ), this inner product is induced by the supertrace (X,Y ) = str(XY ) for any X,Y ∈ sl(V ); it is non-degenerate for any V , whereas the Killing form is degenerate if dim V0¯ = dim V1¯. Serganova ( [Se1]) showed that a natural generalization of the axioms of root systems to the case of pseudo-Euclidean inner product leads precisely to the root systems of Lie superalgebras with indecomposable Cartan matrices and their simple relatives over C, see [CCLL]. It seems that the Gram matrix of this inner product in the basis of simple roots first appeared in [WZ]: Serganova never wrote it explicitly for any Lie superalgebra. For Lie superalgebras, no Gram matrix of the above inner product in the root space of g is equivalent (in any conventional way) to any Cartan matrix of g, except for osp(1|2n). However, For the root space of g = sl(m +1|n + 1), the Gram matrix of the above (26) inner product calculated in the standard supermatrix format of g turns into the Cartan matrix (28) if its bottom n +1 rows are multiplied by −1. 3.1. Remark. To describe defining relations of g(A) in terms of Chevalley generators, we need the Cartan matrix A corresponding to the selected supermatrix format of elements of g(A), see [GL], not the Gram matrix of the inner product in the space spanned by roots. When we learn what the inverse of any of these Gram matrices is needed for, we will probably have to compute it in just one basis: the NIS on a simple finite-dimensional Lie superalgebra of characteristic =6 2 is unique, up to a proportionality; for a recipe for constructing NIS from the Cartan matrix, see [BKLS]; the Gram matrix of its restriction onto the space spanned by the hi is the dual of the Gram matrix of the inner product on the space spanned by roots.

4. Finite-dimensional serial Lie (super)algebras over C 4.1. Remark. Remember that the Cartan matrix with a 0 on the main diagonal is not uniquely defined: the line with this 0 can be multiplied by any non-zero number, e.g., by a −1, see Subsection 2.4.1. For any invertible matrix, its inverse is uniquely defined, of course. For the series sl and osp, there are 9 types of pairs of “basic” Cartan matrices connected by odd reflections, see [CCLL, Subsection 4.1, Table 1]. From one such Cartan matrix all the other Cartan matrices of the given Lie superalgebra of the given type are obtained by means 12 Dimitry Leites, Oleksandr Lozhechnyk of odd reflections, see (22). It is a matter of taste which one in the pair of “basic” matrices is most simple; we selected (any) one with the smallest number of 0s on the main diagonal. In [WZ], Gram matrices are inverted; this sometimes gives the answer for the Cartan matrices as well, thanks to the fact (26). However, inverting Cartan matrices of the sl cases, we have to consider 2 more types of cases as compared with [WZ]; for the osp series, we have to consider 7 types of cases, not 3 as in [WZ]. Let Am denote the normalized Cartan matrix of sl(m + 1). Below, in formulas (27)–(40), instead of Am there can be any Cartan matrix of sl(a|b) with a + b = m + 1. To derive the 1 explicit expression of the inverse matrix C− in this general case, apply an odd reflection (23). 4.2. The case of sl. For sl(m +1|1), the “basic” Cartan matrix and its inverse (27) is a particular cases of the expression (28), up to an occasional minus sign, see Remark 4.1.

− . 1 .  Am  1 (27) 0 = L1, see (29) for n = 0. − m  1   −   ... 01 0      For sl(m +1|n + 1), where mn =6 0, there are 2 “basic” types of Cartan matrices, see (28) and (31):

− . 1 . A  m 0 0  1 −1  −  1 L1 L2 (28) A :=  ... 0 1 0 10 ...  = T , m,0,n   L L4  −  n − m 2  1   −   0   0 An   .   .   .    where, as shown in [WZ], L1 and L4 are (m + 1) × (m + 1) and n × n matrices, respectively, deﬁned, together with L2, by the following formulas

(L1)ij = ij +(n − m) min{i, j}, (29) (L2)ij = i(n +1 − j), (L4)ij =(n − m) min{i, j} − (m + 1)(n +1 − i − j)+ ij.

To invert the Cartan matrix of the other type, namely (31), we set

1 0 (30) τn := An − α, where α := . 0 0n 1 − Let us transform M 7→ N, where

. . . . A −  m 1 0 0 0   1 0   −   ... 0 1 0 1 0 0 ...  (31) M := Am, ,n :=  −  00  ... 0 0 1 0 1 0 ...   −   1 0     −   0 0 0 A   n   . .   . .      Inverses of Cartan matrices 13 and . . . . A − m 1 0 0 0  1 0  − Am− U 0 ... 0 0 1 0 1 0 ... 1 − 0 12 V N :=  ... 0 0 0 1 0 0 ...  = .   0 0 τn  0 0   0 0   0 τn   . .   . .   X K L 1 We are seeking the matrix N − in the form 0 12 R .  0 0 Z  Denote the ith row (resp. column) by r(i) (resp. c(i)). Consider the following transformations: a) id +{c(m − 1) 7→ c(m − 1) + c(m + 1)}; b) id +{r(m + 2) 7→ r(m + 2) − r(m + 1)}; (32) c) {r(m + 1) 7→ −r(m + 1)}; d) {r(m) ↔ r(m + 1)}.

Observe that τn is obtained from Tn, see (34), by transposing with respect to the side diagonal. Applying transformations a)–d) in lexicographic order we obtain N from M. Am 1 U 0 X K L − From the equation 0 1 V · 0 1 R =1 we get  2   2  m+n+1 0 0 τn 0 0 Z     n n − 1 ··· 1 n − 1 1 Z =(τn)− = Wn =  .  , R = −VZ = −V Wn, (33) . Wn 1 . −  1  1  1 1  1 X = Am− 1, K = −Am− 1U, L = −Am− 1UR = Am− 1UV Wn. − − − − 4.3. The case of osp. For osp(a|2b), there are 6 pairs of series and one single series of “basic” types of Cartan matrices which, together with their inverses, are (34) — (40):

the matrix Tn, see [Str, Section 1.1], is inverted, e.g., in [WZ], where it is denoted Sn; (34) 1 (Tn− )ij = min(i, j), where 1 ≤ i, j ≤ n.

− 1 1 0 0 1 − ··· 1 0 1 0   − − ··· (35) B 1 := 0 1 = see (41), (42). 1,0,n  −   0 0 A   n   . .   . .      4.4. Remark. Clearly, det X0 = −2, see eq. (35). Applying the recipe of Remark 4.1, we get the expression of det X0 without any minus sign. The same applies to matrices (36) — (40). − 2 2 0 0 0 1 − ··· 1 0 1 0 0  − ···  0 1 0 1 0 − (36) B 1 :=  − ···  = see (41), (42). 1,00,n  0 0 1   −   0 0 0 A   n   . . .   . . .      14 Dimitry Leites, Oleksandr Lozhechnyk

− 2 1 0 0 1 − ··· 2 0 1 0   − − ··· (37) C 1 := 0 1 = see (41), (42). 1,0,n  −   0 0 A   n   . .   . .      − 2 2 0 0 1 − ··· 1 0 1 0   − − ··· (38) B 1 := 0 1 = see (41), (42). 2,0,n  −   0 0 A   n   . .   . .      −1 2 0 1 0 0 − ··· 0 2 1 0 0  − ···  1 1 0 1 0 − (39) D 1 :=  − − ···  = see (41), (42). 2,0,n  0 0 1   −   0 0 0 A   n   . . .   . . .      − 2 0 1 0 0 0 1 − ··· 0 2 1 0 0 0  − ···  1 1 0 1 0 0 − − ··· −  0 0 1 0 1 0  (40) D 1 :=   = see (41), (42). 2,00,n  − ···   0 0 0 1   −   000 0 A   n   . . . .   . . . .      5. Proof of formulas (35)–(40). Answers: eqs. (41), (42) There are several formulas for the inverse of various (invertible) block 2 × 2 matrices. In our particular cases, we can use the following ad hoc transformations and the known expressions 1 1 of An− and Wn = τn− , see (33). 1) Let m = 2, or 3, or 4, and U is the m × n-matrix with only non-zero element, 1, in the bottom left corner. Invert the matrix of the form 1 U M = m , where V = U T . V An Note that V U = α, see (30). It is easy to verify that 1 1 1m U − 1m + UWnV −UWn M − = = . V An −WnV Wn 2) In the above notation, consider the matrix of the form Q U N = −V An l 0 r 0 and ﬁnd matrices L = and R = such that LNR = M, i.e., 0 1n 0 1n lQr =1m, lU = U, Vr = −V. 1 Set P := Q− . In what follows, for the cases (35)–(40), we prove the existence of matrices L and R and give the matrices P . Inverses of Cartan matrices 15

1 Since rl = Q− = P , we have the following uniform answer for eqs. (35)–(40):

1 1 r 0 1m + UWnV −UWn l 0 N − = RM − L = 0 1n −WnV Wn 0 1n r 0 1 − lUW Vr −lUW l 0 (41) = m n n 0 1n WnV r Wn 0 1n rl − rlUW Vrl −rlUW P − P UW VP −P UW F G = n n = n n = . WnVrl Wn WnV P Wn H Wn Eq. (35). We perform the following transformations (recall eq. (32)): a) c(2) 7→ c(2) + c(1); r(2) 7→ r(2) + r(1); c(2) 7→ −c(2); b) r(3) 7→ r(3) − r(2):

1 −1 0 0 ··· 1 0 0 0 ··· −1 0 1 0 ··· 0 1 1 0 ···   a)   b) B1,0,n := 0 −1 7→ 0 1 7→  0 0 An   0 0 An   . .   . .   . .   . .   . .   . .  1 0 0 0     ··· 0 1 1 0 ··· 0 0 1 U 1 1 UWn 0 1 = C := =⇒ C− = − ; P = − .  0 0  0 An α 0 Wn 1 1 An α − . . −  . .      Eq. (36). We perform the following transformations: 1 a) r(2) 7→ r(2) + 2 r(1); c(2) 7→ c(2) + c(1); c(3) 7→ c(3) + c(2); r(3) 7→ r(3) − r(2);

1 b) c(1) 7→ 2 c(1); c(2) 7→ −c(2); c(3) 7→ −c(3); c) r(4) 7→ r(4) = r(3):

2 2 0 0 0 2 0 0 0 0 − ··· ··· 1 0 1 0 0 0 1 0 0 0 − ··· − ··· 0 1 0 1 0 0 0 1 1 0 − ··· a) − ··· b) B1,00,n :=  0 0 1  7→  0 0 1  7→ − − 0 0 0 0 0 0  An   An   . . .   . . .   . . .   . . .  1 0 0 0 0 1 0 0 0 0  ··· ··· 0 1 0 0 0 0 1 0 0 0 ··· ··· 0 0 1 1 0 0 0 1 1 0 ··· c) ··· 1 U  0 0 1  7→  0 0 0  = C := 0 An α 0 0 0 0 0 0 − An An α  . . .   . . . −   . . .   . . .   . . .   . . .      1 0 −2 1 1 −UWn 1 =⇒ C− = ; P = 0 0 −2 . 0 Wn 2   1 2 −2   Eq. (37). We perform the following transformations: 1 a) r(2) 7→ r(2) + r(1); c(2) 7→ 2 c(2); c(2) 7→ c(2) + c(1); c(2) 7→ −c(2); 16 Dimitry Leites, Oleksandr Lozhechnyk

b) r(3) 7→ r((3) − r(2):

2 1 0 0 1 0 0 0 − ··· ··· 2 0 1 0 0 1 1 0 − ··· ··· 0 1 a) 0 1 b) C := − 7→ 7→ 1,0,n  0 0   0 0  An An . . . .  . .   . .      1 0 0 0     ··· 0 1 1 0 ··· 0 0 1 U 1 1 UWn 1 0 1 = C = =⇒ C− = − ; P = − .  0 0  0 An α 0 Wn 2 2 An α − 2 . . −  . .      Eq. (38). We perform the following transformations: 1 a) c(2) 7→ c(2) + c(1); r(1) 7→ 2 r(1); r(2) 7→ r(2) + r(1); c(2) 7→ −c(2); b) r(3) 7→ r((3) − r(2):

2 2 0 0 1 0 0 0 − ··· ··· 1 0 1 0 0 1 1 0 − ··· ··· 0 1 a) 0 1 b) B := − 7→ 7→ 2,0,n  0 0   0 0  An An . . . .  . .   . .      1 0 0 0     ··· 0 1 1 0 ··· 0 0 1 U 1 1 UWn 1 0 2 = C := =⇒ C− = − ; P = −  0 0  0 An α 0 Wn 1 2 An α − 2 . . −  . .      Eq. (39) We perform the following transformations: 1 1 1 a) r(3) 7→ r(3) + 2 (r(1) + r(2)); c(1) 7→ 2 c(1); c(2) 7→ 2 c(2); c(3) 7→ c(3) + c(1) + c(2); c(3) 7→ −c(3); b) r(4) 7→ r(4) − r(3):

2 0 1 0 0 1 0 0 0 0 − ··· ··· 0 2 1 0 0 0 1 0 0 0 − ··· ··· 1 1 0 1 0 0 0 1 1 0 − − ··· a) ··· b) D2,0,n :=  0 0 1  7→  0 0 1  7→ − 0 0 0 0 0 0  An   An   . . .   . . .   . . .   . . .     1 −1 −2 1 U 1 1 −UWn 1 C := =⇒ C− = ; P = − −1 1 −2 . 0 An − α 0 Wn 4 −2 −2 −4!

Eq. (40) We perform the following transformations: 1 1 1 a) r(3) 7→ r(3) + 2 (r(1) + r(2)); c(1) 7→ 2 c(1); c(2) 7→ 2 c(2); c(3) 7→ c(3) + c(1) + c(2); b) c(4) 7→ c(4) + c(3); r(4) 7→ r(4) − r(3); c(3) 7→ −c(3); c(4) 7→ −c(4); Inverses of Cartan matrices 17

c) r(5) 7→ r(5) − r(4):

2 0 1 0 0 0 10 0 0 0 0 − ··· ··· 0 2 1 0 0 0 01 0 0 0 0 − ··· ··· 1 1 0 1 0 0 0 0 1 1 0 0 − − ··· − ···  0 0 1 0 1 0  a)  0 0 1 0 1 0  b) D := − ··· 7→ − ··· 7→ 2,00,n 0 0 0 1 0 0 0 1 − −  000 0   000 0   An   An   . . . .   . . . .   . . . .   . . . .      1 0 0 0 0 0     ··· 0 1 0 0 0 0 ··· 0 0 1 0 0 0 1 0 0 1  ···  − 0 0 0 1 1 0 c) 1 U 1 1 UWn 1 0 1 0 1 ··· 7→ C := =⇒ C− = − ; P = − . 0 0 0 1 0 An α 0 Wn 0 0 0 2 − 2  −   0 0 0 0  1 1 2 2  An  −  . . . .   . . . .        Therefore (recall that m is the size of the upper left block of N), in eq. (41) we have

Fij = Pij − nPimPmj, so 1 × 1 1 × 1 n n +1 P − n = − in case Eq. (35),  1 × 1 1 × 1! n +1 n +1!  ?? in case Eq. (36),  ?? in case Eq. (37), F =  (42)   n 2 × 1 2 × 2 1 2 4(n + 1) P − 4 = − 4 in case Eq. (38), 1 × 2 2 × 2! n +2 4(n + 1)!  ?? in case Eq. (39),  ?? in case Eq. (40),  G =−(n − b + 1)P , ib  ib Haj =( n − a + 1)Paj.

6. Finite-dimensional exceptional Lie (super)algebras over C In this section, the determinant of the Cartan matrix is equal to the minus denominator of the fraction serving as a factor of the “matrix part” of the inverse matrix; if the factor is equal to 1, then the determinant is equal to 1. 6.1. osp(4|2; α). Since osp(4|2;1) ≃ osp(4|2), it is convenient to set α = 1 − ε to express the deformed bracket in terms of ε. The inequivalent Cartan matrices of osp(4|2; α), where α =06 , −1, i.e., ε =16 , 2, and their inverses, are

− − 2 −1 0 1 2 −1 0 1 ε−1 2 1−ε − − − − 1 − 1) 1 0 α = 1 0 1+ε = − 2 4 2(1 ε) , 0 −1 2 0 −1 2 − 2(2 ε) − 1 2 1 (43) − − 2 0 1 −1−α 1 0 1 −2+ε 1 (ε−1) −(ε−1)(ε−2) ε−1 − − − − 1 2 2) 1 0 α = 1 0 1+ε = − − (ε−1)(ε−2) −(ε−2) −(ε−2) . −1−α α 0 −2+ε 1−ε 0 − 2(ε 1)(2 ε) ε−1 ε−2 1 ! 6.2. ag(2). The inequivalent Cartan matrices and their inverses are

− − 0 −1 0 1 0 −1 0 1 − 1 1 2 3 1 3 2 3 1) −1 2 −3 = 2 0 0 , 2) −1 0 3 = 2 0 0 , 0 −1 2 − 2 1 0 −1 0 −1 2 − 2 1 0 −1 (44) − − 0 −3 1 1 4 4 −6 2 −1 0 1 2 1 −2 3) −3 0 2 = 1 4 1 −3 , 4) −3 0 2 = 3 2 −4 −1 −2 2 − 6 6 3 −9 0 −1 1 3 2 −3 18 Dimitry Leites, Oleksandr Lozhechnyk

6.3. ab(3). The inequivalent Cartan matrices and their inverses are − − 2 −1 0 0 1 2 2 −2 −2 0 −3 1 0 1 −8 −2 −12 −12 −30 1 0 1 6 4 −4 −4 −30 2 0 1 −2 −2 −6 −6 1) 0 −1 2 −2 = 2 6 4 −6 −6 , 2) 1 2 0 −2 = 6 −12 −6 −18 −18 , 0 0 −1 2 ! − 3 2 −3 −4 ! 0 0 −1 2 ! − −6 −3 −9 −12 ! − − 2 −1 0 0 1 2 3 2 −3 2 −1 0 0 1 −4 −1 −3 −2 (45) −1 2 −1 0 3 6 4 −6 −2 0 2 −1 1 −2 −2 −6 −4 3) 0 −2 0 3 = 4 8 6 −9 , 4) 0 2 0 −1 = 6 −6 −6 −6 −6 , 0 0 −1 2 ! 2 4 3 −4 ! 0 −1 −1 2 ! − −4 −4 −6 −8 ! − − 0 −1 0 0 1 −4 3 −4 −2 2 −1 0 0 1 −2 −1 0 1 −10 2 0 1 −300 0 −1 2 −1 0 1 −1 −2 0 2 5) − − = − − − , 6) − − = 0 1 2 1 3 2 0 2 1 0 2 2 1 − 3 0 003 0 0 −1 2 ! −1 0 −1 −2 ! 0 0 −1 0 ! 2 432 7. Finite-dimensional exceptional simple modular Lie (super)algebras For each Lie (super)algebra, we list its inequivalent Cartan matrices and their inverses. 7.1. p = 2; Lie (super)algebras. In this Subsection, ∗ on the main diagonal stands for either 0¯ or 0; both can be viewed as 0 for our purposes. 7.1.1. wk(4; a) and bgl(4; a), where a =6 0, 1.

− −1 −1 −1 01 0 1 0¯ a 0 0 1 0 a 0 a 0¯ 11+a 0 −1 a ∗ −1 ∗ a 1 0 01+a 1) 1 0 = a 0 0 0 , 2) 1 0 = −1 0 1 ∗ 1 0 001 a+1 a ∗ a 0 0 0 a ∗ −1 ∗  −1 −1  0 0 1 a 0 1 0 ! 0 0 a ! 1 1+a a 0 −1 −1 −1 0¯ a 0 0 0 a 0 1+a   ∗ −1 3) a a+1 0 = a 0 0 0 0 a+1 ∗ 1 0 00 1 ∗  −1  0 0 1 ! 1+a 0 1 0   (1) (1) 7.1.2. ∆n = F(ooIΠ(n0¯|n1¯)), where F is the desuperization functor, and ooIΠ(n0¯|n1¯), see [BGL]. In the simplest case, ∆n = F(osp(1|2n)); cf. [WK].

1 111111 ...... − 100000 ··· . . . . 101111 ··· . 101000 ··· (46)  .. 1 0  =  101011 ···  ∗ 101010 ··· . ··· .. 1 1 ......  0 1∗ 1   ......   ···    7.1.3. e(6), e(6, 1) and e(6,6).    10000 1 010001 1∗ 1000 − 100000 0∗ 1 1 0 1 000001 0 0∗ 1 1 0 = 000010 0001∗ 0 000101 00100∗ ! 101010 ! ∗ 7.1.4. e(8), e(8, 1) and e(8, 8). 1000000 1 01010001 1∗ 100000 − 10000000 0∗ 1 10000 00010001 0 0∗ 1 1000 10100000  0001∗ 1 0 1  =  00000001  00001∗ 1 0 00000010 000001∗ 0 00000101 0000100∗ 10101010  ∗    7.1.5. sl(2n + 1) and sl(a|b) for a + b= 2n + 1.  1 010101 ...... − 100000 ...... 000101 ... . 101000 ... (47)  .. 1 0  =  000001 ...  ∗ 101010 ... .. 000000 ... . 1 1  ......   0 1∗   ......   ··· ∗   ......  7.2. p = 3; Lie algebras.     2 −1 1 1 1−ε 1 7.2.1. br(2; ε) for ε =6 0. ( −2 1−ε )− = ε− ( 2 2 ) 1 1 2 1 0 − 2 0 1 2 1 0 − 2 0 1 7.2.2. br(3). 1) 1− 2 1 = 0 0 2 , 2) 2− 2 1 = 0 0 2 −0 1 −0¯ 1 2 0 −0 1 −0¯ 2 2 2 − − Inverses of Cartan matrices 19

7.3. p = 3; Lie superalgebras.

0 −1 1 1 1 0 −1 1 0 1 1 −1 1 0 1 7.3.1. brj(2; 3). 1) ( −2 1 )− =( 2 0 ) , 2) ( −1 0¯ )− =( 1 0¯ ) , 3) ( −1 0¯ )− =( 1 1 ) .

− 1 − 1 2 1 0 − 2 0 1 2 1 0 − 2 0 2 7.3.2. g(1, 6). 1) −1 1 −1 = 0 0 2 , 2) −1 2 −2 = 0 0 1 . 0 −1 0 1 2 1 0 −2 0 2 1 0

7.3.3. g(3, 6).

−1 −1 0 −1 0 0 1201 0 −1 0 0 0201 −1 2 −1 0 2000 −1 0 −1 0 2000 1) 0 −1 1 −1 = 0002 2) 0 −1 1 −1 = 0002 0 0 −1 0 ! 1022 0 0 −1 0 ! 1022 −1 −1 0 −1 0 0 1201 2 −1 0 0 0202 −1 2 −1 0 2000 −1 0 −2 0 2101 3) 0 −1 2 −2 = 0002 4) 0 −2 2 −1 = 0002 0 0 −1 0 ! 2012 0 0 −1 0 ! 2122 −1 −1 0 −1 0 0 0102 2 −1 0 0 0202 −2 0 −1 0 2000 −1 0 −2 0 2101 5) 0 −1 2 −2 = 0002 6) 0 −2 0 −2 = 0002 0 0 −1 0 ! 2012 0 0 −1 0 ! 1212 −1 2 −1 0 0 0201 −1 2 −1 −1 2102 7) 0 −1 0 −1 = 0012 0 −1 −1 2 ! 1221

7.3.4. g(4, 3).

−1 −1 2 −1 0 0 2001 2 −1 0 0 2001 −1 2 −2 −1 0002 −1 0 −2 −2 0002 1) 0 −1 2 0 = 0021 2) 0 −1 2 0 = 0021 0 −1 0 0 ! 1221 0 −1 0 0 ! 2110 −1 −1 0 −1 0 0 1102 0 −1 0 0 0201 −2 0 −1 −1 2000 −1 2 −1 −1 2000 3) 0 −1 0 −1 = 0012 4) 0 −1 0 −1 = 0012 0 −1 −1 2 ! 1020 0 −1 −1 2 ! 1020 − −1 − −1 0 1 0 0 1201 0 1 0 0 0202 −1 2 −1 0 2000 −1 0 −2 0 2000 5) 0 −1 0 −1 = 0002 6) 0 −1 0 −1 = 0002 0 0 −1 0 ! 1020 0 0 −1 0 ! 1020 − −1 − −1 0 1 0 0 1201 2 1 0 0 0102 −1 2 −1 0 2000 −2 0 −1 0 2201 7) 0 −2 2 −1 = 0002 8) 0 −1 2 −2 = 0002 0 0 −1 0 ! 2021 0 0 −1 0 ! 2210 −1 −1 0 −1 0 0 0202 2 −1 0 0 0102 −1 0 −2 0 2000 −2 0 −1 0 2201 9) 0 −2 2 −1 = 0002 10) 0 −1 1 −1 = 0002 0 0 −1 0 ! 2021 0 0 −1 0 ! 1121 20 Dimitry Leites, Oleksandr Lozhechnyk

7.3.5. g(8, 3).

−1 − −1 2 −10 0 0 11202 2 10 0 0 11201 −1 2 −1 0 0 12101 −1 2 −1 0 0 12102 1) 0 −2 2 −1 0 = 12000 2) 0 −2 2 −1 0 = 12000  0 0 −1 2 −1  00001 !  0 0 −2 0 −1  00002 ! 00010 21022 0 0 0 −1 0 12020 − −1 − −1  2 10 0 0  11122  2 10 0 0  11112 −1 2 −1 0 0 12211 −1 0 −2 −2 0 12221 3) 0 −1 0 −1 0 = 12000 4) 0 −1 0 −1 0 = 21100  0 0 −1 0 −2  21022 !  0 −1 −1 2 −1  21012 ! 0 0 0 −1 2 12010 0 0 0 −1 2 12020 − −1 − −1  0 10 0 0  21222  0 10 0 0  22111 −2 0 −1 −1 0 20000 −1 2 −1 −1 0 20000 5) 0 −12 0 0 = 10200 6) 0 −12 0 0 = 10200  0 −1 0 0 −2  10022 !  0 −1 0 0 −2  10022 ! 0 0 0 −1 2 20010 0 0 0 −1 2 20010 − −1 − −1  0 10 0 0  22201  0 10 0 0  22102 −1 2 −2 −1 0 20000 −1 0 −1 −2 0 20000 7) 0 −12 0 0 = 10200 8) 0 −12 0 0 = 10200  0 −2 0 0 −1  00002 !  0 −2 0 0 −1  00002 ! 0 0 0 −1 0 20020 0 0 0 −1 0 20020 − −1 −1  0 10 0 0  22201  2 −1 −1 0 0  11102 −1 2 −2 −1 0 20000 10 1 2 0 22001 0 −12 0 0 10200 11 0 0 0 20200 9) = 10) − − =  0 −1 0 2 −1  00002 !  0 1 0 2 1  00002 ! 0 0 0 −1 0 10021 0 0 0 −1 0 11020 − −1 − −1  0 10 0 0  22102  0 0 1 0 0 21202 −1 0 −1 −2 0 20000 0 2 −1 −1 0 12001 11) 0 −12 0 0 = 10200 12) −1 −10 0 0 = 20000  0 −1 0 2 −1  00002 !  0 −1 0 2 −1  00002 ! 0 0 0 −1 0 10021 0 0 0 −1 0 21020 − − −1 − −1  2 1 1 0 0  12202  0 0 1 0 0  22201 −1 0 −1 −2 0 21001 0 2 −1 −1 0 12001 13) −1 −10 0 0 = 20100 14) −1 −22 0 0 = 20000  0 −2 0 0 −1  00002 !  0 −1 0 2 −1  00002 ! 0 0 0 −1 0 21021 0 0 0 −1 0 21020 − −1 − − −1  0 0 1 0 0  21202  2 1 1 0 0  12211 0 2 −1 −1 0 12001 −1 2 −1 −1 0 21022 15) −1 −10 0 0 = 20000 16) −1 −10 0 0 = 20100  0 −2 0 0 −1  00002 !  0 −1 0 0 −2  12000 ! 0 0 0 −1 0 12021 0 0 0 −1 2 21002 − −1 − −1  0 0 1 0 0  22201  0 0 1 0 0  22211 0 2 −1 −1 0 12001 0 0 −2 −1 0 11022 17) −1 −22 0 0 = 20000 18) −1 −10 0 0 = 20000  0 −2 0 0 −1  00002 !  0 −1 0 0 −2  22000 ! 0 0 0 −1 0 12021 0 0 0 −1 2 11002 − −1 − −1  0 0 1 0 0 21222  0 0 1 0 0  20121 0 0 −2 −1 0 11022 0 0 −1 −2 0 00021 19) −1 −22 0 0 = 20000 20) −2 −12 0 0 = 20000  0 −1 0 0 −2  22000 !  0 −1 0 2 −1  21000 ! 0 0 0 −1 2 11002 0 0 0 −1 2 12002 − −1   0 0 1 0 0  20212  0 0 −1 −2 0 00021 21) −1 −11 0 0 = 20000  0 −1 0 2 −1  21000 ! 0 0 0 −1 2 12002   7.3.6. el(5; 3).

− −1 − −1 0 10 0 0 02102 0 20 0 0 22201 −1 0 0 −1 0 20000 −1 2 0 −2 0 10000 1) 0 0 2 −1 −1 = 10122 , 2) 0 0 2 −1 −1 = 20122 ,  0 −1 −1 2 0  00201 !  0 −1 −1 2 0  00201 ! 0 0 −1 0 2 20210 0 0 −1 0 2 10210 − − −1 − −1 2 1 0 1 0  01102  0 0 0 1 0 01122 −2 0 0 −2 0 22000 0 2 0 −1 0 12000 3) 0 0 2 −1 −1 = 20122 , 4) 0 0 0 −2 −1 = 10102 ,  −2 −2 −1 0 0  00201 !  −1 −1 −2 0 0  20000 ! 0 0 −1 0 2 10210 0 0 −1 0 2 20200 − −1 − −1  0 0 0 2 0  22221  0 0 0 1 0  01022 0 2 0 −1 0 22000 0 2 0 −1 0 12000 5) 0 0 0 −2 −1 = 20102 , 6) 0 0 0 −1 −2 = 00001 ,  −1 −2 −1 2 0  10000 !  −1 −1 −1 2 0  20000 ! 0 0 −1 0 2 10200 0 0 −2 0 0 20100 − −1 − −1  0 0 0 2 0  22011  0 0 0 1 0  01021 0 2 0 −1 0 22000 0 2 0 −1 0 12000 7) 0 0 0 −1 −2 = 00001 , 8) 0 0 2 −1 −1 = 00002 ,  −2 −1 −1 0 0  10000 !  −1 −1 −1 2 0  20000 ! 0 0 −2 0 0 10100 0 0 −1 0 0 10201 − −1 − −1  2 0 0 1 0  22001  0 0 0 2 0  22012 0 0 −2 −2 0 22010 0 2 0 −1 0 22000 9) 0 −1 2 −1 −1 = 00001 , 10) 0 0 2 −1 −1 = 00002 ,  −1 −2 −2 0 0  01002 !  −2 −1 −1 0 0  10000 ! 0 0 −2 0 0 10220 0 0 −1 0 0 20201 − −1 − −1  2 0 0 1 0  21001  2 0 0 1 0  22002 0 0 −1 −1 0 10020 0 0 −2 −2 0 22010 11) 0 −1 0 0 −2 = 00001 , 12) 0 −2 0 −2 −1 = 00002 ,  −1 −10 2 0  02002 !  −1 −2 −2 0 0  01001 ! 0 0 −2 0 0 10120 0 0 −1 0 0 20211 − −1 − −1  2 0 0 1 0  22201  2 0 0 1 0  21002 0 2 −1 −2 0 10020 0 0 −1 −1 0 10020 13) 0 −2 0 0 −1 = 20112 , 14) 0 −1 2 0 −1 = 00002 ,  −1 −10 2 0  01102 !  −1 −10 2 0  02001 ! 0 0 −1 0 2 10220 0 0 −1 0 0 20211 − −1   2 0 0 1 0  22101  0 2 −1 0 0 22010 15) 0 −1 0 −1 −2 = 10020  −1 0 −1 2 0  01202 ! 0 0 −1 0 2 20012   Inverses of Cartan matrices 21

7.3.7. g(4, 6).

2 −10 0 0 0 −1 2 −10 0 0 0 −1 − − 021002 − − 022101 1 2 10 0 0 212001 1 2 10 0 0 211202 0 −1 2 −1 0 0 120000 0 −2 0 −1 −1 0 120000 1)  0 0 −2 0 −2 −1  = 000002 2)  0 0 −1 0 −1 −2  = 210020 0 0 0 −1 2 0  000021  0 0 −1 −1 0 0  000212  0 0 0 −1 0 0 120221 0 0 0 −1 0 2 120012  − −1  −  −1  2 10 0 0 0  021002   2 10 0 0 0   010201 −1 2 −10 0 0 212001 −2 0 −10 0 0 220102 0 −1 2 −1 0 0 120000 0 −1 0 −2 −2 0 000201 3)  0 0 −1 2 −1 −1  = 000002 4)  0 0 −1 2 0 −1  = 221010 0 0 0 −1 2 0  000021  0 0 −10 2 0  000122  0 0 0 −1 0 0 210210 0 0 0 −1 0 2 112022  −  −1  − −1  2 10 0 0 0   021201  0 10 0 0 0  020201  −1 2 −10 0 0 212102 −1 0 −20 0 0 200000 0 −1 2 0 −1 0 120000 0 −1 2 −1 −1 0 000201 5)  0 0 0 2 −1 −1  = 210020 6)  0 0 −1 2 0 −1  = 102010 0 0 −1 −1 0 0  000201  0 0 −10 2 0  000122  0 0 0 −1 0 2 120012 0 0 0 −1 0 2 201022   − −1    0 10 0 0 0  120102    −1 2 −10 0 0 200000 0 −1 2 −1 −1 0 000201 7)  0 0 −1 2 0 −1  = 102010 0 0 −10 2 0  000122   0 0 0 −1 0 2  201022     7.3.8. g(6, 6).

− −1 − −1 0 10 0 0 0 122001 0 20 0 0 0 021002 −1 0 −20 0 0 200000 −1 2 −10 0 0 100000 0 −1 2 −1 0 0 102001 0 −1 2 −1 0 0 202001 1)  0 0 −2 0 −2 −1  = 000002 2)  0 0 −2 0 −2 −1  = 000002 0 0 0 −1 2 0  000021  0 0 0 −1 2 0  000021  0 0 0 −1 0 0 102222 0 0 0 −1 0 0 202222  − −1  − −1  2 10 0 0 0   201001   0 10 0 0 0   121202  −2 0 −10 0 0 002002 −1 0 −20 0 0 200000 0 −1 0 −2 0 0 221001 0 −2 0 −1 −1 0 101202 3)  0 0 −2 0 −2 −1  = 000002 4)  0 0 −1 0 −1 −2  = 202121 0 0 0 −1 2 0  000021  0 0 −1 −1 0 0  000212  0 0 0 −1 0 0 221222 0 0 0 −1 0 2 101211  0 −10 0 0 0 −1    0 −10 0 0 0 −1    − −  122001  − −  022101 1 0 20 0 0 200000 1 2 10 0 0 200000 0 −1 2 −1 0 0 102001 0 −2 0 −1 −1 0 101202 5)  0 0 −1 2 −1 −1  = 000002 6)  0 0 −1 0 −1 −2  = 202121 0 0 0 −1 2 0  000021  0 0 −1 −1 0 0  000212  0 0 0 −1 0 0 201212 0 0 0 −1 0 2 101211  0 −10 0 0 0 −1    2 −10 0 0 0 −1    − −  021002  − −  202001 1 2 10 0 0 200000 1 2 10 0 0 001002 0 −1 2 −1 0 0 102001 0 −2 0 −1 0 0 120000 7)  0 0 −1 2 −1 −1  = 000002 8)  0 0 −1 2 −2 −1  = 000002 0 0 0 −1 2 0  000021  0 0 0 −1 2 0  000021  0 0 0 −1 0 0 201212 0 0 0 −1 0 0 210222  2 −10 0 0 0 −1    2 −10 0 0 0  −1   − −  201202  − −  201001 2 0 10 0 0 002101 2 0 10 0 0 002002 0 −1 2 −1 −1 0 221202 0 −1 0 −2 0 0 221001 9)  0 0 −1 0 −1 −2  = 112121 10)  0 0 −1 2 −1 −1  = 000002 0 0 −1 −1 0 0  000212  0 0 0 −1 2 0  000021  0 0 0 −1 0 2 221211 0 0 0 −1 0 0 112212  −  −1  −  −1  0 10 0 0 0   120102  0 10 0 0 0   122102 −1 2 −10 0 0 200000 −1 0 −20 0 0 200000 0 −1 0 −2 −2 0 000201 0 −1 2 0 −1 0 102102 11)  0 0 −1 2 0 −1  = 201211 12)  0 0 0 2 −1 −1  = 201221 0 0 −10 2 0  000122  0 0 −1 −1 0 0  000201  0 0 0 −1 0 2 102121 0 0 0 −1 0 2 102111  − −1  − −1  0 10 0 0 0   010201   0 10 0 0 0   021201  −2 0 −10 0 0 200000 −1 2 −10 0 0 200000 0 −1 0 −2 −2 0 000201 0 −1 2 0 −1 0 102102 13)  0 0 −1 2 0 −1  = 201211 14)  0 0 0 2 −1 −1  = 201221 0 0 −10 2 0  000122  0 0 −1 −1 0 0  000201  0 0 0 −1 0 2 102121 0 0 0 −1 0 2 102111  − −1  − −1  2 10 0 0 0   202001   2 10 0 0 0   201102  −1 2 −10 0 0 001002 −2 0 −10 0 0 002201 0 −2 0 −1 0 0 120000 0 −1 0 0 −2 0 221102 15)  0 0 −1 0 −2 −2  = 000002 16)  0 0 0 2 −1 −1  = 112221 0 0 0 −1 2 0  000021  0 0 −1 −1 0 0  000201  0 0 0 −1 0 0 120112 0 0 0 −1 0 2 221111  2 −10 0 0 0 −1    2 −10 0 0 0 −1    − −  020201  − −  201102 1 0 20 0 0 210102 1 2 10 0 0 002201 0 −1 2 −1 −1 0 000201 0 −1 2 −1 0 0 120000 17)  0 0 −1 2 0 −1  = 122211 18)  0 0 −2 0 −1 −1  = 210102 0 0 −10 2 0  000122  0 0 0 −1 0 −1  000012  0 0 0 −1 0 2 211121 0 0 0 −1 −1 2 120221  2 −10 0 0 0 −1    2 −10 0 0 0 −1    − −  202102  − −  201201 1 2 10 0 0 001201 1 2 10 0 0 002102 0 −2 0 0 −1 0 120000 0 −1 2 −1 0 0 120000 19)  0 0 0 2 −1 −1  = 120211 20)  0 0 −1 2 −1 0  = 210201 0 0 −1 −2 2 0  000201  0 0 0 −1 0 −1  000002  0 0 0 −1 0 2 210121 0 0 0 0 −1 0 120122   − −1    2  10 0 0 0  201201    −1 2 −10 0 0 002102 0 −1 2 −1 0 0 120000 21)  0 0 −1 2 −1 0  = 210201 0 0 0 −2 2 −1  000002   0 0 0 0 −1 0  210222     22 Dimitry Leites, Oleksandr Lozhechnyk

7.3.9. g(8, 6).

2 0 −10 0 0 0 −1 2 0 −10 0 0 0 −1 − 1211201 − 1211122 0 2 0 10 0 0 2210000 0 2 0 10 0 0 2210000 −1 0 2 −10 0 0 1122102 −1 0 2 −10 0 0 1122211 1)  0 −1 −1 2 −1 0 0  = 1020000 2)  0 −1 −1 2 −1 0 0  = 1020000 0 0 0 −1 2 −1 0  2010201  0 0 0 −2 0 −1 0  2010122  − − − −  0 0 0 0 2 0 1  0000002  0 0 0 0 1 0 2  1020200  00000 −1 0   2010221   00000 −1 2   2010102  2 0 −10 0 0 0 −1   2 0 −10 0 0 0 −1    −  1211201  −  1212012 0 2 0 10 0 0 2210000 0 2 0 10 0 0 2210000 −1 0 2 −10 0 0 1122102 −1 0 2 −10 0 0 1121021 3)  0 −1 −1 2 −1 0 0  = 1020000 4)  0 −2 −2 0 −1 0 0  = 1020000 0 0 0 −1 2 −1 0  2010201  0 0 0 −1 0 −2 0  0000021  − − − −  0 0 0 0 1 2 1  0000002  0 0 0 0 1 2 1  1020100  00000 −1 0   1020120   00000 −1 2   2010202  2 0 −10 0 0 0 −1   2 0 −10 0 0 0 −1    − −  1121012  − −  1212012 0 0 1 10 0 0 2120000 0 0 2 20 0 0 1020000 −2 −1 0 −10 0 0 1212021 −1 −12 0 0 0 0 1121021 5)  0 −1 −1 0 −2 0 0  = 2021012 6)  0 −1 0 2 −1 0 0  = 2012012 0 0 0 −1 2 −1 0  0000021  0 0 0 −1 2 −1 0  0000021  − − − −  0 0 0 0 1 2 1  1012200  0 0 0 0 1 2 1  1021200  00000 −1 2   2021102   00000 −1 2   2012102  0 0 −10 0 0 0 −1   0 0 −10 0 0 0 −1    −  2222012  −  2121021 0 2 10 0 0 0 1200000 0 2 10 0 0 0 1200000 −1 −2 0 −20 0 0 2000000 −1 −1 2 −10 0 0 2000000 7)  0 0 −1 2 −1 0 0  = 1002012 8)  0 0 −1 2 −1 0 0  = 1002012 0 0 0 −1 2 −1 0  0000021  0 0 0 −1 2 −1 0  0000021  − − − −  0 0 0 0 1 2 1  2001200  0 0 0 0 1 2 1  2001200  00000 −1 2   1002102   00000 −1 2   1002102          7.3.10. el(5; 3).

− −1 − −1 0 10 0 0 02102 0 20 0 0 22201 −1 0 0 −1 0 20000 −1 2 0 −2 0 10000 1) 0 0 2 −1 −1 = 10122 2) 0 0 2 −1 −1 = 20122  0 −1 −1 2 0  00201 !  0 −1 −1 2 0  00201 ! 0 0 −1 0 2 20210 0 0 −1 0 2 10210 − − −1 − −1  2 1 0 1 0  01102  0 0 0 1 0  01122 −2 0 0 −2 0 22000 0 2 0 −1 0 12000 3) 0 0 2 −1 −1 = 20122 4) 0 0 0 −2 −1 = 10102  −2 −2 −1 0 0  00201 !  −1 −1 −2 0 0  20000 ! 0 0 −1 0 2 10210 0 0 −1 0 2 20200 − −1 − −1  0 0 0 2 0  22221  0 0 0 1 0  01022 0 2 0 −1 0 22000 0 2 0 −1 0 12000 5) 0 0 0 −2 −1 = 20102 6) 0 0 0 −1 −2 = 00001  −1 −2 −1 2 0  10000 !  −1 −1 −1 2 0  20000 ! 0 0 −1 0 2 10200 0 0 −2 0 0 20100 − −1 − −1  0 0 0 2 0  22011  0 0 0 1 0  01021 0 2 0 −1 0 22000 0 2 0 −1 0 12000 7) 0 0 0 −1 −2 = 00001 8) 0 0 2 −1 −1 = 00002  −2 −1 −1 0 0  10000 !  −1 −1 −1 2 0  20000 ! 0 0 −2 0 0 10100 0 0 −1 0 0 10201 − −1 − −1  2 0 0 1 0  22001  0 0 0 2 0  22012 0 0 −2 −2 0 22010 0 2 0 −1 0 22000 9) 0 −1 2 −1 −1 = 00001 10) 0 0 2 −1 −1 = 00002  −1 −2 −2 0 0  01002 !  −2 −1 −1 0 0  10000 ! 0 0 −2 0 0 10220 0 0 −1 0 0 20201 − −1 − −1  2 0 0 1 0  21001  2 0 0 1 0  22002 0 0 −1 −1 0 10020 0 0 −2 −2 0 22010 11) 0 −1 0 0 −2 = 00001 12) 0 −2 0 −2 −1 = 00002  −1 −10 2 0  02002 !  −1 −2 −2 0 0  01001 ! 0 0 −2 0 0 10120 0 0 −1 0 0 20211 − −1 − −1  2 0 0 1 0  22201  2 0 0 1 0  21002 0 2 −1 −2 0 10020 0 0 −1 −1 0 10020 13) 0 −2 0 0 −1 = 20112 14) 0 −1 2 0 −1 = 00002  −1 −10 2 0  01102 !  −1 −10 2 0  02001 ! 0 0 −1 0 2 10220 0 0 −1 0 0 20211 − −1   2 0 0 1 0  22101  0 2 −1 0 0 22010 15) 0 −1 0 −1 −2 = 10020  −1 0 −1 2 0  01202 ! 0 0 −1 0 2 20012 7.4. p = 5.   1 1 0 1 − 1 1 1 0 1 − 1 2 1 7.4.1. brj(2; 5). 1) 2− 1 = 3 ( 2 0 ) , 2) 3− 2 = 2 ( 3 0 ) . − − 7.4.2. el(5; 5).

− −1 − −1 2 0 1 0 0 22334 0 0 4 0 0 22134 0 2 0 0 −1 24402 0 2 0 0 −1 24002 1) −1 0 0 −4 −4 = 34113 2) −4 0 0 −1 −1 = 10000  0 0 −4 0 −2  30130 !  0 0 −1 2 0  30030 ! 0 −1 −4 −2 0 42304 0 −1 −1 0 2 42004 − −1 − −1  2 0 1 0 0  22342  2 0 1 0 0  22344 0 2 0 0 −1 24411 0 0 02 −4 24401 3) −1 0 2 −1 0 = 34134 4) −10 20 −1 = 34133  0 0 −1 0 2  41321 !  0 −1 0 2 −1  30144 ! 0 −2 0 −1 2 42322 0 −4 −1 2 0 41322 − −1 − −1  0 0 1 0 0  03421  2 0 1 0 0  20334 0 2 0 0 −1 34002 0 0 0 −2 −1 00020 5) −1 0 2 −1 −1 = 40000 6) −10 2 0 −1 = 30113  0 0 −1 2 0  20030 !  0 −20 0 0  32134 ! 0 −1 −1 0 2 12004 0 −1 −1 0 2 40342 −1   2 0 −1 0 0  20324  0 2 0 −1 −2 00030 7) −10 2 0 −1 = 30143  02000  24441 0 −1 −1 0 2 40312 !   Inverses of Cartan matrices 23

8. Simple hyperbolic Lie algebras and almost affine Lie superalgebras over C The numbering of Cartan matrices follows that in the arXiv version of [CCLL], which contains Cartan matrices of all hyperbolic Lie algebras (classiﬁed by Li Wang Lai; for history, and rediscovery of Li Wang Lai’s result in relation with cosmological billiards, see [CCLL]). The published version of [CCLL] has only new results: the Cartan matrices of almost aﬃne Lie superalgebras, whereas the arXiv version reproduces Li Wang Lai’s result. Below, the symbol !!! marks the cases where the inverse of the Cartan matrix has no zero elements, cf. [ZH].

8.1. Cartan matrices A, their inverses, and det A for almost aﬃne Lie superalgebras.

2 −1 −1 −1 −3 −2 − − 1 − − − !!! NS32 1 1 1 5 1 3 -7 −3 −1 2 7 −4 −5 −1

2 −1 −1 −1 −3 −2 − − 1 − − NS33 1 1 1 6 0 3 -9 −4 −1 2 9 −5 −6 −1

2 −1 −2 −1 −4 −3 − − 1 − − S34 1 1 1 4 0 4 -8 −2 −1 2 8 −3 −4 −1

2 −1 −1 −1 −3 −2 − − 1 − − − !!! S35 1 1 1 3 3 3 -3 −1 −1 2 3 −2 −3 −1

2 −1 −1 −1 −3 −2 − − 1 − − − S36 2 1 1 6 2 4 -8 −2 −1 2 8 −4 −4 0

2 −1 −1 −1 −3 −2 − − 1 − − − NS37 2 1 1 7 1 4 -10 −3 −1 2 10 −5 −5 0

2 −1 −1 −1 −3 −2 − − 1 − − NS38 2 1 1 8 0 4 -12 −4 −1 2 12 −6 −6 0

2 −1 −2 −1 −4 −3 − − 1 − − NS39 2 1 1 6 0 6 -12 −2 −1 2 12 −4 −4 0

2 −1 −1 −1 −3 −2 − − 1 − − − NS310 2 1 1 5 3 4 -6 −1 −1 2 6 −3 −3 0

2 −1 −2 −1 −4 −3 − − 1 − − − NS311 2 1 1 5 2 6 -9 −1 −1 2 9 −3 −3 0

2 −1 −3 −1 −5 −4 − − 1 − − − NS312 2 1 1 5 1 8 -12 −1 −1 2 12 −3 −3 0

2 −1 −4 −1 −6 −5 − − 1 − − NS313 2 1 1 5 0 10 -15 −1 −1 2 15 −3 −3 0

2 −2 −1 −1 −5 −3 − − 1 − − − NS314 1 1 1 4 2 3 -9 −2 −1 2 9 −3 −6 0

2 −2 −1 −1 −5 −3 − − 1 − − − NS315 1 1 1 5 1 3 -12 −3 −1 2 12 −4 −8 0

2 −2 −1 −1 −5 −3 − − 1 − − NS316 1 1 1 6 0 3 -15 −4 −1 2 15 −5 −10 0

2 −2 −2 −1 −6 −4 − − 1 − − NS317 1 1 1 4 0 4 -12 −2 −1 2 12 −3 −6 0 24 Dimitry Leites, Oleksandr Lozhechnyk

2 −2 −1 −1 −5 −3 − − 1 − − − NS318 1 1 1 3 3 3 -6 −1 −1 2 6 −2 −4 0

2 −2 −2 −1 −6 −4 − − 1 − − − S319 1 1 1 3 2 4 -8 −1 −1 2 8 −2 −4 0

2 −2 −3 −1 −7 −5 − − 1 − − − NS320 1 1 1 3 1 5 -10 −1 −1 2 10 −2 −4 0

2 −2 −4 −1 −8 −6 − − 1 − − NS321 1 1 1 3 0 6 -12 −1 −1 2 12 −2 −4 0

2 −1 −1 0 −3 −3 − − 1 − − − NS322 2 1 2 8 2 6 -12 −2 −1 2 12 −4 −4 0

2 −1 −1 0 −3 −3 − − 1 − − − NS323 2 1 2 10 1 6 -15 −3 −1 2 15 −5 −5 0

2 −1 −1 0 −1 −1 − − 1 − − NS324 2 1 2 4 0 2 -18 −4 −1 2 6 −2 −2 0

2 −1 −2 0 −1 −1 − − 1 − − S325 2 1 2 2 0 2 -16 −2 −1 2 4 −1 −1 0

2 −1 −1 0 −1 −1 − − 1 − − − S326 2 1 2 2 1 2 -9 −1 −1 2 3 −1 −1 0

2 −2 −1 0 −5 −5 − − 1 − − − NS327 1 1 2 6 2 5 -15 −2 −1 2 15 −3 −6 0

2 −2 −1 0 −5 −5 − − 1 − − − NS328 1 1 2 8 1 5 -20 −3 −1 2 20 −4 −8 0

2 −2 −1 0 −1 −1 − − 1 − − NS329 1 1 2 2 0 1 -25 −4 −1 2 5 −1 −2 0

2 −2 −2 0 −2 −2 − − 1 − − NS330 1 1 2 2 0 2 -18 −2 −1 2 6 −1 −2 0

2 −2 −1 0 −5 −5 − − 1 − − − NS331 1 1 2 4 3 5 -10 −1 −1 2 10 −2 −4 0

2 −2 −2 0 −3 −3 − − 1 − − − NS332 1 1 2 2 1 3 -12 −1 −1 2 6 −1 −2 0

2 −2 −3 0 −7 −7 − − 1 − − − NS333 1 1 2 4 1 7 -14 −1 −1 2 14 −2 −4 0

2 −2 −4 0 −4 −4 − − 1 − − S334 1 1 2 2 0 4 -16 −1 −1 2 8 −1 −2 0

2 −2 −1 0 −6 −3 − − 1 − − − S335 1 1 1 4 2 3 -12 −2 −2 2 12 −4 −8 0

2 −2 −1 0 −6 −3 − − 1 − − − NS336 1 1 1 5 1 3 -15 −3 −2 2 15 −5 −10 0

2 −2 −1 0 −2 −1 − − 1 − − NS337 1 1 1 2 0 1 -18 −4 −2 2 6 −2 −4 0

2 −2 −2 0 −2 −1 − − 1 − − S338 1 1 1 1 0 1 -16 −2 −2 2 4 −1 −2 0 Inverses of Cartan matrices 25

2 −2 −1 0 −2 −1 − − 1 − − − S339 1 1 1 1 1 1 -9 −1 −2 2 3 −1 −2 0

2 −1 −1 0 −2 −2 − − 1 − − − S340 1 1 1 2 1 3 -4 −1 −1 1 4 −2 −3 −1

2 −1 −1 0 −2 −2 − − 1 − − − NS341 2 1 1 3 1 4 -6 −1 −1 1 6 −3 −3 0

2 −2 −1 0 −3 −3 − − 1 − − − NS342 1 1 1 2 1 3 -6 −1 −1 1 6 −2 −4 0

2 −1 −1 0 −1 −1 − − 1 − − S343 2 1 1 2 0 2 -8 −2 −1 1 4 −2 −2 0

2 −2 −1 0 −1 −1 − − 1 − − NS344 1 1 1 1 0 1 -9 −2 −1 1 3 −1 −2 0

2 −2 −2 0 −2 −2 − − 1 − − S345 1 1 1 1 0 2 -8 −1 −1 1 4 −1 −2 0

1 −1 −1 0 −1 −1 − − 1 − − S346 1 1 1 1 0 1 -4 −1 −1 1 2 −1 −1 0

2 −1 0 −1 −2 −1 − − 1 − − − S347 2 1 1 4 4 2 -2 0 −1 2 2 −2 −2 0

2 −2 0 −1 −4 −2 − − 1 − − − S348 1 1 1 2 4 2 -2 0 −1 2 2 −1 −2 0

2 −1 0 0 −1 −1 − − 1 − − − S349 2 1 2 2 2 2 -4 0 −1 2 2 −1 −1 0

2 −2 0 0 −4 −4 − − 1 − − − S350 1 1 2 2 4 4 -4 0 −1 2 4 −1 −2 0

2 −2 0 0 −2 −1 − − 1 − − − S351 1 1 1 1 2 1 -4 0 −2 2 2 −1 −2 0

2 −1 0 −1 −1 −1 − − − − − !!! S352 3 2 1 3 2 2 -1 0 −1 1 −3 −2 −1

2 −1 0 −1 −1 −1 − − 1 − − − S353 4 2 1 4 2 2 -2 0 −1 1 2 −4 −2 0

2 −2 0 −1 −2 −2 − − 1 − − − S354 2 2 1 2 2 2 -2 0 −1 1 2 −2 −2 0

2 −3 0 −1 −3 −3 − − − − − !!! S355 1 2 1 1 2 2 -1 0 −1 1 −1 −2 −1

2 −4 0 −1 −4 −4 − − 1 − − − S356 1 2 1 1 2 2 -2 0 −1 1 2 −1 −2 0

2 −1 0 0 −1 −1 − − 1 − − − S357 2 2 1 2 2 2 -2 0 −2 1 2 −4 −4 −2

2 −1 0 0 −1 −1 − − 1 − − − S358 3 2 1 3 2 2 -3 0 −2 1 3 −6 −4 −1

2 −1 0 0 −1 −1 − − 1 − − − S359 4 2 1 4 2 2 -4 0 −2 1 4 −8 −4 0 26 Dimitry Leites, Oleksandr Lozhechnyk

2 −2 0 0 −1 −1 − − 1 − − − S360 2 2 1 1 1 1 -4 0 −2 1 2 −2 −2 0

2 −1 0 0 −1 −1 − − − − − S361 1 2 1 1 2 2 -1 0 −2 1 −2 −4 −3

2 −2 0 0 −2 −2 − − 1 − − − S362 1 2 1 1 2 2 -2 0 −2 1 2 −2 −4 −2

2 −3 0 0 −3 −3 − − 1 − − − S363 1 2 1 1 2 2 -3 0 −2 1 3 −2 −4 −1

2 −4 0 0 −4 −4 − − 1 − − − S364 1 2 1 1 2 2 -4 0 −2 1 4 −2 −4 0

2 −1 0 0 −1 −2 − − 1 − − − S365 2 2 2 2 2 4 -2 0 −1 1 2 −2 −2 −2

2 −1 0 0 −1 −2 − − 1 − − − S366 3 2 2 3 2 4 -3 0 −1 1 3 −3 −2 −1

2 −1 0 0 −1 −2 − − 1 − − − S367 4 2 2 4 2 4 -4 0 −1 1 4 −4 −2 0

2 −2 0 0 −1 −2 − − 1 − − − S368 2 2 2 1 1 2 -4 0 −1 1 2 −1 −1 0

2 −1 0 0 −1 −2 − − − − − S369 1 2 2 1 2 4 -1 0 −1 1 −1 −2 −3

2 −2 0 0 −2 −4 − − 1 − − − S370 1 2 2 1 2 4 -2 0 −1 1 2 −1 −2 −2

2 −3 0 0 −3 −6 − − 1 − − − S371 1 2 2 1 2 4 -3 0 −1 1 3 −1 −2 −1

2 −4 0 0 −4 −8 − − 1 − − − S372 1 2 2 1 2 4 -4 0 −1 1 4 −1 −2 0

1 −2 0 −1 −2 −2 − − − − − S373 1 2 1 1 1 1 -1 0 −1 1 −1 −1 0

1 −1 0 −1 −1 −1 − − − − − S374 2 2 1 2 1 1 -1 0 −1 1 −2 −1 0

1 −2 0 0 −2 −2 − − 1 − − − S375 1 2 1 1 1 1 -2 0 −2 1 2 −2 −2 0

1 −1 0 0 −1 −1 − − 1 − − − S376 2 2 1 2 1 1 -2 0 −2 1 2 −4 −2 0

1 −1 0 0 −1 −2 − − 1 − − − S377 2 2 2 2 1 2 -2 0 −1 1 2 −2 −1 0

2 −1 0 0 −1 −1 − − − − − S378 1 1 1 1 2 2 -1 0 −1 1 −1 −2 −1

2 −1 0 0 −1 −1 − − 1 − − − S379 2 1 1 2 2 2 -2 0 −1 1 2 −2 −2 0

2 −2 0 0 −2 −2 − − 1 − − − S380 1 1 1 1 2 2 -2 0 −1 1 2 −1 −2 0 Inverses of Cartan matrices 27

1 −1 0 0 −1 −1 − − − − − S381 1 1 1 1 1 1 -1 0 −1 1 −1 −1 0

2 −1 0 0 −1 −3 −2 −1 −1 1 −1 0 −3 −6 −4 −2 S41 0 −1 2 −1 −2 −4 −2 −1 -1 0 0 −1 2 ! −1 −2 −1 0 !

2 −1 0 0 0 −2 −2 −2 −1 1 −1 0 1 −2 −4 −4 −4 S42 0 −1 2 −2 2 −2 −4 −2 −2 -2 0 0 −1 2 ! −1 −2 −1 0 !

2 −1 0 0 0 −2 −2 −1 −1 1 −1 0 1 −2 −4 −4 −2 S43 0 −1 2 −1 2 −2 −4 −2 −1 -2 0 0 −2 2 ! −2 −4 −2 0 !

2 −1 0 0 −1 −1 −1 −1 −3 2 −1 0 −3 −2 −2 −2 S44 0 −1 2 −1 −3 −2 −1 −1 -1 0 0 −1 1 ! −3 −2 −1 0 !

2 −3 0 0 −1 −3 −3 −3 −1 2 −1 0 −1 −2 −2 −2 S45 0 −1 2 −1 −1 −2 −1 −1 -1 0 0 −1 1 ! −1 −2 −1 0 !

2 −1 0 0 0 −1 −1 −1 −2 2 −1 0 1 −2 −2 −2 −2 S46 0 −2 2 −1 2 −4 −4 −2 −2 -2 0 0 −1 1 ! −4 −4 −2 0 !

2 −1 0 0 0 −1 −1 −1 −1 2 −1 0 −1 −2 −2 −2 S47 0 −2 2 −1 −2 −4 −3 −3 -1 0 0 −1 1 ! −2 −4 −3 −2 !

2 −2 0 0 0 −2 −2 −2 −1 2 −1 0 1 −1 −2 −2 −2 S48 0 −2 2 −1 2 −2 −4 −2 −2 -2 0 0 −1 1 ! −2 −4 −2 0 !

2 −1 0 0 0 −1 −2 −2 − − − − − − S 2 2 2 0 1 2 2 4 4 49 0 −1 2 −1 2 −2 −2 −2 −2 -2 0 0 −1 1 ! −2 −2 −2 0 !

2 −1 0 0 0 −1 −2 −2 −1 2 −2 0 −1 −2 −4 −4 S410 0 −1 2 −1 −1 −2 −3 −3 -1 0 0 −1 1 ! −1 −2 −3 −2 !

2 −2 0 0 0 −2 −4 −4 −1 2 −2 0 1 −1 −2 −4 −4 S411 0 −1 2 −1 2 −1 −2 −2 −2 -2 0 0 −1 1 ! −1 −2 −2 0 !

1 −1 0 0 0 −1 −1 −1 −1 2 −1 0 −1 −1 −1 −1 S412 0 −2 2 −1 −2 −2 −1 −1 -1 0 0 −1 1 ! −2 −2 −1 0 !

2 −1 0 0 0 −1 −1 −1 −1 1 −1 0 −1 −2 −2 −2 S413 0 −1 2 −1 −1 −2 −1 −1 -1 0 0 −1 1 ! −1 −2 −1 0 !

2 −1 0 −1 −1 −4 −3 −2 −1 1 −1 0 1 −4 −4 −4 −4 S414 0 −1 2 −1 4 −3 −4 −1 −2 -4 −1 0 −1 2 ! −2 −4 −2 0 !

2 −1 0 −2 −1 −5 −4 −3 −1 1 −1 0 1 −4 −2 −4 −6 NS415 0 −1 2 −1 6 −3 −3 0 −3 -6 −1 0 −1 2 ! −2 −4 −2 0 !

2 −1 0 −1 −1 −4 −3 −2 −1 1 −1 0 1 −5 −2 −3 −4 NS416 0 −1 2 −1 6 −4 −4 0 −2 -6 −2 0 −1 2 ! −3 −6 −3 0 !

2 −1 0 −2 0 −2 −2 −2 − − − − − S 1 1 1 0 1 2 0 2 4 417 0 −1 2 −2 4 −2 −2 0 −2 -8 −1 0 −1 2 ! −1 −2 −1 0 ! 28 Dimitry Leites, Oleksandr Lozhechnyk

2 −1 0 −1 0 −1 −1 −1 −1 1 −1 0 1 −2 0 −1 −2 NS418 0 −1 2 −2 3 −2 −2 0 −1 -9 −2 0 −1 2 ! −1 −2 −1 0 !

2 −1 0 −1 0 −2 −2 −1 −1 1 −1 0 1 −2 0 −2 −2 S419 0 −1 2 −1 4 −2 −2 0 −1 -8 −2 0 −2 2 ! −2 −4 −2 0 !

2 −1 0 −1 0 −1 −1 −1 −1 1 −1 0 1 −1 0 −1 −2 S420 0 −1 2 −1 2 −1 −1 0 −1 -4 −1 0 −1 1 ! −1 −2 −1 0 !

2 −1 0 0 0 −2 −1 −1 −1 1 −1 −1 1 −2 −4 −2 −2 S421 0 −1 2 0 2 −1 −2 0 −1 -4 0 −1 0 2 ! −1 −2 −1 0 !

2 −1 0 0 −1 −2 −2 −1 −2 2 −1 −1 1 −4 −4 −4 −2 S422 0 −1 1 0 2 −4 −4 −2 −2 -2 0 −1 0 2 ! −2 −2 −2 0 !

2 −2 0 0 −1 −4 −4 −2 −1 2 −1 −1 1 −2 −4 −4 −2 S423 0 −1 1 0 2 −2 −4 −2 −2 -2 0 −1 0 2 ! −1 −2 −2 0 !

2 −1 0 0 0 −1 −1 −1 −2 2 −1 −2 1 −2 −2 −2 −2 S424 0 −1 1 0 2 −2 −2 0 −2 -4 0 −1 0 2 ! −1 −1 −1 0 !

2 −2 0 0 0 −4 −4 −4 −1 2 −1 −2 1 −2 −4 −4 −4 S425 0 −1 1 0 4 −2 −4 0 −4 -4 0 −1 0 2 ! −1 −2 −2 0 !

2 −2 0 0 0 −2 −2 −1 −1 2 −1 −1 1 −1 −2 −2 −1 S426 0 −1 1 0 2 −1 −2 0 −1 -4 0 −2 0 2 ! −1 −2 −2 0 !

2 −1 0 0 0 −1 −1 −1 −1 2 −1 −1 −1 −2 −2 −2 S427 0 −1 1 0 −1 −2 −1 −2 -1 0 −1 0 1 ! −1 −2 −2 −1 !

2 −1 0 0 0 −1 −1 −1 −2 2 −1 −1 1 −2 −2 −2 −2 S428 0 −1 1 0 2 −2 −2 0 −2 -2 0 −1 0 1 ! −2 −2 −2 0 !

2 −2 0 0 0 −2 −2 −2 − − − − − − − S 1 2 1 1 1 1 2 2 2 429 0 −1 1 0 2 −1 −2 0 −2 -2 0 −1 0 1 ! −1 −2 −2 0 !

1 −1 0 0 0 −1 −1 −1 −1 2 −1 −1 −1 −1 −1 −1 S430 0 −1 1 0 −1 −1 0 −1 -1 0 −1 0 1 ! −1 −1 −1 0 !

1 −1 0 0 0 −3 −3 −3 −1 2 −1 −1 1 −3 −3 −3 −3 S431 0 −1 2 −1 3 −3 −3 −1 −2 -3 0 −1 −1 2 ! −3 −3 −2 −1 !

2 −10 0 0 0 −1 −1 −1 −1 −1 2 −1 0 0 −1 −2 −2 −2 −2 − − − − − − − S51 0 2 2 1 0 2 4 3 3 3 -1  0 0 −1 2 −1   −2 −4 −3 −2 −2  0 0 0 −1 1 −2 −4 −3 −2 −1     2 −10 0 0 0 −1 −2 −2 −2 −1 2 −2 0 0 −1 −2 −4 −4 −4 − − − − − − − S52 0 1 2 1 0 1 2 3 3 3 -1  0 0 −1 2 −1   −1 −2 −3 −2 −2  0 0 0 −1 1 −1 −2 −3 −2 −1     2 −10 0 0 0 −2 −2 −1 −1 −1 2 −1 −1 −1 −2 −4 −4 −2 −2 − 1 − − − − − S53 0 11 0 0 2 4 2 2 2 -4  0 −10 2 0  2  −1 −2 −2 0 −1  0 −10 0 2 −1 −2 −2 −1 0     2 −10 0 0 −1 −2 −1 −2 −2 −2 2 −1 −1 0 −4 −4 −2 −4 −4 − 1 − − − − S54 0 12 0 0 2 2 0 2 2 -2  0 −1 0 2 −1  2  −4 −4 −2 −2 −2  0 0 0 −1 1 −4 −4 −2 −2 0     Inverses of Cartan matrices 29

2 −20 0 0 −1 −4 −2 −4 −4 −1 2 −1 −1 0 −2 −4 −2 −4 −4 − 1 − − − − S55 0 12 0 0 1 2 0 2 2 -2  0 −1 0 2 −1  2  −2 −4 −2 −2 −2  0 0 0 −1 1 −2 −4 −2 −2 0     2 −10 0 0 −1 −3 −3 −2 −1 −1 2 −1 −1 0 −3 −6 −6 −4 −2 − − − − − − S56 0 11 0 0 3 6 5 4 2 -1  0 −1 0 2 −1   −2 −4 −4 −2 −1  0 0 0 −1 2 −1 −2 −2 −1 0     2 −10 0 0 0 −2 −2 −2 −2 −1 2 −1 −1 0 −2 −4 −4 −4 −4 − 1 − − − − − S57 0 11 0 0 2 4 2 4 4 -2  0 −1 0 2 −2  2  −2 −4 −4 −2 −2  0 0 0 −1 2 −1 −2 −2 −1 0     2 −10 0 0 0 −2 −2 −2 −1 −1 2 −1 −1 0 −2 −4 −4 −4 −2 − 1 − − − − − S58 0 11 0 0 2 4 2 4 2 -2  0 −1 0 2 −1  2  −2 −4 −4 −2 −1  0 0 0 −2 2 −2 −4 −4 −2 0     2 −10 0 0 0 −1 −1 −1 −1 −1 2 −1 −1 0 −1 −2 −2 −2 −2 − − − − − − S59 0 11 0 0 1 2 1 2 2 -1  0 −1 0 2 −1   −1 −2 −2 −1 −1  0 0 0 −1 1 −1 −2 −2 −1 0     1 −10 0 0 0 −4 −4 −4 −4 −1 2 −1 0 −1 −4 −4 −4 −4 −4 − − 1 − − − − − S510 0 1 2 1 0 4 4 1 2 3 -4  0 0 −1 2 −1  4  −4 −4 −2 0 −2  0 −1 0 −1 2 −4 −4 −3 −2 −1     2 −10 0 0 0 0 −2 −1 −1 −2 −2 −1 2 −1 −1 −1 0 −2 −4 −2 −2 −4 −4 − − − − − − S 0 12 0 0 0 1 1 2 0 1 2 2 61  0 −10 2 0 0  2  −1 −2 −1 0 −2 −2  -4 0 −10 0 2 −1 −2 −4 −2 −2 −2 −2  0 0 0 0 −1 1   −2 −4 −2 −2 −2 0      2 −10 0 0 0 0 −1 −2 −1 −2 −2 −1 2 −10 0 0 −1 −2 −4 −2 −4 −4 0 −1 2 −1 −1 0 −2 −4 −6 −3 −6 −6 S62  0 0 −12 0 0   −1 −2 −3 −1 −3 −3  -1 0 0 −1 0 2 −1 −2 −4 −6 −3 −5 −5  0 0 0 0 −1 1   −2 −4 −6 −3 −5 −4      2 −10 0 0 0 0 −1 −2 −1 −2 −2 −2 2 −10 0 0 −2 −2 −4 −2 −4 −4 − − − − − − − − − S 0 1 2 1 1 0 1 4 4 4 2 4 4 63  0 0 −12 0 0  2  −2 −2 −2 0 −2 −2  -2 0 0 −1 0 2 −1 −4 −4 −4 −2 −2 −2  0 0 0 0 −1 1   −4 −4 −4 −2 −2 0      2 −20 0 0 0 0 −2 −4 −2 −4 −4 −1 2 −10 0 0 −1 −2 −4 −2 −4 −4 − − − − − − − − − S 0 1 2 1 1 0 1 2 4 4 2 4 4 64  0 0 −12 0 0  2  −1 −2 −2 0 −2 −2  -2 0 0 −1 0 2 −1 −2 −4 −4 −2 −2 −2  0 0 0 0 −1 1   −2 −4 −4 −2 −2 0      1 −10 0 0 0 0 −1 −2 −1 −2 −2 −1 2 −10 0 0 −1 −1 −2 −1 −2 −2 0 −1 2 −1 −1 0 −2 −2 −2 −1 −2 −2 S65  0 0 −12 0 0   −1 −1 −1 0 −1 −1  -1 0 0 −1 0 2 −1 −2 −2 −2 −1 −1 −1  0 0 0 0 −1 1   −2 −2 −2 −1 −1 0      2 −10 0 0 0 0 −1 −1 −1 −1 −1 −1 2 −10 0 0 −1 −2 −2 −2 −2 −2 0 −2 2 −1 0 0 −2 −4 −3 −3 −3 −3 S66  0 0 −1 2 −1 0   −2 −4 −3 −2 −2 −2  -1 0 0 0 −1 2 −1 −2 −4 −3 −2 −1 −1  0 0 0 0 −1 1   −2 −4 −3 −2 −1 0      2 −10 0 0 0 0 −1 −2 −2 −2 −2 −1 2 −20 0 0 −1 −2 −4 −4 −4 −4 0 −1 2 −1 0 0 −1 −2 −3 −3 −3 −3 S67  0 0 −1 2 −1 0   −1 −2 −3 −2 −2 −2  -1 0 0 0 −1 2 −1 −1 −2 −3 −2 −1 −1  0 0 0 0 −1 1   −1 −2 −3 −2 −1 0      2 −10 0 0 0 0 0 −1 −2 −1 −2 −2 −2 −1 2 −10 0 0 0 −1 −2 −4 −2 −4 −4 −4 0 −1 2 −1 −1 0 0 −2 −4 −6 −3 −6 −6 −6 − − − − − − − − S71  0 0 12 0 0 0   1 2 3 1 3 3 3  -1 0 0 −1 0 2 −1 0 −2 −4 −6 −3 −5 −5 −5 − − − − − − − − −  0 0 0 0 1 2 1   2 4 6 3 5 4 4   00000 −1 1   −2 −4 −6 −3 −5 −4 −3      30 Dimitry Leites, Oleksandr Lozhechnyk

2 −1000000 0 −1 −2 −1 −2 −2 −2 −2 −1 2 −10 0 0 0 0 −1 −2 −4 −2 −4 −4 −4 −4 0 −1 2 −1 −10 0 0 −2 −4 −6 −3 −6 −6 −6 −6  0 0 −12 0 0 0 0   −1 −2 −3 −1 −3 −3 −3 −3  S81 0 0 −1 0 2 −1 0 0 −2 −4 −6 −3 −5 −5 −5 −5 -1 − − − − − − − − − −  0 0 0 0 1 2 1 0   2 4 6 3 5 4 4 4   00000 −1 2 −1   −2 −4 −6 −3 −5 −4 −3 −3   000000 −1 1   −2 −4 −6 −3 −5 −4 −3 −2      2 −10000000 0 −1 −2 −1 −2 −2 −2 −2 −2 −1 2 −1000000 −1 −2 −4 −2 −4 −4 −4 −4 −4 0 −1 2 −1 −10 0 0 0 −2 −4 −6 −3 −6 −6 −6 −6 −6 0 0 −1200000 −1 −2 −3 −1 −3 −3 −3 −3 −3  − −   − − − − − − − − −  S91 0 0 1 0 2 10 0 0 2 4 6 3 5 5 5 5 5 -1 0 0 0 0 −1 2 −1 0 0 −2 −4 −6 −3 −5 −4 −4 −4 −4  − −   − − − − − − − − −   00000 1 2 1 0   2 4 6 3 5 4 3 3 3   000000 −1 2 −1   −2 −4 −6 −3 −5 −4 −3 −2 −2   0000000 −1 1   −2 −4 −6 −3 −5 −4 −3 −2 −1      2 −100000000 0 −1 −2 −1 −2 −2 −2 −2 −2 −2 −1 2 −10000000 −1 −2 −4 −2 −4 −4 −4 −4 −4 −4 0 −1 2 −1 −10 0 0 0 0 −2 −4 −6 −3 −6 −6 −6 −6 −6 −6  0 0 −12000000   −1 −2 −3 −1 −3 −3 −3 −3 −3 −3  − − − − − − − − − − − − S10 0 0 1 0 2 10 0 0 0 2 4 6 3 5 5 5 5 5 5 -1 1  0 0 0 0 −1 2 −10 0 0   −2 −4 −6 −3 −5 −4 −4 −4 −4 −4   00000 −1 2 −1 0 0   −2 −4 −6 −3 −5 −4 −3 −3 −3 −3   000000 −1 2 −1 0   −2 −4 −6 −3 −5 −4 −3 −2 −2 −2   − −   − − − − − − − − − −   0000000 1 2 1   2 4 6 3 5 4 3 2 1 1   00000000 −1 1   −2 −4 −6 −3 −5 −4 −3 −2 −1 0     

2 −1 −1 −2 −4 −3 8.2. matrices A, their inverses, and det A for hyperbolic Lie algebras. − − 1 − − − !!! NH31 2 2 1 6 2 4 -10 −2 −2 2 10 −8 −6 −2

2 −1 −1 −2 −4 −3 − − 1 − − − !!! NH32 3 2 1 8 2 5 -14 −2 −2 2 14 −10 −6 −1

2 −1 −1 −2 −4 −3 − − 1 − − − NH33 4 2 1 10 2 6 -18 −2 −2 2 18 −12 −6 0

2 −2 −1 −1 −3 −2 − − 1 − − − H34 2 2 1 3 1 2 -16 −2 −2 2 8 −4 −4 0

2 −1 −1 −2 −4 −3 − − 1 − − − !!! H35 1 2 1 4 2 3 -6 −2 −2 2 6 −6 −6 −3

2 −1 −1 −2 −4 −3 − − 1 − − − !!! NH36 2 2 1 7 1 4 -13 −3 −2 2 13 −10 −7 −2

2 −1 −1 −2 −4 −3 − − 1 − − − !!! NH37 3 2 1 9 1 5 -17 −3 −2 2 17 −12 −7 −1

2 −1 −1 −2 −4 −3 − − 1 − − − NH38 4 2 1 11 1 6 -21 −3 −2 2 21 −14 −7 0

2 −2 −1 −2 −6 −4 − − 1 − − − NH39 2 2 1 7 1 4 -20 −3 −2 2 20 −10 −10 0

2 −1 −1 −2 −4 −3 − − 1 − − − !!! NH310 1 2 1 5 1 3 -9 −3 −2 2 9 −8 −7 −3

2 −2 −1 −2 −6 −4 − − 1 − − − !!! NH311 1 2 1 5 1 3 -14 −3 −2 2 14 −8 −10 −2

2 −3 −1 −2 −8 −5 − − 1 − − − !!! NH312 1 2 1 5 1 3 -19 −3 −2 2 19 −8 −13 −1

2 −4 −1 −2 −10 −6 − − 1 − − − NH313 1 2 1 5 1 3 -24 −3 −2 2 24 −8 −16 0

2 −1 −1 −2 −4 −3 − − 1 − − H314 2 2 1 8 0 4 -16 −4 −2 2 16 −12 −8 −2

2 −1 −1 −2 −4 −3 − − 1 − − NH315 3 2 1 10 0 5 -20 −4 −2 2 20 −14 −8 −1 Inverses of Cartan matrices 31

2 −1 −1 −2 −4 −3 − − 1 − − NH316 4 2 1 12 0 6 -24 −4 −2 2 24 −16 −8 0

2 −2 −1 −1 −3 −2 − − 1 − − NH317 2 2 1 4 0 2 -24 −4 −2 2 12 −6 −6 0

2 −1 −1 −2 −4 −3 − − 1 − − NH318 1 2 1 6 0 3 -12 −4 −2 2 12 −10 −8 −3

2 −2 −1 −2 −6 −4 − − 1 − − NH319 1 2 1 6 0 3 -18 −4 −2 2 18 −10 −12 −2

2 −3 −1 −2 −8 −5 − − 1 − − NH320 1 2 1 6 0 3 -24 −4 −2 2 24 −10 −16 −1

2 −4 −1 −2 −10 −6 − − 1 − − NH321 1 2 1 6 0 3 -30 −4 −2 2 30 −10 −20 0

2 −1 −2 −2 −6 −5 − − 1 − − NH322 2 2 1 6 0 6 -18 −2 −2 2 18 −8 −6 −2

2 −1 −2 −2 −6 −5 − − 1 − − NH323 3 2 1 8 0 8 -24 −2 −2 2 24 −10 −6 −1

2 −1 −2 −2 −6 −5 − − 1 − − NH324 4 2 1 10 0 10 -30 −2 −2 2 30 −12 −6 0

2 −2 −2 −1 −4 −3 − − 1 − − NH325 2 2 1 3 0 3 -24 −2 −2 2 12 −4 −4 0

2 −1 −2 −2 −6 −5 − − 1 − − NH326 1 2 1 4 0 4 -12 −2 −2 2 12 −6 −6 −3

2 −2 −2 −1 −4 −3 − − 1 − − H327 1 2 1 2 0 2 -16 −2 −2 2 8 −3 −4 −1

2 −3 −2 −2 −10 −7 − − 1 − − NH328 1 2 1 4 0 4 -20 −2 −2 2 20 −6 −10 −1

2 −4 −2 −1 −6 −4 − − 1 − − NH329 1 2 1 2 0 2 -24 −2 −2 2 12 −3 −6 0

2 −1 −1 −2 −4 −3 − − 1 − − − !!! NH330 2 2 1 5 3 4 -7 −1 −2 2 7 −6 −5 −2

2 −1 −1 −2 −4 −3 − − 1 − − − !!! NH331 3 2 1 7 3 5 -11 −1 −2 2 11 −8 −5 −1

2 −1 −1 −2 −4 −3 − − 1 − − − NH332 4 2 1 9 3 6 -15 −1 −2 2 15 −10 −5 0

2 −2 −1 −2 −6 −4 − − 1 − − − NH333 2 2 1 5 3 4 -12 −1 −2 2 12 −6 −6 0

2 −1 −1 −2 −4 −3 − − 1 − − − !!! NH334 1 2 1 3 3 3 -3 −1 −2 2 3 −4 −5 −3

2 −2 −1 −2 −6 −4 − − 1 − − − !!! H335 1 2 1 3 3 3 -6 −1 −2 2 6 −4 −6 −2

2 −3 −1 −2 −8 −5 − − 1 − − − !!! NH336 1 2 1 3 3 3 -9 −1 −2 2 9 −4 −7 −1 32 Dimitry Leites, Oleksandr Lozhechnyk

2 −4 −1 −2 −10 −6 − − 1 − − − NH337 1 2 1 3 3 3 -12 −1 −2 2 12 −4 −8 0

2 −1 −2 −2 −6 −5 − − 1 − − − !!! NH338 2 2 1 5 2 6 -13 −1 −2 2 13 −6 −5 −2

2 −1 −2 −2 −6 −5 − − 1 − − − !!! NH339 3 2 1 7 2 8 -19 −1 −2 2 19 −8 −5 −1

2 −1 −2 −2 −6 −5 − − 1 − − − NH340 4 2 1 9 2 10 -25 −1 −2 2 25 −10 −5 0

2 −1 −3 −2 −8 −7 − − 1 − − − !!! NH341 3 2 1 7 1 11 -27 −1 −2 2 27 −8 −5 −1

2 −1 −3 −2 −8 −7 − − 1 − − − NH342 4 2 1 9 1 14 -35 −1 −2 2 35 −10 −5 0

2 −2 −3 −2 −10 −8 − − 1 − − − NH343 2 2 1 5 1 8 -24 −1 −2 2 24 −6 −6 0

2 −1 −3 −2 −8 −7 − − 1 − − − !!! NH344 1 2 1 3 1 5 -11 −1 −2 2 11 −4 −5 −3

2 −3 −3 −2 −12 −9 − − 1 − − − !!! NH345 1 2 1 3 1 5 -17 −1 −2 2 17 −4 −7 −1

2 −4 −3 −2 −14 −10 − − 1 − − − NH346 1 2 1 3 1 5 -20 −1 −2 2 20 −4 −8 0

2 −1 −4 −2 −10 −9 − − 1 − − NH347 3 2 1 7 0 14 -35 −1 −2 2 35 −8 −5 −1

2 −1 −4 −2 −10 −9 − − 1 − − NH348 4 2 1 9 0 18 -45 −1 −2 2 45 −10 −5 0

2 −2 −4 −2 −12 −10 − − 1 − − NH349 2 2 1 5 0 10 -30 −1 −2 2 30 −6 −6 0

2 −1 −4 −2 −10 −9 − − 1 − − NH350 1 2 1 3 0 6 -15 −1 −2 2 15 −4 −5 −3

2 −3 −4 −2 −14 −11 − − 1 − − NH351 1 2 1 3 0 6 -21 −1 −2 2 21 −4 −7 −1

2 −4 −4 −2 −16 −12 − − 1 − − NH352 1 2 1 3 0 6 -24 −1 −2 2 24 −4 −8 0

2 −1 −1 −1 −5 −3 − − 1 − − − !!! NH353 3 2 1 9 1 5 -22 −3 −3 2 22 −15 −9 −1

2 −1 −1 −1 −5 −3 − − 1 − − − NH354 4 2 1 11 1 6 -27 −3 −3 2 27 −18 −9 0

2 −2 −1 −1 −7 −4 − − 1 − − − H355 2 2 1 7 1 4 -24 −3 −3 2 24 −12 −12 0

2 −1 −1 −1 −5 −3 − − 1 − − − !!! H356 1 2 1 5 1 3 -12 −3 −3 2 12 −9 −9 −3

2 −1 −1 −1 −5 −3 − − 1 − − NH357 3 2 1 10 0 5 -25 −4 −3 2 25 −17 −10 −1 Inverses of Cartan matrices 33

2 −1 −1 −1 −5 −3 − − 1 − − NH358 4 2 1 12 0 6 -30 −4 −3 2 30 −20 −10 0

2 −2 −1 −1 −7 −4 − − 1 − − NH359 2 2 1 8 0 4 -28 −4 −3 2 28 −14 −14 0

2 −1 −1 −1 −5 −3 − − 1 − − NH360 1 2 1 6 0 3 -15 −4 −3 2 15 −11 −10 −3

2 −3 −1 −1 −9 −5 − − 1 − − NH361 1 2 1 6 0 3 -27 −4 −3 2 27 −11 −18 −1

2 −4 −1 −1 −11 −6 − − 1 − − NH362 1 2 1 6 0 3 -33 −4 −3 2 33 −11 −22 0

2 −1 −2 −1 −8 −5 − − 1 − − NH363 3 2 1 8 0 8 -32 −2 −3 2 32 −13 −8 −1

2 −1 −2 −1 −8 −5 − − 1 − − NH364 4 2 1 10 0 10 -40 −2 −3 2 40 −16 −8 0

2 −2 −2 −1 −10 −6 − − 1 − − NH365 2 2 1 6 0 6 -30 −2 −3 2 30 −10 −10 0

2 −1 −2 −1 −8 −5 − − 1 − − NH366 1 2 1 4 0 4 -16 −2 −3 2 16 −7 −8 −3

2 −3 −2 −1 −12 −7 − − 1 − − H367 1 2 1 4 0 4 -24 −2 −3 2 24 −7 −12 −1

2 −4 −2 −1 −14 −8 − − 1 − − NH368 1 2 1 4 0 4 -28 −2 −3 2 28 −7 −14 0

2 −1 −1 −1 −5 −3 − − 1 − − − !!! NH369 3 2 1 7 3 5 -16 −1 −3 2 16 −11 −7 −1

2 −1 −1 −1 −5 −3 − − 1 − − − NH370 4 2 1 9 3 6 -21 −1 −3 2 21 −14 −7 0

2 −2 −1 −1 −7 −4 − − 1 − − − NH371 2 2 1 5 3 4 -16 −1 −3 2 16 −8 −8 0

2 −1 −1 −1 −5 −3 − − 1 − − − !!! NH372 1 2 1 3 3 3 -6 −1 −3 2 6 −5 −7 −3

2 −3 −1 −1 −9 −5 − − 1 − − − !!! H373 1 2 1 3 3 3 -12 −1 −3 2 12 −5 −9 −1

2 −4 −1 −1 −11 −6 − − 1 − − − NH374 1 2 1 3 3 3 -15 −1 −3 2 15 −5 −10 0

2 −1 −3 −1 −11 −7 − − 1 − − − !!! NH375 3 2 1 7 1 11 -38 −1 −3 2 38 −11 −7 −1

2 −1 −3 −1 −11 −7 − − 1 − − − NH376 4 2 1 9 1 14 -49 −1 −3 2 49 −14 −7 0

2 −1 −4 −1 −14 −9 − − 1 − − NH377 4 2 1 9 0 18 -63 −1 −3 2 63 −14 −7 0

2 −2 −4 −1 −16 −10 − − 1 − − NH378 2 2 1 5 0 10 -40 −1 −3 2 40 −8 −8 0 34 Dimitry Leites, Oleksandr Lozhechnyk

2 −1 −4 −1 −14 −9 − − 1 − − NH379 1 2 1 3 0 6 -21 −1 −3 2 21 −5 −7 −3

2 −4 −4 −1 −20 −12 − − 1 − − NH380 1 2 1 3 0 6 -30 −1 −3 2 30 −5 −10 0

2 −1 −1 0 −2 −1 − − 1 − − NH381 4 2 1 4 0 2 -36 −4 −4 2 12 −8 −4 0

2 −2 −1 0 −2 −1 − − 1 − − H382 2 2 1 2 0 1 -32 −4 −4 2 8 −4 −4 0

2 −1 −1 0 −2 −1 − − 1 − − H383 1 2 1 2 0 1 -18 −4 −4 2 6 −4 −4 −1

2 −1 −2 0 −2 −1 − − 1 − − NH384 4 2 1 2 0 2 -50 −2 −4 2 10 −4 −2 0

2 −2 −2 0 −2 −1 − − 1 − − NH385 2 2 1 1 0 1 -36 −2 −4 2 6 −2 −2 0

2 −1 −2 0 −10 −5 − − 1 − − NH386 1 2 1 4 0 4 -20 −2 −4 2 20 −8 −10 −3

2 −4 −2 0 −4 −2 − − 1 − − H387 1 2 1 1 0 1 -32 −2 −4 2 8 −2 −4 0

2 −1 −1 0 −2 −1 − − 1 − − − NH388 4 2 1 3 1 2 -27 −1 −4 2 9 −6 −3 0

2 −2 −1 0 −8 −4 − − 1 − − − NH389 2 2 1 5 3 4 -20 −1 −4 2 20 −10 −10 0

2 −1 −1 0 −2 −1 − − 1 − − − NH390 1 2 1 1 1 1 -9 −1 −4 2 3 −2 −3 −1

2 −4 −1 0 −4 −2 − − 1 − − − H391 1 2 1 1 1 1 -18 −1 −4 2 6 −2 −4 0

2 −1 −4 0 −2 −1 − − 1 − − NH392 4 2 1 1 0 2 -81 −1 −4 2 9 −2 −1 0

2 −2 −2 0 −1 −1 − − 1 − − H393 2 2 2 1 0 1 -32 −2 −2 2 4 −1 −1 0

2 −1 −2 0 −2 −2 − − 1 − − H394 1 2 2 2 0 2 -18 −2 −2 2 6 −2 −2 −1

2 −1 −1 0 −4 −4 − − 1 − − − H395 1 2 2 4 3 5 -8 −1 −2 2 8 −4 −5 −3

2 −1 0 −2 −2 −2 − − 1 − − − !!! H396 3 2 2 6 4 4 -2 0 −1 2 2 −3 −2 −1

2 −1 0 −1 −1 −1 − − 1 − − − H397 4 2 2 4 2 2 -4 0 −1 2 2 −2 −1 0

2 −2 0 −1 −2 −2 − − 1 − − − H398 2 2 2 2 2 2 -4 0 −1 2 2 −1 −1 0

2 −3 0 −2 −6 −6 − − 1 − − − !!! H399 1 2 2 2 4 4 -2 0 −1 2 2 −1 −2 −1 Inverses of Cartan matrices 35

2 −4 0 −2 −8 −8 − − 1 − − − H3100 1 2 2 2 4 4 -4 0 −1 2 4 −1 −2 0

2 −1 0 −1 −2 −3 − − 1 − − − !!! H3101 3 2 3 6 4 6 -4 0 −1 2 4 −3 −2 −1

2 −1 0 −1 −2 −3 − − 1 − − − H3102 4 2 3 8 4 6 -6 0 −1 2 6 −4 −2 0

2 −2 0 −1 −4 −6 − − 1 − − − H3103 2 2 3 4 4 6 -6 0 −1 2 6 −2 −2 0

2 −2 0 −1 −4 −6 − − 1 − − − !!! H3104 1 2 3 2 4 6 -2 0 −1 2 2 −1 −2 −2

2 −3 0 −1 −6 −9 − − 1 − − − !!! H3105 1 2 3 2 4 6 -4 0 −1 2 4 −1 −2 −1

2 −4 0 −1 −8 −12 − − 1 − − − H3106 1 2 3 2 4 6 -6 0 −1 2 6 −1 −2 0

2 −1 0 0 −1 −2 − − 1 − − − H3107 4 2 4 4 2 4 -8 0 −1 2 4 −2 −1 0

2 −2 0 0 −2 −4 − − 1 − − − H3108 2 2 4 2 2 4 -8 0 −1 2 4 −1 −1 0

2 −1 0 0 −2 −4 − − 1 − − − H3109 1 2 4 2 4 8 -2 0 −1 2 2 −1 −2 −3

2 −2 0 0 −4 −8 − − 1 − − − H3110 1 2 4 2 4 8 -4 0 −1 2 4 −1 −2 −2

2 −3 0 0 −6 −12 − − 1 − − − H3111 1 2 4 2 4 8 -6 0 −1 2 6 −1 −2 −1

2 −4 0 0 −8 −16 − − 1 − − − H3112 1 2 4 2 4 8 -8 0 −1 2 8 −1 −2 0

2 −2 0 0 −1 −1 − − 1 − − − H3113 2 2 2 1 1 1 -8 0 −2 2 2 −1 −1 0

2 −1 0 0 −2 −2 − − 1 − − − H3114 1 2 2 2 4 4 -2 0 −2 2 2 −2 −4 −3

2 −2 0 0 −2 −2 − − 1 − − − H3115 1 2 2 1 2 2 -4 0 −2 2 2 −1 −2 −1

2 −3 0 0 −6 −6 − − 1 − − − H3116 1 2 2 2 4 4 -6 0 −2 2 6 −2 −4 −1

2 −4 0 0 −4 −4 − − 1 − − − H3117 1 2 2 1 2 2 -8 0 −2 2 4 −1 −2 0

2 −4 0 −3 −8 −4 − − 1 − − − H3118 1 2 1 2 4 2 -2 0 −1 2 2 −1 −2 0

2 −3 0 −2 −6 −3 − − 1 − − − !!! H3119 1 2 1 2 4 2 -2 0 −2 2 2 −2 −4 −1

2 −4 0 −1 −4 −2 − − 1 − − − H3120 1 2 1 1 2 1 -4 0 −2 2 2 −1 −2 0 36 Dimitry Leites, Oleksandr Lozhechnyk

2 −3 0 −1 −6 −3 − − 1 − − − !!! H3121 1 2 1 2 4 2 -4 0 −3 2 4 −3 −6 −1

2 −4 0 −1 −8 −4 − − 1 − − − H3122 1 2 1 2 4 2 -6 0 −3 2 6 −3 −6 0

2 −4 0 0 −4 −2 − − 1 − − − H3123 1 2 1 1 2 1 -8 0 −4 2 4 −2 −4 0

2 −1 0 0 0 −1 −1 −1 −2 2 −1 0 1 −2 −2 −2 −2 H41 0 −2 2 −2 2 −4 −4 −2 −2 -4 0 0 −1 2 ! −2 −2 −1 0 !

2 −1 0 0 −2 −2 −2 −2 −3 2 −1 0 1 −6 −4 −4 −4 H42 0 −1 2 −2 2 −6 −4 −2 −2 -2 0 0 −1 2 ! −3 −2 −1 0 !

2 −1 0 0 0 −2 −2 −2 − − − − − − H 1 2 1 0 1 2 4 4 4 43 0 −2 2 −2 2 −4 −8 −6 −6 -2 0 0 −1 2 ! −2 −4 −3 −2 !

2 −1 0 0 0 −2 −4 −4 −1 2 −2 0 1 −2 −4 −8 −8 H44 0 −1 2 −2 2 −2 −4 −6 −6 -2 0 0 −1 2 ! −1 −2 −3 −2 !

2 −2 0 0 0 −2 −2 −2 −1 2 −1 0 1 −1 −2 −2 −2 H45 0 −2 2 −2 2 −2 −4 −2 −2 -4 0 0 −1 2 ! −1 −2 −1 0 !

2 −2 0 0 0 −4 −8 −8 − − − − − − H 1 2 2 0 1 2 4 8 8 46 0 −1 2 −2 4 −2 −4 −4 −4 -4 0 0 −1 2 ! −1 −2 −2 0 !

2 −3 0 0 −2 −6 −6 −6 −1 2 −1 0 1 −2 −4 −4 −4 H47 0 −1 2 −2 2 −2 −4 −2 −2 -2 0 0 −1 2 ! −1 −2 −1 0 !

2 −1 0 0 0 −1 −2 −3 −3 2 −1 0 1 −3 −2 −4 −6 H48 0 −1 2 −3 3 −6 −4 −2 −3 -3 0 0 −1 2 ! −3 −2 −1 0 !

2 −1 0 0 0 −1 −2 −3 −1 2 −1 0 −1 −2 −4 −6 H49 0 −1 2 −3 −2 −4 −6 −9 -1 0 0 −1 2 ! −1 −2 −3 −4 !

2 −2 0 0 0 −2 −4 −6 −1 2 −1 0 1 −1 −2 −4 −6 H410 0 −1 2 −3 2 −2 −4 −4 −6 -2 0 0 −1 2 ! −1 −2 −2 −2 !

2 −3 0 0 0 −3 −6 −9 −1 2 −1 0 1 −1 −2 −4 −6 H411 0 −1 2 −3 3 −2 −4 −2 −3 -3 0 0 −1 2 ! −1 −2 −1 0 !

2 −1 0 0 0 −3 −6 −3 −1 2 −3 0 1 −3 −6 −12 −6 H412 0 −1 2 −1 3 −2 −4 −6 −3 -3 0 0 −1 2 ! −1 −2 −3 0 !

2 −2 0 0 −2 −6 −8 −4 −1 2 −2 0 1 −3 −6 −8 −4 H413 0 −1 2 −1 2 −2 −4 −4 −2 -2 0 0 −1 2 ! −1 −2 −2 0 !

2 −2 0 0 −2 −6 −4 −2 −1 2 −1 0 1 −3 −6 −4 −2 H414 0 −2 2 −1 2 −4 −8 −4 −2 -2 0 0 −1 2 ! −2 −4 −2 0 !

2 −3 0 0 −4 −9 −6 −3 −1 2 −1 0 −3 −6 −4 −2 H415 0 −1 2 −1 −2 −4 −2 −1 -1 0 0 −1 2 ! −1 −2 −1 0 !

2 −2 0 0 0 −2 −4 −2 −1 2 −2 0 1 −1 −2 −4 −2 H416 0 −1 2 −1 2 −1 −2 −2 −1 -4 0 0 −2 2 ! −1 −2 −2 0 ! Inverses of Cartan matrices 37

2 −3 0 0 −2 −6 −6 −3 −1 2 −1 0 1 −2 −4 −4 −2 H417 0 −1 2 −1 2 −2 −4 −2 −1 -2 0 0 −2 2 ! −2 −4 −2 0 !

2 −3 0 0 0 −3 −6 −3 −1 2 −1 0 1 −1 −2 −4 −2 H418 0 −1 2 −1 3 −2 −4 −2 −1 -3 0 0 −3 2 ! −3 −6 −3 0 !

2 −1 0 −1 0 −2 −2 −2 −1 2 −1 0 1 −2 −1 −2 −3 H419 0 −2 2 −2 4 −4 −4 −2 −4 -8 −1 0 −1 2 ! −2 −3 −2 −1 !

2 −1 0 −1 0 −4 −4 −4 −2 2 −1 0 1 −6 −2 −5 −8 NH420 0 −2 2 −2 12 −12 −8 −2 −8 -12 −1 0 −1 2 ! −6 −6 −3 0 !

2 −2 0 −1 0 −3 −3 −3 −1 2 −1 0 1 −2 −1 −2 −3 NH421 0 −2 2 −2 6 −4 −5 −1 −3 -12 −1 0 −1 2 ! −2 −4 −2 0 !

2 −1 0 −1 0 −1 −1 −1 −2 2 −1 0 1 −2 0 −1 −2 H422 0 −2 2 −2 4 −4 −2 0 −2 -16 −2 0 −1 2 ! −2 −2 −1 0 !

2 −2 0 −1 0 −2 −2 −2 −1 2 −1 0 1 −2 0 −1 −2 NH423 0 −2 2 −2 6 −4 −4 0 −2 -18 −2 0 −1 2 ! −2 −4 −2 0 !

2 −2 0 −2 0 −2 −2 −2 −1 2 −1 0 1 −1 0 −1 −2 H424 0 −2 2 −2 4 −2 −2 0 −2 -16 −1 0 −1 2 ! −1 −2 −1 0 !

2 −1 0 −1 0 −3 −2 −1 −1 2 −1 0 1 −3 0 −1 −2 H425 0 −3 2 −1 6 −6 −3 0 −3 -12 −3 0 −1 2 ! −3 −6 −3 0 !

2 −1 0 −1 0 −3 −2 −1 − − − − − − NH 1 2 1 0 1 2 2 2 2 426 0 −3 2 −1 4 −4 −5 −2 −3 -8 −1 0 −1 2 ! −2 −4 −2 0 !

2 −1 0 −3 0 −3 −2 −1 −1 2 −1 0 1 −1 0 −1 −2 NH427 0 −3 2 −1 4 −2 −1 0 −3 -16 −1 0 −1 2 ! −1 −2 −1 0 !

2 −1 0 −2 0 −9 −6 −3 − − − − − − NH 1 2 1 0 1 4 2 4 6 428 0 −3 2 −1 12 −8 −7 −2 −9 -12 −1 0 −1 2 ! −4 −8 −4 0 !

2 −1 0 −1 0 −6 −4 −2 −1 2 −1 0 1 −5 −2 −3 −4 NH429 0 −3 2 −1 10 −10 −8 −2 −6 -10 −2 0 −1 2 ! −5 −10 −5 0 !

2 −2 0 −1 −4 −7 −6 −5 −1 2 −1 0 1 −4 −4 −4 −4 !!! NH430 0 −1 2 −1 4 −4 −5 −2 −3 -4 −1 0 −1 2 ! −4 −6 −4 −2 !

2 −1 0 −2 −4 −5 −6 −7 −2 2 −1 0 1 −7 −2 −6 −10 NH431 0 −1 2 −1 9 −6 −3 0 −6 -9 −1 0 −1 2 ! −5 −4 −3 −2 !

2 −1 0 −1 −2 −2 −2 −2 −2 2 −1 0 1 −4 −1 −2 −3 H432 0 −1 2 −1 4 −4 −2 0 −2 -8 −2 0 −1 2 ! −4 −3 −2 −1 !

2 −2 0 −1 −2 −6 −8 −5 −1 2 −1 0 1 −3 −2 −5 −4 !!! H433 0 −1 2 −1 7 −4 −5 −2 −3 -7 −1 0 −2 2 ! −5 −8 −6 −2 !

2 −1 0 −1 −2 −4 −6 −4 −2 2 −1 0 1 −5 −2 −7 −6 !!! NH434 0 −1 2 −1 8 −6 −4 −2 −4 -8 −1 0 −2 2 ! −7 −6 −5 −2 ! 38 Dimitry Leites, Oleksandr Lozhechnyk

2 −1 0 −2 −2 −6 −10 −7 −2 2 −1 0 1 −5 0 −10 −10 NH435 0 −1 2 −1 15 −6 −3 0 −6 -15 −1 0 −2 2 ! −7 −6 −5 −2 !

2 −1 0 −1 −2 −3 −4 −5 −2 2 −1 0 1 −8 0 −4 −8 NH436 0 −1 2 −2 12 −12 −6 0 −6 -12 −2 0 −1 2 ! −8 −6 −4 −2 !

2 −1 0 −2 0 −2 −2 −1 −2 2 −1 0 1 −1 0 −2 −2 NH437 0 −2 2 −1 5 −2 −1 0 −2 -25 −1 0 −2 2 ! −2 −2 −1 0 !

2 −1 0 0 0 −1 −1 −1 −2 2 −2 −2 1 −2 −2 −2 −2 H438 0 −1 2 0 2 −1 −1 0 −1 -8 0 −1 0 2 ! −1 −1 −1 0 !

2 −1 0 0 0 −2 −2 −2 −1 2 −2 −2 1 −2 −4 −4 −4 H439 0 −1 2 0 2 −1 −2 −1 −2 -4 0 −1 0 2 ! −1 −2 −2 −1 !

2 −2 0 0 0 −4 −4 −4 −1 2 −2 −2 1 −2 −4 −4 −4 H440 0 −1 2 0 4 −1 −2 0 −2 -8 0 −1 0 2 ! −1 −2 −2 0 !

2 −1 0 0 0 −2 −3 −1 −1 2 −3 −1 1 −2 −4 −6 −2 H441 0 −1 2 0 2 −1 −2 −2 −1 -4 0 −1 0 2 ! −1 −2 −3 0 !

2 −1 0 0 0 −2 −1 −1 −1 2 −1 −1 1 −2 −4 −2 −2 H442 0 −1 2 0 2 −1 −2 0 −1 -4 0 −3 0 2 ! −3 −6 −3 −2 !

2 −1 0 0 −1 −2 −1 −1 −2 2 −1 −1 1 −4 −4 −2 −2 H443 0 −1 2 0 2 −2 −2 0 −1 -4 0 −2 0 2 ! −4 −4 −2 −1 !

2 −2 0 0 −1 −4 −2 −2 − − − − − − − H 1 2 1 1 1 2 4 2 2 444 0 −1 2 0 2 −1 −2 0 −1 -4 0 −2 0 2 ! −2 −4 −2 −1 !

2 −2 0 0 0 −4 −4 −2 −1 2 −2 −1 1 −2 −4 −4 −2 H445 0 −1 2 0 4 −1 −2 0 −1 -8 0 −2 0 2 ! −2 −4 −4 0 !

2 −2 0 0 0 −2 −1 −1 − − − − − − − H 1 2 1 1 1 1 2 1 1 446 0 −2 2 0 2 −1 −2 0 −1 -8 0 −2 0 2 ! −1 −2 −1 0 !

2 −1 −1 −1 0 −1 −1 −1 −1 2 −1 −1 1 −1 0 −1 −1 H447 −1 −1 2 −1 3 −1 −1 0 −1 -27 −1 −1 −1 2 ! −1 −1 −1 0 !

2 −1 0 −1 0 −3 −3 −3 −1 2 −1 −1 1 −3 −2 −3 −4 H448 0 −1 2 −1 6 −3 −3 0 −3 -12 −1 −1 −1 2 ! −3 −4 −3 −2 !

2 −1 0 0 0 −1 −1 −1 −3 2 −1 −1 1 −3 −2 −2 −2 H449 0 −1 2 −1 3 −3 −2 0 −1 -9 0 −1 −1 2 ! −3 −2 −1 0 !

2 −1 0 0 0 −3 −3 −3 −1 2 −1 −1 1 −3 −6 −6 −6 H450 0 −1 2 −1 3 −3 −6 −4 −5 -3 0 −1 −1 2 ! −3 −6 −5 −4 !

2 −3 0 0 0 −3 −3 −3 −1 2 −1 −1 1 −1 −2 −2 −2 H451 0 −1 2 −1 3 −1 −2 0 −1 -9 0 −1 −1 2 ! −1 −2 −1 0 !

2 −2 0 0 0 −6 −6 −6 −1 2 −1 −1 1 −3 −6 −6 −6 H452 0 −1 2 −1 6 −3 −6 −2 −4 -6 0 −1 −1 2 ! −3 −6 −4 −2 ! Inverses of Cartan matrices 39

2 −1 0 0 0 −3 −3 −3 −2 2 −1 −1 1 −6 −6 −6 −6 H453 0 −1 2 −1 6 −6 −6 −2 −4 -6 0 −1 −1 2 ! −6 −6 −4 −2 !

2 −10 0 0 −1 −2 −3 −2 −1 −2 2 −1 0 0 −4 −4 −6 −4 −2 − − 1 − − − − − H51 0 1 2 1 0 6 6 6 4 2 -2  0 0 −2 2 −1  2  −8 −8 −8 −4 −2  0 0 0 −1 2 −4 −4 −4 −2 0     2 −10 0 0 −1 −2 −3 −4 −2 −2 2 −1 0 0 −4 −4 −6 −8 −4 − − 1 − − − − − H52 0 1 2 2 0 6 6 6 8 4 -2  0 0 −1 2 −1  2  −4 −4 −4 −4 −2  0 0 0 −1 2 −2 −2 −2 −2 0     2 −10 0 0 0 −2 −4 −4 −2 −1 2 −2 0 0 −2 −4 −8 −8 −4 − − 1 − − − − − H53 0 1 2 1 0 2 4 6 6 3 -2  0 0 −1 2 −1  2  −2 −4 −6 −4 −2  0 0 0 −2 2 −2 −4 −6 −4 −1     2 −10 0 0 0 −2 −2 −2 −1 −1 2 −1 0 0 −2 −4 −4 −4 −2 − − 1 − − − − − H54 0 2 2 1 0 4 8 6 6 3 -2  0 0 −1 2 −1  2  −4 −8 −6 −4 −2  0 0 0 −2 2 −4 −8 −6 −4 −1     2 −1 0 0 −1 −1 −3 −5 −7 −4 −1 2 −1 0 0 −4 −2 −5 −8 −6 − − 1 − − − − − !!! NH55 0 1 2 2 0 7 6 5 9 8 -5  0 0 −1 2 −1  5  −5 −5 −5 −5 −5  −1 0 0 −1 2 −3 −4 −5 −6 −2     2 −1 0 0 −1 −1 −3 −5 −7 −4 −2 2 −1 0 0 −6 −2 −6 −10 −8 − − 1 − − − − − H56 0 1 2 2 0 10 6 2 6 8 -8  0 0 −1 2 −1  8  −7 −5 −3 −1 −4  −1 0 0 −1 2 −4 −4 −4 −4 0     2 −2 0 0 −1 −1 −5 −8 −11 −6 −1 2 −1 0 0 −4 −2 −5 −8 −6 − − 1 − − − − − NH57 0 1 2 2 0 7 8 2 5 6 -9  0 0 −1 2 −1  9  −5 −7 −4 −1 −3  −1 0 0 −1 2 −3 −6 −6 −6 0     2 −1 0 0 −2 −1 −4 −7 −10 −6 −1 2 −1 0 0 −4 0 −4 −8 −8 − − 1 − − − − − H58 0 1 2 2 0 7 4 1 6 10 -8  0 0 −1 2 −1  8  −5 −4 −3 −2 −6  −1 0 0 −1 2 −3 −4 −5 −6 −2     2 −10 0 0 0 −2 −1 −1 −2 −1 2 −1 −1 −2 −2 −4 −2 −2 −4 − 1 − − − − H59 0 12 0 0 1 2 0 1 2 -8  0 −10 2 0  2  −1 −2 −1 0 −2  0 −10 0 2 −1 −2 −1 −1 −1     2 −20 0 0 −1 −4 −2 −2 −2 −1 2 −1 −1 −1 −2 −4 −2 −2 −2 − 1 − − − − H510 0 12 0 0 1 2 0 1 1 -8  0 −10 2 0  2  −1 −2 −1 0 −1  0 −10 0 2 −1 −2 −1 −1 0     2 −1 0 −1 0 0 −2 −2 −2 −2 −1 2 −1 0 −1 −2 −1 −2 −3 −2 − − 1 − − − − H511 0 1 2 1 0 2 2 0 2 2 -16  −1 0 −1 2 −1  4  −2 −3 −2 −1 −2  0 −1 0 −1 2 −2 −2 −2 −2 0     2 −10 0 0 0 −4 −4 −4 −4 −1 2 −1 0 −1 −4 −8 −8 −8 −8 − − 1 − − − − − H512 0 1 2 1 0 4 8 5 6 7 -4  0 0 −1 2 −1  4  −4 −8 −6 −4 −6  0 −1 0 −1 2 −4 −8 −7 −6 −5     2 −10 0 0 0 −2 −2 −2 −2 −2 2 −1 0 −1 −4 −4 −4 −4 −4 − − 1 − − − − − H513 0 1 2 1 0 4 4 1 2 3 -8  0 0 −1 2 −1  4  −4 −4 −2 0 −2  0 −1 0 −1 2 −4 −4 −3 −2 −1     2 −20 0 0 0 −4 −4 −4 −4 −1 2 −1 0 −1 −2 −4 −4 −4 −4 − − 1 − − − − − H514 0 1 2 1 0 2 4 1 2 3 -8  0 0 −1 2 −1  4  −2 −4 −2 0 −2  0 −1 0 −1 2 −2 −4 −3 −2 −1     2 −10 0 0 −1 −6 −3 −8 −4 −1 2 −1 −2 0 −6 −12 −6 −16 −8 − 1 − − − − − H515 0 12 0 0 3 6 1 8 4 -4  0 −1 0 2 −1  4  −4 −8 −4 −8 −4  0 0 0 −1 2 −2 −4 −2 −4 0     40 Dimitry Leites, Oleksandr Lozhechnyk

2 −10 0 0 −1 −6 −3 −4 −2 −1 2 −1 −1 0 −6 −12 −6 −8 −4 − 1 − − − − − H516 0 12 0 0 3 6 1 4 2 -4  0 −2 0 2 −1  4  −8 −16 −8 −8 −4  0 0 0 −1 2 −4 −8 −4 −4 0     2 −10 0 0 0 −2 −2 −2 −2 −1 2 −2 −1 0 −2 −4 −4 −4 −4 − 1 − − − − − H517 0 12 0 0 1 2 1 2 2 -4  0 −1 0 2 −2  2  −2 −4 −4 −2 −2  0 0 0 −1 2 −1 −2 −2 −1 0     2 −10 0 0 −2 −6 −6 −4 −2 −1 2 −2 −1 0 −6 −12 −12 −8 −4 − 1 − − − − − H518 0 12 0 0 3 6 5 4 2 -2  0 −1 0 2 −1  2  −4 −8 −8 −4 −2  0 0 0 −1 2 −2 −4 −4 −2 0     2 −10 0 0 0 −2 −2 −2 −1 −1 2 −2 −1 0 −2 −4 −4 −4 −2 − 1 − − − − − H519 0 12 0 0 1 2 1 2 1 -4  0 −1 0 2 −1  2  −2 −4 −4 −2 −1  0 0 0 −2 2 −2 −4 −4 −2 0     2 −10 0 0 0 −2 −1 −2 −2 −1 2 −1 −1 0 −2 −4 −2 −4 −4 − 1 − − − − − H520 0 22 0 0 2 4 1 4 4 -4  0 −1 0 2 −2  2  −2 −4 −2 −2 −2  0 0 0 −1 2 −1 −2 −1 −1 0     2 −10 0 0 −2 −6 −3 −4 −2 −1 2 −1 −1 0 −6 −12 −6 −8 −4 − 1 − − − − − H521 0 22 0 0 6 12 5 8 4 -2  0 −1 0 2 −1  2  −4 −8 −4 −4 −2  0 0 0 −1 2 −2 −4 −2 −2 0     2 −10 0 0 0 −2 −1 −2 −1 −1 2 −1 −1 0 −2 −4 −2 −4 −2 − 1 − − − − − H522 0 22 0 0 2 4 1 4 2 -4  0 −1 0 2 −1  2  −2 −4 −2 −2 −1  0 0 0 −2 2 −2 −4 −2 −2 0     2 −10 0 0 0 0 −2 −1 −3 −2 −1 −1 2 −1 −1 0 0 −2 −4 −2 −6 −4 −2 − − − − − − H 0 12 0 0 0 1 1 2 0 3 2 1 61  0 −1 0 2 −1 0  2  −3 −6 −3 −6 −4 −2  -4 0 0 0 −2 2 −1 −4 −8 −4 −8 −4 −2  0 0 0 0 −1 2   −2 −4 −2 −4 −2 0      2 −10 0 0 0 0 −2 −1 −3 −4 −2 −1 2 −1 −1 0 0 −2 −4 −2 −6 −8 −4 − − − − − − H 0 12 0 0 0 1 1 2 0 3 4 2 62  0 −1 0 2 −2 0  2  −3 −6 −3 −6 −8 −4  -4 0 0 0 −1 2 −1 −2 −4 −2 −4 −4 −2  0 0 0 0 −1 2   −1 −2 −1 −2 −2 0      2 −10 0 0 −1 0 −2 −4 −6 −8 −4 −1 2 −10 0 0 −3 0 −3 −6 −9 −6 − − − − − − − − NH 0 1 2 1 0 0 1 6 4 2 6 10 8 63  0 0 −1 2 −2 0  6  −9 −8 −7 −6 −11 −10  -6 0 0 0 −1 2 −1 −6 −6 −6 −6 −6 −6  −10 0 0 −1 2   −3 −4 −5 −6 −7 −2      2 −10 0 0 −1 0 −1 −2 −3 −4 −2 −2 2 −10 0 0 −2 0 −2 −4 −6 −4 − − − − − − − H 0 1 2 1 0 0 1 4 2 0 2 4 4 64  0 0 −1 2 −2 0  4  −6 −4 −2 0 −2 −4  -8 0 0 0 −1 2 −1 −4 −3 −2 −1 0 −2  −10 0 0 −1 2   −2 −2 −2 −2 −2 0      2 −20 0 0 −1 0 −1 −2 −3 −4 −2 −1 2 −10 0 0 −1 0 −1 −2 −3 −2 − − − − − − − NH 0 1 2 1 0 0 1 2 2 0 1 2 2 65  0 0 −1 2 −2 0  3  −3 −4 −2 0 −1 −2  -9 0 0 0 −1 2 −1 −2 −3 −2 −1 0 −1  −10 0 0 −1 2   −1 −2 −2 −2 −2 0      2 −10 0 0 0 0 −2 −1 −1 −1 −1 −1 2 −1 −1 −1 −1 −2 −4 −2 −2 −2 −2 − − − − − − H 0 12 0 0 0 1 1 2 0 1 1 1 66  0 −10 2 0 0  2  −1 −2 −1 0 −1 −1  -16 0 −10 0 2 0 −1 −2 −1 −1 0 −1  0 −10 0 0 2   −1 −2 −1 −1 −1 0      2 −20 0 0 0 −4 −10 −12 −6 −8 −4 −1 2 −10 0 0 −5 −10 −12 −6 −8 −4 − − − − − − − − − H 0 1 2 1 1 0 1 6 12 12 6 8 4 67  0 0 −12 0 0  2  −3 −6 −6 −2 −4 −2  -2 0 0 −1 0 2 −1 −4 −8 −8 −4 −4 −2  0 0 0 0 −1 2   −2 −4 −4 −2 −2 0      2 −10 0 0 0 −4 −5 −6 −3 −4 −2 −2 2 −10 0 0 −10 −10 −12 −6 −8 −4 − − − − − − − − − H 0 1 2 1 1 0 1 12 12 12 6 8 4 68  0 0 −12 0 0  2  −6 −6 −6 −2 −4 −2  -2 0 0 −1 0 2 −1 −8 −8 −8 −4 −4 −2  0 0 0 0 −1 2   −4 −4 −4 −2 −2 0      Inverses of Cartan matrices 41

2 −20 0 0 0 0 −2 −4 −2 −4 −2 −1 2 −10 0 0 −1 −2 −4 −2 −4 −2 − − − − − − − − − H 0 1 2 1 1 0 1 2 4 4 2 4 2 69  0 0 −12 0 0  2  −1 −2 −2 0 −2 −1  -4 0 0 −1 0 2 −1 −2 −4 −4 −2 −2 −1  0 0 0 0 −2 2   −2 −4 −4 −2 −2 0      2 −10 0 0 0 0 −1 −2 −1 −2 −1 −2 2 −10 0 0 −2 −2 −4 −2 −4 −2 − − − − − − − − − H 0 1 2 1 1 0 1 4 4 4 2 4 2 610  0 0 −12 0 0  2  −2 −2 −2 0 −2 −1  -4 0 0 −1 0 2 −1 −4 −4 −4 −2 −2 −1  0 0 0 0 −2 2   −4 −4 −4 −2 −2 0      2 −10 0 0 0 0 −1 −2 −1 −2 −2 −2 2 −10 0 0 −2 −2 −4 −2 −4 −4 − − − − − − − − − H 0 1 2 1 1 0 1 4 4 4 2 4 4 611  0 0 −12 0 0  2  −2 −2 −2 0 −2 −2  -4 0 0 −1 0 2 −2 −4 −4 −4 −2 −2 −2  0 0 0 0 −1 2   −2 −2 −2 −1 −1 0      2 −10 0 0 0 0 −1 −2 −3 −2 −1 −2 2 −10 0 0 −2 −2 −4 −6 −4 −2 − − − − − − − − H 0 1 2 1 0 0 1 4 4 4 6 4 2 612  0 0 −1 2 −1 0  2  −6 −6 −6 −6 −4 −2  -2 0 0 0 −2 2 −1 −8 −8 −8 −8 −4 −2  0 0 0 0 −1 2   −4 −4 −4 −4 −2 0      2 −10 0 0 0 0 −1 −2 −3 −4 −2 −2 2 −10 0 0 −2 −2 −4 −6 −8 −4 − − − − − − − − H 0 1 2 1 0 0 1 4 4 4 6 8 4 613  0 0 −1 2 −2 0  2  −6 −6 −6 −6 −8 −4  -2 0 0 0 −1 2 −1 −4 −4 −4 −4 −4 −2  0 0 0 0 −1 2   −2 −2 −2 −2 −2 0      2 −10 0 0 0 0 −1 −2 −3 −2 −1 −1 2 −10 0 0 −1 −2 −4 −6 −4 −2 0 −1 2 −1 0 0 −2 −4 −6 −9 −6 −3 H614  0 0 −1 2 −1 0   −3 −6 −9 −12 −8 −4  -1 0 0 0 −2 2 −1 −4 −8 −12 −16 −10 −5  0 0 0 0 −1 2   −2 −4 −6 −8 −5 −2      2 −10 0 0 0 −2 −5 −4 −3 −2 −1 −1 2 −10 0 0 −5 −10 −8 −6 −4 −2 0 −2 2 −1 0 0 −8 −16 −12 −9 −6 −3 H615  0 0 −1 2 −1 0   −6 −12 −9 −6 −4 −2  -1 0 0 0 −1 2 −1 −4 −8 −6 −4 −2 −1  0 0 0 0 −1 2   −2 −4 −3 −2 −1 0      2 −10 0 0 0 0 −2 −4 −6 −4 −2 −1 2 −10 0 0 −2 −4 −8 −12 −8 −4 − − − − − − − − H 0 1 2 2 0 0 1 4 8 12 18 12 6 616  0 0 −1 2 −1 0  2  −3 −6 −9 −12 −8 −4  -2 0 0 0 −1 2 −1 −2 −4 −6 −8 −4 −2  0 0 0 0 −1 2   −1 −2 −3 −4 −2 0      2 −10 0 0 0 0 −2 −4 −4 −4 −2 −1 2 −20 0 0 −2 −4 −8 −8 −8 −4 − − − − − − − − H 0 1 2 1 0 0 1 2 4 6 6 6 3 617  0 0 −1 2 −1 0  2  −2 −4 −6 −4 −4 −2  -2 0 0 0 −1 2 −1 −2 −4 −6 −4 −2 −1  0 0 0 0 −2 2   −2 −4 −6 −4 −2 0      2 −10 0 0 0 0 −2 −2 −2 −2 −1 −1 2 −10 0 0 −2 −4 −4 −4 −4 −2 − − − − − − − − H 0 2 2 1 0 0 1 4 8 6 6 6 3 618  0 0 −1 2 −1 0  2  −4 −8 −6 −4 −4 −2  -2 0 0 0 −1 2 −1 −4 −8 −6 −4 −2 −1  0 0 0 0 −2 2   −4 −8 −6 −4 −2 0      2 −10 0 0 0 0 −5 −5 −5 −5 −5 −1 2 −1 0 0 −1 −5 −10 −10 −10 −10 −10 − − − − − − − − H 0 1 2 1 0 0 1 5 10 6 7 8 9 619  0 0 −1 2 −1 0  5  −5 −10 −7 −4 −6 −8  -5 0 0 0 −1 2 −1 −5 −10 −8 −6 −4 −7  0 −1 0 0 −1 2   −5 −10 −9 −8 −7 −6      2 −10 0 0 0 −2 −6 −3 −3 −4 −2 −1 2 −1 −1 −1 0 −6 −12 −6 −6 −8 −4 − − − − − − − H 0 12 0 0 0 1 3 6 2 3 4 2 620  0 −10 2 0 0  2  −3 −6 −3 −2 −4 −2  -4 0 −10 0 2 −1 −4 −8 −4 −4 −4 −2  0 0 0 0 −1 2   −2 −4 −2 −2 −2 0      2 −10 0 0 0 0 −2 −1 −1 −2 −1 −1 2 −1 −1 −1 0 −2 −4 −2 −2 −4 −2 − − − − − − H 0 12 0 0 0 1 1 2 0 1 2 1 621  0 −10 2 0 0  2  −1 −2 −1 0 −2 −1  -8 0 −10 0 2 −1 −2 −4 −2 −2 −2 −1  0 0 0 0 −2 2   −2 −4 −2 −2 −2 0      2 −10 0 0 0 0 −2 −1 −1 −2 −2 −1 2 −1 −1 −1 0 −2 −4 −2 −2 −4 −4 − − − − − − H 0 12 0 0 0 1 1 2 0 1 2 2 622  0 −10 2 0 0  2  −1 −2 −1 0 −2 −2  -8 0 −10 0 2 −2 −2 −4 −2 −2 −2 −2  0 0 0 0 −1 2   −1 −2 −1 −1 −1 0      42 Dimitry Leites, Oleksandr Lozhechnyk

2 −10 0 0 0 0 0 −2 −4 −2 −4 −4 −2 −1 2 −10 0 0 0 −2 −4 −8 −4 −8 −8 −4 0 −1 2 −1 −1 0 0 −4 −8 −12 −6 −12 −12 −6 − 1 − − − − − − − H71  0 0 12 0 0 0   2 4 6 2 6 6 3  -2 0 0 −1 0 2 −1 0 2 −4 −8 −12 −6 −10 −10 −5 − − − − − − − − −  0 0 0 0 1 2 1   4 8 12 6 10 8 4   00000 −2 2   −4 −8 −12 −6 −10 −8 −3      2 −10 0 0 0 0 0 −2 −4 −2 −4 −4 −4 −1 2 −10 0 0 0 −2 −4 −8 −4 −8 −8 −8 0 −1 2 −1 −1 0 0 −4 −8 −12 −6 −12 −12 −12 − 1 − − − − − − − H72  0 0 12 0 0 0   2 4 6 2 6 6 6  -2 0 0 −1 0 2 −1 0 2 −4 −8 −12 −6 −10 −10 −10 − − − − − − − − −  0 0 0 0 1 2 2   4 8 12 6 10 8 8   00000 −1 2   −2 −4 −6 −3 −5 −4 −3      2 −10 0 0 0 0 0 −6 −6 −6 −6 −6 −6 −1 2 −10 0 0 −1 −6 −12 −12 −12 −12 −12 −12 0 −1 2 −10 0 0 −6 −12 −7 −8 −9 −10 −11 − − 1 − − − − − − − H73  0 0 1 2 1 0 0   6 12 8 4 6 8 10  -6 0 0 0 −1 2 −1 0 6 −6 −12 −9 −6 −3 −6 −9 − − − − − − − − −  0 0 0 0 1 2 1   6 12 10 8 6 4 8   0 −10 0 0 −1 2   −6 −12 −11 −10 −9 −8 −7      2 −10 0 0 0 0 −4 −12 −8 −4 −12 −6 −6 −1 2 −1 0 −1 0 0 −12 −24 −16 −8 −24 −12 −12 0 −1 2 −10 0 0 −8 −16 −8 −4 −16 −8 −8 − 1 − − − − − − H74  0 0 12 0 0 0   4 8 4 0 8 4 4  -4 0 −10 0 2 −1 −1 4 −12 −24 −16 −8 −20 −10 −10 − − − − − − − −  0 0 0 0 1 2 0   6 12 8 4 10 3 5   0 0 0 0 −1 0 2   −6 −12 −8 −4 −10 −5 −3      2 −1000000 0 −7 −7 −7 −7 −7 −7 −7 −1 2 −10 0 0 0 −1 −7 −14 −14 −14 −14 −14 −14 −14 0 −1 2 −10 0 0 0 −7 −14 −8 −9 −10 −11 −12 −13  0 0 −1 2 −10 0 0  1  −7 −14 −9 −4 −6 −8 −10 −12  H81 0 0 0 −1 2 −1 0 0 7 −7 −14 −10 −6 −2 −5 −8 −11 -7 − − − − − − − − − −  0 0 0 0 1 2 1 0   7 14 11 8 5 2 6 10   00000 −1 2 −1   −7 −14 −12 −10 −8 −6 −4 −9   0 −10 0 0 0 −1 2   −7 −14 −13 −12 −11 −10 −9 −8      2 −1000000 0 −2 −4 −2 −4 −4 −4 −2 −1 2 −10 0 0 0 0 −2 −4 −8 −4 −8 −8 −8 −4 0 −1 2 −1 −10 0 0 −4 −8 −12 −6 −12 −12 −12 −6  0 0 −12 0 0 0 0  1  −2 −4 −6 −2 −6 −6 −6 −3  H82 0 0 −1 0 2 −1 0 0 2 −4 −8 −12 −6 −10 −10 −10 −5 -2 − − − − − − − − − −  0 0 0 0 1 2 1 0   4 8 12 6 10 8 8 4   00000 −1 2 −1   −4 −8 −12 −6 −10 −8 −6 −3   000000 −2 2   −4 −8 −12 −6 −10 −8 −6 −2      2 −1000000 0 −2 −4 −2 −4 −4 −4 −4 −1 2 −10 0 0 0 0 −2 −4 −8 −4 −8 −8 −8 −8 0 −1 2 −1 −10 0 0 −4 −8 −12 −6 −12 −12 −12 −12  0 0 −12 0 0 0 0  1  −2 −4 −6 −2 −6 −6 −6 −6  H83 0 0 −1 0 2 −1 0 0 2 −4 −8 −12 −6 −10 −10 −10 −10 -2 − − − − − − − − − −  0 0 0 0 1 2 1 0   4 8 12 6 10 8 8 8   00000 −1 2 −2   −4 −8 −12 −6 −10 −8 −6 −6   000000 −1 2   −2 −4 −6 −3 −5 −4 −3 −2      2 −1000000 0 −2 −4 −2 −4 −4 −2 −2 −1 2 −10 0 0 0 0 −2 −4 −8 −4 −8 −8 −4 −4 0 −1 2 −1 −10 0 0 −4 −8 −12 −6 −12 −12 −6 −6 − − − − − − − − − H  0 0 12 0 0 0 0  1  2 4 6 2 6 6 3 3  84 0 0 −1 0 2 −1 0 0 2 −4 −8 −12 −6 −10 −10 −5 −5 -4 − − − − − − − − − − −  0 0 0 0 1 2 1 1   4 8 12 6 10 8 4 4   00000 −1 2 0   −2 −4 −6 −3 −5 −4 −1 −2   00000 −1 0 2   −2 −4 −6 −3 −5 −4 −2 −1      2 −1000000 −2 −7 −12 −9 −6 −3 −8 −4 −1 2 −10 0 0 0 0 −7 −14 −24 −18 −12 −6 −16 −8 0 −1 2 −1 0 0 −1 0 −12 −24 −36 −27 −18 −9 −24 −12  0 0 −1 2 −10 0 0  1  −9 −18 −27 −18 −12 −6 −18 −9  H85 0 0 0 −1 2 −1 0 0 3 −6 −12 −18 −12 −6 −3 −12 −6 -3 − − − − − − − −  0 0 0 0 12 0 0   3 6 9 6 3 0 6 3   0 0 −10 0 0 2 −1   −8 −16 −24 −18 −12 −6 −14 −7   000000 −1 2   −4 −8 −12 −9 −6 −3 −7 −2      2 −10000000 −1 −4 −7 −10 −5 −8 −6 −4 −2 −1 2 −1000000 −4 −8 −14 −20 −10 −16 −12 −8 −4 0 −1 2 −10 0 0 0 0 −7 −14 −21 −30 −15 −24 −18 −12 −6 0 0 −1 2 −1 −10 0 0 −10 −20 −30 −40 −20 −32 −24 −16 −8  −  1  − − − − − − − − −  H91 0 0 0 12 0 0 0 0 5 10 15 20 9 16 12 8 4 -2 0 0 0 −1 0 2 −1 0 0 2 −8 −16 −24 −32 −16 −24 −18 −12 −6  − −   − − − − − − − − −   00000 1 2 1 0   6 12 18 24 12 18 12 8 4   000000 −1 2 −1   −4 −8 −12 −16 −8 −12 −8 −4 −2   0000000 −1 2   −2 −4 −6 −8 −4 −6 −4 −2 0      2 −10000000 0 −2 −4 −2 −4 −4 −4 −4 −2 −1 2 −1000000 −2 −4 −8 −4 −8 −8 −8 −8 −4 0 −1 2 −1 −10 0 0 0 −4 −8 −12 −6 −12 −12 −12 −12 −6 0 0 −1200000 −2 −4 −6 −2 −6 −6 −6 −6 −3  − −  1  − − − − − − − − −  H92 0 0 1 0 2 10 0 0 4 8 12 6 10 10 10 10 5 -2 0 0 0 0 −1 2 −1 0 0 2 −4 −8 −12 −6 −10 −8 −8 −8 −4  − −   − − − − − − − − −   00000 1 2 1 0   4 8 12 6 10 8 6 6 3   000000 −1 2 −1   −4 −8 −12 −6 −10 −8 −6 −4 −2   0000000 −2 2   −4 −8 −12 −6 −10 −8 −6 −4 −1      Inverses of Cartan matrices 43

2 −10000000 0 −2 −4 −2 −4 −4 −4 −4 −4 −1 2 −1000000 −2 −4 −8 −4 −8 −8 −8 −8 −8 0 −1 2 −1 −10 0 0 0 −4 −8 −12 −6 −12 −12 −12 −12 −12 0 0 −1200000 −2 −4 −6 −2 −6 −6 −6 −6 −6  − −  1  − − − − − − − − −  H93 0 0 1 0 2 10 0 0 4 8 12 6 10 10 10 10 10 -2 0 0 0 0 −1 2 −1 0 0 2 −4 −8 −12 −6 −10 −8 −8 −8 −8  − −   − − − − − − − − −   00000 1 2 1 0   4 8 12 6 10 8 6 6 6   000000 −1 2 −2   −4 −8 −12 −6 −10 −8 −6 −4 −4   0000000 −1 2   −2 −4 −6 −3 −5 −4 −3 −2 −1      2 −10000000 0 −4 −8 −4 −8 −8 −8 −4 −4 −1 2 −1000000 −4 −8 −16 −8 −16 −16 −16 −8 −8 0 −1 2 −1 −10 0 0 0 −8 −16 −24 −12 −24 −24 −24 −12 −12 0 0 −1200000 −4 −8 −12 −4 −12 −12 −12 −6 −6  − −  1  − − − − − − − − −  H94 0 0 1 0 2 10 0 0 8 16 24 12 20 20 20 10 10 -4 0 0 0 0 −1 2 −1 0 0 4 −8 −16 −24 −12 −20 −16 −16 −8 −8  − − −   − − − − − − − − −   00000 1 2 1 1   8 16 24 12 20 16 12 6 6   000000 −1 2 0   −4 −8 −12 −6 −10 −8 −6 −1 −3   000000 −1 0 2   −4 −8 −12 −6 −10 −8 −6 −3 −1      2 −10000000 0 −8 −8 −8 −8 −8 −8 −8 −8 −1 2 −10 0 0 0 0 −1 −8 −16 −16 −16 −16 −16 −16 −16 −16 0 −1 2 −10 0 0 0 0 −8 −16 −9 −10 −11 −12 −13 −14 −15 0 0 −1 2 −10 0 0 0 −8 −16 −10 −4 −6 −8 −10 −12 −14  − −  1  − − − − − − − − −  H95 0 0 0 1 2 10 0 0 8 16 11 6 1 4 7 10 13 -8 0 0 0 0 −1 2 −1 0 0 8 −8 −16 −12 −8 −4 0 −4 −8 −12  − −   − − − − − − − − −   00000 1 2 1 0   8 16 13 10 7 4 1 6 11   000000 −1 2 −1   −8 −16 −14 −12 −10 −8 −6 −4 −10   0 −10 0 0 0 0 −1 2   −8 −16 −15 −14 −13 −12 −11 −10 −9      2 −100000000 −4 −9 −14 −7 −12 −10 −8 −6 −4 −2 −1 2 −10000000 −9 −18 −28 −14 −24 −20 −16 −12 −8 −4 0 −1 2 −1 −10 0 0 0 0 −14 −28 −42 −21 −36 −30 −24 −18 −12 −6  0 0 −12000000   −7 −14 −21 −10 −18 −15 −12 −9 −6 −3  − − − − − − − − − − − − H10 0 0 1 0 2 10 0 0 0 12 24 36 18 30 25 20 15 10 5 -1 1  0 0 0 0 −1 2 −10 0 0   −10 −20 −30 −15 −25 −20 −16 −12 −8 −4   00000 −1 2 −1 0 0   −8 −16 −24 −12 −20 −16 −12 −9 −6 −3   000000 −1 2 −1 0   −6 −12 −18 −9 −15 −12 −9 −6 −4 −2   − −   − − − − − − − − − −   0000000 1 2 1   4 8 12 6 10 8 6 4 2 1   00000000 −1 2   −2 −4 −6 −3 −5 −4 −3 −2 −1 0      2 −100000000 0 −2 −4 −2 −4 −4 −4 −4 −4 −2 −1 2 −10000000 −2 −4 −8 −4 −8 −8 −8 −8 −8 −4 0 −1 2 −1 −10 0 0 0 0 −4 −8 −12 −6 −12 −12 −12 −12 −12 −6  0 0 −12000000   −2 −4 −6 −2 −6 −6 −6 −6 −6 −3  − − − − − − − − − − − − H10 0 0 1 0 2 10 0 0 0 1 4 8 12 6 10 10 10 10 10 5 -2 2  0 0 0 0 −1 2 −10 0 0  2  −4 −8 −12 −6 −10 −8 −8 −8 −8 −4   00000 −1 2 −1 0 0   −4 −8 −12 −6 −10 −8 −6 −6 −6 −3   000000 −1 2 −1 0   −4 −8 −12 −6 −10 −8 −6 −4 −4 −2   − −   − − − − − − − − − −   0000000 1 2 1   4 8 12 6 10 8 6 4 2 1   00000000 −2 2   −4 −8 −12 −6 −10 −8 −6 −4 −2 0      2 −100000000 0 −2 −4 −2 −4 −4 −4 −4 −4 −4 −1 2 −10000000 −2 −4 −8 −4 −8 −8 −8 −8 −8 −8 0 −1 2 −1 −10 0 0 0 0 −4 −8 −12 −6 −12 −12 −12 −12 −12 −12  0 0 −12000000   −2 −4 −6 −2 −6 −6 −6 −6 −6 −6  − − − − − − − − − − − − H10 0 0 1 0 2 10 0 0 0 1 4 8 12 6 10 10 10 10 10 10 -2 3  0 0 0 0 −1 2 −10 0 0  2  −4 −8 −12 −6 −10 −8 −8 −8 −8 −8   00000 −1 2 −1 0 0   −4 −8 −12 −6 −10 −8 −6 −6 −6 −6   000000 −1 2 −1 0   −4 −8 −12 −6 −10 −8 −6 −4 −4 −4   − −   − − − − − − − − − −   0000000 1 2 2   4 8 12 6 10 8 6 4 2 2   00000000 −1 2   −2 −4 −6 −3 −5 −4 −3 −2 −1 0      2 −100000000 0 −2 −4 −2 −4 −4 −4 −4 −2 −2 −1 2 −10000000 −2 −4 −8 −4 −8 −8 −8 −8 −4 −4 0 −1 2 −1 −10 0 0 0 0 −4 −8 −12 −6 −12 −12 −12 −12 −6 −6  0 0 −12000000   −2 −4 −6 −2 −6 −6 −6 −6 −3 −3  − − − − − − − − − − − − H10 0 0 1 0 2 10 0 0 0 1 4 8 12 6 10 10 10 10 5 5 -4 4  0 0 0 0 −1 2 −10 0 0  2  −4 −8 −12 −6 −10 −8 −8 −8 −4 −4   00000 −1 2 −1 0 0   −4 −8 −12 −6 −10 −8 −6 −6 −3 −3   000000 −1 2 −1 −1   −4 −8 −12 −6 −10 −8 −6 −4 −2 −2   −   − − − − − − − − −   0000000 1 2 0   2 4 6 3 5 4 3 2 0 1   0000000 −1 0 2   −2 −4 −6 −3 −5 −4 −3 −2 −1 0     

8.3. NS382 − NS386. Here the values of α can only be equal to

√21 11 √15 8 √13 7 10− , 7− , 6− in cases NS382 − NS384, α = 2√6 7 √5 3 ( 5− , 2− in cases NS385 − NS386.

Each of these 5 Lie superalgebras NS382 − NS386 has 4 pairwise non-equivalent Cartan matrices. Observe that the determinant det A of the Cartan matrix A of each almost aﬃne Lie superalgebra from Subsection 8.1 is negative (and so is det B of the Cartan matrix B of each hyperbolic Lie algebra), whereas some of the determinants below are positive; we indicate this. None of the determinants are integer. Observe that the determinants of two Cartan matrices of the same Lie superalgebra can have opposite signs. We also observe that, unlike the inverses of Cartan matrices of hyperbolic Lie algebras, each of the inverse matrices below has both positive and negative elements. As above, the inverse 44 Dimitry Leites, Oleksandr Lozhechnyk matrix without zero elements is marked by !!! .

− − − − 2 0 1 α 1 2α 5 α 2α+1 α+2 −1 0 2+α 1 − − − !!! NS382 NS384 1) 1 = α 2 α α , det = 3(α + 1); − − −1 2+ 0 − 3(α+1) − − 1 − − α 2 α 1 1 ! −1 0 1 α −3 α+2 2α+1 − − 1 − − !!! NS382 NS384 2) 1 2 1 = 3 α α , det = 3(α + 1) > 0; − − −1 −1 2 − 3(α+1) −3 1 −1 − 2 −1 −1 1 α+2 3 −α−2 − 1 − − − − !!! NS382 3) 1 0 2+α = 2α 2 2 2α 3 , det = 4α + 5 > 0; − −2 −1 2 4α+5 1 4 −1 − 2 −1 −1 1 2α+1 −2α−1 3α !!! NS3 ,NS3 4) −2 2 −1 = 1 α −α 4α , det = 5 + 4 ; 82 84 − 1 5α+4 − − − α − 1 2+ α 0 2(α+1) 3α 2 2α − 2 −1 −1 1 α+2 3 −α−2 − 1 − − − − !!! NS383 3) 1 0 2+α = 3α 4 1 2α 3 , det = 5α + 7; − −3 −1 2 5α+7 1 5 −1 2 −1 −1 −1 2α+1 −2α−1 3α −3 2 −1 1 2 − 2 5 !!! NS383 4) = 2 α α 5α , det = 10 3α + > 0; − 1 3α −10α−5 2 2 α − α 2+ α 0 − 2α −6α−3 α −4α−2 α − − 2 −1 −1 1 α+2 3 −α−2 −1 0 2+α 1 −2(2α+3) 0 −2α−3 NS384 3) = 3(2α+3) , det = 8α + 9 > 0; − −4 −1 2 1 6 −1 − − − − 3 0 1 α 1 3α 10 α 3α+1 α+3 −1 0 3+α 1 − − − !!! NS385 NS386 1) 1 = α 3 α α , det = 4(α + 1); −1 3+ 0 4(α+1) − − 1 − − − α − 3 α 1 1 ! − − α 1 0 2(α+1) 2(α+1) 0 1 1 −1 2 −2 −4 −α α NS385 NS386 2) = 4(α+1) , det = 4(α + 1) > 0; − − −1 −2 2 − −4 1 −1 − 2 −1 −2 1 α+3 4 −α−3 − 1 − − − − !!! NS385 3) 1 0 3+α = α 1 2 2α 4 , det = 3α + 5 > 0; − −1 −1 2 3α+5 1 3 −1 − 2 −1 −2 1 α+3 4 −α−3 −1 0 3+α 1 −2(α+2) 0 −2(α+2) NS386 3) = 4(α+2) , det = 4(α + 2) > 0; − −2 −1 2 1 4 −1 − 2 −2 −1 1 3α+1 −3α−1 4α !!! NS3 4) −1 2 −1 = 1 α −α 3α , det = 5 + 3 ; 85 − 1 5α+3 − − − α − 1 3+ α 0 α 1 2(2α+1) 2α − 2 −2 −1 1 3α+1 −3α−1 4α −2 2 −1 1 α −α 4α 4 NS386 4) 1 = , det = 8 + . − −1 3+ 0 4(2α+1) −2(2α+1) −2(2α+1) 0 α α References [B] https://www.encyclopediaofmath.org/index.php/Borcherds_Lie_algebra [BGKL] Bouarroudj S., Grozman P., Krutov A., Leites D., Irreducible modules and their deformations over simple modular Lie algebras and superalgebras; arXiv:?? (work in progress) [BGLL] Bouarroudj S., Grozman P., Lebedev A., Leites D., Divided power (co)homology. Presentations of simple finite-dimensional modular Lie superalgebras with Cartan matrix. Homology, Homotopy and Applications, Vol. 12 (2010), no. 1, 237–278; arXiv:0911.0243 [BGL] Bouarroudj S., Grozman P., Leites D., Classification of finite-dimensional modular Lie superalgebras with indecomposable Cartan matrix, Symmetry, Integrability and Geometry: Methods and Applications (SIGMA), 5 (2009), 060, 63 pages; arXiv:math.RT/0710.5149 [BGL3] Bouarroudj S., Grozman P., Leites D., Defining relations for almost affine (hyperbolic) Lie superalgebras, J. Nonlin. Math. Phys. 17 (2010), suppl. 1, Special issue in memory of F. Berezin, 163–168; arXiv:1012.0176 [BKLS] Bouarroudj S., Krutov A., Leites D., Shchepochkina I., Non-degenerate invariant (super)symmetric bilinear forms on simple Lie (super)algebras. Algebras and Repr. Theory. https://doi.org/10.1007/s10468-018-9802-8; arXiv:1806.05505 [Bbk] Bourbaki N., Lie groups and Lie algebras. Chapters 4 − 6. Translated from the 1968 French original by Andrew Pressley. Elements of Mathematics (Berlin). Springer, Berlin, 2002. xii+300 pp. [CCLL] Chapovalov D., Chapovalov M., Lebedev A., Leites D., The classification of almost affine (hyperbolic) Lie superalgebras. J. Nonlinear Math. Phys., v. 17 (2010), Special issue 1, 103–161; arXiv:0906.1860 [CR] Cohen A.M., Roozemond D.A., Computing Chevalley bases in small characteristics; J. Algebra, V. 322, Issue 3, (2009) 703–721; arXiv:0901.1717 [DS] Duflo M., Serganova V., On associated variety for Lie superalgebras; arXiv:math/0507198 [D1] Dynkin E.B. Semisimple subalgebras of semi-simple Lie algebras. Matem. Sbornik, 1952, v.30 (72), 349– 462 (Russian) = English transl. in Moscow Math. Soc. Translations Ser. 2, v.6 (1957) 111–244 [Eg] Egorov G., How to superize gl(∞). In: Mickelsson J., Pekonen O. (eds.) Topological and geometrical methods in field theory. Proceedings of the Second International Symposium held in Turku, May 26– June 1, 1991, World Sci. Publishing, River Edge, NJ, 1992, 135–146. Inverses of Cartan matrices 45

[EAS] Entova-Aizenbud I., Serganova V., Deligne categories and the periplectic Lie superalgebra; arXiv:1807.09478 [GL] Grozman P., Leites D., Defining relations for classical Lie superalgebras with Cartan matrix, Czech. J. Phys., Vol. 51, 2001, no. 1, 1–22; arXiv:hep-th/9702073 [HS] Hoyt C., Serganova, V., Classification of finite-growth general Kac-Moody superalgebras, Commun. Alg., 35 (2007), Issue 3, 851–874 [Hm] Humphreys J, E. Reflection Groups and Coxeter Groups. Cambridge University Press, (1992) 204 pp. [K] Kac V. G., Lie superalgebras. Adv. Math., v. 26, 1977, 8–96 [Kapp] Kaplansky I., Graded Lie algebras, preprints, Univ. Chicago, Chicago, 1975; http://www1.osu.cz/~zusmanovich/links/files/kaplansky/ [KLLS] Krutov A., Leites D., Lozhechnyk O., Shang J., Homology related with the Duflo–Serganova functor for exceptional modular Lie superalgebras with Cartan matrix; arXiv:?? (work in progress) [LL] Lebedev A., Leites D. (with an appendix by Deligne P.) On realizations of the Steenrod algebras. J. Prime Research in Mathematics, v. 2, no. 1 (2006), 1–13; Preprint MPIMiS 131/2006 http://www.mis.mpg.de [LT] Lusztig, G. and Tits, J., The inverse of a Cartan matrix. An. Univ. Timi¸soara Ser. St¸iint¸. Mat. 30 (1992), no. 1, 17–23: http://math.mit.edu/~gyuri/papers/car.ps [MOV] Malkin A., Ostrik V., and Vybornov M., Quiver varieties and Lusztigs algebra; arXiv:math/0403222[math.RT] [OV] Onishchik A., Vinberg E., Lie Groups and Algebraic Groups. Springer-Verlag, Berlin, 1990. xx+328 pp. [R] Ray U. Automorphic Forms and Lie Superalgebras. Springer-Verlag, Berlin, 2006. 278 pp. [Se] Serganova V., Automorphisms of simple Lie superalgebras. Izv. Akad. Nauk SSSR Ser. Mat. 48 (1984), no. 3, 585–598; (Russian) English translation: Math. USSR-Izv. 24 (1985), no. 3, 539–551 [Se1] Serganova, V., On generalizations of root systems. Commun. Algebra 24 (1996), no. 13, 4281–4299 [SkB] Skryabin S., A contragredient Lie algebra of dimension 29 over a field of characteristic 3. Siberian Mathematical Journal (1993), Volume 34, Issue 3, pp 548–554 Translated fromSibirskii Matematicheskii Zhurnal, Vol. 34, No. 3, pp. 171–178, (1993) [St] Steinberg, R. Lectures on Chevalley groups. Notes prepared by John Faulkner and Robert Wilson. Yale University, New Haven, Conn., 1968. iii+277 pp. [Stk] Stekolshchik R., Classification of linkage systems; arXiv:1406.3049 [Str] Strang G., Computational Science and Engineering. Wellesley-Cambridge Press, 2007, 725 pp. [vdL] van de Leur, J. A classification of contragredient Lie superalgebras of finite growth. Commun. Algebra, 17 (1989), no. 8, 1815–1841. [V] Vinberg E.B.,` Discrete linear groups generated by reflections, Math. USSR-Izv., 5:5 (1971), 1083–1119 [WZ] Wei Yangjiang, Zou Yi Ming, Inverses of Cartan matrices of Lie algebras and Lie superalgebras; Linear Algebra Appl., 521 (2017) 283–298 arXiv:1711.01294[math.RT] [WK] Weisfeiler B., Kac V., Exponentials in Lie algebras of characteristic p. Izv. Akad. Nauk SSSR, v. 35 (1971), no. 4, 762–788 [ZH] Zhang Hechun, The inverse of a real generalized Cartan matrix; arXiv:math/0212207

aNew York University Abu Dhabi, Division of Science and Mathematics, P.O. Box 129188, Abu Dhabi, United Arab Emirates; [email protected], b Department of mathematics, Stockholm University, Roslagsv. 101, Stockholm, Sweden: [email protected]

chttps://www.linkedin.com/in/aleksandr-lozhechnik-40021263 Mechanics and Mathematics Fac- ulty, 4th Academician Glushkov avenue, Kyiv, 16 03127, Ukraine, [email protected], ∗ The corresponding author.