A correction to the uniqueness of a partial
perfect locality over a Frobenius P-category
Lluis Puig

arXiv:1706.04349v1 [math.GR] 14 Jun 2017

CNRS, Institut de Mathématiques de Jussieu, lluis.puig@imj-prg.fr
6 Av Bizet, 94340 Joinville-le-Pont, France

Abstract:

Let p be a prime, P a finite p-group and F a Frobenius P-category. In Existence,

uniqueness and functoriality of the perfect locality over a Frobenius P-category, Algebra Colloquium, 23(2016) 541-622, we also claimed the uniqueness of the partial perfect locality LX
over any up-closed set X of F-selfcentralizing subgroups of P, but recently Bob Oliver exhibit
some counter-examples, demanding some revision of our arguments. In this Note we show that,
up to replacing the perfect localities by the extendable perfect localities over any up-closed set X
of F-selfcentralizing subgroups of P, our arguments are correct, still proving the existence and
the uniqueness of the perfect Fsc-locality, since it is extendable. We take advantage to simplify
some of our arguments.

1. Introduction
1.1. Let p be a prime, P a finite p-group, F a Frobenius P -category [2]
and TP the category where the objects are the subgroups of P , the morphisms
are defined by the P -transporters and the composition is defined by the
product in P . Recall that, according to [3, 17.3], an F -locality L is a finite
category where the objects are all the subgroups of P , endowed with two
functors
τ : TP −→ L and π : L −→ F
1.1.1
which are the identity on the set of objects, π being full , and such that the
composition π◦τ is induced by the conjugation in P ; we say that L is divisible
whenever it fulfills the following condition
1.1.2 If Q , R and T are subgroups of P , for any L-morphisms x : R → Q
and y : T → Q such that the image of πQ,T (y) is contained in the image of
πQ,R (x) , there is a unique L-morphism z : T → R such that x·z = y .
1.2. Then, it follows from [3, Proposition 18.4 and Theorem 18.6] that
a perfect F -locality, introduced in [3, 17.13], is a divisible F -locality P such
that, for any subgroup Q of P fully normalized in F [3, 2.6] the finite group
P(Q) endowed with the group homomorphims
τQ : NP (Q) −→ P(Q) and πQ : P(Q) −→ F (Q)

1.2.1

is the F -localizer of Q , introduced in [3, 18.5]. Actually, as we show in
[3, Theorem 20.24] and, more carefully, in [5, Theorem 7.2], P is uniquely
sc
determined by the full subcategory P over the set of F -selfcentralizing
subgroups of P , introduced in [3, 4.8].
1.3. More generally, in order to apply inductive arguments, for any
nonempty set X of F -selfcentralizing subgroups of P which contains any

2
subgroup of P admitting an F -morphism from some subgroup in X , we conX
sider the full subcategory F of F over X as the set of objects and, replacing
X
X
TP by its full subcategory TP over X , we may introduce the F -localities
X
as the finite categories L where the objects are the groups in X , endowed
with two functors
X

X

τ X : TP −→ L

X

and π X : L −→ F

X

1.3.1

which are the identity on the set of objects, π X being full , and such that
the composition π X ◦ τ X is induced by the conjugation in P . In particular,
X
X
in [5, 2.8] we consider a perfect F -locality P and in [5, 6.1] we claimed its
existence and uniqueness.
1.4. But, recently, Bob Oliver exhibit some counter-examples to this
uniqueness [1]; of course, these counter-examples demand a revision of our
arguments in [5]. Our purpose in this Note is to show that, up to restricting
X
the perfect F -localities we consider, our arguments become correct and the
X
uniqueness of these restricted perfect F -localities, called extendable, is true;
sc
sc
naturally, our extendable perfect F -localities include P above. Moreover,
we take advantage of this revision to simplify some arguments in [5]. Notations and terminology are the same as in [5] and the main references come
from [3].
X

2. Extendable perfect F -localities
X

X

2.1. With the notation above, let us consider a perfect F -locality P ;
X
X
that is to say, P is a divisible F -locality such that, for any group Q in X
X
fully normalized in F [3, 2.6], the finite group P (Q) endowed with the group
homomorphims
X

X

X
τQX : NP (Q) −→ P (Q) and πQ
: P (Q) −→ F (Q)

2.1.1

X
is the F -localizer of Q , introduced in [3, 18.5]; in particular, πQ
is surX
jective and, since Q is F -selfcentralizing, τQ is injective [3, Remark 18.7].
Moreover, note that condition 18.6.3 in [3, Theorem 18.6] implies that Q
X
fulfills equality 17.10.1 in [3, Proposition 17.10]; in particular, extending P
X
as in [3, 17.4], it follows from [3, Proposition 17.10] that P is a coherent
X
F -locality [3, 17.9]; that is to say, we have

2.1.2
x·τR (v) = τQ πx (v) ·x
X

for any pair of subgroups Q and R in X , any x ∈ P (Q, R) and any v ∈ R .
2.2. Actually, considering the normalizer NF (Q) of Q in F [3, 2.14]
Q
which is a Frobenius NP (Q)-category [3, Proposition 2.16], denoting by X
Q
the set of subgroups of NP (Q) belonging to X and setting P = NP (Q)

3
Q

and F = NF (Q) , we can also consider the normalizer NP X (Q) of Q in P
X,Q

Q X

X

Q

[3, 17.4 and 17.5] and, setting F
= (F ) , it is not difficult to see that
X,Q
X,Q
P = NP X (Q) is actually a perfect F -locality.
X,Q

X,Q

X

2.3. Moreover, the F -locality P
and the group P (Q) are related
X
throughout the transporter of the p-subgroups of P (Q) ; explicitly, let us call
X
Q
transporter TP X(Q) of P (Q) the F -locality formed by the category where
Q

the objects are all the subgroups of P , where the morphisms are defined by
X
the elements of the P (Q)-transporters of the corresponding τQX -images, and
X

where the composition is defined by the product in P (Q) , endowed with the
X

Q

X
obvious functors induced by τQX and by πQ
. Then, denoting by TP X(Q) the
Q

Q

full subcategory of TP X(Q) over X , we claim that we have an F -locality
equivalence [3, 2.9]
P

X,Q

Q

X
∼
= TP X(Q)

2.3.1.

Firstly, we need the following lemma which admits the same proof as in
[3, Proposition 24.2].
X

Lemma 2.4. Any P -morphism is a monomorphism and an epimorphism.
X,Q

2.5. Now, we already know that any P -morphism x : T → R is induced
X
by a P -morphism x̂ : T ·Q → R·Q which stabilizes Q [3, 2.14.1]; then, it easily
follows from the lemma above that x̂ is uniquely determined by x , and the
X
X
divisibility of P guarantees the existence of a unique x̂Q ∈ P (Q) fulfilling
X
τR·Q,Q
(1)·x̂Q = x̂·τTX·Q,Q (1)

