For complex orientations preserving power operations, p-typicality is atypical

DOI10.1016/J.TOPOL.2010.06.007MaRDI QIDQ989109zbMATH OpenOpenAlexFDO

Authors Niles Johnson, Justin Noel

Publication date 27 August 2010

Published in Topology and its Applications (Search for Journal in Brave)

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

zbMATH Keywords

Brown-Peterson spectrumcomplex cobordismH infinity orientationpower operations

Mathematics Subject Classification ID

Stable homotopy theory, spectra (55P42) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43)

Abstract: We show, for primes p less than or equal to 13, that a number of well-known MU_(p)-rings do not admit the structure of commutative MU_(p)-algebras. These spectra have complex orientations that factor through the Brown-Peterson spectrum and correspond to p-typical formal group laws. We provide computations showing that such a factorization is incompatible with the power operations on complex cobordism. This implies, for example, that if E is a Landweber exact MU_(p)-ring whose associated formal group law is p-typical of positive height, then the canonical map MU_(p) --> E is not a map of H_infty ring spectra. It immediately follows that the standard p-typical orientations on BP, E(n), and E_n do not rigidify to maps of E_infty ring spectra. We conjecture that similar results hold for all primes.

Review text

Let \(MU_{(p)}\) be the \(p\)-local complex cobordism spectrum for some prime \(p\leq 13\), and let \(E\) be a \(p\)-local ring spectrum with a complex orientation \(f: MU_{(p)}\to E\). Suppose that \(f\)~induces a \(p\)-typical formal group law, that \(f\)~induces a Landweber exact module structure, and that the cohomology ring~\(E^*\) is not \(p\)-divisible. The authors show that \(f\)~cannot be a map of \(H^\infty\) ring spectra; that is, \(f\)~does not preserve power operations. It follows that the standard \(p\)-typical orientations on \(BP\) and on \(E(n)\) and~\(E_n\) for \(n\geq 1\) do not rigidify to maps of \(E_\infty\) ring spectra. The authors conjecture that their results are valid for all primes.

Recommendations

• Exotic multiplications on periodic complex bordism
• Strictly commutative complex orientation theory
• \(E_{n}\) genera
• Universality of mod-p cohomology
• Commutative \(\mathbb S\)-algebras of prime characteristics and applications to unoriented bordism

Cites work

• \(H_{\infty}\) ring spectra and their applications
• A lower bound for coherences on the Brown-Peterson spectrum
• Cores of spaces, spectra, and \(E_\infty\) ring spectra
• Elementary proofs of some results of cobordism theory using Steenrod operations
• Equivariant stable homotopy theory. With contributions by J. E. McClure
• For complex orientations preserving power operations, \(p\)-typicality is atypical
• Homological Properties of Comodules Over MU ∗ (MU) and BP ∗ (BP)
• scientific article; zbMATH DE number 6533214 (Why is no real title available?)
• scientific article; zbMATH DE number 3484889 (Why is no real title available?)
• scientific article; zbMATH DE number 1223480 (Why is no real title available?)
• scientific article; zbMATH DE number 949383 (Why is no real title available?)
• scientific article; zbMATH DE number 2096986 (Why is no real title available?)
• scientific article; zbMATH DE number 2191967 (Why is no real title available?)
• Isogenies of formal group laws and power operations in the cohomology theories \(E_ n\)
• Minimal atomic complexes.
• On the formal group laws of unoriented and complex cobordism theory
• Products on 𝑀𝑈-modules
• Steenrod-Operationen in Kobordismen-Theorien
• Towers of MU-Algebras and the Generalized Hopkins–Miller theorem
• What precisely are $E_{\infty}$ ring spaces and $E_{\infty}$ ring spectra?

Cited in

(7)

• Secondary power operations and the Brown-Peterson spectrum at the prime \(2\)
• BP: close encounters of the \(E_\infty\) kind
• Lifting homotopy \(T\)-algebra maps to strict maps
• Calculating obstruction groups for 𝐸_{∞} ring spectra
• The Brown-Peterson spectrum is not \(\mathbb{E}_{2 (p^2 + 2)}\) at odd primes
• Strictly commutative complex orientation theory
• For complex orientations preserving power operations, \(p\)-typicality is atypical

Describes a project that uses

Uses Software

• SageMath

This page was built for publication: For complex orientations preserving power operations, \(p\)-typicality is atypical

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