Abstract
The purpose of this paper is to set up derived categories of sheaves of \(E_\infty \)-rings and modules over non-derived sites, in particular over topological spaces. This theory opens up certain new capabilities in spectral algebra. For example, as outlined in the last section of the present paper, using these concepts, one can conjecture a spectral algebra-based generalization of the geometric Langlands program to manifolds of dimension \(>2\). As explained in a previous paper (Chen et al. in Theory Appl Categ 32:1363-1396, 2017) the only theory of sheaves of spectra on non-derived sites known to date which has well-behave pushforwards is based on Kan spectra, which, however, are reputed not to possess a smash product rigid enough for discussing \(E_\infty \)-objects. The bulk of this paper is devoted to remedying this situation, i.e. defining a more rigid smash product of Kan spectra, and using it to construct the desired derived categories.
Similar content being viewed by others
Data Availability
All the data and materials are included in the text and the references cited.
References
Ausoni, C., Rognes, J.: Rational algebraic K-theory of topological K-theory. Geom. Top. 16, 2037–2065 (2012)
Balmer, P.: The spectrum of prime ideals in tensor triangulated categories. J. Reine Angew. Math. 588, 149–168 (2005)
Bousfield, A.K., Friedlander, E.M.: Homotopy theory of \(\Gamma \)-spaces, spectra, and bisimplicial sets, Geometric applications of homotopy theory (Proc. Conf., Evanston, Ill., 1977), II, pp. 80–130, Lecture Notes in Math., 658. Springer, Berlin (1978)
Brown, K.S.: Abstract homotopy theory and generalised sheaf cohomology. Trans. AMS 186, 419–458 (1973)
Brown, K.S., Gersten, S.M.: Algebraic K-theory as generalized sheaf cohomology, Algebraic K-theory, I: Higher K-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), pp. 266–292. Lecture Notes in Math., Vol. 341. Springer, Berlin (1973)
Blumberg, A.J., Mandell, M.A.: The localization sequence for the algebraic K-theory of topological K-theory. Acta Math. 200, 155–179 (2008)
Chen, R.: \(E_\infty \)-Rings and Modules in Kan Spectral Sheaves, PhD thesis, to appear
Chen, R., Kriz, I., Pultr, A.: Kan’s combinatorial spectra and their sheaves revisited. Theory Appl. Categ. 32, 1363–1396 (2017)
Elmendorf, A.D., Kriz, I., Mandell, M.A., May, J.P.: Rings, modules, and algebras in stable homotopy theory. With an appendix by M. Cole. Mathematical Surveys and Monographs, 47. American Mathematical Society, Providence, RI (1997)
Elmendorf, A.D., Mandell, M.A.: Rings, modules, and algebras in infinite loop space theory. Adv. Math. 205(1), 163–228 (2006)
Frenkel, E., Gaitsgory, D., Vilonen, K.: On the geometric Langlands conjecture. J. AMS 15, 367–417 (2002)
Freyd, P.J., Kelly, G.M.: Categories of continuous functors, I. J. Pure Appl. Algebra 2, 169–191, erratum. J. Pure Appl. Algebra 4(1974), 121 (1972)
Goerss, P., Henn, H.-W., Mahowald, M., Rezk, C.: On Hopkins’ Picard groups for the prime 3 at chromatic level 2. J. Top. 8, 267–294 (2015)
Goerss, P.G., Hopkins, M.J.: Moduli spaces of commutative ring spectra, Structured Ring Spectra 151–200, London Math. Soc. Lecture Note Ser. 315, Cambridge Univ. Press (2004)
Goerss, P.G., Jardine, J.F.: Simplicial Homotopy Theory, Progress in Mathematics, vol. 174. Birkhäuser, Basel (1999)
Hovey, M., Shipley, B., Smith, J.: Symmetric spectra. J. Am. Math. Soc. 13, 149–208 (2000)
Hsiang, W.C., Staffeldt, R.E.: Rational algebraic K-theory of a product of Eilenberg–MacLane spaces. In: Proceedings of the Northwestern Homotopy Theory Conference (Evanston, 1982) , Contemp. Math. 19, AMS, Providence (1983)
Hu, P., Kriz, I., Somberg, P.: Derived representation theory of Lie algebras and stable homotopy categorification of \(sl_k\). Adv. Math. 341, 367–439 (2019)
Joyal, A.: Quasicategories and Kan complexes. J. Pure Appl. Alg. 175, 175–222 (2005)
Joyal, A., Tierney, M.: Quasi-categories vs Segal spaces, Categories in algebra, geometry and mathematical physics, 277–326, Contemp. Math., 431, Amer. Math. Soc., Providence, RI (2007)
Kan, D.: Semisimplicial spectra. Illinois J. Math. 7, 463–478 (1963)
Kan, D., Whitehead, G.W.: The reduced join of two spectra. Topology 3(suppl, suppl. 2), 239–261 (1965)
Kriz, S.: Actads. Sci. China Math. (2022). https://doi.org/10.1007/s11425-021-1902-3
Lewis, L.G., May, J.P., Steinberger, M.: Equivariant stable homotopy theory. With contributions by J. E. McClure, Lecture Notes in Mathematics, 1213. Springer, Berlin (1986)
Lurie, J.: Higher Algebra. https://www.math.ias.edu/~lurie/
Lurie, J.: Higher Topos Theory, Annals of Mathematics Studies, vol. 170. Princeton University Press, Princeton (2009)
Mandell, M.A., May, J.P.: Equivariant orthogonal spectra and S-modules. Mem. Am. Math. Soc. 159(755), x+108 pp (2002)
Mandell, M.A., May, J.P., Shipley, S., Schwede, B.: Model categories of diagram spectra. Proc. Lond. Math. Soc. (3) 82(2), 441–512 (2001)
May, J.P., Thomason, R.: The uniqueness of infinite loop space machines. Topology 17(3), 205–224 (1978)
MacLane, S.: Categories for the Working Mathematician, Graduate Texts in Math, vol. 5. Springer, Berlin (1971)
Quillen, D.: Higher algebraic K-theory. I. Algebraic K-theory, I: Higher K-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), pp. 85–147. Lecture Notes in Math., Vol. 341. Springer, Berlin (1973)
Quillen, D.G.: Homotopical Algebra, Lecture Notes in Mathematics, vol. 43. Springer, Berlin (1967)
Sati, H., Westerland, C.: Twisted Morava K-theory and E-theory. J. Topol. 8, 887–916 (2015)
Thomason, R.W.: Algebraic K-theory and étale cohomology. Ann. Sci. École Norm. Sup. (4) 18(3), 437–552 (1985), Erratum: Ann. Sci. École Norm. Sup. (4) 22(4), 675–677 (1989)
Toën, B., Vezzosi, G.: Homotopical algebraic geometry. I. Topos theory. Adv. Math. 193(2), 257–372 (2005), II. Geometric stacks and applications, Mem. Am. Math. Soc. 193(902), x+224 pp (2008)
Toën, B., Vezzosi, G.: Brave new algebraic geometry and global derived moduli spaces of ring spectra. Elliptic cohomology, 325–359, London Math. Soc. Lecture Note Ser., 342, Cambridge Univ. Press, Cambridge, (2007)
Westerland, C.: A higher chromatic analogue of the image of \(J\). Geom. Top. 21, 1033–1093 (2017)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no conflict of interest.
Additional information
Communicated by Maria Manuel Clementino.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Chen acknowledges support of NSF RTG Grant 1045119. Kriz acknowledges the support of a Simons Collaboration Grant. Pultr extends his thanks to KAM, Faculty of Mathematics and Physics of the Charles University in Prague.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Chen, R., Kriz, I. & Pultr, A. Rings and Modules in Kan Spectra. Appl Categor Struct 31, 18 (2023). https://doi.org/10.1007/s10485-023-09719-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10485-023-09719-y