A FORMULA FOR p-COMPLETION BY WAY OF THE SEGAL
CONJECTURE

arXiv:1704.00271v1 [math.AT] 2 Apr 2017

SUNE PRECHT REEH, TOMER M. SCHLANK, AND NATHANIEL STAPLETON

Abstract. The Segal conjecture describes stable maps between classifying spaces in
terms of (virtual) bisets for the finite groups in question. Along these lines, we give an
algebraic formula for the p-completion functor applied to stable maps between classifying
spaces purely in terms of fusion data and Burnside modules.

1. Introduction
The p-completion of the classifying spectrum of a finite group is determined by the data
of the induced fusion system on a Sylow p-subgroup. That is, if G is a finite group, S ⊂ G
is a Sylow p-subgroup and FG is the fusion system on S determined by G, then there is an
equivalence of spectra
∞
(Σ∞ BG)∧
p ' Σ BFG ,
where BFG is a kind of classifying space associated to the fusion system (see Section 2.8).
The solution to the Segal conjecture provides an algebraic description of the homotopy
classes of maps between suspension spectra of finite groups in terms of Burnside modules.
In [Rag], a Burnside module between saturated fusions systems is defined. It is a submodule
of the p-complete Burnside module between the Sylow p-subgroups that is characterized in
terms of the fusion data. It is shown that this submodule captures the stable homotopy
classes of maps between the p-completions of suspension spectra of finite groups. The pcompletion functor induces a natural map of abelian groups
∞
∞
∧
∞
∧
[Σ∞
+ BG, Σ+ BH] → [(Σ+ BG)p , (Σ+ BH)p ].

In this paper, we give an algebraic description of this map in terms of fusion data.
Let G and H be finite groups. The proof of the Segal conjecture establishes a canonical
natural isomorphism
∞
∼ ∞
A(G, H)∧
IG = [Σ+ BG, Σ+ BH]
between the completion of the Burnside module of finite (G, H)-bisets with free H-action
at the augmentation ideal of the Burnside ring A(G) and the stable homotopy classes of
maps between BG and BH. Fix a prime p and Sylow p-subgroups S and T of G and
H respectively. Let FG and FH be the fusion systems on the fixed Sylow p-subgroups
determined by G and H. It follows from [BLO2] that there are canonical (independent of
the choice of Sylow p-subgroup) equivalences of spectra
∞
∞
∧
∞
0 ∧
∞
∧
(Σ∞ BG)∧
p ' Σ BFG and (Σ+ BG)p ' Σ BFG ∨ (S )p ' (Σ+ BFG )p .

The first author is supported by the Danish Council for Independent Research’s Sapere Aude program
(DFF–4002-00224).
1

2

S. P. REEH, T. M. SCHLANK, AND N. STAPLETON

The Burnside module for the fusion systems FG and FH , as defined in [Rag], is the submodule
AFp (FG , FH ) ⊂ A(S, T )∧
p
consisting of “fusion stable” (S, T )-bisets. Stability is defined entirely in terms of the fusion
data. The restriction of a (G, H)-biset G XH to the Sylow p-subgroups S and T induces a
map of Burnside modules
A(G, H) → A(S, T ) ,→ A(S, T )∧
p
sending

G XH

to S XT . This map lands inside the stable elements:
/ A(S, T )∧
O p

A(G, H)

' ?
AFp (FG , FH ).
We will write FG XFH for S XT viewed as an element of AFp (FG , FH ). Corollary 9.4 of [RS]
essentially produces an isomorphism
∼ [(Σ∞ BG)∧ , (Σ∞ BH)∧ ].
AFp (FG , FH ) =
+

p

+

p

Using the p-completion functor
∞
∞
∞
∧
∞
∧
(−)∧
p : [Σ+ BG, Σ+ BH] → [(Σ+ BG)p , (Σ+ BH)p ]

we can form the composite
(−)∧

p
∞
∞
∧
∞
∧ ∼
∼ ∞
c : A(G, H) → A(G, H)∧
IG = [Σ+ BG, Σ+ BH] −→ [(Σ+ BG)p , (Σ+ BH)p ] = AFp (FG , FH ).

It is natural to ask for a completely algebraic description of this map in terms of bisets. This
is not just the restriction map, an extra ingredient is needed. Let T HT be the underlying
set of H acted on the left and right by T . Since this is the restriction of H HH , it is stable
so we may consider it as an element FH HFH ∈ AFp (FH , FH ). It is invertible as |H/T | is
prime to p.
Theorem 1.1. (Proposition 3.9) The “completion” map
c : A(G, H) −→ AFp (FG , FH )
is given by
c(G XH ) = (FH HFH )−1 ◦ (FG XFH ) = FG X ×T HF−1
.
H
Thus we have a commutative diagram
∞
[Σ∞
+ BG, Σ+ BH]
O

A(G, H)

(−)∧
p

c

∧
∞
∧
/ [(Σ∞
+ BG)p , (Σ+ BH)p ]



∼
=

/ AFp (FG , FH ),

where c is given by the formula in the theorem above.
Along the way to proving Theorem 1.1, we review the theory of Burnside modules, spectra, fusion systems, Burnside modules for fusion systems, and p-completion as well as proving
a few folklore results. We prove that the suspension spectrum of the p-completion of the
classifying space of a finite group is the same as the p-completion of the classifying spectrum
∞
∧
Σ∞ (BG∧
p ) ' (Σ BG)p .

A FORMULA FOR p-COMPLETION BY WAY OF THE SEGAL CONJECTURE

3

We also show that the p-completion map induces an isomorphism
∼
=

∞
∧
∞
∧
∞
∧
[Σ∞
+ BG, Σ+ BH]p −→ [(Σ+ BG)p , (Σ+ BH)p ]

and give explicit formulas for (FH HFH )−1 that aid computation.
In the final section, Section 4, we describe several categories and functors relevant for
studying p-completion of classifying spaces. Let G be the category of finite groups, Gsyl the
category of finite groups with a chosen Sylow p-subgroup, and F the category of saturated
fusion systems. Let AG, AGsyl , and AFp be the corresponding Burnside categories. Finally,
let Ho(Sp) and Ho(Spp ) be the homotopy categories of spectra and p-complete spectra.
The functor c from Theorem 1.1 above fits together with p-completion of spectra and
the functor F : Gsyl → F associating a fusion system to each group to give the commutative
diagram
GO

A

α

/ Ho(Sp)

AU '

U
Asyl

Gsyl
F

/ AG
O
/ AGsyl

(−)∧
p

c


F

Afus


/ AFp

β


/ Ho(Spp ).

Acknowledgments. All three authors would like to thank the Max Planck Institute for
Mathematics and the Hausdorff Research Institute for Mathematics for their hospitality and
support. The second and third author would like to thank SFB 1085 for its support. The
first author would like to thank his working group at HIM for being patient listeners to
discussions about bisets, I-adic topologies, and p-completions.
2. Preliminaries
We recall definitions and results that are relevant to this paper. In particular, we review
Burnside modules, spectra, fusion systems, and notions of p-completion.
2.1. Burnside modules.
Definition 2.2. Let AG be the Burnside category of finite groups. The objects are finite
groups. The morphism set between two groups G and H, AG(G, H), is the Grothendieck
group of isomorphism classes of finite (G, H)-bisets with free H-action and disjoint union as
addition. We will refer to the elements in AG(G, H) as virtual bisets. Given a third group
K, the composition map
AG(H, K) × AG(G, H) → AG(G, K)
is induced by the map sending an (H, K)-biset Y and a (G, H)-biset X to the coequalizer
X ×H Y . The composition map is bilinear.
There is a canonical basis of AG(G, H) as a Z-module given by the isomorphism classes
of transitive (G, H)-bisets. These bisets are of the form

G ×ϕ
K H = (G × H) (gk, h) ∼ (g, ϕ(k)h),
where K ⊆ G is a subgroup of G (taken up to conjugacy in G) and ϕ : K → H is a group
homomorphism (taken up to conjugacy in G and H). We will denote these (G, H)-bisets by

4

S. P. REEH, T. M. SCHLANK, AND N. STAPLETON

