![Arxiv:1808.08587V3 [Math.AT] 24 Jun 2019](http://data.docslib.org/img/cc3cf7c4346e5391c6484298d00972aa-1.webp)
arXiv:1808.08587v3 [math.AT] 24 Jun 2019 h opim enn nato famonoid a of action an defining morphisms the rsne sacsmlca bet o xml 2]if [24] example for object; cosimplicial a as presented 0.1 Introduction M hmsetu o ope oods ( cobordism complex for spectrum Thom S ftesal oooyalgebra. homotopy stable the of of kind a is sn ra elo oko ui-aesetab tes we others, by spectra Lubin-Tate on work moduli of a in deal with great identified a be Using can groups. [29], formal Quillen commutative of one-dimensional work by which, oygop en oipiilcmuaieagbaresol algebra commutative cosimplicial a define groups topy ooue vrtemlilctv groupscheme multiplicative the over comodules Spec over x ⊗ 0 π -ler spectra U-algebra 1 Date agba,then -algebra), § h em nti ipa r rdd u ti ovnett r to convenient is it but graded, are display this in terms The t ∗ .. eo,cran( certain below, 2.3.2 nasmercmnia category, monoidal symmetric a In 0 k S hspoiiga xuefrotnspesn hsgrading this supressing often for excuse an providing thus , 0 1Jn 2019. June 21 : lerso h omlbnl oteobt ftegoplw i laws group the of orbits the to the lifts. by bundle of laws, normal space group the associated on the exten algebras of are automorphisms fields, such of of groups groups Lubin-Tate by indexed fields, re ihvle nmdlsoe auto rings valuation over modules in values with ories ec htoeain nlfso h functors the of lifts on operations that dence Abstract. PRTOSO NERLLFSOF LIFTS INTEGRAL ON OPERATIONS Z hsdarmbcmsapeetto o groupoid-scheme a for presentation a becomes diagram this , M / π -reAasMhwl-oio eouinof resolution Adams-Mahowald-Novikov U-free ∗ ( M S 0 = U hsvr og kthi eult 2] tpeet evi- presents it [27]; to sequel a is sketch rough very This K Spec ( M L / ,idxdb ui-aefra ru laws group formal Lubin-Tate by indexed ), U ) p M ∗ M aial opee where complete, -adically U U AKMORAVA JACK 1 ∗ M eadn hs lersa ffieschemes affine as algebras these Regarding / / π U ∗ ( / / 1 M M e . U U g G i fshmso tutrdspectra, structured or schemes of . . ∧ / / ∧ m e Spec h nvra complex-oriented universal the . S S = 0 0 K M M Z [ ( M M t n U )= U) 0 ± ochmlg the- cohomology to ) 1 U o ,wt coaction with ], na object an on L ∗ flclnumber local of > p gr hmas them egard M . / / / · · · U M in fthe of sions ∗ 3) ution M = exterior K S U A 0 the n ( t homo- Its . M ∞ n M X ) construct tc for stack sthe is U Z 2 periodic k 2 a be can -graded ∋ / / / · · · LT x 7→ L 2 JACK MORAVA for local number fields L ⊃ Qp, Galois of degree [L : Qp]= n with valuation rings oL. These spectra have homotopy groups K K ∼ ±1 π∗ (L)= (L)∗ = oL∗[v ] (|v| = 2), and in §3 we present a conjectural description of an associated groupoid-scheme / Spec K(L)∗K(L) / Spec K(L)∗ of homological co-operations in terms of the isotropy or stabilizer groups of LTL, as objects in the Quillen-Lazard moduli stack. These automorphism groups are by now well-understood, almost classical in local arithmetic ge- ometry, and the first section below summarizes some of that knowledge; it will serve as a model for our applications to algebraic topology. Perhaps the point of this paper is to explain that, in spite of the notation, our construction of the spectra K(L) is not functorial in L; this note is instead a plea for a natural construction. The third section below contains preliminary results toward an identification of the endomorphisms or (co)operations of their associated cohomology theories, and argues that these have close con- nections with the Weil group of L [25]: or, more precisely, with the Galois trab group of a maximal totally ramified abelian extension L of L, over Qp. Our partial results can perhaps be read as evidence toward an interpreta- tion of the spectra K(L) as something like a K-theory spectrum associated to the (topological, perfectoid) completion L∞ of Ltrab [28]. For example, our K(Qp) can be (non-canonically) identified with the p-adically completed ∞ algebraic K-theory spectrum of the completion Qp of the field of p-power roots of unity over Qp, and thus with the p-adic completion of Atiyah’s topological K-theory of C. To return to the organization of this paper: its second section uses the theory of highly structured spectra to define, following the original work of Sullivan and Baas [4,38,39], the spectra K(L) as Koszul quotients of spectra E(ΦL) associated to Lubin-Tate formal group laws [14,31]. The resulting constructions are integral lifts of the ‘extraordinary’ spectra K(n) [44], in that smashing with a mod p Moore spectrum defines natural isomorphisms
K(L)∗(X ∧ M(p, 0)) =∼ K(n)∗(X, Fp) ⊗ oL/poL , e f where oL/poL =∼ Fq[π]/(π ) (with n = ef and q = p , see §1.5). For example, if L is unramified then e = 1, q = pn, and the mod p reduction of K(L) agrees with K(n) ⊗ Fq. In some sense the K(n) are indexed by the finite fields, while the K(L) are indexed by finite Galois extensions of Qp.
§I Notation and recollections 1.1 If A is a commutative ring, let FG(A) ⊂ A[[X,Y ]] be the set of power se- ries F (X,Y )= X+Y +. . . satisfying the standard axioms for a commutative formal group law over A, and let Γ(A) ⊂ A[[T ]] be the group of invertible OPERATIONS ON INTEGRAL LIFTS OF K(n) 3
× power series t(T ) = t0T + . . . (i.e. with t0 ∈ A ) under composition; then the group Γ acts on the set FG by Γ(A) × FG(A) ∋ t, F 7→ F t(X,Y )= t−1(F (t(X),t(Y ))) ∈ FG(A) . ∼ Both Γ and FG are co-representable functors: FG(A) = Homalg(L, A), where ∼ Lazard’s ring L is polynomial over Z, and Γ(A) = Homalg(S, A), where −1 S = t0 Z[ti]i≥0 is a Hopf algebra with coproduct
(∆t)(T ) = (t ⊗ 1)((1 ⊗ t)(T )) ∈ (S ⊗Z S)[[T ]] . Yoneda’s lemma then implies the existence of a coproduct homomorphism
ψ : L → L ⊗Z S of rings, corepresenting the group action. These rings are implicitly graded by the coaction of the multiplicative subgroup Gm ⊂ Spec S. 1.2 A group action α : G × X → X in (Sets) defines a groupoid s / [X//G] : G × X / X t with X as set of objects, G×X as set of morphisms, and s(g,x)= x, t(g,x)= α(g,x) as source and target maps. The usual convention in algebraic topol- ogy regards L ⊗Z S as a two-sided L-algebra, with the obvious structure on the left, and a right L-algebra structure
1⊗ψ / / (L ⊗Z S) ⊗Z L (L ⊗Z S) ⊗L (L ⊗Z S) (L ⊗Z S) ; this is what’s meant by saying that ηL / L / L ⊗Z S ηR is a Hopf algebroid. Following Grothendieck and Segal, a category C with set C[0] of objects and C[1] of morphisms can be presented as a simplicial set C o C o C C [0] o [1] o [1] ×C[0] [1] · · ·
(where X ×Z Y denotes the fiber product or equalizer of two maps X,Y → Z). In the case of a group action as above, this is isomorphic to a simplicial object o o Xo G × X oo G × G × X · · · which can alternatively be regarded as a bar construction. The functor A 7→ [FG(A)//Γ(A)] thus defines a simplicial scheme: the moduli stack of one-dimensional formal groups. 1.3 A homomorphism A → B of commutative rings defines an extension of scalars map FG(A) ∋ F 7→ F ⊗A B ∈ FG(B) . 4 JACK MORAVA
Definition [iso(F )](B) is the groupoid with the orbit g OΓ(B)(F )= {(F ⊗A B) | g ∈ Γ(B)}
(of F ⊗A B under coordinate changes) as its set of objects, and ′ h ′ morisoF (B)(G, G )= {h ∈ Γ(B) | G = G } as (iso)morphisms of G with G′; thus
[iso(F )](B) = [OΓ(B)(F )//Γ(B)] . This groupoid maps fully and faithfully to its skeleton (which has one object) and the group AutB(F ) ⊂ Γ(B) (of automorphisms of F ⊗A B as a formal group law over B) as its morphisms. The homomorphism F : L → A classifying F thus defines a Hopf A - algebroid / [iso(F )] : A / A ⊗L (L ⊗Z S) ⊗L A equivalent to a simplicial groupoid-scheme (A−alg) ∋ B 7→ [iso(F )](B) over Spec A. 1.4 It is nonstandard, but it will be convenient below to write q = pn and let Qq denote the quotient field of the ring W (Fq) of Witt vectors, i.e. the degree n unramified extension of Qp. Following Ravenel [30 §5.1.13], a Lubin-Tate LT group law Qq for this field can be defined over the p-adic integers Zp by Honda’s logarithm −k pnk logQq (T )= p T ; Xk≥0 this has, as its mod p reduction, a formal group law H(n) of height n over Fp, associated to the cohomology theory K(n). The resulting left and right Fp-algebra structures on
× Gal(Fq /Fp)−inv Fp ⊗H(n) (L ⊗Z S) ⊗H(n) Fp = C(oD , Fq) = Σ(n) coincide, representing [iso(H(n))] by the algebra of functions on a certain pro-algebraic group scheme over Spec Fp.
In more detail [24], a finite field k = Fq has a local domain W (k) of Witt vectors, with maximal ideal generated by p and a canonical isomorphism W (k)/pW (k) → k; its quotient field W (k) ⊗Z Q = Qq is the extension of × Qp obtained by lifting the roots Fq of unity to Qp. This construction is functorial, and a generator σ of the cyclic group Gal(Qq/Qp) =∼ Gal(Fq/Fp) sends a root ω of unity to σ(ω)= ωp. Let n D = QqhFi/(F = p) be the noncommutative division algebra obtained from Qq by adjoining an th n root F of p satisfying, for any a ∈ Qq, the relation σ(a) · F = F · a. The valuation on Qq (normalized so ord(p) = 1) extends to D to define a semidirect product extension / o × / × ord / 1 / 1 D D n Z 0 OPERATIONS ON INTEGRAL LIFTS OF K(n) 5 with a generator of the infinite cyclic group on the right acting on an el- × ement u of the compact kernel oD as F-conjugation. This kernel thus acquires an action of the cyclic group of order n, which may be identified × with Gal(Fq/Fp), making oD the group of points of a pro-´etale groupscheme over Fp. It is represented by the Fp-algebra of (Galois equivariant, conti- × −1 nous) Fq-valued functions h on oD satisfying σ(h(u)) = h(FuF ). More concisely, × [iso(H(n))] ≃ [∗//oD ] as groupoid-valued functors. 1.5 Similar results [21] hold for Lubin-Tate groups of local number fields (i.e. extensions L of Qp with [L : Qp]= n< ∞); I will assume here that this extension is Galois. Such a field has a local valuation ring oL with finite f residue field kL =∼ Fq, where now q = p ; moreover L contains a maximal unramified extension L0 = W (kL) ⊗Z Q ⊃ Qp, such that [L : L0] = e = −1 f n. The maximal ideal mL = (π) ⊂ oL is principal, and we will choose a generator π; it satisfies some Eisenstein equation e i EL(π)= π + eiπ = 0 0X≤i
We will sometimes write X +L Y = LTL(X,Y ). There is some degree of choice in the construction of the lift LTL of ΦL: −k qk logL(T )= π T Xi≥0 q 2 is one possibility, and [π]L(T )= πT +L T defines another but all construc- tions are isomorphic. Reduction modulo π defines a monomorphism
o ∼ o LT L = End L ( L) → Endk¯L (ΦL) × of rings, which embeds the units oL as a maximal commutative subgroup × (a torus of some sort) in oD .
The associated simplicial scheme [iso(LTL)] over Spec oL can then be defined, as above, by the Hopf oL-algebroid o / o o L / L ⊗LTL (L ⊗Z S) ⊗LTL L ;
2The author believes Serre’s account [36] of the Lubin-Tate construction to be effec- tively optimal. 6 JACK MORAVA
× over the generic point of Spec oL its fiber is the groupoid [∗//oL ], while × over the closed point it is [∗//oD ]. Note that any degree n extension of Qp embeds in D as a maximal commutative subfield, so the maximal toruses of D× in some sense parametrize Lubin-Tate groups of degree n extensions of Qp. The Weyl groups of these toruses are then Galois groups Gal(L/Qp), and trab the normalizers of these toruses are essentially the Weil groups W (L /Qp) associated to maximal totally ramified abelian extensions of L [41,43]; the (cohomology classes of the) group extensions defining them are the ‘funda- mental classes’ of local classfield theory.
When L = Qq is unramified [27] we can assume that q−1 q [p]L(T )= pT +L v T LT i.e. that (a graded version of) Qq is p-typical, defined by a homomorphism
±1 BP∗ = Zp[vi]i≥1 → Zp[v ] q−1 sending Araki’s [2] generators vi to 0 when i 6= n, and vn to v .
§II 2.0 To construct the spectra K(L) we work3 at a prime away from 6, in a 0 symmetric monoidal category of p-adically complete spectra, e.g. Spˆ - mod- ules. We will be concerned below with K(n)-local spectra, and we will K(n)-localize their smash products [17]. Recall [33] that the Gaussian inte- 0 1/2 ger spectrum S [(−1) ] is not E∞: the behavior of the stable homotopy category under arithmetic ramification seems potentially very interesting. Lurie’s ´etale topology on the category of spectra [23 Def 7.5.1.4] defines commutative ring-spectra S0 ´etale over S0 (roughly, W (F ) ⊗ S0). W (Fq) pˆ q Zp pˆ Schwede’s Moore spectra (functorial away from 6 [34 §II Rem. 6.44]) can then be used to define, for a valuation ring oL (free of rank e over W (kL)) 0 0 a p-adic A ring spectrum So (roughly, M(o , 0) ⊗ S ) with ∞ L L W (kL) W (Fq) 0 ∼ 0 o π∗SoL = π∗S ⊗Z L . Following §1.5, the commutative W(k)-algebra
i oL = ⊕0≤i≤e−1W (k) · π
(where k = kL for simplicity) is defined by classical structure constants i,j ml ∈ W (k), 0 ≤ i, j, l ≤ e − 1, such that
i j i,j l π · π = ml π . 0≤Xl≤e−1
3The typeface is intended to distinguish these constructions from Quillen’s K-theory OPERATIONS ON INTEGRAL LIFTS OF K(n) 7
0 0 i i Let SoL denote the wedge sum 0≤i≤e−1 SW (k) · t (with t a book-keeping indeterminate), and let W 0 0 0 0 0 So × So → So ∧ 0 So → So L L L SW (k) L L 0 be the morphism of SW (k)-module spectra defined component-wise, as the composition
·mi,j 0 0 i j / 0 0 l l / 0 l S × S · t × t S ∧ 0 S · t S t , W (k) W (k) W (k) SW (k) W (k) W (k) (where the final map is multiplication by the structure constant). This is 0 0 the product map for a weak SW (k)-algebra structure on SoL , i.e.a kind of H∞ structure making 0 ∗ 0 ∼ 0 o π∗So = π0Hom 0 (S ,So ) = π∗(S ) ⊗Zp L L SW (k) W (k) L pˆ as algebras. In particular we have a morphism o 0 0 L × SoL → SoL 0 o 0 of SW (k)-algebras, representing L-multiplication on π∗SoL , used in §2.3.2 below.
Remark If G is the Galois group of a finite extension L of Qp, a theorem of Noether implies that its valuation ring oL is projective over the group ring ZpG iff L is tamely ramified; but work of Swan [40] implies, more generally, that the class of oL in the Grothendieck group G0(ZpG) (defined by splitting short exact sequences) is the image of a (not necessarily unique) class [P ] in K0(ZpG), perhaps analogous to Wall’s finiteness obstruction for CW complexes. Such Swan elements suggest constructing analogs of Moore spectra for oL as representing objects for functors such as
X 7→ π∗(X ∧ G+) ⊗ZpG P := π∗(X; P ) . . .
2.1.1 Work several mathematical generations deep [10,14,31,32. . . ] asso- ciates to a one-dimensional formal group law Φ, of finite height n over a perfect field k of characteristic p > 0, an E∞ p-adic complex oriented 0 E SW (k)-algebra spectrum (Φ) with homotopy algebra ±1 π ∗ E(Φ) =∼ E(Φ)∗ =∼ W (k)[[u1, . . . , un−1]][v ]] of formal power series, representing Lubin and Tate’s functor [22] which sends a complete noetherian local ring A with residue field k to the set (modulo isomorphisms which reduce to the identity over k) of lifts of Φ to A. We will sometimes take v = 1 to suppress the grading, and to sim- plify notation we may write EF for E(Φ) for a chosen lift F of Φ to a local o E ring (e.g. W (k) or L) with residue field k; we may even write L0 for the 0 0 S = So -module spectrum E(LT ). Similarly + or + may de- W (kL) L0 L0 EΦ EF note the associated formal group sum, and mF = [[u∗]] may signify the ‘maximal ideal’ of EF ∗ over W (k) or oL. 8 JACK MORAVA
∼ o × Lubin and Tate show that the (pro´etale) group Autk¯(Φ) = D of automor- phisms of Φ⊗k k¯, with its natural Gal(k/k¯ )-action, lifts to a (continuous but ¯ not smooth) action on W (k) ⊗W (k) E(Φ)∗; in particular, their theorem 3.1 ¯ shows that this action takes W (k) ⊗W (k) mE(Φ) to itself. In the formalism of §1.3-4, this defines a formal groupoid-scheme of equivalence classes of lifts to Artin local rings, represented by a Hopf algebroid
ηL / E ∼ [Spf E(Φ)∗//Autk¯(Φ)] : E(Φ)∗ / E(Φ)∗ (Φ) = HAut(Φ) ; ηR where HAut(Φ) [17] is a Hopf algebra of Galois-equivariant continuous func- tions from Aut(Φ) to E(Φ). Note that the two (left and right) unit ho- momorphisms send mE to mE⊗ˆ HAut(Φ), and that this Hopf algebroid is equivalent to ηL / E(Φ)∗ / E(Φ)∗ ⊗L (L⊗Z) ⊗L E(Φ)∗ . ηR
LT 2.1.2 If, for example, ΦL/Fp is the Lubin-Tate group law for Qq as in §1.3, we can take the ui to be Araki generators satisfying pi [p]E(T )= viT E,iX≥o
(with v0 = p); the classifying homomorphism from MU∗ then sends CPqk−1 to i k (1 − pq −1)−1 · (p−1qk)vq −1 1≤Yi≤k and the remaining CPl to 0 [17]. 2.2.1 A parallel (but even more venerable) line of research, leading to the modern theory of highly structured spectra, allows us to associate to the (by definition, regular) sequence v∗ = v1, . . . , vn−1 of elements of EQq∗, a choice 2(pi−1) E vi : S → Qq of representatives defining, by the construction of [12 V §1, §3.4], p-adic complex-oriented A∞ ring-spectra K E (Qq)= Qq /(v∗) K ∼ ±1 LT with π∗ (Qq) = W (Fq)[v ], having Qq as formal group law. Remark When n = 1 this construction recovers a model for Atiyah’s p- adic completion [3] of complex topological K-theory, and when n = 2 it defines a p-adic lift of Baker’s supersingular elliptic cohomology [5]. Away from the prime 6, elliptic cohomology [13 §4.1 ex 4.2] has as coefficients, the polynomial ring of modular forms (generated [37 III §5.6.2] by the Eisenstein series E2, E3). A theorem of Deligne [19] identifies the modular form defined by the Eisenstein series Ep−1 and the (Hasse) parameter v1, modulo p. This OPERATIONS ON INTEGRAL LIFTS OF K(n) 9 suggests a close relation between p-adic elliptic cohomology, mod Ep−1, with K (Qp2 ); but understanding that would require an understanding of Ep−1 as a polynomial in E2, E3, which evidently depends on the prime p. 2.2.2 More generally, a Lubin-Tate group law for a ramified local field of degree n over Qp lifts its mod π reduction to a homomorphism ∗ o ui 7→ ui : E(ΦL)∗ = W (kL)[[u∗]] → L of local W (kL)-algebras. ∗ m o Lemma Let ui ∈ L = (π) ⊂ L, i ≤ i ≤ n − 1 be a sequence of elements m ∗ in the maximal ideal L: then ui 7→ ui − ui = vi defines an isomorphism oL[[u∗]] =∼ oL[[v∗]] of local oL-algebras. m o i [For if w∈ L and L[[x]] ∋ a(x)= i≥1 aix , then k +Pl a(x)= ( a wl)˜xk = a˜ x˜k , l k+l k Xk≥1 Xl≥1 Xl≥1 wherex ˜ = x − w. The argument for multiple variables is similar.] 0 Definition The A∞ complex-oriented SoL -algebra spectrum E 0 E L = SL ∧S0 (ΦLTL ) W (kL) has ±1 π∗EL = EL∗ = oL[[v∗]][v ] as algebra of homotopy groups, generated by a regular sequence of elements ∗ vi = ui − ui such that vi 7→ 0 specializes the modular lift to the chosen Lubin-Tate group law of L.
2.3.1 K Q E LT The definition in §2.1 of ( q) uses the E∞ structure on (Φ Qq ), which is not available for nontrivially ramified fields. This issue can be avoided by reorganizing the induction in [12] (which follows Sullivan and Baas, based on iterated cofibrations) as a computation of the spectral se- quence for the homotopy groups of the geometric realization of a suitable simplicial (Koszul) spectrum [11 §17.5, ex 18.2; 35]: An element a of a commutative k-algebra A defines4 an (elementary) differ- ential graded A-algebra 2 KszA(a) = (A[e]/(e ), da(e)= a) . m More generally, a k-module homomorphism a⋆ : k → A defines the classical differential graded commutative algebra ∼ KszA(a⋆)= KszA(ai) = A ⊗k Λk(ei | 1 ≤ i ≤ m) A,1O≤i≤m
4 or, more generally, a homogeneous element of a graded commutative A∗; however this will be largely suppressed from our notation 10 JACK MORAVA
(with an exterior algebra denoted by Λ, to reduce the multiplicity of things called E), and differential i+1 deI = (−1) a⋆(ei) · eIˆ(i) , 1≤Xi≤m where eI = ∧l∈Iel is indexed by (totally ordered) subsets I of {m} = th {1,...,m}, Iˆ(i) is obtained from I by omitting its i element, eI ∧ eK is 0 if I ∩ K is nonempty and equals ±eI,K if they are disjoint, with sign equal to that of the permutation putting {I, K} in proper order. In the elementary case, if a is not a 0-divisor in A, this defines an A-free resolution of the quotient algebra A/(a), i.e. of the cofiber of the map of A to itself defined by a-multiplication. More generally, if ai is not a 0-divisor in the quotient ring A/(a1, . . . , ai−1) (i.e. a∗ is a regular sequence), this construction defines an A-free resolution of A/(a⋆). In the context of commutative S0-algebras or ring spectra, we can associate to morphisms |ai| ai : S → A a semi-simplicial (i.e. without degeneracy operators [42 §8.2.2]) A-algebra
k 7→ KszA(a⋆)[k]= A · eI I⊂{m_},|I|=k with A-module face operators ∂ieI = µ(ai) · eIˆ(i), where µ(a) : S|a|A → A is defined by multiplication by a. The fat realization [11 §4.8, §18.2] |KszA(a⋆)| of such a semisimplicial object is canonically filtered, leading to the construc- tion of a spectral sequence computing its homotopy groups, with E1 page K K π∗ szA(a⋆) = KszA∗ (a⋆) ⇒ | szA(a⋆)|∗
2.3.2 When a⋆ is a regular sequence this complex is a resolution, and the spectral sequence collapses to an isomorphism
|KszA(a⋆)|∗ =∼ A∗/(a⋆) . K K Applying this as above yields a definition for (Qq) = | szΦ(Qq )(v⋆)| as an S0 -algebra spectrum, essentially equivalent to the construction of [12]. W (Fq) The ramified case is more delicate, because its building blocks are not E∞; we need a Lemma The morphisms ∗ E E v˜i, v˜j : SoL L → L (1 ≤ i, j ≤ n − 1) defined by multiplication with ∗ ∗ 0 E E E v˜i = ui ∧W 1 − 1L ∧W ui : SoL → SoL ∧W (kL) (ΦL)(= L) commute. OPERATIONS ON INTEGRAL LIFTS OF K(n) 11
Proof Define a twist isomorphism E o o E (ΦL) ∧W (kL) L → L ∧W (kL) (ΦL) adjoint to the composition E o o E o o E (ΦL) → HomW (kL)( L, L)∧W (kL) (ΦL) → HomW (kL)( L, L∧W (kL) (ΦL)) of S0 -module morphisms. Since both S0 and E(Φ ) are commutative W (kL) L L S0 -modules, we have (with some abbreviation) W (kL) ∗ ∗ v˜i ∧W v˜j = (ui ∧W 1E − 1L ∧W ui) ∧W (uj ∧W 1E − 1L ∧W ui)= · · · =v ˜j ∧ v˜i . Proposition K K (L)= | szEL (˜v⋆)| 0 K ∼ o ±1 is an A∞ SoL -algebra spectrum with (L)∗ = L[v ], complex-oriented by the morphism MU∗ → K(L)∗ classifying the chosen Lubin-Tate group law for L. Remark The kernel of
oL ⊗Z MU∗ → EL∗ → K(L)∗ is generated by an (infinite) regular sequence (which can be chosen to belong n to MU∗ in degree greater than 2(p − 1)). The Koszul construction above, together with [12 V §3.2], leads to a construction for a connective spectrum k(L) with K(L) as vn-localization.
§III 3.1 The spectral sequence of a geometric realization, together with the Eilenberg-Moore/K¨unneth spectral sequence for the smash product of mod- ule spectra provide some understanding of the bialgebra
(K(L) ∧ 0 K(L)∗ = K(L)∗K(L) . SL To begin, note that
(K(L) ∧ 0 EL)∗ = |KszE (˜v⋆)|∗(EL) SL L is the E(ΦL)∗ homology of a filtered E(ΦL)-module spectrum, and that the E1 page of the associated spectral sequence is the Koszul algebra
Ksz E E ∗ (˜v ) ; ( L∧S0 L) ⋆ L but by [17], as in §2.1, (EL ∧ 0 EL)∗ =∼ H , with deformation param- SL Aut(ΦL) eters acting as leftv ˜∗-multiplication. This sequence is regular, so this is a resolution, and the spectral sequence collapses to an isomorphism K E ∼ K ∼ o ( (L) ∧ 0 L)∗ = (L)∗ ⊗E ∗ H = L ⊗ H SL L Aut(ΦL) W (kL) Aut(ΦL) of oL-algebras. Now observe that
K(L) ∧ 0 K(L) ≃ (K(L) ∧ 0 EL) ∧E K(L) SL SL L 12 JACK MORAVA which is accessible via [12 IV Thm 6.4].
Proposition The K¨unneth spectral sequence collapses at E2 to an isomor- phism ∗ 2 K K ∼ o o m m (L)∗ (L) = L ⊗EL∗ HAut(ΦL) ⊗ L ΛoL ( L/ L) , where the term on the right is the exterior algebra on the (free, of rank n−1) tangent oL-module to the space of deformations of LTL.
Proof The E1-page of this spectral sequence is again a Koszul algebra, now of the form
Ksz K ∗ E (η(v⋆)) , ( (L) ⊗ L∗ HAut(ΦL)) where the images m η(vi)= vi,α ⊗ gi,α ∈ LHAut(ΦL) Xα of the generators vi under the right unit have coefficients vi,α in the ideal mL ([22 Thm 3.1], see §2.1), and thus map to zero under EL∗ → K(L)∗. The homology of this DGA is therefore just its underlying graded algebra, which can be identified with the algebra of Galois-equivariant functions from m m2 E E Aut(ΦL) to the exterior algebra on L/ L. [Note that L∗ L is analogous [by Kodaira-Spencer theory, cf. [15 ex 2.8.1, 20]] to an algebra of functions m m2 from Aut(ΦL) to the symmetric algebra on L/ L.] 3.2 It seems reasonable to conjecture that this spectral sequence collapse implies an interpretation of K(L)∗K(L) as a Hopf algebroid of functions on a (super, ie nontrivially Z2-graded) groupoid scheme, an extension of the auto- morphism group of LTL by an exterior algebra of deformations parametrized by its tangent space as a point in Spf EL∗. However, the author feels that this and related questions (e.g. the possible nontriviality of such extensions, the action of Gal(L/Qp) and its previously mentioned relation to Weil groups, Massey product structures [1 §3.3], relations [16] with Azumaya algebras . . . ) are best left to younger, more vigorous and reliable resarchers. In particular: recent advances in the algebra of non-discretely valued fields suggest that the topological Hochschild homology of the perfectoid com- pletion L∞ of the fields Ltrab (§1.5) associates to the p-adic completion of BQ/Z (regarded as an analog of CP ∞), a rigid analytic analog [28] of a Lubin-Tate group for L. If the spectra K(L) have a natural construction in terms of fields like L∞, one might hope for the existence of a generalized Chern character or cyclotomic-like trace, mapping k(L) Galois-equivariantly to THH(OL∞ , Zp).
References 1. V Angeltveit, Uniqueness of Morava K-theory, Compos. Math. 147 (2011) 633 - 648, arxiv.org/0810.5032 2. S Araki, Typical formal groups in complex cobordism and K-theory Lectures in Mathematics, Kyoto University, No. 6. Kinokuniya Book-Store Co., Tokyo (1973) OPERATIONS ON INTEGRAL LIFTS OF K(n) 13
3. MF Atiyah, DO Tall, Group representations, Λ-rings and the J-homomorphism, Topology 8 (1969) 253 - 297 4. N A Baas, On bordism theory of manifolds with singularities, Math. Scand. 33 (1973), 279 - 302 (1974) 5. A Baker, Isogenies of supersingular elliptic curves over finite fields and operations in elliptic cohomology, arXiv:0712.2052 6. M Behrens, T Lawson, Topological automorphic forms, Mem. AM 204 (2010), no. 958, arXiv:math/0702719 7. A K Bousfield, D Kan, Homotopy limits, completions and localizations, Springer LNM 304 (1972) 8. P Cartier, Rel´evements des groupes formels commutatifs, Seminaire Bourbaki 359, Springer LNM 179 (1971) 217 – 230 9. F Clarke, p-adic analysis and operations in K-theory, Groupe de travail d’analyse ultram´etrique, tome 14 (1986-1987) no 15, p 1 – 12, available at www.numdam.org/article/GAU 1986-198 14 A7 0.pdf 10. E Devinatz, M Hopkins, The action of the Morava stabilizer group on the Lubin-Tate moduli space of lifts, Am. J. Math. 117 (1995) 669 - 710 11. D Dugger, A primer on homotopy colimits, available at pages.uoregon.edu/ddugger/hocolim.pdf 12. A Elmendorf, I Kriz, M Mandell, JP May, Rings, modules, and algebras in stable homotopy theory . . . , Mathematical Surveys and Monographs 47, AMS (1997) 13. P Goerss, Topological modular forms [after Hopkins, Miller and Lurie], S´eminaire Bourbaki 2008/2009. Exp. 1005, Ast´risque No. 332 (2010) 221 - 255 14. —–, M J Hopkins, Moduli spaces of commutative ring spectra, in Structured ring spectra 151 - 200, LMS Lecture Notes 315, CUP 2004 15. M J Hopkins, Lectures on Lubin-Tate spaces, Arizona Winter School (March 2019), swc.math.arizona.edu/aws/2019/2019HopkinsNotes.pdf 16. —–, J Lurie, On Brauer groups of Lubin-Tate spectra I www.math.harvard.edu/∼lurie/papers/Brauer.pdf 17. M Hovey, Operations and co-operations in Morava E-theory, Homology, Homotopy and Applications, 6 (2004) 201 - 236 18. —–, N Strickland, Morava K-theories and localisation, Mem. AMS 139 no. 666 (1999) 19. N M Katz, p-adic properties of modular schemes and modular forms, in Modular functions of one variable, III (Antwerp, 1972) 69 - 190, Springer LNM 350 (1973) 20. —–, T Oda, On the differentiation of de Rham cohomology classes with respect to parameters, J. Math. Kyoto Univ. 8 (1968) 199 - 213 21. S Lang, Cyclotomic fields I and II Springer Graduate Texts in Mathematics 121 (1990) 22. J Lubin, J Tate, Formal moduli for one-parameter formal Lie groups, Bull. Soc. Math. France 94 (1966) 49 - 59 23. J Lurie, Higher algebra, available at http://www.math.harvard.edu/ lurie/ 24. J Morava, Noetherian localisations of categories of cobordism comodules. Ann. of Math. 121 (1985) 1 - 39 25. ——, The Weil group as automorphisms of the Lubin-Tate group, Journ´ees de G´eom´etrie Alg´ebrique de Rennes I, 169 - 177, Ast´erisque 63, Soc. Math. France, Paris (1979) 26. ——, Stable homotopy and local number theory, in Algebraic analysis, geometry, and number theory 291 - 305, JHU Press, Baltimore (1989) 27. ——, Local fields and extraordinary K-theory, arXiv:1207.4011 28. ——, Complex orientations for THH of some perfectoid fields, in Homotopy theory: tools and applications, Cont. Math 729, AMS (2019), arxiv.org/1608.04702 14 JACK MORAVA
29. D Quillen, Elementary proofs of some results of cobordism theory using Steenrod operations, Advances in Math. 7 (1971) 29 - 56 30. DC Ravenel, Complex cobordism and stable homotopy groups of spheres, Pure and Applied Mathematics 121, Academic Press 1986 31. C Rezk, Notes on the Hopkins-Miller theorem, in Homotopy theory via algebraic geometry and group representations 313 - 366, Contemp. Math. 220, AMS 1998 32. ——, The congruence criterion for power operations in Morava E-theory, in Homology, Homotopy Appl. 11 (2009) 327 - 379 arXiv:0902.2499 33. R Schw¨anzl, R M Vogt, F Waldhausen, Adjoining roots of unity to E∞ ring spectra ..., in Homotopy invariant algebraic structures 245 - 249, Contemp. Math 239, AMS (1999) 34. S Schwede, Symmetric spectra, available at www.math.uni-bonn.de/people/schwede/SymSpec-v3.pdf 35. G Segal, Classifying spaces and spectral sequences, IHES Publ. Math. 34 (1968) 105 - 112 36. JP Serre, Local class field theory, in Algebraic Number Theory (Brighton) 128 - 161, Thompson (1987) 37. —–, A course in arithmetic, Springer Graduate Texts 7 (1973) 38. N Shimada, N Yagita, Multiplications in the complex bordism theory with singulari- ties, Publ. Res. Inst. Math. Sci. 12 (1976/77) 259 - 293 39. D Sullivan, Singularities in spaces, in Proceedings of Liverpool Singularities Symposium II 196 - 206, Springer LNM 209 (1971) 40. R Swan, The Grothendieck ring of a finite group, Topology 2 (1963) 85 - 110 41. J Tate, Number theoretic background, in Automorphic forms, representations and L-functions 3 - 26, Proc. Sympos. Pure Math. XXXIII, AMS (1979) 42. C Weibel, An introduction to homological algebra, Cambridge Studies in Ad- vanced Mathematics 38 (1994) 43. A Weil, Basic number theory, third edition, Springer Grundlehren der Mathema- tischen Wissenschaften 144 (1974) 44. U W¨urgler, Morava K-theories: a survey, in Algebraic topology(Poznan’) 111 - 138, Springer LNM 1474 (1991)
Department of Mathematics, The Johns Hopkins University, Baltimore, Mary- land 21218 E-mail address: [email protected]