Weil pairings and Morava K-theory

DOI10.1016/S0040-9383(99)00057-9MaRDI QIDQ1591433zbMATH OpenFDO

Authors Matthew Ando, Neil Strickland

Publication date 16 October 2001

Published in Topology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0040-9383(99)00057-9

zbMATH Keywords

biextensionscubical structureselliptic cohomologyMorava \(K\)-theoryWeil pairing

Mathematics Subject Classification ID

Formal groups, (p)-divisible groups (14L05) Generalized (extraordinary) homology and cohomology theories in algebraic topology (55N20)

Review text

The authors show that the \(E\)-homology of \(BU\langle 6 \rangle\) for a \(2\)-periodic Morava \(K\)-theory \(E_*\) can be described in terms of the geometry of cubical structures over \(G_E\), the formal group of \(E_*\). More precisely the authors show that the scheme \(\text{spec } E_0 BU\langle 6 \rangle\) can be identified with the scheme \(C^3(G_E,{\mathbb G}_m)\) of rigid cubical structures on the trivial \({\mathbb G}_m\)-torsor over \(G_E\), where \({\mathbb G}_m\) denotes the multiplicative formal group. The result also has been obtained by Hopkins and the two authors, who gave a proof of this result which even applies to a more general class of complex oriented spectra [\textit{M. J. Hopkins}, Proc. Internat. Congr. Math. ICM `94, 554-565 (1995; Zbl 0848.55002), Theorem 6.1]. While the proof of Hopkins and the two authors is rather computational and mainly uses inputs from stable homotopy theory, the new proof presented in this paper is more conceptual in the sense that it makes much closer contact with the work of algebraic geometers on the theory of bi-extensions [\textit{D. Mumford}, Algebr. Geom., Bombay Colloq. 1968, 307-322 (1969; Zbl 0216.33101)]. The heart of the proof consists of a map of short exact sequences of schemes which in the end identifies the short exact sequence of schemes \(\text{spec } E_0 BSU \to \text{spec } E_0 BU\langle 6 \rangle \to \text{spec } E_0 K({\mathbb Z}, 3)\) with a corresponding exact sequence of schemes which naturally arises from the formal group \(G_E\). In particular this leads to a description of \(\text{spec } E_0 K({\mathbb Z},3)\) in terms of Weil pairings. The paper under consideration should be regarded as part of a long still ongoing project of Hopkins and the two authors, in which they investigate the relations between elliptic cohomology and the algebraic geometry around the theorem of the cube [M. J. Hopkins, loc. cit.].

Recommendations

• Elliptic spectra, the Witten genus and the theorem of the cube
• Algebraic Morava K-theories
• Dieudonné modules and \(p\)-divisible groups associated with Morava \(kK\)-theory of Eilenberg-Mac Lane spaces
• scientific article; zbMATH DE number 849990
• On Morava K-Theories of Chevalley Groups

Cited in

(12)

• \(K\)-theory of the Weil transfer functor
• Cannibalistic classes of string bundles
• Formal completion of the Jacobians of plane curves and higher real K-theories
• Norm coherence for descent of level structures on formal deformations
• Representation and character theory in 2-categories
• Multicurves and equivariant cohomology
• scientific article; zbMATH DE number 4205391 (Why is no real title available?)
• scientific article; zbMATH DE number 3961806 (Why is no real title available?)
• Zariski Pairs of Index 19 and Mordell-Weil Groups of K 3 Surfaces
• Cocycle schemes and 𝑀𝑈[2𝑘,∞)–orientations
• A classification of additive symmetric 2-cocycles
• Wilson spaces, Snaith constructions, and elliptic orientations

This page was built for publication: Weil pairings and Morava \(K\)-theory

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