On cohomology of saturated fusion systems and support
varieties

arXiv:1610.00095v2 [math.GR] 4 Oct 2016

Constantin-Cosmin Todea
Department of Mathematics, Technical University of Cluj-Napoca, Str. G. Baritiu 25, Cluj-Napoca 400027,
Romania

Abstract
In this short note we study the cohomology algebra of saturated fusion systems using finite
groups which realize saturated fusion systems and Hochschild cohomology of group algebras. A similar result to a theorem of Alperin, [1] is proved for varieties of cohomology
algebras of fusions systems associated to block algebras of finite groups.
Keywords: fusion system, cohomology, group algebra, variety, block
2000 MSC: 20C20, 16EXX
1. Introduction
A saturated fusion system F on a finite p-group P is a category whose objects are the
subgroups of P and whose morphisms satisfy certain axioms mimicking the behavior of
a finite group G having P as a Sylow subgroup. The axioms of saturated fusion systems
were invented by Puig in early 1990’s. The cohomology algebra of a p-local finite group
with coefficients in F p is introduced in [4, §5]. Let k be an algebraically closed field
of characteristic p. We denote by HH∗ (kG) the Hochschild cohomology algebra of the
group algebra kG and by H∗ (G, k) the cohomology algebra of the group G with trivial
coefficients. As in [8] we will use the language of homotopy classes of chain maps (see [8,
2.8, 4.2]). We denote by H∗ (F ) the algebra of stable elements of F , i.e. the cohomology
algebra of the saturated fusion system F , which is the subalgebra of H∗ (P, k) consisting
of elements [ζ ] ∈ H∗ (P, k) such that
resPQ ([ζ ]) = resϕ ([ζ ]),
for any ϕ ∈ HomF (Q, P) and any subgroup Q of P. This is the main object of study in this
paper. Moreover Broto, Levi and Oliver showed that any saturated fusion system F has
Email address: Constantin.Todea@math.utcluj.ro (Constantin-Cosmin Todea)
Preprint submitted to Elsevier

January 5, 2018

a non-unique P − P-biset X with certain properties formulated by Linckelmann and Webb
(see [4, Proposition 5.5]). Such a P − P-biset X is called a characteristic biset. Using this
biset, S. Park noticed in [11] a result which says that a saturated fusion system can be
realized by a finite group. This finite group is G = Aut(XP ), that is the group of bijections
of the characteristic biset X , preserving the right P-action. So, by [11, Theorem 3], we can
identify F with FP (G) which is the fusion system on P such that for every Q, R ≤ P we
have
HomFP (G) (Q, R) = {ϕ : Q → R | ∃x ∈ G s.t. ϕ (u) = xux−1 , ∀u ∈ Q}.
In Section 2 for a finite group G and P a p-subgroup such that FP (G) is a saturated
fusion system we associate and analyze a restriction map from the cohomology algebra
of the group G with coefficients in the field k to the cohomology algebra of the fusion
system, H∗ (FP (G)). For shortness we denote F = FP (G) and this map by ρF ,G . From
the above notice that any saturated fusion system F can be identified with a saturated
fusion system of the form FP (G), where G = Aut(XP) for X a characteristic biset; but
we prefer to work under a more general setup. Although some results are straightforward
translations of results in the literature, to prove them we need the machinery of transfer
maps between Hochschild cohomology algebras of group algebras developed in [8]. Since
H∗ (F ) is a graded commutative finitely generated k-algebra we can associate the spectrum
of maximal ideals, i.e. the variety denoted VF . For U a finitely generated kP-module
we define also a support variety, denoted VF (U ), in a similar way as the usual support
variety in group cohomology. The main result of this section is Theorem 2.1, where we
prove that ρF ,G induces a finite map on varieties and that we can recover VF (U ) from the
support variety VG (U ) associated to any finitely generated kG-module U, which was first
introduced by Carlson in [6].
In Section 3 we consider only fusion systems associated to blocks. If b is a block
idempotent of the group algebra kG (i.e. a primitive idempotent in the center of the group
algebra) with defect group P then it is well known that the set of b-Brauer pairs form a
G-poset which defines a saturated fusion system. We denote this category by FG,b . By
considering a subgroup H in G and a block c of kH with defect group Q ≤ P such that
FH,c is a fusion subsystem of FG,b we can define a restriction map from the cohomology
of FG,b to the cohomology of FH,c , denoted resb,c . In the main theorem of this short note
we find necessary and sufficient conditions for this restriction to induce a bijective map
from VFG,b to VFH,c .
For definitions, notations and basic results from block theory and fusion system theory
we follow [12] and [2].