2.5.1;

X

moreover, from the coherence of P (cf. 2.1.2), for any t ∈ T ⊂ P
X
τR·Q,Q
(1)·x̂Q ·τQX (t) = x̂·τTX·Q,Q (t) = x̂·τTX·Q (t)·τTX·Q,Q (1)

 
X
X
= τR·Q
πR·Q,T
(x̂)
(t) ·x̂·τTX·Q,Q (1)
·Q

 
X
X
X
= τR·Q
πR·Q,T
(x̂) (t) ·τR·Q,Q
(1)·x̂Q
·Q

 
X
X
= τR·Q,Q
(1)·τQX πR·Q,T
(x̂) (t) ·x̂Q
·Q

 
X
X
= τR·Q,Q
(1)·τQX πR,T
(x) (t) ·x̂Q

so that from the lemma above we still get

 
X
x̂Q ·τQX (t)·(x̂Q )−1 = τQX πR,T
(x) (t)
X

thus, the element x̂Q belongs to the P (Q)-transporter TP X(Q)

Q

we get

2.5.2,

2.5.3;

τQX (R), τQX (T )

4
X,Q

and it is not difficult to check that the correspondence sending the P -morphism x : T → R to the TP X(Q) -morphism x̂Q : T → R defines a faithful
Q

F -locality functor P

X,Q

X

Q

→ TP X(Q) [3, 2.9]. The “surjectivity” follows again

from condition 18.6.3 in [3, Theorem 18.6].
2.6. But, for any F -selfcentralizing subgroup W of P fully normalized
W
W
in F , we still have the normalizer F = NF (W ) ; let us set P = NP (W ) ;
W
W
W
if P belongs to X , so that the set X of subgroups of P belonging to X
X,W
is not empty, then we also can consider the normalizer P
= NP X (W ) ,
X,W

which is again a perfect F
-locality, and we always have the existence of the
W
F -localizer LF of W [3, Theorem 18.6]; thus, we still can consider the transW

X

W

porter TLW of LF as an F -locality and the full subcategory T

W

W
LF

F

X

W

of TLW

F
X

over X as the set of objects. Finally, we say that the perfect F -locality P
is extendable whenever for any F -selfcentralizing subgroup W of P fully norW
X,W
malized in F such that P ∈ X there exists an F
-locality isomorphism†
P

X,W

W

X
∼
= TLW

2.6.1;

F

note that, according to 2.3.1, we may assume that W does not belong to X .
X

X

Proposition 2.7. If P is an extendable perfect F -locality then, for any
V
F -selfcentralizing subgroup V of P fully normalized in F such that P ∈ X ,
X,V
X,V
P
is an extendable perfect F -locality.
V

Proof: From our definition we have an F -locality isomorphism
P

X,V

V

X
∼
= TLV

2.7.1,

F

which determines an NF V (W )-locality isomorphism
NP X,V (W ) ∼
=N
V

X

V
X
T V
L
F

(W ) = TN

V,W

L

V

V
F

2.7.2

(W )
V

where we identify P with its image in LF and, for any F -selfcentralizing
V
V
V
subgroup W of P fully normalized in F such that NP V (W ) ∈ X , we
V,W

V

denote by X
the set of subgroups of NP V (W ) belonging to X
But, it is not difficult to check that the normalizer NLV (W ) , endowed
F

with the group homomorphisms
NP V (W ) −→ NLV (W )
F

†

V

and NLV (W ) −→ F (W )

2.7.3

F

In [5, 6.18], arguing by induction we claim such an equivalence but, with the notation

there, if the group U is normal in F then the induction argument cannot be applied!

5
V

V

induced by the structural group homomorphisms of LF , is the F -localizer
of W . We are done.
3. A reduction procedure
3.1. With the notation above, recall that a basic P × P -set [3, 21,4] is
a finite nonempty P × P -set Ω such that {1} × P acts freely on Ω , that we
have
Ω◦ ∼
3.1.1
= Ω and |Ω|/|P | 6≡ 0 mod p
where we denote by Ω◦ the P × P -set obtained by exchanging both factors,
and that, for any subgroup Q of P and any injective group homomorphism
ϕ : Q → P such that Ω contains a P ×P -subset isomorphic to (P ×P )/∆ϕ (Q)
where we set ∆ϕ (Q) = {(ϕ(u), u)}u∈Q , we have a Q × P -set isomorphism
(Ω)
3.1.2
Resϕ×id (Ω) ∼
= Res P
ιQ ×idP

P

Ω

3.2. Denoting by G the group of automorphisms of the {1} × P -set
Ω
Res{1}×P (Ω) , it is clear that we have an injective map from P × {1} in G ;
we identify its image with the p-group P so that, from now on, P is conΩ
tained in G and acts freely on Ω . Recall that the full subcategory of the
Ω
G -transporter over the set of subgroups of P induces a Frobenius P -category
[3, Proposition 21.9] and we say that Ω is an F -basic P × P -set if, for any
pair of subgroups Q and R of P , we have
T Ω (Q, R)/C Ω (R) ∼
3.2.1.
= F (Q, R)
G

G

3.3. Actually, it follows from [3, Proposition 21.12] that an F -basic
P × P -set always exists; more precisely, we say that an F -basic P × P -set Ω
is natural if it fulfills [5, 3.5]
|Ω∆ϕ (Q) | = |Z(Q)|

3.3.1

for any F -selfcentralizing subgroup Q of P and any ϕ ∈ F (P, Q) , and if it is
thick [3, 21.7] outside of the set of F -selfcentralizing subgroups of P — namely
the multiplicity of (P × P )/∆ψ (R) is at least two if R is not F -selfcentralzing
and ψ belongs to F (P, R) . The existence of natural F -basic P ×P -sets follows
from [5, Proposition 3.4] together with [3, Proposition 21.12]; here, we are
interested in the following form of [5, Proposition 3.7]
Proposition 3.4 Let Ω be a natural F -basic P × P -set, Q and T a pair of
F -selfcentralizing subgroups of P and η an element of F (Q, T ). The multiplicity of (Q × P )/∆η (T ) in ResQ×P (Ω) is at most one, and if it is one then
we have

3.4.1.
AutQ×P (Q × P )/∆η (T ) ∼
= Z(T )
3.5. From now on, Ω is a natural F -basic P × P -set . For any subgroup
Q of P , it is clear that CGΩ (Q) is just the group of automorphisms of the

