Pith. sign in

REVIEW 5 major objections 4 minor 72 references

Spectral moduli problems for level structures and an integral Jacquet-Langlands dual of Morava E-theory

T0 review · 5 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Spectral level structures build an integral Jacquet-Langlands dual of Morava E-theory.

desk verdict The representability core is a genuine step forward, but Section 5's descent claims—the abutment of (5.3) and the Galois chain in Theorem 5.8—are unsupported, and Remark 4.18 contradicts Proposition 5.7. read the letter →

arxiv 2509.00690 v1 pith:2LYRAQLI submitted 2025-08-31 math.AT math.AGmath.NTmath.RT

Xuecai Ma , Yifei Zhu This is my paper
classification math.ATmath.AGmath.NTmath.RT MSC 55P4314L0514A2011S37
keywords derivedlevelstructuresspectralalgebraicgeometryCartierdivisorsLubin-TatetowerJacquet-LanglandsMoravaE-theoryhomotopyfixedpointsequencep-divisiblegroups
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper builds a spectral (higher-categorical) version of the arithmetic theory of level structures and uses it to construct new structured ring spectra. It defines relative effective Cartier divisors for spectral Deligne-Mumford stacks and proves the functor of such divisors is representable, which makes it possible to define derived level structures on spectral elliptic curves and on spectral p-divisible groups and to prove the associated moduli problems are representable. In particular, the oriented deformation problem with level-(Z/p^r Z)^h structure is corepresented by an E∞-ring JL_r whose π_0 is finite over the oriented deformation ring; these are the finite levels of a Lubin-Tate tower in spectra. Passing to the infinite level and descending along the Drinfeld tower, the paper defines a Jacquet-Langlands dual of Morava E-theory and a strongly convergent homotopy fixed point spectral sequence converging to the homotopy of the K(h)-local sphere. The point of the package is a new, integral route from p-adic group cohomology to higher-periodic stable homotopy.

What carries the argument

The central object is a relative effective Cartier divisor in spectral algebraic geometry: a closed immersion D → X that is flat, proper, and locally almost of finite presentation, with ideal sheaf a line bundle. The proof of its representability checks the five criteria of the spectral Artin representability criterion; the delicate part is the cotangent complex computation, which pins first-order deformations to square-zero extensions. Derived level structures are then divisors whose underlying classical part is an A-structure; this formulation is what lets the level divide the prime, since it avoids étaleness. At the top level, the mechanism is a tower of E∞-rings JL_r corepresenting orien

What would settle it

Compute the spectral sequence (5.3) at height h=1, where the K(1)-local sphere and the group GL_1(Z_p) are completely understood; if the abutment is not the known homotopy of the K(1)-local sphere, the descent claim is false. A sharper check: verify that π_0 of the first level JL_1 is finite flat over the oriented deformation ring with the rank predicted by the classical Lubin-Tate tower.

Watch

Extended reading notes

Core claim

Classical level-structure moduli are claimed to survive integrally in spectral algebraic geometry: a level structure is a relative effective Cartier divisor (a flat, proper closed immersion with line-bundle ideal sheaf) plus a classical level structure on the underlying heart. The paper proves these divisor functors, the derived level-structure functors, and the absolute moduli of spectral elliptic curves with level structure are representable. For deformations of a fixed p-divisible group, the oriented functor with derived level structure is corepresented by an E∞-ring JL_r, with π_0 finite over the oriented deformation ring; the limit JL carries a GL_h(Z_p)-action, and homotopy fixed point

Load-bearing premise

The tower isomorphism used to identify homotopy fixed points with the K(h)-local sphere is only known on generic fibers of the two towers as rigid spaces, not as an integral statement about spectra; if that identification fails, the new spectral sequence does not converge to the sphere.

Editorial extensions

If this is right

  • Finite levels of the Lubin-Tate tower exist as E∞-ring spectra, refining the known spectral realization of the ground-level deformation ring.
  • The moduli stack of spectral elliptic curves with derived level structure exists as a spectral Deligne-Mumford stack, so level structures can be studied without inverting the level.
  • Non-full (Γ_1/Γ_0-type) derived level structures produce E∞-spectra whose π_0 recovers the power operation rings of Morava E-theory.
  • The Jacquet-Langlands dual LE_h is an E∞-ring, and the resulting homotopy fixed point spectral sequence is a computational route to the homotopy of the K(h)-local sphere.
  • These spectra suggest a topological realization of the Jacquet-Langlands correspondence and of categorical local Langlands phenomena in stable homotopy.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the descent in Section 5 is given a fully spectral proof, the same package would produce an integral refinement of the classical Lubin-Tate/Drinfeld equivalence, not just a generic-fiber one.
  • The divisor method should adapt to oriented elliptic curves, yielding topological modular forms with level structure without inverting the level; the paper notes this variant but leaves the details out.
  • At height 1, the spectral sequence (5.3) should be explicitly computable and would provide a sharp test of the descent claim; the paper does not perform this check.
  • The proposed Serre-type spectral sequence in Section 5.3.1 could convert the abstract E∞-rings JL_r into explicit higher homotopy groups, but it is left as a conjecture.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

