REVIEW
Hyperbolic Kac-Moody Algebras and Chaos in Kaluza-Klein Models
High Energy Physics - Theory · Submitted 13 Mar 2001 · 32 references
Pith's verdict: A short, correct letter that supplies the structural reason for the D=11 chaos threshold: the pure-gravity billiard walls are the simple roots of AE_d, and AE_d stops being hyperbolic at d=10.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The chaotic, never-settling approach to a spacelike singularity in pure gravity is governed by the fundamental Weyl chamber of the Kac-Moody algebra $AE_d$, and chaos stops precisely when that algebra stops being hyperbolic, at $d=10$.
The reading
What carries the argument
The load-bearing object is the Gram matrix $A_{ij} = G_{mu nu} w_i^mu w_j^nu$ of the wall forms, computed with the Lorentzian metric $G_{mu nu}$ on the space of scale factors, and its identification with the Cartan matrix $a_{ij} = 2 r_i dot r_j / r_i^2$ of $AE_d$. Once the walls are simple roots, the billiard region is the fundamental Weyl chamber, and the question 'chaotic or not?' becomes the purely algebraic question 'does the chamber lie inside the light cone?'. That question is answered by computing the norms of the fundamental weights, which are the edges of the chamber, using the affine null root $delta = r_0 + r_1 + ... + r_n$ of the $A_n$ subalgebra and the explicit weights $lambda_j$ of $A_n$. The paper also records a contrasting case: for Einstein-Maxwell theory the electric wall $w_1 = beta_1$ makes a dihedral angle with $w_2$ whose cosine is $sqrt{(d-1)/2(d-2)}$, generically not a submultiple of $pi$, so no Coxeter group and no Kac-Moody chamber appears — except in $D = 4$ and in $D = 5$, where the angle is $pi/6$ and the walls give the hyperbolic extension of $G_2$.
Extended reading notes
Core claim
The paper identifies the gravitational billiard of pure gravity in $D = d+1$ dimensions with the fundamental Weyl chamber of the Kac-Moody algebra $AE_d$, the canonical hyperbolic (overextended) extension of $A_{d-2}$. The symmetry walls $w_i = beta_i - beta_{i-1}$ and the gravitational wall $w_1 = 2 beta_1 + sum_{i=2}^{d-2} beta_i$ have a Gram matrix of scalar products that coincides, entry by entry, with the Cartan matrix of $AE_d$: a closed ring of $d-2$ nodes with one extra node attached at the affine node, and the degenerate $d=3$ case gives $AE_3$ with its double line. Because all roots have the same length squared, the algebra is simply laced and the Gram matrix is the Cartan matrix. The decisive computation is the norm of the fundamental weights: $Lambda_{-1}$ is always lightlike, $Lambda_0$ is timelike, and $Lambda_j^2 = -2 + j(n-j+1)/(n+1)$ with $n = d-2$ is non-positive for $n <= 7$, with equality only at $n = 7$, $j = 4$. Hence for $d <= 9$ every edge of the chamber is timelike or null and the chamber sits inside the forward light cone, giving a finite-volume billiard on hyperbolic space and an Anosov, chaotic flow; for $n >= 8$ some fundamental weight is spacelike (for $n = 8$, $Lambda_4^2 = Lambda_5^2 = 2/9 > 0$), the chamber pokes outside the light cone, the billiard has infinite volume, only finitely many collisions occur, and the metric tends to a Kasner solution.
Load-bearing premise
The whole identification rests on reducing the Einstein equations near the singularity to the sharp-wall billiard action with the listed wall forms, a reduction the authors themselves say involves steps that have not been rigorously justified, so if that reduction fails for generic inhomogeneous solutions the walls have nothing physical to be the roots of.
Editorial extensions
If this is right
- The disappearance of BKL chaos in pure gravity at $D = 11$ is explained rather than merely computed: it is the dimension at which $AE_d$ ceases to be hyperbolic, so the critical dimension is fixed by the algebra and not by a case-by-case wall analysis.
- For $4 <= D <= 10$ the asymptotic dynamics near a spacelike singularity is a finite-volume billiard on hyperbolic space, so standard results on geodesic flow on negatively curved finite-volume manifolds apply and the mixmaster behaviour is genuinely chaotic.
- For $D >= 11$ the generic solution is asymptotically Kasner-like, with only finitely many wall collisions before the trajectory escapes into the region of the chamber lying outside the light cone.
- The same Weyl-group mechanism that was found for the superstring and M-theory effective Lagrangians applies to pure gravity, which supports the idea that hyperbolic Dynkin diagrams organise the massless bosonic sectors of these theories.
- The Weyl group of $AE_3$ is $PGL_2(Z)$, tying the four-dimensional case to an arithmetic group, and the finite-dimensional germ $A_{d-2}$ of $AE_d$ is the Ehlers symmetry of the toroidal reduction from $d+1$ to 3 dimensions.
Reading between the lines
- If the identification of wall forms with simple roots is taken as the definition of the relevant algebra rather than a derived fact, then the correspondence is really a dictionary between 'billiard chamber inside the light cone' and 'algebra hyperbolic', and one could ask whether the dictionary runs the other way: any hyperbolic algebra with a Lorentzian root lattice should correspond to some grav
- The failure of the Coxeter property for generic Einstein-Maxwell walls suggests a sharp dividing line: chaos in these models would require the wall angles to be submultiples of $pi$, so a numerical scan over $p$-form spectra could predict which matter contents preserve BKL oscillations in a given dimension, without solving the field equations.
- Because the argument is purely about the asymptotic chamber and not about any symmetry with conserved charges, it predicts that the chaotic behaviour cannot be removed by a choice of gauge or by a field redefinition that preserves the wall structure; a check would be to see whether the same $AE_d$ chamber reappears in a Hamiltonian treatment that keeps spatial gradients to first order.
Original abstract
Some time ago, it was found that the never-ending oscillatory chaotic behaviour discovered by Belinsky, Khalatnikov and Lifshitz (BKL) for the generic solution of the vacuum Einstein equations in the vicinity of a spacelike ("cosmological") singularity disappears in spacetime dimensions $D= d+1>10$. Recently, a study of the generalization of the BKL chaotic behaviour to the superstring effective Lagrangians has revealed that this chaos is rooted in the structure of the fundamental Weyl chamber of some underlying hyperbolic Kac-Moody algebra. In this letter, we show that the same connection applies to pure gravity in any spacetime dimension $\geq 4$, where the relevant algebras are $AE_d$. In this way the disappearance of chaos in pure gravity models in $D > 10$ dimensions becomes linked to the fact that the Kac-Moody algebras $AE_d$ are no longer hyperbolic for $d > 9$.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
Some time ago, it was found that the never-ending oscillatory chaotic behaviour discovered by Belinsky, Khalatnikov and Lifshitz (BKL) for the generic solution of the vacuum Einstein equations in the vicinity of a spacelike ("cosmological") singularity disappears in spacetime dimensions $D= d+1>10$. Recently, a study of the generalization of the BKL chaotic behaviour to the superstring effective Lagrangians has revealed that this chaos is rooted in the structure of the fundamental Weyl chamber of some underlying hyperbolic Kac-Moody algebra. In this letter, we show that the same connection applies to pure gravity in any spacetime dimension $\geq 4$, where the relevant algebras are $AE_d$. In this way the disappearance of chaos in pure gravity models in $D > 10$ dimensions becomes linked to the fact that the Kac-Moody algebras $AE_d$ are no longer hyperbolic for $d > 9$.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Some time ago, it was found that the never-ending oscillatory chaotic behaviour discovered by Belinsky, Khalatnikov and Lifshitz (BKL) for the generic solution of the vacuum Einstein equations in the vicinity of a spacelike ("cosmological") singularity disappears in spacetime dimensions $D= d+1>10$. | background 1.00 | 0.04 | 0.05 | asserted 1.00 |
| s1 | Recently, a study of the generalization of the BKL chaotic behaviour to the superstring effective Lagrangians has revealed that this chaos is rooted in the structure of the fundamental Weyl chamber of some underlying hyperbolic Kac-Moody algebra. | background 0.99 | 0.09 | 0.06 | asserted 0.99 |
| s2 | In this letter, we show that the same connection applies to pure gravity in any spacetime dimension $\geq 4$, where the relevant algebras are $AE_d$. | contribution 0.74 | 0.92 | 0.72 | asserted 1.00 |
| s3 | In this way the disappearance of chaos in pure gravity models in $D > 10$ dimensions becomes linked to the fact that the Kac-Moody algebras $AE_d$ are no longer hyperbolic for $d > 9$. | interpretation 0.94 | 0.78 | 0.54 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:hep-th/0103094 by the authors.
References
How the literature uses it
34 arXiv papers cite this in 56 sentences
Papers citing it · 42 sentences without a confident label
Compares with it 1 paper
-
Finally, we shall also compare and contrast the (unquotiented or quotiented) BKL dynamics of the (diagonal type-IX) $a$, $b$, $c$ system with the billiard dynamics that naturally arose in the recent studies that uncovered the hidden presence of Kac-Moody-related structures in cosmological billiards ( [ref] , [ref] , [ref] , [ref] , [ref] , [ref] ).
Statistical Properties of Cosmological Billiards · Introduction · 0.93
Cites it as support 2 papers
-
This leads to the crucial statement [ref] :
Arithmetic and Hyperbolic Structures in String Theory · Hyperbolicity Implies Chaos · 0.97
-
This leads to the crucial statement [ref] :
Spacelike Singularities and Hidden Symmetries of Gravity · Hyperbolicity implies chaos · 0.99
Cites it as background 7 papers
-
We give a brief review of the billiard interpretation of the dynamics in the BKL-limit, without attempting completeness; more details can be found in a number of review articles [ref] .
Coxeter group structure of cosmological billiards on compact spatial manifolds · Coxeter Billiards and Compactification · 1.00
-
gravity has been conjectured to be described by so called cosmological billiards, amounting to particle motion in a Weyl chamber of an over-extended KM algebra [ref] .
Gradient structures from extensions of over-extended Kac-Moody algebras · Introduction · 0.80
-
The resulting algebra has inner product of Lorentzian signature on the Cartan subalgebra.[In many physically interesting cases the associated Kac–Moody algebra is hyperbolic such that the BKL limit near a space-like singularity will exhibit chaos [ref] .] In the last step (very-extension) one adjoins another node with a single line to the hyperbolic node to obtain the Lorentzian algebra $^+++$ [ref] .
Extended Symmetries in Supergravity: the Semi-simple Case · Review of the extension process for simple Lie algebras · 0.80
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.