We start by providing other examples of theories leading to regular billiards, focusing first on pure gravity in any number of () spacetime dimensions. In this case, there are scale factors and the relevant walls are the symmetry walls, Equation (2.48),

and the curvature wall, Equation (2.49), There are thus relevant walls, which define a simplex in ()-dimensional hyperbolic space . The scalar products of the linear forms defining these walls are easily computed. One finds as non-vanishing products The matrix of the scalar products of the wall forms is thus the Cartan matrix of the (simply-laced) Lorentzian Kac–Moody algebra with Dynkin diagram as in Figure 24. The roots of the underlying finite-dimensional algebra are given by () and . The affine root is and the overextended root is .Accordingly, in the case of pure gravity in any number of spacetime dimensions, one finds also that the billiard region is regular. This provides new examples of Coxeter billiards, with Coxeter groups , which are also Kac–Moody billiards since the Coxeter groups are the Weyl groups of the Kac–Moody algebras .

Let us review the conditions that must be fulfilled in order to get a Kac–Moody billiard and let us emphasize how restrictive these conditions are. The billiard region computed from any theory coupled to gravity with dilatons in dimensions always defines a convex polyhedron in a -dimensional hyperbolic space . In the general case, the dihedral angles between adjacent faces of can take arbitrary continuous values, which depend on the dilaton couplings, the spacetime dimensions and the ranks of the -forms involved. However, only if the dihedral angles are integer submultiples of (meaning of the form for ) do the reflections in the faces of define a Coxeter group. In this special case the polyhedron is called a Coxeter polyhedron. This Coxeter group is then a (discrete) subgroup of the isometry group of .

In order for the billiard region to be identifiable with the fundamental Weyl chamber of a Kac–Moody algebra, the Coxeter polyhedron should be a simplex, i.e., bounded by walls in a -dimensional space. In general, the Coxeter polyhedron need not be a simplex.

There is one additional condition. The angle between two adjacent faces and is given, in terms of the Coxeter exponents, by

Coxeter groups that correspond to Weyl groups of Kac–Moody algebras are the crystallographic Coxeter groups for which . So, the requirement for a gravitational theory to have a Kac–Moody algebraic description is not just that the billiard region is a Coxeter simplex but also that the angles between adjacent walls are such that the group of reflections in these walls is crystallographic.These conditions are very restrictive and hence gravitational theories which can be mapped to a Kac–Moody algebra in the BKL-limit are rare.

Consider for instance the action (2.1) for gravity coupled to a single three-form in spacetime dimensions. We assume since in lower dimensions the 3-form is equivalent to a scalar () or has no degree of freedom ().

Theorem: Whenever a -form () is present, the curvature wall is subdominant as it can be expressed as a linear combination with positive coefficients of the electric and magnetic walls of the -forms. (These walls are all listed in Section 2.5.)

Proof: The dominant electric wall is (assuming the presence of a dilaton)

while one of the magnetic wall reads so that the dominant curvature wall is just the sum .It follows that in the case of gravity coupled to a single three-form in spacetime dimensions, the relevant walls are the symmetry walls, Equation (2.48),

(as always) and the electric wall () or the magnetic wall (). Indeed, one can express the magnetic walls as linear combinations with (in general non-integer) positive coefficients of the electric walls for and vice versa for . Hence the billiard table is always a simplex (this would not be true had one a dilaton and various forms with different dilaton couplings).However, it is only for that the billiard is a Coxeter billiard. In all the other spacetime dimensions, the angle between the relevant -form wall and the symmetry wall that does not intersect it orthogonally is not an integer submultiple of . More precisely, the angle between

- the magnetic wall and the symmetry wall (),
- the magnetic wall and the symmetry wall (), and
- the electric wall and the symmetry wall (),

is easily verified to be an integer submultiple of only for , for which it is equal to .

From the point of view of the regularity of the billiard, the spacetime dimension is thus privileged. This is of course also the dimension privileged by supersymmetry. It is quite intriguing that considerations a priori quite different (billiard regularity on the one hand, supersymmetry on the other hand) lead to the same conclusion that the gravity-3-form system is quite special in spacetime dimensions.

For completeness, we here present the wall system relevant for the special case of . We obtain ten dominant wall forms, which we rename ,

Then, defining a new collective index , we see that the scalar products between these wall forms can be organized into the matrix which can be identified with the Cartan matrix of the hyperbolic Kac–Moody algebra that we have encountered in Section 4.10.2. We again display the corresponding Dynkin diagram in Figure 25, where we point out the explicit relation between the simple roots and the walls of the Einstein–3-form theory. It is clear that the nine dominant symmetry wall forms correspond to the simple roots of the subalgebra . The enlargement to is due to the tenth exceptional root realized here through the dominant electric wall form .http://www.livingreviews.org/lrr-2008-1 |
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 2.0 Germany License. Problems/comments to |