nLab Goerss-Hopkins-Miller theorem

Redirected from "Goerss-Hopkins-Miller-Lurie theorem".
Note: Goerss-Hopkins-Miller theorem and Goerss-Hopkins-Miller theorem both redirect for "Goerss-Hopkins-Miller-Lurie theorem".
Contents

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Higher geometry

Higher algebra

Contents

Idea

The Goerss-Hopkins-Miller theorem (Goerss-Hopkins A, Goerss-Hopkins B) also called now the Goerss-Hopkins-Miller-Lurie theorem (Lurie (Survey), Lurie (Representability)) as such establishes that the assignment to each elliptic curve of its elliptic cohomology theory lifts in a coherent way to an assignment of the representing spectra regarded as E-∞ rings. In summay this makes for a structure sheaf 𝒪 der\mathcal{O}_{\mathcal{M}^{der}} of the moduli stack of elliptic curves in derived algebraic geometry, realizing that moduli stack as a derived scheme der\mathcal{M}^{der} in E-∞ geometry (“spectral geometry”) This is sketched in (Lurie) and discussed in detail in (Behrens 13).

In detail the theorem utilizes and establishes more general tools concerning the obstruction theory of lifting formal group laws to cohomology theories and homotopy associative/commutative spectra to A-∞ rings and to E-∞ ring structure, respectively.

In the succinct and suggestive form of (Lurie, theorem 1.1) the Goerss-Hopkins-Miller theorem leads the existence of the lift 𝒪 top\mathcal{O}_{\mathcal{M}^{top}} in the diagram

E Rings 𝒪 der Brownrepresentation (R) MCTs, \array{ && E_\infty Rings \\ &{}^{\mathllap{\mathcal{O}_{\mathcal{M}^{der}}}}\nearrow& \downarrow^{\mathrlap{Brown\;representation}} \\ \mathcal{M}(R) &\longrightarrow& MCTs } \,,

where the bottom map sends (derived) elliptic curves over a ring RR to their associated elliptic multiplicative cohomology theory (“MTC”) and where the right vertical map sends a spectrum to the cohomology theory which it represents.

Hopkins-Miller theorem

For nn \in \mathbb{N}, consider the category whose objects are pairs consisting of a perfect field kk of finite characteristic and of a formal group of height nn, and whose morphisms are base change of fields (as rings).

The Hopkins-Miller theorem says that there is a functorial assignment (k,Γ)E k,Γ(k,\Gamma) \mapsto E_{k,\Gamma} to such data of an A-∞ ring spectrum E k,ΓE_{k,\Gamma} such that

  1. π 2E k,Γ\pi_2 E_{k,\Gamma} contains a unit and π 2n+1E k,Γ=0\pi_{2n+1} E_{k,\Gamma} = 0, hence in particular E k,ΓE_{k,\Gamma} is complex orientable;

  2. the corresponding formal group law over π 0E k,Γ\pi_0 E_{k,\Gamma} is the universal deformation of (k,Γ)(k,\Gamma).

In this form this appears as (Rezk 97, theorem 2.1).

Goerss-Hopkins theorem

(…)

this appears reproduced as (Behrens 13, theorem 4.2)

Lurie theorem

By (Lurie (Survey), theorem 4.1), the spectral Deligne-Mumford stack refinement ( ell,𝒪 top)(\mathcal{M}_{ell}, \mathcal{O}^{top}) of the moduli stack of elliptic curves is the moduli stack of derived elliptic curves, in that there is a natural equivalence in E-∞ rings AA of the form

Hom(Spec(A),( ell,𝒪 der))E(A), Hom(Spec(A), (\mathcal{M}_{ell},\mathcal{O}^{der})) \simeq E(A) \,,

where on the left we have maps of structured (∞,1)-toposes and on the right the ∞-groupoid of derived elliptic curves over AA.

This is based on the Artin-Lurie representability theorem (Lurie (Survey), prop. 4.1, Lurie (Representability)).

Substructure of the moduli stack of curves and the (equivariant) cohomology theory associated with it via the Goerss-Hopkins-Miller-Lurie theorem:

coveringby of level-n structures (modular curve)
*=Spec()\ast = Spec(\mathbb{Z})\toSpec([[q]])Spec(\mathbb{Z}[ [q] ])\to ell¯[n]\mathcal{M}_{\overline{ell}}[n]
structure group of covering /2\downarrow^{\mathbb{Z}/2\mathbb{Z}} /2\downarrow^{\mathbb{Z}/2\mathbb{Z}} SL 2(/n)\downarrow^{SL_2(\mathbb{Z}/n\mathbb{Z})} (modular group)
moduli stack 1dTori\mathcal{M}_{1dTori}\hookrightarrow Tate\mathcal{M}_{Tate}\hookrightarrow ell¯\mathcal{M}_{\overline{ell}} (M_ell)\hookrightarrow cub\mathcal{M}_{cub}\to fg\mathcal{M}_{fg} (M_fg)
of1d toriTate curveselliptic curvescubic curves1d commutative formal groups
value 𝒪 Σ top\mathcal{O}^{top}_{\Sigma} of structure sheaf over curve Σ\SigmaKUKU[[q]]KU[ [q] ]elliptic spectrumcomplex oriented cohomology theory
spectrum Γ(,𝒪 top)\Gamma(-, \mathcal{O}^{top}) of global sections of structure sheaf(KO \hookrightarrow KU) = KR-theoryTate K-theory (KO[[q]]KU[[q]]KO[ [q] ] \hookrightarrow KU[ [q] ])(Tmf \to Tmf(n)) (modular equivariant elliptic cohomology)tmf𝕊\mathbb{S}

References

An introduction to and survey of the Goerss-Hopkins-Miller-Lurie theorem is in

  • Paul Goerss, Topological modular forms (after Hopkins, Miller, and Lurie) Séminaire BOURBAKI Mars 2009 61ème année, 2008-2009, no 1005(2009)(arXiv:0910.5130)

which has grown out of

Details on the Hopkins-Miller theorem are in

and a survey is also in

The Goerss-Hopkins theorem is laid out in

The actual details of the application of the Goerss-Hopkins-Miller theorem to the construction of 𝒪 der\mathcal{O}_{\mathcal{M}^{der}} (and hence of tmf) is in

An exposition with indications of further developments in (infinity,1)-category theory is in

  • Aaron Mazel-Gee, Goerss-Hopkins obstruction theory for \infty-categories, November 2013 (pdf)

See also at survey of elliptic curves – Gluing of curves to a spectrum

A more abstract formulation of this is sketched in

with technical details in a sequence of articles, including

Last revised on November 17, 2020 at 13:08:49. See the history of this page for a list of all contributions to it.