Dade groups for finite groups and dimension functions (Q2662197): Difference between revisions

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.