\(\mu\)-elements in \(S^ 1\)-transfer images
type: Item
instance of: scholarly article
title: \(\mu\)-elements in \(S^ 1\)-transfer images
zbMATH Open document ID: 0759.55012
author: Mitsunori Imaoka
published in: Osaka Journal of Mathematics
publication date: 1993-01-16T00:00:00Z
review text: The \(\mu_ r\)-elements of Adams in the 2-primary component of the stable homotopy groups of spheres constitute a periodic family with rather extreme properties. Although these elements are in some sense very simple elements there are not known any framed manifolds representing them (except in the lowest dimensions). One possible method to find such manifolds is to write \(\mu_ r\) as an \(S^ 1\)- transfer image of some manifold with stable normal bundle isomorphic to a multiple of a complex line bundle. Here the \(S^ 1\)-transfer map \(t_ n\) is the boundary map belonging to the standard cofibre sequence \[ P_{m-n+1}\mathbb{C}^{(n- 1)\xi}\to P_{m-n}\mathbb{C}^{n\xi}@>t_ n>> S^{2n-1}\to \Sigma P_{m- n+1}\mathbb{C}^{(n-1)\xi} \] (for \(-\infty < n\leq m \leq \infty\)) of Thom spectra of multiples of the canonical complex line bundle on complex projective spaces. In this paper the problem for which \(n\), \(m\) the element \(\mu_ r\) is in \(\text{im}(t_{n*})\) is investigated. The main result is that for \(r\geq 0\) the numerical condition \({8r+2k+1\choose 4r+1}+2{8r+2k-1\choose 4r- 1}\not\equiv 0\bmod 4\) implies \(\mu_ r\in\text{im}(t_{2k*})\). For \(n\) odd \(\mu_ r\) is never in \(\text{im}(t_{n*})\). The \(\mu_ r\)-family is detected by the KO-theory Hurewicz map \(h_{KO}\) (=\(d\)-invariant). For the weaker problem whether \(\mu_ r+x\) for some \(x\) in \(\text{ker}(h_{KO})\) is in \(\text{im}(t_{n*})\), the author gives necessary and sufficient conditions in terms of the index of the Hurewicz map \(h: \pi^ S_{2m}(P_ \infty\mathbb{C}^{n\xi})\to H_{2m}(P_ \infty\mathbb{C}^{n\xi})\) and denominators of the power series \(((e^ x- 1)/x)^ j\). The corresponding problem for the \(S^ 0\)-transfer and real projective spaces is also treated. To prove his results the author uses the classical Adams spectral sequence and some known results on stable James numbers.
Mathematics Subject Classification ID: 55R12
Mathematics Subject Classification ID: 55P42
Mathematics Subject Classification ID: 55Q45
Mathematics Subject Classification ID: 55T15
zbMATH DE Number: 91632
zbMATH Keywords: \(\mu_ r\)-elements
zbMATH Keywords: stable homotopy groups of spheres
zbMATH Keywords: transfer image
zbMATH Keywords: Thom spectra
zbMATH Keywords: complex projective spaces
zbMATH Keywords: Hurewicz map
zbMATH Keywords: real projective spaces
zbMATH Keywords: Adams spectral sequence
zbMATH Keywords: James numbers
reviewed by: Karlheinz Knapp
MaRDI profile type: Publication
Recommended article: On the detection of some elements in the image of the double transfer using K(2)-theory
Recommended article: On images of Radon transforms
Recommended article: Scale invariant transfer matrices and Hamiltionians
Recommended article: Transfer images and \(\pi\)-factor groups.
Recommended article: Transformation properties of the generalized Muirhead operators
Recommended article: Images of non-tangential sectors under Cauchy transforms
Recommended article: On the image of the mean transform
Recommended article: INTRODUCTION TO THE THEORY OF $ (\nu_1,\,\dots,\,\nu_{r-1})$-TRANSFORMS
Recommended article: Q3778458
Recommended article: Q4243299
description: scientific article; zbMATH DE number 91632