POSITIVE SCALAR CURVATURE AND LOW-DEGREE GROUP HOMOLOGY

arXiv:1709.07216v2 [math.KT] 8 Jan 2018

NOÉ BÁRCENAS AND RUDOLF ZEIDLER
Abstract. Let Γ be a discrete group. Assuming rational injectivity of the Baum–Connes
assembly map, we provide new lower bounds on the rank of the positive scalar curvature
bordism group and the relative group in Stolz’ positive scalar curvature sequence for BΓ.
The lower bounds are formulated in terms of the part of degree up to 2 in the group homology
of Γ with coefficients in the CΓ-module generated by finite order elements. Our results use
and extend work of Botvinnik and Gilkey which treated the case of finite groups. Further
crucial ingredients are a real counterpart to the delocalized equivariant Chern character and
Matthey’s work on explicitly inverting this Chern character in low homological degrees.

1. Introduction
There exists a natural comparison mapping between the positive scalar curvature (psc)
sequence of Stolz (top row) to the analytic surgery sequence of Higson and Roe (bottom
row):
spin

Ωn
(1.1)

spin

(BΓ)

Rn

∂

spin

Pn−1 (BΓ)
ρ

α

β

KOn (BΓ)

(BΓ)

ν

KOn (C∗r Γ)

∂

SRn−1 (Γ)

spin

spin

Ωn−1 (BΓ)

Rn−1 (BΓ)
α

β

KOn−1 (BΓ)

ν

KOn−1 (C∗r Γ)

This diagram was first established by Piazza and Schick [9, Theorem 1.28] for complex
K-theory and n even. It was extended by Xie and Yu [13, Theorem B] and by the secondnamed author [15, Theorem 3.1.13] to cover all dimensions and the real case. See also
Zenobi [16, Remark 6.2].
We briefly explain the constituents in the diagram above. Start with Stolz’ psc sequence.
spin
The group Ωn (BΓ) is the singular spin bordism group of the classifying space BΓ. That
is, it consists of bordism classes of pairs (M, φ), where M is a closed spin manifold of
spin
dimension n and φ : M → BΓ a continuous map. The psc spin bordism group Pn (BΓ)
+
consists of bordism classes of (M, φ, g), where (M, φ) is as before and g ∈ R (M) is a metric
of psc. Here we require bordisms to have metrics of positive scalar curvature with product
spin
structure near the boundary. Stolz’ relative group Rn+1 (BΓ) consists of bordisms classes of
triples (W, φ, g), where W is a compact spin manifold of dimension (n + 1), φ : W → BΓ a
continuous map, and g ∈ R + (∂W) a metric of psc on the boundary. The horizontal arrows
in Stolz’ sequence are the evident forgetful maps.
The (real version of the) analytic surgery sequence of Higson and Roe consists of the
real K-homology of BΓ, the topological K-theory of the reduced group C∗ -algebra of Γ,
and the analytic structure group of Γ. We denote the latter by SR∗ (Γ). It is defined in such
a way that it fits into a long extact sequence together with the real Novikov assembly map
ν : KO∗ (BΓ) → KO∗ (C∗r Γ). We will also use their complex counterparts which we denote
by K∗ (BΓ), K∗ (C∗r Γ), and SC∗ (Γ).
spin
spin
The groups Pn−1 (BΓ) and Rn (BΓ) classify psc metrics up to bordism and concordance,
respectively, on spin manifolds with fundamental group Γ. For the latter see [10, Theorem 5.1].
Alas, at present there are no tools known that allow a computation of these groups (not
even in simple special cases). However, the comparison (1.1) allows us to obtain lower
1

POSITIVE SCALAR CURVATURE AND LOW-DEGREE GROUP HOMOLOGY

2

bounds on these groups using the index-theoretic information contained in the sequence
of Higson and Roe. To that end, it is important to know something about the size of the
spin
image of the relative index map α : Rn (BΓ) → KOn (C∗r Γ) and the higher rho-invariant
spin
ρ : Pn−1 (BΓ) → SRn−1 (Γ).
The first case where something can be said is the class of finite groups. Indeed, let H be
q
a finite group. Let R(H) denote its complex representation ring. Let R0 (H) be the subgroup
generated by those representations ρ of virtual dimension 0 such that its character χρ satisfies
χρ (γ −1 ) = (−1)q χρ (γ) for all γ ∈ H. Botvinnik and Gilkey [3, Theorem 2.1] showed that
spin
the rank of the positive scalar curvature bordism group P2q+4k−1 (BH) is bounded below
q
by the rank of R0 (H), where k ≥ 1, q ∈ {0, 1} with 4k + 2q ≥ 6. They used relative
eta-invariants. These are numerical invariants that are related to the higher ρ-invariant via
certain trace maps, see for instance [6]. In fact, Botvinnik and Gilkey’s result implies that
spin
spin
both ρ : Pn−1 (BH) → SRn−1 (H) and α : Rn (BH) → KOn (C∗r H) are rationally surjective
for n ≥ 6 (we explain this in Section 4). Moreover, recently Weinberger and Yu [11] and
Xie and Yu [12] gave lower bounds for a large class of infinite groups based on the number
of torsion elements with pairwise different orders. We also refer to Piazza and Schick [8]
for lower bounds on the positive scalar bordism group based on the L 2 -rho-invariant.
The results mentioned above only yield information for n even. Using product formulas
one can obtain further ad-hoc examples of non-trivial relative indices and ρ-invariants by
taking certain products, see [14, Corollary 6.10] and [16, Corollary 5.24]. For instance,
taking products with the circle allows to also produce examples for n odd.
In the main results of this paper, we give new systematic lower bounds for all n ≥ 7 on
the image of the relative index and the rho-invariant based on the part of degree up to 2 of a
certain group homology. The result of Botvinnik and Gilkey yields the 0-dimensional part.
Then the idea ist that degrees 1 and 2 can be obtained from this by taking products with circles
and oriented surfaces. We use the Baum–Connes assembly map µ : K∗Γ (EΓ) → K∗ (C∗r Γ),
the delocalized Chern character of Baum and Connes [1], and — most centrally — its
explicit partial inverse in degrees up to 2 due to Matthey [7].
To state our results, we start with some preparations. Let Γ be a discrete group and denote
by Γfin the set of elements of finite order of Γ. Let FΓ be the set of all finitely supported
functions Γfin → C. Letting Γ act by conjugation on Γfin turns FΓ into a CΓ-module. The
delocalized equivariant Chern character yields an isomorphism
(1.2)