[K, ϕ]H
G or just [K, ϕ] when G and H are clear from context. It is also common to denote a
virtual biset X ∈ AG(G, H) as G XH when G and H are not clear from context.
There is also an “unpointed” version of the category AG:
Definition 2.3. Let KG be the category with objects finite groups and morphism sets
given by

KG(G, H) = ker(AG(G, H) −→ AG(G, e)),
where (G XH ) = G (X/H)e .
Let A(G) = AG(G, e) be the Burnside ring of G. The multiplicative structure comes
from the product of left G-sets. This may be identified with the (commutative) subring
Achar (G) ⊂ AG(G, G) spanned by the (G, G)-bisets of the form G ×K G = [K, iK ] (known
as the semicharacteristic (G, G)-bisets), where K acts through the inclusion iK : K ⊂ G on
both sides. The identification of Achar (G) with A(G) is given by the composite


Achar (G) ⊂ AG(G, G) −→ AG(G, e).
The inverse isomorphism sends G/H ∈ A(G) to G/H × G = G ×H G ∈ Achar (G), where
the left action of G on G/H × G is diagonal. Since AG(G, H) is a left AG(G, G)-module,
it is also a left A(G)-module. Finally, let IG ⊂ A(G) be the kernel of the augmentation
A(G) → Z sending a G-set X to its cardinality.
n+1
Lemma 2.4 ([MM]). If G is a p-group of order pn , then IG
⊆ pIG . Consequently, the IG adic and p-adic topologies on KG(G, H) coincide and the (p+IG )-adic and p-adic topologies
on AG(G, H) coincide.

Proof. This is a consequence of Lemma 5 in [MM]. In particular, the inclusion of ideals
n+1
IG
⊆ pIG is part of the proof of that lemma.

2.5. Spectra.
Definition 2.6. Let Ho(Sp) be the homotopy category of spectra.
For a pointed space X, let Σ∞ X be the suspension spectrum of X. Given another pointed
space Y , we let
[Σ∞ X, Σ∞ Y ]
be the abelian group of homotopy classes of stable maps. For X unpointed, let Σ∞
+ X be the
suspension spectrum of X with a disjoint basepoint. When G is a finite group we will write
Σ∞
+ BG for the suspension spectrum of the classifying space BG with a disjoint basepoint
and Σ∞ BG for the suspension spectrum of BG using Be → BG as the basepoint.
There is a canonical map
∞
AG(G, H) → [Σ∞
+ BG, Σ+ BH]

sending [K, ϕ]H
G to the composite
Tr

Σ∞
+ Bϕ

∞
∞
Σ∞
+ BG −→ Σ+ BK −−−−→ Σ+ BH,

where Tr is the transfer. This map was intensely studied over several decades culminating
in the following theorem.
Theorem 2.7 ([Car], [AGM], [LMM]). There are canonical isomorphisms
[Σ∞ BG, S 0 ] ∼
= A(G)∧
+

and

IG

∞
∧
∼
[Σ∞
+ BG, Σ+ BH] = AG(G, H)IG .

A FORMULA FOR p-COMPLETION BY WAY OF THE SEGAL CONJECTURE

5

There are several corollaries to this theorem (see [May], for instance). They include the
following canonical isomorphisms
[Σ∞ BG, Σ∞ BH] ∼
= KG(G, H)∧
IG
and for S a p-group, due to Lemma 2.4,
[Σ∞ BS, Σ∞ BH] ∼
= KG(S, H)∧
p
and
∞
∧ ∼
∧
[Σ∞
+ BS, Σ+ BH]p = AG(S, H)p .
∞
0
∞
0
∞
∞
Since Σ∞
+ BG ' Σ BG ∨ S ' Σ BG × S , a map Σ+ BG → Σ+ BH is determined
0
∞
by four maps between the summands. However, since [S , Σ BH] = 0, only three of the
maps are relevant. On the algebraic side, this corresponds to a splitting of the Burnside
module AG(G, H)∧
IG into three summands. This decomposition is induced by the orthogonal
idempotents [G, 0], ([G, iG ] − [G, 0]) ∈ AG(G, G) and [H, 0], ([H, iH ] − [H, 0]) ∈ AG(H, H),
where 0 is the map that factors through the trivial subgroup. By multiplying on the left or
right appropriately, these two pairs of idempotents give a splitting of AG(G, H)∧
IG into four
summands
KG(G, H)∧
IG ⊕ IG ⊕ Z ⊕ 0,

one of which is always zero. Because of this, most of the results of this paper can be
converted into unpointed results by multiplying on the right with ([H, iH ] − [H, 0]).
2.8. Fusion systems. We recall the very basics of the definition of a saturated fusion
system. For additional details see [Ree2, Section 2], [RS, Section 2] or [AKO, Part I]. We
also discuss the construction of the classifying spectrum of a fusion system.
Definition 2.9. A fusion system on a finite p-group S is a category F with the subgroups
of S as objects and where the morphisms F(P, Q) for P, Q ≤ S satisfy
(i) Every morphism ϕ ∈ F(P, Q) is an injective group homomorphism ϕ : P → Q.
(ii) Every map ϕ : P → Q induced by conjugation in S is in F(P, Q).
ϕ
(iii) Every map ϕ ∈ F(P, Q) factors as P −
→ ϕ(P ) ,→ Q in F and the inverse isomor−1
phism ϕ : ϕ(P ) → P is also in F.
A saturated fusion system satisfies some additional axioms that we will not go through as
they play no direct role in this paper.
Given fusion systems F1 and F2 on p-groups S1 and S2 , respectively, a group homomorphism ϕ : S1 → S2 is said to be fusion preserving if whenever ψ : P → Q is a map in F1 ,
there is a corresponding map ρ : ϕ(P ) → ϕ(Q) in F2 such that ϕ|Q ◦ ψ = ρ ◦ ϕ|P . Note that
each such ρ is unique if it exists.
Example 2.10. Whenever G is a finite group with Sylow p-subgroup S, we associate a fusion
system on S denoted FG . The maps in FG (P, Q) for subgroups P, Q ≤ S are precisely the
homomorphisms P → Q induced by conjugation in G. The fusion system FG associated to
a group at a prime p is always saturated.
Every saturated fusion system F has a classifying spectrum originally constructed by
Broto-Levi-Oliver in [BLO2, Section 5]. The most direct way of constructing this spectrum,
due to Ragnarsson [Rag], is as the mapping telescope
ω

ω

F
F
∞
∞
Σ∞
+ BF = colim(Σ+ BS −→ Σ+ BS −→ . . .),

6

S. P. REEH, T. M. SCHLANK, AND N. STAPLETON

∞
where ωF : Σ∞
+ BS → Σ+ BS is the characteristic idempotent of F (see [Rag, Definition
∞
4.3]). By construction Σ+ BF is a wedge summand of Σ∞
+ BS. The transfer map
∞
t : Σ∞
+ BF → Σ+ BS

is the inclusion of Σ∞
+ BF as a summand and the “inclusion” map
∞
r : Σ∞
+ BS → Σ+ BF

is the projection on Σ∞
+ BF. Thus r ◦ t = 1 and t ◦ r = ωF .
As remarked in Section 5 of [BLO2], the spectrum Σ∞
+ BF constructed this way is in fact
the suspension spectrum for the classifying space BF defined in [BLO2, Che]. One way to
see this is to note that H ∗ (BF, Fp ) coincides with ωF ·H ∗ (BS, Fp ) as the F-stable elements,
and by an argument similar to Proposition 2.14 later on, the suspension spectrum of BF is
HFp -local.
2.11. Burnside modules for fusion systems. Fix a prime p.
Definition 2.12. Let AFp be the Burnside category of saturated fusion systems. The
objects in this category are saturated fusion systems (F, S) over finite p-groups. Let F1 and
F2 be saturated fusion systems on p-groups S1 and S2 . The morphisms in AFp between
(F1 , S1 ) and (F2 , S2 ) are the elements of the Burnside module
AFp (F1 , F2 ) ⊆ AFp (S1 , S2 ) = AG(S1 , S2 )∧
p.
This is the submodule of the p-complete Burnside module AG(S1 , S2 )∧
p consisting of left
F1 -stable and right F2 -stable elements.
Stability may be defined in two ways. We say that an element X ∈ AFp (S1 , S2 ) is left
F1 -stable if ω1 ◦ X = X and right F2 -stable if X ◦ ω2 = X, where ω1 and ω2 are the
characteristic idempotents of F1 and F2 . Algebraically, the definition is longer but more
elementary. An (S1 , S2 )-biset X is left F1 -stable if for all pairs of subgroups P, Q ⊂ S1 and
ϕ
any isomorphism ϕ : P ∼
=F1 Q in F1 the (P, S1 )-sets P XS1 and P XS1 are isomorphic, where
ϕ
P XS1 is the biset induced by restriction along
ϕ

