The \(14\)-dimensional Kervaire invariant and the sporadic group \(M_{12}\) (Q1383462)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The \(14\)-dimensional Kervaire invariant and the sporadic group \(M_{12}\)
scientific article

    Statements

    The \(14\)-dimensional Kervaire invariant and the sporadic group \(M_{12}\) (English)
    0 references
    0 references
    22 June 1998
    0 references
    There is a 14-dimensional aspect to the sporadic Mathieu group \(M_{12}\). In the first place, 2-Sylow subgroups of \(M_{12}\) and \(G_2(q)\) for \(q\equiv 3,5\pmod 8\) are isomorphic and the exceptional Lie group \(G_2\) is 14-dimensional. Secondly, [in Proc. Symp. Pure Math. 63, 397-418 (1998; Zbl 0893.55008)]\ the author constructed a fibering of the form \(F\to B^+_{M_{12}}\to B_{G_2}\) with the fiber a 14-dimensional Poincaré duality space. \textit{N. Ray} [Proc. Lond. Math. Soc., III. Ser. 39, 253-275 (1979; Zbl 0412.57020)]\ showed that the natural homotopy class in \(\pi^s_{14}(S^0)=2^2=\langle\overline\kappa,\sigma^2\rangle\) associated to the reframing of \(G_2\) is \(\overline\kappa\), so one would expect that there is some way in which a homotopy class in \(\pi^s_{14}(S^0)\) could be associated to \(F\), and this class should be \(\sigma^2\) or \(\sigma^2+\overline\kappa\). In other words, this class should represent an element in \(\pi^s_{14}(S^0)\) of Kervaire invariant one. Indeed, it is the object of this note to show just that. There is a natural embedding \(h\colon M_{12}\subset S_{12}\) that gives rise to a composition map \(B_h\colon B^+_{M_{12}}\to B^+_{S_{12}}\hookrightarrow B^+_{S_\infty}\simeq Q(S^0)\) which, at the homotopy level induces a map \(B_{h,\ast}\colon\pi_{\ast}(B^+_{M_{12}})\to\pi^s_{\ast}(S^0)\). The main result of this note is the following theorem: there is an element \(A\in\pi^s_{14}(B_{M_{12}})\) with Hurewicz image \([F]\), the orientation class of the fiber \(F\) above, and every such \(A\) has image \(B_h(A)=\sigma_7^2\) or \(\sigma_7^2+\overline\kappa\) under the composition above.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    cohomology of finite groups
    0 references
    sporadic Mathieu group \(M_{12}\)
    0 references
    Kervaire invariants
    0 references
    fiberings
    0 references
    Poincaré duality spaces
    0 references
    homotopy classes
    0 references