James bundles

From MaRDI portal



Abstract: We study cubical sets without degeneracies, which we call square sets. These sets arise naturally in a number of settings and they have a beautiful intrinsic geometry; in particular a square set C has an infinite family of associated square sets J^i(C), i=1,2,..., which we call James complexes. There are mock bundle projections p_i:|J^i(C)|-->|C| (which we call James bundles) defining classes in unstable cohomotopy which generalise the classical James--Hopf invariants of Omega(S^2). The algebra of these classes mimics the algebra of the cohomotopy of Omega(S^2) and the reduction to cohomology defines a sequence of natural characteristic classes for a square set. An associated map to BO leads to a generalised cohomology theory with geometric interpretation similar to that for Mahowald orientation [M Mahowald, Ring Spectra which are Thom complexes, Duke Math. J. 46 (1979) 549--559] and [B Sanderson, The geometry of Mahowald orientations, SLN 763 (1978) 152--174].


The present paper performs a wide and accurate study of the so called square sets, which are cubical sets without degeneracies, first introduced by the same authors in [Appl. Categ. Struct. 3, No. 4, 321--356 (1995; Zbl 0853.55021)] through the concept of a trunk. In particular, for each square set \(C\), the authors introduce an infinite family of associated square sets \(J^i(C)\), for \(i\in \mathbb N\), which are called James complexes. On the other hand, James complexes \(J^i(C)\) define a sequence of mock bundles with base \(C\), called James bundles, which have a have a strong connection with classical James-Hopf invariants: in fact, they define classes in unstable cohomotopy which generalize classical James-Hopf invariants of \(\Omega(S^2)\). Further, the paper examines the algebra generated by the James classes in stable cohomotopy and in cohomology; natural characteristic classes for a square set are so defined, whose mod 2 reductions are pulled back from both the Stiefel-Whitney and the Wu classes of BO. Finally, the map to BO is used to define the concept of a square-set orientation for a manifold; this leads to a generalized (co)-homology theory, which has a geometric interpretation close to that for Mahowald orientation [see \textit{M. Mahowald}, Duke Math. J. 46, 549--559 (1979; Zbl 0418.55012)] given by the third author in [Algebraic topology, Proc. Symp., Aarhus 1978, Lect. Notes Math. 763, 152--174 (1979; Zbl 0423.57011)].




Cited in
(55)








This page was built for publication: James bundles

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