P −→ Q ⊂ S1 .
Right stability is defined similarly. The Burnside module AFp (F1 , F2 ) is the p-completion
of the Grothendieck group of left F1 -stable right F2 -stable (S1 , S2 )-bisets ([Ree, 4.4]). For
short, we will call such left F1 -stable right F2 -stable elements stable.
It is worth noting that there is an inclusion
AG(S1 , S2 ) ⊂ AFp (S1 , S2 )
so we may view any (S1 , S2 )-biset as an element in AFp (S1 , S2 ). In fact, AFp (S1 , S2 ) is the
free Zp -module on bisets of the form [K, ϕ]SS21 . Similarly, AFp (F1 , F2 ) is a free Zp -module
on “virtual bisets” of the form
S2
2
[K, ϕ]F
F1 = ωF1 ◦ [K, ϕ]S1 ◦ ωF2 ,

where K and ϕ are taken up to conjugacy in F1 and F2 ([Rag, 5.2]).
In order to clarify that a stable (S1 , S2 )-biset X is being viewed in AFp (F1 , F2 ) we will
write F1 XF2 . Given a third saturated fusion system F3 on S3 and bisets F1 XF2 and F2 YF3 ,
we will denote the composite biset by
F1 X

×S2 YF3 = (F1 XF2 ) ×S2 (F2 YF3 ).

A FORMULA FOR p-COMPLETION BY WAY OF THE SEGAL CONJECTURE

7

Given finite groups G and H with Sylow subgroups S and T and a (G, H)-biset X, we
may restrict the G-action to S and the H-action to T to get an (S, T )-biset S XT . Let FG
be the fusion system associated to G on S and and FH the fusion system associated to H
on T . The restricted biset S XT is always a stable biset and so we may further consider it
as an (FG , FH )-biset
FG XFH .
We turn our attention to Burnside rings for saturated fusion systems. Recall that the
composite
Achar (G) → AG(G, G) → AG(G, e) ∼
= A(G)
of Section 2.1 is an isomorphism and identifies the Burnside ring A(G) with the subring of
AG(G, G) on the semicharacteristic (G, G)-bisets.
In the same way, there are two versions of the Burnside ring associated to a fusion
system F on a p-group S. The first, denoted A(F), is the subring of F-stable elements
of A(S). The second is the subring of Achar
(F) ⊆ AFp (F, F) ⊆ AFp (S, S) consisting of
p
F-semicharacteristic bisets. This is the Zp -submodule spanned by the basis elements of
char
(F) is the characteristic idempotent. The
the form [K, iK ]F
F . The identity element in Ap
char
units of Ap (F) are usually referred to as the F-characteristic elements, and each of them
contains enough information to reconstruct F (see [RS, Theorem 5.9]).
(F) may be canonically identified after p-completion,
The commutative rings A(F) and Achar
p
but it is useful to distinguish between the two. The (non-multiplicative) map  : AG(S, S) →
A(S) induces a map
Achar
(F) ⊂ AFp (F, F) → A(F)∧
p
p
which is a ring isomorphism by Theorem D in [Ree2].
Let IF be the kernel of the augmentation map
IF = ker(A(F) → A(S) → Z).
A(F)∧
p

The ring
is clearly p-complete. It is also complete with respect to the maximal ideal
(p) + IF and these ideals give the same topology. This follows immediately from the fact
that the ideals (p) and (p) + IS give the same topology on A(S) (Lemma 2.4).
2.13. p-completion. Let E be a spectrum. There is a p-completion functor on spectra
equipped with a canonical transformation
E → Ep∧ .
This functor is given by Bousfield localization at the Moore spectrum M Z/p. When E is
connective, for instance if E is the classifying spectrum of a finite group, then Ep∧ is also
the localization of E at HFp . There is a natural equivalence
∧
∞
∧
0 ∧
(Σ∞
+ BG)p ' (Σ BG)p ∨ (S )p .

The arithmetic fracture square immediately implies that
_
Σ∞ BG ' (Σ∞ BG)∧
p.
p

If S is a p-group, then Σ∞ BS ' (Σ∞ BS)∧
p so
∧
∞
0 ∧
(Σ∞
+ BS)p ' Σ BS ∨ (S )p .

When the prime is clear from context and X is a space, we will write
∞
∧
Σ̂∞
+ X = (Σ+ X)p

8

S. P. REEH, T. M. SCHLANK, AND N. STAPLETON

for the p-completion of the suspension spectrum with a disjoint basepoint.
∞
Let S ⊂ G be a Sylow p-subgroup. Since Σ̂∞
+ BG is a retract of Σ̂+ BS and because maps
to p-complete spectra factor through the p-completion, the restriction along the inclusion
induces an injection
0 ∧
∞
0 ∧
[Σ∞
+ BG, (S )p ] ,→ [Σ+ BS, (S )p ].
There are several notions of p-completion for spaces. These were developed in [Bou],
[BK], [Sul], and [Sul2]. For a space such as BG, these notions all agree and there is a
simple relationship between the stable p-completion and the unstable p-completion. Since
it is difficult to find a proof of this fact in the literature, we provide a complete proof.
Proposition 2.14. Let G be a finite group. There is a canonical equivalence
∞
∧
Σ∞ (BG∧
p ) ' (Σ BG)p .

Proof. It follows from [BK, VII.4.3] that the unstable homotopy groups π∗ (BG∧
p ) are all
finite p-groups.
g ∗ (BG∧ ) are all finite p-groups:
This implies that the reduced integral homology groups HZ
p
]∧
Let BG
be
the
universal
cover.
A
Serre
class
argument
with
the
Serre spectral sequence
p
associated to the fibration
∧
∧
]∧
BG
p → BGp → K(π1 (BGp ), 1)
reduces this problem to the group homology of π1 (BG∧
p ) with coefficients in the integral
homology of the fiber. The result follows from the fact that the reduced homology groups of
the fiber are p-groups and that the integral group homology groups of π1 (BG∧
p ) are p-groups.
Both of these are classical (see [DK, Chapter 10] for the fiber, for instance).
This implies that the stable homotopy groups π∗ (Σ∞ (BG∧
p )) are all finite p-groups: This
is a Serre class argument with the (convergent) Atiyah-Hirzebruch spectral sequence.
∞
∧
This implies that the spectrum Σ∞ (BG∧
p ) is p-complete: As Σ (BGp ) is connective, it
suffices to prove that the spectrum is HFp -local. Let X be an HFp -acyclic spectrum. Let
Yi be the ith stage in the Postnikov tower for Σ∞ (BG∧
p ) so that
Σ∞ (BG∧
p ) ' lim Yi
and
X
X
Σ∞ (BG∧
p ) ' lim Yi .
We would like to show that this spectrum is zero. Let Ki be the fiber of the map Yi → Yi−1 .
By induction, it suffices to prove the KiX ' 0.
There is an equivalence Ki ' Σk HA for a finite abelian p-group group A. Thus it suffices
to show that (Σk HZ/pl )X ' 0 for all l. By induction on the fiber sequence

Σk HFp → Σk HZ/pl → Σk HZ/pl−1
it suffices to prove that (Σk HFp )X ' 0. This is the spectrum of HFp -module maps
ModHFp (HFp ∧ X, Σk HFp ). By assumption HFp ∧ X ' ∗.
This implies that the canonical map
Σ∞ BG −→ Σ∞ (BG∧
p)
factors through
∞
∧
(Σ∞ BG)∧
p −→ Σ (BGp )
which is an HFp -homology equivalence between HFp -local spectra and thus is an equivalence.


A FORMULA FOR p-COMPLETION BY WAY OF THE SEGAL CONJECTURE

9

When restricted to the homotopy category of classifying spectra of finite groups, the
p-completion functor has a simple description. We have not found this fact in the literature.
Proposition 2.15. The p-completion functor on spectra induces an isomorphism
∼
=