2

2. Cohomology of a finite group realizing a saturated fusion system, restrictions and
varieties
Let G be a finite group and P be a p-subgroup of G. We denote by M the k-module
kG regarded as kG − kP-bimodule. In [8] M. Linckelmann defines transfer maps between
Hochschild cohomology algebras of symmetric algebras and establishes the compatibility
of restriction and transfer maps for group cohomology with these transfer maps for group
algebras through some embedding, which we call diagonal induction. Recall the notations
of these well-known injective homomorphisms of algebras

δG : H∗ (G, k) → HH∗ (kG), δP : H∗ (P, k) → HH∗ (kP).
Moreover from [8, Propostion 4.8] we have ImδG ⊆ HH∗M (kG), where HH∗M (kG) is the
subalgebra of M-stable elements in HH∗ (kG). See [8, Definition 3.1] for the general case
and for the definition of projective elements. By [8, Example 3.9] we know that the projective elements are in this case πM∗ = 1kP , which is invertible in Z(kP) and πM = [G : P]1kG .
It follows that there is a normalized transfer map TM∗ which is equal to tM∗ . Let U be a
finitely generated kG-module, where G is a finite group. The cohomological variety of
U (denoted VG (U )), introduced by Carlson in [6], is defined to be the subvariety of the
maximal ideal spectrum of H∗ (G, k) (denoted VG ) determined by IG∗ (U ), that is the variety
of the quotient algebra H∗ (G, k)/IG∗ (U ). Here IG∗ (U ) is the kernel of the graded k-algebra
homomorphism H∗ (G, k) → Ext∗kG (U,U ) induced by the functor − ⊗k U . For more details
see [3] or [7]. Moreover, M. Linckelmann noticed in [9, 2.9] that the ideal IG∗ (U ) is the
kernel of the composition
δG

H∗ (G, k)

/

HH∗ (kG)

αU

Ext∗kG (U,U ) ,
/

where αU is induced by the functor − ⊗kG U . We denote by VF the variety of the graded
∗ (U ) be the kernel of the composition of graded k-algebra homok-algebra H∗ (F ). Let IF
morphisms
δP

H∗ (F )

/

HH∗ (kP)

αU

/

Ext∗kP (U,U ) ,

where in the right side U is regarded as kP-module by restriction. We define VF (U ) as the
∗ (U ). For E a subgroup
subvariety of VF which consists of all maximal ideals containing IF
∗
of P we denote by rP,E : VE → VF the map between varieties induced by the composition
H ∗ (F ) 


iP

/

H∗ (P, k)

resPE

/

H∗ (E, k) .

We need to state the following remark which includes well-known results.
3

Remark 2.1. Let P be a p-subgroup of a finite group G such that F = FP (G) is a saturated fusion system on P. Let U be a finitely generated kG-module. Then VF (U ) =
i∗P (VP (U )) where i∗P : VP → VF is the induced finite surjective map. Moreover, by applying
S ∗
[7, Theorem 9.4.3] we have that VF (U ) = E rP,E
(VE (U )), where E runs over the set of
elementary abelian subgroups of P
For P a p-subgroup of a finite group G such that F = FP (G) is a saturated fusion system
on P we denote by ρF ,G : H∗ (G, k) → H∗ (F ), the homomorphism of graded k-algebras
induced by restriction.
Theorem 2.1. Let P be a p-subgroup of a finite group G such that F = FP (G) is a
saturated fusion system on P.
∗
(i) The homomorphism of k-algebras ρF ,G induces a finite map ρF
,G : VF → VG .

(ii) For any finitely generated kG-module U we have
∗
−1
VF (U ) = (ρF
,G ) (VG (U )).

Proof. Statement (i) is straightforward to check. Composing the commutative diagram
from [9, Theorem 5.1], adapted to our situation, with the obvious commutative diagram
(see [8, Proposition 4.7])
δG

H∗ (G, k)

HH∗M (kG) ,
/

ρF ,G

TM ∗





δP

H∗ (F )

/

HH∗ (kP)

we obtain the following commutative diagram
H∗ (G, k)

αU ◦δG

/ Ext∗

kG (U,U )

ρF ,G



H∗ (F )

αM ∗ ⊗

kG

U ◦δP

/

,

βM ∗ ,U



Ext∗kP (U,U )

