arXiv:1704.07880v2 [math.RT] 2 May 2017

KAC-MOODY GROUPS AND COSHEAVES ON DAVIS
BUILDING
KATERINA HRISTOVA AND DMITRIY RUMYNIN
Abstract. 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.

Our investigation of representation theory of Kac-Moody groups aims to combine
two known lines of inquiry. Bernstein in his 1992 lectures in Harvard [1] proposed
to look at representation theory of p-adic groups through a geometric prism, à
la Klein. A p-adic group H acts on a space, its Bruhat-Tits building BT . A
careful study of this action brings new, useful insights into representation theory of
H. This approach culminated in the 1997 seminal work by Schneider and Stuhler
[21] where they developed a systematic approach for passing from representations
to equivariant objects on BT , an ultrametric rendition of the Beilinson-Bernstein
localisation.
The second line comes from the 2002 influential work by Dymara and Januszkiewicz.
They pioneered a method for computing cohomology of a Kac-Moody group G by
studying cohomology of BT and its Davis realisation D [8].
In the present paper we examine the smooth representations of a Kac-Moody
group G by localising them over D. Thus, we unify the two lines of inquiry described
above. A natural question is whether it is possible to use BT rather than D. It is
possible only for those Kac-Moody groups G that are hyperbolic in the following
sense: any proper Dynkin subdiagram is of finite type. In particular, affine Dynkin
diagrams are hyperbolic, so our results are applicable to algebraic groups over local
fields and their Bruhat-Tits buildings.
Let us now explain the content of the present paper. We strive to cover the
correct generality in our results, the generality where our proofs work. The price
we pay for this is that the different sections of the paper have different assumptions.
Let us go section by section explaining our results and our assumptions.
In Section 1 we collect some useful results about Haar measure on a locally compact totally disconnected topological group G. One particular twist is that our

Date: May 2, 2017.
1991 Mathematics Subject Classification. Primary 20G44; Secondary 22D12.
Key words and phrases. Kac-Moody group, smooth representation, building, Davis realisation,
Hecke algebra, projective resolution, projective dimension, duality.
The research was partially supported by the Russian Academic Excellence Project ‘5–100’ and
by Leverhulme Foundation. The authors are indebted to Inna Capdeboscq for constant attention
to our efforts. The authors would like to thank Peng Xu for valuable lessons on the work of
Schneider and Stuhler and Robert Kurinczuk for valuable correspondence.
1

2

KATERINA HRISTOVA AND DMITRIY RUMYNIN

Haar measure takes values in a field of a possibly positive characteristic. We introduce Hecke algebra. While we follow Bushnell and Henniart [4] in our treatment,
we do not assume unimodularity. In particular, we formulate a useful criterion for
unimodularity (Proposition 1.2).
In Section 2 we keep the same assumptions on the group G as in Section 1, in
particular, G is not necessarily unimodular. In perspective, we would like to cover
the group GLn pKq over a local field K. When GLn pKq acts on BT , the stabilisers
are not compact, just compact modulo centre. So we choose a central subgroup
A of G, modulo which we can effectively describe geometry and representation
theory. In particular, we introduce the abelian category MA pGq of A-semisimple
smooth representations of G over a field F. We follow Bushnell and Henniart [4]
to show that MA pGq is equivalent to a category of representations of a Hecke
algebra (Theorem 2.5). The pay-off is existence of enough projectives in MA pGq
(Corollary 2.7).
We study these projectives in Section 3. We also start contemplating projective
resolutions. If pP‚ , d‚ q is a resolution of the trivial module, then pP‚ b V, d‚ b IV q
is a projective resolution of any module V (Lemma 3.3). At this point we prove
our first main theorem à la Bernstein (Theorem 3.4): if G acts on a contractible
simplicial complex X , the projective dimension of MA pGq is bounded above by the
dimension of X . We follow Gelfand and Manin [12, Chapter 1] with simplicial notation and terminology: by X we denote a simplicial complex, by X‚ “ pXn , X pf qq
– a simplicial set, by |X | – the geometric realisation of X‚ . In particular, G acting
on X‚ means action on each set Xn , commutation of the action with the face maps
X pf q and openness of all stabilisers.
In Section 4 we adopt the assumptions coming from Theorem 3.4: the group (as
before) G acts on a simplicial (not necessarily contractible) set X‚ . We investigate
G-equivariant cosheaves and sheaves (also known as coefficient systems in homology
and cohomology) on X‚ . We prove our second main theorem à la Schneider-Stuhler
(Theorem 4.7). It is a localisation theorem clarifying the interface between MA pGq
and G-equivariant cosheaves on X‚ .
Since MpGq is a Noetherian category, a finitely generated module admits a
finitely generated projective resolution. However, the resolution pP‚ , d‚ q in Theorem 3.4 is not finitely generated. The goal of Section 5 is to chase a construction of
a finitely generated resolution. Such resolution for p-adic algebraic groups is constructed by Schneider and Stuhler by choosing a suitable cosheaf on the Bruhat-Tits
building BT‚ . Inspired by their approach, we propose a similar construction in Conjecture 5.4, proving only the 1-dimensional case in Theorem 5.5. We lack several
crucial tools available to Schneider and Stuhler. Firstly, the Davis building D‚ of a
general type is not as well behaved as an affine BT‚ . Secondly, we lack Bernstein’s
Theorem that certain subcategories of MA pGq are closed under subquotients [21,
Th. I.3]. To overcome these difficulties, we propose to utilise the metric properties
of |D|, which is a CAT(0)-space by Davis’ Theorem. This controls the assumptions
of Section 5: we work with a locally compact totally disconnected G acting on a
simplicial set X‚ whose geometric realisation |X | admits a CAT(0)-metric.
Our assumptions naturally evolve in Section 6. We assume that G is a topological group of Kac-Moody type, i.e., it admits a generalised BN-pair with certain
topological properties. The main result of the section is Theorem 6.4, a description of the Davis building D‚ for such a group G. Consequently, all results from

COSHEAVES

3

previous sections are applicable to G. Another important result is Theorem 6.6: a
topological group of Kac-Moody type is unimodular.
Notice that the Davis building is often called the Davis realisation of BruhatTits building in the literature. Our terminology is justified: BT‚ and D‚ are distinct
simplicial sets. They are homotopic if the Dynkin diagram has no connected components of finite type, but they are both homotopic to a point in this case. Both of
them can be obtained from the same chamber system, yet by different means. We
misapprehend why D is “a realisation” of BT . On the contrary, we feel they are
quite distinct objects.
The Kac-Moody groups emerge in the penultimate Section 7. Given a root
datum D, we explain how the corresponding Kac-Moody group over a finite field
GD pFq q leads to a topological group of Kac-Moody type. Further details and proofs
will be available in an upcoming paper by Capdeboscq and Rumynin [5].
The final Section 8 has similar assumptions to Section 6. We initiate the study
of the homological duality for smooth G-modules. Origins of homological duality
go back to Hartshorne [13]. For p-adic groups the duality was first introduced
by Bernstein and Zelevinsky [2]. In our approach we are influenced by the work
of Yekutieli on the duality for modules over noncommutative rings [23] as well as
Bernstein’ lecture notes [1]. We formulate two conjectures 8.2 and 8.4 on homological duality at the end of this paper. We will address these conjectures in future
research.
1. Haar Measure for Totally Disconnected Groups
Let G be a locally compact totally disconnected topological group. If K is a
compact open subgroup, we can choose a left Haar measure µK on G with µK pKq “
1. We denote the modular function by ∆ : G Ñ Rˆ
ą0 .
Now let I be the set of indices |K : C| of all compact open subgroups C ď K.
Let ZpKq be the ring of fractions on Z obtained by inverting all numbers n P I.
Lemma 1.1. If A Ď G is a Borel set, then µK pAq P ZpKq Y t8u. Moreover,
∆pxq P ZpKq for all x P G.
Proof. The topology admits a basis at e consisting of compact open subgroups [14,
II.7.7]. If C is a compact open subgroup, then it is commensurable to K, hence
µK pCq “

|C : pC X Kq|
P ZpKq .
|K : pC X Kq|

Since A is a disjoint union of left cosets of various compact open subgroups, µK pAq P
ZpKq Y t8u. Finally, ∆pxq “ µK pKxq P ZpKq .

