The homotopy fixed point spectra of profinite Galois extensions

Behrens, Mark; Davis, Daniel

doi:10.1090/S0002-9947-10-05154-8

The homotopy fixed point spectra of profinite Galois extensions
HTML articles powered by AMS MathViewer

by Mark Behrens and Daniel G. Davis PDF

Trans. Amer. Math. Soc. 362 (2010), 4983-5042 Request permission

Abstract:

Let $E$ be a $k$-local profinite $G$-Galois extension of an $E_\infty$-ring spectrum $A$ (in the sense of Rognes). We show that $E$ may be regarded as producing a discrete $G$-spectrum. Also, we prove that if $E$ is a profaithful $k$-local profinite extension which satisfies certain extra conditions, then the forward direction of Rognes’s Galois correspondence extends to the profinite setting. We show that the function spectrum $F_A((E^{hH})_k, (E^{hK})_k)$ is equivalent to the localized homotopy fixed point spectrum $((E[[G/H]])^{hK})_k$, where $H$ and $K$ are closed subgroups of $G$. Applications to Morava $E$-theory are given, including showing that the homotopy fixed points defined by Devinatz and Hopkins for closed subgroups of the extended Morava stabilizer group agree with those defined with respect to a continuous action in terms of the derived functor of fixed points.

References