6
Q × P -set ResQ×P (Ω) and it is clear that the correspondence sending Q
to CGΩ (Q) induces a contravariant functor CGΩ from F to the category Gr of
nsc
finite groups. Let us denote by CGΩ (Q) the subgroup of elements f ∈ CGΩ (Q)
which act trivially on all the Q × P -orbits of Ω isomorphic to (Q × P )/∆η (T )
where T is F -selfcentralizing; in particular, if Q is not F -selfcentralizing then
nsc
nsc
we have CGΩ (Q) = CGΩ (Q) ; in any case, CGΩ (Q) is normal in CGΩ (Q) and,
nsc

according to Proposition 3.4, the quotient CGΩ (Q)/CGΩ (Q) is Abelian.
CX

3.6. More generally, for any Q ∈ X denote by CGΩ (Q) the subgroup
of elements f ∈ CGΩ (Q) which act trivially on all the Q × P -orbits of Ω
isomorphic to (Q × P )/∆η (T ) where T belongs to X ; it is easily checked
CX

that the correspondence sending Q ∈ X to CGΩ (Q) defines a subfunctor
CX

CGΩ : F

X

X

→ Gr of the restriction of CGΩ to F , and we consider the quotient
X

X

X

CX

n,X

F -locality T GΩ = TGΩ /CGΩ — noted L̄
of groups Q and R in X to
X

in [5, 5.1.2] — sending any pair

X

CX

T GΩ (Q, R) = TGΩ (Q, R)/CGΩ (R)

3.6.1;

here we are interested in the following form of [5, Corollaries 5.20 and 5.21].
X

Proposition 3.7. For any perfect F -locality P
X

X

X

there is a unique naturally
X

X

X

F -isomorphic class of faithful F -locality functors λ : P → T GΩ . MoreX
X
X
X
over, if P ′ is a perfect F -locality which is F -locality isomorphic to P
X
then there is a commutative diagram of F -locality functors
P
λX

ρX

X

X

∼
=

ց

P′
ւ

X

3.7.1.

λ′X