Let F be a field of characteristic p (possibly p “ 0) equipped with the discrete
topology. We say that the field (or its characteristic) is K-modular, if p divides the
order |K|. Similarly, it is K-ordinary, if p does not divide
ś |K|. Recall that the order
|K| of a profinite group K is a supernatural number p pnp with np P t0, 1, . . . 8u
that is the least common multiple of orders of K{H for various open subgroups
H ď K.
A continuous function Θ : G Ñ F is locally constant and, consequently, smooth.
In fact, the sets of smooth functions, continuous functions and locally constant
functions coincide.

4

KATERINA HRISTOVA AND DMITRIY RUMYNIN

If the characteristic p is K-ordinary, then there is a natural ring homomorphism
ZpKq Ñ F. Thus, by Lemma 1.1 we may think that the measure µK and the
modular function ∆ take values in F. In particular, givenş a compactly supported
smooth function Θ : G Ñ F, one can compute its integral G ΘpxqµK pdxq P F.
The F-vector space H “ HpG, F, µK q of all compactly supported smooth functions is a commutative algebra under pointwise multiplication ‚ and the Hecke
algebra under the convolution product [4]:
ż
Ψ ‹ Θpxq “
ΨpyqΘpy´1 xqµK pdyq.
G

This multiplication depends on the choice of the compact open subgroup K such
that the field is K-ordinary. If no such K exists, there is no Hecke algebra as defined
here. If two such subgroups K and K 1 are chosen, the measures are scalar multiples
of each other: µK “ αµK 1 . Hence, the corresponding Hecke algebras pH, ‹q and
pH, ‹1 q are isomorphic:
f pΨ ‹ Θq “ f pΨq ‹1 f pΘq where f pΨq “ αΨ.
The Hecke algebra pH, ‹q is associative but contains no identity unless G is discrete.
The identity should be the delta-function at e P G but it is not well-defined. Instead
H contains a family of idempotents approximating identity. For a compact open
subset U we define a function ΛU P H by ΛU pxq “ 0 if x R U and ΛU pxq “ 1{µK pU q
if x P U . Now take a basis of topology at e consisting of all compact open subgroups.
Then the functions ΛK as K runs over this basis of topology form a family of
idempotents approximating identity.
It is convenient for computations when the group G is unimodular. If G is not
unimodular, the modular function shows up in the change of variables y “ x´1
y“x´1

µK pdxq ùùùùùù ∆pyqµK pdyq.

(1)

It is also useful to contemplate the behaviour of the counit φ and the antipode σ
ż
ΘpxqµK pdxq, σpΘqpxq “ Θpx´1 q.
φ : H Ñ F, σ : H Ñ H, φpΘq “
G

Equation (1) leads to an interesting interaction between the antipode and the
counit:
ż
ż
y“x´1
(2)
φpσpΘqq “
Θpx´1 qµK pdxq ùùùùùù
Θpyq∆pyqµK pdyq “ φpΘ ‚ ∆q.
G

G

Despite the non-unimodularity the antipode is still an anti-automorphism
ż
z“xy
(3)
σpΨ ‹ Θqpxq “ Ψ ‹ Θpx´1 q “ ΨpyqΘpy´1 x´1 qµK pdyq ùùùùù
G
ż
Θpz´1 qΨppz´1 xq´1 qµK pdzq “rσpΘq ‹ σpΨqspxq,
G

while the counit is a homomorphism
ż ż
z“y´1 x
(4)
ΨpyqΘpy´1 xqµK pdxqµK pdyq ùùùùùùù
φpΨ ‹ Θq “
2
ż ż
ż G
ż
ΨpyqΘpzqµK pdyqµK pdzq “ ΨpyqµK pdyq
ΘpzqµK pdzq “ φpΨq ¨ φpΘq.
G2

G

One of the following standard properties

G

COSHEAVES

5

‚ G is compact modulo centre (in particular, compact),
‚ G is perfect (in particular, simple),
‚ G is second countable and admits a lattice,
‚ G admits a Gelfand pair (in particular, abelian) [22, Prop 6.1.2]
ensures that the group G is unimodular. We finish with the following technical
fact, useful as a unimodularity criterion, which we will use later in Theorem 6.6:
Proposition 1.2. Consider a compact open subgroup H of G and x P G. Then
∆pxq ¨ |H : H X x´1 Hx| “ |H : H X xHx´1 |.
Proof. Since µpHq “ µK pHq is finite, it suffices to observe that ∆pxqµpHq “
µpHxq “
“ µpx´1 Hxq “

|x´1 Hx : H X x´1 Hx|
|H : H X xHx´1 |
¨
µpHq
“
¨ µpHq.
|H : H X x´1 Hx|
|H : H X x´1 Hx|


2. Category of Smooth Representations
We study representations of a locally compact totally disconnected topological
group G over a field F. A representation pπ, V q of G is called smooth if for all v P V
there exists a compact open subgroup Kv of G such that πpkqv “ v for all k P Kv .
We denote the abelian category of all smooth representations of G by MpGq.
Fix a closed central subgroup A ď G, which could be trivial. We want to study
A-semisimple smooth representations of G. A simple representation of A is just
a simple F-representation of the group algebra FA. Hence, it is determined by a
r Ě F and a character χ : A Ñ F
r ˆ such that F
r is generated as an
field extension F
rχ and the set of
F-algebra by the image of χ. We denote this representation by F
such characters by IrrpFAq.
Definition 2.1. An A-semisimple smooth representation of G is a smooth representation pπ, V q which is semisimple as a representation of A. By MA pGq we
denote the abelian category of A-semisimple smooth representations of G. For each
character χ P IrrpFAq we denote by MA,χ pGq the full subcategory MA pGq of those
rχ as representations of A.
representations that are direct sums of F

Now let H be a closed subgroup of G with A ď H. Then H is also locally compact
and totally disconnected. There are several ways of inducing a representation from
H to G. We quickly recall them.
x of all H-equivariant
Let pσ, W q P MA pHq. Consider the F-vector space W
functions f : G Ñ W . Equivariance means that
(i) f phgq “ σphqf pgq, for all h P H and g P G.
ĂĎW
x of all “smooth” functions, i.e.,
Consider the F-vector subspace W

Ă if and only if there exists a compact open subgroup Kf of G such
(ii) f P W
that f pgkq “ f pgq, for all g P G and k P Kf .
x q given by rρpgqf spg1 q “ f pg1 gq for
Consider the homomorphism ρ : G Ñ AutF pW
x . If f P W
x and a P A, then rρpaqf spgq “ f pgaq “ f pagq “
g, g1 P G and f P W
σpaqf pgq for all g P G. Writing W “ ‘i Wi as a direct sum of simple A-modules
r χ , we can present f “ ř fi as a sum of A-equivariant smooth functions
Wi “ F
i
i
ř
ř
fi : G Ñ Wi so that rρpaqf spgq “ i σpaqfi pgq “ i rχi paqfi spgq. This proves

6

KATERINA HRISTOVA AND DMITRIY RUMYNIN

x q is A-semisimple (but not smooth). Its submodule pρ, W
Ă q is smooth and
that pρ, W
also A-semisimple, hence it is in MA pGq. Following standard conventions in the
Ă q the representation of G smoothly induced by σ
literature, we call the pair pρ, W
and denote it IndG
pσq.
H
Ă of compactly supported modulo
If we restrict our attention to the subspace of W
H functions, we obtain another representation of G called compactly induced and
denoted by c ´ IndG
H pσq.
The FH-module FG b W becomes an FG-module by setting gpg1 b wq “ gg1 b w
FH

for g, g1 P G, w P W . We call this representation of G algebraically induced and
denote it a ´ IndG
H pσq. It is A-semisimple but not, in general, smooth.
Let H be open, A ď H. This guarantees smoothness of a ´ IndG
H pσq. Now
consider the map ϕ : FG b W Ñ FunH pGH , H W q given by
FH

g b w ÞÑ pf : gh´1 ÞÑ hwq,

g P G, h P H, w P W.

G
As H is open, ϕ is an isomorphism from a ´ IndG
H pσq to c ´ IndH pσq. Let us
summarise the observations above:

Lemma 2.2. Let G be a locally compact totally disconnected group. Suppose H ě A
is a subgroup of G, closed and compact modulo A. The following hold:
G
(1) IndG
H and c ´ IndH define functors from MA pHq por MA,χ pHqq to MA pGq
pMA,χ pGq correspondinglyq.
(2) In the case when H is also open, a ´ IndG
H also defines a functor from
MA pHq por MA,χ pHqq to MA pGq pMA,χ pGq correspondinglyq.

Lemma 2.3. Let H be a subgroup of G, compact modulo A. Suppose that the field
F is H{A-ordinary. Then the categories MA,χ pHq and MA pHq are semisimple.
Proof. Let V P MA pHq.
À Then by definition V is A-semisimple and hence can be
decomposed as V “
Vχ with Vχ “ tv P V | av “ χpaqv for all a P Au. In
χ À
other words, MA pHq “
MA,χ pHq, so it is enough to prove the statement for
χ

MA,χ pHq.
r
r
Let V P MA,χ pHq. Then V is an F-vector
space with an F-linear
H-action. Let
v P V . By smoothness there exists a compact open subgroup Kv of H such that
kv “ v for all k P Kv . Let V 1 :“ xHvyFr . Clearly, H{AKv is both compact and
r
discrete. Hence, H{AKv is finite and V 1 is a finite dimensional F-subspace
of V .
r
We want to show that V is H-semisimple. It suffices to find a direct FHr
complement in V of a finite dimensional H-submodule W . Pick an F-linear
projecn
ř
pi pvqei for
tion p : V Ñ W . Since W is finite dimensional, we can write ppvq “
i“1

some basis e1 , . . . , en of W and some linear functions pi : V Ñ F.
Pick a section x ÞÑ x9 of the quotient homomorphism H Ñ H{A. Let µ “ µH{A
be a Haar measure on H{A with values in F. Define pp : V Ñ W by
ż
9
x9 ´1 ppxvqµpdxq.
pppvq :“
H{A

COSHEAVES

9
The map pp is well-defined: write x9 ´1 ppxvq
“

7

řř
i

ψij px´1 qϕj pxqei for some

j

r then integrate the functions.
ψij , ϕi P C 8 pH, Fq,
r
Clearly, pp is a well-defined F-linear
projection. Let us verify that pppyvq “ yp
ppvq
for all y P H, v P V . Let y “ yA P H{A. For the standard argument we need
a change of variable z “ xy. The group H{A is compact, hence, unimodular and
9 “ ax z9 for some element ax P A depending on x (we think
µpdzq “ µpdxq. Then xy
9 ´1 and
that y is fixed). Furthermore, x9 ´1 “ a´1
x yz
ż
ż
9
9
9 ´1 ppax zvqµpdzq
pppyvq “
“ yp
ppvq.
x9 ´1 ppxyvqµpdxq
“
a´1
x yz
H{A

H{A

r and p is F-linear.
r
The last equality holds because ax acts via the scalar γpax q P F
This yields a decomposition V “ W ‘ kerpp
pq, finishing the proof.

If A is trivial and hence H is compact, then the category MpHq of smooth
representations of H is semisimple.
The Hecke algebra H “ HpG, F, µK q, defined in the last section is a G ´ Gbimodule, smooth on both left and right. We turn these into two commuting with
each other structures of a left G-module:
x

ψpyq “ ψpx´1 yq, ψ x pyq “ ψpyxq.

Let pM, ˚q be an H-module. M is called smooth if H˚M “ M . This is equivalent
to saying that for every m P M there exists a compact open subgroup K of G such
that ΛK ˚ m “ m. All smooth H-modules form a category which we denote by
MpHq.
Proposition 2.4. (cf. [4, 1.4.2]) Suppose H exists (which follows from existence
of a compact open subgroup H such that the field F is H-ordinary). Then the
categories MpGq and MpHq are equivalent.
Proof. We start by defining a functor F : MpGq Ñ MpHq. Fix pπ, V q P ObpMpGqq.
The action
ż
Θpgqπpgqvµpdgq, Θ P MpHq, v P V
Θ ¨ v “ πpΘqv :“
G

gives V the structure of a (left) smooth H-module:
ż ż
z“y´1 x
ΨpyqΘpy´1 xqπpxqvµpdxqµpdyq ùùùùùùù
pΨ ‹ Θq ¨ v “
G2

ż ż

ΨpyqΘpzqπpyqπpzqvµpdzqµpdyq “ Ψ ¨ pΘ ¨ vq.
G2

We denote this module by F pV q.
Let pπ, V q, pπ 1 , V 1 q P MpGq and φ P HompV, V 1 q. Take a compact open subgroup
K which fixes v P V and Θ P H. Then the integral above is nothing but
ÿ
πpΘqv “ µpKq
Θpgqπpgqv.
gKPG{K

8

KATERINA HRISTOVA AND DMITRIY RUMYNIN

Using this we calculate
´
φpπpΘqvq “ φ µpKq

ÿ

gKPG{K

¯
ÿ
Θpgqπpgqv “ µpKq
Θpgqφpπpgqqv “

“ µpKq

ÿ

gPG{K

Θpgqπ 1 pgqφpvq “ π 1 pΘqφpvq.

gKPG{K

In particular, every φ P HomMpGq pV, V 1 q is also an element of HomMpHq pF pV q, F pV 1 qq.
Thus we have defined the functor F : MpGq Ñ MpHq. For the quasi-inverse, take
M P MpHq, m P M and a compact open subgroup K of G such that ΛK ˚ m “ m.
Define a G-action in the following way:
g ˚ m “ ΛgK ˚ m.
This action gives M the structure of a smooth G-module [4].
Using the definition of the module action above, it is easy to check that any ψ P
HomMpHq pM, M 1 q is also an element of HomMpGq pGpM q, GpM 1 qq. This defines a
functor G : MpHq Ñ MpGq.
It is left to check that G is indeed quasi-inverse to F . Fix pπ, V q P MpGq and
M P MpHq. We need the following equalities to hold:
(1) g ¨ v “ g ˚ v for v P V, g P G.
(2) Θ ˚ m “ Θ ¨ m for m P M, Θ P H.
Now, for a compact open subgroup K of G which fixes v under ¨ we have
ż
ΛgK pxqπpxqvµpdxq “
g ˚ v “ ΛgK ˚ v “
G
ż
ż
µpKq´1
πpxqvµpdxq “µpKq´1
πpgxqµdpxq “
gK
K
ż
µpKq´1
πpgqπpxqvµpdxq “ πpgqv “ g ¨ v.
K

This settles (1). To prove (2) we similarly pick a compact open subgroup K such
that ΛK ˚ m “ m. Observe that ΛH ˚ m “ m for any compact open subgroup
H ď K since ΛH ˚ ΛK “ ΛK . Now we can represent an arbitrary function Θ as a
linear combination of functions ΛgH where ΛH ˚ m “ m. Thus, it suffices to verify
(2) for such functions:
ż
ż
x“gy
ΛgH ¨ m “
ΛgH pxqπpxqmµpdxq ùùùùù µpHq´1
πpgyqmµpdyq “
G
H
ż
ż
µpHq´1 πpgq
πpyqmµpdyq “µpHq´1 πpgq
ΛyH ˚ mµpdyq “
H

H

πpgqm “ ΛgH ˚ m.

Now we go back to our initial object of interest – the category MA pGq. Using the
functor F from Proposition 2.4, we define MA,χ pHq :“ F pMA,χ pGqq, MA pHq :“
F pMA pGqq. The following theorem is a tautology but we state it because it is an
important stepping stone.
Theorem 2.5. If H exists, then MA pGq is equivalent to MA pHq.

COSHEAVES

9

Pick a module V P MpGq. Its (skew) coinvariants VA,χ is a module in MA,χ pGq:
r bFA V, where the ring homomorphism is χ : FA Ñ F.
r
VA,χ :“ F

r and V and
Observe that if V P MA,χ pGq, then V is naturally a vector space over F
VA,χ are naturally isomorphic. Furthermore, the skew coinvariants define a functor
MpGq ÝÑ MA,χ pGq, V ÞÑ VA,χ , ϕ ÞÑ ϕA,χ “ 1 b ϕ,
left adjoint to the inclusion functor MA,χ pGq ÝÑ MpGq. Applying equivalence
F and G from Proposition 2.4, we get a corresponding skew invariants functor
MpHq ÝÑ MA,χ pHq, left adjoint to the inclusion functor MA,χ pHq ÝÑ MpHq.
We can use these functors to show that MA,χ pHq has enough projectives.
Lemma 2.6. The category MA,χ pHq has enough projectives.
Proof. For N P MA,χ pHq, n P N we can define a map ϕ : HΛH Ñ N by ϕpΘΛH q “
Θ ˚ n once we choose a compact open subgroup H such that ΛH ˚ n “ n. The
corresponding map ϕA,χ : pHΛH qA,χ Ñ N has n in its image.
It remains to observe that pHΛH qA,χ is projective. The module HΛH is projective in MpHq [20, I.5.2]. Hence, pHΛH qA,χ is projective in MA,χ pHq because a
functor (coinvariants in our case), left adjoint to a right exact functor (the embedding in our case) takes projective objects to projective objects.

Corollary 2.7. If H exists, the categories MA,χ pGq and MA pGq have enough
projectives.
Proof. The statement about MA,χ pGq is immediate. The category MA pGq is a
direct sum ‘χ MA,χ pGq, hence, MA pGq also has enough projectives.

3. Projective Dimension
Let us now investigate the projective dimension of the category MA pGq. As
we have seen in the previous section, induction and compact induction are useful
functors.
Lemma 3.1. Let G be a locally compact totally disconnected group. Suppose H ě A
is a subgroup of G, closed and compact modulo A. Then IndG
H takes injective objects
to injective objects. If H is open then c ´ IndG
takes
projective
objects to projective
H
objects.
Moreover, if the field F is H{A-ordinary and pσ, W q P MA pHq, then IndG
H pσq is
an injective object and c ´ IndG
pσq
is
a
projective
object,
as
soon
as
H
is
open.
H
G
Proof. Frobenius reciprocity for IndG
H tells us that it is right adjoint to ResH and
since any right adjoint to a left exact functor takes injective objects to injective
objects. Similarly, by Frobenius reciprocity for compact induction from open H,
G
c ´ IndG
H is left adjoint to the restriction functor ResH , which is exact. Any such
functor takes projective objects to projective objects.
In the case when F is H{A-ordinary, MA pHq is semisimple, hence pσ, W q P
MA pHq is a semisimple H-module. In other words, W is both injective and projective. We are done by the first part.

G
Observe that a ´ IndG
H – c ´ IndH for an open H. Therefore, we can deduce the
following:

10

KATERINA HRISTOVA AND DMITRIY RUMYNIN

Corollary 3.2. Let G be a locally compact totally disconnected group. Suppose
H ě A is a subgroup of G, open and compact modulo A. Further suppose that the
field F is H{A-ordinary. If pσ, W q is a representation in MA pHq, then FG b W
FH

is a projective object in MA pGq. The statement is also true if we replace MA pHq
with MA,χ pHq.
If A is trivial, Corollary 3.2 yields that smooth representations of G algebraically
induced from a compact open subgroup are projective.
Lemma 3.3. Let G be a locally compact totally disconnected group. Suppose F is
the trivial representation of G and
0 Ñ Pn Ñ Pn´1 Ñ ¨ ¨ ¨ Ñ P0 Ñ F Ñ 0
is a projective resolution of F in MA pGq. Let pπ, V q P MA pGq, not necessarily
finite dimensional. Then
0 Ñ Pn b V Ñ Pn´1 b V Ñ ¨ ¨ ¨ Ñ P0 b V Ñ V Ñ 0
is a projective resolution for V in MA pGq. The statement is also true if we replace
MA pGq with MA,χ pGq.
Proof. We will prove the statement for MA pGq, but the proof is the same for
MA,χ pGq. For the result to hold, it is enough to show that Pi b V is a projective
object in MA pGq for all i “ 1, .., n.
q – HomMA pGq pPi , HomF pV,
qq: to every
Observe that HomMA pGq pPi b V,
α P HomMA pGq pPi b V, W q we associate β P HomMA pGq pPi , HomF pV, W qq defined
by β : pi ÞÑ pγ : v ÞÑ αppi b vqq for pi P Pi , v P V . Conversely, to every β : pi ÞÑ pγ :
v ÞÑ wq we associate α : pi b v ÞÑ βppi qpvq for pi P Pi , v P V, w P W .
Since Pi is projective, the functor HomMA pGq pPi ,
q is exact. As V is a free
F-module HomF pV,
q is also exact. The composition of two exact functors is
exact, so HomMA pGq pPi b V,
q is exact and Pi b V is projective.

Let X‚ “ pXn q, for n “ 0, 1, ..., be a simplicial set [12, Ch. 1]. We say that G
acts on X‚ if G acts on each set Xn and the action commutes with the face maps
X pf q. We are finally ready for the main theorem of this section.
Theorem 3.4. Let G be a locally compact totally disconnected group, A its closed
central subgroup. Suppose G acts on a simplicial set X‚ such that its geometric
realisation |X | is contractible of dimension n and A acts trivially on X‚ . Suppose
further that the stabiliser Gx of any x P Xk is open and compact modulo A. If the
field F is Gx {A-ordinary for any x P Xk , then
proj. dimpMA,χ pGqq ď n

and

proj. dimpMA pGqq ď n.

Proof. Recall that the projective dimension of an object is the minimal length of a
resolution by projective objects. Since MA,χ pGq and MA pGq have enough projectives, projective resolutions exist, so we can talk about the projective dimension of
the categories.
Denote by Xi the F-vector space formally spanned by the elements of Xpiq , the
set of non-degenerate simplices in Xi . Since G acts on X‚ , it also acts on Xi and
thus Xi is an FG-module. Consider the chain complex
C :

d

dn´1

d

n
1
Xn´1 ÝÝÝÑ . . . ÝÑ
X0 ,
Xn ÝÑ

COSHEAVES

11

where d‚ denote the standard boundary operator (cf. Eq. (6), Section 4). Since |X |
is contractible, C is acyclic, so all homology groups are trivial except H0 pC q – F.
This yields the exact sequence:
(5)

dn´1

d

d

n
1
Xn´1 ÝÝÝÑ . . . ÝÑ
X0 Ñ F Ñ 0.
0 Ñ Xn ÝÑ

Let Frσs be the F-vector space spanned by σ P Xpiq . The stabiliser Gσ acts on σ
by either preserving or reversing its orientation. Extending this action linearly we
get an action of Gσ on Frσs. Consider a homomorphism ρ : Gσ Ñ AutF pFrσsq. As
A acts trivially on X‚ , it also acts trivially on Frσs, so pρ, Frσsq P MA,1 pGq. Since
Gσ is open and compact modulo A, FG b Frσs is a projective object in MA,1 pGq
FGσ

by Corollary 3.2.
As a sum of projective objects

ř

σPXpiq

G-module isomorphism
ÿ

FG b Frσs is also projective. We have a
FGσ

–

Ñ Xi , g b ασ ÞÑ gασ
FG b Frσs Ý

σPXpiq

FGσ

so that sequence (5) is a projective resolution of F in MA,1 pGq.
Let pπ, V q P MA,χ pGq. By Lemma 3.3
Xn b V Ñ Xn´1 b V Ñ ¨ ¨ ¨ Ñ X0 b V Ñ V Ñ 0
is a projective resolution of V of length at most n. This concludes the proof for
MA,χ pGq. Since MA pGq “ ‘χ MA,χ pGq, we get proj. dimpMA pGqq ď n.

Example 3.5. Let G “ GLn pKq, where K is a non-Archimedean local field and
centre ZpGq “ Kˆ . Let π be a uniformizer in K. Set A “ xπ n y as our closed central
subgroup. As observed by Bernstein [1, Th. 30], the action of G on its Bruhat-Tits
building implies that proj. dimpMpPGLn pKqqq ď n. Our Theorem 3.4 gives not
only this result but also a subtler result that proj. dimpMA pGLn pKqqq ď n.
4. Cosheaves
Let X‚ “ pXn q be a simplicial set, |X | its geometric realisation. We follow
Gelfand and Manin [12, Ch. 1] with all notation and terminology except that we use
the term sheaf for a cohomological coefficient system and cosheaf for a homological
coefficient system. By default all our sheaves and cosheaves are with coefficients in
F-vector spaces.
Our change of terminology is justified not only by its brevity: a sheaf F on X‚
(cf. Definition 4.2) determines a constructible sheaf |F | on the geometric realisation
|X |. Recall a canonical bijection
ž
˚ n ˆ Xpnq Ñ |X |
∆
τ̊ :
n

˚ n “ tpα0 , . . . αn q P
where Xpnq is the set of non-degenerate n-simplices and ∆
n`1 ř
Rą0 | αk “ 1u. is the abstract n-dimensional simplex. The constructible sheaf
|F | has the following stalk at a point p P |X |:
|F |ppq “ Fx where τ̊ pα, xq “ p,
while the restrictions are determined by the linear (sheaf on X‚ ) structure maps
F pf, xq : FX pf qx Ñ Fx , where f : rms Ñ rns is nondecreasing map, rns “ t0, 1, ...nu,

12

KATERINA HRISTOVA AND DMITRIY RUMYNIN

x P Xn and X pf q : Xn Ñ Xm is the m-th face map. Similarly, a cosheaf C on X‚
defines a constructible cosheaf |C| on |X |.
Now we consider a continuous action of G on the simplicial set X‚ . The continuity
condition on the action means that the stabiliser Gx of any simplex x P Xn is open
in G. We assume that the central subgroup A acts trivially on X‚ .
Definition 4.1. An equivariant cosheaf is a cosheaf C with an additional data: a
linear map gx “ gpCqx : Cx Ñ Cgx for any g P G and any simplex x. This data
satisfies three axioms:
(i) ghx ˝ hx “ pghqx for any g, h P G and a simplex x.
(ii) Cx is a smooth representation of Gx for any simplex x.
Cgx
Cx ÝÝÝÝÑ
gx
§
§
§Cpgf,gxq
§
is commutative for all g P G,
(iii) The square đCpf,xq
đ
gX pf qx

CX pf qx ÝÝÝÝÑ CX pgf qgx

simplices x P Xn and nondecreasing maps f : rms Ñ rns.
A morphism ψ : C Ñ D of equivariant cosheaves is a system of linear maps
ψx : Cx Ñ Dx , commuting with actions and corestrictions, i.e, the squares
Cx
ÝÝÝÝÑ Dx
Cx ÝÝÝÝÑ Dx
ψx
ψx
§
§
§
§
§Dpf,xq
§Cpf,xq
§gpDq
§gpCq
đ
and
đ
x
x
đ
đ
ψX pf qx

CX pf qx ÝÝÝÝÑ DX pf qx

ψgx

Cgx ÝÝÝÝÑ Dgx

are commutative for all g P G, x P Xn and nondecreasing maps f : rms Ñ rns.
We denote the category of equivariant cosheaves by CshG pX‚ q. It is an abelian
category [21]: kernels and cokernels can be computed simplexwise. Another abelian
category of interest is the category ShG pX‚ q of equivariant sheaves. For the sake of
completeness we give its full definition.
Definition 4.2. An equivariant sheaf is a sheaf F with an additional data: a linear
map gx “ gpF qx : Fx Ñ Fgx for any g P G and any simplex x. This data satisfies
three axioms:
(i) ghx ˝ hx “ pghqx for any g, h P G and a simplex x.
(ii) Fx is a smooth representation of Gx for any simplex x.
Fgx
Fx ÝÝÝÝÑ
gx
İ
İ
§
§F pgf,gxq
is commutative for all g P G,
(iii) The square §F pf,xq
§
gX pf qx

FX pf qx ÝÝÝÝÑ FX pgf qgx

simplices x P Xn and nondecreasing maps f : rms Ñ rns.
A morphism ψ : F Ñ E of equivariant sheaves is a system of linear maps
ψx : Fx Ñ Ex , commuting with actions and restrictions, i.e, the squares
Fx
ÝÝÝÝÑ Ex
Fx ÝÝÝÝÑ Ex
ψx
ψx
İ
İ
§
§
§F pf,xq
§Epf,xq
§gpF q
§gpEq
and
§
§
x
x
đ
đ
ψX pf qx

FX pf qx ÝÝÝÝÑ EX pf qx

ψgx

Fgx ÝÝÝÝÑ Egx

COSHEAVES

13

are commutative for all g P G, x P Xn and nondecreasing maps f : rms Ñ rns.
We say that an equivariant cosheaf C (sheaf F ) is discrete if the stabiliser Gx
of any simplex x acts on Cx (correspondingly Fx ) through a discrete quotient, i.e.
the kernel of this representation is an open subgroup of Gx . The full subcategories
of discrete equivariant cosheaves Csh˝G pX‚ q or discrete equivariant sheaves Sh˝G pX‚ q
are abelian categories.
Other full subcategories are A-semisimple (co)sheaves, i.e., those (co)sheaves
where each Fx (correspondingly Cx ) is A-semisimple. There is a further version of
A-semisimple (co)sheaves with a fixed character χ. Hence, we have six categories
of equivariant cosheaves (and similarly sheaves):

Ě

Ď

Ď

Ď

CshG pX‚ q ÐÝÝÝÝ CshG,A pX‚ q ÐÝÝÝÝ CshG,A,χ pX‚ q
Ě
Ě
İ
İ
İ
§
§
§
§
§
§
Ě

Csh˝G pX‚ q ÐÝÝÝÝ Csh˝G,A pX‚ q ÐÝÝÝÝ Csh˝G,A,χ pX‚ q

If pρ, V q is a smooth representation of G, we can associate the trivial cosheaf V
r
r
and the trivial sheaf V to it. We define

“ V x :“ V, V pf, xq :“ IdV , V pf, xq :“ IdV , gx :“ ρpgq
r
r
r
r
for all g P G, x P Xn and nondecreasing maps f : rms Ñ rns. The trivial cosheaf V
r
is discrete (A-semisimple) if and only if V is discrete (A-semisimple) if and only rif
V

x

the trivial sheaf V is discrete (A-semisimple).
We need to work a bit harder to construct more interesting discrete sheaves and
cosheaves. With this aim in mind we propose the following definition.
Definition 4.3. A system of subgroups G of G acting on X‚ is a datum assigning a
subgroup Gx of the simplex stabiliser Gx to each simplex x P Xn . The datum needs
to be G-equivariant, i.e., gGx g´1 “ Ggx for all g P G and x P Xn . The following
adjectives will be applied to a system of subgroups G:
The system is open if Gx is open in Gx for all x.
The system is closed if Gx is closed in Gx for all x.
The system is cofinite if the index of Gx in Gx is finite for all x.
The system is compact modulo A if Gx is compact modulo A for all x.
The system is contravariant if GX pf qx Ď Gx for all x P Xn and nondecreasing
maps f : rms Ñ rns.
‚ The system is covariant if GX pf qx Ě Gx for all x P Xn and nondecreasing
maps f : rms Ñ rns.
‚
‚
‚
‚
‚

Observe that the G-equivariance implies that Gx is a normal subgroup of Gx .
We have a minor moral dilemma which system we should call covariant and which
contravariant. We resolve this dilemma by calling covariant the system of stabilisers
Gx :“ Gx for a label-preserving action of G on a building. We can construct
interesting sheaves and cosheaves by taking invariants and coinvariants with respect
to a system of subgroups.
Proposition 4.4. Let G be a system of subgroups and pρ, V q a smooth G-representation.
The following statements hold:

14

KATERINA HRISTOVA AND DMITRIY RUMYNIN

(1) If G is contravariant, then the invariants V G x :“ V Gx is an equivariant
Ă
Ă equivariant sheaf.
cosheaf and the coinvariants VG :“ VGx is an
x

(2) If G is covariant, then the invariants V G x :“ V Gx is an equivariant sheaf
and the coinvariants VG x :“ VGx is an equivariant cosheaf.
Ă
Ă G is open, then the (co)sheaf is discrete.
(3) If, further to (1) or (2),

(4) If, further to (1) or (2), V is A-semisimple (with a fixed character χ), then
the sheaves V G , VG and the cosheaves V G , VG are A-semisimple (with a
Ă
Ă Ă
Ă
fixed character χ correspondingly).

Proof. One of the invariant spaces V Gx and V GX pf qx contains the other one. Which
contains which depends on whether the system of subgroups is contravariant or
covariant. More precisely, a covariant system produces a sheaf, while a contravariant
system produces a cosheaf. The action of G is given by ρ in both cases: gx :“ ρpxq.
The coinvariant spaces VGx and VGX pf qx are connected by a natural surjection.
Similarly to invariants, a contravariant system produces a sheaf, while a covariant
system produces a cosheaf. The action of G is again given by ρ.
The last two statements are immediate.

Cosheaves are more suitable than sheaves for studying representations in this
simplicial environment. We turn our attention to cosheaves, commenting later on
difficulties one faces with sheaves. Let us recall the homology of |X | with coefficients
in a cosheaf C [12]:
ˇ
)
! ÿ
ˇ
αx x ˇ αx P Cx , all but finitely many αx “ 0 .
Cn pX‚ , Cq :“
xPXn

To define the differential we need the i-th face maps X pBni q, where Bni : rn´1s Ñ rns
is the unique increasing map, missing the value i:
(6)

dn : Cn pX‚ , Cq Ñ Cn´1 pX‚ , Cq,
d0 :“ 0,
n
¯
´ ÿ
ÿ ÿ
p´1qi rCpBni , xqpαx qsrX pBni qpxqs
αx x :“
dn
xPXn

xPXn i“0

for n ą 0. If the simplicial set X‚ is of geometric origin, then a face of a nondegenerate simplex is non-degenerate. In this case we have a subcomplex
pCn pXp‚q , Cq, dn q

ř
that consists of linear combinations of non-degenerate simplices xPXpnq αx x. For
an open subgroup K ď G we introduce the full subcategory MpGqK of MpGq
whose objects are smooth G-representations generated by their K-fixed vectors.
Also, let MpGq˝ be the union of various MpGqK . Its objects are those smooth
representations that are generated by K-fixed vectors for some open subgroup K Ď
G. Inside them we have the corresponding A-semisimple categories
MA pGqK , MA pGq˝ , MA,χ pGqK and MA,χ pGq˝ .
Proposition 4.5. Let C be a G-equivariant cosheaf on X‚ . Let x1 , x2 . . . be representatives of G-orbits on Xn . Then the following statements hold:
(1) There is an isomorphism of G-modules
à
Cn pX‚ , Cq –
a ´ IndG
Gx Cxk .
k

k

COSHEAVES

15

(2) Chains Cn pX‚ , Cq and homologies Hn pX‚ , Cq are smooth G-representations.
(3) If C is A-semisimple (with a character χ), then chains Cn pX‚ , Cq and homologies Hn pX‚ , Cq are A-semisimple (with a character χ respectively).
(4) If C is discrete and Xn has finitely many G-orbits, then chains Cn pX‚ , Cq
and homologies Hn pX‚ , Cq are in MpGq˝ . More precisely, Cn pX‚ , Cq and
Hn pX‚ , Cq are in MpGqK where K “ K1 X K2 X . . . X Kk and Ki is the
kernel of the Gxi -representation Cxi .
(5) If Xn has finitely many G-orbits and Cxk is finitely generated Gxk -module
for each xk , then chains Cn pX‚ , Cq and homologies Hn pX‚ , Cq are finitely
generated G-modules.
(6) Suppose that for each x P Xn , the stabiliser Gx is compact modulo A and
the field F is Gx {A-ordinary. If C is A-semisimple (with a character χ),
then the space of chains Cn pX‚ , Cq is a projective object in MA pGq (correspondingly in MA,χ pGq).
(7) If X‚ is n-dimensional (i.e., Xpnq ‰ H and Xpkq “ H for k ą n), then
Hk pX‚ , Cq “ 0 for k ą n.
(8) If faces of non-degenerate simplices in X‚ are non-degenerate, then the
embedding of complexes pC‚ pXp‚q , Cq, d‚ q ãÑ pC‚ pX‚ , Cq, d‚ q is a homotopy
equivalence (in the category of complexes over MpGq).
Proof. All statements are proved one by one from (1) to (8). Statement (6) requires
Corollary 3.2, while the rest of the statements are straightforward.

Let us examine the functors connecting cosheaves and representations. The
functors from representations to cosheaves are localisation functors: they produce
an equivariant cosheaf, a local object from a representation. The easiest localisation
functor is the trivial cosheaf:
L : MpGq Ñ CshG pX‚ q, Lppρ, V qq “ V .
r
r
In the opposite direction, we have homology functors

H : CshG pX‚ q Ñ MpGq, HpCq “ H0 pX‚ , Cq.

Let Σ Ă MorpCshG pX‚ qq be the class of those morphisms f such that Hpf q is an
isomorphism. We get a functor from the category of left fractions [10, I.1.1]:
HrΣ´1 s : CshG pX‚ qrΣ´1 s Ñ MpGq.
The category of fractions always exists and admits a natural fraction functor
QΣ : CshG pX‚ q Ñ CshG pX‚ qrΣ´1 s. However, in general this category is intractable.
It needs to satisfy the left Ore conditions (or admit the left calculus of fractions in
the terminology of Gabriel and Zisman [10, I.2.2]) to enable working with them:
Lemma 4.6. [10, I.3] Let A be an abelian category, Σ a class of morphisms in
it admitting a left calculus of fractions. Then ArΣ´1 s is an additive category with
finite colimits.
In particular, there are cokernels in ArΣ´1 s. An instructive exercise is to show
that for a morphism s´1 f in ArΣ´1 s the composition cokerpf qs is its cokernel, yet
kerpf q is not necessarily its kernel. To obtain a kernel one needs the right calculus
of fractions. If Σ admits both left and right calculi of fractions, then ArΣ´1 s is
abelian [10, I.3.6].

16

KATERINA HRISTOVA AND DMITRIY RUMYNIN

We are ready for the main theorem of the section, which is a generalisation of
Localisation Theorem by Schneider and Stuhler [21, Theorem V.1]. We follow their
strategy in our proof. It is important to notice that no restriction on F appears in
the theorem.
Theorem 4.7. (Localisation Theorem) Consider a continuous action of the locally
compact totally disconnected group G on a simplicial set X‚ , where the central
subgroup A acts trivially. The following statements hold.
(1) The class Σ of morphisms f in CshG pX‚ q such that Hpf q is an isomorphism
admits a calculus of left fractions.
(2) HrΣ´1 s : CshG pX‚ qrΣ´1 s Ñ MpGq is conservative, i.e., a morphism f is
an isomorphism if and only if HrΣ´1 spf q is an isomorphism.
(3) HrΣ´1 s commutes with colimits.
(4) HrΣ´1 s is faithful, i.e., injective on morphisms.
If |X | is connected, then the following three statements hold:
(5) HrΣ´1 s : CshG pX‚ qrΣ´1 s Ñ MpGq is an equivalence of categories.
(6) QΣ ˝ L is a quasi-inverse of HrΣ´1 s.
–
(7) These equivalences restrict to equivalences CshG,A pX‚ qrΣ´1
Ñ MA pGq
A s Ý
–
and CshG,A,χ pX‚ qrΣ´1
Ñ MA,χ pGq where ΣA and ΣA,χ are intersections
A,χ s Ý
of Σ with the corresponding subcategories.
Proof. A short exact sequence of cosheaves gives rise to a long exact sequence in
homology. Consequently, the functor H is right exact. Hence, it commutes with
finite direct limits (cf. [16, Prop. 3.3.3], the statement proved there is that a left
exact functor commutes with finite inverse limits. Apply the opposite categories to
dualise it). The first three statements follow [10, I.3.4].
Suppose HrΣ´1 spf q “ HrΣ´1 spf 1 q for two morphisms f and f 1 . To prove that
f “ f 1 it suffices to show that cokerpf ´ f 1 q is an isomorphism (cokernels exist by
Lemma 4.6). By (3), HrΣ´1 spcokerpf ´ f 1 qq “ cokerpHrΣ´1 spf q ´ HrΣ´1 spf 1 qq “
cokerp0q is an isomorphism. By (2) cokerpf ´ f 1 q is an isomorphism. This proves
(4).
Since |X | is connected, we have an exact sequence
¯ ÿ
´ÿ
d1
w
αx x “
C1 pX‚ , Fq ÝÑ
C0 pX‚ , Fq Ý
Ñ F Ñ 0, w
αx .
x

x

Observe that for a smooth G-representation V the tensor product Ck pX‚ , Fq b V is
naturally isomorphic as a G-representation to Ck pX‚ , V q. Hence, tensoring with V
r
r
produces another exact sequence
d

1
C1 pX‚ , V q ÝÑ
C0 pX‚ , V q Ñ V Ñ 0
r
r
r
r
´1
that gives a natural isomorphism HrΣ s ˝ pQΣ ˝ Lq – IdMpGq :

–

HrΣ´1 spQΣ pLpV qqq – HpLpV qq “ H0 pX‚ , V q Ý
Ñ V.
r
r
In the opposite direction, we need a natural transformation
γ : IdCshG pX‚ qrΣ´1 s Ñ pQΣ ˝ Lq ˝ HrΣ´1 s

COSHEAVES

17

that we define in CshG pX‚ q for each cosheaf C by
"
Cx Q α ÞÑ 0 P HpCq
if
γpCqx :“
Cx Q α ÞÑ rαxs P HpCq if

x P Xn , n ą 0 ,
x P X0 .

Observe that HpγpCqq is an isomorphism. By (2), γpCq is an isomorphism, so γ is
a natural isomorphism. This proves (5) and (6).
To attack (7), observe a fine difference between CshG,A pX‚ qrΣ´1 s and CshG,A pX‚ qrΣ´1
A s.
The former is a full subcategory of CshG pX‚ qrΣ´1 s, while the latter is the category
of fractions of CshG,A pX‚ q.
They are connected by a natural functor
´1
N : CshG,A pX‚ qrΣ´1
s
Ñ
Csh
pX
s, identical on objects and morphisms.
G,A
‚ qrΣ
A
Clearly, N is an equivalence. It remains to observe HpCshG,A pX‚ qrΣ´1 sq Ď MA pGq
and QΣ pLpMA pGqqq Ď CshG,A pX‚ qrΣ´1 s. Both inclusions are straightforward. 
Theorem 4.7 may or may not bring any new information about representations
of G to the table. For instance, any G acts on the point. Then this theorem is a
tautology, producing the identity functor on MpGq. Another interesting thought
experiment is to replace G with a product G ˆ H where H acts trivially on X‚ .
All information about the H-action in MpG ˆ Hq is swiped under the carpet in
CshGˆH pX‚ q: H needs to act somehow on all Cx for all equivariant cosheaves. On
the other hand, Theorem 3.4 demonstrates that the localisation over simplicial sets
can provide new non-trivial information.
Can we trim down the category of cosheaves by using systems of subgroups? If
Gx is a contravariant system of subgroups, we have an exact sequence
´ÿ
¯ ÿ
d1
w
(7)
C1 pX‚ , V G q ÝÑ
C0 pX‚ , V G q Ý
Ñ V, w
αx x “
αx .
Ă
Ă
x
x
Ă
Ă
Using it, we can get a version of Theorem 4.7 for discrete cosheaves. Let Σ˝ , Σ˝A
and Σ˝A,χ be the intersections of Σ with Csh˝G pX‚ q, Csh˝G,A pX‚ q and Csh˝G,A,χ pX‚ q
correspondingly.
Corollary 4.8. Suppose that |X | is connected and there are finitely many G-orbits
on X0 . Suppose further that for any representation V P MpGq˝ there exists an open
contravariant system of subgroups G such that the following variation of sequence (7)
is exact:
d

w

1
C1 pX‚ , V G q ÝÑ
C0 pX‚ , V G q Ý
Ñ V Ñ 0.
Ă
Ă
Ă
Ă
–
Then the functor HrΣ´1 s provides equivalences Csh˝G pX‚ qrΣ˝ ´1 s Ý
Ñ MpGq˝ ,

–

–

´1
Csh˝G,A pX‚ qrΣ˝A´1 s Ý
Ñ MA pGq˝ , and Csh˝G,A,χ pX‚ qrΣ˝A,χ
sÝ
Ñ MA,χ pGq˝ .

Proof. Similarly to the proof of Theorem 4.7, the difference between Csh˝G pX‚ qrΣ´1 s
and Csh˝G pX‚ qrΣ˝ ´1 s is immaterial. Parts (3) and (4) of Proposition 4.5 tell us
that HrΣ´1 s is a well-defined functor Csh˝G pX‚ qrΣ˝ ´1 s Ñ MpGq˝ . Ditto for the
A-semisimple categories.
If V P MpGq˝ , we pick the aforementioned (in the statement) system of subgroups G. Then the trivial cosheaf QΣ pLpV qq “ V is isomorphic to the cosheaf V G
r
Ă
r
Ă
in CshG pX‚ qrΣ´1 s. The latter cosheaf is discrete because Gx acts on V G x via the
Ă
Ă
discrete quotient Gx {Gx . It is easy to see A-semisimplicity through as well.


18

KATERINA HRISTOVA AND DMITRIY RUMYNIN

If V is admissible and G is compact open, then the cosheaf V G is finite dimenĂ
Ă
sional, i.e., each vector space V G x is finite dimensional. Thus, it has a chance
Ă
Ă finitely generated projective modules. We will
of giving us a resolution of V by
address this problem in the next section.
Finally, let us comment why we think cosheaves are better than sheaves for our
studies. If F is an equivariant sheaf, the cohomology C n pX , F q is not necessarily a
smooth representation of G. Taking its smooth part, one gets a smooth cohomology
‚
complex Csm
pX , F q, whose relation to the topology of X is more remote than
of the original complex C ‚ pX , F q. In particular, one could expect a subtle, yet
‚
pX , V q and V , but it remains to be seen
fruitful interplay between C ‚ pX , V q, Csm
whether this mesh is capable of producing something useful, for instance, injective
resolutions of V .

5. Schneider-Stuhler Resolution
We call a finitely generated projective resolution of the form C‚ pX‚ , V G q a
Ă
Ă
Schneider-Stuhler resolution, acknowledging their construction for p-adic algebraic
groups [21]. Where do suitable (for such resolutions) systems of subgroups come
from?
Denote by fik the function fin : r0s Ñ rns, fin p0q “ i. Suppose we are given a
compact open subgroup Gx for each vertex x P X0 such that
(1) Ggx “ gGx g´1 for all g P G, x P X0 and
(2) Gx Gy “ Gy Gx if x and y are adjacent, i.e., x “ X pf01 qpwq, y “ X pf11 qpwq
for some w P X1 .
Condition (2) allows us to extend this collection of subgroups to a compact open
contravariant system of subgroups by taking products over vertices:
Gx :“ GX pf0n qx GX pf1n qx ¨ ¨ ¨ GX pfnn qx for all x P Xn .
We call a compact open contravariant system obtained by this construction from
some initial choice of subgroups an exquisite system.
If the field F is Gx -ordinary for each x P X0 , then it is Gx -ordinary for each
x P X‚ as soon as we deal with an exquisite system. As observed by Meyer and
Solleveld [19], this gives us idempotents Λx :“ ΛGx P H “ HpG, F, µq for a suitable
choice of µ (notation of Section 1). Not only are these idempotents convenient for
calculations but also they control the invariants: V Gx “ Λx ˚ V .
Lemma 5.1. (cf. [19]) The collection Λx , x P X‚ of idempotents arisen from an
exquisite system of subgroups satisfies the following identities:
(1) Λx ‹ Λy “ Λy ‹ Λx if x, y P X0 are adjacent.
(2) Λx “ ΛX pf0n qx ‹ ΛX pf1nqx ‹ . . . ‹ ΛX pfnnqx for all x P Xn .
(3) Λg¨x “ g Λx g

´1

for all g P G, x P X‚ .

Proof. By definition
(8)

Λx ‹ Λy pgq “

ż

G

Λx phqΛy ph´1 gqµpdhq.

COSHEAVES

19

The integrand vanishes unless h P Gx , h´1 g P Gy . Thus Λx ‹ Λy is supported on
Gx Gy . Moreover, h´1 g P Gy translates into h P gGy so that (8) becomes
ż
µpGx X gGy q
.
Λx phqΛy ph´1 gqµpdhq “
(9)
µpGx qµpGy q
Gx XgGy
Decomposing g “ hph´1 gq for some h P Gx , h´1 g P Gy , (9) becomes
µpGx X hGy q
µph´1 pGx X hGy qq
µpGx X Gy q
1
“
“
“
“
µpGx qµpGy q
µpGx qµpGy q
µpGx qµpGy q
|Gx : pGx X Gy q|µpGy q
1
1
“
“ ΛGx Gy pgq.
|Gx Gy : Gy |µpGy q
µpGx Gy q
Since Gx Gy “ Gy Gx , we have proved not only (1) but a stronger equation
(10)

Λ x ‹ Λ y “ Λ Gx Gy “ Λ y ‹ Λ x .

Statement (2) follows from Equation (10) by an easy induction and the last statement is obvious.

Let |X | be the geometric realisation of the simplicial set X‚ “ pXn q. For a non˚ n ˆ x and its
degenerate x P Xpnq we denote the corresponding simplex in |X | by ∆
points by x “ pα, xq, y “ pα, yq, etc. A particular point of interest is the centre
1
1
, . . . n`1
q, xq (see Section 4).
x̊ “ pp n`1
We make an additional assumption that |X | admits a CAT(0)-metric. Then |X | is
a unique geodesic space [3], in particular, any two points x, y P |X | can be connected
by a unique geodesic, which we denote by rx, ys. A subset Y Ď |X | is called convex
if rx, ys Ď Y for all x, y P Y . The convex hull HullpY q of Y is the intersection of
all convex subsets of |X | containing Y . Notice that rx, ys “ Hullptx, yuq.
Let G be a system of subgroups of G. We would like to have some control over
the subgroups Gx , along geodesics. Bearing this in mind, we propose the following
definition:
Definition 5.2. We say that a contravariant system of subgroups G is geodesic if
for all x, y P |X |
Gz Ď Gx Gy
where z P X0 is a vertex of the first simplex u P Xn along the geodesic rx, ys, i.e.,
z “ X pfin qu for some i and p∆n ˆ uq X rx, ys “ rx, vs for some v P sx, ys.
The significance of this definition transpires in the following lemma:
Lemma 5.3. Suppose that |X | admits a CAT(0)-metric, Gx is a geodesic exquisite
system and the field F is Gx -ordinary for each x P X0 . Then
Λx ‹ Λz ‹ Λy “ Λx ‹ Λy and Λx ‹ Λz “ Λz ‹ Λx ,
as soon as x, y, z P X‚ satisfy the conditions spelled out in Definition 5.2.
Proof. If z “ X pfin qu as in Definition 5.2, then Λx is a product of various ΛX pfknqu ,
hence, commutes with Λz . The first equality easily follows from the geodesic condition Gz Ď Gx Gy .

r ˆ . Given a subgroup H ď G, set Hχ :“
Now consider a character χ : A Ñ F
H{H X kerpχq. It is a subgroup of Gχ . Observe that Hχ is compact if and only if
H is compact modulo A. We are ready for the main conjecture of this section:

20

KATERINA HRISTOVA AND DMITRIY RUMYNIN

Conjecture 5.4. Let G be a locally compact totally disconnected group, A its
closed central subgroup. Suppose G acts smoothly on a simplicial set X‚ of dimension n, with A acting trivially. Further suppose that a face of a non-degenerate
simplex in X‚ is non-degenerate and |X | admits a CAT(0)-metric such that the
˚ n ˆ xq “ ∆
˚ n ˆ x for each x P Xp‚q . If V P MA,χ pGq,
faces are geodesic, i.e., Hullp∆
the following four statements should conjecturally hold:
(1) If G is a geodesic exquisite system of subgroups of Gχ such that F is Gx ordinary for all x P X0 , then the complex
dn´1

d

d

w

n
1
0 Ñ Cn pX‚ , V G q ÝÑ
Cn´1 pX‚ , V G q ÝÝÝÑ . . . ÝÑ
C0 pX‚ , V G q Ý
ÑV
Ă
Ă
Ă
Ă
Ă
Ă
is an exact sequence.
(2) Each Ck pX‚ , V G q is a projective module in MA,χ pGq.
Ă
Ă
(3) If pπ, V q is generated by invariants V Gx for some x P X0 , then the complex
is a projective resolution of V in MA,χ pGq.
(4) If pπ, V q is admissible and Xpkq has finitely many G-orbits, then Ck pX‚ , V G q
Ă
Ă
is a finitely generated G-module.

In fact, statements (2)–(4) are established in Proposition 4.5. Only statement
(1) is truly a conjecture. We can prove its partial case:
Theorem 5.5. If the dimension of |X | is one, then Conjecture 5.4 holds.

Proof. (1), exactness at C0 pX‚ , V G q: The inclusion impd1 q Ď kerpwq is clear. Let
Ă
Ă
n
ř
αi xi P C0 pX‚ , V G q where
us show that kerpwq Ď impd1 q. Pick a 0-cycle α “
Ă
i“1
Ă
all αi ‰ 0. Consider the hull of its support Y :“ Hullptx̊1 , . . . , x̊n uq. Under our
conditions |X | is a tree, so Y is a finite tree. Hence, Y has an endpoint. Without
loss of generality, x̊1 is an endpoint. Let x11 P X0 be the unique vertex adjacent
to x1 such that x̊11 P Y . Let e1 P X1 be the edge connecting x1 and x11 . Since
n
ř
αi “ 0 and Λxi pαi q “ αi , we conclude that
wpαq “
i“1

n
ÿ

(11)

Λxi pαi q “ 0.

i“1

Applying Λx1 ‹p1´Λx11 q to Equation (11), we can rewrite each summand separately,
using Lemmas 5.1 and 5.3:
‚ Λx1 ‹ p1 ´ Λx11 q ‹ Λx1 pα1 q “ p1 ´ Λx11 qpα1 q,
‚ Λxi ‹ p1 ´ Λx11 q ‹ Λxi pαi q “ 0 for i ě 2.
Thus, α1 P kerp1 ´ Λx11 q and α1 P impΛx11 q. Then
α1 :“ α1 x11 `

n
ÿ

αi xi “ d1 p˘αe1 q ` α P C0 pX‚ , V G q
Ă
i“2
Ă
1
and the hull of the support of α is a proper subset of Y . An easy induction on the
size of the hull of the support completes the proof.
n
ř
αi xi P C1 pX‚ , V G q where
(1), exactness at C1 pX‚ , V G q: Pick a 1-cycle α “
Ă
Ă
i“1
Ă
Ă
all αi ‰ 0. Consider the hull of its support Y :“ Hullptx̊1 , . . . , x̊n uq. Again Y is a
finite tree, so Y has an endpoint, e.g., x̊1 . Let z P X0 be the unique vertex of the

COSHEAVES

21

edge x1 such that z̊ R Y . Clearly, d1 pαq “ ˘α1 z ` . . . has a non-zero coeffcient in
front of z. This proves that α “ 0 and d1 is injective.

6. Davis Building for a Group with Generalised BN-pair
Let G be an abstract group. Following Iwahori [15], a generalised BN-pair on a
group G is a triple pB, N, Sq satisfying the following conditions:
(i) B and N are subgroups of G. H “ B X N is a normal subgroup of N .
(ii) N {H “ Ω ⋉ W where Ω is a subgroup and W is a normal subgroup.
(iii) W is generated by the set S. The elements of S have the following properties:
9 s9 Ă B t9
9 sB Y B tB
9 where
(iii.1) For any t in Ω ⋉ W and any s P S we have tB
t9 and s9 are elements of G lifting t and s.
(iii.2) s2 “ 1 and s9 B s9 ´1 ‰ B for all s P S.
(iv) aSa´1 “ S for all a P Ω.
9 a9 ´1 “ B for all a P Ω and B a9 ‰ B for any a P Ωzt1u.
(v) aB
(vi) G is generated by B and N .
As usual W is called the Weyl group of G. Note that W is a Coxeter group and
thus pW, Sq is a Coxeter system. We call Ω ⋉ W the generalised Weyl group. It
is rather ironic that a BN-pair is a triple but it is a moot point whether B and
N uniquely determine S for generalised BN-pairs. Thus, we include S into the
definition for safety.
Given a group G with a generalised BN-pair, we can find a smaller group G0
inside G which has a BN-pair. More precisely, define G0 :“ BW B. Then the
following statements hold [15]:
Lemma 6.1.
(1) G0 is a normal subgroup of G and G{G0 – Ω.
(2) pB, N0 q is a BN-pair for G0 , where N0 “ N X G0 . The Weyl groups of G0
and G are the same.
(3) The automorphism of G0 defined by conjugation by an element g P G preserves the BN-pair up to conjugacy in G0 , i.e., there exists g0 P G0 such
that gBg´1 “ g0 Bg0´1 and gN0 g´1 “ g0 N0 g0´1 .
A group with a BN-pair is an obvious example of a group with generalised BNpair. For a subtler example, consider a group G with a BN-pair pB, N q and another
group Ω. The group Ω ˆ G admits a BN-pair pΩ ˆ B, Ω ˆ N q and a generalised BNpair pB, Ω ˆ N q. The Weyl groups are the same in both cases but the generalised
Weyl group is bigger: N {H “ Ω ˆ W for the latter pair.
For an example pertinent for our investigation, consider G “ GLn pKq over
a non-Archimedean local field K, its Iwahori subgroup I and its subgroup of
monomial matrices N . The pair pI, N q is not a generalised BN-pair: it satisfies
ˆ
ˆ
ˆ n
all axioms except (ii). Indeed, I X N “ Diagn pOK
, . . . , OK
q – pOK
q consists
of diagonal matrices with coefficients in the ring of integers OK ď K. Denote
T “ Diagn pKˆ , . . . , Kˆ q – pKˆ qn . Then N {pI X N q – N {T ⋉ T {H – Sn ⋉ Zn . It
rn´1 as a normal subgroup (where
contains the ř
Weyl group W “ Sn ⋉ Zn0 of type A
n
Z0 “ tpxi q | i xi “ 0u) but there exists no complementary subgroup Ω.
A generalised BN-pair on G “ GLn pKq is pB, N q where N is as above and B “
ˆ
ˆ
ˆ n
ZpGqI. Indeed, H “ ZpGqDiagn pOK
, . . . , OK
q – Kˆ pOK
q and N {H – Sn ⋉ Zn1
n
n
where Z1 “ Z {xp1, 1, . . . , 1qy. The generalised Weyl group contains the Weyl group
rn´1 as a normal subgroup of index n. A complementary
W “ Sn ⋉ Zn0 of type A

22

KATERINA HRISTOVA AND DMITRIY RUMYNIN

group can be chosen as Ω “ xp1, 0, . . . , 0q ¨ γy – Cn where γ “ p1, 2, . . . , nq P Sn .
ˆ
Finally, G0 “ BW B consists of those matrices whose determinant is in xπ n yOK
where π P OK is a uniformizer.
Back to any group G with a generalised BN-pair, Lemma 6.1 guarantees not only
the existence of a building of G0 of type pW, Sq, say BT , but also that BT admits a
well-defined simplicial G-action. The fundamental apartment of BT is the Coxeter
complex associated to the Coxeter system pW, Sq. Hence, there exists a labelling
which identifies each vertex of the fundamental chamber C with an element of S.
We know that both G and G0 act on BT . Let G1 be the subgroup of G that consists
of all label-preserving elements. The following lemma summarises its properties:
Lemma 6.2. The following statements hold in the notations above.
(1) G1 is a normal subgroup of G containing G0 .
(2) If K is the kernel of the G-action on BT , then G1 “ KG0 .
(3) pKB, N1 q is a BN-pair for G1 , where N1 “ N X G1 .
(4) The buildings and the Weyl groups of G0 and G1 are the same.
(5) pKB, N q is a generalised BN-pair for G with the same Weyl group pW, Sq.
(6) If S is finite and the generalised Weyl group for the pair pKB, N q is Ω1 ⋉W ,
then the constituent group Ω1 is finite.
Proof. (1) is obvious.
To prove (2) pick g0 P G0 for any g P G1 as in Lemma 6.1. These elements g
and g0 act in the same way on the set of chambers in BT . Since both preserve the
labelling, they act on BT in the same way and g P Kg0 Ď KG0 .
Once we know (2), (3) and (4) follow from the label-preserving action of G1 on
BT , while (5) is a straightforward check of axioms.
To prove (6), consider g, h P G changing the labelling in the same way. Then
the element gh´1 does not change the labelling and hence gh´1 P G1 . In other
words, we have an injective map:
Ω1 – G{G1 ÝÑ Sn ,
where n “ rankpBT q “ |S|.



We will use the following adjectives for subgroups of pW, Sq and G:
‚ A subgroup WJ of W is special if it is generated by some J Ă S. J is called
a special subset.
‚ If a special subgroup WJ is finite, it is called spherical. Ditto for the set J.
‚ A subgroup PJ of G0 is called special if it is of the form BWJ B. A coset
of a special subgroup of G0 is called a special coset.
‚ A subgroup of G0 is called parabolic of type J if it is conjugate to a subgroup
of the form BWJ B. It is called parabolic of finite type if WJ is spherical.
Denote by SphpSq the set of all spherical subsets of S and consider the following
set:
ž
P :“
G0 {PJ .
JPSphpSq

This is a partially ordered set with respect to inclusion. Observe that g0 PJ0 ď g1 PJ1
if J0 Ď J1 (hence PJ0 Ď PJ1 ), and g0´1 g1 P PJ1 . Denote by Dn the set of all chains
of P of length n ` 1, Dpnq Ď Dn the subset of proper chains:
Dn “ tg0 PJ0 Ď g1 PJ1 Ď . . . Ď gn PJn u, Dpnq “ tg0 PJ0 Ă g1 PJ1 Ă . . . Ă gn PJn u.

COSHEAVES

23

Then D‚ “ pDn q is a simplicial set, whose geometric realisation |D| is the geometric
realisation of the poset P. We call D‚ the Davis building of G. The action of G on
the Bruhat-Tits building BT induces a simplicial action of G on the Davis building
D‚ .
Ď . . . Ď gn PJn s P Dn . The stabiliser Gx is equal to
Lemma 6.3. Let x “ rg0 PJ0 Ş
´1
g0 BΩx WJ0 Bg0 where Ωx “ ni“0 ΩJi and ΩJ is the stabiliser of J.

Proof. By the definition of the partial order, for every i ď n, there exists an element
´1
gi “ pi . Recursively we can write gi “ g0 p1 . . . pi . Hence
pi P PJi with gi´1
´1
´1 ´1
pG0 qgi PJi “ gi PJi gi´1 “ g0 p1 . . . pi PJi p´1
i . . . p1 g0 “ g0 PJi g0 ,

since PJk Ď PJi for all k ď i. This allows us to compute the stabiliser in G0 :
n
n
č
č
g0 PJi g0´1 “ g0 PJ0 g0´1 .
pG0 qx “
pG0 qPJi “
i“0

i“0

Now, we move on to Gx . For every subgroup P of G containing B, there exists a
unique subset J Ď S and a unique subgroup Ω1 of Ω, such that P “ BΩ1 WJ B [15].
The subgroup g0´1 Gx g0 contains B, hence, it is one of these subgroups. Moreover,
as we know its intersection with G0 , we can conclude that
ď
9 J0 B
g0´1 Gx g0 “ Gg´1 ¨x “ BΩ1 WJ0 B “
B uW
0

uPΩ1

1

1

for some subgroup Ω ď Ω. Clearly, u P ΩŞ if and only if its lifting u9 stabilises all
n

cosets in g0´1 ¨ x, i.e., all PJi . Thus, Ω1 “ i“0 ΩJi .

We say that a topological group G is a topological group of Kac-Moody type if a
generalised BN-pair pB, N, Sq is selected such that the following properties hold:
(1) G is a locally compact totally disconnected topological group.
(2) The set S is finite.
(3) The subgroup B is open in G.
(4) The subgroup B contains the kernel K of the G-action on the Bruhat-Tits
building.
(5) If J Ď S is a spherical subset, then PJ {K is compact.
Now we are ready for the main result of this section.
Theorem 6.4. A topological group G of Kac-Moody type acts continuously on its
Davis building D‚ . Moreover, the stabiliser of each x P Dn is compact modulo the
action kernel K.

Proof. The continuity of action is equivalent to all stabilisers Gx being open. This
follows from Lemma 6.3 and B being open.
Since B contains the kernel K, G1 “ G0 by Lemma 6.2. Moreover, the subgroup
Ω is finite. As D‚ incorporates only spherical parabolic subgroups of G0 , each
9
stabiliser Gx is union of finitely many double cosets B wB.
Since K is normal,
9
pB wBq{K is the quotient topological space of B{K ˆ B{K. Thus, each double
9 is compact modulo K and so is Gx .
coset B wB

The fundamental theorem of Davis is that if S is finite, then |D| is a CATp0q geodesic space with a piecewise Euclidean structure [7]. In particular, it is imperative
for us that |D| is contractible. All conditions of Theorem 3.4 and Theorem 4.7 are
satisfied. Let us formulate them as a corollary. Observe that the kernel K contains

24

KATERINA HRISTOVA AND DMITRIY RUMYNIN

any central subgroup, so the condition A Ď K holds automatically. Observe also
that B{A is compact if and only if K{A is compact.
Corollary 6.5. Let G be a topological group of Kac-Moody type, A its central
closed subgroup such that B{A is compact. The localisation functro for the category
of A-semisimple G-representations over a field F
–

MA pGq Ý
Ñ CshG,A pD‚ qrΣ´1
A s
is an equivalence of categories. If the field F is Gx {A-ordinary for any x P D‚ , then
proj. dimpMA pGqq ď

sup |J|
JPSphpSq

where |J| denotes the cardinality of J.
We finish this section with another observation about the class of groups we have
introduced.
Theorem 6.6. A topological group of Kac-Moody type G with compact B is unimodular.
Proof. We can use the compact open subgroup B in Proposition 1.2 to compute
the modular function. In particular, ∆pxq “ 1 for all x P B. Part (v) of the
9 “ 1 for all a P Ω. If s P S,
definition of a generalised BN-pair ensures that ∆paq
then s9 ´1 B s9 “ s9 B s9 ´1 , so again ∆p9sq “ 1.
The theorem follows because B, S9 and Ω9 generate G.

7. Topological Kac-Moody Groups
There are several versions of complete Kac-Moody groups in the literature. The
groups described in Kumar’s book [17] are ind-algebraic. They are not locally
compact, so of little relevance to our investigation. There are several locally
compact Kac-Moody groups including Caprace–Rémy–Ronan groups, Carbone–
Garland–Rousseau groups and Kumar–Mathieu–Rousseau groups. A good review of
various relevant complete Kac-Moody groups can be found in Marquis’ thesis [18].
An upcoming paper by Capdeboscq and Rumynin [5] contains a general approach
to these groups including a construction of a new class of locally pro-p-completed
groups.
Let A “ pαi,j qnˆn be a generalised Cartan matrix, pW, Sq its Weyl group, D “
pX, Y, Π, Π_ q a root datum of type A. Following Carter and Chen [6] we can define
a Kac-Moody group GD pKq over a field K. The topological Kac-Moody is a certain
completion G{
D pKq. We refer the reader to the upcoming paper [5] (also cf. [18])
for further details. If the field K is finite, the group G{
D pKq can be locally compact.
It acts on a building of type pW, Sq. The kernel of this action K is central for
some completions; for some other completions very little is known about K. By
choosing an appropriate subgroup K0 ď K, we can derive examples of topological
groups of Kac-Moody type in the form G :“ G{
D pKq{K0 . The following proposition
summarises what we know about their representations from Corollary 6.5:
Proposition 7.1. Let G “ G{
D pKq{K0 be a topological group of Kac-Moody type derived as described in this section, A its central closed subgroup such that B{A is compact. The localisation functor for the category of A-semisimple G-representations

COSHEAVES

25

over a field F
–

MA pGq Ý
Ñ CshG,A pD‚ qrΣ´1
A s
is an equivalence of categories. If the field F is PJ {A-ordinary for any spherical
J Ď S, then
proj. dimpMA pGqq ď sup |J| “ f pAq,
JPSphpSq

where f pAq is the maximal size of the diagonal minor of A of finite type.
Let us call a generalised Cartan matrix A generic if f pAq “ 1. Thus, for a generic
A, we obtain hereditary abelian categories. It would be interesting to investigate
them further.
Another direction for further research is Schneider-Stuhler resolutions in MA pGq
for topological Kac-Moody groups. We are going to address them in consequent
papers.
8. Homological Duality
We start with a locally compact totally disconnected group G and its closed
central subgroup A. We make no restriction on F for now.
We consider one of the derived categories D‹ pMpGqq where ‹ P t“empty”, ´, `, bu.
We have been working with chain complexes previously, but we feel obliged to
switch to cochain complexes at this point to follow standard conventions. Let
us consider a full subcategory D‹ pMpGqqA,χ for each character χ of A. It consists of cochain complexes M ‚ “ pM n , dn q such that for all a P A we have an
equality a ´ χpaq “ 0 in HompM ‚ , M ‚ q. This enables us to define a full subcategory D‹ pMpGqqA :“ ‘χ D‹ pMpGqqA,χ consisting of A-semisimple complexes.
‹
There are two further related categories: a full subcategory DA
pMpGqq of com‹
plexes with A-semisimple cohomology and D pMA pGqq. The natural functors
‹
D‹ pMA pGqq Ñ D‹ pMpGqqA and D‹ pMpGqqA Ñ DA
pMpGqq are not equivalences,
in general. It is a moot point when they are (cf. [12, Exercises in III.2]).
Let B ‚ be a complex of G-G-bimodules, smooth as both left and right G-modules
such that the left and the right actions of A on B ‚ coincide. We denote these
actions on B n by g b and bg . The bimodule B defines “a dual module” for each
M ‚ P DpMpGqq by
´1

∇pM ‚ q “ ∇B ‚ pM ‚ q :“ HompM ‚ , B ‚ q, rg ¨ ϕspmq :“ pϕpmqqg .
Observe that the functor ∇ preserves DpMpGqqA because the image of ϕ necessarily
takes values in the A-socle of B ‚ . In fact, ∇ takes DpMpGqqA,χ to DpMpGqqA,χ´1 .
The preservation of other categories depends on B ‚ . We say that B ‚ is dualising
if ∇ restricts to a self-equivalence Db pMf.g. pGqqA Ñ Db pMf.g. pGqqA of the derived categories of finitely generated modules and ∇2 is naturally isomorphic to
IdDb pMf.g. pGqqA .
It would be extremely interesting to develop a theory of dualising complexes in
our generality in the spirit of Hartshorne [13] and, in particular, characterise the
dualising complexes as done for rings by Yekutieli [23, Def. 4.1].
Proposition 8.1. (cf. [1, Th. 31]) Suppose that the field F is K-ordinary for a
compact open subgroup K of G. Then the Hecke algebra H “ HpG, F, µK q is a
dualising bimodule.

26

KATERINA HRISTOVA AND DMITRIY RUMYNIN

Proof. Thanks to Proposition 2.4 we are dealing with modules over the idempotented algebra H. An object M ‚ P Db pMf.g. pGqqA admits a projective resolution
P ‚ “ pP n , dn q – M ‚ in K ´ pMpGqq, i.e., Pn “ 0 for n " 0. Each Pn can be chosen
to be a finite direct sum of He for various idempotents e.
We can compute ∇pM ‚ q on this resolution. The natural action of G on ∇pM ‚ q
is the right actions rϕ à gspmq :“ pϕpmqqg that we turn into the left action using
the inverses. Let us not do it so that we can treat ∇pP ‚ q as a complex of right
H-modules. In particular, we can use the natural isomorphism
∇pHeq “ HomH pHe, Hq – eH,

F ÐÑ F peq “ eF peq

to construct the natural isomorphism of functors
γ

∇2 ùñ IdDb pMf.g pGqqA ,

–

–

∇2 pP n q “ ∇2 p‘e Heq Ý
Ñ ∇p‘e eHq Ý
Ñ ‘e He “ P n .

To show that it is well-defined we need to compute what happens to differentials
dn . Each differential is a matrix pdne,f q where dne,f P HomH pHe, Hf q. Using natural
isomorphisms
HomH pHe, Hf q – eHf, F ÐÑ F peq and

HomH pf H, eHq – eHf, F ÐÑ F pf q,

dne,f

we can write each
as eΘe,f f for some Θe,f P H that helps us to perform the
key calculation:
`
˘
`
˘
`
˘
∇2 pdne,f q “ ∇2 peΘe,f f q “ ∇ peΘe,f f q “ peΘe,f f q “ pdne,f q.

Naturality of the transformation γ is apparent after this calculation. Finally, ∇ is
an equivalence because its quasi-inverse is itself.

We would like to state the following conjecture. At present, we cannot prove it
due to our lack of detailed knowledge of representations of G.
Conjecture 8.2. Suppose we are under the assumptions of Proposition 8.1 and
M P MA pGq is a simple module. Then ∇H pM q is a complex concentrated in one
degree.
If Conjecture 8.2 holds, we can write ∇H pM q – M _ rdpM qs. Both the module
M and the integer dpM q are of exceptional interest. It is easy to show that M _
is also a simple module. We would like to finish the paper with a conjectural
description of the homologically dual module M _ for topological groups of KacMoody type that agrees with the known description for p-adic groups [9].
Let G be a topological group of Kac-Moody type as defined in Section 6. We
make additional assumptions for simplicity:
(1) B is compact,
(2) F is a B-ordinary field (so we can choose µ “ µB ),
(3) pB, N, Sq is a BN-pair on G,
(4) A is trivial.
Assumption (1) can be achieved for an arbitrary topological group of Kac-Moody
group G1 by replacing it with G “ G1 {K 1 where K 1 is the kernel of pρ, M q P MpAq.
Assumption (3) can be achieved by restricting pρ, M q to G0 .
Let us denote HpBzG{Bq the space of F-valued compactly supported B-biinvariant functions on G. This space is a subalgebra of the Hecke algebra HpG, F, µq.
For each element w of the Weyl group W we denote by Θw the delta-function of
9
9
the double coset B wB,
i.e., Θw pxq “ 1 if x P B wB
and Θw pxq “ 0 otherwise.
Clearly, Θw , w P W form an F-basis of the spherical Hecke algebra HpBzG{Bq.
_

COSHEAVES

27

We should relate the spherical Hecke algebra to the multiparameter IwahoriHecke algebra Hrqs , qs´1 s [11]. The formal variable qs , s P S depends only on the
W -conjugacy class of s: we set qs “ qt if there exists w P W such that s “ wtw´1 .
Then Hrqs , qs´1 s is a Zrqs , qs´1 s-algebra generated by elements Ts , for s P S, which
satisfy the following relations:
(1) Ts Tt Ts . . . “ Tt Ts Tt . . .
for all s ‰ t P S with the element st of finite
order where each side of the equality contains exactly |st| T -s.
(2) pTs ´ qs qpTs ` 1q “ 0 for all s P S.
The relation between these two algebras is summarised in the following proposition,
whose proof is standard.
Proposition 8.3. The natural homomorphism
Hrqs , qs´1 s b F ÝÑ HpBzG{Bq,
Zrqs ,qs´1 s

Ts b 1 ÞÑ Θs ,

qs ÞÑ |B : B X s9 B s9 ´1 | ¨ 1F

is an isomorphism of algebras.
Let us use this isomorphism to define a new involution. We have already seen the
antipode σpΘqpxq “ Θpx´1 q in Section 1. On the level of Iwahori-Hecke algebra the
antipode is a Zrqs , qs´1 s-linear antihomomorphism of Hrqs , qs´1 s such that σpTs q “
Ts . We define Iwahori-Matsumoto involution (antiinvolution) as a Zrqs , qs´1 s-linear
homomorphism (antihomomorphism) of Hrqs , qs´1 s such that
ιIM pTs q “ ´qs Ts ´1

pσIM pTs q “ ´qs Ts ´1

correspondinglyq.

Observe that the four maps Id, σ, σIM , ιIM form a Klein four-group. Now we use
the notation of Proposition 2.4 to formulate the final conjecture of our paper:
Conjecture 8.4. Suppose we are under the additional assumptions (1)-(4) stated
above and M is a simple module in MpGqB . Then M _ is also a simple module in
MpGqB and the HpBzG{Bq-modules ΛB ˚ F pM q and ΛB ˚ F pM _ q are twists of
each other with respect to the Iwahori-Matsumoto involution ιIM .
References
[1] J.
Bernstein,
K.
Rumelhart,
Representations
of
p-adic
groups,
http://www.math.harvard.edu/~ gaitsgde/Jerusalem_2010/GradStudentSeminar/p-adic.pdf,
Harvard University (1992).
[2] J. Bernstein, A. Zelevinsky, Induced representations of reductive p-adic groups. I. Ann.
Sci. École Norm. Sup. (4) 10 (1977), 441–472.
[3] M. Bridson, A. Haefliger, Metric Spaces of Non-Positive Curvature, Springer (1999).
[4] C. J. Bushnell, G. Henniart, The Local Langlands Conjecture for GL(2), Springer (2006).
[5] I. Capdeboscq, D. Rumynin, Kac-Moody groups and completions, in preparation.
[6] R. Carter, Y. Chen, Automorphisms of Affine Kac-Moody Groups and Related Chevalley
Groups over Rings, Journal of Algebra 155 (1993), 44–54.
[7] M. W. Davis, Buildings are CAT(0), Geometry and Cohomology in Group Theory,
Durham (1994), 108 – 123.
[8] J. Dymara, T. Januszkiewicz, Cohomology of buildings and their automorphism groups.
Invent. Math. 150 no. 3, (2002), 579–627.
[9] S. Evens, I. Mirković, Fourier transform and the Iwahori-Matsumoto involution. Duke
Math. J. 86 no. 3 (1997), 435–464.
[10] P. Gabriel, M. Zisman, Calculus of Fractions and Homotopy Theory, Berlin-HeidelbergNew York, Springer (1967).
[11] M. Geck, G. Pfeiffer, Characters of Finite Coxeter groups and Iwahori-Hecke algebras,
Clarendon Press (2000).
[12] I. Gelfand, Y. Manin, Methods of Homological Algebra, Springer (2003).

28

KATERINA HRISTOVA AND DMITRIY RUMYNIN

[13] R. Hartshorne, Residues and duality, Lecture Notes in Mathematics 20, Springer (1966).
[14] E. Hewitt, K. Ross, Topological groups, Springer (1997).
[15] N. Iwahori, Generalized Tits systems (Bruhat decomposition) on p-adic semisimple
groups, In Algebraic groups and discontinuous subgroups, Proc. Sympos. Pure Math.,
Boulder, Colo. 1965 (1966), 71– 83.
[16] M. Kashiwara, P. Schapira, Categories and sheaves, A Series of Comprehensive Studies
in Mathematics, Vol. 332, Springer (2005).
[17] S. Kumar, Kac-Moody groups, their flag varieties and representation theory, Birkhäuser
(2002).
[18] T. Marquis, Topological Kac–Moody groups and their subgroups, Ph.D. Thesis, Université Catholique de Louvain (2013).
[19] R. Meyer, M. Solleveld, Resolutions for representations of reductive p-adic groups via
their buildings, J. Reine Angew. Math. 647 (2010), 115–150.
[20] D. Renard, Représentations des groupes réductifs p-adiques, Société Mathématique de
France (2010).
[21] P. Schneider, U. Stuhler, Representation theory and sheaves on the Bruhat-Tits building,
Publications Mathématiques de l’IHÉS 85, no.1, (1997) 97–191.
[22] G. van Dijk, Introduction to Harmonic Analysis and Generalized Gelfand Pairs, Walter
de Gruyter (2009).
[23] A. Yekutieli, Dualizing complexes, Morita equivalence and the derived Picard group of
a ring. J. London Math. Soc. (2) 60 (1999), 723–746
E-mail address: K.Hristova@warwick.ac.uk
E-mail address: D.Rumynin@warwick.ac.uk
Department of Mathematics, University of Warwick, Coventry, CV4 7AL, UK

