The cohomology of the sporadic group J₂ over F₃

DOI10.1515/FORUM-2014-0039MaRDI QIDQ901397zbMATH OpenOpenAlexFDO

Authors Oihana Garaialde Ocaña, Antonio Díaz Ramos

Publication date 12 January 2016

Published in Forum Mathematicum (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1403.5493

zbMATH Keywords

cohomology ringHall-Janko groupspectral sequence

Mathematics Subject Classification ID

Simple groups: sporadic groups (20D08) Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure (20D20) Cohomology of groups (20J06) Classifying spaces of groups and (H)-spaces in algebraic topology (55R35) Serre spectral sequences (55T10)

Abstract: We describe the cohomology ring $H^{\ast }(J_2;mathbb{F}_3)$ both as subring of $H^{\ast }(3_{+}^{1+2};mathbb{F}_3)$ and with an abstract presentation. We also give its Poincar'{e} series. We use as tool a spectral sequence for the strongly closed $3$-subgroup of $J_2$. This method might be used to compute the cohomology of any finite simple group with a strongly closed $p$-subgroup.

Review text

The computation of the cohomology ring of sporadic finite simple groups is a difficult problem and only partial answers are known. An important sporadic simple group is the second Hall-Janko group \(J_2\). Although, \(H^*(J_2; \mathbb{F}_3)\) has been determined using computers by \textit{S. King} [``Modular cohomology ring of \(J_2\) over \(\mathbb{F}_3\), \url{http://users.minet.uni-jena.de/~king/cohomology/nonprimepower/J2mod3.html}], it is desirable to have a computer-free proof, and the paper under review does this job. It is known that \(J_2\) has a Sylow 3-subgroup which is isomorphic to \(3_{+}^{1+2}\). The authors give a computer-free description of the cohomology ring \(H^*(J_2; \mathbb{F}_3)\) as a subring of \(H^*(3_{+}^{1+2}; \mathbb{F}_3)\) and also give a complete presentation of \(H^*(J_2; \mathbb{F}_3)\). The center \(Z(3_{+}^{1+2}) \cong C_3\) is a strongly closed 3-subgroup of \(3_{+}^{1+2}\) and gives the following central extension \[ 1 \to C_3 \to 3_{+}^{1+2} \to C_3 \times C_3 \to 1. \] The group \(Out_{J_2}(3_{+}^{1+2}) \cong C_8\) acts on each page of the Lyndon-Hochschild-Serre spectral sequence \(E_*\) of the above central extension. Taking invariants gives rise to another spectral sequence \(E_*^{C_8}\) which collapse as \(E_6^{C_8} = E_{\infty}^{C_8}\). This leads the authors to determine the ring \(H^*(J_2; \mathbb{F}_3)= H^*(3_{+}^{1+2}; \mathbb{F}_3)^{C_8}\). The novelty of this approach is that the spectral sequence applies on the weak hypothesis of the existence of a strongly closed \(3\)-subgroup.

Recommendations

• The cohomology of the sporadic groups J₂ and J₃
• The cohomology of the Sylow 2-subgroup of the Higman-Sims group
• The Cohomology of the Sylow 2-Subgroup of J ₂
• The cohomologies of the Sylow 2-subgroups of a symplectic group of degree six and of the third Conway group.
• scientific article; zbMATH DE number 18036

Cited in

(6)

• The cohomology of the sporadic groups J₂ and J₃
• Third homology of some sporadic finite groups
• The cohomologies of the Sylow 2-subgroups of a symplectic group of degree six and of the third Conway group.
• scientific article; zbMATH DE number 18036 (Why is no real title available?)
• On the cohomology of the sporadic simple group J₄
• The mod-2 cohomology ring of the third Conway group is Cohen-Macaulay.

This page was built for publication: The cohomology of the sporadic group \(J_2\) over \(\mathbb{F}_{3}\)

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