arXiv:1612.04559v3 [] 26 Jan 2018

L2 -Betti numbers of totally disconnected groups and their
approximation by Betti numbers of lattices
Henrik Densing Petersen, Roman Sauer, and Andreas Thom
Abstract. The main result is a general approximation theorem for normalised
Betti numbers for Farber sequences of lattices in totally disconnected groups.
Further, we contribute to the general theory of L2 -Betti numbers of totally
disconnected groups and provide exact computations of the L2 -Betti numbers
of the Neretin group and Chevalley groups over the field of Laurent series over
a finite field and their lattices.

Contents
1. Introduction

1

2. Algebraic and homological aspects of Hecke algebras

6

3. Spectral approximation in Hecke algebras
4. L2 -Betti numbers of totally disconnected groups

9
13

5. Applications and examples of groups
Appendix A. Invariant random subgroups

19
28

Acknowledgments
References

30
31

1. Introduction
The study of asymptotics of Betti numbers of sequences of lattices with increasing covolume in locally compact groups has a long history. In this article, we prove
a general convergence result that holds for any Farber chain in any unimodular,
totally disconnected group. Moreover, we show that the limit can be identified in
a natural way with an L2 -invariant associated with the locally compact group.
The first instances of such L2 -invariants for non-discrete locally compact groups
are Gaboriau’s first L2 -Betti number of a unimodular graph [17], which is essentially
one of its automorphism group, and the L2 -Betti numbers of buildings in the work
1

2

HENRIK DENSING PETERSEN, ROMAN SAUER, AND ANDREAS THOM

of Dymara [14] and Davis-Dymara-Januszkiewicz-Okun [12], which are essentially
ones of the automorphism groups of the buildings.
In his PhD thesis [26] the first named author developed a homological theory
of L2 -Betti numbers that applies to all unimodular, locally compact groups and
generalises the one by Lück [24, Chapter 6] for the discrete case, see also [27, 28].
Computations reduce to the discrete case whenever the locally compact group G
possesses a lattice Γ as in this case the relation between the L2 -Betti numbers is
(1.1)

(2)

βk (G, ν) =

(2)

βk (Γ)
.
covolν (Γ)

This result is proved by Kyed-Petersen-Vaes [21], the difficult case being nonuniform lattices. Ultimately, it relied on Gaboriau’s deep work on L2 -invariants for
equivalence relations [16]. We present a short proof of Equation (1.1) for arbitrary
lattices in totally disconnected groups in Section 5.5. This also gives a direct proof
of proportionality of L2 -Betti numbers of lattices in the same locally compact,
totally disconnected group which was obtained (for all locally compact groups) by
Gaboriau [16, Corollaire 0.2]. We also note that the vanishing of L2 -Betti numbers
of locally compact second countable groups is a coarse invariant [35].
A fundamental result in the theory of L2 -Betti numbers is Lück’s approximation theorem [22] which expresses L2 -Betti numbers as limits of normalised Betti
numbers along a residual chain of finite index normal subgroups. Farber relaxed
the condition of normality for the sequence of finite index subgroups in the approximation theorem to what is now called a Farber sequence [15]. The relevance of this
notion was explained in the context of invariant random subgroups by Bergeron
and Gaboriau in [5]. The notion of Farber sequence admits a probabilistic generalisation to the situation where the discrete group is replaced by a locally compact
totally disconnected group and the chain of finite index subgroups by a sequence
of lattices.
Throughout the entire article, let G denote a locally compact totally disconnected, second countable, unimodular group with Haar measure ν unless explicitly
stated otherwise. We will denote by K(G) the ordered set of compact-open subgroups of G.
Definition 1.1. A sequence (Γi )i∈N of lattices in G is a Farber sequence if
for every compact open subgroup K < G and for every right coset C of K the
probability that a conjugate gΓi g −1 meets C\{e} tends to zero as i → ∞.
Here the probabilities are taken with respect to the probability Haar measures
on G/Γi . Note that one could replace for every compact open subgroup K < G by
for some compact open subgroup K < G in the above definition.

L2 -BETTI NUMBERS OF TOTALLY DISCONNECTED GROUPS

3

A lattice Γ < G is called cocompact or uniform if G/Γ is compact. Note that
if Γ is cocompact, then there is some compact open subgroup K < G so that every
conjugate of Γ meets K only in {e}. The following notion of uniform discreteness
is a family version of cocompactness. The notion of weak uniform discreteness was
introduced by Gelander [18].
Definition 1.2. Let F be a family of lattices of G. It is called uniformly
discrete if there is a neighbourhood U ⊂ G of the identity so that every conjugate
of a lattice in F meets U only in {e}. We call F weakly uniformly discrete if for
every ǫ > 0 there is a neighbourhood U ⊂ G of the identity such that the probability
that a conjugate of a lattice in F intersects U non-trivially is at most ǫ.
The above definition works for every locally compact group G. If G is also
totally disconnected, one obtains an equivalent definition by replacing neighborhood
of the identity with compact open subgroup.
Next we turn to our main result (proved in Subsection 4.4) which provides an
approximation theorem for Farber sequences of lattices in G. A G-CW-complex
is a CW-complex with a G-action that permutes open cells such that for an open
cell e with ge = e the map x 7→ gx for x ∈ e, is the identity (cf. [42, II.1]). A
contractible G-CW-complex whose stabiliser groups are compact and open is called
a topological model of G. A topological model for G always exists and is unique up
to G-homotopy equivalence [23]. We call a G-CW-complex cocompact if it consists
of only finitely many G-orbits of cells.
Theorem 1.3. Assume that G admits a topological model whose (n+1)-skeleton
is cocompact. Let (Γi )i∈N be a Farber sequence of lattices. Then
βn(2) (G, ν) ≤ lim inf
i→∞

βn (Γi )
covolν (Γi )

for all i ∈ {0, . . . , n}.

If, in addition, (Γi )i∈N is uniformly discrete, then
βn (Γi )
i→∞ covolν (Γi )

βn(2) (G, ν) = lim

for all i ∈ {0, . . . , n}.

Note that the inequality in Theorem 1.3 is the non-trivial and more interesting
inequality, when one follows the proof of Lück’s approximation theorem in the
discrete case. Indeed, it is usually the other inequality – sometimes called Kazhdan’s
inequality – which follows more easily. However, in our situation we were not able
to prove Kazhdan’s inequality without further assumptions.
Next we relate the theorem to the subject of invariant random subgroups which
emerged in the last several years.
The Chabauty topology (cf. Appendix A) on the set SubG of closed subgroups
of G turns SubG into a compact, metrisable space. The group G acts continuously

4

HENRIK DENSING PETERSEN, ROMAN SAUER, AND ANDREAS THOM

on SubG by conjugation. The space of invariant random subgroups IRSG of G is
the space of G-invariant Borel probability measures on SubG endowed with the
topology of weak convergence. Point measures δN of closed normal subgroups
N < G yield examples of invariant random subgroups. Another source of invariant
random subgroups are lattices Γ < G. Indeed, the push forward of the normalised
Haar measure on G/Γ under the measurable map
G/Γ → SubG , gΓ 7→ gΓg −1
is an invariant random subgroup, denoted by µΓ ∈ SubG . Statements about random
conjugates of a lattice Γ always refer to the measure µΓ .
The relationship of convergence of invariant random subgroups and Farber
chains is made precise in the following proposition. We thank Arie Levit for discussions about the relation between convergence in IRSG and Farber convergence, in
particular for pointing out that convergence in IRSG and weak uniform discreteness
imply the property of being a Farber sequence.
Proposition 1.4 (cf. Appendix A). If (Γi )i∈N is a Farber sequence then the
sequence (Γi )i∈N converges to the trivial subgroup seen as an invariant random
subgroup. The converse is true provided the sequence of lattices is weakly uniformly
discrete.
Remark 1.5. Gelander [18] proves that the family of all lattices in a connected non-compact simple Lie group is uniformly weakly discrete which implies the
Kazhdan-Margulis theorem. The family of all lattices in a p-adic analytic group G
is uniformly discrete since G contains an compact open torsionfree subgroup.
A pioneering study of invariant random subgroups in simple Lie groups has
been done in [1,2] by Abért, Bergeron, Biringer, Gelander, Nikolov, Raimbault, and
Samet. They prove structural results on the space IRSG for G being a simple Lie
group with property (T ) and a convergence result for uniformly discrete sequences of
lattices in such G, similar to Theorem 1.3. We cannot expect interesting structural
results on IRSG in the generality of arbitrary totally disconnected groups. However,
for totally disconnected groups of algebraic origin this was achieved by Gelander
and Levit [19].
Theorem 1.6 (Gelander-Levit). Let G be the k-points of a simple linear algebraic group over a non-Archimedean local field k. Assume that G has property (T).
Let (Γi )i∈N be a sequence of lattices whose covolumes tend to ∞ as i → ∞. If
the characteristic of k is positive, we additionally assume that (Γi )i∈N is uniformly
discrete and torsionfree. Then (Γi )i∈N is a Farber sequence.

L2 -BETTI NUMBERS OF TOTALLY DISCONNECTED GROUPS

5

Thus, our results in combination of the work of Gelander and Levit nicely
complement the results in [2], which are more analytic in spirit and only apply to
Lie groups.
We discuss some specific examples of groups and applications in Section 5. We
obtain, in particular, new computations for Chevalley groups (see Theorem 5.7):
Theorem 1.7. Let G be a simple, simply connected Chevalley group over Fq .
Let d be the rank of G. We normalise the Haar measure ν of G so that the Iwahori
group of G has measure 1. Let e1 , . . . , ed denote the exponents of the affine Weyl
group of G. Then we have
(2)

βd (G(Fq ((t−1 ))), ν) =

d
Y

i=1

q ei − 1
> 0.
1 + q + . . . + q ei

2

All other L -Betti numbers vanish. The only non-vanishing L2 -Betti number of the
lattice G(Fq [t]) < G(Fq ((t−1 ))) is
(2)

βd

d
 Y
(q ei +1 − 1)−1 .
G(Fq [t]) =
i=1

If we assume, in addition, that G is of classical type and d > 1 or of type Ẽ6 ,
and q = pa > 9 is a power of a prime p > 5 if G is not of type Ãd , then the
only non-vanishing L2 -Betti number of an arbitrary lattice Γ < G(Fq ((t−1 ))) is in
degree d and satisfies
(2)

(2)

βd (Γ) ≥ βd (G(Fq [t])) .
With the previous theorem we obtain an interesting application of Theorem 1.3:
Theorem 1.8. We retain the setting of Theorem 1.7. Let (Γi )i∈N be a Farber
chain of lattices in G. Then
d
Y

