Dade groups for finite groups and dimension functions

Abstract: Let

G

be a finite group and

k

an algebraically closed field of characteristic

p > 0

. We define the notion of a Dade

k G

-module as a generalization of endo-permutation modules for

p

-groups. We show that under a suitable equivalence relation, the set of equivalence classes of Dade

k G

-modules forms a group under tensor product, and the group obtained this way is isomorphic to the Dade group

D (G)

defined by Lassueur. We also consider the subgroup

D^{O m e g a} (G)

of

D (G)

generated by relative syzygies

O m e g a_{X}

, where

X

is a finite

G

-set. If

C (G, p)

denotes the group of superclass functions defined on the

p

-subgroups of

G

, there are natural generators

o m e g a_{X}

of

C (G, p)

, and we prove the existence of a well-defined group homomorphism

P s i_{G} : C (G, p) o D^{O} m e g a (G)

that sends

o m e g a_{X}

to

O m e g a_{X}

. The main theorem of the paper is the verification that the subgroup of

C (G, p)

consisting of the dimension functions of

k

-orientable real representations of

G

lies in the kernel of

P s i_{G}

.

Review text

For a finite group \(G\), and a field \(k\) of positive characteristic \(p\), as a particular case of endo-\(p\)-permutation modules, authors define the notion of Dade \(kG\)-module. They construct an abelian group \(D(G)\), called the Dade group of \(G\), on the set of equivalence classes (Definition \(2.12\)) of certain Dade \(kG\)-modules. It is shown that the group \(D(G)\) is isomorphic to the Dade group defined by \textit{C. Lassueur} [J. Pure Appl. Algebra 217, No. 1, 97--113 (2013; Zbl 1279.20013)]. An object that has received particular interest is a subgroup \(D^{\Omega}(G)\) of \(D(G)\), generated by those Dade \(kG\)-modules which emerge as the kernel of the augmentation map \(\epsilon :kX\rightarrow k\) where \(X\) is a \(G\)-set satisfying \(X^S=\emptyset\) for a Sylow \(p\)- subgroup of \(G\). An explicit description for its generating set is also provided (Proposition \(5.14\)). For a collection \(\mathcal{H}\) of subgroups of \(G\) that are closed under \(G\)-conjugacy and taking subgroups, by letting \(C(G,\mathcal{H})\) denote the set of functions \(f:\mathcal{H}\rightarrow \mathbb{Z}\) which are constant on each \(G\)-conjugacy class, authors construct a surjective group homomorphism \(\psi_G:C(G,p)\rightarrow D^{\Omega }(G)\) where \(p\) denotes the family of \(p\)-subgroups of \(G\). Towards realizing their intended application, a group \(M_t(G,\mathcal{H})\) on the tight Moore \(G\)-spaces (Definition \(7.3\)) whose isotropy subgroups belong to \(\mathcal{H}\) is defined, and in the case where \(\mathcal{H}=\mathcal{F}_G\) is the family of all non-Sylow \(p\)-subgroups of \(G\), a homomorphism \(\mathrm{Dim}:M_t(G,\mathcal{F}_G)\rightarrow C(G,\mathcal{F}_G)\) is provided. Given a \(k\)-orientable real \(G\)-representation \(V\) (Definition \(1.5\)), one can obtain a Moore \(G\)-space from its unit sphere \(X=S(V)\). This enables an investigation on the image of the homomorphism \(\mathrm{Dim}\) on the \(k\)-orientable real \(G\)-representations, yielding the main result of the paper; the image lies in the kernel of \(\psi_G\) (Theorem \(1.6\)). Authors also investiage some particular subgroups of the form \(C_{ba^+}(G,p)\subseteq C_{b}(G,p) \subseteq C(G,p)\). Here, \(C_{b}(G,p)\) denotes the subgroup consisting of Borel-Smith functions (Definition \(9.1\)) and \(C_{ba^+}(G,p)\) denotes the subgroup of \(C_{b}(G,p)\) formed by those functions that also satisfy the oriented Artin condition (Definition \(9.6\)). These subgroups provide bounds for \(\mathrm{ker}\psi_G\), more explicitly, \(C_{ba^+}(G,p)\subseteq \mathrm{ker}\psi_G \subseteq C_{b}(G,p)\) (Theorem \(9.10\)). However, whether the inequality \(C_{ba^+}(G,p)\subseteq \mathrm{ker}\psi_G\) can ever be strict remained an open question.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Dade groups for finite groups and dimension functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2662197)