Related papers: Presentations of affine Kac-Moody groups
Our aim is to transfer several foundational results from the modular representation theory of finite groups to the wider context of profinite groups. We are thus interested in profinite modules over the completed group algebra k[[G]] of a…
Kac-Moody groups over finite fields are finitely generated groups. Most of them can naturally be viewed as irreducible lattices in products of two closed automorphism groups of non-positively curved twinned buildings: those are the most…
We define a `nice representation' of a finitely presented group G as being a non-degenerate essentially surjective simplicial map f from a `nice' space X into a 3-complex associated to a presentation of G, with a strong control over the…
We introduce the representation category $\mathscr{C}({\bf G})$ for a connected reductive algebraic group ${\bf G}$ which is defined over a finite field $\mathbb{F}_q$ of $q$ elements. We show that this category has many good properties for…
Guralnick, Kantor, Kassabov and Lubotzky (J. Eur. Math. Soc. 13.2, 2011, 391-458) [GKKL] give 3-generator 7-relator presentations of $A_n$ and $S_n$ with bit-length $O(\log n)$ for $n\geq5$. This is the best possible bit-length, since…
For finitary regular monads T on locally finitely presentable categories we characterize the finitely presentable objects in the category of T-algebras in the style known from general algebra: they are precisely the algebras presentable by…
The paper is devoted to model-theoretic properties of Kac-Moody groups with the focus on elementary equivalence of Kac-Moody groups. We show that elementary equivalence of (untwisted) affine Kac-Moody groups implies coincidence of their…
This article establishes a geometric Satake equivalence for affine Kac-Moody groups as an equivalence of abelian semisimple categories over algebraically closed fields. We define a well-behaved category of equivariant sheaves on the double…
Let $\mathfrak{g}(A)$ be the Kac-Moody algebra with respect to a symmetrizable generalized Cartan matrix $A$. We give an explicit presentation of the fix-point Lie subalgebra $\mathfrak{k}(A)$ of $\mathfrak{g}(A)$ with respect to the…
We explore connected affine algebraic groups $G$, which enjoy the following finiteness property $\rm (F)$: for every algebraic action of $G$, the closure of every $G$-orbit contains only finitely many $G$-orbits. We obtain two main results.…
A finitely generated commutative monoid is uniquely presented if it has only a minimal presentation. We give necessary and sufficient conditions for finitely generated, combinatorially finite, cancellative, commutative monoids to be…
In Grayson's combinatorial description of higher K-groups, the generators are bounded acyclic binary multi-complexes of arbitrary size. Generalising work by Kasprowski, Winges and the author, we show in this paper that multi-complexes of…
We give a presentation by generators and relations of the group of 3-qubit Clifford+CS operators. The proof roughly consists of two parts: (1) applying the Reidemeister-Schreier theorem recursively to an earlier result of ours; and (2) the…
Several musical scales, like the major scale, can be described as finite arithmetic sequences modulo octave, i.e. chunks of an arithmetic sequence in a cyclic group. Hence the question of how many different arithmetic sequences in a cyclic…
The aim of this paper is to study the virtual classes of representation varieties of surface groups onto the rank one affine group. We perform this calculation by three different approaches: the geometric method, based on stratifying the…
Chevalley's theorem states that every smooth connected algebraic group over a perfect field is an extension of an abelian variety by a smooth connected affine group. That fails when the base field is not perfect. We define a pseudo-abelian…
Given the maximal compact subalgebra $\mathfrak{k}(A)$ of a split-real Kac-Moody algebra $\mathfrak{g}(A)$ of type $A$, we study certain finite-dimensional representations of $\mathfrak{k}(A)$, that do not lift to the maximal compact…
We describe some buildings related to complex Kac-Moody groups. First we describe the spherical building of SLn(C) (i.e. the projective geometry PG(Cn)) and its Veronese representation. Next we recall the construction of the affine building…
For a split Kac-Moody group (in J. Tits' definition) over a field endowed with a real valuation, we build an ordered affine hovel on which the group acts. This construction generalizes the one already done by S. Gaussent and the author when…
Let $G$ be an affine algebraic group over an algebraically closed field $k$ of characteristic zero. In this paper, we consider finite $G$-equivariant morphisms $F:X\to Y$ of irreducible affine $G$-varieties. First we determine under which…