A Topological Groupoid Representing the Topos of Presheaves on a Monoid

Applied Categorical Structures - Tập 28 - Trang 749-772 - 2020
Jens Hemelaer1
1Department of Mathematics, University of Antwerp, Antwerp, Belgium

Tóm tắt

Butz and Moerdijk famously showed that every (Grothendieck) topos with enough points is equivalent to the category of sheaves on some topological groupoid. We give an alternative, more algebraic construction in the special case of a topos of presheaves on an arbitrary monoid. If the monoid is embeddable in a group, the resulting topological groupoid is the action groupoid for a discrete group acting on a topological space. For these monoids, we show how to compute the points of the associated topos.

Tài liệu tham khảo

Butz, C., Moerdijk, I.: Representing topoi by topological groupoids. J. Pure Appl. Algebra 130(3), 223–235 (1998) Connes, A., Consani, C.: The arithmetic site. R. Math. Acad. Sci. Paris 352(12), 971–975 (2014) Deitmar, A.: Schemes over \({\mathbb{F}}_1\), number fields and function fields—two parallel worlds, pp. 87–100. Birkhäuser Boston, Boston (2005) Funk, J., Hofstra, P.: Topos theoretic aspects of semigroup actions. Theory Appl. Categ. 24(6), 117–147 (2010) Hemelaer, J.: An arithmetic topos for integer matrices. J. Number Theory 204, 155–184 (2019) Johnstone, P.T.: Factorization theorems for geometric morphisms. I. Cahiers Topologie Géom. Différentielle 22(1), 3–17 (1981). Third Colloquium on Categories (Amiens, 1980), Part II Johnstone, P.T.: Sketches of an elephant: a topos theory compendium, vol. 1. Oxford Logic Guides, vol. 43. The Clarendon Press, New York (2002) Johnstone, P.T.: Sketches of an elephant: a topos theory compendium, vol. 2. Oxford Logic Guides, vol. 44, p. 2063092. The Clarendon Press, Oxford (2002) Kurokawa, N., Ochiai, H., Wakayama, M.: Absolute derivations and zeta functions. Doc. Math. no. (Extra) Vol., 565–584 (2003). Kazuya kato’s fiftieth birthday Loregian, F., Riehl, E.: Categorical notions of fibration, preprint (2019). arXiv:1806.06129v2 Mal’cev, A.I.: On the immersion of an algebraic ring into a field. Math. Ann. 113(1), 686–691 (1937) Manin, Y.: Lectures on zeta functions and motives (according to Deninger and Kurokawa), Astérisque, 228(4), 121–163 (1995) Columbia University Number Theory Seminar , New York (1992) Pirashvili, I.: Topos points of quasi-coherent sheaves over monoid schemes. In: Mathematical Proceedings of the Cambridge Philosophical Society (2019). arXiv:1611.02211 Rogers, M.: Toposes of Discrete Monoid Actions, preprint (2019). arXiv:1905.10277 Théorie des topos et cohomologie étale des schémas: Tome 1: Théorie des topos. In: Lecture Notes in Mathematics, vol. 269. Springer, Berlin (1972) Tits, J.: Sur les analogues algébriques des groupes semi-simples complexes, Colloque d’algèbre supérieure, tenu à Bruxelles du 19 au 22 décembre: Centre Belge de Recherches Mathématiques, Établissements Ceuterick. Louvain; Librairie Gauthier-Villars, Paris 1957, 261–289 (1956) Toën, B., Vaquié, M.: Au-dessous de \({\rm Spec}\,\mathbb{Z}\). J. K-Theory 3(3), 437–500 (2009) Vezzani, A.: Deitmar’s versus Toën–Vaquié’s schemes over \(\mathbb{F}_1\). Math. Z. 271(3–4), 911–926 (2012)