chΓ : KΓp (EΓ) ⊗ C −
→

Ê

H p+2k (Γ; FΓ)

k ∈Z

It was first introduced by Baum and Connes [1] but we will instead work with the
“handicrafted Chern character” of Matthey [7, Theorem 1.4]. Matthey also constructed maps
Γ
β(t)
p : H p (Γ; FΓ) → K p (EΓ) ⊗ C for p ∈ {0, 1, 2} which are right-inverse to the delocalized
∗
Chern character. Moreover, he defined explicit maps β(a)
p : H p (Γ; FΓ) → K p (Cr Γ) which
(a)
(t)
satisfy β p ◦ (µ ⊗ C) = β p for p ∈ {0, 1, 2}. They thereby describe the Baum–Connes
assembly map explicitly in low homological degrees.
To use these maps for our purposes, we need to adapt the above to real K-homology.
To that end, for q ∈ {0, 1}, let Fq Γ = { f ∈ FΓ | f (γ) = (−1)q f (γ −1 ) ∀γ ∈ Γfin }. Then
FΓ = F0 Γ ⊕ F1 Γ as CΓ-modules. We can now state our main result and its corollaries.

Theorem 1.1. For each p ∈ {0, 1, 2}, q ∈ {0, 1} and k ≥ 1 with 4k + 2q ≥ 6, there exists a
linear map
(psc)

spin

β p,q,k : H p (Γ; Fq Γ) → R p+2q+4k (BΓ) ⊗ C,

POSITIVE SCALAR CURVATURE AND LOW-DEGREE GROUP HOMOLOGY

3

such that the following diagram commutes
H p (Γ; Fq Γ)

H p (Γ; FΓ)

(psc)
β p, q, k

spin

(a)

R p+2q+4k (BΓ) ⊗ C

βp

α ⊗C

KO p+2q (C∗r Γ) ⊗ C

c ⊗C

K p (C∗r Γ) ⊗ C

Here c : KO∗ (C∗r Γ) → K∗ (C∗r Γ) is the complexification map from real to complex Ktheory. We implicitly use that complex K-theory is 2-periodic and real K-theory is rationally
4-periodic.
(psc)

Remark 1.2. We do not claim that our maps β p,q,k are canonical (unlike the original maps of
Matthey). Indeed, their construction depends on choosing pre-images under the surjective
spin
map α ⊗ Q : R∗ (BH) ⊗ Q → KO∗ (C∗r H) ⊗ Q for each finite cyclic group H. However,
after fixing these choices it is in principle possible to trace through the construction to obtain
(psc)
explicit formulas for β p,q,k similarly as in Matthey’s work.
(psc)

In any case, the existence of β p,q,k implies lower bounds and surjectivity results:
Corollary 1.3. Let n ≥ 7. If the rational Baum–Connes assembly map µ ⊗ Q is injective,
spin
then the rank of Rn (BΓ) is at least the dimension of

H0 (Γ; F0 Γ) ⊕ H2 (Γ; F1 Γ)




 H1 (Γ; F0 Γ)


H0 (Γ; F1 Γ) ⊕ H2 (Γ; F0 Γ)



 H (Γ; F1 Γ)
 1

n≡0
n≡1
n≡2
n≡3

mod
mod
mod
mod

4,
4,
4,
4.

Corollary 1.4. Let n ≥ 7. If the rational Baum–Connes assembly map µ ⊗ Q is injective,
spin
then the rank of Pn−1 (BΓ) is at least the dimension of

H0 (Γ; F00 Γ) ⊕ H2 (Γ; F1 Γ)






H1 (Γ; F00 Γ)

H0 (Γ; F1 Γ) ⊕ H2 (Γ; F00 Γ)



 H (Γ; F1 Γ)
 1

n ≡ 0 mod 4,
n ≡ 1 mod 4,
n ≡ 2 mod 4,
n ≡ 3 mod 4,

