The transfer in mod-p group cohomology between _p_p^n-1, _p^n-1_p and _p^n.

MaRDI QIDQ847591zbMATH OpenFDO

Authors Nondas E. Kechagias

Publication date 18 February 2010

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0903.5239, http://www.emis.de/journals/JHRS/volumes/2009/n1a8/abstract.htm

zbMATH Keywords

cohomology of symmetric groupsrestriction maprings of invariantstransfer mapwreath products

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Resolutions; derived functors (category-theoretic aspects) (18G10) Cohomology of groups (20J06) Steenrod algebra (55S10)

Abstract: In this work we compute the induced transfer map: ${\displaystyle }$�ar au^ast: func{Im}(res^ast:H^ast(G) o H^ast(V)) o func{Im}(res^ast: H^ast (Sigma_{p^n}) o H^ast(V))${\displaystyle }$ in $funcmodp$-cohomology. Here $Sigm{a}_{p^n}$ is the symmetric group acting on an $n$-dimensional $mathbb{F}_p$ vector space $V$, $G=Sigm{a}_{p^n,p}$ a $p$-Sylow subgroup, $Sigm{a}_{p^{n-1}}intSigm{a}_p$, or $Sigm{a}_{p}intSigm{a}_{p^{n-1}}$. Some answers are given by natural invariants which are related to certain parabolic subgroups. We also compute a free module basis for certain rings of invariants over the classical Dickson algebra. This provides a computation of the image of the appropriate restriction map. Finally, if $$ is the natural epimorphism, then we prove that $$ in the ideal generated by the top Dickson algebra generator.

Review text

Let \(V\) be a \(n\)-dimensional \(\mathbb F_p\) vector space and \(\Sigma_{p^n}\) the permutations on \(V\). Let \(H\) be a subgroup of the finite group \(G\). Then the Weyl group \(W_G(H)\) acts on the group cohomology \(H^*(H)\) and the inclusion map \(H\hookrightarrow G\) induces the restriction map \((\text{res}^G_H)^*\colon H^*(G)\to H^*(H)^{W_G(H)}\). In this paper the author computes the induced transfer map: \[ \overline\tau^*\colon\text{Im}(\text{res}^*\colon H^*(G)\to H^*(V))\to\text{Im}(\text{res}^*\colon H^*(\Sigma_{p^n})\to H^*(V)) \] in \(\text{mod\,}p\)-cohomology. Here \(G=\Sigma_{p^n,p}\) a \(p\)-Sylow subgroup, \(\Sigma_{p^{n-1}}\wr\Sigma_p\), or \(\Sigma_p\wr\Sigma_{p^{n-1}}\) where \(\wr\) denotes the wreath product. Certain rings of invariants which are related to parabolic subgroups have been studied. The author also computes a free module basis for certain rings of invariants over the Dickson algebra \(\mathbb F_p[y_1,\dots,y_n]^{\text{GL}(n,\mathbb F_p)}\). The method strongly depends on the action of Steenrod algebra on the rings of invariants.

Recommendations

• The transfer in modular invariant theory
• scientific article; zbMATH DE number 1182640
• scientific article; zbMATH DE number 3955218
• Chevalley group theory and the transfer in the homology of symmetric groups
• scientific article; zbMATH DE number 3305205

Cited in

(6)

• Chevalley group theory and the transfer in the homology of symmetric groups
• Varieties and transfers
• The homology of invariant group chains.
• scientific article; zbMATH DE number 1182640 (Why is no real title available?)
• Cohomology rings of extended powers and of free infinite loop spaces
• Mod \(p\) retracts of \(G\)-product spaces

This page was built for publication: The transfer in mod-\(p\) group cohomology between \(\Sigma_p\int\Sigma_{p^{n-1}}\), \(\Sigma_{p^{n-1}}\int\Sigma_p\) and \(\Sigma_{p^n}\).

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