i=1

q ei − 1
βd (Γi )
≤ lim inf
.
i→∞ covolν (Γi )
1 + q + . . . + q ei

Note that we cannot apply Lück’s approximation theorem to prove Theorem 1.8
– even in the case of a residual chain – since the groups Γi do not satisfy the
necessary finiteness condition: they are not of type FPd (actually type FPd+1
would be needed) by a theorem of Bux and Wortman [10]. The Betti numbers
βd (Γi ) are finite by a Theorem of Harder [20, Satz 1].
We finish the paper with some miscellaneous observations, including a discussion of the Connes embedding problem for Hecke-von Neumann algebra which is a
byproduct of our efforts to prove Theorem 1.3.

6

HENRIK DENSING PETERSEN, ROMAN SAUER, AND ANDREAS THOM

2. Algebraic and homological aspects of Hecke algebras
2.1. The Hecke algebras of G and of a Hecke pair (G, K). Let K < G
be a compact open subgroup. The pair (G, K) will be called a Hecke pair. We
normalise the Haar measure to ν(K) = 1.
The Hecke algebra H(G) of G is the convolution algebra of compactly supported, locally constant, and complex-valued functions on G. It is endowed with
an involution given by f ∗ (g) = f (g −1 ). The Hecke algebra H(G, K) of the Hecke
pair (G, K) is the convolution algebra of compactly supported, K-bi-invariant, and
complex-valued functions on G. Note that
M
C · 1KgK ,
H(G, K) = 1K H(G)1K =
KgK∈K\G/K

where 1KgK denotes the characteristic function of the double coset KgK ∈ K\G/K.
Since K ⊂ G is open, K\G is discrete and by our normalisation the push-forward
of the Haar measure is equal to the counting measure. Hence, the space of square
integrable left K-invariant functions on G is naturally identified with ℓ2 (K\G).
We denote by 1Kg the characteristic function of the set Kg. The set {1Kg | Kg ∈
K\G} is an orthonormal basis of ℓ2 (K\G). Convolution determines a natural
representation
π : H(G, K) → B(ℓ2 (K\G))
of H(G; K) as bounded operators on ℓ2 (K\G). In the sequel let [P ] ∈ {0, 1} denote
the truth value of a mathematical expression P . We have
Z
[t ∈ KgK] · [t−1 s ∈ Kh] dν(t)
π(1KgK )(1Kh ) = (1KgK ∗ 1Kh )(s) =
ZG
[t ∈ KgK] · [s−1 t ∈ h−1 K] dν(t)
=
ZG
[t ∈ KgK] · [t ∈ sh−1 K] dν(t)
=
G
Z
[t ∈ KgK ∩ sh−1 K] dν(t)
=
G

= ν(KgK ∩ sh−1 K).
Thus, setting asg,h := ν(KgK ∩ sh−1 K), we obtain
X
asg,h · 1Ks .
1KgK ∗ 1Kh =
Ks∈K\G

The numbers

asg,h

are either 0 or 1 since KgK ∩ sh−1 K is either empty or equal

sh−1 K. Since K is compact, there are, for fixed g, h ∈ G, only finitely many
Ks ∈ K\G such that asg,h 6= 0.

L2 -BETTI NUMBERS OF TOTALLY DISCONNECTED GROUPS

7

Similarly to the computation above, we see that
X
bsg,h · 1KsK
(2.1)
1KgK ∗ 1KhK =
KsK∈K\G/K

with
bsg,h := ν(KgK ∩ sKh−1 K).
The numbers bsg,h are non-negative integers since KgK ∩ sKh−1 K is a finite union
of right cosets of K. They are called the structure constants of the Hecke algebra
H(G, K).
Definition 2.1. The linear functional
X
tr : H(G, K) → C, tr

KsK∈K\G/K


aKsK · 1KsK := aK .

defines a trace on the Hecke algebra H(G, K).
Indeed, the trace property follows from unimodularity:
tr(1KgK ∗ 1KhK ) = ν(KgK ∩ Kh−1 K) = ν(KhK ∩ Kg −1 K) = tr(1KhK ∗ 1KgK )
It is easy to see that tr is positive, unital and self-adjoint with respect to the natural
involution 1∗KgK = 1Kg−1 K . We conclude that H(G, K) is a complex ∗-algebra with
a unital, positive and faithful trace. Moreover, we obtain
tr(T ) = hπ(T )(1K ), 1K i

for T ∈ H(G, K).

2.2. The integral Hecke algebra. It is important for our approach that
homological invariants of the Hecke pair (G, K) are defined not only in terms of its
associated Hecke algebra, but in terms of some integral version of it – a canonical
Z-algebra sitting inside H(G, K) that plays the role of the integral group ring sitting
inside the complex group.
We define the integral Hecke algebra Z[K\G/K] to be the Z-linear span of
{1KgK | KgK ∈ K\G/K} ⊂ H(G, K).
By (2.1), Z[K\G/K] is closed under multiplication provided ν(K) = 1. For brevity,
we will denote the integral Hecke algebra also by Z[G, K]. The following lemma
sheds some light on how to think of the integral Hecke algebra.
Lemma 2.2. The action of Z[G, K] on Z[K\G] by convolution yields an identification of the ring Z[K\G/K] with the ring
homZ (Z[K\G], Z[K\G])G
of right G-equivariant endomorphisms of Z[K\G].

8

HENRIK DENSING PETERSEN, ROMAN SAUER, AND ANDREAS THOM

Proof. It is clear that there is a natural homomorphism
ϕ : Z[K\G/K] → homZ (Z[K\G], Z[K\G])G ,
which is given by convolution on the left. Since the value of ϕ(a) on the trivial coset
1K ∈ Z[K\G] allows to recover a ∈ Z[K\G/K], the map ϕ is injective. Moreover,
by G-equivariance, any element
α ∈ homZ (Z[K\G], Z[K\G])G
is determined by its value α(1K ) on the trivial coset. Now, α(1K ) =

P

Ks∈K\G

aKs ·

1Ks . But aKs is constant on double cosets K\G/K, since α is G-equivariant and
1K is fixed by K. This shows that
X
aKsK · 1KsK
α(1K ) =
KsK∈K\G/K

and proves the claim.



Note that the augmentation homomorphism ε : Z[G, K] → Z which is given by
ε(1KgK ) := ν(KgK) defines a Z[G, K]-module structure on Z.

2.3. Homological algebra for the Hecke algebra. Let K(G) denote the
set of compact open subgroups of G partially ordered by inclusion.
A (possibly non-unital) ring R is called idempotented if for every finite set of
elements S ⊂ R there is an idempotent q ∈ R such that qx = xq = x for all x ∈ S.
A (left) R-module M is non-degenerate if M = R · M . It is easy to see that the
category of non-degenerate R-modules is an abelian category. For an idempotent
q ∈ R the R-module Rq is projective in this category. Since every element in a nondegenerate R-module M is in the image of a homomorphism Rq → M for some
idempotent q, the category of non-degenerate R-modules has enough projectives.
Similarly there are enough injectives. So the derived functors of the hom and tensor
product functors are available, and the usual notions and tools from homological
algebra still work for idempotented rings. See [7, Chapter XII]. The same discussion
applies for right H(G)-modules. The Hecke algebra H(G) is idempotented; it is the
union of 1K H(G)1K = H(G, K), K ∈ K(G).
For a discrete subgroup Γ < G, we may now consider H(G) as a H(G)-C[Γ]bimodule and use it to formulate a suitable Shapiro lemma for homology. Moreover,
the induction by H(G) can be explicitly computed in special cases, for example
H(G)⊗C[Γ] C = H(G/Γ), where H(G/Γ) denotes the vector space of locally constant
and compactly supported functions on the homogenous space G/Γ.

L2 -BETTI NUMBERS OF TOTALLY DISCONNECTED GROUPS

9

Lemma 2.3 (Shapiro). Let Γ be a discrete subgroup in G and let M be a left
Γ-module. There is a natural isomorphism
∼

H∗ (Γ, M ) → TorH(G)
(C, H(G) ⊗C[Γ] M ).
∗
Proof. It suffices to prove that H(G) is a flat right C[Γ]-module. For a compact open subgroup K < G the right C[Γ]-module 1K H(G) is isomorphic to C[K\G]
where K\G is a right Γ-set with finite stabilisers. Such a C[Γ]-module is projective.
Since H(G) is the directed colimit of right C[Γ]-modules 1K H(G) over K ∈ K(G),
it is flat.



3. Spectral approximation in Hecke algebras
Throughout, let K < G be a compact open subgroup. We normalise the Haar
measure ν on G so that ν(K) = 1. For a lattice Γ < G we denote by νG/Γ the finite
measure on X := G/Γ induced by ν. We do not normalise νG/Γ ; its total mass is
covolν (Γ), the ν-covolume of Γ.
3.1. Positive functionals on the Hecke algebra. We denote by
X̄ := K\X = K\G/Γ
the countable set of double cosets and note that X̄ carries a finite measure which
gives the double coset KsΓ ∈ K\G/Γ the measure of its equivalence class KsΓ,
seen as a subset of X. Note that the canonical map K → KsΓ, k 7→ ksΓ is a finite
covering with fibre of size equal to |K ∩ sΓs−1 |. Hence, we obtain νG/Γ (KsΓ) =
|K ∩ sΓs−1 |−1 . Thus, since Γ is a lattice, we conclude
X
X
1
νG/Γ (KsΓ) = νG/Γ (X) = covolν (Γ) < ∞.
=
(3.1)
|K ∩ sΓs−1 |
KsΓ

KsΓ∈X̄

Further, let X̄e be the set of double cosets KsΓ ∈ X̄ such that the map K ∋ k 7→
ksΓ ∈ X is injective or, equivalently,
K ∩ sΓs−1 = {e}.
In particular, for each point KsΓ ∈ X̄e , the corresponding equivalence class KsΓ ⊆
X has measure νG/Γ (KsΓ) = 1. It follows that the set X̄e is finite, with cardinality
|X̄e | ≤ covolν (Γ).

(3.2)
More precisely, we obtain

|X̄e | = νG/Γ ({sΓ | K ∩ sΓs−1 = {e}}).
Thus, we see that ℓ2 (K\G/Γ, ν) contains an isometric copy ℓ2 (X̄e ).

10

HENRIK DENSING PETERSEN, ROMAN SAUER, AND ANDREAS THOM