where F00 = { f ∈ F0 | f (1) = 0}.
In comparison, Botvinnik and Gilkey [3, Theorem 0.1] imply that for a finite group H
spin
and n ≥ 6 even, the rank of Pn−1 (BH) is bounded below by the dimension of H0 (H; F00 H) if
n ≡ 0 mod 4 or H0 (H; F1 H) if n ≡ 2 mod 4.
Example 1.5. We describe an explicit example illustrating the non-trivial content of
Corollaries 1.3 and 1.4. Let Σg denote the oriented surface of genus g ≥ 1. Let n be a
positive integer. Consider the group Γ = π1 (Σg ) × Z/nZ. Then the Baum–Connes assembly
map for Γ is an isomorphism1. So our results are applicable. Next we explicitly compute
the homology groups that appear in the corollaries for this example. Start with the group
homology of Γ with trivial coefficients C. The group homology of Z/nZ is torsion in all
positive degrees. Hence the Künneth theorem implies that H∗ (Γ; C)  H∗ (Σg ; C). Thus the
homology of Γ is H p (Γ; C)  C for p ∈ {0, 2}, H1 (Γ; C)  C2g , and zero in degrees greater
1This follows readily from Higson and Kasparov [5] because π1 (Σ g ) × Z/nZ is a-T-menable. However, we
should note that the case of surface groups goes back to the original article of Baum and Connes [2].

POSITIVE SCALAR CURVATURE AND LOW-DEGREE GROUP HOMOLOGY

4

than 2. To proceed, observe that any finite order element of Γ is of the form (1, t k ), where 1
denotes the neutral element of π1 (Σg ) and t the generator of Z/nZ. The action by conjugation
is trivial on these elements. We deduce that FΓ is isomorphic to the trivial CΓ-module Cn .
n
n
n
By counting dimensions, we see that F0 Γ  C b 2 c +1 , F00 Γ  C b 2 c , F1 Γ  C d 2 e −1 as trivial
CΓ-modules. Together with the computation of H∗ (Γ; C), we deduce:
H0 (Γ; F0 Γ)  C b 2 c +1,
n

n

H0 (Γ; F00 Γ)  C b 2 c ,

H1 (Γ; F0 Γ)  C2g(b 2 c +1),
n

n

H0 (Γ; F1 Γ)  C d 2 e −1,

n

H2 (Γ; F1 Γ)  C d 2 e −1,
n

H1 (Γ; F00 Γ)  C2g b 2 c ,

H2 (Γ; F0 Γ)  C b 2 c +1,
n

n

H2 (Γ; F00 Γ)  C b 2 c ,

n

H1 (Γ; F1 Γ)  C2g(d 2 e −1) .
This shows that for n ≥ 3 all homology groups which appear in the conclusion of
Corollaries 1.3 and 1.4 are non-trivial.
Corollary 1.6. Let n ≥ 7. Let the rational homological dimension of Γ be at most 2. Then,
if the rational Baum–Connes assembly map µ ⊗ Q is surjective, the rational relative index
map
spin

α ⊗ Q : Rn

(BΓ) ⊗ Q  KOn (C∗r Γ) ⊗ Q

is surjective.
If µ ⊗ Q is an isomorphism, then the rational higher rho-invariant
spin

ρ ⊗ Q : Pn−1 (BΓ) ⊗ Q  SRn−1 (Γ) ⊗ Q
is also surjective.
2. The delocalized equivariant Pontryagin character
In this section, we exhibit the delocalized equivariant Pontryagin character, which is
the real counterpart to the delocalized equivariant Chern character. It is obtained from the
delocalized Chern character by precomposing it with complexification.
Start with some preparations. The rationalized equivariant real K-homology KO•∗ ⊗ Q
is 4-periodic. Indeed, it is a module over KO∗ (pt) ⊗ Q  Q[α, β, β−1 ]/hα2 − 4βi with
α ∈ KO4 (pt), β ∈ KO8 (pt) and module multiplication with α/2 implements the 4-periodicity.
We will implicitly use this 4-periodicity whenever convenient.
The complexification c : KO∗ (pt) → K∗ (pt)  Z[ξ, ξ −1 ] satisies c(α) = 2ξ 2 and c(β) =
4
ξ , where ξ ∈ K2 (pt).
Complex K-homology rationally decomposes into two copies of real K-homoloy:
Proposition 2.1. Complexification yields an isomorphism of proper equivariant homology
theories:


(2.1)
c := c +ξ −1 c : KO•∗ ⊕ KO•∗+2 ⊗ Q −
→ K∗• ⊗ Q.
The decomposition (2.1) can be used to decompose the equivariant delocalized Chern
character and thereby obtain the delocalized Pontryagin character:
Proposition 2.2. The equivariant delocalized Chern character composed with complexification yields an isomorphism
 Ê
ph := chΓ ◦ c : KOΓp (EΓ) ⊗ C −
→
H p+4k (Γ; F0 Γ) ⊕ H p+2+4k (Γ; F1 Γ).
Γ

k ∈Z

Since Matthey’s maps are right-inverse to the delocalized Chern character, Proposition 2.2
immediately implies that they decompose as follows:

POSITIVE SCALAR CURVATURE AND LOW-DEGREE GROUP HOMOLOGY

5

Corollary 2.3. Using the identification (2.1), Matthey’s inverse maps [7]
Γ
β(t)
p : H p (Γ; FΓ) → K p (EΓ) ⊗ C,

p ∈ {0, 1, 2},