∗ (U )
where βM∗ ,U is defined by the functor M ∗ ⊗kG −. It follows that ρF ,G (IG∗ (U )) ⊆ IF
∗ )−1 (V (U )). Suppose now
(since M ∗ ⊗kG U = U as kP-module), and then VF (U ) ⊆ (ρF
G
,G
∗
that α ∈ VF and β ∈ VG (U ) such that β = ρF ,G (α ). We take U = k as trivial kP-module
in Remark 2.1 to obtain that there is an elementary abelian subgroup of P and α ′ ∈ VE such

4

∗ (α ′ ). By [7, Theorem 9.4.3] there is E ′ ≤ P an elementary abelian subgroup
that α = rP,E
∗ ′
and β ′ ∈ VE ′ (U ) such that β = (resG
E ′ ) (β ). The following equalities hold
∗
∗
′
G ∗
P
∗
′
∗
ρF
,G (α ) = ρF ,G (rP,E (α )) = ((resP ) ◦ (resE ◦ iP ) )(α ) =
∗
′
G ∗
′
(resPE ◦ iP ◦ resG
P ) (α ) = (resE ) (α ).
∗ (α ) = β = (resG )∗ (β ′ ). It follows that (resG )∗ (β ′ ) = (resG )∗ (α ′ ). By
We also have ρF
E
,G
E′
E′
∗ (α ′ ) ∈ V (U ) (see
[7, Proposition 9.6.1] we conclude that α ′ ∈ VE ′ (U ), hence α = rP,E
F
Remark 2.1).

We end this section with the so called Subgroup Theorem ([7, Theorem 9.6.2]) for
varieties associated to cohomology algebras of saturated fusion systems. Let F1 be a
saturated fusion system on a p-group P1 and F2 a saturated fusion system on a p-group P2
such that F1 is a fusion subsystem of F2 , where P1 is a subgroup of P2 . It is easy to check
that resPP21 (H∗ (F2 )) ⊆ H∗ (F1 ). We denote by
resF2 ,F1 : H∗ (F2 ) → H∗ (F1 )
the homomorphism of k-algebras defined by resF2 ,F1 ([ζ ]) = resPP21 ([ζ ]) for any [ζ ] ∈
H∗ (F2 ).
Theorem 2.2. With the above assumptions and notations let U be a finitely generated
kP2 -module. Then
VF1 (U ) = (res∗F2 ,F1 )−1 (VF2 (U )).
Proof. Let X be kP2 viewed as kP2 − kP1 -bimodule. It is easy to verify the commutativity
of the following diagram
H∗ (F2 )
resF2 ,F1



H∗ (F1 )

δP2

δP1

HH∗X (kP2) .
/

TX ∗



/ HH∗ ∗ (kP1 )
X

We know that IF1 (U ) = Ker(αU ◦ δP1 ) and that IF2 (U ) = Ker(αU ◦ δP2 ). By [9, Theorem 5.1] the following diagram is commutative
HH∗X (kP2)
TX ∗



HH∗X ∗ (kP1 )

αU

/

βX ∗ ,U

αX ∗ ⊗

kP1 U

5

Ext∗kP2 (U,U ) .

/



Ext∗kP1 (U,U )

The above diagrams assure us the inclusion res∗F2 ,F1 (VF1 (U )) ⊆ VF2 (U ). For the reverse
inclusion we use Remark 2.1 and [7, Proposition 9.6.1].
Remark 2.2. The above theorems could have applications in studying when ρF ,G and
resF2 ,F1 induce bijective maps on varieties, or when are F-isomorphisms. A missing ingredient for doing this is the Quillen stratification for fusion systems which is not appeared
yet in a suitable form in the literature. We do not pursue this in here. However, for saturated fusion systems associated to blocks we obtain some positive answers; as we will see
in Section 3.
3. A theorem of Alperin for cohomology of fusion systems associated to blocks
In this section we work only with cohomology algebras of saturated fusion systems
associated to p-blocks. Let H be a finite subgroup of G. Let b be a block of kG with defect
pointed group Pγ and let c be a block of kH with defect group Qδ such that Q ≤ P. Let i ∈ γ
be a source idempotent. By Broué and Puig [5, Theorem 1.8] for any subgroup R of P,
there is a unique block eR of CG (R) such that BrR (i)eR 6= 0. Then (R, eR ) is a b-Brauer pair,
and eR is also the unique block of CG (R) such that (R, eR ) ≤ (P, eP ). We define the saturated
fusion system F(P,eP ) (G, b) the category which has as objects the set of subgroups of P;
for any two subgroups R, S of P the set of morphisms from R to S in F(P,eP ) (G, b) is
the set of (necessarily injective) group homomorphisms ϕ : R → S for which there is an
element x ∈ G satisfying ϕ (u) = xux−1 for all u ∈ R and satisfying x (R, eR ) ≤ (S, eS ). For
shortness we will use the notation FG,b for this category. The category FG,b is, up to
canonical isomorphism of categories, independent of the choice of the source idempotent
i. The analogous definition holds for FH,c ; here we denote by (R, fR ) an c-Brauer pair,
for R ≤ Q. We denote by EP (b),(respectively EQ (c)) the set of all elementary abelian
subgroups of P, (respectively Q). We mention that the cohomology algebra of the block b,
which is H∗ (FG,b ), was introduced and analyzed before the cohomology of general fusion
systems by M. Linckelmann in some papers ([8], [9],[10]) around the beginning of 2000’s.
For the rest of the section let b, c be blocks as above such that FH,c is a fusion subsystem of FG,b . It is easy to check that resPQ induces a well-defined homomorphism of
algebras
resb,c : H∗ (FG,b ) → H∗ (FH,c ).
Obviously resb,c is the map resFG,b ,FH,c defined at the end of Section 2.
In the following lines we introduce some notations adapted to our setting, regarding
the Quillen stratification of H∗ (FG,b ) obtained in [10]. Let E ∈ EP (b). The restriction map
∗ :V →V
rP,E : H∗ (FG,b ) → H∗ (E, k) induces a map on varieties, which we denote rE,b
E
FG,b .

6

As usual we define the subvariety of VE
VE+ = VE \

[

(resEF )∗ (VF ),

F<E

and denote the subvarieties of VFG,b
∗
+
∗
VG,E,b = rE,b
(VE ), VG,E,b
= rE,b
(VE+ ).

Finally we set WG (E) = NG (E, eE )/ECG (E), where (E, eE ) is the unique b-Brauer pair
such that (E, eE ) ≤ (P, eP ). If E ∈ EQ (c) we consider the analogous notations:
∗
+
rE,c
,VH,E,c ,VH,E,c
,WH (E) = NG (E, fE )/ECH (E).

Now the Quillen stratification is
VFG,b =

◦
[

+
VG,E,b
,

E

where E runs over a set of FG,b -conjugacy classes of elements in EP (b).
Definition 3.1. Let b, c be blocks of kG, respectively kH such that FH,c is a fusion subsystem of FG,b . We say that FH,c is weakly elementary embedded in FG,b if the following
conditions are satisfied:
(1) Whenever E ∈ EQ (c) then WH (E) ∼
= WG (E);
(2) Every subgroup from EP (b) is FG,b -conjugate to a subgroup from EQ (c);
(3) If two subgroups from EQ (c) are FG,b -conjugate then they are FH,c -conjugate.
Theorem 3.1. Let b, c be blocks of kG, respectively kH such that FH,c is a fusion subsystem of FG,b . The restriction map resb,c : H∗ (FG,b ) → H∗ (FH,c ) induces a bijective map
res∗b,c : VFH,c → VFG,b if and only if FH,c is weakly elementary embedded in FG,b .
Proof. Suppose that the conditions from Definition 3.1 are satisfied. For injectivity let
m1 , m2 ∈ VFH,c such that res∗b,c (m1 ) = res∗b,c (m2 ). By the Quillen stratification for VFH,c
there are two subgroup E1 , E2 ∈ EQ (c) unique up to FH,c -conjugacy, and γ1 ∈ VE+1 , γ2 ∈ VE+2
such that
m1 = rE∗ 1 ,c (γ1 ), m2 = rE∗ 2 ,c (γ2 ).
It follows that

(res∗b,c ◦ rE∗ 1,c )(γ1 ) = (res∗b,c ◦ rE∗ 2,c )(γ2 ),
7

and since
rE1 ,c ◦ resb,c = rE1,b , rE2 ,c ◦ resb,c = rE2 ,b ,
we obtain that rE∗ 1 ,b (γ1 ) = rE∗ 2,b (γ2 ). Quillen stratification for VFG,b give us that E1 is FG,b conjugate to E2 , hence E1 is FH,c - conjugate to E2 (by condition (3) of Definition 3.1).
∗ (γ ) = r ∗ (γ ). The inseparable
This allows us to choose E1 = E2 = E, and we have rE,b
1
E,b 2
+
+
∗ ,
∼
isogeny from [10, Theorem 4.2, Proposition 4.3], VG,E,b = VE /WG (E), is given by rE,b
hence γ1 , γ2 are in the same orbit of the action of WG (E) on VE+ . From Definition 3.1,
condition (1) we obtain that γ1 , γ2 are in the same orbit of the action of WH (E) on VE+ ,
+
∗ (γ ) = r ∗ (γ ) = m . Now let m ∈ V
hence m1 = rE,c
1
2
FG,b . There is F ∈ EP (b) and γ ∈ VF
E,c 2
∗ (γ ). From condition (2) of the above definition we know that there is
such that m = rF,b
∗ (γ ) = r ∗ (γ ) and m = r ∗ (γ ) =
F ′ ∈ EQ (c) such that F is FG,b -conjugate to F ′ . Then rF,b
F ′ ,b
F ′ ,b
∗
∗
resb,c (rF ′ ,c (γ )).
Now we assume that res∗b,c is bijective. Let E1 , E2 ∈ EQ (c) which are FG,b -conjugate.
+
+
Then VG,E
= VG,E
, that is rE∗ 1 ,b (VE+1 ) = rE∗ 2,b (VE+2 ). It follows that
1 ,b
2 ,b
res∗b,c (rE∗ 1,c (VE+1 )) = res∗b,c (rE∗ 2,c (VE+2 )).
Since res∗b,c is injective we obtain that
+
+
,
VH,E
= rE∗ 1 ,c (VE+1 ) = rE∗ 2 ,c (VE+2 ) = VH,E
1 ,c
2 ,c

and then E1 , E2 are FH,c -conjugate, hence (3) is proved. For (1) let E ∈ EQ (c). We identify
+
+
with the orbits of the action of WG (E) on VE+ and the same for VH,E,c
. Since res∗b,c
VG,E,b
is bijective and
+
∗
∗
+
res∗b,c (VH,E,c
) = res∗b,c (rE,c
(VE+ )) = rE,b
(VE+ ) = VG,E,b
,
+
+
we obtain that res∗b,c induces a bijection from VH,E,c
to VG,E,b
. This bijection, the free
+
actions of WG (E),WH (E) on VE and the existence of an embedding from WH (E) into
WG (E) assure the validity of condition (1); how res∗b,c is defined is an important ingredient
for proving isomorphism (1). For (2) we consider n ∈ VFH,c and m ∈ VFG,b with vertex
E ∈ EP (b) and a source γ ∈ VE+ such that res∗b,c (n) = m. We get that a FG,b -conjugate of
E must be a vertex of n, hence in EQ (c).

Remark 3.2. With the hypothesis from Theorem 3.1 if b, c are the principal blocks we
obtain an analogous statement to [1, Theorem 2].
Acknowledgements. The author would like to express his sincere thanks to the referee for his/her comments and suggestions that contributed to shortening and improving
previous versions of this note.
8

References
[1] J. L. Alperin, On a theorem of Mislin, J. Purre Appl. Alg. 206 (2006), 55-58.
[2] M. Aschbacher, R. Kessar, B. Oliver, Fusion systems in algebra and in topology,
Cambridge University Press, Cambridge, 2011.
[3] D. J. Benson, Representations and cohomology II: Cohomology of groups and modules, Cambridge University Press, Cambridge, 1991.
[4] C. Broto, R. Levi, B. Oliver, The homotopy theory of fusion systems, J. Amer. Math.
Soc. 16 (2003), 779-856.
[5] M. Broué, L. Puig, Characters and local structure in G-algebras, J. Alg. 63 (1980),
306-317.
[6] J. F. Carlson, The variety and the cohomology ring of a module, J. Alg. 85 (1983),
104-143.
[7] J. F. Carlson, L. Townsley, L. Valeri-Elizondo, M. Zhang, Cohomology rings of finite
groups, Kluwer Academic Publishers, Dordrecht/Boston/London, 2003.
[8] M. Linckelmann, Transfer in Hochschild cohomology of blocks of finite groups, Alg.
Repres. Theory 2 (1999), 107-135.
[9] M. Linckelmann, Varieties in block theory, J. Alg. 215 (1999), 460-480.
[10] M. Linckelmann, Quillen stratification for block varieties, J. Purre Appl. Alg. 172
(2002), 257-270.
[11] S. Park, Realizing a fusion system by a single finite group, Arch. Math. 94 (2010),
405-410.
[12] J. Thévenaz, G-algebras in modular representation theory, Clarendon Press, Oxford,
1995.

9

