Split real Kac-Moody symmetric spaces have been introduced and studied by Freyn, Hartnick, Horn and the PI. One key property is boundary rigidity: there is a one-to-one correspondence between the automorphisms of a split real Kac-Moody symmetric space and the automorphisms of the twin building embedded in the future and past causal directions of the boundary.

One goal of this project is to generalize boundary rigidity to complex Kac-Moody symmetric spaces and to use Galois descent in order to introduce and study almost split real Kac-Moody symmetric spaces.

Furthermore, Freyn, Hartnick, Horn and PI have established that the question whether the causal structure of a split real Kac-Moody symmetric admits time travel is equivalent to the question whether Kostant convexity fails for Kac-Moody groups. Conjecturally, Kostant convexity holds and, thus, time travel is impossible in Kac-Moody symmetric spaces. Another goal of this project is to confirm this conjecture.

## Publications

A geodesic *γ* in an abstract reflection space *X* (in the sense of Loos, without any assumption of differential structure) is known to canonically admits an action of a 1-parameter subgroup of the group of transvections of *X*. In this article, we prove an analog of this result stating that, if *X* contains an embedded hyperbolic plane, then this yields a canonical action of a subgroup of the transvection group of X isomorphic to a perfect central extension of PSL(2,R). This result can be further extended to arbitrary Riemannian symmetric spaces of non-compact type embedded in X and can be used to prove that a Riemannian symmetric space and, more generally, the Kac-Moody symmetric space G/K for an algebraically simply connected two-spherical Kac-Moody group G satisfies a universal property similar to the universal property that the group G satisfies itself.

Journal | Adv. Geometry |

Volume | 20 |

Pages | 499-506 |

Link to preprint version | |

Link to published version |

**Related project(s):****61**At infinity of symmetric spaces

In the present article we introduce and study a class of topological reflection spaces that we call Kac-Moody symmetric spaces. These generalize Riemannian symmetric spaces of non-compact type. We observe that in a non-spherical Kac-Moody symmetric space there exist pairs of points that do not lie on a common geodesic; however, any two points can be connected by a chain of geodesic segments. We moreover classify maximal flats in Kac-Moody symmetric spaces and study their intersection patterns, leading to a classification of global and local automorphisms. Unlike Riemannian symmetric spaces, non-spherical non-affine irreducible Kac-Moody symmetric spaces also admit an invariant causal structure. For causal and anti-causal geodesic rays with respect to this structure we find a notion of asymptoticity, which allows us to define a future and past boundary of such Kac-Moody symmetric space. We show that these boundaries carry a natural polyhedral structure and are cellularly isomorphic to the halves of the geometric realization of the twin buildings of the underlying split real Kac-Moody group. We also show that every automorphism of the symmetric space is uniquely determined by the induced cellular automorphism of the future and past boundary. The invariant causal structure on a non-spherical non-affine irreducible Kac-Moody symmetric space gives rise to an invariant pre-order on the underlying space, and thus to a subsemigroup of the Kac-Moody group. We conclude that while in some aspects Kac-Moody symmetric spaces closely resemble Riemannian symmetric spaces, in other aspects they behave similarly to ordered affine hovels, their non-Archimedean cousins.

Journal | Münster J. Math. |

Volume | 13 |

Pages | 1-114 |

Link to preprint version | |

Link to published version |

**Related project(s):****61**At infinity of symmetric spaces

We determine the fundamental groups of symmetrizable algebraically simply connected split real Kac-Moody groups endowed with the Kac-Peterson topology. In analogy to the finite-dimensional situation, the Iwasawa decomposition *G*=*K**A**U* provides a weak homotopy equivalence between *K* and *G*, implying *π*1(*G*)=*π*1(*K*). It thus suffices to determine *π*1(*K*) which we achieve by investigating the fundamental groups of generalized flag varieties. Our results apply in all cases in which the Bruhat decomposition of the generalized flag variety is a CW decomposition − in particular, we cover the complete symmetrizable situation; the result concerning the structure of *π*1(*K*) more generally also holds in the non-symmetrizable two-spherical situation.

**Related project(s):****61**At infinity of symmetric spaces

## Team Members

**M.Sc. Julius Grüning**

Doctoral student

Justus-Liebig-Universität Gießen

Julius.Gruening(at)math.uni-giessen.de

**Prof. Dr. Ralf Köhl**

Researcher,
Project leader

Justus-Liebig-Universität Gießen

ralf.koehl(at)math.uni-giessen.de

**M.Sc. Christian Vock**

Doctoral student

Justus-Liebig-Universität Gießen

Christian.W.Vock(at)math.uni-giessen.de