arXiv:1712.06484v2 [math.RT] 1 Mar 2018

KAC-MOODY GROUPS AND THEIR REPRESENTATIONS
DMITRIY RUMYNIN
To Leonid Arkadievich Bokut with admiration
Abstract. In this expository paper we review some recent results about representations of Kac-Moody groups. We sketch the construction of these groups.
If practical, we present the ideas behind the proofs of theorems. At the end
we pose open questions.

Kac-Moody Lie algebras are well-known generalisations of simple finite-dimensional
Lie algebras, subject of 1533 research papers on MathSciNet and at least 3 beautiful
monographs [Ka-85, Wa-91, Ct-05] Kac-Moody groups are less well-known cousins,
subject of only 214 research papers on MathSciNet. One issue with them is that
there are several different notions of a Kac-Moody group:
‚ a group valued functor on commutative rings defined by Tits, a generalisation of R ÞÑ SLn pRrz, z ´1sq,
‚ a locally compact totally disconnected group, a generalisation of SLn pFq ppzqq q,
‚ an ind-algebraic group, a generalisation of SLn pCppzqq q,
‚ a more complicated topological group, e.g., SLn pQp ppzqq q.
In this survey, we review some new results about the first two types of Kac-Moody
groups and their representations. We give examples and sketch proofs whenever it
is practical. The only completely new results are in Section 1.4 where full proofs
are given.
There are instructional sources about their Group Theory and Geometry [CaRé-09,
Ma-13, Ré-02] but not about their Representation Theory. A reader interested in
ind-algebraic Kac-Moody groups can consult a monograph [Ku-02] but someone
who wants to learn about more complicated Kac-Moody groups will need to look
at scholarly sources [Ro-06, Ro-16]. We start without further ado.
1. Representations of uncompleted group
1.1. Kac-Moody Lie algebra. Let A “ pAi,j qnˆn be a square matrix with
coefficients in a commutative ring K. A realisation of A is a collection R “
ph, h1 , . . . hn , α1 , . . . αn q where h is a finitely generated free K-module, hi are Klinearly independent elements of h, αj are K-linearly independent elements of h˚ ,
and αj phi q “ Aij for all i and j.
Date: December 18, 2017.
1991 Mathematics Subject Classification. Primary 20G44; Secondary 20G05.
Key words and phrases. Kac-Moody group, Kac-Moody algebra, adjoint representation,
smooth representations, completion, Davis realisation.
The research was partially supported by the Russian Academic Excellence Project ‘5–100’ and
by Leverhulme Foundation. The author would like to thank Inna Capdeboscq and Timothée
Marquis for valuable discussions.
1

2

DMITRIY RUMYNIN

