Abstract simplicity of complete Kac-Moody groups over finite fields
Lisa Carbone, Mikhail Ershov, Gordon Ritter
备注：
Final version. The statement and the proof of Theorem 5.2 have been corrected. The main result (Theorem 1.1) now holds under slightly stronger restrictions
发表信息：
Journal of Pure and Applied Algebra 212 (2008), 2147--2162
Let $G$ be a Kac-Moody group over a finite field corresponding to a generalized Cartan matrix $A$, as constructed by Tits. It is known that $G$ admits the structure of a BN-pair, and acts on its corresponding building. We study the complete Kac-Moody group $\hat{G}$ which is defined to be the closure of $G$ in the automorphism group of its building. Our main goal is to determine when complete Kac-Moody groups are abstractly simple, that is have no proper non-trivial normal subgroups. Abstract simplicity of $\hat{G}$ was previously known to hold when A is of affine type. We extend this result to many indefinite cases, including all hyperbolic generalized Cartan matrices $A$ of rank at least four. Our proof uses Tits' simplicity theorem for groups with a BN-pair and methods from the theory of pro-$p$ groups.
The paper is a short survey of recent developments in the area of word maps evaluated on groups and algebras. It is aimed to pose questions relevant to Kac--Moody theory.
We go back and forth between, on the one hand, presentations of arithmetic and Kac-Moody groups and, on the other hand, presentations of profinite groups, deducing along the way new results on both.
In this study, we try to generalize Bruhat-Tits's theory to the case of a Kac-Moody group, that is to define an affine building for a Kac-Moody group over a local field. Actually, we will obtain a geometric space wich lacks some of the incidence properties of a building, so that it is called a hovel, following Guy Rousseau's terminology. Hovels have already been obtained for split Kac-Moody groups by Guy Rousseau and Stéphane Gaussent; here we define them for any group with a (generalized) valuated root datum, a situation wich contains the Kac-Moody groups over local fields, split and nearly s…
We use methods developed by Caprace and Mühlherr to solve the isomorphism problem of unitary forms of infinite split Kac-Moody groups over finite fields of square order.
We characterize all fields F for which a group with an F-locally split root group datum admits an Iwasawa decomposition. This class of groups in particular includes the split semisimple algebraic groups and the split Kac-Moody groups.
We consider the isomorphism problem for almost split Kac--Moody groups, which have been constructed by Rémy via Galois descent from split Kac-Moody groups as defined by Tits. We show that under certain technical assumptions, any isomorphism between two such groups must preserve the canonical subgroup structure, i.e. the twin root datum associated to these groups, which generalizes results of Caprace in the split case. An important technical tool we use is the existence of maximal split subgroups inside almost split Kac-Moody groups, which generalizes the corresponding result of Borel-Tits for …
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, no…
This survey paper presents the discrete group viewpoint on Kac-Moody groups. Over finite fields, the latter groups are finitely generated; they act on new buildings enjoying remarkable negative curvature properties. The study of these groups is shared between proving results supporting the analogy with some $S$-arithmetic groups, and exhibiting properties showing that they are new groups.
We provide new arguments to see topological Kac-Moody groups as generalized semisimple groups over local fields: they are products of topologically simple groups and their Iwahori subgroups are the normalizers of the pro-p Sylow subgroups. We use a dynamical characterization of parabolic subgroups to prove that some countable Kac-Moody groups with Fuchsian buildings are not linear. We show for this that the linearity of a countable Kac-Moody group implies the existence of a closed embedding of the corresponding topological group in a non-Archimedean simple Lie group, thanks to a commensurator …
We prove the finiteness of formal analogues of the spherical function (Spherical Finiteness), the ${\mathbf c}$-function (Gindikin-Karpelevich Finiteness), and obtain a formal analogue of Harish-Chandra's limit (Approximation Theorem) relating spherical and ${\mathbf c}$-function in the setting of $p$-adic Kac-Moody groups. The finiteness theorems imply that the formal analogue of the Gindikin-Karpelevich integral is well defined in local Kac-Moody settings. These results extend the Braverman-Garland-Kazhdan-Patnaik's affine Gindikin-Karpelevich finiteness theorems and provide an algebraic ana…
For a split Kac-Moody group G over an ultrametric field K, S. Gaussent and the author defined an ordered affine hovel on which the group acts; it generalizes the Bruhat-Tits building which corresponds to the case when G is reductive. This construction was generalized by C. Charignon to the almost split case when K is a local field. We explain here these constructions with more details and prove many new properties e.g. that the hovel of an almost split Kac-Moody group is an ordered affine hovel, as defined in a previous article.
We look to gradations of Kac-Moody Lie algebras by Kac-Moody root systems with finite dimensional weight spaces. We extend, to general Kac-Moody Lie algebras, the notion of C-admissible pair as introduced by H. Rubenthaler and J. Nervi for semi-simple and affine Lie algebras. If g is a Kac-Moody Lie algebra (with Dynkin diagram indexed by I) and (I,J) is such a C-admissible pair, we construct a C-admissible subalgebra g^J, which is a Kac-Moody Lie algebra of the same type as g, and whose root system Σgrades finitely the Lie algebra g. For an admissible quotient ρ: I \rightarrow I we build also…
A subgroup of a Kac-Moody group is called bounded if it is contained in the intersection of two finite type parabolic subgroups of opposite signs. In this paper, we study the isomorphisms between Kac-Moody groups over arbitrary fields of cardinality at least 4, which preserve the set of bounded subgroups. We show that such an isomorphism between two such Kac-Moody groups induces an isomorphism between the respective twin root data of these groups. As a consequence, we obtain the solution of the isomorphism problem for Kac-Moody groups over finite fields of cardinality at least 4.
We described in [M1] a monoid acting on the integrable highest weight modules of a symmetrizable Kac-Moody algebra. It has similar structural properties as a reductive algebraic monoid with unit group a Kac-Moody group. Now we find natural extensions of the action of the Kac-Moody group on its building to actions of this monoid. These extensions are partly motivated by representation theory and the combinatorics of the faces of the Tits cone.
We construct a map from the classifying space of a discrete Kac-Moody group over the algebraic closure of the field with p elements to the classifying space of a complex topological Kac-Moody group and prove that it is a homology equivalence at primes q different from p. This generalises a classical result of Quillen-Friedlander-Mislin for Lie groups. As an application, we construct unstable Adams operations for general Kac-Moody groups compatible with the Frobenius homomorphism. In contrast to the Lie case, the homotopy fixed points of these unstable Adams operations cannot be realized at q a…
In this paper we discuss the isomorphism types of parabolic subgroups in Kac-Moody groups. The results have applications in the study of topology of Kac-Moody groups and their classifying spaces.
Tits has defined Kac-Moody and Steinberg groups over commutative rings, providing infinite dimensional analogues of the Chevalley-Demazure group schemes. Here we establish simple explicit presentations for all Steinberg and Kac-Moody groups whose Dynkin diagrams are hyperbolic and simply laced. Our presentations are analogues of the Curtis-Tits presentation of the finite groups of Lie type. When the ground ring is finitely generated, we derive the finite presentability of the Steinberg group, and similarly for the Kac-Moody group when the ground ring is a Dedekind domain of arithmetic type. Th…
We provide explicit generators and relations for the affine Kac-Moody groups, as well as a realization of them as (twisted) loop groups by means of Galois descent considerations.
We investigate smooth representations of complete Kac-Moody groups. We approach representation theory via geometry, in particular, the group action on the Davis realisation of its Bruhat-Tits building. Our results include an estimate on projective dimension, localisation theorem, unimodularity and homological duality.
The face monoid described in [M1] acts on the integrable highest weight modules of a symmetrizable Kac-Moody algebra. It has similar structural properties as a reductive algebraic monoid whose unit group is a Kac-Moody group. We found in [M5] two natural extensions of the action of the Kac-Moody group on its building to actions of the face monoid on the building. Now we give an algebraic geometric model of one of these actions of the face monoid. The building is obtained as a part of the spectrum of homogeneous prime ideals of the Cartan algebra of the Kac-Moody group. We describe the full spe…
Based on the second author's thesis in this article we provide a uniform treatment of abstract involutions of algebraic groups and of Kac-Moody groups using twin buildings, RGD systems, and twisted involutions of Coxeter groups. Notably we simultaneously generalize the double coset decompositions established by Springer and by Helminck-Wang for algebraic groups and by Kac-Wang for certain Kac-Moody groups, we analyze the filtration studied by Devillers-Muhlherr in the context of arbitrary involutions, and we answer a structural question on the combinatorics of involutions of twin buildings rai…
In this paper we construct a new "pro-p-complete" topological Kac-Moody group and compare it to various known topological Kac-Moody groups. We come across this group by investigating the process of completion of groups with BN-pairs. We would like to know whether the completion of such a group admits a BN-pair. We give explicit criteria for this to happen.
Kac--Moody groups $G$ over $\mathbb{R}$ have been conjectured to occur as symmetry groups of supergravity theories dimensionally reduced to dimensions less than 3, and their integral forms $G(\mathbb{Z})$ conjecturally encode quantized symmetries. In this review paper, we briefly introduce the conjectural symmetries of Kac--Moody groups in supergravity as well as the known evidence for these conjectures. We describe constructions of Kac--Moody groups over $\R$ and $\Z$ using certain choices of fundamental modules that are considered to have physical relevance. Eisenstein series on certain fini…