restrict to maps
q
Γ
β(t)
p,q : H p (Γ; F Γ) → KO p+2q (EΓ) ⊗ C,

p ∈ {0, 1, 2}, q ∈ {0, 1}.

(t)
Analogously as in the complex case we write β(a)
p,q := µ ⊗ C ◦ β p,q . By abuse of notation
µ : KOΓp+2q (EΓ) → KO p+2q (C∗r Γ) denotes the real version of the Baum–Connes assembly
map here.
The proofs of Propositions 2.1 and 2.2 can essentially be reduced to the case of finite
groups. Thus we need some facts about equivariant K-homology of a finite group and fix
some notation. For more details on the following we refer for example to [4, Chapter 2]:
Let R(H) denote the complex representation ring and RO(H) its real counterpart. Let
c : RO(H) → R(H) be complexification and r : R(H) → RO(H) be realification. Let
τ : R(H) → R(H) be the map induced by complex conjugation. Then c ◦ r = 1 + τ and
r ◦ c = 2. Let R(H)/(1 + τ) be a shorthand for the quotient group R(H)/(1 + τ)(R(H)). Then
the equivariant K-homology of a point satisfies

(2.2)

(2.3)



RO(H) ⊗ Q
i ≡ 0 mod 4,



⊗ Q  R(H)/(1 + τ) ⊗ Q i ≡ 2 mod 4,


0
otherwise,