∞
∧
∞
∞
[Σ∞
+ BG, Σ+ BH]p −→ [Σ̂+ BG, Σ̂+ BH].

Proof. We have splittings
∞
∞
0
∞
∞
∼ 0 0
[Σ∞
+ BG, Σ+ BH] = [S , S ] ⊕ [Σ BG, S ] ⊕ [Σ+ BG, Σ BH].

and
Σ∞ BG '

_

∞
(Σ∞ BG)∧
l and Σ BH '

l

_
(Σ∞ BH)∧
l ,
l

where the wedges are over primes dividing the order of the group. Since
[X, (Σ∞ BH)∧
l ]
is l-complete for finite type X and a prime l and thus algebraically l-complete ([Bou2, 2.5]),
the (algebraic) p-completion of the abelian group
∞
[Σ∞
+ BG, Σ BH]
∞
0
0
0 ∧
∼ 0
is [Σ∞
+ BG, Σ̂ BH]. The algebraic p-completion of [S , S ] is clearly Zp = [S , (S )p ].
∞
0
∞
Finally, we must deal with [Σ BG, S ]. However, since Σ BG is connected, maps from
Σ∞ BG to S 0 factor through the connected cover of S 0 , S̃ 0 . The connected cover of S 0 has
trivial rational cohomology, so the arithmetic fracture square gives a splitting
_
Y
S̃ 0 ' (S̃ 0 )∧
(S̃ 0 )∧
l '
l .
l

l

The second equivalence is a consequence of the fact that πi S 0 is finite above degree zero.
Thus the group [Σ∞ BG, S 0 ] appears to be an infinite product, however the l-completion of
Σ∞ BG is contractible for l not dividing the order of G. Thus the product
Y
[Σ∞ BG, (S̃ 0 )∧
l ]
l

has a finite number of non-zero factors. The p-completion of this product is just the factor
corresponding to the prime p.

3. A formula for the p-completion functor
Fix a prime p. We give an explicit formula for the p-completion functor from virtual
(G, H)-bisets to p-complete spectra sending a biset
∞
X : Σ∞
+ BG → Σ+ BH

to the p-completion
∞
Xp∧ : Σ̂∞
+ BG → Σ̂+ BH.

10

S. P. REEH, T. M. SCHLANK, AND N. STAPLETON

3.1. Further results on Burnside modules for fusion systems. We begin with a result
describing how Burnside modules for fusion systems relate to the stable homotopy category.
Let G and H be finite groups and let S ⊆ G and T ⊆ H be fixed Sylow p-subgroups. Let
FG and FH be the fusion systems on S and T determined by G and H. Recall that there
are natural forgetful maps
AG(G, H) → AG(S, T )
and
AFp (FG , FH ) ,→ AFp (S, T ).
In the stable homotopy category the analogous maps are the map
∞
∞
∞
[Σ∞
+ BG, Σ+ BH] → [Σ+ BS, Σ+ BT ]
∞
given by composing with the inclusion from Σ∞
+ BS and the transfer to Σ+ BT and the map
∞
∞
∞
[Σ̂∞
+ BFG , Σ̂+ BFH ] → [Σ̂+ BS, Σ̂+ BT ]

given by precomposing with r and postcomposing with t. We may use this to construct a
map
∞
∞
∞
[Σ∞
+ BG, Σ+ BH] → [Σ̂+ BFG , Σ̂+ BFH ]

by sending X to the p-completion of the composite
t

G

X

H

r

S G
H T
∞
∞
∞
∞
∞
Σ∞
+ BFG −→ Σ+ BS −→ Σ+ BG −→ Σ+ BH −→ Σ+ BT −→ Σ+ BFH .

Proposition 3.2. Let F1 and F2 be saturated fusion systems on the p-groups S1 and S2 .
There is a canonical isomorphism
∼
=

∞
AFp (F1 , F2 ) −→ [Σ̂∞
+ BF1 , Σ̂+ BF2 ].
∞
Proof. The abelian groups AFp (S1 , S2 ) and [Σ̂∞
+ BS1 , Σ̂+ BS2 ] both have canonical idempotent endomorphisms given by precomposing and postcomposing with the characteristic
idempotents associated to F1 and F2 . The algebraic characteristic idempotent maps to the
spectral characteristic idempotent by definition. This compatibility ensures that the images
of these endomorphisms map to each other under the canonical isomorphism of Proposition
2.15
∼
=

∞
AFp (S1 , S2 ) −→ [Σ̂∞
+ BS1 , Σ̂+ BS2 ].

The images of these endomorphisms are precisely the (F1 , F2 )-stable bisets and the homotopy classes
∞
[Σ̂∞
+ BF1 , Σ̂+ BF2 ].

Since the retract of an isomorphism is an isomorphism, we have constructed a canonical
isomorphism
∼
=

∞
AFp (F1 , F2 ) −→ [Σ̂∞
+ BF1 , Σ̂+ BF2 ].



Proposition 3.3. Let G and H be finite groups and let S ⊂ G and T ⊂ H be Sylow
p-subgroups. Let FG and FH be the fusion systems on S and T determined by G and H.

A FORMULA FOR p-COMPLETION BY WAY OF THE SEGAL CONJECTURE

11

There is a commutative diagram
AG(G, H)

∞
/ [Σ∞
+ BG, Σ+ BH]


AG(S, T )


∞
/ [Σ∞
+ BS, Σ+ BT ]


AFp (S, T )
O

∼
=


/ [Σ̂∞
BS,
Σ̂∞ BT ]
+
O +

# ?
AFp (FG , FH )

∼
=