Andrew Baker and Birgit Richter, Realizability of algebraic Galois extensions by strictly commutative ring spectra, Trans. Amer. Math. Soc. 359 (2007), no. 2, 827–857. MR 2255198, DOI 10.1090/S0002-9947-06-04201-2
Mark Behrens, A modular description of the $K(2)$-local sphere at the prime 3, Topology 45 (2006), no. 2, 343–402. MR 2193339, DOI 10.1016/j.top.2005.08.005
M. Behrens, T. Lawson, Topological Automorphic Forms. Mem. Amer. Math. Soc. 204 (2010), no. 958, xxiii + 136pp.
A. K. Bousfield, The localization of spectra with respect to homology, Topology 18 (1979), no. 4, 257–281. MR 551009, DOI 10.1016/0040-9383(79)90018-1
D.G. Davis, The Lubin-Tate spectrum and its homotopy fixed point spectra. Thesis, Northwestern University, 2003.
Daniel G. Davis, Homotopy fixed points for $L_{K(n)}(E_n\wedge X)$ using the continuous action, J. Pure Appl. Algebra 206 (2006), no. 3, 322–354. MR 2235364, DOI 10.1016/j.jpaa.2005.06.022
Daniel G. Davis, Iterated homotopy fixed points for the Lubin-Tate spectrum, Topology Appl. 156 (2009), no. 17, 2881–2898. With an appendix by Daniel G. Davis and Ben Wieland. MR 2556043, DOI 10.1016/j.topol.2009.08.026
Ethan S. Devinatz, A Lyndon-Hochschild-Serre spectral sequence for certain homotopy fixed point spectra, Trans. Amer. Math. Soc. 357 (2005), no. 1, 129–150. MR 2098089, DOI 10.1090/S0002-9947-04-03394-X
Ethan S. Devinatz and Michael J. Hopkins, Homotopy fixed point spectra for closed subgroups of the Morava stabilizer groups, Topology 43 (2004), no. 1, 1–47. MR 2030586, DOI 10.1016/S0040-9383(03)00029-6
J. D. Dixon, M. P. F. du Sautoy, A. Mann, and D. Segal, Analytic pro-$p$ groups, 2nd ed., Cambridge Studies in Advanced Mathematics, vol. 61, Cambridge University Press, Cambridge, 1999. MR 1720368, DOI 10.1017/CBO9780511470882
W. G. Dwyer, D. M. Kan, and J. H. Smith, Homotopy commutative diagrams and their realizations, J. Pure Appl. Algebra 57 (1989), no. 1, 5–24. MR 984042, DOI 10.1016/0022-4049(89)90023-6
Halvard Fausk, Equivariant homotopy theory for pro-spectra, Geom. Topol. 12 (2008), no. 1, 103–176. MR 2377247, DOI 10.2140/gt.2008.12.103
Halvard Fausk and Daniel C. Isaksen, t-model structures, Homology Homotopy Appl. 9 (2007), no. 1, 399–438. MR 2299805, DOI 10.4310/HHA.2007.v9.n1.a16
Paul G. Goerss, Homotopy fixed points for Galois groups, The Čech centennial (Boston, MA, 1993) Contemp. Math., vol. 181, Amer. Math. Soc., Providence, RI, 1995, pp. 187–224. MR 1320993, DOI 10.1090/conm/181/02035
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 (2005), no. 2, 777–822. MR 2183282, DOI 10.4007/annals.2005.162.777
P. G. Goerss and M. J. Hopkins, Moduli spaces of commutative ring spectra, Structured ring spectra, London Math. Soc. Lecture Note Ser., vol. 315, Cambridge Univ. Press, Cambridge, 2004, pp. 151–200. MR 2125040, DOI 10.1017/CBO9780511529955.009
Philip S. Hirschhorn, Model categories and their localizations, Mathematical Surveys and Monographs, vol. 99, American Mathematical Society, Providence, RI, 2003. MR 1944041, DOI 10.1090/surv/099
Michael J. Hopkins, Mark Mahowald, and Hal Sadofsky, Constructions of elements in Picard groups, Topology and representation theory (Evanston, IL, 1992) Contemp. Math., vol. 158, Amer. Math. Soc., Providence, RI, 1994, pp. 89–126. MR 1263713, DOI 10.1090/conm/158/01454
Mark Hovey, Bousfield localization functors and Hopkins’ chromatic splitting conjecture, The Čech centennial (Boston, MA, 1993) Contemp. Math., vol. 181, Amer. Math. Soc., Providence, RI, 1995, pp. 225–250. MR 1320994, DOI 10.1090/conm/181/02036
Mark Hovey, Spectra and symmetric spectra in general model categories, J. Pure Appl. Algebra 165 (2001), no. 1, 63–127. MR 1860878, DOI 10.1016/S0022-4049(00)00172-9
Mark Hovey, Brooke Shipley, and Jeff Smith, Symmetric spectra, J. Amer. Math. Soc. 13 (2000), no. 1, 149–208. MR 1695653, DOI 10.1090/S0894-0347-99-00320-3
Mark Hovey and Neil P. Strickland, Morava $K$-theories and localisation, Mem. Amer. Math. Soc. 139 (1999), no. 666, viii+100. MR 1601906, DOI 10.1090/memo/0666
D.C. Isaksen, Generalized cohomology of pro-spectra. Preprint.
J. F. Jardine, Simplicial presheaves, J. Pure Appl. Algebra 47 (1987), no. 1, 35–87. MR 906403, DOI 10.1016/0022-4049(87)90100-9
J. F. Jardine, Stable homotopy theory of simplicial presheaves, Canad. J. Math. 39 (1987), no. 3, 733–747. MR 905753, DOI 10.4153/CJM-1987-035-8
J. F. Jardine, Generalized étale cohomology theories, Progress in Mathematics, vol. 146, Birkhäuser Verlag, Basel, 1997. MR 1437604, DOI 10.1007/978-3-0348-0066-2
J. F. Jardine, Generalised sheaf cohomology theories, Axiomatic, enriched and motivic homotopy theory, NATO Sci. Ser. II Math. Phys. Chem., vol. 131, Kluwer Acad. Publ., Dordrecht, 2004, pp. 29–68. MR 2061851, DOI 10.1007/978-94-007-0948-5_{2}
Michael A. Mandell, Equivariant symmetric spectra, Homotopy theory: relations with algebraic geometry, group cohomology, and algebraic $K$-theory, Contemp. Math., vol. 346, Amer. Math. Soc., Providence, RI, 2004, pp. 399–452. MR 2066508, DOI 10.1090/conm/346/06297
M. A. Mandell, J. P. May, S. Schwede, and B. Shipley, Model categories of diagram spectra, Proc. London Math. Soc. (3) 82 (2001), no. 2, 441–512. MR 1806878, DOI 10.1112/S0024611501012692
J. P. May, The geometry of iterated loop spaces, Lecture Notes in Mathematics, Vol. 271, Springer-Verlag, Berlin-New York, 1972. MR 0420610, DOI 10.1007/BFb0067491
Haynes R. Miller, On relations between Adams spectral sequences, with an application to the stable homotopy of a Moore space, J. Pure Appl. Algebra 20 (1981), no. 3, 287–312. MR 604321, DOI 10.1016/0022-4049(81)90064-5
Stephen A. Mitchell, Hypercohomology spectra and Thomason’s descent theorem, Algebraic $K$-theory (Toronto, ON, 1996) Fields Inst. Commun., vol. 16, Amer. Math. Soc., Providence, RI, 1997, pp. 221–277. MR 1466977
Charles Rezk, Notes on the Hopkins-Miller theorem, Homotopy theory via algebraic geometry and group representations (Evanston, IL, 1997) Contemp. Math., vol. 220, Amer. Math. Soc., Providence, RI, 1998, pp. 313–366. MR 1642902, DOI 10.1090/conm/220/03107
John Rognes, Galois extensions of structured ring spectra. Stably dualizable groups, Mem. Amer. Math. Soc. 192 (2008), no. 898, viii+137. MR 2387923, DOI 10.1090/memo/0898
J. Rognes, A Galois extension that is not faithful. Available at the website http://folk.uio.no/rognes/papers/unfaithful.pdf.
Stefan Schwede, On the homotopy groups of symmetric spectra, Geom. Topol. 12 (2008), no. 3, 1313–1344. MR 2421129, DOI 10.2140/gt.2008.12.1313
S. Schwede, An untitled book project about symmetric spectra. Preprint.
Jean-Pierre Serre, Cohomologie galoisienne, 5th ed., Lecture Notes in Mathematics, vol. 5, Springer-Verlag, Berlin, 1994 (French). MR 1324577, DOI 10.1007/BFb0108758
N. P. Strickland, Gross-Hopkins duality, Topology 39 (2000), no. 5, 1021–1033. MR 1763961, DOI 10.1016/S0040-9383(99)00049-X
Peter Symonds and Thomas Weigel, Cohomology of $p$-adic analytic groups, New horizons in pro-$p$ groups, Progr. Math., vol. 184, Birkhäuser Boston, Boston, MA, 2000, pp. 349–410. MR 1765127
R. W. Thomason, Algebraic $K$-theory and étale cohomology, Ann. Sci. École Norm. Sup. (4) 18 (1985), no. 3, 437–552. MR 826102, DOI 10.24033/asens.1495
John S. Wilson, Profinite groups, London Mathematical Society Monographs. New Series, vol. 19, The Clarendon Press, Oxford University Press, New York, 1998. MR 1691054