(
R(H) ⊗ Q i ≡ 0 mod 2,
KiH (pt) ⊗ Q 
0
otherwise.

KOiH (pt)

Complexification c : KOiH (pt) → KiH (pt) is given by complexification of representations for
i ≡ 0 mod 4, and by the map 1 − τ : R(H)/(1 + τ) → R(H) for i ≡ 2 mod 4.
We are now ready to prove the propositions of this section.
Proof of Proposition 2.1. To show that c is an isomorphism of proper equivariant homology
theories, it suffices to show that


H
(2.4)
c = c +ξ −1 c : KOiH (pt) ⊕ KOi+2
(pt) ⊗ Q → KiH (pt) ⊗ Q

is an isomorphism for every finite group H and every i ∈ Z. The map KO•i ⊕ KO•i+2 ⊗ Q →
KO•i+2 ⊕ KO•i+4 ⊗ Q, x ⊕ y 7→ y ⊕ (α/2) · x defines a 2-periodicity on the left-hand side
which corresponds to Bott periodicity after applying c = c +ξ −1 c. Hence it suffices to check
(2.4) for i ∈ {0, 1}. For i = 1, both sides of (2.4) are zero by (2.2) and (2.3). It remains to
check i = 0. In this case c correponds to the map (RO(H) ⊕ R(H)/(1 + τ)) ⊗ Q → R(H) ⊗ Q,
x ⊕ [y] 7→ c(x) + y − τ(y). This is an isomorphism because the map R(H) ⊗ Q →
(RO(H) ⊕ R(H)/(1 + τ)) ⊗ Q, z 7→ 12 (r(z) ⊕ [z]) is an explicit inverse.

Proof of Proposition 2.2. Start with the (non-equivariant) Pontryagin character isomorphism
 Ê
(2.5)
ph = ch ◦ c : KO p (X) ⊗ Q −
→
H p+4k (X; Q).
k ∈Z

It is, by definition, the Chern character applied after complexification. In particular, the
proposition holds if Γ is torsion-free.
Next we deal with the case where Γ = H = Z/nZ is a finite cyclic group. Then the
Chern character yields an isomorphism ch H : R(H) = K0H (pt) → H0 (H; FH) as all the
other homology groups vanish. We have H0 (H; FH) = FH = C H and ch H associates to
a representation [ρ] ∈ R(H) its character χρ . As the character of any real representation

POSITIVE SCALAR CURVATURE AND LOW-DEGREE GROUP HOMOLOGY

6

is symmetric and the character of an element in the image of (1 − τ) : R(H) → R(H) is
antisymmetric, we conclude that
H
chΓ (c(KO2q
(pt))) = H0 (H; Fq H).

(2.6)

Next we let G be some group and consider Γ := G × Z/nZ and y × z ∈ KOΓp+2q (EΓ)
Z/nZ
with y ∈ KO p (BG)  KOG
p (EG) and z ∈ KO2q (pt). There is a natural isomorphism
Z/nZ
G
KG×Z/nZ
(EG)  KG
(pt) and a commutative diagram
p
p (EG) ⊗ R(Z/nZ)  K p (EG) ⊗ K0
×

K p (BG) ⊗ K0Z/nZ (pt) ⊗ C

KG×Z/nZ
(EG) ⊗ C
p

ch ⊗chZ/nZ

É

k ∈Z H p+2k (G; C)

chΓ
×

⊗ H0 (Z/nZ; FZ/nZ)

É

k ∈Z H p+2k (Γ; FΓ).

In view of (2.1), (2.5) and (2.6) this diagram restricts to
×

KO p (BG) ⊗ KOZ/nZ
2q (pt) ⊗ C

KOG×Z/nZ
p+2q (EG) ⊗ C

ph ⊗chZ/nZ ◦c

É

k ∈Z H p+4k (G; C)

chΓ ◦c

⊗ H0 (Z/nZ; Fq Z/nZ)

×

É

k ∈Z H p+4k (Γ; F

q Γ).

We conclude
(2.7)

chΓ (c(y × z)) ∈

Ê

H p+4k (Γ; Fq Γ).

k ∈Z

Now let Γ be general. The equivariant K-homology KΓp (EΓ) is generated by elements
of the form ϕ∗ (y × z) with G ⊆ Γ some subgroup, y ∈ K p (BG), z ∈ K0Z/nZ (pt) and
ϕ : G × Z/nZ → Γ some group homomorphism. This follows from [7, Theorem 1.3 and
Section 7]. Using (2.1), this implies that KOiΓ (EΓ) is generated by elements of the form
Z/nZ
ϕ∗ (y × z) with y ∈ KO p (BG), z ∈ KO2q
(pt) such that i = p + 2q. Thus (2.7) implies
Ê
H p+4k (Γ; F0 Γ) ⊕ H p+2+4k (Γ; F1 Γ)
(2.8)
(chΓ ◦ c)(KOΓp (EΓ)) ⊆
k ∈Z

Now the proposition follows by combining (2.1) and (2.8) and using the fact that chΓ is an
isomorphism.

3. Matthey’s maps
In this section, we exhibit the real versions of Matthey’s maps from Corollary 2.3 more
explicitly. We start with a brief summary of the material in [7] that leads to Matthey’s
definition of
Γ
p ∈ {0, 1, 2}.
β(t)
p : H p (Γ; F(Γ)) → K p (EΓ) ⊗ C,
Let G(0) := 1, G(1) := Z and G(2),g := Γg := π1 (Σg ), where Σg is the oriented surface of
genus g ≥ 1. To simplify the notation, we let G(2) stand for G(2),g for some g. Moreover, let
(p)
G n := G(p) × Z/nZ.
É
There is an isomorphism H p (Γ; FΓ) 
C H p (BZC ; C). Here the direct sum runs
over all conjugacy classes of finite order elements and ZC denotes the centralizer of some
element in the conjugacy class C. An element x ∈ H p (Γ; FΓ) is called homogeneous if it is
contained in one of the direct summands. For each p ∈ {0, 1, 2} and n ≥ 0, there is a certain
(p)
(p)
(p)
fundamental class [G n ] ∈ H p (G n ; FG n ). These have the property that for p ∈ {0, 1, 2}
(p)
(p)
any homogeneous element x ∈ H p (Γ; FΓ) can be written as x = φ∗ [G n ] for some G n and
(p)
some group homomorphism φ : G n → Γ.

POSITIVE SCALAR CURVATURE AND LOW-DEGREE GROUP HOMOLOGY

(p)

7

G

(p)

(p)

Moreover, there is a certain K-homological fundamental class [G n ]K ∈ K p n (EG n )⊗C.
(p)
(p)
Setting φ∗ [G n ] 7→ φ∗ [G n ]K yields a well-defined map H p (Γ; F(Γ)) → KΓp (EΓ) ⊗ C that
is right-inverse to the equivariant Chern character. This is Matthey’s definition of β(t)
p .
To describe how this map decomposes in the real case, we need to recall the definition
(p)
of the K-homological fundamental class [G n ]K . We start with the fundamental class
[G(p) ]K ∈ K p (EG(p) ) which are defined as [G(0) ]K := 1 ∈ K0 (EG(0) ) = K0 (pt), [G(1) ]K :=
Γ
[S1 ]K ∈ K1 (S1 )  K1Z (EZ) and [G(2) ]K := [Σg ]K ∈ K2 (Σg )  K2 g (EΓg ). That is, [G(p) ]K
is the K-homological fundamental class of the point, the circle or an oriented surface of
(p)
positive genus. Observe that we may take EG n = EG(p) by letting Z/nZ act trivially. Then
we set
n−1
Õ
(p)
G
(p)
(p)
[G n ]K :=
([G(p) ]K × [ωnl ]) ⊗ ωn−l ∈ K p n (EG n ) ⊗ C.
l=0

In this formula ωn := e2πi/n denotes the primitive n-th root of unity and [ωnl ] ∈ R(Z/nZ) =
K0Z/nZ (pt) the corresponding representation.
To obtain the real counterparts to this, we first observe how [ωnl ] ∈ K0Z/nZ (pt) decomposes
under the isomorphism from Proposition 2.1 and (2.2) and (2.3). Indeed,
K0Z/nZ (pt) ⊗ Q  (KOZ/nZ
(pt) ⊕ KOZ/nZ
(pt)) ⊗ Q  (RO(Z/nZ) ⊕ R(Z/nZ)/(1 + τ)) ⊗ Q.
0
2
Given x ∈ R(Z/nZ) ⊗ Q, we will write <x := r(x)/2 ∈ RO(Z/nZ) ⊗ Q and =x ∈
R(Z/nZ)/(1 + τ) = KOZ/nZ
(pt) for the class represented by x/2. Then we have x =
2
c(<x + =x). We define
(p)

n−1
Õ

(p)

n−1
Õ

[G n ]0KO :=

G

(p)

(p)

([G(p) ]KO × <[ωnl ]) ⊗ ωn−l ∈ KO p n (EG n ) ⊗ C,

l=0

[G n ]1KO :=

(3.1)

G

(p)

(p)

n
([G(p) ]KO × =[ωnl ]) ⊗ ωn−l ∈ KO p+2
(EG n ) ⊗ C.

l=0

[G(p) ]

Here
KO denotes the KO-fundamental class of the point, the circle or a surface,
(p)
(p)
(p)
respectively. We find that [G n ]K = [G n ]0KO ⊕ [G n ]1KO under the isomorphism from
(p)

(p)

Proposition 2.1. The homological fundamental class also decomposes as [G n ] = [G n ]0 ⊕
(p)
(p)
(p)
(p)
(p)
(p)
(p)
[G n ]1 according to H p (G n ; FG n ) = H p (G n ; F0 G n ) ⊕ H p (G n ; F1 G n ).
From this discussion we deduce:
Proposition 3.1. The real versions of Matthey’s maps from Corollary 2.3 are given by
q
Γ
β(t)
p,q : H p (Γ; F (Γ)) → KO p+2q (EΓ) ⊗ C,

(p)

(p) q

φ∗ [G n ]q 7→ φ∗ [G n ]KO

(p)

Remark 3.2. The element [G n ]0KO can be rewritten as
(p)
[G n ]0KO

=

n
bÕ
2c

([G(p) ]KO × <[ωnl ]) ⊗ 2 cos(2πl/n).

l=0
(p)

A similar equation involving the sine function holds for [G n ]1KO . Thus it would be possible
to restrict to real coefficients. However, we shall not use this any further, and continue to
keep complex coefficients everywhere.
4. Secondary index classes of psc metrics for finite groups
The proposition below is essentially due to Botvinnik and Gilkey [3], albeit formulated
in a slightly different way. In the proof, we briefly explain for the convenience of the reader
how its statement can be deduced from the result in the literature:

POSITIVE SCALAR CURVATURE AND LOW-DEGREE GROUP HOMOLOGY

8

spin

Proposition 4.1. Let H be a finite group and n ≥ 6. Then the ρ-invariant ρ : Pn−1 (BH) →
SRn−1 (H) is rationally surjective.
Proof. We only need to consider n to be even because the analytic structure group of a finite
group rationally vanishes in odd degrees. Let n = 4k + 2q with k ≥ 1 and q ∈ {0, 1}. Each
(virtual) unitary representation π of H induces a trace functional trπ : K0 (CH) → Z. If π is
of virtual dimension 0, then trπ extends to a functional ηπ : SC1 (H) → R on the complex
version of the analytic structure group, see [6]. By the construction of ηπ , the composition
spin
ηπ ◦ ρ : P4k+2q−1 (BH) → R recovers the relative eta invariant used in [3].
Since finite groups satisfy the Baum–Connes conjecture, the Higson–Roe sequence
rationally becomes a short exact sequence:
0 → Q → K0 (CH) ⊗ Q → SC1 (H) ⊗ Q → 0.

(4.1)

Let R0 (H) denote the space of virtual unitary representation of dimension 0. The pairing
R(H) ⊗ Q × K0 (CH) ⊗ Q → Q, (π, x) 7→ trπ (x) is non-degenerate. We conclude from this
and (4.1) that the pairing
R0 (H) ⊗ R × SC1 (H) ⊗ R → R,

(4.2)

(π, x) 7→ ηπ (x)

is also non-degenerate. The complex analytic structure group admits a decomposition
SC1 (H) ⊗ Q  (SR1 (H) ⊕ SR3 (H)) ⊗ Q analogous to Proposition 2.1. Applying this to (4.2)
yields a non-degenerate pairing
q

R0 (H) ⊗ R × SR2q−1 (H) ⊗ R → R,

(4.3)

(π, x) 7→ ηπ (x)

for each q ∈ {0, 1}.
Finally, let 4k + 2q ≥ 6. Then [3, Theorem 2.1] implies that the composition
spin
P4k+2q−1 (BH)

ρ ⊗R

É

⊗ R −−−→

SR2q−1 (H)

i

ηπi

q

⊗ R −−−−−−→ Rdim R0 (H)

q

is surjective, where (πi )i is a basis of R0 (H) ⊗ R. Since the pairing (4.3) is non-degenerate,
the latter map in this composition is an isomorphism. Thus ρ ⊗ R must be surjective as
well.

Corollary 4.2. Let H be a finite group and n ≥ 6.
spin
α : Rn (BH) → KOn (C∗r H) is rationally surjective.

Then the relative index map

Proof. Again we only need to consider n to be even and let n = 4k + 2q ≥ 6. For a finite
spin
group H, the groups Ωl (BH) and KOl (BH) are torsion for l . 0 mod 4. Moreover,
spin
β⊗Q : Ω4k (BH)⊗Q → KO0 (BH)⊗Q is surjective because KO0 (BH)⊗Q  KO0 (pt)⊗Q is
generated by the class represented by any product of Kummer surfaces. By Proposition 4.1,
spin
the ρ-invariant ρ ⊗ Q : P4k+2q−1 (BH) → SR2q−1 (H) is also surjective. Thus we have a
diagram of exact sequences
spin

Ω4k+2q (BH) ⊗ Q
β ⊗Q

KO2q (BH) ⊗ Q

spin

R4k+2q (BH) ⊗ Q

spin

P4k+2q−1 (BH) ⊗ Q
ρ ⊗Q

α ⊗Q

KO2q (RH) ⊗ Q

0

SR2q−1 (H) ⊗ Q

The Four Lemma implies that α ⊗ Q must be surjective as well.

0,


5. Proof of main results
Our main result, Theorem 1.1, follows immediately from Proposition 3.1 and the following
lemma.
Lemma 5.1. For eachn ∈ N,p ∈ {0, 1, 2}, q ∈ {0, 1} and k ≥ 1 with 4k+2q ≥ 6, there exists
spin
(p) q
(p)
(p) q
(p) q
(p)
[G n ]psc ∈ R p+2q+4k BG n ⊗ C with α([G n ]psc ) = µ([G n ]KO ) ∈ KO2q (C∗r G n ) ⊗ C.

POSITIVE SCALAR CURVATURE AND LOW-DEGREE GROUP HOMOLOGY

9

Proof. Let
(
q
xn,l

:=

q=0
q=1

<[ωnl ]
=[ωnl ]

∈ KOZ/nZ
2q (pt).
q,k

spin

By Corollary 4.2, we can choose an element yn,l ∈ R2q+4k (BZ/nZ) ⊗ Q such that
q,k

spin

q

α(yn,l ) = µ(xn,l ) ∈ KO2q (C∗r (Z/nZ)) ⊗ Q. Now let [G(0) ]Ω := [pt] ∈ Ω0 (pt), [G(1) ]Ω :=

spin
spin
[S1 ] ∈ Ω1 (BZ) and [G(2),g ]Ω := [Σg ] ∈ Ω2 BΓg ⊗ Q. Note that for the latter we need
to choose one from the 22g different spin structures on the oriented surface. However,
rationally the element [Σg ] is independent of this choice. Taking direct products yields a
spin

map Ωl

×

spin

spin

→ Rl+m (X × Y ). Using this, we let
(X) ⊗ Rm (Y ) −
(p) q
[G n ]psc

:=

n−1 
Õ

q,k

[G(p) ]Ω × yn,l





spin
(p)
⊗ ωn−l ∈ R p+2q+4k BG n ⊗ C.



l=0

Proof of Theorem 1.1. We have the diagram
H p (Γ; Fq Γ)

H p (Γ; FΓ)

(psc)

β p, q, k
(t)

β p, q

spin

R p+2q+4k (BΓ) ⊗ C

(a)

βp

α ⊗C

KOΓp+2q (EΓ) ⊗ C

µ ⊗C

KO p+2q (C∗r Γ) ⊗ C

c ⊗C

K p (C∗r Γ) ⊗ C,
(psc)

where by construction of β(t)
p,q the outer paths commute. To prove the existence of β p,q,k ,
it suffices to show that the image of µ ⊗ C ◦ β(t)
p,q is contained in the image of α ⊗ C.
(t)
Proposition 3.1 implies that the image of β p,q is generated by elements of the form
(p) q
(p) q
(p)
φ∗ [G n ]KO , where [G n ]KO is defined in (3.1) and φ : G n → Γ is a group homomorphism.
(p) q

Thus it sufices to show that the elements µ(φ∗ [G n ]KO ) are contained in the image of


spin
(p)
(p) q
α ⊗ Q. Indeed, Lemma 5.1 states that µ([G n ]KO ) admits a lift to R p+2q+4k BG n . By
(p) q

spin

functoriality, we conclude that µ(φ∗ [G n ]KO ) admits a lift to R p+2q+4k (BΓ).



(t)
Proof of Corollary 1.3. If µ ⊗ Q is injective, then β(a)
p = µ ⊗ C ◦ β p maps H p (Γ; FΓ)
∗
injectively into K p (Cr Γ) ⊗ C. Thus the diagram in Theorem 1.1 implies that for fixed n the
following map must be injective:
Õ
Ê
(psc)
spin
(5.1)
β p,q,k :
H p (Γ; Fq Γ) → Rn (BΓ) ⊗ C.
p+2q ∈n+4Z

p+2q+4k=n

Here p, q, k range over {0, 1, 2}, {0, 1}, Z, respectively. Unpacking this yields the table in
the statement of Corollary 1.3.

0
Proof of Corollary 1.4. The image in KΓp (EΓ) ⊗ C of the restriction of β(t)
p to H p (Γ; F0 Γ ⊕
1
Γ
F Γ) intersects trivially with the image of K p (BΓ) ⊗ C ,→ K p (EΓ) ⊗ C. This follows from
the decomposition of the handicrafted Chern character based on the Shapiro isomorphism,
see [7, Theorem 1.4]. Thus the injectivity of (5.1) together with a diagram chase involving
(1.1) implies that the following map must be injective as well:
Õ
Ê
(psc)
spin
q
∂ ◦ β p,q,k :
H p (Γ; F0 Γ) → Pn−1 (BΓ) ⊗ C.
p+2q ∈n+4Z

p+2q+4k=n

Here we use the convention

F10 Γ

:= F1 Γ.



REFERENCES

10

Proof of Corollary 1.6. If the rational homological dimension of Γ is at most 2, then the
map
Õ
Ê
β(t)
H p (Γ; FΓq ) → KOΓn (EΓ) ⊗ C
p,q :
p+2q ∈n+4Z

p+2q ∈n+4Z

is the inverse to the Chern character. In particular, it is surjective. If the rational Baum–
Connes assembly map µ ⊗ Q is also surjective, then this implies that the following is
surjective too:
Õ
Õ
Ê
β(a)
β(t)
H p (Γ; FΓq ) → KOn (C∗r Γ) ⊗ C.
p,q = µ ⊗ C ◦
p,q :
p+2q ∈n+4Z

p+2q ∈n+4Z

p+2q ∈n+4Z

Theorem 1.1 implies that for n ≥ 7, the image of β(a)
p,q is contained in the image of α ⊗ C,
which proves surjectivity of α ⊗ C and thus of α ⊗ Q.
If µ ⊗ Q is injective, then ν ⊗ Q is injective and by exactness the boundary map
∂ ⊗ Q : KOn (C∗r Γ) ⊗ Q → SRn−1 (Γ) ⊗ Q is surjective. Hence the surjectivity statement for
ρ ⊗ Q if µ ⊗ Q is an isomorphism follows from surjectivity of α ⊗ Q and commutativity of
the diagram (1.1).

Acknowledgements
The first-named author thanks the support of PAPIIT-UNAM grants IA 100117 “Topología
Equivariante y Teoría de índice”, as well as CONACYT-SEP Foundational Research grant
“Geometría No conmutativa, Aplicación de Baum-Connes y Topología Algebraica”. The
second-named author gratefully acknowledges the hospitality of the Centro de Ciencias
Matemáticas at UNAM Morelia, where this project was initiated. Both authors thank
Johannes Ebert for valuable discussions.
References
[1]
[2]
[3]
[4]

[5]
[6]

[7]
[8]
[9]
[10]

[11]

[12]

P. Baum and A. Connes. “Chern character for discrete groups”. In: A fête of topology. Academic
Press, Boston, MA, 1988, pp. 163–232. doi: 10.1016/B978-0-12-480440-1.50015-0.
P. Baum and A. Connes. “Geometric K-theory for Lie groups and foliations”. In: Enseign.
Math. (2) 46.1-2 (2000), pp. 3–42.
B. Botvinnik and P. B. Gilkey. “The eta invariant and metrics of positive scalar curvature”. In:
Math. Ann. 302.3 (1995), pp. 507–517. doi: 10.1007/BF01444505.
R. R. Bruner and J. P. C. Greenlees. Connective real K-theory of finite groups. Vol. 169.
Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI,
2010, pp. vi+318. doi: 10.1090/surv/169.
N. Higson and G. Kasparov. “E-theory and KK-theory for groups which act properly and
isometrically on Hilbert space”. In: Invent. Math. 144.1 (2001), pp. 23–74.
N. Higson and J. Roe. “K-homology, assembly and rigidity theorems for relative eta invariants”.
In: Pure Appl. Math. Q. 6.2, Special Issue: In honor of Michael Atiyah and Isadore Singer
(2010), pp. 555–601. doi: 10.4310/PAMQ.2010.v6.n2.a11.
M. Matthey. “The Baum-Connes assembly map, delocalization and the Chern character”. In:
Adv. Math. 183.2 (2004), pp. 316–379. doi: 10.1016/S0001-8708(03)00090-2.
P. Piazza and T. Schick. “Groups with torsion, bordism and rho invariants”. In: Pacific J. Math.
232.2 (2007), pp. 355–378.
P. Piazza and T. Schick. “Rho-classes, index theory and Stolz’ positive scalar curvature
sequence”. In: J. Topol. 7.4 (2014), pp. 965–1004. doi: 10.1112/jtopol/jtt048.
J. Rosenberg and S. Stolz. “Metrics of positive scalar curvature and connections with surgery”.
In: Surveys on surgery theory, Vol. 2. Vol. 149. Ann. of Math. Stud. Princeton Univ. Press,
Princeton, NJ, 2001, pp. 353–386.
S. Weinberger and G. Yu. “Finite part of operator K-theory for groups finitely embeddable
into Hilbert space and the degree of nonrigidity of manifolds”. In: Geom. Topol. 19.5 (2015),
pp. 2767–2799. doi: 10.2140/gt.2015.19.2767.
Z. Xie and G. Yu. “Higher rho invariants and the moduli space of positive scalar curvature
metrics”. In: Adv. Math. 307 (2017), pp. 1046–1069. doi: 10.1016/j.aim.2016.11.030.

REFERENCES

[13]
[14]
[15]
[16]

11

Z. Xie and G. Yu. “Positive scalar curvature, higher rho invariants and localization algebras.”
In: Adv. Math. 262 (2014), pp. 823–866. doi: 10.1016/j.aim.2014.06.001.
R. Zeidler. “Positive scalar curvature and product formulas for secondary index invariants”. In:
J. Topol. 9.3 (2016), pp. 687–724. doi: 10.1112/jtopol/jtw005.
R. Zeidler. “Secondary large-scale index theory and positive scalar curvature”. Doctoral
dissertation. University of Göttingen, 2016.
V. F. Zenobi. “Mapping the surgery exact sequence for topological manifolds to analysis”. In: Journal of Topology and Analysis 09.02 (2017), pp. 329–361. doi: 10 . 1142 /
S179352531750011X.

E-mail address: barcenas@matmor.unam.mx
Centro de Ciencias Matemáticas. UNAM, Ap.Postal 61-3 Xangari. Morelia, Michoacán MEXICO
58089
E-mail address: math@rzeidler.eu
Mathematisches Institut, Westfälische Wilhelms-Universität Münster, Einsteinstr. 62, 48149
Münster, Germany

