zbMATH — the first resource for mathematics

Moduli of formal \(A\)-modules under change of \(A\). (English) Zbl 1427.11131
Summary: We develop methods for computing the restriction map from the cohomology of the automorphism group of a height \(dn\) formal group law (i.e. the height \(dn\) Morava stabilizer group) to the cohomology of the automorphism group of an \(A\)-height \(n\) formal \(A\)-module, where \(A\) is the ring of integers in a degree \(d\) field extension of \(\mathbb{Q}_p\). We then compute this map for the quadratic extensions of \(\mathbb{Q}_p\) and the height 2 Morava stabilizer group at primes \(p>3\). We show that the these automorphism groups of formal modules are closed subgroups of the Morava stabilizer groups, and we use local class field theory to identify the automorphism group of an \(A\)-height 1-formal \(A\)-module with the ramified part of the abelianization of the absolute Galois group of \(K\), yielding an action of \(\mathrm{Gal}(K^{\text{ab}}/K^{\text{nr}})\) on the Lubin-Tate/Morava \(E\)-theory spectrum \(E_2\) for each quadratic extension \(K/\mathbb{Q}_p\). Finally, we run the associated descent spectral sequence to compute the \(V(1)\)-homotopy groups of the homotopy fixed-points of this action; one consequence is that, for each element in the \(K(2)\)-local homotopy groups of \(V(1)\), either that element or an appropriate dual of it is detected in the Galois cohomology of the abelian closure of some quadratic extension of \(\mathbb{Q}_p\).
11S31 Class field theory; \(p\)-adic formal groups
14L05 Formal groups, \(p\)-divisible groups
55N22 Bordism and cobordism theories and formal group laws in algebraic topology
55P42 Stable homotopy theory, spectra
Full Text: DOI
[1] 10.1090/S0002-9947-10-05154-8 · Zbl 1204.55007
[2] 10.2307/2375086 · Zbl 0842.14034
[3] 10.1016/S0040-9383(03)00029-6 · Zbl 1047.55004
[4] ; A century of mathematics in America, II. History of Mathematics, 2, (1989)
[5] 10.1017/CBO9780511529955.009
[6] ; Harris, The geometry and cohomology of some simple Shimura varieties. Annals of Mathematics Studies, 151, (2001)
[7] 10.1090/chel/375
[8] 10.1017/CBO9780511793837
[9] ; Lazard, Inst. Hautes √Čtudes Sci. Publ. Math., 26, 389, (1965)
[10] 10.1007/BFb0070554
[11] ; Manin, Uspehi Mat. Nauk, 18, 3, (1963)
[12] 10.2307/1971064 · Zbl 0374.55022
[13] 10.1007/978-3-662-03983-0
[14] 10.4007/annals.2007.165.171 · Zbl 1126.20018
[15] 10.1515/9781400882601 · Zbl 0873.14039
[16] 10.1016/0022-4049(84)90096-3 · Zbl 0584.14030
[17] ; Ravenel, Complex cobordism and stable homotopy groups of spheres. Pure and Applied Mathematics, 121, (1986) · Zbl 0608.55001
[18] ; Ravenel, Nilpotence and periodicity in stable homotopy theory. Annals of Mathematics Studies, 128, (1992) · Zbl 0774.55001
[19] 10.1007/978-1-4757-3254-2
[20] 10.1007/978-1-4612-6217-6
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.