5 major / 4 minor

Summary. The paper develops a spectral-algebraic-geometric theory of relative effective Cartier divisors and derived level structures, and applies it to construct higher-homotopical refinements of Lubin–Tate towers and to propose an integral Jacquet–Langlands dual of Morava E-theory. Theorems 2.17, 3.6, 3.19, 4.6, 4.12, and 4.17 form the technical core: they assert representability of moduli functors for divisors and level structures on spectral elliptic curves and p-divisible groups, corepresentability of oriented deformation functors with level structure by E-infinity rings JLr, and topological lifts of Strickland's power-operation rings. Section 5 then defines an infinite-level Jacquet–Langlands spectrum JL, sets LEh = JL^{hGh}, claims Galois towers involving S_{K(h)}, Eh, and JLr, and derives a Devinatz–Hopkins-dual homotopy fixed point spectral sequence (Prop. 5.9) converging to the K(h)-local sphere.

Significance. If the representability results hold, they constitute a substantial contribution to spectral algebraic geometry and chromatic homotopy theory: they provide a genuine derived approach to level structures that does not invert the level, and they offer a new method for constructing E-infinity ring spectra from Lubin–Tate-type moduli problems. The relative effective Cartier divisor representability theorem (Thm. 2.17) is a useful structural result in its own right and would generalize Lurie's spectral Artin representability applications. The proposed spectral sequence of Prop. 5.9, if its abutment were established, would be a valuable new computational tool. However, the paper's advertised Jacquet–Langlands dual is not actually proved: the passage from the perfectoid rigid-space isomorphism (5.2) to a spectral or integral descent is missing, and the Galois arguments in Section 5 sit in tension with Remark 4.18. The significance of the paper is therefore conditional on substantial repair of the Section 5 claims.

major comments (5)
  1. [§5.2, Proposition 5.9 (esp. eq. (5.3))] The proof invokes the profinite homotopy fixed point spectral sequence, which converges to π_{t-s}(LEh^{hGLh(Zp)}). The asserted abutment π_{t-s} S_{K(h)} therefore requires an equivalence (LEh)^{hGLh(Zp)} ≃ S_{K(h)}. The only cited evidence is (5.2), an isomorphism of perfectoid rigid spaces over the generic fiber; Remark 5.6 explicitly defers the spectral realization of LEh to future work. No argument lifts this isomorphism to an equivalence of spectral DM stacks or E∞-ring spectra carrying the GLh(Zp) × Gh actions. Thus the target of (5.3) is not identified as the K(h)-local sphere.
  2. [§5.2, Theorem 5.8 and Proposition 5.7, contrasted with Remark 4.18] Proposition 5.7 states that JLr is a GLh(Z/prZ)-Galois extension of Ror_{G0}. By Definition 5.5 and §5.3.1, JL0 = Eh = Ror_{G0}. Then JLr is an Eh-algebra, and in a finite Galois extension it is a dualizable (finite) Eh-module, hence K(h)-local. Remark 4.18, however, explicitly asserts that the JLr of Theorem 4.12 with r > 0 are not K(h)-local and are not finite algebras over Eh. If 'Ror' in Proposition 5.7 is instead meant to be the underlying discrete Lubin–Tate ring, then the E∞-map Eh → JLr has not been constructed. Either reading leaves the Galois tower S_{K(h)} → Eh → JLr and the proof of Theorem 5.8 unsupported.
  3. [§2.2, Lemma 2.20] The nilcompleteness proof is compressed at the essential surjectivity step. After obtaining D from the system {Dn} via [Lur18c, Prop. 19.4.1.2], the proof asserts, rather than proves, that D → X is a closed immersion and that its ideal sheaf is a line bundle. The sentence 'Since τ≤n+1S → B′_{n+1} is flat' does not have a clear meaning as written, and the construction of the spectrum B′ with Spét τ≤nB′ ≃ SpétB′_n is not justified in detail. The subsequent appeal to nilcompleteness of the Picard functor also presupposes that the limit ideal is almost perfect. This step is load-bearing for criterion (3) of Theorem 2.10 and hence for Theorem 2.17.
  4. [§2.2, Lemma 2.24] The proof that the cotangent complex LCDivE/R is connective reduces to an assertion in classical algebraic geometry about automorphisms of a line bundle over a square-zero extension, which is dismissed with 'This can be proved, mutatis mutandis, as in the last part of [Lur18a, proof of Proposition 2.2.6].' No proof is supplied, and the statement is not a formal consequence of the cited reference as written. The preceding identification Fη(M) ≃ Map(Σ^{-1}p+(η+L_{D/(E×R S)}), M) also needs a check of the pushforward and base-change compatibilities. Since Lemma 2.24 supplies criterion (4) of Theorem 2.10, the proof should be completed.
  5. [§4.2, Theorems 4.10 and 4.12] The functor Def^r_{G0} (and Def^{or,r}_{G0}) is defined on CAlgad_cpl, the ∞-category of adically complete E∞-rings. Theorem 3.19 gives a representing object in connective R-algebras, but the proof does not show that the resulting E∞-ring P^r lies in CAlgad_cpl, nor that corepresentability on the full subcategory CAlgad_cpl follows from representability on CAlgcn_R. The finiteness of π0 over the complete local ring is not obviously sufficient for adic completeness of the E∞-ring. This affects the definition of JLr and the later applications that depend on its adic structure.
