English

Motivic Landweber exact theories and their effective covers

Algebraic Geometry 2015-01-05 v2

Abstract

Let kk be a field of characteristic zero and let (F,R)(F,R) be a Landweber exact formal group law. We consider a Landweber exact TT-spectrum E:=RLMGL\mathcal{E}:=R\otimes_{\mathbb{L}}\text{MGL} and its effective cover f0EEf_0\mathcal{E}\to \mathcal{E} with respect to Voevodsky's slice tower. The coefficient ring R0R_0 of f0Ef_0\mathcal{E} is the subring of RR consisting of elements of RR of non-positive degree; the power series FR[[u,v]]F\in R[[u,v]] has coefficients in R0R_0 although (F,R0)(F,R_0) is not necessarily Landweber exact. We show that the geometric part Xf0E(X):=(f0E)2,(X)X\mapsto f_0\mathcal{E}^*(X):=(f_0\mathcal{E})^{2*,*}(X) of f0Ef_0\mathcal{E} is canonically isomorphic to the oriented cohomology theory XR0LΩ(X)X\mapsto R_0 \otimes_{\mathbb{L}} \Omega^*(X), where Ω\Omega^* is the theory of algebraic cobordism, as defined by Levine-Morel. This recovers results of Dai-Levine as the special case of algebraic KK-theory and its effective cover, connective algebraic KK-theory.

Keywords

Cite

@article{arxiv.1401.0284,
  title  = {Motivic Landweber exact theories and their effective covers},
  author = {Marc Levine},
  journal= {arXiv preprint arXiv:1401.0284},
  year   = {2015}
}

Comments

23 pages. Corrections to the proof of lemma 3.5 (formerly lemma 3.6). Proof of the main theorem 6.2 (formerly theorem 6.3) reorganised. Minor changes to the introduction and the proofs of proposition 3.8 and theorem 3.9. Some unnecessary material removed from sections 4 and 5. Title is changed: "connective" replaced by "effective". arXiv admin note: text overlap with arXiv:1212.0228