Abstract
Let k be a commutative ring. We prove that the 2-category \(\mathsf {Grt}_k\) of Grothendieck abelian k-linear categories with colimit preserving k-linear functors and k-linear natural transformations is a bicategory of fractions in the sense of Pronk [17] of the 2-category \(\mathsf {Site}_{k,\mathsf {cont}}\) of k-linear sites with k-linear continuous functors and k-linear natural transformations. In complete analogy, we prove that the conjugate-opposite 2-category of the 2-category \(\mathsf {Topoi}_k\) of Grothendieck abelian k-linear categories with k-linear geometric morphisms and k-linear morphisms between them is a bicategory of fractions of the 2-category \(\mathsf {Site}_k\) of k-linear sites with k-linear morphisms of sites and k-linear natural transformations. In addition, we show how the first statement can potentially be used to make the tensor product of Grothendieck categories from [14] into a bi-monoidal structure on \(\mathsf {Grt}_k\).
Similar content being viewed by others
References
Théorie des topos et cohomologie étale des schémas. Tome 1: Théorie des topos. Springer, Berlin, 1972, Séminaire de Géométrie Algébrique du Bois-Marie 1963–1964 (SGA 4), Dirigé par M. Artin, A. Grothendieck, et J. L. Verdier. Avec la collaboration de N. Bourbaki, P. Deligne et B. Saint-Donat, Lecture Notes in Mathematics, Vol. 269
Artin, M., Tate, J., Van den Bergh, M.: Some algebras associated to automorphisms of elliptic curves. In: The Grothendieck Festschrift, Vol. I, Progr. Math. 86, Birkhäuser Boston, Boston, pp. 33–85(1990)
Artin, M., Zhang, J.J.: Noncommutative projective schemes. Adv. Math. 109(2), 228–287 (1994)
Bénabou, J.: Introduction to Bicategories, pp. 1–77. Springer, Berlin, Reports of the Midwest Category Seminar (1967)
Borceux, F., Quinteiro, C.: A theory of enriched sheaves. Cah. Top. Géom. Diff. Catég. 2, 145–162 (1996)
Centazzo, C., Vitale, E.M.: A classification of geometric morphisms and localizations for presheaf categories and algebraic categories. J. Algebra 303(1), 77–96 (2006)
Day, B.: Note on monoidal localisation. Bull. Austral. Math. Soc. 8, 1–16 (1973)
Freyd, P.J.: Abelian categories. Repr. Theory Appl. Categ. 3, 1–190 (2003)
Gabriel, P., Popescu, N.: Caractérisation des catégories abéliennes avec générateurs et limites inductives exactes. C. R. Acad. Sci. Paris 258, 4188–4190 (1964)
Gabriel, P., Zisman, M.: Calculus of fractions and homotopy theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 35 Springer, New York, pp. x+168 (1967)
Ganter, N., Kapranov, M.: Representation and character theory in \(2\)-categories. Adv. Math. 217(5), 2268–2300 (2008)
Lowen, W.: Linearized topologies and deformation theory. Topol. Appl. 200, 176–211 (2016)
Lowen, W.: A generalization of the Gabriel–Popescu theorem. J. Pure Appl. Algebra 190(1–3), 197–211 (2004)
Lowen, W., Ramos González, J., Shoikhet, B.: On the tensor product of linear sites and Grothendieck categories. Int. Math. Res. Not. IMRN (2017). https://doi.org/10.1093/imrn/rnx072
Moerdijk, I.: The classifying topos of a continuous groupoid. I. Trans. Am. Math. Soc. 310(2), 629–668 (1988)
Moerdijk, I.: The classifying topos of a continuous groupoid. II. Cah. Top. Géom. Diff. Catég 31(2), 137–168 (1990)
Pronk, D.: Etendues and stacks as bicategories of fractions. Compos. Math. 102(3), 24–303 (1996)
Ramos González, J.: On the tensor product of large categories. Ph.D. thesis, University of Antwerp, pp. xiv+157 (2017)
The Stacks Project Authors. Stacks Project. http://stacks.math.columbia.edu (2017)
Stafford, J.T., Van den Bergh, M.: Noncommutative curves and noncommutative surfaces. Bull. Am. Math. Soc 38(2), 171–216 (2001)
Tommasini, M.: Some insights on bicategories of fractions: representations and compositions of \(2\)-morphisms Theory Appl. Categ. 31, Paper No. 10, pp. 257–329 (2016)
Tommasini, M.: Some insights on bicategories of fractions II–Right saturations and induced pseudofunctors between bicategories of fractions. arXiv:1410.5075 [math.CT]
Tommasini, M.: Some insights on bicategories of fractions III– Equivalences of bicategories of fractions. arXiv:1410.6395 [math.CT]
Wolff, H.: \({\cal{V}}\)-fractional categories. Cahiers Topol. Géom. Différ. 16(2), 149–168 (1975)
Acknowledgements
I am very grateful to Wendy Lowen for many interesting discussions, the careful reading of this manuscript and her valuable suggestions. I would also like to thank Ivo Dell’Ambrogio, Boris Shoikhet and Enrico Vitale for useful comments on bicategories of fractions and Matteo Tommasini, whose explanations on the behaviour of 2-morphisms after localization have been essential in order to obtain the main result of this paper. I am also very grateful to an anonymous referee for the careful reading of the paper, for pointing out reference [15] and for the useful comments and suggestions which have led to the parallel analysis of the two different settings considered in the current version of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by R. Street.
The author acknowledges the support of the Research Foundation Flanders (FWO) under Grant No. G.0112.13N.
Rights and permissions
About this article
Cite this article
Ramos González, J. Grothendieck Categories as a Bilocalization of Linear Sites. Appl Categor Struct 26, 717–745 (2018). https://doi.org/10.1007/s10485-017-9511-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-017-9511-1