Abstract
We introduce graded \({\mathbb {E}}_{\infty }\)-rings and graded modules over them, and study their properties. We construct projective schemes associated to connective \({\mathbb {N}}\)-graded \({\mathbb {E}}_{\infty }\)-rings in spectral algebraic geometry. Under some finiteness conditions, we show that the \(\infty \)-category of almost perfect quasi-coherent sheaves over a spectral projective scheme \(\text { {Proj}}\,(A)\) associated to a connective \({\mathbb {N}}\)-graded \({\mathbb {E}}_{\infty }\)-ring A can be described in terms of \({{\mathbb {Z}}}\)-graded A-modules.
Similar content being viewed by others
References
Blumberg, A.J., Gepner, D., Tabuada, G.: A universal characterization of higher algebraic \(K\)-theory. Geom. Topol. 17(2), 733–838 (2013)
Burklund, R., Hahn, J., Senger, A.: Galois reconstruction of Artin–Tate \({\mathbb{R}}\)-motivic spectra, preprint (2020). arXiv:2010.10325
Elmendorf, A.D., Kriz, I., Mandell, M.A., May, J.P.: Rings, Modules, and Algebras in Stable Homotopy Theory, Mathematical Surveys and Monographs, vol. 47. American Mathematical Society, Providence (1997)
Glasman, S.: Day convolution for \(\infty \)-categories. Math. Res. Lett. 23(5), 1369–1385 (2016)
Groth, M.: A short course on \(\infty \)-categories. Handbook of homotopy theory, 549–617, CRC Press/Chapman Hall Handb. Math. Ser., CRC Press, Boca Raton, FL (2020)
Gwilliam, O., Pavlov, D.: Enhancing the filtered derived category. J. Pure Appl. Algebra 222(11), 3621–3674 (2018)
Lurie, J.: Higher Topos Theory, Annals of Mathematics Studies, vol. 170. Princeton University Press, Princeton (2009)
Lurie, J.: Higher algebra (version September 18, 2017), preprint. https://www.math.ias.edu/~lurie/
Lurie, J.: Rotation invariance in algebraic \(K\)-theory, preprint (2015). https://www.math.ias.edu/~lurie/
Lurie, J.: Structured spaces, preprint (2011). https://www.math.ias.edu/~lurie/
Lurie, J.: Spectral schemes, preprint (2011). https://www.math.ias.edu/~lurie/
Lurie, J.: Quasi-coherent sheaves and Tannaka duality theorems, preprint (2011). https://www.math.ias.edu/~lurie/
Lurie, J.: Spectral algebraic geometry (version February 3, 2018), preprint. https://www.math.ias.edu/~lurie/
Moulinos, T.: The geometry of filtrations, preprint (2019). arXiv:1907.13562
Nikolaus, T., Scholze, P.: On topological cyclic homology. Acta Math. 221(2), 203–409 (2018) [Correction, Acta Math. 222(1), 215–218 (2019)]
Raksit, A.: Hochschild homology and the derived de Rham complex revisited, preprint (2020). arXiv:2007.02576
Serre, J.-P.: Faisceaux algébriques cohérents. Ann. Math. (2) 61, 197–278 (1955)
The Stacks project authors, The Stacks project (2020). https://stacks.math.columbia.edu/
Toën, B., Vezzosi, G.: Homotopical algebraic geometry. I. Topos theory. Adv. Math. 193(2), 257–372 (2005)
Toën, B., Vezzosi, G.: Homotopical algebraic geometry. II. Geometric stacks and applications. Mem. Am. Math. Soc. 193 (2008)
Acknowledgements
The first author would like to express her thanks to Professor David Gepner for his valuable advice on grading. She also would like to express her thanks to Professor Gonçalo Tabuada for a lot of advice. She had an opportunity to talk with them during a program “K-theory and related fields” at Hausdorff Institute in Bonn. The authors would like to thank the anonymous referee for useful suggestion of including Remarks 5.24. 5.26, and 5.27.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Tyler Lawson.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Takeshi Torii was partially supported by JSPS KAKENHI Grant Number JP17K05253.
Rights and permissions
About this article
Cite this article
Ohara, M., Torii, T. On graded \({\mathbb {E}}_{\infty }\)-rings and projective schemes in spectral algebraic geometry. J. Homotopy Relat. Struct. 17, 105–144 (2022). https://doi.org/10.1007/s40062-021-00298-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40062-021-00298-0
Keywords
- Graded \({\mathbb {E}}_{\infty }\)-ring
- Projective scheme
- Quasi-coherent sheaf
- Spectral algebraic geometry