minor comments (4)
  1. [Abstract and Introduction] There are several LaTeX/typographical artifacts, e.g. 'Sp´ etR' in the abstract and the garbled display 'X GLh(OK) || O×D' in Section 1. Please re-typeset these.
  2. [§1, diagram after Proposition 5.3] The diagram names 'LT K H' and 'MLT∞ ≃ MDr∞' are hard to parse; labels for the arrows and objects would improve readability.
  3. [§2.1, Lemma 2.9] The notation U^0_i and U_i is confusing; please define the étale cover more explicitly and check the superscript formatting.
  4. [§4.3, Theorem 4.17] The notation Eh,r is dangerously close to Eh; consider a distinct symbol to avoid confusion, especially because these spectra are not K(h)-local.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction found; Section 5's S_{K(h)} abutment is unsupported but not circular.

full rationale

The paper's core derivation chain (Theorem 2.17 -> Theorems 3.6/3.19 -> Theorems 4.6/4.12) is not circular. Theorem 2.17 is proved by verifying Lurie's spectral Artin representability criteria, with explicit cotangent-complex and étale-descent arguments. The level-structure representability results reduce to the representable Cartier-divisor functor plus classical Katz-Mazur results. Theorem 4.12 is a direct application of Lurie's corepresentability of oriented deformations and Theorem 3.19. The π0 identifications (JLr recovers finite Lubin-Tate levels, Eh,r recovers Ar) are explicitly labeled 'by construction' (Remark 4.13 and Theorem 4.17), not fitted parameters passed off as predictions. The self-citations [Zhu14, Zhu19, Zhu20] are not load-bearing: they reformulate or compute Strickland's external results. The real weakness is in Section 5: Proposition 5.9's proof invokes the general homotopy fixed point spectral sequence, which abuts to π_* LEh^{hGLh(Zp)}, and the identification with π_* S_{K(h)} is asserted only 'in view of (5.2)', an isomorphism of perfectoid rigid spaces over generic fibers. Remark 5.6 explicitly defers the spectral realization of LEh to future work, and Theorem 5.8 asserts a Galois chain SK(h) → Eh → JLr that is not derived from the stated premises. These are serious correctness gaps, but not circular reductions: the target sphere is not an input to the definition of LEh, and no equation is made true by construction. Therefore no circular step is identified; the low non-zero score reflects minor non-load-bearing self-citation and acknowledged gaps, not circularity.

Assumptions & free parameters 0 free parameters · 7 assumptions · 4 invented entities

The paper trades heavily on external machinery: Lurie's spectral Artin criterion and SAG foundations, Goerss-Hopkins-Miller-Lurie for the ground level, Katz-Mazur for classical level structures, Fargues-Genestier-Lafforgue and Scholze-Weinstein for the tower isomorphism, Rognes for Galois extensions, and Quick for profinite homotopy fixed points. None of this is circular in the sense of the derivation reducing to its input. The genuinely fragile entry is the integral descent along the Drinfeld tower, on which the headline spectral sequences depend, and the compressed classical-reduction steps inside Lemmas 2.9, 2.20, and 2.24.