Definition 3.1. We denote the projection of ℓ2 (K\G/Γ, ν) onto the subspace
ℓ2 (X̄e ) by
PΓ : ℓ2 (K\G/Γ, ν) → ℓ2 (X̄e ).
We want to understand in what sense the quotients of the form K\G/Γ approximate K\G as Γ varies. Our emphasis is on the non-uniform case where special
care is needed. Indeed, we would like to consider a functional
trΓ : H(G, K) → C,
of the form
trΓ (f ) =

1
covolν (Γ)

Z

X

f (sγs−1 ) dνG/Γ (s),

G/Γ γ∈Γ

which means more concretely
trΓ (1KgK ) :=

1
covolν (Γ)

Z

|KgK ∩ sΓs−1 | dνG/Γ (s).
G/Γ

If Γ is a uniform lattice, then trΓ defines a (usually unnormalised) positive trace
on H(G, K), that can be used to relate the spectral properties of the action of the
Hecke algebra on ℓ2 (K\G/Γ, ν) to those of the action on ℓ2 (K\G). However, since
νG/Γ (KsΓ) = |K ∩ sΓs−1 |−1 , the integral for trΓ (1K ) will be infinite if the lattice
is non-uniform. Thus, this approach is of no use in the general case.
In order to overcome this problem, we have to perform a renormalization procedure that concentrates on double cosets of full measure and control its defect on
small double cosets. Note that the subspace of L2 (G/Γ, νG/Γ ) formed of K-invariant
functions, which is spanned by a set of orthogonal functions {1KsΓ | KsΓ ∈ X̄} is
just ℓ2 (K\G/Γ, ν), i.e. the weighted ℓ2 -space on the set K\G/Γ with weights as
given above. The Hilbert space ℓ2 (K\G/Γ, ν) is endowed with an action
πΓ : H(G, K) → B(ℓ2 (K\G/Γ, ν))
given by convolution. We have
hπΓ (1KgK )(1KhΓ ), 1KsΓ i = h1KgK ∗ 1KhΓ , 1KsΓ i = ν(KgK ∩ sΓh−1 K) ∈ Z,
where integrality follows from KgK ∩sΓh−1K being a finite union of right K-cosets.
We record for later:
Remark 3.2. Hence the action of 1KgK on ℓ2 (K\G/Γ, ν) is given, with respect
to the canonical basis consisting of indicator functions, by an infinite matrix with
integer entries and only finitely many non-zero entries in each row and column.
Definition 3.3. The map
ϕΓ : H(G, K) → C, ϕΓ (T ) :=

P

KsΓ∈X̄ hπΓ (T )(1KsΓ ), 1KsΓ i

covolν (Γ)

.

L2 -BETTI NUMBERS OF TOTALLY DISCONNECTED GROUPS

11

defines a unital and positive linear functional on H(G, K). The map
P
P
hPΓ πΓ (T )PΓ∗ (1KsΓ ), 1KsΓ i
hπΓ (T )(1KsΓ ), 1KsΓ i
= KsΓ∈X̄e
.
ϕeΓ (1KgK ) = KsΓ∈X̄e
covolν (Γ)
covolν (Γ)
defines a (possibly non-unital) positive linear functional on H(G, K).
One easily verifies that
P
ν(KgK ∩ sΓs−1 K)νG/Γ (KsΓ)
∈ [0, 1].
(3.3)
ϕΓ (1KgK ) = KsΓ∈X̄
covolν (Γ)
A similar identity holds for ϕeΓ (1KgK ) with the sum only running over KsΓ ∈ X̄e .
This time, we obtain a positive functional ϕΓ resembling the spectral properties of
the action on ℓ2 (K\G/Γ, ν), no matter if Γ is uniform or not.
The functionals tr and φΓi and φeΓ (by first taking the matrix trace and then
the functional) as well as other notions discussed so far extend to matrix algebras
Mn (H(G, K)) for n ∈ N – and we will use the notation introduced so far unchanged
in the setting of matrix algebras.

3.2. Spectral approximation for Farber sequences. We are now finished
with our preparations and will proceed by stating and proving the first main theorem. Let (Γi )i∈N be a sequence of lattices in G. Let T ∈ Mn (H(G, K)) be selfadjoint. By the Riesz representation theorem there is a unique Borel measure µT ,
called the spectral measure with respect to tr, on R such that
Z
tr(T k ) =
tk dµT (t).
R

Similarly, one defines the spectral measures µT,i and µeT,i with respect to φΓi and
φeΓi . The measure µT is supported in the interval [−kπ(T )k, kπ(T )k]. The measures µT,i and µeT,i are supported in the interval [−kπΓi (T )k, kπΓi (T )k]. Since the
operator norms π(T ) and πΓi (T ) are bounded by the maximum of the (obvious)
ℓ1 -norms of the entries of T times n2 (cf. [24, Lemma 13.33 on p. 470]), all three
measures are supported on the compact interval [−c, c] with
c := max{kTi,j k1 | i, j ∈ {1, . . . , n}} · n2 .

(3.4)

Moreover, µT and µT,i are probability measures while the total mass of µeT,i may
be less than 1.
Theorem 3.4. Let (Γi )i∈N be a Farber sequence of lattices in G. Let T ∈
Mn (Z[G, K]) be a self-adjoint element.
(i) The sequences of measures (µT,i ) and (µeT,i ) both weakly converge to µT .
(ii) We have µT ({0}) = limi→∞ µT,i ({0}) = limi→∞ µeT,i ({0}).

12

HENRIK DENSING PETERSEN, ROMAN SAUER, AND ANDREAS THOM

(iii) Assume in addition that T = S ∗ S is positive. Then we have
dimC ker(PΓi πΓi (T )PΓ∗i )
dimC ker(πΓi (T ))
≤ lim inf
i→∞
i→∞
covolν (Γi )
covolν (Γi )

µT ({0}) = lim

with equality provided that the sequence (Γi )i∈N is uniformly discrete and
K sufficiently small.
Proof. (i) Every φΓi is unital, so φΓi (1K ) = 1. For g ∈ G we have

ν(KgK) if KgK ∩ sΓ s−1 6= ∅,
i
ν(KgK∩sΓi s−1 K) = ν((KgK∩sΓi s−1 )·K) ≤
0
otherwise.
Hence, using Equation 3.3,

X

φΓi (1KgK ) ≤ ν(KgK) ·

KsΓi ∈K\G/Γi
KgK∩sΓi s−1 6=∅

νG/Γi (KsΓi )
covolν (Γi )


νG/Γi {sΓi | KgK ∩ sΓi s−1 6= ∅}
= ν(KgK) ·
covolν (Γi )

= ν(KgK) · µΓi {H ∈ SubG | H ∩ KgK 6= ∅}

For g 6∈ K the latter tends to zero as i → ∞ by the Farber condition as KgK can
be covered by finitely many non-trivial K-cosets. Since φΓi is unital we obtain that
lim φΓi (1KgK ) = tr(1KgK )

i→∞

for every double coset KgK. Since 0 ≤ φeΓi (1KgΓ ) ≤ φΓi (1KgΓ ) we obtain also that
lim φeΓi (1KgK ) = tr(1KgK ) = 0 for g 6∈ K.

i→∞

And we have
φeΓi (1K ) =

X

KsΓi
K∩sΓi s−1 ={e}

{KsΓ ∈ K\G/Γ | K ∩ sΓi s−1 = {e}}
ν(KsΓi )
=
covolν (Γi )
covolν (Γi )

= µΓi {H ∈ SubG | H ∩ sΓi s−1 = {e}} .

By the Farber condition φeΓi (1K ) tends to tr(1K ) = 1 as i → ∞. This implies that
the spectral measures µT,i and µeT,i both converge to µT in moments. Since all
the measures are supported on the same compact interval, µT,i and µeT,i weakly
converge to µT .
(ii) By the Portmanteau theorem weak convergence is equivalent to
µT (E) ≥ lim sup µT,i (F ),
i

µT (U ) ≤ lim inf µT,i (U ).
i

for any closed subset F ⊂ R and any open subset U ⊂ R. Similarly for µeT,i . In
particular, we have lim sup µT,i ({0}) ≤ µT ({0}) and lim sup µeT,i ({0}) ≤ µT ({0}).

L2 -BETTI NUMBERS OF TOTALLY DISCONNECTED GROUPS

13

Clearly, lim inf µeT,i ({0}) ≤ lim inf µT,i ({0}). So it remains to show that
lim inf µeT,i ({0}) ≥ µT ({0}).

(3.5)

i→∞

The basic mechanism for proving this builds on the integrality of T and goes back
to the work of Lück [22]. We apply this mechanism in our setting.
Let c > 0 be as in (3.4). Fix i ∈ N. It is clear that PΓi πΓi (T )PΓ∗i is a
finite-dimensional self-adjoint operator. Let e1 , . . . , el be its eigenvalues written
with multiplicity and ordered by increasing absolute value, and let em+1 be the
first non-zero eigenvalue. Since PΓi πΓi (T )PΓ∗i acts as an l × l matrix with integer
entries on ℓ2 (X̄e ), we have |em+1 · · · el | ≥ 1 and |el | ≤ c. By (3.2) we have l ≤
|X̄e | ≤ covolν (Γi ). Fix an ε > 0 and let δ := |{i | ei ∈ (−ε, ε) \ {0}}|. Then
1 ≤ εδ ·cl . Note that µeT,i ((−ε, ε)\{0}) is the matrix trace, normalised by covolν (Γi ),
of the projection onto the sum of eigenspaces of PΓi πΓi (T )PΓ∗i corresponding to
eigenvalues in (−ǫ, ǫ)\{0} . Hence µeT,i ((−ε, ε) \ {0}) = δ/ covolν (Γi ). It follows
that

δ
log c
δ
≤ ≤
.
covolν (Γi )
l
|log ε|
Since i ∈ N was arbitrary, we conclude that, for any ε > 0,
µeT,i ((−ε, ε) \ {0}) =

lim inf µeT,i ({0}) ≥ lim inf µeT,i ((−ε, ε)) −
i→∞

i→∞

log c
|log ε|

log c
|log ε|
log c
≥ µT ({0}) −
.
|log ε|
≥ µT ((−ε, ε)) −

Since ε > 0 was arbitrary we conclude (3.5).
(iii) By definition, µeT,i ({0}) is the matrix trace, normalised by covolν (Γi ), of the
projection of ℓ2 (X̄e ) onto the kernel of PΓi πΓi (T )PΓ∗i . Hence µeT,i ({0}) is just the
vector space dimension of ker(PΓi πΓi (T )PΓ∗i ) normalised by covolν (Γi ). By positivity of πΓi (T ) we have
dimC ker(PΓi πΓi (T )PΓ∗i ) ≤ dimC ker(πΓi (T )),
thus the stated inequality follows. If (Γi )i∈N is uniformly discrete and if we take K
sufficiently small, then PΓi = id for i sufficiently large, and we get equality. This
finishes the proof.


