We show that the covolume of an irreducible lattice in a higher rank semisimple Lie group with the congruence subgroup property is determined by the profinite completion. Without relying on CSP, we additionally show that volume is a profinite invariant of octonionic hyperbolic congruence manifolds.

Related project(s):
58Profinite perspectives on l2-cohomology61At infinity of symmetric spaces

We prove an analogue of Kostant's convexity theorem for split real and complex Kac-Moody groups associated to free and cofree root data. The result can be seen as a first step towards describing the multiplication map in a Kac-Moody group in terms of Iwasawa coordinates. Our method involves a detailed analysis of the geometry of Weyl group orbits in the Cartan subalgebra of a real Kac-Moody algebra. It provides an alternative proof of Kostant convexity for semisimple Lie groups and also generalizes a linear analogue of Kostant's theorem for Kac-Moody algebras that has been established by Kac and Peterson in 1984.

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

Kac-Moody symmetric spaces have been introduced by Freyn, Hartnick, Horn and the first-named author for centered Kac-Moody groups, that is, Kac-Moody groups that are generated by their root subgroups. In the case of non-invertible generalized Cartan matrices this leads to complications that -- within the approach proposed originally -- cannot be repaired in the affine case. In the present article we propose an alternative approach to Kac-Moody symmetric spaces which for invertible generalized Cartan matrices provides exactly the same concept, which for the non-affine non-invertible case provides alternative Kac-Moody symmetric spaces, and which finally provides Kac-Moody symmetric spaces for affine Kac-Moody groups. In a nutshell, the original intention by Freyn, Hartnick, Horn and Köhl was to construct symmetric spaces that likely lead to primitive actions of the Kac-Moody groups; this, of course, cannot work in the affine case as affine Kac-Moody groups are far from simple.

Related project(s):
61At 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=KAU 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):
61At infinity of symmetric spaces

We consider the subalgebras of split real, non-twisted affine Kac-Moody Lie algebras that are fixed by the Chevalley involution. These infinite-dimensional Lie algebras are not of Kac-Moody type and admit finite-dimensional unfaithful representations. We exhibit a formulation of these algebras in terms of N-graded Lie algebras that allows the construction of a large class of representations using the techniques of induced representations. We study how these representations relate to previously established spinor representations as they arise in the theory of supergravity.

Related project(s):
61At 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.

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

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.

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