Semistable models for modular curves and power operations for Morava E-theories of height 2

DOI10.1016/J.AIM.2019.106758MaRDI QIDQ2324593zbMATH OpenOpenAlexWikidataFDO

Authors Yifei Zhu

Publication date 11 September 2019

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1508.03358

zbMATH Keywords

elliptic curvesmodular curvesMorava E-theoriespower operations

Mathematics Subject Classification ID

Families, moduli of curves (algebraic) (14H10) Bordism and cobordism theories and formal group laws in algebraic topology (55N22) (K)-theory operations and generalized cohomology operations in algebraic topology (55S25)

Abstract: We construct an integral model for Lubin-Tate curves as moduli of finite subgroups of formal deformations over complete Noetherian local rings. They are p-adic completions of the modular curves X_0(p) at a mod-p supersingular point. Our model is semistable in the sense that the only singularities of its special fiber are normal crossings. Given this model, we obtain a uniform presentation for the Dyer-Lashof algebra of Morava E-theories at height 2 as local moduli of power operations in elliptic cohomology.

Review text

This article proves a result about power operations in algebraic topology by means of a new result in arithmetic geometry. \(E_{\infty}\)-ring spectra in algebraic topology are a refinement of multiplicative cohomology theories that additionally allows for a theory of power operations. For \(H\mathbb{F}_p\) these are given by Dyer-Lashof operations. Lubin-Tate theories are further examples of \(E_{\infty}\)-ring spectra of paramount importance in chromatic homotopy theory and depend on the choice of height and prime. The theory of power operations for Lubin-Tate theories has been developed first by Ando, Hopkins and Strickland and has been brought into a rather definitive abstract form by Rezk. For computations one needs to bring the theory in a more concrete form though, i.e.\ provide generators and relations for the ring of power operations and describe explicitly the error terms arising when commuting power operations (the analogue for \(H\mathbb{F}_p\) being the Adem relations). This concrete form is not difficult to obtain at height \(1\), and at height \(2\) has mostly been provided by Rezk and Zhu at the primes \(2\), \(3\) and \(5\). The paper under review extends this to a uniform and complete presentation at height \(2\) and all primes. The problem has already earlier been translated into arithmetic geometry and the key is to provide good equations for the moduli of degree \(p\) and \(p^2\) subgroups of the universal deformation of a height \(2\) formal group over \(\mathbb{F}_{p^n}\). The author uses the theory of moduli of elliptic curves to do this. The work of \textit{M. Behrens} and \textit{C. Rezk} [Invent. Math. 220, No. 3, 949--1022 (2020; Zbl 1444.55003)] provides a bridge between power operations for Lubin-Tate theories and unstable chromatic homotopy theory and the present work has already successfully been applied to the latter in [\textit{Y. Zhu}, Proc. Am. Math. Soc. 146, No. 1, 449--458 (2018; Zbl 1422.55032)].

Recommendations

• Semistable models for modular curves of arbitrary level
• The Hecke algebra action and the Rezk logarithm on Morava E-theory of height 2
• Explicit construction of semi-stable models of Lubin-Tate curves with low level
• Stable models of Lubin-Tate curves with level three
• Modular isogeny complexes

Cites work

• \(H_{\infty}\) ring spectra and their applications
• A survey of elliptic cohomology
• Analytic continuation of overconvergent eigenforms
• Arithmetic Moduli of Elliptic Curves. (AM-108)
• Finite subgroups of formal groups
• Finiteness results for modular curves of genus at least 2
• Formal moduli for one-parameter formal Lie groups
• Global homotopy theory
• Hecke operators on \(\Gamma_0(m)\)
• scientific article; zbMATH DE number 3425708 (Why is no real title available?)
• scientific article; zbMATH DE number 2152592 (Why is no real title available?)
• scientific article; zbMATH DE number 6164023 (Why is no real title available?)
• scientific article; zbMATH DE number 3252949 (Why is no real title available?)
• Isogenies of formal group laws and power operations in the cohomology theories \(E_ n\)
• Les Schémas de Modules de Courbes Elliptiques
• Localization with Respect to Certain Periodic Homology Theories
• Modular isogeny complexes
• Morava \(E\)-homology of Bousfield-Kuhn functors on odd-dimensional spheres
• Morava \(E\)-theory of symmetric groups
• Nilpotence and Periodicity in Stable Homotopy Theory. (AM-128)
• Nilpotence and stable homotopy theory. I
• Nilpotence and stable homotopy theory. II
• Norm coherence for descent of level structures on formal deformations
• On the formal group laws of unoriented and complex cobordism theory
• On values of a modular form on Γ₀(N)
• Periodic phenomena in the Adams-Novikov spectral sequence
• Power operations in elliptic cohomology and representations of loop groups
• Quasi-elliptic cohomology and its power operations
• Semistable models for modular curves of arbitrary level
• Sur les groupes de Lie formels à un paramètre
• The Arithmetic of Elliptic Curves
• The arithmetic of the values of modular functions and the divisors of modular forms
• The Bousfield-Kuhn functor and topological André-Quillen cohomology
• The congruence criterion for power operations in Morava \(E\)-theory
• The Hecke algebra action and the Rezk logarithm on Morava E-theory of height 2
• The power operation structure on Morava \(E\)-theory of height 2 at the prime 3
• The sigma orientation is an H [infinity] map
• The theta-operator and the divisors of modular forms on genus zero subgroups
• Topological modular forms of level 3

Cited in

(15)

• Isogenies of formal group laws and power operations in the cohomology theories \(E_ n\)
• Norm coherence for descent of level structures on formal deformations
• Power operations and coactions in highly commutative homology theories
• The power operation structure on Morava \(E\)-theory of height 2 at the prime 3
• Stable models of Lubin-Tate curves with level three
• Semistable models for modular curves of arbitrary level
• Explicit construction of semi-stable models of Lubin-Tate curves with low level
• Modular isogeny complexes
• The Hecke algebra action and the Rezk logarithm on Morava E-theory of height 2
• A relative Lubin-Tate theorem via higher formal geometry
• Lubin-Tate theory, character theory, and power operations
• Isogenies, power operations, and homotopy theory
• Algebraic theories of power operations
• Mod 2 power operations revisited
• The Lubin-Tate theory of configuration spaces. I

This page was built for publication: Semistable models for modular curves and power operations for Morava E-theories of height 2

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