Abstract
The objective of this paper is to introduce and study completions and local homology of comodules over Hopf algebroids, extending previous work of Greenlees and May in the discrete case. In particular, we relate module-theoretic to comodule-theoretic completion, construct various local homology spectral sequences, and derive a tilting-theoretic interpretation of local duality for modules. Our results translate to quasi-coherent sheaves over global quotient stacks and feed into a novel approach to the chromatic splitting conjecture.
Article PDF
Similar content being viewed by others
References
Baker, A.: \(I_n\)-local Johnson-Wilson spectra and their Hopf algebroids. Doc. Math. 5, 351–364 (2000). (electronic)
Beilinson, A.A., Bernstein, J., Deligne, P.: Faisceaux pervers. In: Analysis and Topology on Singular Spaces, I (Luminy, 1981), volume 100 of Astérisque, pp. 5–171. Soc. Math. France, Paris (1982)
Bican, L., El Bashir, R., Enochs, E.: All modules have flat covers. Bull. Lond. Math. Soc. 33(4), 385–390 (2001)
Barthel, T., Beaudry, A., Peterson, E.: The homology of inverse limits and the algebraic chromatic splitting conjecture (in preparation)
Barthel, T., Frankland, M.: Completed power operations for Morava \(E\)-theory. Algebr. Geom. Topol. 15(4), 2065–2131 (2015)
Barthel, T., Heard, D., Valenzuela, G.: Local duality in algebra and topology. Adv. Math. 335, 563–663 (2018)
Bousfield, A.K., Kan, D.M.: Homotopy Limits, Completions and Localizations. Lecture Notes in Mathematics, vol. 304. Springer, Berlin-New York (1972)
Brodmann, M.P., Sharp, R.Y.: Local Cohomology, volume 136 of Cambridge Studies in Advanced Mathematics, 2nd edn. Cambridge University Press, Cambridge (2013). An algebraic introduction with geometric applications
Devinatz, E.S.: Morava’s change of rings theorem. In: The Čech Centennial (Boston, MA, 1993), volume 181 of Contemp. Math., pp. 83–118. Amer. Math. Soc., Providence (1995)
Dwyer, W.G., Greenlees, J.P.C.: Complete modules and torsion modules. Am. J. Math. 124(1), 199–220 (2002)
Enochs, E.: Flat covers and flat cotorsion modules. Proc. Am. Math. Soc. 92(2), 179–184 (1984)
Greenlees, J.P.C., May, J.P.: Derived functors of \(I\)-adic completion and local homology. J. Algebra 149(2), 438–453 (1992)
Greenlees, J.P.C., May, J.P.: Localization and completion theorems for \(M{{\rm U}}\)-module spectra. Ann. Math. (2) 146(3), 509–544 (1997)
Hovey, M.: Homotopy theory of comodules over a Hopf algebroid. In: Homotopy Theory: Relations with Algebraic Geometry, Group Cohomology, and Algebraic \(K\)-theory, volume 346 of Contemp. Math., pp. 261–304. Amer. Math. Soc., Providence (2004)
Hovey, M., Palmieri, J.H., Strickland, N.P.: Axiomatic stable homotopy theory. Mem. Am. Math. Soc. 128(610), x+114 (1997)
Hovey, M.A., Strickland, N.P.: Morava \({K}\)-theories and localisation. Mem. Am. Math. Soc. 139(666), viii+100–100 (1999)
Hovey, M., Strickland, N.: Comodules and Landweber exact homology theories. Adv. Math. 192(2), 427–456 (2005)
Hovey, M., Strickland, N.: Local cohomology of \({{\rm BP}}_{*}{{\rm BP}}\)-comodules. Proc. Lond. Math. Soc. (3) 90(2), 521–544 (2005)
Jannsen, U.: Continuous étale cohomology. Math. Ann. 280(2), 207–245 (1988)
Krause, H.: The stable derived category of a Noetherian scheme. Compos. Math. 141(5), 1128–1162 (2005)
Lam, T.Y.: Lectures on Modules and Rings, volume 189 of Graduate Texts in Mathematics. Springer, New York (1999)
Lurie, J.: Higher Topos Theory. Annals of Mathematics Studies, vol. 170. Princeton University Press, Princeton (2009)
Lurie, J.: Proper Morphisms, Completions, and the Grothendieck Existence Theorem (2011). Draft available from author’s website as www.math.harvard.edu/~lurie/papers/DAG-XII.pdf
Lurie, J.: Higher Algebra (2017). Draft available from author’s website as http://www.math.harvard.edu/~lurie/papers/HA.pdf
Naumann, N.: The stack of formal groups in stable homotopy theory. Adv. Math. 215(2), 569–600 (2007)
Pstrągowski, P.: Synthetic spectra and the cellular motivic category (2018). arXiv:1803.01804
Porta, M., Shaul, L., Yekutieli, A.: On the homology of completion and torsion. Algebr. Represent. Theory 17(1), 31–67 (2014)
Ravenel, D.C.: Complex Cobordism and Stable Homotopy Groups of Spheres. Pure and Applied Mathematics, vol. 121. Academic Press Inc, Orlando (1986)
Rezk, C.: Analytic Completion (2013). Draft available at http://www.math.uiuc.edu/~rezk/analytic-paper.pdf
Schenzel, P.: Proregular sequences, local cohomology, and completion. Math. Scand. 92(2), 161–180 (2003)
Sitte. T.: Local cohomology sheaves on algebraic stacks. Ph.D. thesis (2014)
Valenzuela, G.: Homological algebra of complete and torsion modules. Ph.D. thesis, Wesleyan University (2015)
Weibel, C.A.: An Introduction to Homological Algebra, volume 38 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1994)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Barthel, T., Heard, D. & Valenzuela, G. Derived completion for comodules. manuscripta math. 161, 409–438 (2020). https://doi.org/10.1007/s00229-018-1094-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00229-018-1094-0