English

Gluing endo-permutation modules

Group Theory 2008-09-03 v1

Abstract

In this paper, I show that if pp is an odd prime, and if PP is a finite pp-group, then there exists an exact sequence of abelian groups 0T(P)D(P)\lprojPH1(\apdeux(P),Z)(P),0\to T(P)\to D(P)\to\lproj{P}\to H^1\big(\apdeux(P),\Z\big)^{(P)}, where D(P)D(P) is the Dade group of PP and T(P)T(P) is the subgroup of endo-trivial modules. Here \lprojP\lproj{P} is the group of sequences of compatible elements in the Dade groups D(NP(Q)/Q)D\big(N_P(Q)/Q\big) for non trivial subgroups QQ of PP. The poset \apdeux(P)\apdeux(P) is the set of elementary abelian subgroups of rank at least 2 of PP, ordered by inclusion. The group H1(\apdeux(P),Z)(P)H^1\big(\apdeux(P),\Z\big)^{(P)} is the subgroup of H1(\apdeux(P),Z)H^1\big(\apdeux(P),\Z\big) consisting of classes of PP-invariant 1-cocycles. Here \lprojP\lproj{P} is the group of sequences of compatible elements in the Dade groups D(NP(Q)/Q)D\big(N_P(Q)/Q\big) for non trivial subgroups QQ of PP. The poset \apdeux(P)\apdeux(P) is the set of elementary abelian subgroups of rank at least 2 of PP, ordered by inclusion. The group H1(\apdeux(P),Z)(P)H^1\big(\apdeux(P),\Z\big)^{(P)} is the subgroup of H1(\apdeux(P),Z)H^1\big(\apdeux(P),\Z\big) consisting of classes of PP-invariant 1-cocycles. A key result to prove that the above sequence is exact is a characterization of elements of 2D(P)2D(P) by sequences of integers, indexed by sections (T,S)(T,S) of PP such that T/S(Z/pZ)2T/S\cong (\Z/p\Z)^2, fulfilling certain conditions associated to subquotients of PP which are either elementary abelian of rank~3, or extraspecial of order p3p^3 and exponent pp.

Keywords

Cite

@article{arxiv.0809.0493,
  title  = {Gluing endo-permutation modules},
  author = {Serge Bouc},
  journal= {arXiv preprint arXiv:0809.0493},
  year   = {2008}
}
R2 v1 2026-06-21T11:16:14.267Z