T GΩ
3.8. With the notation in 2.2 above, for any F -selfcentralizing subgroup
W
W of P fully normalized in F such that P ∈ X , it follows from [3, Proposition 21.11] that the subset of Ω
[
Ω∆χ (W )
3.8.1
ΩW =
χ∈F (W )

W

W

Ω

W

is actually an F -basic P × P -set ; mutatis mutandi, denote by G W the
W
W
group of {1} × P -set automorphisms of Res{1}×P W (ΩW ) and identify P
W

with P × {1} ; since the quotient NGΩ (W )/CGΩ (W ) is isomorphic to F (W )
(cf. 3.2.1), it is clear that NGΩ (W ) stabilizes ΩW and therefore we have
Ω

a canonical group homomorphism from NGΩ (W ) to G
interested in the following form of [5, Proposition 6.15].

W

; again, we are

7
Proposition 3.9. With the notation above, for any pair of subgroups Q
W
W
and R of P containing W and any element ϕ in F (Q, R) , there exists
W
W
at most one Q × P -orbit in ΩW isomorphic to (Q × P )/∆ϕ (R) , ΩW is a
W
W
W
natural F -basic P × P -set and, in particular, C ΩW (Q) is an Abelian
G
p-group.
3.10. It follows from this proposition that, as in 3.6 above, if P
X

X,W

W

be-

W

longs to X then we get the quotient F
-locality T GΩW ; actually, it follows
from Propositions 3.4 and 3.9 above that, with the notation in 2.2 and 2.6
Ω
above, the canonical group homomorphism from NGΩ (W ) to G W induces
an F

X,W

-locality functor
X,W

gΩ

X

:N

T

X
Ω
G

(W ) −→ T G

W

Ω

3.10.1;

W

note that, according to Proposition 3.7 above, we have faithful F
functors from P

X,W

= NP X (W ) to both F

X,W

-locality
X

-localities N

X,W

and we may assume that they agree with gΩ

X,W

X
T Ω
G

W

(W ) and T GΩW

.

W

3.11. On the other hand, let LF be the F -localizer of W [3, TheoW
rem 18.6]; that is to say, LF is a finite group endowed with an injective and
a surjective group homomorphisms
τFW : P

W

W

W

−→ LF

and πFW : LF −→ F (W )

W

3.11.1,

W

τFW (P ) is a Sylow p-subgroup of LF , the composition πFW ◦ τFW is defined
by the conjugation in F (W ) and we also have the exact sequence
τW

W

πW

F
1 −→ Z(W ) −−
→ LF −−F→ F (W ) −→ 1

3.11.2.

Below, we restate [5, Proposition 6.19].
Proposition 3.12. With the notation above, there is a unique C ΩW (W )G
conjugacy class of group homomorphisms
W

W

λF : LF −→ N

G

Ω

W

(W )

compatible with the structural group homomorphisms from P

3.12.1
W

and to F (W ) .

W

3.13. As in 2.6 above, denote by TLW the F -locality determined by τFW
F
W

and by the transporter of the group LF ; it is clear that any group homoW
W
W
morphism λF : LF → N ΩW (W ) in 3.12.1 above determines an F -locality
G
functor
W
lF : TLW −→ T ΩW
3.13.1
F

G

8
W

and two of them are naturally F -isomorphic [5, 2.9]; moreover, if P
it is not difficult to see that the full subcategory T

X

X,W

X

X,W

W

F

-locality, and from 3.13.1 we get an

W

X

: TLW −→ T G

lF

∈ X,

of TLW over X

W

LF

as the set of objects is a perfect F
X,W
F
-locality functor

W

W

W

Ω

3.13.2.

W

F

X

4. Existence and uniqueness of an extendable perfect F -locality
4.1. With the notation in 1.3 above, our main purpose is to prove that
X

X

Theorem. There exists an extendable perfect F -locality P , which is unique
X
up to F -locality isomorphisms.
P

The existence and the uniqueness of the F -localizer LF of P [3, Theorem 18.6]
X
proves the existence and the uniqueness of the extendable perfect F -locality
P
whenever X = {P } ; indeed, LF is actually a semidirect product P ⋊K where
K∼
= F (P )/FP (P ) is a p′ -group and, for any F -selfcentralizing normal subX,W
group W of P , the F
-locality equivalence 2.6.1 is obvious.
4.2. Thus, we may assume that X 6= {P } and will argue by induction
on |X| . Choose a minimal element U in X fully normalized in F and set
Y = X − {θ(U ) | θ ∈ F (P, U )}

4.2.1;

then, by the induction hypothesis, we may assume that there exists an exY
Y
tendable perfect F -locality P , endowed with the structural functors
Y

τ Y : TP −→ P

Y

and π Y : P

Y

−→ F

Y

4.2.2,

Y

which is unique up to F -locality isomorphisms. At this point, according to
Y
Y
Proposition 3.7 above, we may assume that P is an F -sublocality of the
Y

Y

X

Y

F -locality T GΩ introduced in 3.6 above; then, denoting by (T GΩ)

the full

X

subcategory of T GΩ over Y as the set of objects, we have an obvious functor
X

Y

Y

(T GΩ) −→ T GΩ and we look to the pull-back
P
↑
M

Y

Ω,Y

Y

Y

⊂

T GΩ
↑
X

⊂

(T GΩ)

which defines a coherent F -locality M
structural functors
Y

υ Ω,Y : TP −→ M

Ω,Y

4.2.3,
Y

Ω,Y

[3, 17.9] endowed with obvious

and ρΩ,Y : M

Ω,Y

−→ F

Y

4.2.4.

9
X

Ω,Y

4.3. We extend M
to a coherent F -sublocality M
Ω,Y
contains M
as a full subcategory over Y and fulfills
M

Ω,X

X

of T GΩ which

X

Ω,X

(Q, V ) = T GΩ (Q, V )

4.3.1

for any Q ∈ X and any V ∈ X − Y , and denote by
X

υ Ω,X : TP −→ M

Ω,X

and ρΩ,X : M

Ω,X

−→ F

X

4.3.2
X

the corresponding structural functors; finally, we consider the quotient F -loΩ,X
Ω,X
cality M̄ of M defined by


Ω,X
Ω,X
M̄ (Q, R) = M (Q, R) υRΩ,X Z(R)
4.3.3

for any Q, R ∈ X , together with the induced natural maps — denoted by
Ω,X
Ω,X
ῡ
and ρ̄
. Then, the proof of the Theorem above can be reduced to the
proof of the following fact, that we prove in the next section
4.3.4. The structural functor ρ̄

Ω,X

X

admits an F -locality functorial section.
X

4.4. Let us first prove this reduction. Choose an F -locality functorial
X
Ω,X
section σ̄ Ω,X : F → M̄
; for any pair of groups Q and R in Y , we know
that (cf. 2.1)


X
Y
F (Q, R) ∼
4.4.1
= P (Q, R) τRY Z(R)

Ω,Y
X
Ω,X
and therefore, denoting by P (Q, R) the converse image of σ̄Q,R
F (Q, R)
Ω,X

Y

Ω,X

in M (Q, R) , it is clear that the canonical map M (Q, R) → P (Q, R)
Ω,Y
Y
induces a bijection P (Q, R) ∼
= P (Q, R) ; that is to say, looking to the
pull-back
Ω,X
X
σ̄Ω,X
−−−→ M̄
F
4.4.2
↑
↑
Ω,X
Ω,X
P
−−−→ M
X

— which defines a coherent F -locality P
structural functors
X

τ Ω,X : TP −→ P

Ω,X

Ω,X

[3, 17.9] endowed with obvious

and π Ω,X : P

Ω,X Y

Ω,X

−→ F

X

4.4.3

Ω,X

— and denoting by (P ) the full subcategory of P
over Y as the set
Y
of objects, it follows from those bijections above that we have an F -locality
Y
Ω,X Y
isomorphism (P ) ∼
=P .
4.5. That is to say, for any Q ∈ Y fully normalized in F , we already
Ω,X
know that P (Q) is an F -localizer of Q and, for any V ∈ X − Y , it follows
from the pull-back 4.4.2 above that we have the exact sequence
1 −→ Z(V ) −→ P

Ω,X

(V ) −→ F (V ) −→ 1

4.5.1

10
and it is easily checked that the group P
homomorphisms
τVΩ,X : NP (V ) −→ P

Ω,X

(V ) , endowed with the group

Ω,X

(V ) and πVΩ,X : P

Ω,X

(V ) −→ F (V )

4.5.2

X

determined by the functors τ Ω,X and π Ω,X , is actually an F -localizer of V
whenever V is fully normalized in F ; consequently, it follows from 2.1 above
Ω,X
X
that P
is a perfect F -locality.
X

Ω,X

4.6. We claim that P
is actually an extendable perfect F -locality;
indeed, let W be an F -selfcentralizing subgroup of P fully normalized in F
W
W
such that P = NP (W ) belongs to X ; thus, if P does not belong to Y then
W
W
W
X,W
we have X = {P } and P is the unique object in both F
-localities
NP Ω,X (W ) and T

X

W

W
LF

; in this case, since

W
 W
W
W
X
NP Ω,X (W ) (P ) ∼
=P ⋊K ∼
= TLW (P )

4.6.1

F

X,W
W
W
where K ∼
= F (P )/FP W (P ) , it is clear that we get the equivalence 2.6.1.
W

Otherwise Y

is not empty and, setting P

Ω,Y,W

Ω,X,W

by P
the full subcategory of P
Y,W
F
-locality isomorphism
P

Ω,Y,W

Ω,X,W

= NP Ω,X (W ) and denoting

W

over Y , from 4.4 above we get an

∼
= NP Y(W )

4.6.2;

Y

but, since P is extendable, it follows from our definition in 2.6 above that
Y,W
we still get an F
-locality isomorphism
W

Y
NP Y(W ) ∼
= TLW

4.6.3.

F

W

4.7. Always assuming that Y

Y,W

is not empty, note that in 3.10 above gΩ
W
Y

sends NP Y(W ) isomorphically to its image in T GΩW — still noted P

Ω,Y,W

then, from this inclusion, mutatis mutandi we can define a coherent F
locality M

Ω,Y,W

as in 4.2.3, and coherent F

X,W

-localities M

Ω,X,W

Y,W

X

;
-

W

⊂ T G ΩW

X,W

Ω,X,W

and M̄
as in 4.3; moreover, it is clear that σ̄ Ω,X induces an F
-locality
X,W
Ω,X,W
functorial section σ̄ Ω,X,W : F
→ M̄
and that we can define a coherent
X,W
Ω,X,W
F
-locality P
as in 4.4.2 above which still fulfills
(P
X

Ω,X,W

W

we denote by τ Ω,X,W : TP W → P
structural functors.

W
Y

)

Ω,X,W

Ω,Y,W
∼
=P

and by π Ω,X,W : P

4.7.1;
Ω,X,W

→F

X,W

the

11
X

4.8. On the other hand, since T

W

is a perfect F

W
LF

X,W

it follows from Proposition 3.7 (or from 3.13.2) that T

-locality (cf. 3.13),
X

W

is actually an

W
LF

F

X

X,W

W

X

W

W
Y

-sublocality of T GΩW ; in particular, denoting by (T GΩW )

(T

X

W

W
Y

X

)

W

LF

W

the respective full subcategories of T GΩW and of T

X

W

W

LF

and by
W

over Y ,

it is easily checked that the canonical functor
X

(T G
sends (T

X

W
Y

W

W
LF

)

W

Ω

W
Y

)

W

W
Y

−→ T GΩW

isomorphically onto T

W
Y

W
LF

4.8.1

W
Y

⊂ T G ΩW .

4.9. Moreover, from 4.4 we know that the canonical functor
X

Y

Y

(T GΩ ) −→ T GΩ
sends (P

Ω,X Y

)

Y

isomorphically onto P ; but, it follows from our definition
X,W

in 3.10 that, denoting by (gΩ
X

4.9.1

Y

)

X,W

the restriction of gΩ

to the normalizer

Y

in (T GΩ ) of W , we have a commutative diagram of functors
Y,W

N

N

(W )
x


Y
T Ω
G

X
(T Ω)Y
G

(W )

g

−−Ω−−→

X,W Y

(g

)

Ω
−−
−−→

W
Y

T G ΩW
x

X

W

4.9.2,

W
Y

(T GΩW )

where the vertical arrows are defined by the functors 4.8.1 and 4.9.1; hence,
Ω,X Y
Y
since the functor 4.9.1 sends (P ) isomorphically onto P (cf. 4.4), this
functor sends N(P Ω,X)Y (W ) isomorphically onto NP Y (W ) and we already
Y,W

know that gΩ

sends NP Y (W ) isomorphically onto P

is isomorphic to T

W
Y
W

LF

Ω,Y,W

(cf. 4.7), which

(cf. 4.6.2).

4.10. At this point, it follows from Proposition 3.7 that there exist an
F

Y,W

to P

Y,W

-locality functor lF

Ω,Y,W

sion T

W
Y
W

LF

:T

W
Y

W
LF

W
Y

→ T GΩW which sends T

, and that this functor is naturally F

W
Y
W

LF

Y,W

isomorphically

-isomorphic to the inclu-

W
Y

⊂ T GΩW in 4.8 above; that is to say, according to our definition

in [5, 2.9] and since the kernel of the structural group homomorphism from

12
W
Y

W

T GΩW (P ) to F
is z ∈ C

G

Y,W

W

W

Ω

G

(P ) ⊂ T

W

W
Y

W

Ω

W

(P ) is the image of C

(P ) such that, denoting by z Q

G

W

Ω

W

(P ) , there
W
Y

the image of z in T GΩW (Q)

W

for any Q ∈ Y , we get
P

Ω,Y,W

W
Y

W
Y

W
Y

(Q, R) = z Q ·TLW (Q, R)·(z R )−1

4.10.1

F

W
Y

W

in T GΩW (Q, R) , for any pair of groups Q and R in Y .
X

W

X

4.11. But, we also can consider the images z Q
any Q ∈ X
X

W

of z in T G
X

. Hence, up to replacing our choice of T

W

W

LF

W
X

W

X

of T GΩW by the choice of z Q ·T

W

X

as a F

W

X

W

Ω

W

(Q) for

X,W

-sublocality

W

(Q, R)·(z R )−1 in T GΩW (Q, R) , for any

W
LF

W
Y

W

pair of groups Q and R in X , in T GΩW we actually may assume that we get
P

W
Y

Ω,Y,W

= TLW

4.11.1.

F

X

W

In this situation, it follows from our definitions in 4.7 above that in T GΩW
the coherent F

X,W

-sublocality M

Ω,X,W

contains T

X

W

.

W
LF

W

W

4.12. In particular, if X = Y then we have
Ω,X,W

P

=P

Ω,Y,W

W
Y

X

X

4.12.1,

F

F

so that we are done. Assume that X

W

= TLW = TLW

W

W

6= Y ; then, by the very definition

W
W

W

of T GΩW (cf. 3.6.1 and 4.3), for any V ∈ X − Y we have
Ω,X,W

Ker(ρ̄V

)=T

X

G

W

Ω

W

(V )/C

CX

G

Ω

W

W

Y

(V ) =
θ̃∈F̃
W

W

(P

Z(V )
W

4.12.2

,V )

W

and therefore, since p does not divide |F̃ (P , V )| [3, Proposition 6.7], we
have a surjective group homomorphism
Ω,X,W

∇V

Ω,X,W

: Ker(ρ̄V

) −→ Z(V )

4.12.3

mapping z = (zθ̃ )θ̃∈F̃ W (P W ,V ) on
Ω,X,W

∇V

(z) =

1
·
|F̃ (P W, V )|

X

W

θ̃∈F̃

W

(P

W

zθ̃
,V )

4.12.4.

13
4.13. At this point, considering the contravariant functor
X

Ω,X,W

W

: T GΩW → Ab

d
W

4.13.1

W

mapping any Q ∈ Y

W

Ω,X,W

on {0} and any V ∈ X − Y on Ker(∇V
) , and
W
X
 Ω,X,W
X,W
[5, 2.10], it is easily checked that
the quotient F
-locality T GΩW d
the coherent F

X,W

-localities P

Ω,X,W

(cf. 4.7) and T

X

W

W
LF

have the same image

in this quotient; indeed, it follows from equalities 4.11.1 above that their
W
W
W
images coincide over Y and, since for any V ∈ X − Y we have
X

TG
P

Ω,X,W

(V ) and T

X

W

W
LF

W

Ω

W



Ω,X,W

d


V
(V ) ∼
= LF W

4.13.2,
W

X
 Ω,X,W 
(V ) map both isomorphically onto T GΩW d
(V ) .

In particular, we get P

Ω,X,W

W

W

X
Ω,X,W
X
∼
and T W
= TLW since the functors from P
L
F

X

F

W



Ω,X,W

to the quotient T GΩW d

are faithful. This proves our claim in 4.6.
X

X

4.14. It remains to prove the uniqueness; thus, assume that P and P ′
X
are two extendable perfect F -localities; it follows from Proposition 3.7 that
X

X

X

we may assume that both are F -sublocalities of the F -locality T GΩ introduced in 3.6 above. On the other hand, since the respective full subY
X
Y
X
categories P of P and P ′ of P ′ over Y as the set of objects are still two
Y
extendable perfect F -localities, it follows from our induction hypothesis that
Y
they are F -locality isomorphic. Consequently, considering the inclusions of
P

Y

Y

and P ′

Y

in T GΩ induced by the inclusions
P

Y

X

X Y

Y

X Y

Y

= (P ) ⊂ (T GΩ ) ⊃ (P ′ ) = P ′
X

Y

4.14.1

Y

and by the canonical functor (T GΩ ) → T GΩ (cf. 4.9.1), the existence of
Y
Y
Y
Y
an F -locality isomorphism P ∼
= P ′ determines two F -locality functors
Y

X

Y

from P to (T GΩ ) ; then, it follows again from Proposition 3.7 that the
Y
functors ainsi obtained are naturally F -isomorphic.
4.15. That is to say, as in 4.10 above, since the kernel of the strucY

Y

tural group homomorphism from T GΩ (P ) to F (P ) is the image of CGΩ (P )

14
Y

Y

in TGΩ (P ) , there is z ∈ CGΩ (P ) such that, denoting by z Q the image of z in
Y

Y

T GΩ (Q) for any Q ∈ Y , in T GΩ (Q, R) we get
Y

Y

Y

Y

P (Q, R) = z Q ·P ′ (Q, R)·(z R)−1

4.15.1

for any pair of groups Q and R in Y . As above, considering the images
X

X

X

z Q of z in T GΩ (Q) for any Q ∈ X and modifying our choice of P ′ as a
X

X

X

X

X

X

F -sublocality of T GΩ by the choice of z Q ·P ′ (Q, R)·(z R)−1 in T GΩ (Q, R) for
W
Y

any pair of groups Q and R in X , we actually may assume that in T GΩW we
have P

Y

Y

= P′ .
X

4.16. Moreover, as in 4.12 above, by the very definition of T GΩ (cf. 3.6.1
and 4.3), for any V ∈ X − Y we have
Y
CX
X
Ω,X
Z(V )
4.16.1
Ker(ρ̄V ) = TGΩ (V )/CGΩ (V ) =
θ̃∈F̃(P,V )

and therefore, since p does not divide |F̃ (P, V )| [3, Proposition 6.7], we have
a surjective group homomorphism
Ω,X

∇V

Ω,X

: Ker(ρ̄V ) −→ Z(V )

4.16.2

mapping z = (zθ̃ )θ̃∈F̃ (P,V ) on
Ω,X

∇V (z) =

1
·
|F̃ (tP, V )|

X

zθ̃

4.16.3.

θ̃∈F̃(P,V )

4.17. At this point, considering the contravariant Dirac functor
Ω,X

d

X

: T GΩ → Ab

4.17.1
Ω,X

mapping any Q ∈ Y on {0} and any V ∈ X − Y on Ker(∇V ) , and the quoX 
X
Ω,X
tient F -locality T GΩ d
[5, 2.10], it is easily checked that the coherent
X

X

X

F -localities P and P ′ have the same image in this quotient; indeed, it
follows from 4.15 above that their images coincide over Y and, since for any
V ∈ X − Y we have
X  Ω,X 
V
T GΩ d
(V ) ∼
4.17.2,
= LF

X 
X
X
Ω,X 
P (V ) and P ′ (V ) map both isomorphically onto T GΩ d
(V ) . In parX
X
′X
′X
∼
ticular, we get P = P since the functors from P and P to the quotient
X 
Ω,X
T GΩ d
are faithful. This proves the uniqueness.

15
5. Existence and uniqueness of the sections from F

X

to M̄

Ω,X

5.1. With the hypothesis and notation in 4.3 above, our purpose in this
section is to prove that
Ω,X

Theorem. The structural functor ρ̄
X
Ω,X
functorial section σ̄ Ω,X : F → M̄ .

: M̄

Ω,X

→F

X

X

admits an F -locality
U

Actually, since we assume that U 6= P , we also have U 6= NP (U ) = P and
U
U
therefore P belongs to Y ; thus, this theorem is just the existence part
of [5, Theorem 6.22] but we restate the proof in our new context; indeed,
Y
Y
here we assume that P is an extendable perfect F -locality and therefore
Y,U
the F -locality isomorphism in [5, 6.18]
P

Y,U

U

Y
= NP Y (U ) ∼
= TLU

5.1.1

F
U
Y

follows from our definition in 2.6; in particular, as in 4.11 above, in T GΩU we
may assume that P

Y,U

=T

U
Y
U

LF

.

U

F

5.2. Since Y is not empty, as in 4.7 above we can define the coherent
Ω,Y,U
-locality M
via the pull-back (cf. 4.2.3)

Y,U

P

U
Y

Y,U

⊂

T GΩU

↑
M

Ω,Y,U

X,U

and the coherent F -localities M
the second structural functors
ρΩ,X,U : M

Ω,X,U

−→ F

5.2.1

↑

X,U

X

U

U
Y

⊂ (T GΩ )
Ω,X,U

X

U

⊂ T GΩW and M̄

and ρ̄Ω,X,U : M̄
X

Ω,X,U

Ω,X,U

−→ F

as in 4.3, with
X,U

5.2.2.

X,U

Now recall that, denoting by F̃ and F̃
the respective exterior quotients
X
X,U
Ω,X
Ω,X,U
of F and F
[3, 1.3], the coherency of M̄
and M̄
determines
contravariant functors [5, 2.8.3]
Ω,X

Ker(ρ̄

) : F̃

X

−→ Ab and Ker(ρ̄

Ω,X,U

) : F̃

X,U

−→ Ab

5.2.3;

as usual, the existence of σ̄ Ω,X depends on the vanishing of the cohomology
Ω,X
class of a suitable Ker(ρ̄ )-valued 2-cocycle and, from the reduction proceΩ,X,U
dure developed in section 3, we will move to the corresponding Ker(ρ̄
)-valued 2-cocycle.

16
5.3. From the commutative diagram 4.2.3 we get the following commutative diagram of the normalizers of U
NP Y (U )

⊂

N

↑
NMΩ,Y (U ) ⊂ N
moreover, we are setting NP Y (U ) = P

T

gΩ

U
Y

:N

T

Y
Ω
G

(U ) −→ T G

Ω

Y,U

successively induce the new F
Y,U

hΩ
and, moreover, the F
X,U

hΩ

X,U

Y,U

- and F

X,U

-locality functors
X

and gΩ

Y,U

(U )

and we have the commutative

X,U

U

5.3.1;

↑
X
(T Ω)Y
G

diagram 4.9.2 for W = U . Consequently, the F
(cf. 3.10.1)
Y,U

(U )

Y
Ω
G

:N

T

X
Ω
G

(U ) −→ T G

U

Ω

U

5.3.2

-locality functor (cf. 5.2.1)

: NMΩ,Y (U ) −→ M

Ω,Y,U

5.3.3,

-locality functors (cf. 4.3)

: NMΩ,X (U ) −→ M

Ω,X,U

X,U

and h̄Ω

Similarly, since we are assuming that P

Y,U

: NM̄Ω,X (U ) −→ M̄
=T

U
Y

Ω,X,U

(cf. 4.11.1), the F

U

LF

5.3.4.
X,U

-lo-

cality functor (cf. 3.13.2)
X,U

lF

X

U

X

U

: TLU −→ T GΩU

5.3.5

F

and the pull-back 5.2.1 above determine new F
X,U

mF

X

U

: TLU −→ M

Ω,X,U

X,U

and m̄F

X,U

:F

-locality functors (cf. 4.3)

X,U

−→ M̄

Ω,X,U

5.3.6.

F

X,U

X

5.4. At this point, denoting by ι̃X,U : F̃
→ F̃ the canonical functor, it is well-known that, for any n ∈ N , the restriction induces a group
homomorphism (cf. 5.1.2)

X,U
Ω,X
X
Ω,X 
5.4.1;
Hn F̃ , Ker(ρ̄ ) −→ Hn F̃ , Ker(ρ̄ ) ◦ ι̃X,U
X,U

moreover, h̄Ω

induces a natural map [5, 2.10.1]
νh̄X,U : Ker(ρ̄
Ω

Ω,X

) ◦ ι̃X,U −→ Ker(ρ̄

Ω,X,U

)

and therefore, for any n ∈ N , we also get a group homomorphism

X,U
Ω,X,U 
X,U
Ω,X
)
Hn F̃ , Ker(ρ̄ ) ◦ ι̃X,U −→ Hn F̃ , Ker(ρ̄

5.4.2

5.4.3.

17
In [5, Proposition 6.9, 6.12.3 and 6.21.7] we prove that, for any n ∈ N , the
composition of the homomorphisms 5.4.1 and 5.4.3 determines an isomorphism
X,U
Ω,X,U 
X
Ω,X 
)
5.4.4.
Hn F̃ , Ker(ρ̄ ) ∼
= Hn F̃ , Ker(ρ̄
Ω,X

5.5. Let us explicit the announced Ker(ρ̄ )-valued 2-cocycle. For any
Ω,X
F -morphism ϕ : R → Q , choose a lifting xϕ in M (Q, R) (cf. 4.3) and
Ω,X
denote by x̄ϕ the image of xϕ in M̄ (Q, R) ; actually, we can do our choice
in such a way that we have (cf. 4.3)
X

Ω,X
x̄κX
(u)◦ϕ = ῡQ (u)·x̄ϕ
Q

5.5.1

X

for any u ∈ Q , where κX
(u) ∈ F (Q) denotes the conjugation by the image
Q
of u ; indeed, if we have κX
(u) ◦ ϕ = ϕ then we get u = ϕ(z) for a suitable
Q
z ∈ Z(R) ; since M̄

Ω,X

is coherent , in this case we obtain

Ω,X
Ω,X
ῡQ
(u)·x̄ϕ = ῡQ
ϕ(z) ·x̄ϕ = x̄ϕ ·ῡRΩ,X (z) = x̄ϕ

5.5.2.

U

More precisely, if Q and R are contained in P and ϕ : R → Q comes from
X,U
an F -morphism, it is quite clear that we may assume that xϕ belongs to
U

X,U
X
NMΩ,X (U ) (Q, R) and then that hΩ (xϕ ) belongs to the image of T U (Q, R)
LF

X,U

via lF

, so that actually we have (cf. 5.3.6)
X,U

X,U

h̄Ω (x̄ϕ ) = m̄F (ϕ)

5.5.3.

5.6. Then, for any triple of subgroups Q , R and T in X , and any pair of
F -morphisms ψ : T → R and ϕ : R → Q , since xϕ ·xψ and xϕ◦ψ have the same
Ω,X
image ϕ ◦ ψ in F (Q, T ) , the divisibility of M
guarantees the existence and
Ω,X
the uniqueness of kϕ,ψ ∈ Ker(ρT ) fulfilling
xϕ ·xψ = xϕ◦ψ ·kϕ,ψ

5.6.1.
Ω,X

Denote by k̄ϕ,ψ the image of kϕ,ψ in Ker(ρ̄Ω,X
is coherent , on
T ) ; since M̄
the one hand for any u ∈ Q and any v ∈ R we get (cf. 5.5.1)


Ω,X
x̄κX (u)◦ϕ ·x̄κX (v)◦ψ = ῡQ
(u)·x̄ϕ · ῡRΩ,X (v)·x̄ψ
Q
R

Ω,X
= ῡQ
uϕ(v) ·x̄ϕ ·x̄ψ
5.6.2;

Ω,X
x̄(κX (u)◦ϕ)◦(κX (v)ψ) = x̄κX (uϕ(v))◦ϕ◦ψ = ῡQ
uϕ(v) ·x̄ϕ◦ψ
Q

R

Q

hence, from the divisibility of M̄

Ω,X

we obtain

k̄κX (u)◦ϕ,κX (v)◦ψ = k̄ϕ,ψ
Q

R

5.6.3.

18
That is to say, for any n ∈ N , setting [3, 1.5]
Y

Ω,X
Cn F̃ , Ker(ρ̄Ω,X ) =

Ω,X

Ker(ρ̄q̃(0) )

5.6.4,

q̃∈Fct(∆n ,F̃ X )

we have obtained an element k̄ = {k̄q̃ }q̃∈Fct(∆2 ,F̃ X ) in C2 F̃

Ω,X


, Ker(ρ̄Ω,X )

where we set k̄q̃ = k̄q̃(1•2),q̃(0•1) = k̄q(1•2),q(0•1) for some representative
q : ∆2 → F

X

of q̃ .

5.7. We claim that k̄ is actually a 2-cocycle; explicitly, considering the
usual differential map [3, A13.11]
X
Ω,X 
X
Ω,X 
Ω,X
5.7.1,
d¯2 : C2 F̃ , Ker(ρ̄ ) −→ C3 F̃ , Ker(ρ̄ )
Ω,X
we claim that d¯2 (k̄) = 0 ; indeed, with the notation above, for a third
X
F -morphism η : W → T we get

Ω,X
(x̄ϕ ·x̄ψ )·x̄η = (x̄ϕ◦ψ ·k̄ϕ̃,ψ̃ )·x̄η = (x̄ϕ◦ψ ·x̄η )· Ker(ρ̄ )(η̃) (k̄ϕ̃,ψ̃ )

Ω,X
5.7.2
= x̄ϕ◦ψ◦η ·k̄ϕ̃◦ψ̃,η̃ · Ker(ρ̄ )(η̃) (k̄ϕ̃,ψ̃ )

x̄ϕ ·(x̄ψ ·x̄η ) = x̄ϕ ·(x̄ψ◦η ·k̄ψ̃,η̃ ) = x̄ϕ◦ψ◦η ·k̄ϕ̃,ψ̃◦η̃ ·k̄ψ̃,η̃
X

and the divisibility of M̄ forces
k̄ϕ̃◦ψ̃,η̃ · Ker(ρ̄
since Ker(ρ̄

Ω,X


)(η̃) (k̄ϕ̃,ψ̃ ) = k̄ϕ̃,ψ̃◦η̃ ·k̄ψ̃,η̃

5.7.3;

Ω,X

) is Abelian, in the additive notation we obtain

Ω,X
0 = Ker(ρ̄ )(η̃) (k̄ϕ̃,ψ̃ ) − k̄ϕ̃,ψ̃◦η̃ + k̄ϕ̃◦ψ̃,η̃ − k̄ψ̃,η̃

5.7.4,

proving our claim.
5.8. Then, in order to prove the existence of a section σ̄ Ω,X , it suffices to
show that k̄ is a 2-coboundary and therefore, according to isomorphism 5.4.4
above, it suffices to prove that the image via νh̄X,U (cf. 5.4.2) of the restricΩ

X,U

X,U

tion of k̄ to F̃
is a 2-coboundary. But, for any pair of F -morphisms
ϕ : R → Q and ψ : T → R , we have chosen xϕ in NMΩ,X(U ) (Q, R) , xψ in


NMΩ,X(U ) (R, T ) and xϕ◦ψ in NMΩ,X(U ) (Q, T ) , so that in equality 5.6.1

the element kϕ,ψ belongs to NMΩ,X(U ) (T ) and therefore we get (cf. 5.3.4)
X,U

X,U

X,U

X,U

X,U

X,U

X,U

hΩ (xϕ )·hΩ (xψ ) = hΩ (xϕ◦ψ )·hΩ (kϕ,ψ )

5.8.1

and therefore we still get
X,U

h̄Ω (x̄ϕ )·h̄Ω (x̄ψ ) = h̄Ω (x̄ϕ◦ψ )·h̄Ω (k̄ϕ,ψ )

5.8.2,

19
X,U

so that equalities 5.5.3 force h̄Ω (k̄ϕ,ψ ) = 1 ; that is to say, the image via
νh̄X,U of the restriction of k̄ to F̃

X,U

is just trivial, proving that k̄ is a

Ω

2-coboundary.
X

Ω,X

5.9. Thus, we have obtained a functorial section σ̄ Ω,X : F → M̄
Ω,X
X
of ρ̄
; actually, σ̄ Ω,X can be modified in order to get an F -locality functorial
X
section [5, 2.9]. Indeed, for any FP -morphism ζ : R → Q , choosing uζ in
Ω,X
Ω,X
Ω,X
TP (R, Q) lifting ζ , both M̄ -morphisms σ̄Q,R
(ζ) and ῡQ,R (uζ ) (cf. 4.3)
lift ζ ; once again, the divisibility of M̄
Ω,X
uniqueness of m̄ζ ∈ Ker(ρ̄R ) fulfilling

Ω,X

guarantees the existence and the

Ω,X

Ω,X
(ζ)·m̄ζ
ῡQ,R (uζ ) = σ̄Q,R

5.9.1;

actually, it follows easily from 5.5.1 that m̄ζ only depends on ζ̃ ∈ F̃P (Q, R)
X

and, as above, we write m̄ξ̃ instead of mξ ; moreover, for a second FP -morphism ξ : T → R , we get
Ω,X

Ω,X

Ω,X

Ω,X
σ̄Q,T
(ζ ◦ ξ)·m̄ζ̃◦ξ̃ = ῡQ,T (uζ◦ξ ) = ῡQ,R (uζ )·ῡR,T (uξ )
Ω,X
Ω,X
= σ̄Q,R
(ζ)·m̄ζ̃ ·σ̄R,T
(ξ)·m̄ξ̃
Ω,X
= σ̄Q,T
(ζ ◦ ξ)· Ker(ρ̄

Ω,X

5.9.2.


˜ (m̄ )·m̄
)(ξ)
ζ̃
ξ̃

Ω,X

5.10. Then, always the divisibility of M̄
forces

X
˜ (m̄ )·m̄
m̄ζ̃◦ξ̃ = Ker(ρ̄ )(ξ)
ζ̃
ξ̃

5.10.1

Ω,X

and, since Ker(ρ̄T ) is Abelian (cf. Proposition 3.4, 3.5 and 3.6), in the
additive notation we obtain

Ω,X
˜ (m̄ ) − m̄ + m̄
0 = Ker(ρ̄ )(ξ)
5.10.2;
ζ̃
ζ̃◦ξ̃
ξ̃
X

that is to say, denoting by ι̃X
P : F̃P ⊂ F̃

X

the obvious inclusion functor, the

X

correspondence m̄ sending any F̃P -morphism ζ̃ : R → Q to m̄ζ̃ defines a

X
Ω,X
X
1-cocycle in C1 F̃P , Ker(ρ̄ ) ◦ ι̃X
P ; but, since the category F̃P obviously
has a final object, we actually have [3, Corollary A4.8]

X
Ω,X
H1 F̃P , Ker(ρ̄ ) ◦ ι̃X
5.10.3;
P = {0}
Ω,X

consequently, we obtain m̄ = d0 (w̄) for some element w̄ = (w̄Q )Q∈X in

X
Ω,X
X
Ω,X 
0
C0 F̃P , Ker(ρ̄ ) ◦ ι̃X
)
5.10.4.
P = C F̃ , Ker(ρ̄
In conclusion, equality 5.9.1 becomes

Ω,X
Ω,X
−1
−1
Ω,X
Ω,X
(ζ)· Ker(ρ̄ )(ζ̃) (w̄Q )·w̄R
= w̄Q ·σ̄Q,R
(ζ)·w̄R
ῡQ,R (uζ ) = σ̄Q,R

5.10.5;

20
thus, the new correspondence which, for any pair of subgroups Q and R in X ,
X
−1
Ω,X
sends any ϕ ∈ F (Q, R) to w̄Q ·σ̄Q,R
(ϕ)·w̄R
defines an F -locality functorial
X

section of ρ̄ . We are done.

References
[1] Bob Oliver, A remark on the construction of centric linking systems,
arxiv.org/abs/1612.02132
[2] Lluı́s Puig, Frobenius categories, Journal of Algebra, 303(2006), 309-357.
[3] Lluı́s Puig, “Frobenius categories versus Brauer blocks”, Progress in Math.
274(2009), Birkhäuser, Basel.
[4] Lluı́s Puig, A criterion on trivial homotopy, arxiv.org/abs/1308.3765.
[5] Lluı́s Puig, Existence, uniqueness and functoriality of the perfect locality
over a Frobenius P -category, Algebra Colloquium, 23(2016) 541-622.

