Odd primary analogs of real orientations

Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43) Equivariant homotopy theory in algebraic topology (55P91) Relations between equivariant and nonequivariant homotopy theory in algebraic topology (55P92)

Abstract: We define, in

C_{p}

-equivariant homotopy theory for

p > 2

, a notion of

m u_{p}

-orientation analogous to a

C_{2}

-equivariant Real orientation. The definition hinges on a

C_{p}

-space

m a t h b b {C P}_{m u_{p}}^{i n f t y}

, which we prove to be homologically even in a sense generalizing recent

C_{2}

-equivariant work on conjugation spaces. We prove that the height

p - 1

Morava

E

-theory is

m u_{p}

-oriented and that

m a t h r m t m f (2)

is

m u_{3}

-oriented. We explain how a single equivariant map

v_{1}^{m u_{p}} : S^{2 h o} o S i g m a^{i n f t y} m a t h b b {C P}_{m u_{p}}^{i n f t y}

completely generates the homotopy of

E_{p - 1}

and

m a t h r m t m f (2)

, expressing a height-shifting phenomenon pervasive in equivariant chromatic homotopy theory.

Review text

In this article, beginning with the third author's construction of a \(C_p\)-equivariant space \({\mathbb C}{\mathbb P}^\infty_{\mu_p}\) for odd primes \(p\) analogous to the infinite complex projective space \({\mathbb C} {\mathbb P}^\infty\) with a \(C_2\)-action by complex conjugation, the authors study the equivariant, chromatic (multiplicatively unstructured) orientation theory associated with this space along the lines of the case when \(p = 2\), the latter being central to the recent developments following Hill, Hopkins, and Ravenel's solution of the Kervaire invariant one problem. Specifically, they establish such orientability for the \(C_p\)-equivariant Morava \(E\)-theory \(E_{p-1}\) associated to the Honda formal group, with the \(C_p\)-action given by a choice of an order-\(p\) element in the Morava stabilizer group, as well as for the \(C_3\)-equivariant 3-local connective ring spectrum \(\mathrm{tmf}(2)\) of topological modular forms with level-\(\Gamma(2)\) structure, on which \(C_3 \subset \Sigma_3 \cong \mathrm{SL}_2({\mathbb F}_2)\) acts naturally. Moreover, given each of these equivariant spectra, the authors show generation for their equivariant homotopy groups by a single ``equivariant \(v_1\)-self map as a norm. They also examine suitably defined notions of homotopical and homological evenness and their relationship to orientations. The article contains a list of questions for further investigation, notably, equivariant analogues for the complex cobordism and Brown-Peterson spectra and their orientations, which originally motivated this work with \({\mathbb C} {\mathbb P}^\infty\).

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Odd primary analogs of real orientations

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