assumptions (7)
  • standard math Lurie's spectral Artin representability theorem (Theorem 2.10, [Lur18c, Theorem 18.3.0.1])
    The proofs of Theorems 2.17, 3.6, 3.19, 4.6, 4.10, and 4.12 are checklists of its five criteria; the paper cites it without proof, which is appropriate, but it is the engine of every central result.
  • standard math Representability of the relative Picard functor (Theorem 2.11, [Lur18c, Theorem 19.2.0.5]) under flat, proper, locally almost of finite presentation, geometrically reduced, and geometrically connected hypotheses
    Used in Lemma 2.23 and in the proof of Theorem 2.17; the geometric-reducedness and connectedness hypotheses are inherited by Theorem A and restrict the class of spectral algebraic spaces covered.
  • standard math Goerss-Hopkins-Miller-Lurie theorem: ground-level spectral deformation rings and Morava E-theory as E-infinity rings (via [Lur18b])
    Supplies JL0 = Eh and the base of the tower; the paper generalizes this to higher levels rather than reproving it.
  • standard math Katz-Mazur theory of level structures, full sets of sections, and incidence schemes ([KM85])
    Definitions 3.2, 3.12, and 3.17 are spectral lifts of [KM85] level structures; Propositions 3.4, 3.9, and [KM85, 1.6.5] provide the classical incidence and representability facts that the spectral arguments reduce to.
  • domain assumption Lifting of étale covers and constancy from pi0-truncations: Lemma 2.9, citing [Lur17, Theorem 7.5.1.11]
    Used to show fib(fN) is an étale-locally constant sheaf when N is invertible in pi0R (end of Lemma 2.8). The proof is compressed and contains an unexpanded 'without loss of generality' step.
  • ad hoc to paper The equivariant Lubin-Tate and Drinfeld tower isomorphism descends integrally to spectra, giving JL^{h(GLh(Zp) x Gh)} ≃ S_{K(h)}
    Invoked in the proof of Proposition 5.9 (Section 5.2) via equation (5.2). The cited isomorphism of towers (FGL08, SW13) is over the generic fiber (perfectoid and rigid); its integral descent to spectra is not proved anywhere in the paper and is the load-bearing premise for the claimed abutment of (5.3).
  • domain assumption Rognes' Galois extension calculus, in particular [Rog08, Theorem 5.4.4(d)], applies to the chain S_{K(h)} → Eh → JLr
    Used in the proof of Theorem 5.8 to conclude that JLr is a profinite Galois extension spectrum. The paper does not check the hypotheses, and Remark 4.18 states that JLr is neither K(h)-local nor complex oriented, making the status of this chain non-obvious.
invented entities (4)
  • JLr, the Jacquet-Langlands spectrum of level p^r independent evidence
    purpose: E-infinity ring corepresenting oriented spectral deformations with derived level-(Z/p^r Z)^h structure (Theorem 4.12); higher-homotopical realization of the finite r-level of the Lubin-Tate tower.
    pi0 JLr is claimed to recover the classical finite Lubin-Tate tower level rings (Remark 4.13), a checkable statement at the level of ordinary rings; higher homotopy groups are not computed (Remark 4.19).
  • JL, the infinite-level Jacquet-Langlands spectrum independent evidence
    purpose: Limit lim_r JLr; intended spectral realization of the infinite-level Lubin-Tate and Drinfeld space (Remark 5.4).
    The finite-level pi0 checks provide indirect evidence; its defining property is that its homotopy fixed points should recover the K(h)-local sphere, which is the unproved descent from Section 5.2.
  • Eh,r, topological lift of Strickland's power operation rings independent evidence
    purpose: E-infinity ring with pi0(Eh,r) ≃ Ar, the universal deformation rings of the p^r-power Frobenius (Theorem 4.17).
    pi0 is pinned down by an external classical computation (Strickland, Theorems 4.14 and 4.15); higher homotopy unknown (Remark 4.19).
  • LEh, the Jacquet-Langlands dual of Morava E-theory
    purpose: Homotopy fixed point spectrum JL^{hGh}; proposed spectral avatar of the Drinfeld tower side with spectral sequence (5.3).
    No pi-star or E2-page computation is performed; the identification (LEh)^{hGLh(Zp)} ≃ S_{K(h)} required for its use is unproved, and Remark 5.6 defers its spectral moduli realization to future work.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Spectral moduli problems for level structures and an integral Jacquet-Langlands dual of Morava E-theory." pith.science (2026). https://pith.science/paper/2LYRAQLI