4. L2 -Betti numbers of totally disconnected groups
In this section we review the definition of L2 -Betti numbers of totally disconnected groups from [26] and provide some additional tools. The algebraic approach
pioneered by Lück [24] has found various applications in ergodic theory, algebra

14

HENRIK DENSING PETERSEN, ROMAN SAUER, AND ANDREAS THOM

and geometry, see [29, 34, 36, 40, 41]. We conclude the proof of Theorem 1.3 in
Subsection 4.4.
4.1. The group von Neumann algebra. We denote by
λ : H(G) → B(L2 (G, ν))
the left-regular representation and by ρ : H(G) → B(L2 (G, ν)) the right-regular
representation – defined by left and right convolution, respectively. The group von
Neumann algebra of G is defined to be the weak closure
w

L(G) = λ(H(G)) .
The corresponding closure of the image of ρ is naturally anti-isomorphic to L(G),
so that L2 (G, ν) becomes a L(G)-bimodule in a natural way.
Let H(G)+ and L(G)+ denote the subsets of positive elements x∗ x, respectively.
The trace tr in Definition 2.1 is independent of the Haar measure, but the algebra
structure of H(G) depends on the choice of a Haar measure, being defined in terms
of convolution. The (restricted) trace tr|H(G)+ : H(G)+ → [0, ∞) extends to a
faithful normal semifinite trace tr : L(G)+ → [0, ∞]. Further, it extends to a faithful
normal semifinite trace on the von Neumann algebra of n × n-matrices over L(G)
which we denote by the same symbol. In particular, L(G) and Mn (L(G)) are
semifinite von Neumann algebras. Since the linear span of positive elements with
finite trace is dense in L(G), tr induces a densely defined, faithful, positive tracial
weight on L(G).
Furthermore, if p ∈ L(G) is a projection with tr(p) < ∞, then pL(G)p is a
finite von Neumann algebra with the restriction of tr as finite trace. We usually
normalise this trace with 1/ tr(p).
We refer to [33] for a more detailed survey of the above notions.
4.2. The dimension for modules over the group von Neumann algebra. We review the definition of dimension of arbitrary right L(G)-modules in [26]
which generalizes the corresponding work of Lück for discrete groups.
The dimension of a finitely generated projective (right) L(G)-module P =
pL(G)n where p is a projection in Mn (L(G)) is defined as
dim(L(G),tr) (P ) := tr(p) ∈ [0, ∞].
For an arbitrary L(G)-module M one defines
dim(L(G),tr) (M ) := sup{dim(L(G),tr) (P ) | P ⊂ M f.g. proj. submodule} ∈ [0, ∞].
This dimension is additive for short exact sequences and continuous with respect
to ascending unions of modules [26, Theorems B.22 and B.23].

L2 -BETTI NUMBERS OF TOTALLY DISCONNECTED GROUPS

15

Remark 4.1. If q is a projection in Mn (L(G)) and M = qL2 (G, ν)n is the
image of q then dim(L(G),tr) (M ) = tr(q) by [26, Theorem B.25]. If K ⊂ G is
a compact open subgroup and pK denotes the projection onto the left K-invariant
vectors in L2 (G, ν), then we obtain
dim(L(G),tr) (ℓ2 (K\G)) = dim(L(G),tr) (pK L2 (G, ν)) = tr(pK ) =

1
.
ν(K)

Next we introduce some tools that are needed to express L2 -Betti numbers of
totally disconnected groups via the dimension over a finite von Neumann algebra
(see Lemma 5.1).
Remark 4.2. If K < K ′ is an inclusion of compact open subgroup in G, then
the projections satisfy pK ′ ≤ pK . For two projections p, q in a von Neumann algebra
we write p ∼ q if p, q are Murray-von Neumann equivalent, and we write p  q if
there is p̃ ∼ p such that p̃ ≤ q. If the subgroup K is subconjugated to K ′ , then
pK ′  pK .
Definition 4.3. Let M be a L(G)-module. Let p ∈ L(G) be a projection. The
support s(x) ∈ L of an element x ∈ M is the smallest projection s(x) ∈ L such
that xs(x) = x. We say that M is p-truncated if s(x)  p holds for every x ∈ M .
Remark 4.4. The class of p-truncated modules over L(G) is closed under taking
submodules and homomorphic images. The prototypical case of a p-truncated L(G)module is pL(G): Let x ∈ pL(G). Let sl (x) be the smallest projection in L(G) with
sl (x)x = x. Clearly, we have sl (x) ≤ p. By polar decomposition, s(x) ∼ sl (x)
(cf. [38, Proposition 1.5 on p. 292]).
The following lemma is crucial for relating various definitions of L2 -Betti numbers that exist in the literature.
Lemma 4.5. Let p ∈ L(G) be a projection with tr(p) < ∞. Let M be a ptruncated L(G)-module. We have
dim(L(G),tr) (M ) = tr(p) · dim(pL(G)p,tr(p)−1 tr) (pM ).
Proof. First we show the assertion for finitely generated projective modules
of finite L(G)-dimension. Let q ∈ Mn (L(G)) be a projection such that the L(G)module qL(G)n is p-truncated. Let ei ∈ L(G)n be the i-th standard basis vector.
Let xi = qei ∈ P . By assumption s(xi )  p. Since s(xi ) and p are finite projections
there are unitaries ui ∈ L such that s(xi ) ≤ u∗i pui [38, Proposition 1.38 on p. 304].
Hence
q · diag(u∗1 pu1 , . . . , u∗n pun ) = q.
This implies
q  diag(p, . . . , p) ∼ diag(u∗1 pu1 , . . . , u∗n pun ).

16

HENRIK DENSING PETERSEN, ROMAN SAUER, AND ANDREAS THOM

Let q ′ ∼ q a projection in Mn (L(G)) such that q ′ ≤ diag(p, . . . , p). Then
dim(pL(G)p,tr(p)−1 tr) (qL(G)n p) = dim(pL(G)p,tr(p)−1 tr) (q ′ L(G)n p)
= dim(pL(G)p,tr(p)−1 tr) (q ′ pL(G)n p)
= tr(q ′ ) tr(p)−1
= tr(q) tr(p)−1
= dim(L(G),tr) (qL(G)n ) tr(p)−1 .
Let M be now an arbitrary L(G)-module. For every finitely generated projective
submodule P of M , P p is a submodule of M p whose dimension with respect to
pL(G)p is dim(L(G),tr) (P ) tr(p)−1 . This implies the ≤-inequality in the statement
of the lemma. For the ≥-inequality we refer to the proof of [26, B.35 Theorem]. 
4.3. L2 -Betti numbers. The L2 -Betti numbers of a locally compact, separable, and unimodular group are defined as
βn(2) (G, ν) := dim(L(G),tr) Hcn (G, L2 (G)),
where Hcn denotes the continuous group cohomology [26]. In the case where G is
totally disconnected, it is shown in [26] that
(C, L2∞ (G, ν)).
βn(2) (G, ν) := dim(L(G),tr) TorH(G)
n
Here
L2∞ (G) :=