{
?
∞
/ [Σ̂∞
+ BFG , Σ̂+ BFH ].

Proof. The top center square commutes by naturality of Theorem 2.7. The middle center
square commutes by the corollaries to Theorem 2.7. The bottom middle square commutes
by the discussion in the proof of Proposition 3.2.
The left part of the diagram commutes as the restriction of a (G, H)-biset is bistable.
Note that the map
∞
∞
∞
[Σ̂∞
+ BFG , Σ̂+ BFH ] → [Σ̂+ BS, Σ̂+ BT ]
is given by the formula
f 7→ tf r.
The right part of the diagram commutes as the p-completion of the composite
t

G

X

H

r

X

H

ωF

S G
H T
∞
∞
∞
∞
∞
Σ∞
+ BFG −→ Σ+ BS −→ Σ+ BG −→ Σ+ BH −→ Σ+ BT −→ Σ+ BFH

maps to the p-completion of the composite
ωF

G

G
S G
H T
H
∞
∞
∞
∞
∞
Σ∞
+ BS −→ Σ+ BS −→ Σ+ BG −→ Σ+ BH −→ Σ+ BT −→ Σ+ BT

and stability implies that this is equal to the p-completion of
G

H

X

S G
H T
∞
∞
∞
Σ∞
+ BS −→ Σ+ BG −→ Σ+ BH −→ Σ+ BT.



Proposition 3.3 gives an interpretation of the biset construction
G XH

7→ FG XFH

in terms of spectra. It is the p-completion of the composite
t

G

H

X

r

S G
H T
∞
∞
∞
∞
∞
Σ∞
+ BFG −→ Σ+ BS −→ Σ+ BG −→ Σ+ BH −→ Σ+ BT −→ Σ+ BFH .

∞
Now we focus on the relationship between Σ̂∞
+ BFG and Σ̂+ BG. Applying p-completion
∞
∞
∞
∞
to the maps t : Σ+ BFG → Σ+ BS and S GG : Σ+ BS → Σ+ BG gives us the commutative
diagram

(1)

Σ∞
+ BFG

Σ̂∞
BF
G
+

t

/ Σ∞
+ BS

S GG


/ Σ̂∞
+ BS
aG

The map aG is the composite of the bottom arrows.

/ Σ∞
+ BG

/ Σ̂∞
BG.
3 +

12

S. P. REEH, T. M. SCHLANK, AND N. STAPLETON

Proposition 3.4. ([CE, XII.10.1], [BLO2]) The map
∞
aG : Σ̂∞
+ BFG → Σ̂+ BG

is an equivalence.
Note that aG is canonical and natural in maps of finite groups. We will use this equivalence to identify these spectra with each other.
Let S ⊂ G be a Sylow p-subgroup and define
JG = ker(A(G) → A(S)).
Note that JG is independent of the choice of Sylow p-subgroup.
Corollary 3.5. Let G and H be finite groups and let JG ⊂ A(G) be the ideal defined
above. There are canonical isomorphisms
∼
AG(G, H)∧
= Zp ⊗ AG(G, H)/JG AG(G, H) ∼
= AFp (FG , FH )
p+IG

natural in G and H.
∼
Proof. Since A(G)∧
p+IG = Zp ⊗ A(G)/JG the first isomorphism follows from the fact that
the completion is given by base change. Naturality of this isomorphism follows from the
fact that the image of a Sylow p-subgroup under a group homomorphism is contained in a
Sylow p-subgroup.
To see the other isomorphism, recall that Theorem 2.7 gives an isomorphism
∼
=

∞
∞
AG(G, H)∧
IG −→ [Σ+ BG, Σ+ BH].

In view of Proposition 3.4, it suffices to show that the p-completion functor
∞
∞
∞
[Σ∞
+ BG, Σ+ BH] −→ [Σ̂+ BG, Σ̂+ BH]

is given algebraically by p-completion. This is Proposition 2.15.



∞
3.6. A formula for p-completion. Now consider the map S GS : Σ∞
+ BS → Σ+ BS, which
is the composite of the inclusion and transfer along S ⊆ G. This element is FG -semicharacteristic;
it is not S-semicharacteristic as it is the composite
S GS

= [S, idS ]SG ◦ [S, iS ]G
S

and various conjugations with respect to elements of G not in S show up in the resulting
sum.
Lemma 3.7. The element
FG GFG

∞
∈ AFp (FG , FG ) ∼
= [Σ̂∞
+ BFG , Σ̂+ BFG ]

is a unit.
Proof. Since

FG GFG

is FG -semicharacteristic it is in the image of the inclusion
i : Achar
(FG ) → AFp (FG , FG ).
p

Recall that the composite
Achar
(FG ) → AFp (FG , FG ) → A(FG )∧
p
p
is an isomorphism of commutative rings even though the second map is not a ring map.
The image of FG GFG in A(FG )∧
p is G/S viewed as an FG -stable set. Since |G/S| is coprime
to p, this projects onto a unit in Fp under the canonical map
A(FG )∧
p → Zp → Fp .

A FORMULA FOR p-COMPLETION BY WAY OF THE SEGAL CONJECTURE

13

Since A(FG )∧
p is complete local with maximal ideal p + IFG , G/S is a unit, but now this
implies that FG GFG is a unit.

Recall the equivalence of Proposition 3.4, we now give an explicit description of the
inverse to aG . Consider the following diagram
Σ∞
+ BG

(2)


Σ̂∞
BG
+

G GS

/ Σ∞
+ BS

r


/ Σ̂∞
+ BS

/ Σ∞
+ BFG

/ Σ̂∞
BF
G
+
' (FG GFG )−1


. Σ̂∞ BFG .

bG

+

∞
The map G GS is the transfer from Σ∞
+ BG to Σ+ BS. The
−1
of the first row. The map (FG GFG ) exists by Lemma 3.7,

we are in the category of p-complete spectra. The map bG

second row is the p-completion
which depends on the fact that
is the composite.

Lemma 3.8. The map
∞
bG : Σ̂∞
+ BG → Σ̂+ BFG .

is the inverse to aG .
Proof. Put Diagram 1 from page 11 to the left of Diagram 2. Note that the image of
along the map
AG(G, G) → AFp (FG , FG )
of Proposition 3.3 is FG GFG , which we then postcompose with (FG GFG )−1 .

G GG



Using bG , we may replace the target of the canonical map to the p-completion
∞
Σ∞
+ BG −→ Σ̂+ BG

by Σ̂∞
+ BFG . Let
b

G
∞
∞
cG : Σ ∞
+ BG → Σ̂+ BG −→ Σ̂+ BFG
be the composite; it is naturally equivalent to the p-completion map. Diagram 2 gives a
kind of formula for cG . It is the the transfer G GS , viewed as a map landing in Σ∞
+ BFG ,
∞
BF
→
Σ̂
BF
followed
by
the
equivalence
postcomposed with the p-completion map Σ∞
G
G
+
+
(FG GFG )−1 :

G

(F GF )−1

r

G S
G
G
∞
∞
cG : Σ∞
−−→ Σ∞
−−
−−−
−−→ Σ̂∞
+ BG −
+ BS −→ Σ+ BFG → Σ̂+ BFG −
+ BFG .

Using the equivalences aG and bH , we may construct a map
d : [Σ∞ BG, Σ∞ BH] → [Σ̂∞ BFG , Σ̂∞ BFH ]
(−)
+

+

+

+

by sending
∞
f : Σ∞
+ BG → Σ+ BH

to the composite
f∧

bH
aG
p
∞
∞
∞
fb: Σ̂∞
+ BFG −→ Σ̂+ BG −→ Σ̂+ BH −→ Σ̂+ BFH .

By Proposition 3.2, this is an element in AFp (FG , FH ). We will give a simple formula for
d with the
fb when f comes from a virtual (G, H)-biset. In fact, we may precompose (−)

14

S. P. REEH, T. M. SCHLANK, AND N. STAPLETON

∞
canonical map A(G, H) → [Σ∞
+ BG, Σ+ BH]. By abuse of notation, we will also call this
d
(−).

Proposition 3.9. Let G and H be finite groups, and let T ⊂ H be the Sylow p-subgroup
on which FH is defined. The map
d
(−)

AG(G, H) −→ AFp (FG , FH )
sends a virtual (G, H)-biset
FG XFH

b

G XH

to

= FG X ×T HF−1
= (FG XFH ) ×T (FH HFH )−1 .
H

In other words, there is a commutative diagram in the stable homotopy category
/ Σ∞
+ BH

X

Σ∞
+ BG
cG


∞
Σ̂+ BFG

cH


/ Σ̂∞
+ BFH .

−1
FG X×T HF
H

Proof. Putting together Diagram 1 and the definition of cH , we have a commutative diagram
Σ∞
+ BFG

/ Σ∞
+ BS

/ Σ∞
+ BG

/ Σ∞
+ BH

X

cH


Σ̂∞
+ BFG


/ Σ̂∞
+ BG

aG

Xp∧


/ Σ̂∞
+ BH

bG

%
/ Σ̂∞
+ BFH .

b is the
The vertical arrows are all the canonical maps to the p-completion. Note that X
is the composite of the arrows in the bottom row of the diagram. Also, we could add
∞
cG : Σ∞
+ BG → Σ̂+ BFG diagonally in the left hand square and the diagram would still
commute. The composite along the top is precisely
FG X

×T HF−1
H

giving us the desired formula.



Remark 3.10. The formula of Proposition 3.9 also makes sense on elements in A(G, H)∧
IG
and the proof is identical once one feels comfortable referring to elements in the completion
as virtual bisets.
This result allows us to give explicit formulas for the p-completion functor. It is often
useful to have formulas more explicit than (FG GFG )−1 . We will give two further ways of
understanding this element. One as an infinite series and the other as a certain limit. The
following formulas for calculating (FG GFG )−1 are based on similar calculations in [Rag].
Proposition 3.11. Let X = FG GFG . Inside AFp (FG , FG ) we have the equalities
X
n
X −1 = X p−2
(1 − X p−1 )i = lim X (p−1)p −1 .
n→∞

i≥0

Proof. Since X is FG -characteristic, it suffices to prove this inside
A(FG )∧ ∼
= Achar (FG ) ⊂ AFp (FG , FG ).
p

p

This ring is complete local with maximal ideal m = p + IFG .

A FORMULA FOR p-COMPLETION BY WAY OF THE SEGAL CONJECTURE

15

Since X is invertible, it is enough to show that
n

lim X (p−1)p = X × lim X (p−1)p

n→∞

n

−1

n→∞

= 1.

p−1
∼
But since A(FG )∧
= 1 mod m. Thus it is enough to show
p /m = Fp , we have that X
pn
that if Y = 1 mod m, then lim Y = 1.
n→∞
Indeed, we will prove by induction that
n

Y p − 1 ∈ mn+1 .
n

The case n = 0 follows by assumption. Assume that Y p − 1 ∈ mn+1 . We have
Yp

p−1
X
n
n
− 1 = (Y p − 1)(
Y p i ),

n+1

i=0

but
p−1
X

Y

pn i

i=0

=

p−1
X

1p

n

i

=p=0

mod m

i=0

n

n+1

and (Y p − 1) ∈ mn+1 by assumption, so (Y p
− 1) ∈ mn+2 .
For the other equality, note that the sum is the geometric series for 1/X p−1 and that the
summand live in higher and higher powers of m.

Remark 3.12. The formulas for X −1 in the previous proposition are true much more
generally. For instance, it suffices that R is a (not necessarily commutative) Zp -algebra
with a two-sided maximal ideal m such that R/m ∼
= Fp and R is finitely generated as a
Zp -module.
∞
∧
Corollary 3.13. The idempotent in KG(G, G)∧
IG that splits off (Σ BG)p as a summand
∞
of Σ BG can be written as
n

G (p−1)p
lim ([S, iS ]G
.
G − [S, 0]G )

n→∞

∞
G
The biset [S, iS ]G
G − [S, 0]G = (G ×S G) − (G/S ×e G) is just the transfer from Σ BG to
Σ∞ BS followed by the inclusion back to Σ∞ BG.

Proof. Recall the discussion following Proposition 2.7, that in order to get the unpointed
∞
version Σ∞ BG → Σ∞ BH of any map Σ∞
+ BG → Σ+ BH, we just have to postcompose with
the idempotent [H, iH ] − [H, 0] ∈ AG(H, H). This is because, for any virtual (G, H)-biset
X, we have
(3)

([G, iG ] − [G, 0]) ×G X ×H ([H, iH ] − [H, 0]) = X ×H ([H, iH ] − [H, 0]).

∞
∞
∞
The map cG : Σ∞
+ BG → Σ̂+ BFG has an unpointed version cG : Σ BG → Σ BFG which
S
S
we get by postcomposing with the idempotent ωF − [S, 0]S = ωF ×S ([S, iS ]S − [S, 0]SS ) ∈
AFp (F, F). The map cG is represented by the composition
G

(F GF )−1

r

G S
G
G
Σ∞ BG −
−−→ Σ∞ BS −→ Σ∞ BFG −−−
−−−
−−→ Σ∞ BFG

or equivalently as the element
G GS

×S (FG GFG )−1 ×S (ωF − [S, 0]).
t

i

S
Similarly the map s : Σ∞ BFG →
− Σ∞ BS −→
Σ∞ BG is represented by the virtual biset
S GG ×G ([G, iG ] − [G, 0]).

16

S. P. REEH, T. M. SCHLANK, AND N. STAPLETON

We see that s is a section to cG since cG ◦ s is represented by the composite
S GG

×G ([G, iG ] − [G, 0]) ×G G GS ×S (FG GFG )−1 ×S (ωF − [S, 0])

= S GG ×G G GS ×S (FG GFG )−1 ×S (ωF − [S, 0])
= S GS ×S (FG GFG )−1 ×S (ωF − [S, 0]) = (ωF − [S, 0])
and ωF − [S, 0] is the identity map on Σ∞ BFG . Note that we can remove ([G, iG ] − [G, 0])
in the middle since we multiply by (ωF − [S, 0]) at the end anyway.
∞
The composition cG ◦ s ends with the equivalence bG : (Σ∞ BG)∧
p → Σ BFG . If we
instead place bG at the beginning, we see that
b

s

G
(Σ∞ BG∧
−→
(Σ∞ BFG ) −
→ Σ∞ BG → (Σ∞ BG)∧
p) −
p

is also the identity.
From this we conclude that s ◦ cG : Σ∞ BG → Σ∞ BG is an idempotent with image the
−1
p-completion (Σ∞ BG)∧
from Proposition
p . We now plug in the limit formula for (FG GFG )
3.11 and see that the idempotent s ◦ cG has the form
G GS

×S (FG GFG )−1 ×S (ωF − [S, 0]) ×S S GG ×G ([G, iG ] − [G, 0])

= G GS ×S (FG GFG )−1 ×S S GG ×G ([G, iG ] − [G, 0])


n
= G GS ×S lim (S GS )(p−1)p −1 ×S S GG ×G ([G, iG ] − [G, 0])
n→∞


n
= lim (G ×S G)(p−1)p ×G ([G, iG ] − [G, 0])
n→∞

n

(p−1)p
= lim (G ×S G − [S, 0]G
.
G)
n→∞

The last equality holds because (3) tells us that we can act with the idempotent [G, iG ]−[G, 0]
on every factor in a long composition, and (G×S G)×G ([G, iG ]−[G, 0]) = G×S G−[S, 0]G
G. 
Example 3.14. As an example of how the different formulas of this paper play together with
the IG -adic topology, we will perform a “sanity check”. We will check that the idempotents
of Corollary 3.13 at each prime actually add up to give back the identity on Σ∞ BG.
Let Sp be a Sylow p-subgroup of G, and let ωp denote the idempotent
n

G (p−1)p
ωp := lim ([Sp , iSp ]G
G − [Sp , 0]G )
n→∞

∞
that splits off (Σ∞ BG)∧
p from Σ BG. We will confirm that
X
[G, iG ] − [G, 0] =
ωp
p

KG(G, G)∧
IG

in the endomorphism ring
First note that we may write
(4)

∞

of Σ BG.

1=

X
p

ap

|G|
,
|Sp |

a linear combination of integers for some choice of integers ap . Next let
X
|G|
Z :=
ap (
([G, iG ] − [G, 0]) − ([Sp , iSp ] − [Sp , 0])),
|S
p|
p
which is an element of IG · ([G, iG ] − [G, 0]).

A FORMULA FOR p-COMPLETION BY WAY OF THE SEGAL CONJECTURE

17

We now claim that

Z ×G (([G, iG ] − [G, 0]) −

X

ωp ) = ([G, iG ] − [G, 0]) −

p

X

ωp .

p

To show this we need the following two calculations: The first is the fact that

([Sp , iSp ] − [Sp , 0]) ×G ([Sq , iSq ] − [Sq , 0]) = 0 whenever p 6= q,

because any conjugates of Sp and Sq in G always intersect trivially. Hence ([Sp , iSp ] −
[Sp , 0]) ×G ωq = 0 as ωq is formed by iterating [Sq , iSq ] − [Sq , 0]. The second calculation we
need is that

([Sp , iSp ] − [Sp , 0]) ×G ωp
n

= lim ([Sp , iSp ] − [Sp , 0]) ×G ([Sp , iSp ] − [Sp , 0])(p−1)p
n→∞


n
S
S
= ([Sp , iSp ]Gp − [Sp , 0]Gp ) ×Sp lim (Sp GSp − (Sp G/Sp ×e Sp ))(p−1)p
n→∞

G
×Sp ([Sp , iSp ]G
Sp − [Sp , 0]Sp )
S

S

S

S

S

G
= ([Sp , iSp ]Gp − [Sp , 0]Gp ) ×Sp (ωFSp (G) − [Sp , 0]Spp ) ×Sp ([Sp , iSp ]G
Sp − [Sp , 0]Sp )
G
= ([Sp , iSp ]Gp − [Sp , 0]Gp ) ×Sp ([Sp , iSp ]G
Sp − [Sp , 0]Sp ) by FSp (G)-stability

= [Sp , iSp ] − [Sp , 0].

G
This implies that [Sp , iSp ]G
G − [Sp , 0]G is ωp -stable (not surprisingly). Now we return to the
product with Z:


X 
Z ×G ([G, iG ] − [G, 0]) −
ωp
p

=

X

ap

 |G|

([G, iG ] − [G, 0]) − ([Sp , iSp ] − [Sp , 0])




X 
×G ([G, iG ] − [G, 0]) −
ωp

|Sp |
X |G|  
X 
· ([G, iG ] − [G, 0]) −
ωp
=
ap
|Sp |
p
p
X


X 
−
ap ([Sp , iSp ] − [Sp , 0]) ×G ([G, iG ] − [G, 0]) −
ωp
p

p

p

p

18

S. P. REEH, T. M. SCHLANK, AND N. STAPLETON

By Equation 4, this is equal to

X 
([G, iG ] − [G, 0]) −
ωp
p

−

X



X 
ap ([Sp , iSp ] − [Sp , 0]) ×G ([G, iG ] − [G, 0]) −
ωp

p

p



= ([G, iG ] − [G, 0]) −

X

ωp



p

−

X


X 
ap ([Sp , iSp ] − [Sp , 0]) ×G ([G, iG ] − [G, 0]) − ([Sp , iSp ] − [Sp , 0]) ×G
wq

p

q



X



X

= ([G, iG ] − [G, 0]) −



ωp −

X



X

p

= ([G, iG ] − [G, 0]) −
= ([G, iG ] − [G, 0]) −

ap ([Sp , iSp ] − [Sp , 0]) − ([Sp , iSp ] − [Sp , 0]) ×G ωp



p

ωp −

p

X



ap · 0



p

ωp .

p

P
k
Since Z is in IG ·([G, iG ]−[G, 0]), this shows that ([G, iG ]−[G, 0])− p ωp is in IG
KG(G, G)
P
for all k and therefore equal to 0 in the IG -adic completion. Thus ([G, iG ] − [G, 0]) = p ωp
as we claimed.
4. Categories related to fusion systems
We introduce several categories closely connected to the category of fusion systems and
study some of the functors between them. We apply the formula for p-completion of the
previous section to produce a commutative diagram involving these categories.
Definition 4.1. Let G be the category of finite groups and group homomorphisms.
Fix a prime p.
Definition 4.2. Let Gsyl be the category with objects pairs (G, S), where G is a finite group
and S is a Sylow p-subgroup of G. A morphism between two objects (G, S) and (H, T ) is a
homomorphism f : G → H such that f (S) ⊂ T .
Definition 4.3. Let F be the category of saturated fusion systems. The objects are saturated fusion systems (F, S) and a morphism from (F, S) to (G, T ) is a fusion preserving
group homomorphism S → T .
Recall that AG is the Burnside category of finite groups. Objects are finite groups and
the morphism set between two groups G and H, AG(G, H), is the Grothendieck group of
finite (G, H)-bisets with a free H-action. Also recall that AFp is the Burnside category of
fusion systems.
Definition 4.4. Let AGsyl be the category with objects pairs (G, S) where G is a finite
group and S is a Sylow p-subgroup of G and with morphisms between two objects (G, S)
and (H, T ) given by
AGsyl ((G, S), (H, T )) = AG(G, H).
We will also make use of several categories coming from homotopy theory.

A FORMULA FOR p-COMPLETION BY WAY OF THE SEGAL CONJECTURE

19

Definition 4.5. Let Ho(TopG ) be the full subcategory of the homotopy category of spaces
on the classifying spaces of finite groups. Let Ho(Sp) be the homotopy category of spectra
and let Ho(Spp ) be the homotopy category of p-complete spectra.
We describe the relationships between these categories by defining several canonical functors. We produce commutative diagrams involving the categories, applying the formula for
p-completion from the previous section.
Let A : G → AG be the canonical functor from the category of groups to the Burnside
category. It takes a group homomorphism ϕ : G → H to the (G, H)-biset [G, ϕ]H
G , which is
just ϕ
G HH with G acting through ϕ on the left. The functor A is not faithful, conjugate maps
are identified. It does factor through the full functor B(−) to Ho(TopG ) and Ho(TopG ) does
map faithfully into AG.
Let U : Gsyl → G be the forgetful functor, sending (G, S) to G. This functor is faithful.
Given a map ϕ : G → H and a Sylow subgroup S ⊆ G, ϕ(S) is contained in some Sylow
subgroup of H and this provides a lift of ϕ to Gsyl .
Let Asyl : Gsyl → AGsyl be defined just as the functor A. It takes a morphism ϕ : (G, S) →
(H, T ) to the biset [G, ϕ]H
G . Note that any map G → H is H-conjugate to a map sending S
into T . Thus the image of Gsyl ((G, S), (H, T )) in
AGsyl ((G, S), (H, T )) = AG(G, H)
is equal to the image of G(G, H) under the functor A.
Let AU : AGsyl → AG be the forgetful functor. Note that this functor is an equivalence,
it is fully faithful and surjective on objects.
Let F : Gsyl → F be the functor sending a pair (G, S) to the induced fusion system FG
on S. By construction, the morphisms in Gsyl restrict to fusion preserving maps between
the chosen Sylow p-subgroups.
Let Afus : F → AFp be the functor that is the identity on objects and takes a map of
fusion systems (F, S) → (G, T ) induced by a fusion preserving map ϕ : S → T to [S, ϕ]GF .
In Proposition 4.7 below, we prove that this is a functor.
Lemma 4.6. Let ϕ : S → T be a fusion preserving map between saturated fusion systems
(F, S) and (G, T ). Then
ωF ×S [S, ϕ] ×T ωG = [S, ϕ] ×T ωG .
Proof. It is sufficient to show that X := [S, ϕ] ×T ωG is left F-stable. To see that X is
F-stable we consider an arbitrary subgroup P ≤ S and map ψ ∈ F(P, S) and prove that
the restriction of X along ψ, ψ
P XT , is isomorphic to P XT as virtual (P, T )-bisets.
The restriction of [S, ϕ]TS along ψ : P → S is just [P, ϕ ◦ ψ]TP . We therefore have
ψ
P XT

= [P, ϕ ◦ ψ]TP ×T ωG .

Since ψ is a map in F, and since ϕ is assumed to be fusion preserving, this means that there
is some map ρ : ϕ(P ) → T in G such that ϕ|ψ(P ) ◦ ψ = ρ ◦ ϕ|P . Finally, ωG absorbs maps in
G, and thus
ψ
P XT

= [P, ϕ ◦ ψ]TP ×T ωG = [P, ρ ◦ ϕ]TP ×T ωG = [P, ϕ]TP ×T ωG = P XT .



Proposition 4.7. The operation Afus described above is a functor.
Proof. Suppose we have two fusion preserving maps ψ : R → S, ϕ : S → T between saturated
fusion systems (E, R), (F, S) and (G, T ). Applying Lemma 4.6 to ϕ, we easily confirm that

20

S. P. REEH, T. M. SCHLANK, AND N. STAPLETON

Afus preserves composition:
Afus (ϕ) ◦ Afus (ψ) = ωE ×R [R, ψ] ×S ωF ×S [S, ϕ] ×T ωG
= ωE ×R [R, ψ] ×S [S, ϕ] ×T ωG
= ωE ×R [R, ϕ ◦ ψ] ×T ωG
= Afus (ϕ ◦ ψ).



Let AF : AGsyl → AFp be the functor taking (G, S) to FG and taking a virtual (G, H)biset X to
b
FG XFH
as described in Proposition 3.9. This is the functor c from Theorem 1.1 of the introduction.
Proposition 4.8. There is a commutative diagram of categories
GO

A

U

AU
Asyl

Gsyl
F

/ AG
O


F

/ AGsyl
AF

Afus


/ AFp .

Proof. The top square clearly commutes, so we need to prove that the bottom square commutes as well.
Let ϕ : G → H be a morphism in Gsyl from (G, S) to (H, T ), meaning that ϕ(S) ≤ T .
The functor Asyl takes ϕ to the biset [G, ϕ]H
G . To understand what happens when we apply
H
AF to [G, ϕ]H
G , we first need to understand the restriction S ([G, ϕ]G )T of the biset to the
Sylow p-subgroups.
We can describe the restriction S ([G, ϕ]H
G )T as composing with the inclusion biset S GG
on the left and the transfer biset H HT on the right:
H
S ([G, ϕ]G )T

= S G ×G [G, ϕ]H
G ×H HT .

H
Now S G ×G [G, ϕ]H
G simply gives us the restriction of ϕ to the subgroup S, [S, ϕ|S ]S . By
assumption ϕ|S lands in T ≤ H, and therefore
H
S ([G, ϕ]G )T

T
T
= [S, ϕ|S ]H
S ×H HT = [S, ϕ|S ]S ×T H ×H HT = [S, ϕ|S ]S ×T HT .

The biset T HT is FH -stable and invertible inside AFp (FH , FH ), and the functor AF applied
to [G, ϕ]H
G is by Proposition 3.9 equal to
−1
AF (Asyl (ϕ)) = S ([G, ϕ]H
G ) ×T (FH HFH )

= [S, ϕ|S ]TS ×T H ×T (FH HFH )−1
= [S, ϕ|S ]TS ×T ωFH
H
= [S, ϕ|S ]F
FG = Afus (F (ϕ))

The penultimate equality is due to Lemma 4.6 since the restriction ϕ|S is a fusion preserving
map from FG to FH .


A FORMULA FOR p-COMPLETION BY WAY OF THE SEGAL CONJECTURE

21

H
Let α : AGsyl → Ho(Sp) be the functor sending G to Σ∞
+ BG and sending [K, ϕ]G to the
composite
Σ∞
+ Bϕ

TrK

G
∞
∞
Σ∞
+ BG −→ Σ+ BK −→ Σ+ BH,

where Tr is the transfer. This functor is well-understood by the solution to the Segal
conjecture. It is neither full nor faithful.
Let β : AFp → Ho(Spp ) be the analogous functor for fusion systems. It sends the object
F to Σ∞
+ BF and applies Proposition 3.2 to maps. The functor β is fully faithful.
Let (−)∧
p be the p-completion functor Ho(Sp) → Ho(Spp ).
Proposition 4.9. There is a commutative diagram
AG
O

α

/ Ho(Sp)

AU '
(−)∧
p

AGsyl
AF


AFp

β


/ Ho(Spp )

up to canonical natural equivalence and the formula for AF is given by Proposition 3.9.
Proof. This is a consequence of Proposition 3.9.



Let AGfree (G, H) be the submodule of the Burnside module AG(G, H) generated by
bisets which have a free action by both G and H. This submodule has a basis consisting of
isomorphism classes of sets of the form [K, ϕ]H
G , where ϕ is an injection. This includes the
biset G HH = [G, i]H
G = Asyl (i), where G acts on H through an injection i : G → H.
Since we have a natural isomorphism
(−)op : AGfree (G, H) ∼
= AGfree (H, G) ⊂ AG(H, G)
sending
G XH

7→ (G XH )op = H XG

we find that elements of AGfree (G, H) give rise to maps in AG not only from G to H but
also from H to G. The image under (−)op of the elements of the form [G, i]H
G , where i is an
injection, are referred to as the transfer maps.
The same story makes sense for fusion preserving injections between two fusion systems.
Let F1 and F2 be saturated fusion systems on p-groups S1 and S2 . A bifree (F1 , F2 )-biset
is a bifree bistable (S1 , S2 )-biset. The isomorphism
(−)op : Zp ⊗ AGfree (S1 , S2 ) ∼
= Zp ⊗ AGfree (S2 , S1 )
induces an isomorphism
free
∼
(−)op : AFfree
p (F1 , F2 ) = AFp (F2 , F1 ).
2
A transfer map from F2 to F1 is the image of an element of the form [S1 , i]F
F1 = Afus (i),
op
where i is an injection of fusion systems, under the map (−) .
Since the functor F takes injection to injections, Proposition 4.8 implies that

FH
AF ([G, i]H
G ) = [S, F (i)]FG ,

22

S. P. REEH, T. M. SCHLANK, AND N. STAPLETON

where S ⊂ G is a Sylow p-subgroup. Thus AF “takes injections to injections”. It is tempting
to assume that the functor AF will also preserve transfer maps. However, in general,
(AF (G HH ))op 6= AF ((G HH )op ).
To see this, let G = e and let H to be a non-trivial group of order prime to p. Consider the
element [e, i]H
e ∈ AG(e, H), where i is the inclusion of the identity element. This element
gives rise to two maps in AG the restriction e HH and the transfer H He , and composing
those we get the element e He = |H| ∈ AG(e, e) ∼
= Z. Since both e and H have trivial Sylow
p-subgroups, Proposition 4.8 implies that
AF (e HH ) = IdFe
and thus
(AF (e HH ))op = IdFe .
However,
AF (H He ) ◦ AF (e HH ) = AF (e He ) = |H| ∈ AFp (e, e) ∼
= Zp .
Since AF (e HH ) = IdFe ,
AF ((e HH )op ) = AF (H He ) 6= IdFe .
It may come as a surprise to the reader to find out that confusion regarding this issue was
the original motivation for this paper.
References
[AGM] J. F. Adams, J. H. Gunawardena, and H. Miller, The Segal conjecture for elementary abelian pgroups, Topology 24 (1985), no. 4, 435–460. MR816524
[AKO] M. Aschbacher, R. Kessar, and B. Oliver, Fusion systems in algebra and topology, London Mathematical Society Lecture Note Series, vol. 391, Cambridge University Press, Cambridge, 2011.
MR2848834 (2012m:20015)
[Bou1] A. K. Bousfield, The localization of spaces with respect to homology, Topology 14 (1975), 133–150,
DOI 10.1016/0040-9383(75)90023-3. MR0380779
, The localization of spectra with respect to homology, Topology 18 (1979), no. 4, 257–281.
[Bou2]
[BK] A. K. Bousfield and D. M. Kan, Homotopy limits, completions and localizations, Lecture Notes in
Mathematics, Vol. 304, Springer-Verlag, Berlin-New York, 1972. MR0365573
[BLO2] C. Broto, R. Levi, and B. Oliver, The homotopy theory of fusion systems, J. Amer. Math. Soc. 16
(2003), no. 4, 779–856. MR1992826 (2004k:55016)
[Car] G. Carlsson, Equivariant stable homotopy and Segal’s Burnside ring conjecture, Ann. of Math. (2)
120 (1984), no. 2, 189–224. MR763905 (86f:57036)
[CE] H. Cartan and S. Eilenberg, Homological algebra, Princeton Landmarks in Mathematics, Princeton
University Press, Princeton, NJ, 1999. With an appendix by David A. Buchsbaum; Reprint of the
1956 original. MR1731415
[Che] A. Chermak, Fusion systems and localities, Acta Math. 211 (2013), no. 1, 47–139. MR3118305
[DK] J. F. Davis and P. Kirk, Lecture notes in algebraic topology, Graduate Studies in Mathematics,
vol. 35, American Mathematical Society, Providence, RI, 2001. MR1841974
[LMM] L. G. Lewis, J. P. May, and J. E. McClure, Classifying G-spaces and the Segal conjecture, Current
trends in algebraic topology, Part 2 (London, Ont., 1981), CMS Conf. Proc., vol. 2, Amer. Math.
Soc., Providence, R.I., 1982, pp. 165–179. MR686144 (84d:55007a)
[May] J. P. May, Stable maps between classifying spaces, Conference on algebraic topology in honor of
Peter Hilton (Saint John’s, Nfld., 1983), Contemp. Math., vol. 37, Amer. Math. Soc., Providence,
RI, 1985, pp. 121–129. MR789800
[MM] J. P. May and J. E. McClure, A reduction of the Segal conjecture, Current trends in algebraic
topology, Part 2 (London, Ont., 1981), CMS Conf. Proc., vol. 2, Amer. Math. Soc., Providence,
R.I., 1982, pp. 209222. MR686147 (84d:55007b)
[Rag] K. Ragnarsson, Classifying spectra of saturated fusion systems, Algebr. Geom. Topol. 6 (2006),
195–252. MR2199459 (2007f:55013)

A FORMULA FOR p-COMPLETION BY WAY OF THE SEGAL CONJECTURE

23

[RS] K. Ragnarsson and R. Stancu, Saturated fusion systems as idempotents in the double Burnside
ring, Geom. Topol. 17 (2013), no. 2, 839–904. MR3070516
[Ree1] S. P. Reeh, The abelian monoid of fusion-stable finite sets is free, Algebra Number Theory 9 (2015),
no. 10, 2303–2324. MR3437763
[Ree2]
, Transfer and characteristic idempotents for saturated fusion systems, Adv. Math. 289
(2016), 161–211. MR3439684
[Sul1] D. P. Sullivan, Genetics of homotopy theory and the Adams conjecture, Ann. of Math. (2) 100
(1974), 1–79. MR0442930
[Sul2]
, Geometric topology: localization, periodicity and Galois symmetry, K-Monographs in Mathematics, vol. 8, Springer, Dordrecht, 2005. The 1970 MIT notes; Edited and with a preface by
Andrew Ranicki. MR2162361