A realisation gives several interesting Lie A-algebras for any commutative Kr R pAq: it is generated by hA “ h bK A and
algebra A. The first Lie A-algebra is L
elements e1 , . . . en , f1 . . . fn subject to the relations
rh, ei s “ αi phqei , rh, fj s “ ´αj phqfj , rh1 , hs “ 0, rei , fi s “ hi , rei , fj s “ 0 if i ‰ j
r R pAq is graded by the root group XpRq, the
for all h1 , h P hA . The Lie algebra L
free abelian group generated by elements αi . The grading is given by
degphq “ 0, degpei q “ αi , degpfi q “ ´αi .
r R pAq, contained in the non-zero graded part
Let IA be the sum of all ideals of L
r R pAqγ . The second Lie algebra is L
p R pAq :“ L
r R pAq{IA and the third Lie
‘γ‰0 L
p
:“
algebra is LR pAq
LR pKq bK A. Although there is some literature on LR pAq for
a general A [VKa-71], these algebras merit further investigation (cf. 3.1 and 3.2).
If A is a generalised Cartan matrix, we set K “ Z, call a realisation (over Z) a
p D pAq and LD pAq deserve be called Kac-Moody
root datum and denote it D. Both L
algebras, nevertheless, it is defined differently. Let UZ be the divided powers integral
form of the universal enveloping algebra U pLD pCqq. Then Kac-Moody algebra is
defined as
gZ :“ LD pCq X UZ , gA :“ gZ bZ A .
It inherits a triangular decomposition gA “ pn´ b Aq ‘ ph b Aq ‘ pn` b Aq from
gZ “ n´ ‘ h ‘ n` where n´ C is the Lie subalgebra of gC degenerated by all fi , U´
is the divided powers Z-form of U pn´ C q and n´ :“ n´ C X U´ (ditto for n` using
ei -s and U` ). If F is a field of charachteristic p, the Lie algebra gF is restricted with
the p-operation
ph b 1qrps “ h b 1, px b 1qrps “ xp b 1 where h P h, x P n˘
where xp is calculated inside associative Z-algebra U˘ ď U [Ma-13, Th. 4.39].
p D pFq “ LD pFq “
If p ą max i ‰ jp´Ai,j q, then all three Kac-Moody coincide: L
gF [Ro-16, Ma-13] but it is probably no longer true for small primes.
1.2. Kac-Moody group. The algebras UZ and gZ inherit the grading by XpRq.
It is also known as the root decomposition
à
gC α .
gC “
αPΦĎXpDq

The set of roots splits into two disjoint parts: real roots Φre :“ W tα1 , . . . αn u
(where W is the Weyl group) and imaginary roots Φim :“ ΦzΦim .
The Kac-Moody group is a functor GD from commutative rings to groups. Its
value on a field F can be described as
GD pFq “ T ˚ ˚αPΦre Uα {x Tits’ relations y, T “ h bZ Fˆ , Uα – F` ,
where T is a torus and Uα “ tXα ptqu, Xα ptqXα psq “ Xα pt ` sq is a root subgroup.
There are different ways to write Tits’ relations: the reader should consult classical
papers [CtCh-93, T-87] for succinct presentations. Note that Tits’ Relations have
infinitely many generators and relations unless A is of finite type.
However, if the field F “ Fq , q “ pm is finite and under mild assumptions on A,
the groups GD pFq q are finitely presented [AM-97] (cf. [CKR-16] for concrete finite
presentations of affine groups). Thus, the groups GD pFq q form a good source of
finitely-presented simple (non-linear) groups.

KAC-MOODY GROUPS AND THEIR REPRESENTATIONS

3

It is important for us that they have a BN-pair with B “ T ⋉ U` where U` is
the subgroup generated by all Uα for positive real roots α.
1.3. Adjoint representation. The group GD pFq acts the Lie algebra gF via adjoint action [Ma-13, Ré-02]. The torus action comes from the XpDq-grading
Adph b tqpaq “ tαphq a where a P pgF qα
and the action of Uα is exponential:
AdpXα ptqqpaq “ eadpteα q paq “

8
ÿ

adpepnq
α qpaq

n“0
pnq

where eα (rather than eα b 1) is a non-zero element of gF α and eα P U b F is its
divided power. Notice that gF α is one-dimensional for a real root α.
We denote the image of Ad by Gad
D pFq.
1.4. Over-restricted representations. Let F be a field of positive characteristic
p in this section. A representation pV, ρq of the Lie algebra gF is called restricted
if ρpxqp “ ρpxrps q for all x P gF . Each real root α yields an additive family linear
operators on a restricted representation
Yα ptq :“ e

ρpeα q

“

p´1
ÿ

1
ρpeα qk .
k!
k“0

These operators do not define an action of GD pFq in general. The concept of an
over-restricted representation, proposed recently to integrate representations from
Lie algebras to algebraic groups [RWs-17], proves beneficial here as well. We say
that a restricted representation pV, ρq of gF is over-restricted if ρpeα qtpp`1q{2u “ 0
for any real root α.
Proposition 1.1. (cf. [RWs-17, Prop. 1]) Suppose that pV, ρq is an over-restricted
ppq
representation gF . If adpeα qpxq “ 0 for some x P gF , then
`
˘
(1)
ρ AdpXα ptqqpxq “ Yα ptqρpxqYα p´tq .
Proof. Observe by induction that for each k “ 1, 2, . . . p ´ 1
(2)

ρp

k
ÿ
p´1qj
1
adpeα qk pxqq “
ρpeα qk´j ρpxqρpeα qj .
k!
pk
´
jq!j!
j“0
ppq

pnq

The
qpxq “ 0 implies that adpeα qpxq “ 0 for all n ě p and
` condition adpe
˘ αř
1
k
ρ AdpXα ptqqpxq “ p´1
k“0 ρp k! adpteα q pxqq stops at degree p ´ 1. Using Formula (2), this is equal to
p´1
ÿ
i`j“0

p´1
ÿ p´1qj
p´1qj
♠
ρpteα qi ρpxqρpteα qj “
ρpteα qi ρpxqρpteα qj “ eρpteα q ρpxqe´ρpteα q ,
i!j!
i!j!
i,j“0

exactly the right hand side. Notice that Equality ♠ holds because pV, ρq is overrestricted: terms on the right, missing from the left, are all zero.

Consider an XpDq-graded restricted representation pV, ρq of g. Grading gives an
action of T on V by ρpph b tqpvα q “ tαphq vα . An analogue of Proposition 1.1 holds
for T :
`
˘
(3)
ρ Adph b tqpxq “ ρpph b tqρpxqp
ρph b t´1 q .

4

DMITRIY RUMYNIN

Let GV be a subgroup of GLpV q generated by ρppT q and all Yα ptq.

Theorem 1.2. Suppose that p ą maxi‰j p´Ai,j q. If pV, ρq is an XpDq-graded
over-restricted representations of gF , faithful on both T and gF , then
φ : GV Ñ Gad
ρptqq “ t for t P T
D pFq, φpYα psqq “ Xα psq, φpp
is a surjective homomorphism of groups whose kernel is central and consists of
gF -automorphisms of V .
Proof. Let H be the free product of T and all additive groups Uα , α P Φre . Both
GV and Gad
D pFq are naturally quotient of H. If x1 ˚ . . . ˚ xn P kerpH Ñ GV q where
all xi are from the constituent groups then
φpx1 qφpx2 q . . . φpxn q “ IV .
Formulas (1) and (3) imply that
`
˘
`
˘
ρ rAdpx1 q Adpx2 q . . . Adpxn qspeβ q “ ρpeβ q, ρ rAdpx1 q Adpx2 q . . . Adpxn qsphq “ ρphq
for all h P hF and real roots β. Our restriction on p imply that gF is generated by
hF and all eβ [Ro-16]. Consequently,
`
˘
ρ rAdpx1 q Adpx2 q . . . Adpxn qspyq “ ρpyq
for all y P gF . Since ρ is injective it follows that rAdpx1 q Adpx2 q . . . Adpxn qspyq “ Ig
and x1 ˚ . . . ˚ xn P kerpH Ñ Gad
D pFqq. Hence, φ is well-defined.
It remains to determine the kernel of φ. Suppose y “ x1 x2 . . . xn P kerpφq with
all xi are either Yα psq, or in T . Arguing as above, ρpzq “ ρpφpyqpzqq “ yρpzqy ´1
for all z P g. So y P EndpV, ρq: it commutes with all ρpeα q, hence with all Yα psq.
Since T acts faithfully, y commutes with T as well. Commuting with all generators
of GV , y is inevitably central.

As soon as there are few endomorphisms, the map φ in Theorem 1.2 can be
“reversed” to define a projective representation of the Kac-Moody group.
Corollary 1.3. Suppose that in the conditions of Theorem 1.2 the representation
pV, ρq is a brick, i.e., EndpV, ρq “ F. Then
θ : GD pFq Ñ GLpV q, θpXα psqq “ Yα psq, θptq “ ρpptq for t P T

extends to a projective representation of GD pFq.

If the root datum is simply-connected, i.e., αi form a basis of h, then the group
GD pFq is generated by Uα -s [CtCh-93]. Hence, no grading is needed to define a
representation of GD pFq, with all the proofs going through as before:
Corollary 1.4. Suppose that D is simply-connected and p ą maxi‰j p´Ai,j q. If
pV, ρq is a faithful, over-restricted brick for gF , then
θ : GD pFq Ñ GLpV q, θpXα psqq “ Yα psq
extends to a projective representation of GD pFq.

KAC-MOODY GROUPS AND THEIR REPRESENTATIONS

5

2. Representations of completed group
2.1. Completion. The group GD pFq is also known as the “minimal” Kac-Moody
{
group, while some of its various completions G
D pFq go under the name a “maximal”
Kac-Moody group.
p Is pB, N q
Let us consider a group G with a BN-pair pB, N q and its completion G.
p It depends on circumstances. For example, consider a simple split
a BN-pair on G?
group scheme G, G “ GpFq rz, z ´1sq, the group of monomial matrices N ď G and
z ˘1 ÞÑ0

positive and negative Iwahori subgroups I˘ “ rGpFq rz ˘1 sq ÝÝÝÝÑ GpFq qs´1 pBq.
Both pairs pI˘ , N q are BN-pairs on G but only pI` , N q is a BN-pair on the positive
p “ GpFq ppzqq q: the countable groups Ix
completion G
´ “ I´ and N cannot generate
p
uncountable G. The following theorem pinpoints the completion process for groups
with a BN-pair under some conditions:
Theorem 2.1. [CR-17, Th. 1.2] Let G be a group with a BN-pair pB, N q with the
Weyl group pW, Sq where S is finite. Suppose further that a topology T on B is
given such that the four conditions (1)–(4) hold.
(1) pB, T q is a topological group.
p is a group.
(2) The completion B
(3) T1 is a basis at 1 of topology on each minimal parabolic Ps , s P S that
defines a structure of topological group on Ps .
(4) The index |Ps : B| is finite for each s P S.
Under these conditions the following statements hold:
(a) T1 is a basis at 1 of topology on G that defines a structure of topological
group on G.
p is a group. The completion B
p is equal to the closure B.
(b) The completion G
p
(c) The completion G is isomorphic to amalgam ˚ H where B “ tB, N, Ps ; s P
B

Su.
p
(d) The pair pB, N q is a BN-pair on the completed group G.

Proof. It is a well-known theorem of Tits that a group with a BN-pair is an amalgam
of N and its minimal parabolics [Ku-02, Prop. 5.1.7]. Later on Tits has shown how
to back-engineer this group from such amalgam [T-81] (cf. [Ku-02, Th. 5.1.8]).
This is the heart of the proof: we pinpoint the completed group in part (c) but
need to check numerous technical conditions of the Tits theorem. See [CR-17] for
full details.

Theorem 2.1 gives us a locally pro-p-complete Kac-Moody group Glpp :“ G{
D pFq q,
q “ pm by choosing the pro-p-topology on B: its basis at 1 is tA ď B | |B : A| “
pa for some a P Nu. The Borel and the minimal parabolic subgroups of GD pFp q are
split [CaRé-09, 6.2] :
B “ T ⋉U` , Ps “ Ls ⋉Us where Ls “ xUαi YU´αi y T, s “ si , Us :“ U` XsU` s´1 .
In particular, |Pi : B| is finite for all i P I so that, by Theorem 2.1, we can complete
GD pFq q with respect to the pro-p-topology on B (or, in fact, any “Ms -equivariant”
p N q where B
p “ H ⋉U
x` where U
x` is
topology). The groups Glpp has a BN-pair pB,
the full pro-p completion of U .

6

DMITRIY RUMYNIN
g

x` is of crucial interest Suppose
The congruence subgroup CpGlpp q “ XgPGlpp U
that A is irreducible and the root datum D is simply connected. Let Z 1 pGlpp q :“
ZppGD pFq qq ˆ CpGlpp q (note that the intersection is trivial).
Theorem 2.2. [CR-17, Ma-14, CrERi-08] Under these conditions Glpp {Z 1 pGlpp q
is a topologically simple group. Moreover, if A is 2-spherical, then Glpp {Z 1 pGlpp q is
an abstractly simple group.
2.2. Comparison to other completions. It is instructive to compare Glpp with
other completions of GD pFq q, a.k.a topological Kac-Moody groups (cf. [CR-17,
Ma-13, Ro-16, CrERi-08, ReW-15]). Let us list them:
‚ the Caprace-Rémy-Ronan group Gcrr , a completion in the topology of the
action on Bruhat-Tits building,
‚ the Carbone-Garland group Gcλ , a completion in the topology of the action
on the integrable simple module with a highest weight λ,
‚ the Mathieu-Rousseau group Gma` , an analogue of the ind-algebraic comr N, P
Ăs u with a
pletion, also obtained as an amalgam ˚ H where B “ tB,
B

Ăs .
specially constructed groups P
‚ another Mathieu-Rousseau group G` , the closure of G in Gma` ,
‚ the Belyaev group Gb , the “largest” completion with compact totally disconnected U` .
‚ the Schlichting group Gs , the “smallest” completion with compact totally
disconnected U` .
If p ą maxi‰j p´Aij q, then G` “ Gma` but they could be different, in general
[Ro-16, 6.11]. The precise meaning of the “largest” and the “smallest” of the last
two groups is a certain universal property (consult [ReW-15] for precise statement).
The action on the Bruhat-Tits building ensures that Gs “ Gcrr . Theorem 2.1 gives
Gb by considering the profinite topology on B instead of the pro-p-topology: its
basis at 1 is tA ď B | |B : A| ă 8u. The following theorem compares the known
completions:
Theorem 2.3. [CR-17, Ro-16, ReW-15] There are open continuous surjective group
homomorphisms:
–

Gb ։ Glpp ։ G` ։ Gcλ ։ Gcrr Ý
Ñ Gs .
2.3. Davis Building. Let G‹ be one of the locally compact, totally disconnected
groups from Section 2.2. It admits a BN-pair pB ‹ , N q with the same Weyl group
pW, Sq as the Kac-Moody algebra gC . Consequently, G‹ acts on two simplicial
complexes: the Bruhat-Tits building B and the Davis building D (also known as
Davis realisation or geometric realisation [D-08]).
While the building B is well-known, it is still instructive to recall its definition.
Let PpG‹ q be the set of all proper parabolic subgroups of G‹ . A parabolic P P
9 sPJ
PpG‹ q is conjugate to precisely one of the standard parabolics PJ :“ xB ‹ , sy
where J Ă S, s9 P G‹ is a lift of the element s P W “ N pT q{T . Thus, we can define
the type and the rank of each parabolic by
tpP q “ J, rpP q “ |J| whenever P „ PJ .
The building B is an n-dimensional simplicial complex (n “ |S|) whose set of
k-dimensional simplices Bk is equal to t´1 pn ´ kq “ tP | rpP q “ n ´ ku. A simplex

KAC-MOODY GROUPS AND THEIR REPRESENTATIONS

7

P 1 is a face of P if and only if P Ď P 1 . The group G‹ acts on B in the obvious
way: g P “ gP g ´1 . Since parabolic subgroups are self-normalising, the stabiliser
of P is P itself. One drawback of this action is that stabilisers of simplices are not
necessarily compact. This drawback is fixed in the Davis building.
A subset J Ă S is called spherical if the Coxeter subgroup xJy is finite. Let
P sp pG‹ q be the subset of PpG‹ q that consists of parabolics of spherical type. The set
P sp pG‹ q is partially ordered under inclusion. The Davis building D is the geometric
realisation of the poset P sp pG‹ q, i.e., its set Dk of k-dimensional simplices consists
of pk ` 1q-long chains of spherical parabolics
P0 Ă P1 Ă . . . Ă Pk´1 Ă Pk .
Faces of a simplex are its subchains. The group G‹ acts on D in the same obvious
way: gpPi q “ pgPi g ´1 q. The stabiliser of a chain pPi q is P0 . Thus, all stabilisers
are compact because spherical parabolic subgroups are are necessarily compact.
One interesting example is a generic Kac-Moody group. Suppose ai,j aj,i ě 4 for
all i, j. Then the only spherical subsets of S are the empty set and one element
subsets. Consequently, any chain in P sp pG‹ q is of length at most 1 and D is a tree.
If A has no irreducible components of finite type, both buildings B and D are
contractible, so have the same homotopic type. If A has an irreducible components
of finite type, then D is still contractible, while B is not (see [D-08] for this as well
as detailed study of D). We finish this section by stating Davis’ Theorem:
Theorem 2.4. [D-04] D admits a locally Euclidean, G‹ -invariant metric that turns
D into complete, CAT(0) geodesic space.
2.4. Projective Dimension of Smooth Representations. We study representations of G‹ over a field K of characteristic zero. A representation pV, ρq is called
a smooth representation if for all v P V there exists a compact open subgroup
Kv ď G‹ such that ρpgqv “ v for all g P Kv . Equivalently, the action G ˆ V Ñ V is
required to be continuous with respect to the discrete topology on V (and standard
topologies in G‹ and the product).
The category MpHq of smooth representations of a locally compact totally disconnected topological group H is abelian with enough projectives [B-92, BuH-06].
In case of the group G‹ we can say more by examining its action on D:
Theorem 2.5. [HrR-17] Let d be the dimension of D. Then
coh. dimpMpG‹ qq ď d.
Proof. Let Ci “ Ci pD, Kq be the group of K-linear chains on D. The chain complex
B
B
C “ pCd Ý
Ñ Cd´1 ¨ ¨ ¨ Ý
Ñ C0 q is acyclic since D is contractible, i.e., all homology
groups are trivial except for H0 pC q “ K. This gives an exact sequence
B

B

B

Ñ ¨¨¨ Ý
Ñ C0 Ñ K Ñ 0
Ñ Cd´1 Ý
0 Ñ Cd Ý
of smooth representations of G‹ where K is the trivial representation.
Let σ “ ppPi q, τ q be an oriented simplex in D. Its stabiliser StabG‹ pσq is open:
it is either P0 , or its subgroup of index 2, depending on whether an element of
G‹ can reverse the orientation τ . The one-dimensional space Krσs is a smooth
representation of P0 . Since P is compact, Krσs is projective in MpP0 q. Since P0
is open, the algebraic induction KG‹ bKP0 is left adjoint to the restriction functor

8

DMITRIY RUMYNIN

MpG‹ q Ñ MpP0 q. Hence, KG‹ bKP0 Krσs is a projective module in MpG‹ q.
Observe that
Cm – ‘pPi q KG‹ bKP0 KrppPi q, τ qs
where the sum is taken over representatives of G‹ -orbits on Dm . It follows that C
is a projective resolution of the trivial representation K.
Let V be an object in MpG‹ q. Tensor product of representations bV is an exact
functor MpG‹ q Ñ MpG‹ q so that
0 Ñ Cd b V Ñ Cd´1 b V Ñ ¨ ¨ ¨ Ñ C0 b V Ñ V Ñ 0
is an exact sequence. We claim that it is a projective resolution of V . Indeed, the
functor F “ hompCm , q is exact since Cm is projective. The functor of all linear
q is also exact. The composition of two exact functors is
maps E “ homK pV,
exact, so F E “ hompCm b V, q is exact and Cm b V are projective objects. 
2.5. Localisation. One should put Theorem 2.5 into a broader perspective of
Schneider-Stuhler Localisation [HrR-17, ScSt-97]. By localisation we understand
an equivalence of two categories: a representation theoretic category (MpG‹ q for
us) is equivalent to (“localised to”) a geometric category. The key geometric category is the category CshG‹ pDq of G‹ -equivariant cosheaves on D.
A G‹ -equivariant cosheaf, a.k.a. a coefficient system for homology, is a datum
C “ pCF , rFF 1 , gF q where CF is a K-vector space for each face F of D, rFF 1 : CF Ñ CF 1
is a linear map for each pair of faces F 1 Ď F , gF : CF Ñ CgF is a linear map for all
g P G‹ and a face F that are subject to the following axioms:
(i) rFF “ idF for every face F ,
1
(ii) rFF 2 ˝ rFF 1 “ rFF 2 for faces F 2 Ď F 1 Ď F ,
(iii) ghF ˝ hF “ pghqF for all g, h and F ,
(iv) CF is a smooth representation of the stabiliser G‹F for all F ,
CF ÝÝÝÝÑ CgF
gF
§
§
§
§rgF is commutative for all g and F 1 Ď F .
F
(iii) The square đrF 1
đ gF 1
g

1

F
CF 1 ÝÝÝ
ÝÑ CgF 1
A morphism of equivariant cosheaves ψ : C Ñ E is a system of linear maps
ψF : CF Ñ EF , commuting with actions and restrictions, i.e, the squares
CF ÝÝÝÝÑ EF
CF ÝÝÝÝÑ EF
ψF
ψF
§
§
§
§
§gF
§gF
§rF
§rF
and
đ
đ
đ F1
đ F1

ψ

1

CF 1 ÝÝÝFÝÑ EF 1

ψgF

CgF ÝÝÝÝÑ EgF

are commutative for all g and F 1 Ď F .
The category of equivariant cosheaves CshG‹ pDq is an abelian category [ScSt-97]:
kernels and cokernels can be computed simplexwise. There are several functors connecting the key categories MpG‹ q and CshG‹ pDq. For instance, the trivial cosheaf
functor L associates a cosheaf V P CshG‹ pDq to pV, ρq P MpG‹ q:
V F “ V, rFF 1 “ idV , gF “ ρpgq.
In the opposite direction, if C is a G‹ -equivariant cosheaf, the group G‹ acts on
the the vector space of oriented i-chains (with finite support) Ci pD, Cq with coefficients in C. In fact, G‹ acts on the space of more general chains as well but the

KAC-MOODY GROUPS AND THEIR REPRESENTATIONS

9

finite support ensures that Ci pD, Cq P MpG‹ q, a functor in the opposite direction!
Furthermore, the chain complex
B

B

B

C pCq : 0 Ñ Cd pD, Cq Ý
Ñ Cd´1 pD, Cq Ý
Ñ ¨¨¨ Ý
Ñ C0 pD, Cq Ñ 0
is a chain complex in MpG‹ q. The functor C allows us to paraphrase Theorem 2.5:
Corollary 2.6. Given a smooth representation V , the complex C pV q is a projective
resolution of V .
Resolutions of the form C pCq are quite useful. The category CshG‹ pDq is Noetherian: a subobject of finitely-generated object is finitely-generated. Hence, a
finitely-generated infinite-dimensional object V admits a finitely-generated projective resolution, yet C pV q is not finitely generated. We call a finitely-generated
projective resolution of the form C pCq a Schneider-Stuhler resolution. Do they
exist (cf. Section 3.8)?
It may be possible to construct them using systems of subgroups or system of
idempotents [HrR-17, MeS-10]. In fact, [HrR-17] contains a positive answer to existence of Schneider-Stuhler resolutions modulo a (yet open) conjecture on homology
of a CAT(0)-complex. To satisfy reader’s curiosity we state this conjecture in full
in Section 3.9.
Let us turn our attention to the localisation. We have the trivial cosheaf and
the zero-th homology functors going between MpG‹ q and CshG‹ pDq:
L ppV, ρqq “ V , H pC q “ H0 pD, C q.
Let Σ Ă MorpCshG‹ pDqq be the class of such morphisms ψ that H pψq is an isomorphism. Consider the category of left fractions CshG‹ pDqrΣ´1 s and the fraction functor QΣ : CshG‹ pDq Ñ CshG‹ pDqrΣ´1 s. Note that while these fractions always exist,
Σ needs to satisfy the left Ore condition (a.k.a. admit a calculus of left fractions) for
these objects to be malleable [GZ-67]. The zero-th cohomology functor extends to
a functor from the category of left fractions H rΣ´1 s : CshG‹ pDqrΣ´1 s Ñ MpG‹ q.
We are ready for the localisation theorem, a generalisation of Schneider-Stuhler
Localisation [ScSt-97]:
Theorem 2.7. [HrR-17] Under the notations established above, the following statements hold:
(i) The class Σ satisfies the left Ore condition.
(ii) The functor H rΣ´1 s : CshG‹ pDqrΣ´1 s Ñ MpG‹ q is an equivalence of
categories.
(iii) QΣ ˝ L is a quasi-inverse of H rΣ´1 s.
3. Questions
3.1. Isomorphism Problem. Find necessary and sufficient conditions on realisap R and L
p S to be equivalent as functors to graded Lie algebras.
tions R and S for L
3.2. Existence of Restricted Structure. Suppose F is a field of positive characp R pFq to admit
teristic. Find necessary and sufficient conditions on realisation for L
a structure of restricted Lie algebra. In particular, if A is a generalised Cartan
p D pFq be restricted?
matric of general type and p ď maxi‰j p´Ai,j q, could L

10

DMITRIY RUMYNIN

3.3. Humphreys-Verma Conjecture. Consider “natural” restricted gF -modules,
e.g., irreducible, projective, injective. Do they admit an action of GD pFq such that
for each real root α the differental of the Uα -action is the gF α -action?
3.4. Theory of Over-restricted Representations. Investigate algebraic proptpp`1q{2u
q and its
erties of the over-restricted enveloping algebra U pgF q{pxp ´ xrps , eα
representations.
3.5. Congruence Kernel. Develop techniques for computing CpGlpp q. Find necessary and sufficient conditions for CpGlpp q to be trivial (central, finitely pro-pgenerated, etc.).
3.6. Lattices in Locally Pro-p-complete Kac-Moody Groups. Find minimal
covolume of lattices (uniform and overall) in Glpp .
3.7. Completions. Investigate the completions. Find necessary and sufficient con?
?
?
ditions the following completions to be equal Gb “ Glpp , G` “ Gma` , Gcλ “ Gcrr .
3.8. Schneider-Stuhler Resolution. Does a Schneider-Stuhler resolution exist
for any finitely-generated object V P MpG‹ q? What about irreducible objects?
More precisely, does there exist a family of functors Tk : MpG‹ q Ñ CshG‹ pDq,
indexed by natural numbers, such that for each irreducible L P MpG‹ q there exists
N P N such that C pTk pLqq is a Schneider-Stuhler resolution of L for all k ą N .
3.9. Homology of CAT(0)-Complex. Let X be a CAT(0)-simplicial complex,
A an abelian group. Suppose we have an idempotent operator Λx : A Ñ A for
each vertex x of X. We call this system of idempotents geodesic if the following
conditions hold:
(i) Λx Λy “ Λy Λx if x and y are adjacent,
(ii) Λx Λz Λy “ Λx Λy and Λx Λz “ Λz Λx if z is any vertex of the first simplex
along the geodesic rx, ys for all vertices x and y.
Such geodesic system gives a cosheaf AΛ where AΛ is the image of the product
F
ś
F
x Λx taken over all faces of F and rF 1 are natural inclusions.
Is it true that Hm pX , AΛ q “ 0 for all m ą 0?
A positive answer to this question for Bruhat-Tits buildings can be obtained by
the methods of Meyer and Solleveld [MeS-10].
References
[AM-97]

P. Abramenko, B. Muhlherr, Presentations de certaines BN-paires jumeles comme
sommes amalgames, C. R. Acad. Sci. Paris, Ser. I 325 (7) (1997) 701–706.
[B-92]
J. Bernstein, Representations of p-adic groups, http://www.math.harvard.edu/~ gaitsgde/Jerusalem_2010/GradStudentSe
Harvard University, 1992.
[BuH-06] C. Bushnell, G. Henniart, The Local Langlands Conjecture for GL(2), Springer, 2006.
[CKR-16] I. Capdeboscq, K. Kirkina, D. Rumynin, Presentations of affine Kac-Moody groups,
arXiv:1609.02464
[CR-17] I. Capdeboscq, D. Rumynin, Kac-Moody groups and completions, arXiv:1706.08374
[CaRé-09] P.-E. Caprace, B. Rémy, Groups with a root group datum, Innov. Incidence Geom. 9
(2009), 5–77.
[CrERi-08] L. Carbone, M. Ershov, G. Ritter, Abstract simplicity of complete Kac-Moody groups
over finite fields, J. Pure Appl. Algebra 212 (2008), 2147–2162.
[CtCh-93] R. Carter, Y. Chen, Automorphisms of Affine Kac-Moody Groups and Related Chevalley Groups over Rings, Journal of Algebra 155 (1993), 44–54.

KAC-MOODY GROUPS AND THEIR REPRESENTATIONS

[Ct-05]

11

R. Carter, Lie algebras of finite and affine type, Cambridge University Press, Cambridge, 2005.
[D-08]
M. Davis, The Geometry and Topology of Coxeter groups, LMS Monographs, London,
2008.
[D-04]
M. Davis, Buildings are CAT(0), Geometry and Cohomology in Group Theory, 1994,
Durham, 108 – 123.
[GZ-67] P. Gabriel, M. Zisman, Calculus of Fractions and Homotopy Theory, Berlin-HeidelbergNew York, Springer, 1967.
[HrR-17] K. Hristova, D. Rumynin, Kac-Moody groups and cosheaves on Davis building,
arXiv:1704.07880
[Ka-85] V. Kac, Infinite-dimensional Lie algebras, Cambridge University Press, Cambridge,
1985.
[Ku-02] S. Kumar, Kac-Moody groups, their flag varieties and representation theory,
Birkhäuser, Boston, 2002
[Ma-13] T. Marquis, Topological Kac–Moody groups and their subgroups, Ph.D. Thesis, Universite Catholique de Louvain, 2013.
[Ma-14] T. Marquis, Abstract simplicity of locally compact Kac-Moody groups, Compos. Math.
150 (2014), 713–728.
[MeS-10] R. Meyer, M. Solleveld, Resolutions for representations of reductive p-adic groups via
their buildings, J. Reine Angew. Math. 647 (2010), 115–150.
[ReW-15] C. Reid, P. Wesolek, Homomorphisms into totally disconnected, locally compact groups
with dense image, arXiv:1509.00156
[Ré-02]
B. Rémy, Groupes de Kac-Moody déployés et presque déployés, Astérisque No. 277,
2002.
[Ro-06]
G. Rousseau, Groupes de Kac-Moody déployés sur un corps local, immeubles microaffines, Compos. Math. 142 (2006), 501–528.
[Ro-16]
G. Rousseau, Groupes de Kac-Moody déployés sur un corps local II. Masures ordonnées,
Bull. Soc. Math. France 144 (2016), 613–692.
[ScSt-97] P. Schneider, U. Stuhler, Representation theory and sheaves on the Bruhat-Tits building, Publications Mathématiques de l’IHÉS, Springer, 1997.
[VKa-71] B. Veisfeiler, V. Kac, Exponentials in Lie algebras of characteristic p, Izv. Akad. Nauk
SSSR Ser. Mat. 35 (1971), 762–788.
[RWs-17] D. Rumynin, M. Westaway, Integration of modules: exponentials and stability,
arXiv:1708.06620
[T-81]
J. Tits, Définition par générateurs et relations de groups avec BN-paires, C. R. Acad.
Sci. Paris Sér. I Math. 293 (1981), 317–322.
[T-87]
J. Tits, Uniqueness and presentation of Kac-Moody groups over fields, J. Algebra 105
(1987), 542–573.
[Wa-91] Z. X. Wan, Introduction to Kac-Moody algebra, World Scientific, 1991.
E-mail address: D.Rumynin@warwick.ac.uk
Department of Mathematics, University of Warwick, Coventry, CV4 7AL, UK