@misc{pith2026250900690,
  author       = {Pith},
  title        = {Pith review of: Spectral moduli problems for level structures and an integral Jacquet-Langlands dual of Morava E-theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2LYRAQLI}},
  note         = {Machine review of arXiv:2509.00690}
}
read the original abstract

Given an E-infinity ring spectrum R, with motivation from chromatic homotopy theory, we define relative effective Cartier divisors for a spectral Deligne-Mumford stack over Spet(R) and prove that, as a functor from connective R-algebras to topological spaces, it is representable. This enables us to solve various moduli problems of level structures on spectral abelian varieties, overcoming difficulty at primes dividing the level. In particular, we obtain higher-homotopical refinement for finite levels of a Lubin-Tate tower as E-infinity ring spectra, which generalizes Morava, Hopkins, Miller, Goerss, and Lurie's spectral realization of the deformation ring at the ground level. Moreover, passing to the infinite level and then descending along the equivariantly isomorphic Drinfeld tower, we obtain a Jacquet-Langlands dual to the Morava E-theory spectrum, along with homotopy fixed point spectral sequences dual to those studied by Devinatz and Hopkins. These serve as potential tools for computing higher-periodic homotopy types from pro-etale cohomology of p-adic general linear groups.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

72 extracted references · 58 canonical work pages

  1. [1]

    The duality resolution at n=p=2

    Agn\`es Beaudry, Irina Bobkova, and Hans-Werner Henn. The duality resolution at n=p=2 . Math. Z. , 310(3):Paper No. 50, 38, 2025

    work page 2025

  2. [2]

    Mark Behrens and Daniel G. Davis. The homotopy fixed point spectra of profinite G alois extensions. Trans. Amer. Math. Soc. , 362(9):4983--5042, 2010

    work page 2010

  3. [3]

    The chromatic splitting conjecture at n = p = 2

    Agn\`es Beaudry. The chromatic splitting conjecture at n = p = 2 . Geom. Topol. , 21(6):3213--3230, 2017

    work page 2017

  4. [4]

    Irina Bobkova and Paul G. Goerss. Topological resolutions in K(2) -local homotopy theory at the prime 2. J. Topol. , 11(4):918--957, 2018

    work page 2018

  5. [5]

    Topological automorphic forms

    Mark Behrens and Tyler Lawson. Topological automorphic forms. Mem. Amer. Math. Soc. , 204(958):xxiv+141, 2010

    work page 2010

  6. [6]

    Topological J acobi F orms

    Tilman Bauer and Lennart Meier. Topological J acobi F orms. 2025. arXiv:2508.08010

    arXiv 2025

  7. [7]

    On the p -adic pro-étale cohomology of D rinfeld symmetric spaces

    Guido Bosco. On the p -adic pro-étale cohomology of D rinfeld symmetric spaces. 2023. arXiv:2110.10683

    arXiv 2023

  8. [8]

    The B ousfield- K uhn functor and topological A ndr\'e- Q uillen cohomology

    Mark Behrens and Charles Rezk. The B ousfield- K uhn functor and topological A ndr\'e- Q uillen cohomology. Invent. Math. , 220(3):949--1022, 2020

    work page 2020

Show all 72 references
  1. [9]

    Schlank, Nathaniel Stapleton, and Jared Weinstein

    Tobias Barthel, Tomer M. Schlank, Nathaniel Stapleton, and Jared Weinstein. On H opkins' P icard group. 2024. arXiv:2407.20958

    2024

  2. [10]

    Schlank, Nathaniel Stapleton, and Jared Weinstein

    Tobias Barthel, Tomer M. Schlank, Nathaniel Stapleton, and Jared Weinstein. On the rationalization of the K(n) -local sphere. 2024. arXiv:2402.00960

    2024 arXiv

  3. [11]

    Cohomology of p -adic S tein spaces

    Pierre Colmez, Gabriel Dospinescu, and Wies awa Nizio . Cohomology of p -adic S tein spaces. Invent. Math. , 219(3):873--985, 2020

    2020

  4. [12]

    Integral p -adic \'etale cohomology of D rinfeld symmetric spaces

    Pierre Colmez, Gabriel Dospinescu, and Wies awa Nizio . Integral p -adic \'etale cohomology of D rinfeld symmetric spaces. Duke Math. J. , 170(3):575--613, 2021

    2021

  5. [13]

    Candelori and A

    L. Candelori and A. Salch. Topological H ecke eigenforms. Math. Z. , 307(4):Paper No. 75, 40, 2024

    2024

  6. [14]

    Hecke operators on topological modular forms

    Jack Morgan Davies. Hecke operators on topological modular forms. Adv. Math. , 452:Paper No. 109828, 71, 2024

    2024

  7. [15]

    Roots of unity in K(n) -local rings

    Sanath Devalapurkar. Roots of unity in K(n) -local rings. Proc. Amer. Math. Soc. , 148(7):3187--3194, 2020

    2020

  8. [16]

    Devalapurkar

    Sanath K. Devalapurkar. Hodge theory for elliptic curves and the H opf element . Bull. Lond. Math. Soc. , 55(2):826--842, 2023

    2023

  9. [17]

    Devinatz and Michael J

    Ethan S. Devinatz and Michael J. Hopkins. Homotopy fixed point spectra for closed subgroups of the M orava stabilizer groups. Topology , 43(1):1--47, 2004

    2004

  10. [18]

    Moduli of L anglands parameters

    Jean-François Dat, David Helm, Robert Kurinczuk, and Gilbert Moss. Moduli of L anglands parameters. J. Eur. Math. Soc. (JEMS) , 27(5):1827--1927, 2025

    1927

  11. [19]

    On the derived T ate curve and global smooth T ate K -theory

    Jack Morgan Davies and Sil Linskens. On the derived T ate curve and global smooth T ate K -theory. 2025. arXiv:2503.04494

    2025 arXiv

  12. [20]

    Davis and Gereon Quick

    Daniel G. Davis and Gereon Quick. Profinite and discrete G -spectra and iterated homotopy fixed points. Algebr. Geom. Topol. , 16(4):2257--2303, 2016

    2016

  13. [21]

    Drinfel'd

    V.G. Drinfel'd. Coverings of p -adic symmetric regions. Funct. Anal. Appl. , 10(2):107--115, 1976

    1976

  14. [22]

    Moduli stacks of \'etale ( , ) -modules and the existence of crystalline lifts , volume 215 of Annals of Mathematics Studies

    Matthew Emerton and Toby Gee. Moduli stacks of \'etale ( , ) -modules and the existence of crystalline lifts , volume 215 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2023

    2023

  15. [23]

    An introduction to the categorical p -adic L anglands program

    Matthew Emerton, Toby Gee, and Eugen Hellmann. An introduction to the categorical p -adic L anglands program. 2025. arXiv:2210.01404

    2025

  16. [24]

    L'isomorphisme entre les tours de L ubin- T ate et de D rinfeld , volume 262 of Progress in Mathematics

    Laurent Fargues, Alain Genestier, and Vincent Lafforgue. L'isomorphisme entre les tours de L ubin- T ate et de D rinfeld , volume 262 of Progress in Mathematics . Birkh\"auser Verlag, Basel, 2008

    2008

  17. [25]

    Derived structures in the L anglands C orrespondence

    Tony Feng and Michael Harris. Derived structures in the L anglands C orrespondence. 2025. arXiv:2409.03035

    2025 arXiv

  18. [26]

    Geometrization of the local L anglands correspondence

    Laurent Fargues and Peter Scholze. Geometrization of the local L anglands correspondence. 2024. arXiv:2102.13459

    2024 arXiv

  19. [27]

    P. G. Goerss and M. J. Hopkins. Moduli spaces of commutative ring spectra. In Structured ring spectra , volume 315 of London Math. Soc. Lecture Note Ser. , pages 151--200. Cambridge Univ. Press, Cambridge, 2004

    2004

  20. [28]

    Goerss, H.-W

    P. Goerss, H.-W. Henn, M. Mahowald, and C. Rezk. A resolution of the K(2) -local sphere at the prime 3. Ann. of Math. (2) , 162(2):777--822, 2005

    2005

  21. [29]

    On equivariant topological modular forms

    David Gepner and Lennart Meier. On equivariant topological modular forms. Compos. Math. , 159(12):2638--2693, 2023

    2023

  22. [30]

    Paul G. Goerss. Quasi-coherent sheaves on the moduli stack of formal groups. 2008. arXiv:0802.0996

    2008 arXiv

  23. [31]

    Galatius and A

    S. Galatius and A. Venkatesh. Derived G alois deformation rings. Adv. Math. , 327:470--623, 2018

    2018

  24. [32]

    On finite resolutions of K(n) -local spheres

    Hans-Werner Henn. On finite resolutions of K(n) -local spheres. In Elliptic cohomology , volume 342 of London Math. Soc. Lecture Note Ser. , pages 122--169. Cambridge Univ. Press, Cambridge, 2007

    2007

  25. [33]

    Topological modular forms with level structure

    Michael Hill and Tyler Lawson. Topological modular forms with level structure. Invent. Math. , 203(2):359--416, 2016

    2016

  26. [34]

    The geometry and cohomology of some simple S himura varieties , volume 151 of Annals of Mathematics Studies

    Michael Harris and Richard Taylor. The geometry and cohomology of some simple S himura varieties , volume 151 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2001. With an appendix by Vladimir G. Berkovich

    2001

  27. [35]

    Katz and Barry Mazur

    Nicholas M. Katz and Barry Mazur. Arithmetic moduli of elliptic curves , volume 108 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1985

    1985

  28. [36]

    Rational curves on algebraic varieties , volume 32 of Ergebnisse der Mathematik und ihrer Grenzgebiete

    J\'anos Koll\'ar. Rational curves on algebraic varieties , volume 32 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics] . Spr...

    1996

  29. [37]

    Derived algebraic geometry

    Jacob Lurie. Derived algebraic geometry . ProQuest LLC, Ann Arbor, MI, 2004. Thesis (Ph.D.)--Massachusetts Institute of Technology

    2004

  30. [38]

    J. Lurie. A survey of elliptic cohomology. In Algebraic topology , volume 4 of Abel Symp. , pages 219--277. Springer, Berlin, 2009

    2009

  31. [39]

    Higher topos theory , volume 170 of Annals of Mathematics Studies

    Jacob Lurie. Higher topos theory , volume 170 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2009

    2009

  32. [40]

    Higher algebra

    Jacob Lurie. Higher algebra . 2017. https://www.math.ias.edu/ lurie/papers/HA.pdf

    2017

  33. [41]

    Elliptic cohomology I : Spectal abelian varietes

    Jacob Lurie. Elliptic cohomology I : Spectal abelian varietes. 2018. https://www.math.ias.edu/ lurie/papers/Elliptic-I.pdf

    2018

  34. [42]

    Elliptic cohomology II : Orientations

    Jacob Lurie. Elliptic cohomology II : Orientations. 2018. https://www.math.ias.edu/ lurie/papers/Elliptic-II.pdf

    2018

  35. [43]

    Spectral algebraic geometry

    Jacob Lurie. Spectral algebraic geometry . 2018. https://www.math.ias.edu/ lurie/papers/SAG-rootfile.pdf

    2018

  36. [44]

    J. P. May. Equivariant homotopy and cohomology theory , volume 91 of CBMS Regional Conference Series in Mathematics . Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1996. With contributions by M. Cole, G. Co...

    1996

  37. [45]

    Goerss- H opkins obstruction theory for -categories

    Aaron Mazel-Gee. Goerss- H opkins obstruction theory for -categories. Adv. Math. , 458:Paper No. 109951, 86, 2024

    2024

  38. [46]

    J. S. Milne. Abelian varieties. In Arithmetic geometry ( S torrs, C onn., 1984) , pages 103--150. Springer, New York, 1986

    1984

  39. [47]

    Sergej Monavari, Emanuele Pavia, and Andrea T. Ricolfi. Derived hyperquot schemes. 2024. arXiv:2409.16858

    2024

  40. [48]

    Abstract G oerss- H opkins theory

    Piotr Pstr a gowski and Paul VanKoughnett. Abstract G oerss- H opkins theory. Adv. Math. , 395:Paper No. 108098, 51, 2022

    2022

  41. [49]

    Continuous homotopy fixed points for L ubin- T ate spectra

    Gereon Quick. Continuous homotopy fixed points for L ubin- T ate spectra. Homology Homotopy Appl. , 15(1):191--222, 2013

    2013

  42. [50]

    Profinite G -spectra

    Gereon Quick. Profinite G -spectra. Homology Homotopy Appl. , 15(1):151--189, 2013

    2013

  43. [51]

    Power operations for M orava E -theory of height 2 at the prime 2

    Charles Rezk. Power operations for M orava E -theory of height 2 at the prime 2. 2008. arXiv:0812.1320

    2008 arXiv

  44. [52]

    The congruence criterion for power operations in M orava E -theory

    Charles Rezk. The congruence criterion for power operations in M orava E -theory. Homology Homotopy Appl. , 11(2):327--379, 2009

    2009

  45. [53]

    Modular isogeny complexes

    Charles Rezk. Modular isogeny complexes. Algebr. Geom. Topol. , 12(3):1373--1403, 2012

    2012

  46. [54]

    Power operations in M orava E -theory: structure and calculations ( D raft)

    Charles Rezk. Power operations in M orava E -theory: structure and calculations ( D raft). 2013. https://rezk.web.illinois.edu/power-ops-ht-2.pdf

    2013

  47. [55]

    Isogenies, power operations, and homotopy theory

    Charles Rezk. Isogenies, power operations, and homotopy theory. In Proceedings of the I nternational C ongress of M athematicians--- S eoul 2014. V ol. II , pages 1125--1145. Kyung Moon Sa, Seoul, 2014

    2014

  48. [56]

    Lectures on power operations

    Charles Rezk. Lectures on power operations. 2024. https://rezk.web.illinois.edu/power-operation-lectures.pdf

    2024

  49. [57]

    Galois extensions of structured ring spectra

    John Rognes. Galois extensions of structured ring spectra. S tably dualizable groups. Mem. Amer. Math. Soc. , 192(898):viii+137, 2008

    2008

  50. [58]

    Rapoport and Th

    M. Rapoport and Th. Zink. Period spaces for p -divisible groups , volume 141 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1996

    1996

  51. [59]

    -adic topological J acquet- L anglands duality

    Andrew Salch. -adic topological J acquet- L anglands duality. 2023. With an appendix by Andrew Salch and Matthias Strauch. arXiv:2311.10225

    2023 arXiv

  52. [60]

    Equivariant elliptic cohomology and mapping stacks I

    Nicol \`o Sibilla and Paolo Tomasini. Equivariant elliptic cohomology and mapping stacks I . 2023. arXiv:2303.10146

    2023 arXiv

  53. [61]

    Strickland

    Neil P. Strickland. Finite subgroups of formal groups. J. Pure Appl. Algebra , 121(2):161--208, 1997

    1997

  54. [62]

    N. P. Strickland. Morava E -theory of symmetric groups. Topology , 37(4):757--779, 1998

    1998

  55. [63]

    Schw\"anzl, R

    R. Schw\"anzl, R. M. Vogt, and F. Waldhausen. Adjoining roots of unity to E_ ring spectra in good cases---a remark. In Homotopy invariant algebraic structures ( B altimore, MD , 1998) , volume 239 of Contemp. Math. , pages 245--249. Amer. Math. Soc., Providence, RI, 1999

    1998

  56. [64]

    Moduli of p -divisible groups

    Peter Scholze and Jared Weinstein. Moduli of p -divisible groups. Camb. J. Math. , 1(2):145--237, 2013

    2013

  57. [65]

    Homotopical algebraic geometry

    Bertrand To\"en and Gabriele Vezzosi. Homotopical algebraic geometry. II . G eometric stacks and applications. Mem. Amer. Math. Soc. , 193(902):x+224, 2008

    2008

  58. [66]

    Ring-theoretic properties of certain H ecke algebras

    Richard Taylor and Andrew Wiles. Ring-theoretic properties of certain H ecke algebras. Ann. of Math. (2) , 141(3):553--572, 1995

    1995

  59. [67]

    Derived H ecke algebra and cohomology of arithmetic groups

    Akshay Venkatesh. Derived H ecke algebra and cohomology of arithmetic groups. Forum Math. Pi , 7:e7, 119, 2019

    2019

  60. [68]

    Modular elliptic curves and F ermat's last theorem

    Andrew Wiles. Modular elliptic curves and F ermat's last theorem. Ann. of Math. (2) , 141(3):443--551, 1995

    1995

  61. [69]

    The power operation structure on M orava E -theory of height 2 at the prime 3

    Yifei Zhu. The power operation structure on M orava E -theory of height 2 at the prime 3. Algebr. Geom. Topol. , 14(2):953--977, 2014

    2014

  62. [70]

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

    Yifei Zhu. Semistable models for modular curves and power operations for M orava E -theories of height 2. Adv. Math. , 354:Paper No. 106758, 29, 2019

    2019

  63. [71]

    Norm coherence for descent of level structures on formal deformations

    Yifei Zhu. Norm coherence for descent of level structures on formal deformations. J. Pure Appl. Algebra , 224(10):106382, 35, 2020

    2020

  64. [72]

    Coherent sheaves on the stack of L anglands parameters

    Xinwen Zhu. Coherent sheaves on the stack of L anglands parameters. 2021. arXiv:2008.02998

    2021

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.