Arxiv:2102.04192V1 [Math-Ph] 8 Feb 2021 1.1

Home , Lie superalgebra

arXiv:2102.04192v1 [math-ph] 8 Feb 2021 1.1. rudfil is field ground that irso h oa 4 orsodn osmerzbeCra mat e Cartan superizations 1.2. several symmetrizable have to (billiards) corresponding matrices 142 18 total superizations, the of liards KhK1]. approxima [BKhL, oscillatory see an symmetriz dynamics, demonstrating with revealedBelinski-Khalatnikov-Lifshitz algebras models account Lie cosmological hyperbolic the into between and DHN]) superstrings DHJN, took [DH, (see that models cosmological i (super)algebras Lie nlgu oKcscnetr rvdb .Mtiu(e M)i tl o still is [M]) (see Mathieu O. by proved conjecture Kac’s to analogous n vL o ymtial arcs n H]frnon-symmetriz for of [HS] list and the matrices, Ca on with symmetrizable conjecture superalgebras for Lie [vdL] Kac-Moody and affine and finite-dimensional an of called is it dimensional, i spragbadtrie yi sntfiiedmninlo affine or finite-dimensional not is it by determined (super)algebra Lie obeetninof extension double a h degree the BS KS)o h opalgebra loop the of BKLS]) [BLS, arx t ykngahi h xeddDni iga,se[K]. see diagram, Dynkin extended the is graph Dynkin its matrix, of graph Dynkin the arx e [BLS]. see matrix, rtedul xeso fte“wse”lo algebra loop “twisted” the of extension double the or atnmti,sm ftetitdloops twisted the of some matrix, Cartan a e od n phrases. and words Key 2010 eew eosrt opeeydffrn idnsupersymmetries hidden different observed, completely was demonstrate models we these of Here supersymmetry hidden a Recently, fteLe(super)algebra Lie the If h ffieKcMoyLeagbai ihra either is algebra Lie Kac-Moody affine The ntesprcs,teeaesml agtsuperalgebras target simple are there case, super the In • NAHDE UESMER FCSOOIA BILLIARDS COSMOLOGICAL OF SUPERSYMMETRY HIDDEN A ON given A omlgclblirsadhproi i lers Super algebras. Lie hyperbolic and billiards Cosmological yeblcLeagba n lotan i superalgebras. Lie affine almost and algebras Lie Hyperbolic A ii ahmtc ujc Classification. Subject Mathematics in.Tetak fcsooia ilad orsodn oteep these algebr to Lie corresponding hyperbolic billiards 66) cosmological total of the tracks of The (18 tions. Several algebra). Lie bolic Abstract. r1o ;moreover, 2; or 1 or 0 = k atnmatrix Cartan automorphism C l atnmatrices Cartan all ; els l 7pis(lotan i ueagba t eueiain= desuperization its superalgebra, Lie affine (almost pairs 97 all list We g a ( A b .Ec fteean a–od lershsasmerzbeCar symmetrizable a has algebras Kac–Moody affine these of Each ). IIR LEITES DIMITRY ϕ ℓ yeblcLeagba lotan ueagba omlgclbilliar cosmological superalgebra, affine almost algebra, Lie Hyperbolic rmisCealygnrtr,se[CL L G,BLS]. BGL, GL, [CCLL, see generators, Chevalley its from ) ( k ) Z g a aeaCra arx n h te a on:ee if even round: way other the and matrix; Cartan a have may gae i ueagba fplnma rwh(e LS BLS]) [LSS, (see growth polynomial of superalgebras Lie -graded ϕ ffieKcMoy(super)algebra Kac–Moody affine ( A A ftetre i algebra Lie target the of rw oyoilyi t hvle eeaosadi o finite- not is and generators Chevalley its in polynomially grows ) ihetisi h rudfil ssi obe to said is field ground the in entries with A a ij ℓ (1) 0 = 1. A rmr 75,8E0 eodr 72,83F05. 17B20, Secondary 83E50; 17B50, Primary A,B ihvle nasml nt-iesoa i algebra Lie finite-dimensional simple a in values with r upsdt eidcmoal n omlzdso normalized and indecomposable be to supposed are Introduction ⇐⇒ ∗ LKAD LOZHECHNYK OLEKSANDR , b A ϕ ℓ ( ji obeextension double k ) .Frdtis n h osrcino the of construction the and details, For 0. = rterdul xesoshv oCartan no have extensions double their or a a ϕ ℓ ( (this k ) orsodn otefie onsof points fixed the to corresponding o h eut fclassifications of results the For . ϕ b orsodn oasmer of symmetry a to corresponding ihu atnmtie,but matrices, Cartan without isaetesame. the are airs c,sels (1). list see ach, shv utpesuperiza- multiple have as frascic ento,see definition, succinct a (for i.Nml,teeae97 are there Namely, rix. e KN DSp]. [KKN, see eakbeconnection remarkable a int iglrt,called singularity, to tion bemtie;ageneral a matrices; able a–od,btteLie the but Kac–Moody, C tnmtie,se[Se3] see matrices, rtan pen. f6 omlgclbil- cosmological 66 of beCra matrices Cartan able izations. nwa olw the follows what In lotaffine almost hyper- a d. tde of Studies b fthe if has tan a , 2 Dimitry Leites, Oleksandr Lozhechnyk

(super)algebra determined by any main submatrix of A, i.e., the submatrix obtained by striking out any row and any column intersecting on the main diagonal, is a sum of finite-dimensional or affine Lie (super)algebras. • A given Lie (super)algebra g(A) is almost affine if all Cartan matrices of g(A) are almost affine, see Subsection 1.2.1. The almost affine Lie algebras are usually called hyperbolic (for a reason, see [CCLL]), or “over extended”. The latter term is somewhat confusing since it is applied, actually, not to the Lie algebra, which is not an extension of any Lie algebra, but to the analog of the Dynkin graph corresponding to the Cartan matrix of this Lie algebra. The Dynkin graph of an affine Kac–Moody (super)algebra is called an extention of the Dynkin graph of a finite-dimensional Lie (super)algebra, the Dynkin graph of any hyperbolic Lie algebra is, obviously, an extension of an extended Dynkin graph. Li Wang Lai was the first to classify all hyperbolic Lie algebras. He gave his answer in terms of analogs of Dynkin graphs, but did not explain either his graphs or the method of getting the answer. Earlier, Kobayashi and Morita classified hyperbolic Lie algebras with symmetrizable Cartan matrix, see [KM]. These results for symmetrizable matrices were double-checked in [BS], where an incomplete but very interesting paper [S] was corrected, and — for any matrices — in the arXiv version of [CCLL]. In [CCLL], almost affine Lie superalgebras are classified; the answer is given in terms of Cartan matrices and clearly defined analogs of Dynkin graphs. 1.2.1. Warning. A given Lie superalgebra, though not almost affine, may have an almost affine Cartan matrix which goes into a not almost affine matrix under an odd reflection. We are interested in the properties of Lie superalgebra, not in those of one or several of its Car- tan matrices. Ignoring the difference between the two problems (classification of matrices vs. classification of Lie superalgebras) have twice lead to mistakes corrected in [CCLL]. 1.3. Non-uniquness of the “superization” procedure. In this note we intend to find out which of the hyperbolic Lie algebras allow a “superization” of the same type as sp(2n) does: it is the only simple finite-dimensional Lie algebra which serves as the even part of a Lie superalgebra with Cartan matrix, namely osp(1|2n). Observe that the properties of osp(1|2n) resemble properties of the simple Lie algebras, see [DLZ]; for the same reasons we conjecture that the properties of almost affine Lie superalgebras we consider here are also close to those of the properties of hyperbolic Lie algebras. The passage sp(2n) ←→ osp(1|2n) is clear: the bottom lines of their Cartan matrices are, respectively, 0 ... 0 − 2 2 ←→ 0 ... 0 − 1 1 For affine Kac–Moody superalgebras, these procedures “desuperization”←→“superization”, first described by J. van de Leur [vdL], are one–to–one in both directions. For hyperbolic Lie algebras, the correspondences “desuperization”←→ “superization” are not one–to–one: the following Lie algebras have at least 2 (in parentheses > 2) superizations each:

H327, H387, H393(3), H398(3), H3108(3), H3113(5), H3115(3), H3117(3), (1) H3120(3), H3123, H45(3), H416(3), H424, H444, H445, H446(3), H522(3), H69. 1.4. Open question. The Weyl chamber of the almost aﬃne Lie superalgebra with symmetrizable Cartan matrix is the same as the Weyl chamber of any of the “desuperizations”. The Weyl chambers of superizations are a bit more spacious than the Weyl chambers of Lie On a hidden supersymmetry of cosmological billiards 3 algebras since, together with some roots α, the Lie superalgebra has roots 2α. How does this “superization” of the conventional billiard aﬀect the model, cf. [BS, KKN, DSp]?

2. The pairs “almost affine Lie superalgebra =⇒ hyperbolic Lie algebra”for symmetrizable Cartan matrices In this section we list all pairs “almost affine Lie superalgebra =⇒ hyperbolic Lie algebra”. In the list below, the first column contains the name of an almost affine Lie superalgebra g, the second one contains its Cartan matrix, the third one contains the name of the hyperbolic Lie algebra, see [CCLL], equal to g0¯. The penultimate column contains the Cartan matrix of a hyperbolic Lie algebra. The last column contains the permutation of rows/columns of the given S-matrix after its rows with 1 on the main diagonal are multiplied by 2. In the process we spotted a typo in [CCLL]: the matrix S335 is non-symmetrizable, should be denoted NS335. We mark the Lie superalgebras with several desuperizations by a !!! .

2 −1 −2 2 −2 −1 S34 −1 1 −1 H34 −2 2 −1 {2, 3, 1} −2 −1 2 −2 −2 2 2 −1 −1 2 −1 −1 S35 −1 1 −1 H35 −1 2 −1 {2, 3, 1} −1 −1 2 −2 −2 2 2 −1 −1 2 −1 −1 S36 −2 1 −1 H314 −2 2 −1 {1, 3, 2} −2 −1 2 −4 −2 2 2 −2 −2 2 −2 −2 !!! S319 −1 1 −1 H327 −1 2 −1 {3, 1, 2} −1 −1 2 −2 −2 2 2 −1 −2 2 −2 −1 S325 −2 1 −2 H382 −2 2 −1 {2, 3, 1} −2 −1 2 −4 −4 2 2 −1 −1 2 −1 −1 S326 −2 1 −2 H383 −1 2 −1 {2, 3, 1} −1 −1 2 −4 −4 2 2 −2 −4 2 −4 −2 !!! S334 −1 1 −2 H387 −1 2 −1 {3, 1, 2} −1 −1 2 −2 −4 2 2 −2 −2 2 −2 −2 !!! S338 −1 1 −1 H393 −2 2 −2 −2 −2 2 −2 −2 2 2 −2 −1 2 −1 −2 S339 −1 1 −1 H394 −1 2 −2 {2, 3, 1} −1 −2 2 −2 −2 2 2 −1 −1 2 −2 −2 !!! S340 −1 1 −1 H327 −1 2 −1 {2, 3, 1} −1 −1 1 −2 −2 2 2 −1 −1 2 −4 −2 !!! S343 −2 1 −1 H387 −1 2 −1 {2, 3, 1} −2 −1 1 −2 −4 2 2 −2 −2 2 −2 −2 !!! S345 −1 1 −1 H393 −2 2 −2 −1 −1 1 −2 −2 2 1 −1 −1 2 −2 −2 !!! S346 −1 1 −1 H393 −2 2 −2 −1 −1 1 −2 −2 2 2 −1 0 2 −1 0 S347 −2 1 −1 H397 −4 2 −2 0 −1 2 0 −1 2 2 −2 0 2 −2 0 !!! S348 −1 1 −1 H398 −2 2 −2 0 −1 2 0 −1 2 2 −1 0 2 −1 0 S349 −2 1 −2 H3107 −4 2 −4 0 −1 2 0 −1 2 2 −2 0 2 −2 0 !!! S350 −1 1 −2 H3108 −2 2 −4 0 −1 2 0 −1 2 2 −2 0 2 −2 0 !!! S351 −1 1 −1 H3113 −2 2 −2 0 −2 2 0 −2 2 2 −1 0 2 −2 0 S352 −3 2 −1 H3104 −1 2 −3 {3, 2, 1} 0 −1 1 0 −1 2 2 −1 0 2 −2 0 S353 −4 2 −1 H3110 −1 2 −4 {3, 2, 1} 0 −1 1 0 −1 2 2 −2 0 2 −2 0 !!! S354 −2 2 −1 H3115 −1 2 −2 {3, 2, 1} 0 −1 1 0 −2 2 2 −3 0 2 −3 0 S355 −1 2 −1 H3119 −1 2 −1 0 −1 1 0 −2 2 2 −4 0 2 −4 0 !!! S356 −1 2 −1 H3120 −1 2 −1 0 −1 1 0 −2 2 4 Dimitry Leites, Oleksandr Lozhechnyk

2 −1 0 2 −4 0 S357 −2 2 −1 H3100 −1 2 −2 {3, 2, 1} 0 −2 1 0 −1 2 2 −1 0 2 −4 0 S358 −3 2 −1 H3106 −1 2 −3 {3, 2, 1} 0 −2 1 0 −1 2 2 −1 0 2 −4 0 S359 −4 2 −1 H3112 −1 2 −4 {3, 2, 1} 0 −2 1 0 −1 2 2 −2 0 2 −4 0 !!! S360 −2 2 −1 H3117 −1 2 −2 {3, 2, 1} 0 −2 1 0 −2 2 2 −1 0 2 −4 0 S361 −1 2 −1 H3118 −1 2 −1 {3, 2, 1} 0 −2 1 0 −1 2 2 −2 0 2 −4 0 !!! S362 −1 2 −1 H3120 −1 2 −1 {3, 2, 1} 0 −2 1 0 −2 2 2 −3 0 2 −4 0 S363 −1 2 −1 H3122 −1 2 −1 {3, 2, 1} 0 −2 1 0 −3 2 2 −4 0 2 −4 0 !!! S364 −1 2 −1 H3123 −1 2 −1 0 −2 1 0 −4 2 2 −1 0 2 −2 0 !!! S365 −2 2 −2 H398 −2 2 −2 {3, 2, 1} 0 −1 1 0 −1 2 2 −1 0 2 −2 0 S366 −3 2 −2 H3103 −2 2 −3 {3, 2, 1} 0 −1 1 0 −1 2 2 −1 0 2 −2 0 !!! S367 −4 2 −2 H3108 −2 2 −4 {3, 2, 1} 0 −1 1 0 −1 2 2 −2 0 2 −2 0 !!! S368 −2 2 −2 H3113 −2 2 −2 0 −1 1 0 −2 2 2 −1 0 2 −1 0 S369 −1 2 −2 H3114 −1 2 −2 0 −1 1 0 −2 2 2 −2 0 2 −2 0 !!! S370 −1 2 −2 H3115 −1 2 −2 0 −1 1 0 −2 2 2 −3 0 2 −3 0 S371 −1 2 −2 H3116 −1 2 −2 0 −1 1 0 −2 2 2 −4 0 2 −4 0 !!! S372 −1 2 −2 H3117 −1 2 −2 0 −1 1 0 −2 2 1 −2 0 2 −4 0 !!! S373 −1 2 −1 H3120 −1 2 −1 0 −1 1 0 −2 2 1 −1 0 2 −2 0 !!! S374 −2 2 −1 H3115 −1 2 −2 {3, 2, 1} 0 −1 1 0 −2 2 1 −2 0 2 −4 0 !!! S375 −1 2 −1 H3123 −1 2 −1 0 −2 1 0 −4 2 1 −1 0 2 −4 0 !!! S376 −2 2 −1 H3117 −1 2 −2 {3, 2, 1} 0 −2 1 0 −2 2 1 −1 0 2 −2 0 !!! S377 −2 2 −2 H3113 −2 2 −2 0 −1 1 0 −2 2 2 −1 0 2 −2 0 !!! S378 −1 1 −1 H398 −2 2 −2 {3, 2, 1} 0 −1 1 0 −1 2 2 −1 0 2 −2 0 !!! S379 −2 1 −1 H3108 −2 2 −4 {3, 2, 1} 0 −1 1 0 −1 2 2 −2 0 2 −2 0 !!! S380 −1 1 −1 H3113 −2 2 −2 0 −1 1 0 −2 2 1 −1 0 2 −2 0 !!! S381 −1 1 −1 H3113 −2 2 −2 0 −1 1 0 −2 2 2 −1 0 0 2 −1 0 0 −1 1 −1 0 −1 2 −1 0 S41 0 −1 2 −1 H43 0 −2 2 −2 {4, 3, 2, 1} 0 0 −1 2 ! 0 0 −1 2 ! 2 −1 0 0 2 −1 0 0 −1 1 −1 0 −2 2 −1 0 S42 0 −1 2 −2 H41 0 −2 2 −2 {4, 3, 2, 1} 0 0 −1 2 ! 0 0 −1 2 ! 2 −1 0 0 2 −2 0 0 −1 1 −1 0 −1 2 −1 0 !!! S43 0 −1 2 −1 H45 0 −2 2 −2 {4, 3, 2, 1} 0 0 −2 2 ! 0 0 −1 2 ! 2 −1 0 0 2 −2 0 0 −3 2 −1 0 −1 2 −1 0 S44 0 −1 2 −1 H410 0 −1 2 −3 {4, 3, 2, 1} 0 0 −1 1 ! 0 0 −1 2 ! 2 −3 0 0 2 −3 0 0 −1 2 −1 0 −1 2 −1 0 S45 0 −1 2 −1 H417 0 −1 2 −1 0 0 −1 1 ! 0 0 −2 2 ! 2 −1 0 0 2 −2 0 0 −2 2 −1 0 −1 2 −2 0 S46 0 −2 2 −1 H46 0 −1 2 −2 {4, 3, 2, 1} 0 0 −1 1 ! 0 0 −1 2 ! 2 −1 0 0 2 −2 0 0 −1 2 −1 0 −1 2 −2 0 S47 0 −2 2 −1 H413 0 −1 2 −1 {4, 3, 2, 1} 0 0 −1 1 ! 0 0 −1 2 ! 2 −2 0 0 2 −2 0 0 −1 2 −1 0 −1 2 −2 0 !!! S48 0 −2 2 −1 H416 0 −1 2 −1 {4, 3, 2, 1} 0 0 −1 1 ! 0 0 −2 2 ! 2 −1 0 0 2 −2 0 0 −2 2 −2 0 −1 2 −1 0 !!! S49 0 −1 2 −1 H45 0 −2 2 −2 {4, 3, 2, 1} 0 0 −1 1 ! 0 0 −1 2 ! On a hidden supersymmetry of cosmological billiards 5

2 −1 0 0 2 −2 0 0 −1 2 −2 0 −1 2 −1 0 S410 0 −1 2 −1 H414 0 −2 2 −1 {4, 3, 2, 1} 0 0 −1 1 ! 0 0 −1 2 ! 2 −2 0 0 2 −2 0 0 −1 2 −2 0 −1 2 −2 0 !!! S411 0 −1 2 −1 H416 0 −1 2 −1 0 0 −1 1 ! 0 0 −2 2 ! 1 −1 0 0 2 −2 0 0 −1 2 −1 0 −1 2 −2 0 !!! S412 0 −2 2 −1 H416 0 −1 2 −1 {4, 3, 2, 1} 0 0 −1 1 ! 0 0 −2 2 ! 2 −1 0 0 2 −2 0 0 −1 1 −1 0 −1 2 −1 0 !!! S413 0 −1 2 −1 H45 0 −2 2 −2 {4, 3, 2, 1} 0 0 −1 1 ! 0 0 −1 2 ! 2 −1 0 −1 2 −1 0 −1 −1 1 −1 0 −1 2 −1 0 S414 0 −1 2 −1 H419 0 −2 2 −2 {4, 3, 2, 1} −1 0 −1 2 ! −1 0 −1 2 ! 2 −1 0 −2 2 −1 0 −1 −1 1 −1 0 −2 2 −1 0 S417 0 −1 2 −2 H422 0 −2 2 −2 {4, 3, 2, 1} −1 0 −1 2 ! −2 0 −1 2 ! 2 −1 0 −1 2 −2 0 −2 −1 1 −1 0 −1 2 −1 0 !!! S419 0 −1 2 −1 H424 0 −2 2 −2 {4, 3, 2, 1} −2 0 −2 2 ! −1 0 −1 2 ! 2 −1 0 −1 2 −2 0 −2 −1 1 −1 0 −1 2 −1 0 !!! S420 0 −1 2 −1 H424 0 −2 2 −2 {4, 3, 2, 1} −1 0 −1 1 ! −1 0 −1 2 ! 2 −1 0 0 2 −1 0 0 −1 1 −1 −1 −2 2 −2 −2 S421 0 −1 2 0 H438 0 −1 2 0 0 −1 0 2 ! 0 −1 0 2 ! 2 −1 0 0 2 −1 0 0 −2 2 −1 −1 −2 2 −1 −1 S422 0 −1 1 0 H443 0 −1 2 0 {1, 2, 4, 3} 0 −1 0 2 ! 0 −2 0 2 ! 2 −2 0 0 2 −2 0 0 −1 2 −1 −1 −1 2 −1 −1 !!! S423 0 −1 1 0 H444 0 −1 2 0 {4, 2, 1, 3} 0 −1 0 2 ! 0 −2 0 2 ! 2 −1 0 0 2 −2 0 0 −2 2 −1 −2 −1 2 −2 −2 S424 0 −1 1 0 H440 0 −1 2 0 {4, 2, 1, 3} 0 −1 0 2 ! 0 −1 0 2 ! 2 −2 0 0 2 −2 0 0 −1 2 −1 −2 −1 2 −2 −1 !!! S425 0 −1 1 0 H445 0 −1 2 0 {4, 2, 1, 3} 0 −1 0 2 ! 0 −2 0 2 ! 2 −2 0 0 2 −2 0 0 −1 2 −1 −1 −1 2 −1 −1 !!! S426 0 −1 1 0 H446 0 −2 2 0 0 −2 0 2 ! 0 −2 0 2 ! 2 −1 0 0 2 −2 0 0 −1 2 −1 −1 −1 2 −1 −1 !!! S427 0 −1 1 0 H444 0 −1 2 0 {3, 2, 4, 1} 0 −1 0 1 ! 0 −2 0 2 ! 2 −1 0 0 2 −2 0 0 −2 2 −1 −1 −1 2 −2 −1 !!! S428 0 −1 1 0 H445 0 −1 2 0 {3, 2, 4, 1} 0 −1 0 1 ! 0 −2 0 2 ! 2 −2 0 0 2 −2 0 0 −1 2 −1 −1 −1 2 −1 −1 !!! S429 0 −1 1 0 H446 0 −2 2 0 0 −1 0 1 ! 0 −2 0 2 ! 1 −1 0 0 2 −2 0 0 −1 2 −1 −1 −1 2 −1 −1 !!! S430 0 −1 1 0 H446 0 −2 2 0 0 −1 0 1 ! 0 −2 0 2 ! 1 −1 0 0 2 −2 0 0 −1 2 −1 −1 −1 2 −1 −1 S431 0 −1 2 −1 H452 0 −1 2 −1 0 −1 −1 2 ! 0 −1 −1 2 ! 2 −10 0 0 2 −10 0 0 −1 2 −1 0 0 −1 2 −1 0 0 S51 0 −2 2 −1 0 H54 0 −2 2 −1 0  0 0 −1 2 −1   0 0 −1 2 −1  0 0 0 −1 1 0 0 0 −2 2 2 −10 0 0 2 −10 0 0  −1 2 −2 0 0   −1 2 −2 0 0  S52 0 −1 2 −1 0 H53 0 −1 2 −1 0  0 0 −1 2 −1   0 0 −1 2 −1  0 0 0 −1 1 0 0 0 −2 2 2 −10 0 0 2 −20 0 0  −1 2 −1 −1 −1   −1 2 −1 −1 −1  S53 0 −11 0 0 H510 0 −12 0 0 {5, 2, 1, 4, 3}  0 −10 2 0   0 −10 2 0  0 −10 0 2 0 −10 0 2 2 −10 0 0 2 −10 0 0  −2 2 −1 −1 0   −1 2 −2 −1 0  S54 0 −12 0 0 H519 0 −12 0 0 {3, 2, 1, 4, 5}  0 −1 0 2 −1   0 −1 0 2 −1  0 0 0 −1 1 0 0 0 −2 2 2 −20 0 0 2 −10 0 0  −1 2 −1 −1 0   −1 2 −1 −1 0  !!! S55 0 −12 0 0 H522 0 −22 0 0 {3, 2, 1, 4, 5}  0 −1 0 2 −1   0 −1 0 2 −1  0 0 0 −1 1 0 0 0 −2 2 2 −10 0 0 2 −10 0 0  −1 2 −1 −1 0   −1 2 −1 −1 0  S56 0 −11 0 0 H521 0 −22 0 0  0 −1 0 2 −1   0 −1 0 2 −1  0 0 0 −1 2 0 0 0 −1 2 2 −10 0 0 2 −10 0 0  −1 2 −1 −1 0   −1 2 −1 −1 0  S57 0 −11 0 0 H520 0 −22 0 0  0 −1 0 2 −2   0 −1 0 2 −2  0 0 0 −1 2 0 0 0 −1 2 2 −10 0 0 2 −10 0 0  −1 2 −1 −1 0   −1 2 −1 −1 0  !!! S58 0 −11 0 0 H522 0 −22 0 0  0 −1 0 2 −1   0 −1 0 2 −1  0 0 0 −2 2 0 0 0 −2 2 2 −10 0 0 2 −10 0 0  −1 2 −1 −1 0   −1 2 −1 −1 0  !!! S59 0 −11 0 0 H522 0 −22 0 0  0 −1 0 2 −1   0 −1 0 2 −1  0 0 0 −1 1 0 0 0 −2 2     6 Dimitry Leites, Oleksandr Lozhechnyk

1 −10 0 0 2 −20 0 0 −1 2 −1 0 −1 −1 2 −1 0 −1 S510 0 −1 2 −1 0 H514 0 −1 2 −1 0  0 0 −1 2 −1   0 0 −1 2 −1  0 −1 0 −1 2 0 −1 0 −1 2 2 −10 0 0 0 2 −10 0 0 0 −1 2 −1 −1 −1 0 −1 2 −1 −1 −1 0 0 −12 0 0 0 0 −12 0 0 0 S61  0 −10 2 0 0  H621  0 −10 2 0 0  0 −10 0 2 −1 0 −10 0 2 −1 0 0 0 0 −1 1 0 0 0 0 −2 2  2 −10 0 0 0   2 −20 0 0 0   −1 2 −10 0 0   −1 2 −10 0 0  0 −1 2 −1 −1 0 0 −1 2 −1 −1 0 S62  0 0 −12 0 0  H67  0 0 −12 0 0  {6, 5, 3, 4, 2, 1} 0 0 −1 0 2 −1 0 0 −1 0 2 −1 0 0 0 0 −1 1 0 0 0 0 −1 2  2 −10 0 0 0   2 −10 0 0 0   −2 2 −10 0 0   −2 2 −10 0 0  0 −1 2 −1 −1 0 0 −1 2 −1 −1 0 S63  0 0 −12 0 0  H610  0 0 −12 0 0  0 0 −1 0 2 −1 0 0 −1 0 2 −1 0 0 0 0 −1 1 0 0 0 0 −2 2  2 −20 0 0 0   2 −20 0 0 0   −1 2 −10 0 0   −1 2 −10 0 0  0 −1 2 −1 −1 0 0 −1 2 −1 −1 0 !!! S64  0 0 −12 0 0  H69  0 0 −12 0 0  0 0 −1 0 2 −1 0 0 −1 0 2 −1 0 0 0 0 −1 1 0 0 0 0 −2 2  1 −10 0 0 0   2 −20 0 0 0   −1 2 −10 0 0   −1 2 −10 0 0  0 −1 2 −1 −1 0 0 −1 2 −1 −1 0 !!! S65  0 0 −12 0 0  H69  0 0 −12 0 0  0 0 −1 0 2 −1 0 0 −1 0 2 −1 0 0 0 0 −1 1 0 0 0 0 −2 2  2 −10 0 0 0   2 −10 0 0 0   −1 2 −10 0 0   −1 2 −10 0 0  0 −2 2 −1 0 0 0 −2 2 −1 0 0 S66  0 0 −1 2 −1 0  H618  0 0 −1 2 −1 0  0 0 0 −1 2 −1 0 0 0 −1 2 −1 0 0 0 0 −1 1 0 0 0 0 −2 2  2 −10 0 0 0   2 −10 0 0 0   −1 2 −20 0 0   −1 2 −20 0 0  0 −1 2 −1 0 0 0 −1 2 −1 0 0 S67  0 0 −1 2 −1 0  H617  0 0 −1 2 −1 0  0 0 0 −1 2 −1 0 0 0 −1 2 −1 0 0 0 0 −1 1 0 0 0 0 −2 2 2 −10 0 0 0 0 2 −10 0 0 0 0 −1 2 −10 0 0 0 −1 2 −10 0 0 0 0 −1 2 −1 −1 0 0 0 −1 2 −1 −1 0 0 S71 0 0 −12 0 0 0 H71 0 0 −12 0 0 0  0 0 −1 0 2 −1 0   0 0 −1 0 2 −1 0  0 0 0 0 −1 2 −1 0 0 0 0 −1 2 −1  00000 −1 1   00000 −2 2  2 −1000000 2 −1000000 −1 2 −10 0 0 0 0 −1 2 −10 0 0 0 0 0 −1 2 −1 −10 0 0 0 −1 2 −1 −10 0 0 0 0 −12 0 0 0 0 0 0 −12 0 0 0 0 S81  0 0 −1 0 2 −1 0 0  H82  0 0 −1 0 2 −1 0 0  0 0 0 0 −1 2 −1 0 0 0 0 0 −1 2 −1 0  00000 −1 2 −1   00000 −1 2 −1   000000 −1 1   000000 −2 2  2 −10000000 2 −10000000 −1 2 −1000000 −1 2 −1000000 0 −1 2 −1 −10 0 0 0 0 −1 2 −1 −10 0 0 0  0 0 −1200000   0 0 −1200000  S91 0 0 −1 0 2 −10 0 0 H92 0 0 −1 0 2 −10 0 0 0 0 0 0 −1 2 −1 0 0 0 0 0 0 −1 2 −1 0 0  00000 −1 2 −1 0   00000 −1 2 −1 0   000000 −1 2 −1   000000 −1 2 −1   0000000 −1 1   0000000 −2 2  2 −100000000 2 −100000000 −1 2 −10000000 −1 2 −10000000 0 −1 2 −1 −10 0 0 0 0 0 −1 2 −1 −10 0 0 0 0  0 0 −12000000   0 0 −12000000  0 0 −1 0 2 −10 0 0 0 0 0 −1 0 2 −10 0 0 0 S101 H102  0 0 0 0 −1 2 −10 0 0   0 0 0 0 −1 2 −10 0 0   00000 −1 2 −1 0 0   00000 −1 2 −1 0 0   000000 −1 2 −1 0   000000 −1 2 −1 0   0000000 −1 2 −1   0000000 −1 2 −1       00000000 −1 1   00000000 −2 2     

3. The pairs “almost affine Lie superalgebra =⇒ hyperbolic Lie algebra”for non-symmetrizable Cartan matrices This section is added for completeness; we do not know of any of its possible applications. In this section, we desuperize non-symmetrizable Cartan matrices of almost aﬃne Lie superalgebras. The matrices with multiple superizations:

(2) NH325(3),NH329(3), NH385(3)

Total NS matrices: 36, total NH matrices admitting superization: 30 of 96. On a hidden supersymmetry of cosmological billiards 7

2 −1 −1 2 −1 −1 NS31 −1 1 −1 NH31 −2 2 −1 {1, 3, 2} −2 −1 2 −2 −2 2 2 −1 −1 2 −1 −1 NS32 −1 1 −1 NH32 −3 2 −1 {1, 3, 2} −3 −1 2 −2 −2 2 2 −1 −1 2 −1 −1 NS33 −1 1 −1 NH33 −4 2 −1 {1, 3, 2} −4 −1 2 −2 −2 2 2 −1 −1 2 −1 −1 NS37 −2 1 −1 NH315 −3 2 −1 {1, 3, 2} −3 −1 2 −4 −2 2 2 −1 −1 2 −1 −1 NS38 −2 1 −1 NH316 −4 2 −1 {1, 3, 2} −4 −1 2 −4 −2 2 2 −1 −2 2 −2 −1 NS39 −2 1 −1 NH317 −2 2 −1 {1, 3, 2} −2 −1 2 −4 −2 2 2 −1 −1 2 −1 −1 NS310 −2 1 −1 NH318 −1 2 −1 {1, 3, 2} −1 −1 2 −4 −2 2 2 −1 −2 2 −2 −1 NS311 −2 1 −1 NH319 −1 2 −1 {1, 3, 2} −1 −1 2 −4 −2 2 2 −1 −3 2 −3 −1 NS312 −2 1 −1 NH320 −1 2 −1 {1, 3, 2} −1 −1 2 −4 −2 2 2 −1 −4 2 −4 −1 NS313 −2 1 −1 NH321 −1 2 −1 {1, 3, 2} −1 −1 2 −4 −2 2 2 −2 −1 2 −1 −2 NS314 −1 1 −1 NH322 −2 2 −1 {1, 3, 2} −2 −1 2 −2 −2 2 2 −2 −1 2 −1 −2 NS315 −1 1 −1 NH323 −3 2 −1 {1, 3, 2} −3 −1 2 −2 −2 2 2 −2 −1 2 −1 −2 NS316 −1 1 −1 NH324 −4 2 −1 {1, 3, 2} −4 −1 2 −2 −2 2 2 −2 −2 2 −2 −2 !!! NS317 −1 1 −1 NH325 −2 2 −1 {1, 3, 2} −2 −1 2 −2 −2 2 2 −2 −1 2 −1 −2 NS318 −1 1 −1 NH326 −1 2 −1 {1, 3, 2} −1 −1 2 −2 −2 2 2 −2 −3 2 −3 −2 NS320 −1 1 −1 NH328 −1 2 −1 {1, 3, 2} −1 −1 2 −2 −2 2 2 −2 −4 2 −4 −2 !!! NS321 −1 1 −1 NH329 −1 2 −1 {1, 3, 2} −1 −1 2 −2 −2 2 2 −1 −1 2 −4 −4 NS322 −2 1 −2 NH352 −1 2 −1 {2, 1, 3} −2 −1 2 −1 −2 2 2 −1 −1 2 −4 −4 NS323 −2 1 −2 NH380 −1 2 −1 {2, 1, 3} −3 −1 2 −1 −3 2 2 −1 −1 2 −1 −1 NS324 −2 1 −2 NH381 −4 2 −1 {1, 3, 2} −4 −1 2 −4 −4 2 2 −2 −1 2 −2 −4 NS327 −1 1 −2 NH349 −2 2 −1 {2, 1, 3} −2 −1 2 −1 −2 2 2 −2 −1 2 −2 −4 NS328 −1 1 −2 NH378 −2 2 −1 {2, 1, 3} −3 −1 2 −1 −3 2 2 −2 −1 2 −1 −2 NS329 −1 1 −2 NH384 −4 2 −1 {1, 3, 2} −4 −1 2 −2 −4 2 2 −2 −2 2 −2 −2 !!! NS330 −1 1 −2 NH385 −2 2 −1 {1, 3, 2} −2 −1 2 −2 −4 2 2 −2 −1 2 −1 −2 NS331 −1 1 −2 NH386 −1 2 −1 {1, 3, 2} −1 −1 2 −2 −4 2 2 −2 −2 2 −4 −2 !!! NS332 −1 1 −2 NH329 −1 2 −1 {3, 1, 2} −1 −1 2 −2 −2 2 2 −2 −3 2 −4 −2 NS333 −1 1 −2 NH368 −1 2 −1 {3, 1, 2} −1 −1 2 −2 −3 2 2 −2 −1 2 −2 −2 !!! NS335 −1 1 −1 NH325 −2 2 −1 {2, 1, 3} −2 −2 2 −2 −2 2 2 −2 −1 2 −2 −2 NS336 −1 1 −1 NH365 −2 2 −1 {2, 1, 3} −3 −2 2 −2 −3 2 2 −2 −1 2 −2 −2 !!! NS337 −1 1 −1 NH385 −2 2 −1 {2, 1, 3} −4 −2 2 −2 −4 2 2 −1 −1 2 −4 −2 !!! NS341 −2 1 −1 NH329 −1 2 −1 {2, 1, 3} −1 −1 1 −2 −2 2 2 −2 −1 2 −2 −2 !!! NS342 −1 1 −1 NH325 −2 2 −1 {2, 1, 3} −1 −1 1 −2 −2 2 2 −2 −1 2 −2 −2 !!! NS344 −1 1 −1 NH385 −2 2 −1 {2, 1, 3} −2 −1 1 −2 −4 2 8 Dimitry Leites, Oleksandr Lozhechnyk

2 −1 0 −2 2 −1 0 −1 −1 1 −1 0 −2 2 −1 0 NS415 0 −1 2 −1 NH420 0 −2 2 −2 {2, 3, 4, 1} −1 0 −1 2 ! −1 0 −1 2 ! 2 −1 0 −1 2 −2 0 −1 −1 1 −1 0 −1 2 −1 0 NS416 0 −1 2 −1 NH421 0 −2 2 −2 {2, 3, 4, 1} −2 0 −1 2 ! −1 0 −1 2 ! 2 −1 0 −1 2 −2 0 −1 −1 1 −1 0 −1 2 −1 0 NS418 0 −1 2 −2 NH423 0 −2 2 −2 {2, 3, 4, 1} −2 0 −1 2 ! −2 0 −1 2 ! 3.1. Remark. For completeness, observe that there are 2 series of simple ﬁnite-dimensional Lie superalgebras g without Cartan matrix, such that g0¯ is a simple Lie algebra. To describe these superizations, recall (see, e.g., [CCLL]) that q(n), called the queer Lie superalgebra, is a purely super analog of gl(n). It can be interpreted as preserving a complex structure given by an odd operator J in an n|n-dimensional superspace V . Having selected 0 1n a basis in V so that J = we can realize the supermatrices of q(n) in the form −1n 0 A B (A, B) := , where A, B ∈ gl(n). The queer trace qtr : (A, B) 7→ tr B singles out B A a queertraceless subalgebra sq(n); set psq(n) := sq(n)/C12n. The Lie superalgebra pe(n) preserving a non-degenerate odd symmetric bilinear form in an n|n-dimensional superspace is called periplectic. Set spe(n) := {X ∈ pe(n) | str X =0}, where str denotes the supertrace. The 2 series spoken above are for n ≥ 3 (here Π is the change of parity functor):

psq(n) with psq(n)0¯ ≃ sl(n) and psq(n)1¯ ≃ Π(sl(n)); Π(Λ2(V ) ⊕ S2(V ∗)) or spe(n) with spe(n)0¯ ≃ sl(n)= sl(V ) and spe(n)1¯ ≃  2 ∗ 2 Π(Λ (V ) ⊕ S (V )). Acknowledgements D.L. was supported by the grant AD 065 NYUAD. On behalf of all authors, the corresponding author states that there is no conflict of interest. References [BKhL] Belinsky, V.; Khalatnikov, I.; Lifshitz, E., Oscillatory Approach to a Singular Point in the Relativistic Cosmology, Adv. in Phys., 19, (1970) 525–573 [BGL] 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 [BLS] Bouarroudj S., Leites D., Shang J., Computer-aided study of double extensions of restricted Lie superalgebras preserving the non-degenerate closed 2-forms in characteristic 2. Experimental Math. https://doi.org/10.1080/10586458.2019.1683102; arXiv:1904.09579 [BS] de Buyl S., Schomblond C., Hyperbolic Kac–Moody Algebras and Einstein Billiards. J.Math.Phys. 45 (2004) 4464–4492; arXiv:hep-th/0403285 [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 [DH] Damour Th, Henneaux M., Chaos in superstring cosmology. Phys. Rev. Lett. 85 (2000), no. 5, 920–923 [DHJN] Damour Th., Henneaux, M., Julia, B., Nicolai, H., Hyperbolic Kac-Moody algebras and chaos in Kaluza-Klein models. Phys. Lett. B 509 (2001), no. 3-4, 323–330 et al. Phys. Lett. 509 323 (2001); [DHN] Damour Th., Henneaux M., Nicolai H., Cosmological billiards. Classical Quantum Gravity 20 (2003), no. 9, R145–R200 [DSp] Damour Th., Spindel Ph., Quantum Supersymmetric Cosmological Billiards and their Hidden Kac- Moody Structure. Phys. Rev. D 95, 126011 (2017); arXiv:1704.08116 On a hidden supersymmetry of cosmological billiards 9

[DLZ] Deligne P., Lehrer G. I., Zhang R. B., The first fundamental theorem of invariant theory for the or- thosymplectic super group. Adv. Math. 327 (2018), 4–24. [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. Comm. Alge- bra, v. 35 (2007), no. 3, 851–874 [K] Kac V. Infinite-dimensional Lie algebras. Third edition. Cambridge University Press, Cambridge, 1990. xxii+400 pp. [KhK1] Khalatnikov I.M., Kamenshchik A.Yu., Lev Landau and singularity problem in cosmology. Physics– Uspekhi, 51:6 (2008) 609–616 [KKN] Kleinschmidt A., Koehn M., Nicolai H., Supersymmetric quantum cosmological billiards. Phys. Rev. D 80 (2009), no. 6, 061701, 5 pp. [KM] Kobayashi, Z.; Morita, J.; Automorphisms of certain root lattices. Tsukuba J. Math. 7 (1983), no. 2, 323–336. [LSS] Leites D., Saveliev M. V., Serganova V.V., Embeddings of osp(N|2) and completely integrable systems, In: V. Dodonov and V. Man’ko (Eds.) Proceedings of International Seminar Group-Theoretical Methods in Physics (Yurmala, May 1985), Nauka, Moscow, 1986, 377–394 (an enlarged version in English is published by VNU Sci Press, 1986, 255–297). [Li] Li Wang Lai, Classification of generalized Cartan matrices of hyperbolic type, Chin. Ann. Math. 9B (1988) 68–77 [M] Mathieu O., Class of simple graded Lie algebras of finite growth, Inv. Math., 108, 1992, 455–519 [S] Sa¸clioˇglu C., Dynkin diagrams for hyperbolic Kac–Moody Algebras, J. Phys. A: Math. Gen. 22 (1989) 3753–3769. [Se3] Serganova V., Automorphisms of simple Lie superalgebras. Izv. Akad. Nauk SSSR Ser. Mat., v. 48 (1984), no. 3, 585–598; (Russian) English translation: Math. USSR-Izv., v. 24 (1985), no. 3, 539–551 [vdL] van de Leur J., A classification of contragredient Lie superalgebras of finite growth. Comm. Algebra, v. 17 (1989), no. 8, 1815–1841

aNew York University Abu Dhabi, Division of Science and Mathematics, P.O. Box 129188, United Arab Emirates; [email protected], bDepartment of Mathematics, Stockholm University, SE-106 91 Stockholm, Sweden; [email protected], c03127, Kyiv, Hlushkova Avenue, 4e, Fac- ulty of Mechanics and Mathematics of Taras Shevchenko National University of Kyiv, alozhech- [email protected], ∗The corresponding author