Table of Contents
Fetching ...

Wilson Spaces, Snaith Constructions, and Elliptic Orientations

Hood Chatham, Jeremy Hahn, Allen Yuan

Abstract

We construct a canonical family of even periodic $\mathbb{E}_{\infty}$-ring spectra, with exactly one member of the family for every prime $p$ and chromatic height $n$. At height $1$ our construction is due to Snaith, who built complex $K$-theory from $\mathbb{CP}^{\infty}$. At height $2$ we replace $\mathbb{CP}^{\infty}$ with a $p$-local retract of $\mathrm{BU} \langle 6 \rangle$, producing a new theory that orients elliptic, but not generic, height $2$ Morava $E$-theories. In general our construction exhibits a kind of redshift, whereby $\mathrm{BP}\langle n-1 \rangle$ is used to produce a height $n$ theory. A familiar sequence of Bocksteins, studied by Tamanoi, Ravenel, Wilson, and Yagita, relates the $K(n)$-localization of our height $n$ ring to work of Peterson and Westerland building $E_n^{hS\mathbb{G}^{\pm}}$ from $\mathrm{K}(\mathbb{Z},n+1)$.

Wilson Spaces, Snaith Constructions, and Elliptic Orientations

Abstract

We construct a canonical family of even periodic -ring spectra, with exactly one member of the family for every prime and chromatic height . At height our construction is due to Snaith, who built complex -theory from . At height we replace with a -local retract of , producing a new theory that orients elliptic, but not generic, height Morava -theories. In general our construction exhibits a kind of redshift, whereby is used to produce a height theory. A familiar sequence of Bocksteins, studied by Tamanoi, Ravenel, Wilson, and Yagita, relates the -localization of our height ring to work of Peterson and Westerland building from .

Paper Structure

This paper contains 23 sections, 53 theorems, 218 equations.

Key Result

Theorem 1.3

The ring $R$ has torsion-free homotopy groups concentrated in even degrees. In particular, $R$ is complex orientable.

Theorems & Definitions (145)

  • Theorem 1.3
  • Theorem 1.4
  • Theorem 1.5
  • Remark 1.6
  • Remark 1.7
  • Definition 1.11
  • Remark 1.12
  • Theorem 1.13
  • Theorem 1.14
  • Definition 1.15
  • ...and 135 more