[

ℓ2 (K\G, ν) ⊂ L2 (G, ν)

K∈K(G)

is the vector space of smooth vectors which is naturally a H(G)-L(G)-bimodule.
From a topological model X of G we obtain projective resolutions of C in the
category of (non-degenerate) H(G)-modules which compute the above Tor group:
Upon taking inverses we may assume that G acts from the right on X. The nskeleton X (n) is built from X (n−1) by attaching G-orbits of n-cells according to
pushouts of G-spaces of the form:
F
n−1
/ X (n−1)
(4.1)
U∈Fn U \G × S

n
U∈Fn U \G × D

F


/ X (n)

Here Fn is the set of n-cells, which we loosely identify with a multi-set of
representatives of conjugacy classes of stabilisers of n-cells. Each coset space U \G
is discrete. Let us fix a choice of pushouts, which is not part of the data of a
cellular complex and corresponds to an equivariant choice of orientations for the
cells. The horizontal maps induce an isomorphism in relative homology by excision.

L2 -BETTI NUMBERS OF TOTALLY DISCONNECTED GROUPS

17

Let C∗ (X) be the cellular chain complex. Every chain group Cn (X) is a discrete
G-module, i.e. an abelian group with a right G-action by homomorphisms such that
the stabiliser of any element is open. The differentials are G-equivariant. We obtain
isomorphisms of discrete G-modules:
(4.2)
M
G
∼
def
=
Z[G/U ] ∼
G/U × (Dn , S n−1 )) −
→ Hn (X (n) , X (n−1) ) = Cn (X)
= Hn (
U∈Fn

U∈Fn

Remark 4.6. For any discrete G-module M , C⊗Z M is naturally a right H(G)module via
mf =

Z

f (g)mgdν(g) for f ∈ H(G) and m ∈ C ⊗Z M .

G

This is has to be understood as follows: If U < G is the stabiliser of m, then read
R
P
the integral as the finite sum g∈G/U ( U f (gu)dν(u))mg. Any homomorphism of
discrete G-modules becomes thus a homomorphism of H(G)-modules.
Hence the cellular chain complex C∗ (X; C) with complex coefficients is a chain
complex of H(G)-modules. Since C[U \G] is isomorphic to pU H(G) when regarded
as a H(G)-module, C∗ (X; C) is a projective resolution of C ∼
= H0 (X) in the category
of non-degenerate right H(G)-modules. Hence we can conclude:
Remark 4.7. Let X be a topological model of G. Then

βn(2) (G, ν) = dim(L(G),tr) Hn C∗ (X; C) ⊗H(G) L2∞ (G, ν) .
The appropriate notion of Euler characteristic in this context counts a G-cell
of the form U \G × Dn with weight (−1)n · ν(U )−1 :
Definition 4.8. If G has a cocompact topological model, then the Euler characteristic of G with respect to the Haar measure ν is – in reference to the setting
in (4.2) – defined as
χ(G, ν) =

X

(−1)p

p≥0

X

ν(U )−1 .

U∈Fn

By the same argument as in [24, Theorem 1.35], which is soley based on the
additivity of the dimension, we obtain the Euler-Poincare formula:
Theorem 4.9. If G has a cocompact topological model, then
X
χ(G, ν) =
(−1)p βp(2) (G, ν).
p≥0

4.4. Conclusion of proof of Theorem 1.3. We retain the notation of Theorem 1.3. Let X be a topological model of G whose (n + 1)-skeleton is cocompact,
i.e. has only finitely many G-orbits of cells up to dimension (n + 1). We pick

18

HENRIK DENSING PETERSEN, ROMAN SAUER, AND ANDREAS THOM

G-pushouts as in (4.1). Let K be the (finite) intersection of the corresponding stabiliser subgroups U ∈ Fi , i ∈ {0, . . . , n+1}. Without loss of generality we normalise
the Haar measure so that ν(K) = 1.
For a compact open subgroup L > K the discrete G-module Z[K\G] is isomorphic to [L : K] many copies of Z[L\G]. Each Ck (X) with k ∈ {0, . . . , n + 1} is a
finite sum of discrete G-modules of the form Z[L\G] for K < L. By a standard
method from homological algebra we may add short exact chain complexes of the
id

form Z[L\G] −→ Z[L\G], K < L, to the resolution C∗ (X) starting in degree 0 up
to degree (n + 1) so that we obtain a resolution of Z by discrete G-modules F∗
with differentials δ∗ where each Fk , k ∈ {0, . . . , n + 1}, is a finite sum of copies
of Z[K\G]. Let (F∗C , δ∗C ) be the complexification of (F∗ , δ∗ ). It follows from the
discussion in the previous subsection that F∗C yields a projective H(G)-resolution.
Accordingly the L2 -Betti numbers of G are computed as the L(G)-dimensions of
the homology of F∗C ⊗H(G) L2∞ (G, ν). For each degree k ∈ {0, . . . , n + 1} let ak be
the number of summands Z[K\G] in Fk . Then we have the canonical isomorphisms
of L(G)-modules:
FkC ⊗H(G) L2∞ (G, ν) ∼
= C[K\G]ak ⊗H(G) L2∞ (G, ν) ∼
= (pK H(G))ak ⊗H(G) L2∞ (G, ν)
∼
= (pK L2∞ (G, ν))ak
∼
= L2 (K\G)ak .
By Lemma 2.2 the differentials δ∗ in degrees ≤ n + 1 are given by convolution with
finite-dimensional matrices over Z[G, K]. Hence the same is true for the differentials
(2)

(2)

δ∗ = δ∗C ⊗id of F∗C ⊗H(G) L2∞ (G, ν). The Hilbert adjoint of δk is induced from the
formal adjoint of δk which also comes from a matrix with entries in Z[G, K]. Hence
(2)

(2)

(2)

(2)

the combinatorial Laplacian ∆k = δk+1 (δk+1 )∗ +(δk )∗ δk in degrees k ∈ {0, . . . , n}
is given by an element Tk ∈ Mak (Z[G, K]), or in the notation of Subsection 2.1,
∆k = π(Tk ). We then have the analogue of the usual L2 -Hodge theorem, which
yields

(2)
βk (G, ν) = dim(L(G),tr) ker ∆k : L2 (K\G)ak → L2 (K\G)ak .
In the sequel we refer a lot to the notation of Subsection 3.1. Let now Γi < G be a
lattice from the Farber sequence. By Lemma 2.3,
H(G)
Hk (Γi , C) ∼
(C, H(G) ⊗C[Γi ] C) = Hk (F∗C ⊗C[Γi ] C).
= Tork

Note that FkC ⊗C[Γi ] C is canonically isomorphic to C[K\G/Γi ]ak . We can consider
the combinatorial Laplacian on FkC ⊗C[Γi ] C = C[K\G/Γi ]ak and on its completion
ℓ2 (K\G/Γi , ν)ak (with the weighted measure on K\G/Γ). We denote by ∆Γk i the
combinatorial Laplacian on the completion. The set Xe of elements in K\G/Γ with

L2 -BETTI NUMBERS OF TOTALLY DISCONNECTED GROUPS

19

measure 1 is finite and we have the inclusions
C[Xe,i ]ak ⊂ C[K\G/Γi ]ak ⊂ ℓ2 (K\G/Γi , ν)ak
As in Subsection 3.1 we write C[Xe,i ] as ℓ2 (Xe ) to indicate that as a subspace
of the Hilbert space ℓ2 (K\G/Γ, ν) the set Xe,i is a Hilbert basis of C[Xe,i ]. Let
Tk ∈ Mak (Z[G, K]) ⊂ Mak (H(G; K)) be the matrix representing ∆k . We have
∆Γk i = πΓi (Tk ).
Moreover,

We have




ker PΓi ∆Γk i PΓ∗i = ker ∆Γk i ∩ ℓ2 (Xe,i )ak = ker ∆Γk i |ℓ2 (Xe,i )ak .


dimC ker PΓi ∆Γk i PΓ∗i ≤ βn (Γi ),

since any non-zero element in ker ∆Γk i ∩ℓ2 (Xe,i )ak is obviously a cycle in F∗C ⊗C[Γi ] C

(4.3)

and at the same time orthogonal to the image of the next differential, thus gives
rise to a non-zero class in homology. According to Theorem 3.4 we have

dimC ker PΓi ∆Γk i PΓ∗i
= µTk ({0})
lim
i→∞
covolν (Γi )
= dim(L(G),tr) ker π(Tk )
= dim(L(G),tr) ker ∆k
= βn(2) (G, ν).

By (4.3) this implies immediately that
βn(2) (G, ν) ≤ lim inf
i→∞

βn (Γi )
.
covolν (Γi )

with equality in case of a uniformly discrete Farber sequence of lattices. This proves
Theorem 1.3.
5. Applications and examples of groups
5.1. Automorphism groups of buildings. L2 -Betti numbers of buildings
were intensively studied by Davis, Dymara, Januszkiewicz and Okun [12, 14]. In
this subsection we relate our treatment of L2 -Betti numbers to theirs. To this end,
we prove the following lemma which is also of independent interest as it allows to
compute L2 -Betti numbers via the dimension function over finite von Neumann
algebras.
Lemma 5.1. Let X be a topological model of G. Let B < G be a compact
open subgroup such that for every x ∈ X (n+1) there is g ∈ G with gBg −1 ⊂ Gx .

20

HENRIK DENSING PETERSEN, ROMAN SAUER, AND ANDREAS THOM

We normalise the Haar measure ν so that ν(B) = 1. Then with respect to the
normalised trace on the finite von Neumann algebra pB L(G)pB we have
(2)

βi (G, ν) = dimpB L(G)pB Hi (G, ℓ2 (G/B))
Z[G,B]

= dimpB L(G)pB Tori

(Z, ℓ2 (B\G/B, ν))

for i ∈ {0, . . . , n}.
Proof. The cellular chain complex C∗ = C∗ (X; C) with complex coefficients
is a (right) projective H(G)-resolution of C. Each chain group Ci ⊗H(G) L2∞ (G) for
i ∈ {0, . . . , n + 1} is by assumption a direct sum of (right) L(G)-modules of type
pK L2∞ (G) where K < G is a compact open subgroup such that B is subconjugated
to K. Hence by Remarks 4.2 and 4.4 the chain complex and thus H∗ (G, L2∞ (G))
are pB -truncated up to degree n. By Lemma 4.5 we have
(2)

βi (G, ν) = dimpB L(G)pB Hi (G, L2∞ (G))pB



in this range. Since pB is an idempotent we can pull pB inside by exactness and
obtain the first equality of the lemma. For the second equality note that Ci pB
is a projective Z[G; B]-module for i ∈ {0, . . . , n + 1}. Since Ci is a direct sum of
modules of type Z[K\G] with B being subconjugated to K (see above) it suffices
to prove that Z[K\G]pB = Z[K\G/B] is a projective Z[G; B]-module: Let g ∈ B
be such that B ⊂ gKg −1. Then
Z[K\G]pB ∼
= pgKg−1 H(G)pB
= Z[gKg −1 \G]pB ∼
= pgKg−1 pB H(G)pB
= pgKg−1 Z[G; B].
Furthermore, one easily verifies that
Z[K\G]pB ⊗Z[G;B] ℓ2 (B\G/B, ν) ∼
= Z[K\G] ⊗H(G) ℓ2 (G/B).
Thus we have
Ci pB ⊗Z[G;B] ℓ2 (B\G/B, ν) ∼
= Ci ⊗H(G) ℓ2 (G/B)
for i ∈ {0, . . . , n + 1} from which we conclude the second equality in the statement.

For the remainder of this subsection we agree on the following setup.
Setup 5.2. Let Φ be a building of (Coxeter) type (W, S) with a chamber
transitive automorphism group G. Let X be the geometric realisation of Φ. We
endow G with the subspace topology of the homeomorphism group of X and assume
that G is unimodular. We fix a chamber and denote its stabiliser by B; it is a

L2 -BETTI NUMBERS OF TOTALLY DISCONNECTED GROUPS

21

compact-open subgroup of G. We normalise the Haar measure on G to satisfy
ν(B) = 1.
The geometric realisation X (in the sense of [13]) is a CAT(0)-space on which G
acts with compact-open stabiliser. Hence X is a topological model of G. The group
B is the stabiliser of the fundamental chamber, and X satisfies the assumptions of
the previous theorem. Furthermore, the complex-valued cellular chain complex of
the Davis complex Σ = X/B is a projective resolution over H(G; B).
As a consequence of Lemma 5.1 we deduce the following statement which was
known before [14, Theorem 3.5].
Lemma 5.3. The L2 -Betti numbers of G coincide with the L2 -Betti numbers
L2q bi (Σ) as defined in [14].
5.2. Chevalley groups and their lattices in finite characteristic. We
retain Setup 5.2. There is the following formula relating the Poincaré series
X
ω(W,S) (t) =
tl(w) ∈ Z[[t]]
w∈W

of the Coxeter system (W, S), i.e. the type of the building, to the Euler characteristic of G. We drop the subscript in ω(W,S) if the Coxeter system is obvious from
the context. As we review below, for an affine Coxeter system the formal series
ω(t) is a rational function whose poles are roots of unity. See [12, Section 3] for a
nice discussion of ω(t).
Theorem 5.4 ([14, Corollary 3.4]). Let X be of (uniform) thickness q. With
the normalisation of ν from Setup 5.2 we have
χ(G, ν) =

1
.
ω(q)

The exact value of the Poincaré series of finite and affine Coxeter systems, and
thus of Euclidean buildings, can be computed as follows.
Theorem 5.5 (Chevalley-Solomon [6, Theorem 7.1.5 on p. 204]). Let (W, S) be
a finite irreducible Coxeter system. There there positive integers e1 , . . . , ed , called
exponents, such that d = |S| and
ω(t) =

d
Y

(1 + t + . . . + tei ).

i=1

Theorem 5.6 (Bott [6, Theorem 7.1.10 on p. 208; 8]). Let (W, S) be an affine
irreducible Coxeter system. There there positive integers e1 , . . . , ed , which coincide
with the exponents of the corresponding finite Coxeter system, such that
ω(t) =

d
Y
1 + t + . . . + tei
.
1 − tei
i=1

22

HENRIK DENSING PETERSEN, ROMAN SAUER, AND ANDREAS THOM

The exponents are explicitly computed. For a reference for the following table
see e.g. the book by Björner and Brenti [6, Appendix A1].
e1 , e2 , . . . , ed
Ad , Ãd

1, 2, . . . , d

Bd , B̃d

1, 3, . . . , 2d − 1

Cd , C̃d
Dd , D̃d

1, 3, . . . , 2d − 1
1, 3, . . . , 2d − 3, d − 1

G2 , G̃2
F4 , F̃4

1, 5
1, 5, 7, 11

E6 , Ẽ6
E7 , Ẽ7

1, 4, 5, 7, 8, 11
1, 5, 7, 9, 11, 13, 17

E8 , Ẽ8

1, 7, 11, 13, 17, 19, 23, 29

In the remainder of Subsection 5.2 we consider the case where
G = G(Fq ((t−1 )))
where G is a simple, simply connected Chevalley group over Fq . Here, Fq ((t−1 ))
denotes the locally compact field arising as the completion of Fq [t, t−1 ] in the negative direction. This is a special case of Setup 5.2. The Bruhat-Tits building of G
has uniform thickness q. If G = SLd then the Bruhat-Tits building is of type Ãd−1
and is (d − 1)-dimensional.
Let B < G be the Borel subgroup. Let


(5.1)
ξl : G Fq [[t−1 ]] → G Fq [[t−1 ]]/t−l Fq [[t−1 ]]

be the reduction map mod t−l . The preimage B of B(Fq ) under ξ1 is called the
Iwahori subgroup of G; the subgroup B is the chamber stabiliser of the associated
Bruhat-Tits building. In line with Setup 5.2 we assume that the Haar measure ν
of G is normalised so that ν(B) = 1.

Theorem 5.7. Let G be a simple, simply connected Chevalley group over Fq .
Let d be the rank of G. Using the above normalisation of ν, we have
(2)

βd (G(Fq ((t−1 ))), ν) =

d
Y

i=1

q ei − 1
> 0.
1 + q + . . . + q ei

2

All other L -Betti numbers vanish. The only non-vanishing L2 -Betti number of the
lattice G(Fq [t]) < G(Fq ((t−1 ))) is
(2)

βd

d
 Y
G(Fq [t]) =
(q ei +1 − 1)−1 .
i=1

L2 -BETTI NUMBERS OF TOTALLY DISCONNECTED GROUPS

23

If we assume, in addition, that G is of classical type and d > 1 or of type Ẽ6 ,
and q = pa > 9 is a power of a prime p > 5 if G is not of type Ãd , then the
only non-vanishing L2 -Betti number of an arbitrary lattice Γ < G(Fq ((t−1 ))) is in
degree d and satisfies
(2)

(2)

βd (Γ) ≥ βd (G(Fq [t])) .
Proof. By [12, Corollary 14.5] the L2 -Betti numbers of G = G(Fq ((t−1 )))
vanish except in the top dimension d. Hence
(2)

βd (G, ν) = (−1)d χ(G, ν).
Then the first statement follows from Theorems 5.4 and 5.6 and the table above.
Prasad’s computation of covolumes [30] (see Golsefidy’s account [31, §4] for the
determination of Prasad’s parameters in our case) yields
(5.2)

covolν (G(Fq [t])) =

d
Y
1
1
.
·
|B(Fq )| i=1 1 − q −ei

Let us explain the additional factor |B(Fq )|−1 which does not appear in [31, §4]:
Golsefidy normalises the Haar measure so that the maximal normal pro-p subgroup
ker(ξ1 ) (the first principal congruence subgroup), which is contained in the Iwahori
subgroup B, has measure 1. Since
∼
=

ξ1 : B/ ker(ξ1 ) −
→ B(Fq )
is an isomorphism our normalisation of the Haar measure introduces the additional
factor |B(Fq )|−1 into the formula from [31, §4]. From (1.1) we obtain that


(2)
(2)
(5.3)
βd G(Fq [t]) = covolν (G(Fq [t]) · βd G(Fq ((t−1 )))
(5.4)

d
Y
q ei − 1
1
·
=
|B(Fq )| i=1 (1 + q + · · · + q ei )(1 − q −ei )

(5.5)

=

d
Y
q ei
1
.
·
|B(Fq )| i=1 1 + q + . . . + q ei

Thus the second statement would follow from
(5.6)

|B(Fq )| = (q − 1)d q e1 +···+ed .

Let m be the number of positive roots. According to [11, Theorem 9.3.4 on p. 133],
m = e1 + · · · + ed .
The group B(Fq ) is the semidirect product of the split torus T and a maximal
d
unipotent subgroup U . The first is isomorphic to (F×
q ) , the latter possesses a
filtration with quotients isomorphic to Fq indexed by the positive roots. Hence the

size of B(Fq ) is (q − 1)d q m , implying (5.6).

24

HENRIK DENSING PETERSEN, ROMAN SAUER, AND ANDREAS THOM

Finally, Golsefidy [31] proves that G(Fq [t]) < G is a lattice of minimal covolume
under our assumptions on the type and on q, which implies the inequality.



5.3. Groups with weakly normal open amenable subgroups. We now
turn to a very different class of totally disconnected groups which includes the
Neretin group. Here we obtain a vanishing result which generalizes [4, Theorem 1.3].
Theorem 5.8. Let O < G be an open amenable subgroup such that for any finite
sequence g1 , . . . , gn of elements in G the intersection of conjugates Og1 ∩ . . . ∩ Ogn
is noncompact. Then all L2 -Betti numbers of G vanish.
Proof. Consider the simplicial complex X whose set of n-simplices is the
(n + 1)-fold product G/O × . . . × G/O with the obvious projections as face maps.
There is a natural diagonal G-action on X which makes X into a smooth G-CWcomplex. In particular, X is a CW-complex with a cellular G-action. The space X
is contractible. The stabiliser of an p-cell σ is an intersection of conjugates of O
Gσ = Og1 ∩ . . . ∩ Ogn
which is a noncompact amenable subgroup. Let P∗ be a H(G)-resolution by projective right modules of the trivial module C. Let C∗ = C∗ (X)⊗C L2∞ (G) where C∗ (X)
is the cellular chain complex of X with C-coefficients. With the obvious diagonal
G-action C∗ becomes a chain complex of discrete G-modules. By Remark 4.6 C∗
thus becomes a chain complex of H(G)-modules. We can easily identify this module
structure via the isomorphisms
M
M
Cp ∼
C[Gσ \G] ⊗C L2∞ (G) ∼
H(G) ⊗H(Gσ ) L2∞ (G)
=
=
σ

σ

where σ runs through representatives of orbits of p-cells. The right hand side has
an obvious left H(G)-module structure, and the isomorphism between Cp and the
right hand side is H(G)-linear.
Now consider the double complex D∗∗ := P∗ ⊗H(G) C∗ . By well known homological algebra one obtains two spectral sequences converging to the total homology [9, Chapter VII.7]. Since tensoring with a projective module is flat and X is
contractible, the E 1 -term of the first one is

P ⊗
2
if q = 0,
p
H(G) L∞ (G)
1
Ep,q
= Hq (P∗ ⊗H(G) C∗ ) = Pp ⊗H(G) Hq (C∗ ) =
0
otherwise.

So the spectral sequence converges to Hp (G, L2∞ (G)). The second spectral sequence

has the E 1 -term
1
Ep,q
= Hp (P∗ ⊗H(G) Cq ) ∼
= Hp (G,

M
σ

H(G) ⊗H(Gσ ) L2∞ (G)) ∼
=

M
σ

Hp (Gσ , L2∞ (G)).

L2 -BETTI NUMBERS OF TOTALLY DISCONNECTED GROUPS

25

The last isomorphism is the Shapiro isomorphism. Since Gσ is amenable and non1
compact, the dimension of every Ep,q
vanishes [26, Theorem 7.10]. Hence also the
dimension of H∗ (G, L2 (G)), i.e. the L2 -Betti numbers of G vanish.


The Neretin group is an interesting totally disconnected group to which we can
apply the previous theorem. The required open amenable subgroup is the group O
introduced after Theorem 1.1 in [3]. It is shown in loc. cit. that the Neretin group is
a simple locally compact group without any lattices. Moreover, the Neretin group
admits a topological model with cocompact n-skeleton for every n ≥ 0 [37]. The
following corollary solves Problem 1.1 in [26].
Corollary 5.9. The L2 -Betti numbers of the Neretin group vanish.
5.4. Low degree Morse inequalities. In this section we provide an upper
bound for the first L2 -Betti number of a compactly generated group.
The correct analogue of the Cayley graph for a compactly generated totally
disconnected group G is the Cayley-Abels graph. The Cayley-Abels graph also
arises as the 1-skeleton of a suitable topological model of G. Let K ⊂ G be a
compact and open subgroup. Let S0 ⊂ G compact so that S = KS0 K is a compact
generating set of G. For example, S0 can be a generating set of a dense subgroup
of G. The Cayley-Abels graph Cay(G, K, S) is the quotient of the Cayley graph of
(G, S) (edges defined on the left) by the left K-action. So the vertices are cosets
Kg and there is an edge (but these are no longer labelled) from Kg to Ksg.
Next we record some familiar properties of the Cayley-Abels graph Cay(G, K, S)
together with its right G-action. First of all, Cay(G, K, S) has one orbit K\G of
vertices. The degree of Cay(G, K, S) is K\S. But there is a difference to the discrete case, where the degree of any vertex is exactly the number of edge-orbits of
the action. Here, it is possible that the edge (Ke, Ks) and (Ke, Ksk0 ) are translates of each other. The orbit of edges correspond to double cosets K\S/K, whose
number might not be the degree. The stabiliser of the edge (Ke, Ks) is equal to
K ∩ s−1 Ks = K ∩ K s . Thus, as a G-set, the edges can be identified with
G
(K ∩ K s )\G.
KsK∈K\S/K

Thus we obtain an exact sequence
M
C[(K ∩ K s )\G] → C[K\G] → C → 0
KsK∈K\S/K

of right H(G)-modules. This can be used to estimate the low-degree L2 -Betti
(2)

numbers. Indeed if G is not compact, then β0 (G) = 0. Together with [K :

26

HENRIK DENSING PETERSEN, ROMAN SAUER, AND ANDREAS THOM

K ∩ K s ] · ν(K ∩ K s ) = ν(K), we obtain in this case that


X
1
(2)
[K : K ∩ K s ] − 1 .
·
β1 (G, ν) ≤
ν(K)
KsK∈K\S/K

This formula is well known in the case where G is discrete, K = {1}, and ν is just
the counting measure. But already when G is discrete and K ⊂ G is some finite
subgroup, we obtain new upper bounds on the first L2 -Betti number of G. In the
non-discrete case, the estimate relates the number of generators and the distortion
of a compact-open subgroup K by the generators to the first L2 -Betti number.
There are analogous lower and upper bounds for combinations of higher L2 Betti numbers that arise from the structure of the topological model. Indeed, if G
admits a topological model with finite n-skeleton, then the usual Morse inequalities
take the form
(−1)n

n
X

(2)

(−1)i βi (G) ≤ (−1)n

n
X
i=0

i=0

(−1)i

X

µ(U )−1 ,

U∈Fi

where Fi is the set of i-cells and U the corresponding stabilizer. In particular, we
can use these inequalities easily to derive bounds for low degree L2 -Betti numbers.
Let us just mention one concrete application concerning the existence of central
extensions of lattices.

Corollary 5.10. Let G be a unimodular, totally disconnected group and let
(2)
(Γi )i∈N be a Farber sequence of lattices. If β2 (G, ν) > 0, then Γi admits a nontrivial central extension for i large enough.

Proof. This is a straightforward application of Theorem 1.3.



5.5. L2 -Betti numbers of locally compact groups and their lattices.
In this subsection we provide a short proof of (1.1). Let C∗ → C be a projective
resolution of the trivial H(G)-module. Each projective H(G)-module is a filtered
limit of modules of the form C[K\G] where K < G is a compact open subgroup
(cf. Section 2.3). Since
M
C[(K s ∩ Γ)\Γ]
C[K\G] =
KsΓ∈K\G/Γ

as a right C[Γ]-module, C[K\G] is projective as a right C[Γ]-module. Note that it
is a finitely generated projective module if and only if K\G/Γ is finite, i.e., if and

L2 -BETTI NUMBERS OF TOTALLY DISCONNECTED GROUPS

27

only if Γ is cocompact. The natural inclusion
M
C[(K s ∩ Γ)\Γ] ⊗C[Γ] ℓ2 (Γ)
C[K\G] ⊗C[Γ] ℓ2 (Γ) =
KsΓ∈K\G/Γ

M

=

ℓ2 ((K s ∩ Γ)\Γ)

KsΓ∈K\G/Γ

⊂ ℓ2



G

(K s ∩ Γ)\Γ

KsΓ∈K\G/Γ



2

= ℓ (K\G) = C[K\G] ⊗H(G) L2∞ (G)
is a L(Γ)-dimension isomorphism since the algebraic sum is rank dense in the ℓ2 -sum
above. The latter follows from the fact that Γ has finite covolume and hence
X
X
1
dimL(Γ) ℓ2 ((K s ∩ Γ)\Γ) =
< ∞.
|K s ∩ Γ|
KsΓ∈K\G/Γ

KsΓ∈K\G/Γ

Thus, the natural map

H∗ (C∗ ⊗C[Γ] ℓ2 (Γ)) → H∗ C∗ ⊗H(G) L2∞ (G)

is a L(Γ)-dimension isomorphism (one uses exactness of rank completion [39] and
the local criterion [32, Theorem 2.4; 39, Theorem 1.2]). Since dimL(Γ) (M ) =
covolν (Γ) · dim(L(G),tr) (M ) for any right L(G)-module, we obtain the desired equality (1.1).
5.6. The Connes Embedding Problem for Hecke-von Neumann algebras. The Connes Embedding Problem is a major open problem in the theory
of von Neumann algebras. It asserts that every finite von Neumann algebra with
a separable pre-dual can be embedded into an von Neumann algebraic ultraproduct of the hyperfinite II1 -factor. We call finite von Neumann algebras for which
such an embedding exists embeddable. Loosely speaking, a finite von Neumann
algebra is embeddable if the joint moments of any finite subset of elements can be
approximated by the joint moments of complex matrices.
Typical examples of finite von Neumann algebras are group von Neumann algebras. Then, the embeddability of group von Neumann algebras is related to other
famous open problems, such as Gromov’s question whether all discrete groups are
sofic, see Pestov’s survey for more information on these notions [25].
Another source of finite von Neumann algebras are so-called Hecke-von Neumann algebras of Hecke pairs (G, K). Let G be a locally compact, totally disconnected, second countable, unimodular group with Haar measure µ and let K ⊂ G be
a compact open subgroup. As before, we denote by L(G) ⊂ B(L2 (G, µ)) the group
von Neumann algebra and by L(G, K) = pK L(G)pK the Hecke-von Neumann algebra associated with the Hecke pair (G, K). As we have seen, the Hecke-von

28

HENRIK DENSING PETERSEN, ROMAN SAUER, AND ANDREAS THOM

Neumann algebra admits a unital faithful and positive normal trace, and thus it is
a finite von Neumann algebra. It is natural to ask under which circumstances we
are able to give a positive answer to the Connes Embedding Problem. Our main
result in this direction is the following theorem.
Theorem 5.11. Let G be a locally compact, totally disconnected, second countable, unimodular group and let K ⊂ G be a compact open subgroup. If G admits
a Farber sequence (Γi )i∈N , then the finite von Neumann algebra L(G, K) is embeddable.
Proof. The proof is a side-product of the techniques that were developed in
order to prove Theorem 3.4. Indeed, for any T ∈ H(G, K) ⊂ L(G, K), we consider
the sequence of matrices PΓi πi (T )PΓi ∈ B(ℓ2 (X̄e,i )). Note that the operator norm
of PΓi πi (T )PΓi is bounded independent of i ∈ N. It remains to show that for any finite list T1 , . . . , Tk ∈ H(G, K) the joint moments of PΓi πi (T1 )PΓi , . . . , PΓi πi (Tk )PΓi
converge to the joint moments of T1 , . . . , Tk as the parameter i tends to infinity.
However, this is obvious from the constructions in the proof of Theorem 3.4. Now,
this implies that
H(G, K) ∋ T 7→ (PΓi πi (T )PΓi )i∈N ∈

Y

i∈N


B ℓ2 (X̄e,i )

induces a trace-preserving embedding of H(G, K) into an von Neumann algebraic
ultra-product of matrix algebras. This finishes the proof.



Appendix A. Invariant random subgroups
The set SubG of closed subgroups of a locally compact group G carries the
Chabauty topology which is generated by two types of sets, namely
O1 (C) = {H ∈ SubG | H ∩ C = ∅}, C ⊂ G compact,
O2 (U ) = {H ∈ SubG | H ∩ U 6= ∅}, U ⊂ G open.
Let us now justify the results that we claimed in the introduction. Proposition 1.4 in the introduction is a consequence of the following lemma.
Lemma A.1. A sequence (Γi )i∈N of lattices in G converges as invariant random
subgroups to the trivial invariant random subgroup δe if and only if for every compact
open subgroup K < G and for every right coset C 6= K of K the probability that a
conjugate of gΓi g −1 meets C tends to zero for i → ∞.
Proof. First we show the ⇐-statement. By the Portmanteau theorem weak
convergence µΓi → δ{e} is equivalent to lim supi→∞ µΓi (F ) ≤ δ{e} (F ) for every
closed F ⊂ SubG , and equivalent to lim inf i→∞ µΓi (V ) ≥ δ{e} (V ) for every open

L2 -BETTI NUMBERS OF TOTALLY DISCONNECTED GROUPS

29

V ⊂ SubG . Let K < G be a compact open subgroup. It suffices to show that
(A.1)

lim inf µΓi (V ) ≥ δ{e} (V )
i→∞

for the elements V of a subbasis of the Chabauty topology. To show (A.1) we may
assume that {e} ∈ V . Consider first the case V = O2 (U ) for some open U ⊂ G.
Then {e} ∈ V means e ∈ U and hence µΓi (V ) = 1 for all i ∈ N. Now let V = O1 (C)
for some compact C ⊂ G. Then {e} ∈ V means e 6∈ C. We can find a finite number
of cosets hk K 6= K such that C is contained in their union. By the assumption,
lim µΓi (O1 (hk K)) = 1

i→∞

for every k. Hence
lim µΓi

i→∞

for the finite intersection. Since
this case.

\
k

T

k


O1 (hk K) = 1

O1 (hk K) is contained in V we obtain (A.1) in

Next we show the ⇒-direction. Assume that µΓi → δ{e} in IRSG . Let K < G
be a compact and open subgroup. For every coset hK 6= K the subset O2 (hK) is
closed and open in the Chabauty topology. Let h 6∈ K. From O2 (hK) being closed
and weak convergence we deduce that

lim sup µΓi {H | H ∩ hK 6= ∅} = lim sup µΓi (O2 (hK)) ≤ δ{e} (O2 (hK)) = 0. 
i→∞

i→∞

Proof of Proposition 1.4. Suppose that the sequence (Γi ) is weakly uniformly discrete and µΓi → δ{e} . By the previous lemma it suffices to show that
for a compact-open subgroup K < G we have µΓi ({H | H ∩ K 6= {e}}) → 0 for
i → ∞. Suppose this is not true. Then there is ǫ > 0 such that upon passing to a
subsequence of lattices
µΓi ({H | H ∩ K 6= {e}}) > ǫ
for all i ∈ N. By weak uniform discreteness there is a compact-open subgroup
K1 < G such that
µΓi ({H | H ∩ K1 6= {e}}) < ǫ/2
for all i ∈ N. This implies that
µΓi ({H | H ∩ K ∩ (G\K1 ) 6= ∅}) ≥ ǫ/2
for all i ∈ N which contradicts the assumption that µΓi → δ{e} since K ∩ (G\K1 )
is closed and δ{e} (K ∩ (G\K1 )) = 0.
Next suppose that (Γi ) is a Farber sequence. The previous lemma immediately
implies that µΓi → δ{e} . It suffices to show that (Γi ) is weakly uniformly discrete.
Let ǫ > 0. Let K < G be a compact-open subgroup. Then there is i0 ∈ N such

30

HENRIK DENSING PETERSEN, ROMAN SAUER, AND ANDREAS THOM

that
µΓi ({H | H ∩ K 6= {e}}) < ǫ
for i > i0 . By discreteness of each Γi there is a compact-open subgroup K1 < G
such that µΓi ({H | H ∩ K1 6= {e}}) < ǫ for every i ∈ {1, . . . , i0 }. So the compactopen subgroup K ∩ K1 satisfies µΓi ({H | H ∩ (K ∩ K1 ) 6= {e}}) < ǫ for every
i ∈ N.



The following lemma clarifies why our main result is a generalisation of Lück’s
approximation theorem.
Lemma A.2. Let Γ be a lattice in G and (Γi )i∈N be a chain of finite-index
T
normal subgroups of Γ such that i∈N Γi = {e}. Then, (Γi )i∈N is a Farber sequence,
seen as a sequence of lattices in G.
Proof. Let K be a compact open subgroup of G. Note that since Γi ⊆ Γ is
normal, conjugation of Γi by gΓ ∈ G/Γ is well-defined and allows to understand
the behaviour of random conjugates of Γi . Consider the sequence of measurable
subsets Ai ⊆ G/Γ, defined as
Ai := {gΓ ∈ G/Γ | gΓi g −1 ∩ K = {e}}.
Then, Ai is a monotone increasing sequence of sets and by our assumption, the
union of the Ai ’s is equal to G/Γ. Now, for every ε > 0, by σ-additivity of the
Haar measure, there exists some n ∈ N such that for all i ≥ n we have ν(Ai ) ≥
(1 − ε) covolν (Γ). Thus, (Γi )i∈N is a Farber sequence. This finishes the proof. 
For semisimple algebraic groups there might be no difference between convergence as invariant random subgroups and the property of being a Farber sequence.
See Remark 1.5 in connection with Proposition 1.4. However, for arbitrary totally
disconnected groups there is a difference: There are easy examples of a sequence of
lattices (Γi )i∈N with increasing covolumes, which converges to the trivial subgroup
as a sequence of invariant random subgroups but do not form a Farber sequence.
Q2i
Q
Indeed, just take G = n∈N (Z/2Z) and Γi = n=i (Z/2Z).
Acknowledgments
We thank the referee for a simplification in the proof of Theorem 5.7.
First results were obtained during a visit of H.P. in Leipzig in 2012 – he thanks
University of Leipzig for its hospitality. The authors presented some of the results
of this paper at a Spring School in 2015 in Sde Boker – we greatly enjoyed this
meeting and thank the organisers for their encouragement. R.S. thanks Uri Bader
and Adrien le Boudec for discussions on Section 5.3 and Arie Levit for discussions on
Section A. We thank Jean Raimbault and Damien Gaboriau for helpful comments

L2 -BETTI NUMBERS OF TOTALLY DISCONNECTED GROUPS

31

on a previous version of this manuscript. A. Thom was supported by ERC Starting
Grant No. 277728 and ERC Consolidator Grant No. 681207, and R. Sauer was
supported by DFG Grant 1661/4.
References
[1] M. Abért, N. Bergeron, I. Biringer, T. Gelander, N. Nikolov, J. Raimbault, and I. Samet, On
the growth of Betti numbers of locally symmetric spaces, C. R. Math. Acad. Sci. Paris 349
(2011), no. 15-16, 831–835 (English, with English and French summaries).
[2]

, On the growth of L2 -invariants for sequences of lattices in Lie groups (2012).
ArXiv 1210.2961.

[3] U. Bader, P.-E. Caprace, T. Gelander, and S. Mozes, Simple groups without lattices, Bull.
Lond. Math. Soc. 44 (2012), no. 1, 55–67.
[4] U. Bader, A. Furman, and R. Sauer, Weak notions of normality and vanishing up to rank in
L2 -cohomology, Int. Math. Res. Not. IMRN 12 (2014), 3177–3189.
[5] N. Bergeron and D. Gaboriau, Asymptotique des nombres de Betti, invariants l2 et laminations, Comment. Math. Helv. 79 (2004), no. 2, 362–395 (French, with English summary).
[6] A. Björner and F. Brenti, Combinatorics of Coxeter groups, Graduate Texts in Mathematics,
vol. 231, Springer, New York, 2005.
[7] A. Borel and N. R. Wallach, Continuous cohomology, discrete subgroups, and representations
of reductive groups, Annals of Mathematics Studies, vol. 94, Princeton University Press,
Princeton, N.J., 1980.
[8] R. Bott, The geometry and representation theory of compact Lie groups, Proceedings of the
SRC/LMS Research Symposium held in Oxford, June 28–July 15, 1977, 1979.
[9] K. S. Brown, Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag,
New York, 1994. Corrected reprint of the 1982 original.
[10] K.-U. Bux and K. Wortman, Finiteness properties of arithmetic groups over function fields,
Invent. Math. 167 (2007), no. 2, 355–378.
[11] R. W. Carter, Simple groups of Lie type, Wiley Classics Library, John Wiley & Sons, Inc.,
New York, 1989. Reprint of the 1972 original; A Wiley-Interscience Publication.
[12] M. W. Davis, J. Dymara, T. Januszkiewicz, and B. Okun, Weighted L2 -cohomology of Coxeter
groups, Geom. Topol. 11 (2007), 47–138.
[13] M. W. Davis, The geometry and topology of Coxeter groups, London Mathematical Society
Monographs Series, vol. 32, Princeton University Press, Princeton, NJ, 2008.
[14] J. Dymara, Thin buildings, Geom. Topol. 10 (2006), 667–694.
[15] M. Farber, Geometry of growth: approximation theorems for L2 invariants, Math. Ann. 311
(1998), no. 2, 335–375.
[16] D. Gaboriau, Invariants l2 de relations d’équivalence et de groupes, Publ. Math. Inst. Hautes
Études Sci. 95 (2002), 93–150 (French).
[17]

, Invariant percolation and harmonic Dirichlet functions, Geom. Funct. Anal. 15
(2005), no. 5, 1004–1051.

[18] T. Gelander, Kazhdan-Margulis theorem for invariant random subgroups (2016). Preprint,
arXiv:1510.05423.
[19] T. Gelander and A. Levit, Invariant random subgroups in totally algebraic groups over nonArchimedean local fields (2015).
[20] G. Harder, Die Kohomologie S-arithmetischer Gruppen über Funktionenkörpern, Invent.
Math. 42 (1977), 135–175 (German).

32

HENRIK DENSING PETERSEN, ROMAN SAUER, AND ANDREAS THOM

[21] D. Kyed, H. D. Petersen, and S. Vaes, L2 -Betti numbers of locally compact groups and their
cross section equivalence relations, Trans. Amer. Math. Soc. 367 (2015), no. 7, 4917–4956.
[22] W. Lück, Approximating L2 -invariants by their finite-dimensional analogues, Geom. Funct.
Anal. 4 (1994), no. 4, 455–481.
[23]

, Survey on classifying spaces for families of subgroups, Infinite groups: geometric, combinatorial and dynamical aspects, Progr. Math., vol. 248, Birkhäuser, Basel, 2005,
pp. 269–322.

[24]

, L2 -invariants: theory and applications to geometry and K-theory, Ergebnisse der
Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in
Mathematics], vol. 44, Springer-Verlag, Berlin, 2002.

[25] V. G. Pestov, Hyperlinear and sofic groups: a brief guide, Bull. Symbolic Logic 14 (2008),
no. 4, 449–480.
[26] H. D. Petersen, L2 -Betti numbers of locally compact groups, Ph.D. thesis, Department of
Mathematical Sciences, Faculty of Science, University of Copenhagen, 2012. 139 p.
[27]

, L2 -Betti numbers of locally compact groups, C. R. Math. Acad. Sci. Paris 351 (2013),
no. 9-10, 339–342 (English, with English and French summaries).

[28] H. D. Petersen and A. Valette, L2 -Betti numbers and Plancherel measure, J. Funct. Anal.
266 (2014), no. 5, 3156–3169.
[29] J. Peterson and A. Thom, Group cocycles and the ring of affiliated operators, Invent. Math.
185 (2011), no. 3, 561–592.
[30] G. Prasad, Volumes of S-arithmetic quotients of semi-simple groups, Inst. Hautes Études
Sci. Publ. Math. 69 (1989), 91–117. With an appendix by Moshe Jarden and the author.
[31] A. Salehi Golsefidy, Lattices of minimum covolume in Chevalley groups over local fields of
positive characteristic, Duke Math. J. 146 (2009), no. 2, 227–251.
[32] R. Sauer, L2 -Betti numbers of discrete measured groupoids, Internat. J. Algebra Comput. 15
(2005), no. 5-6, 1169–1188.
[33]

, ℓ2 -Betti numbers of discrete and non-discrete groups, New directions in locally compact groups, London Mathematical Society Lecture Note Series, vol. 447, Cambridge University Press, 2018, pp. 205–226.

[34]

, Amenable covers, volume and L2 -Betti numbers of aspherical manifolds, J. Reine
Angew. Math. 636 (2009), 47–92.

[35] R. Sauer and M. Schrödl, Vanishing of ℓ2 -Betti numbers of locally compact groups as an
invariant of coarse equivalence (2017). Preprint, arXiv:1702.01685.
[36] R. Sauer and A. Thom, A spectral sequence to compute L2 -Betti numbers of groups and
groupoids, J. Lond. Math. Soc. (2) 81 (2010), no. 3, 747–773.
[37] R. Sauer and W. Thumann, Topological Models of Finite Type for Tree Almost Automorphism Groups, International Mathematics Research Notices, posted on 2016, DOI
10.1093/imrn/rnw232.
[38] M. Takesaki, Theory of operator algebras. I, Encyclopaedia of Mathematical Sciences,
vol. 124, Springer-Verlag, Berlin, 2002. Reprint of the first (1979) edition; Operator Algebras and Non-commutative Geometry, 5.
[39] A. Thom, L2 -invariants and rank metric, C ∗ -algebras and elliptic theory II, Trends Math.,
Birkhäuser, Basel, 2008, pp. 267–280.
[40]

, L2 -cohomology for von Neumann algebras, Geom. Funct. Anal. 18 (2008), no. 1,
251–270.

L2 -BETTI NUMBERS OF TOTALLY DISCONNECTED GROUPS

[41]

33

, Low degree bounded cohomology and L2 -invariants for negatively curved groups,
Groups Geom. Dyn. 3 (2009), no. 2, 343–358.

[42] T. tom Dieck, Transformation groups, de Gruyter Studies in Mathematics, vol. 8, Walter de
Gruyter & Co., Berlin, 1987.
H.D.P., EGG, EPFL, CH-1015 Lausanne, Switzerland
E-mail address: henrik.petersen@epfl.ch
R.S., IAG, AG Topologie, KIT, 76131 Karlsruhe, Germany
E-mail address: roman.sauer@kit.edu
A.T., Institut für Geometrie, TU Dresden, 01062 Dresden, Germany
E-mail address: andreas.thom@tu-dresden.de

