×

Sites whose topoi are the smooth representations of locally prodiscrete monoids. (English) Zbl 1401.18009

Summary: We define a class of sites such that the associated topos is equivalent to the category of smooth sets (representations) of some locally prodiscrete monoids (to be defined). Examples of locally prodiscrete monoids include profinite groups and finite adele valued points of algebraic groups. This is a generalization of the fact that the topos associated with the étale site of a scheme is equivalent to the category of sets with continuous action by the étale fundamental group. We then define a subclass of sites such that the topos is equivalent to the category of discrete sets with a continuous action of a locally profinite group.

MSC:

18B25 Topoi
14L15 Group schemes
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Barr, M.; Diaconescu, R., Atomic toposes, J. Pure Appl. Math., 17, 1-24 (1980) · Zbl 0429.18006
[2] Caramello, O., Topological Galois theory, Adv. Math., 291, 646-695 (2016) · Zbl 1401.18007
[3] Caramello, O., Fraïssé’s construction from a topos-theoretic perspective, Log. Univers., 8, 2, 261-281 (2014) · Zbl 1335.03073
[4] Casselman, W., Introduction to admissible representations of \(p\)-adic groups, available from his webpage · Zbl 0723.22010
[5] Dubuc, E. J., On the representation theory of Galois and atomic topoi, J. Pure Appl. Algebra, 186, 3, 233-275 (2004) · Zbl 1037.18002
[6] Dubuc, E. J., Localic Galois theory, Adv. Math., 175, 1, 144-167 (2003) · Zbl 1027.18003
[7] Fuchs, L.; Salce, L., Modules over Non-Noetherian Domains, Mathematical Surveys and Monographs, vol. 84 (2001), American Mathematical Society (AMS): American Mathematical Society (AMS) Providence, RI, xvi, 613 p · Zbl 0973.13001
[8] Gelfand, S. I.; Manin, Yu. I., Methods of Homological Algebra, Springer Monographs in Math. (2003), Springer-Verlag: Springer-Verlag Berlin-Heidelberg-New York · Zbl 1006.18001
[9] Gabriel, P.; Zisman, M., Calculus of Fractions and Homotopy Theory, Ergebnisse der Math. und ihrer Grenz., vol. 35 (1967), Springer-Verlag: Springer-Verlag Berlin-Heidelberg-New York · Zbl 0186.56802
[10] Jensen, C. U., Les foncteurs dérivés de lim et leurs applications en théorie des modules, Lecture Notes in Mathematics, vol. 254 (1972), Springer-Verlag: Springer-Verlag Berlin-Heidelberg-New York · Zbl 0238.18007
[11] Johnstone, P. T., Sketches of an Elephant, a Topos Theory Compendium. I, Oxford Science Publications (2002), Clarendon Press: Clarendon Press Oxford, Oxford Logic Guides, vol. 43 · Zbl 1071.18001
[12] Joyal, A.; Tierney, M., An extension of the Galois theory of Grothendieck, Mem. Amer. Math. Soc., 309 (1984), 71 p · Zbl 0541.18002
[13] Kubiś, W., Fraïssé sequences: category-theoretic approach to universal homogeneous structures, Ann. Pure Appl. Logic, 165, 11, 1755-1811 (2014) · Zbl 1329.18002
[14] Mac Lane, S.; Moerdijk, I., Sheaves in Geometry and Logic, Universitext (1992), Springer-Verlag: Springer-Verlag Berlin-Heidelberg-New York · Zbl 0822.18001
[15] Moerdijk, I., Prodiscrete groups and Galois toposes, Indag. Math., 51, 2, 219-234 (1989) · Zbl 0687.18004
[16] Quillen, D., Higher Algebraic \(K\)-Theory: I, Cohomology of Groups and Algebraic \(K\)-Theory, Adv. Lect. Math. (ALM), vol. 12, 413-478 (2010), Int. Press: Int. Press Somerville, MA · Zbl 1198.19001
[17] Vigneras, M.-F., Représentations \(l\)-modulaires d’un groupe réductif \(p\)-adique avec \(l \neq p\), Progr. Math., vol. 137 (1996), Birkhäuser: Birkhäuser Boston · Zbl 0859.22001
[18] Weibel, C., An Introduction to Homological Algebra, Cambridge Studies in Advanced Mathematics, vol. 38 (1994), Cambridge University Press: Cambridge University Press Cambridge · Zbl 0797.18001
[19] Ziegler, M., Higher inverse limits, an online note available on his webpage
[20] (Demazure, M.; Grothendieck, A., Schémas en groupes, Tome I: Propriétés générales des schémas en groupes. Schémas en groupes, Tome I: Propriétés générales des schémas en groupes, Lecture Notes in Mathematics, vol. 151 (1970), Springer-Verlag). (Demazure, M.; Grothendieck, A., Schémas en groupes, Tome I: Propriétés générales des schémas en groupes. Schémas en groupes, Tome I: Propriétés générales des schémas en groupes, Lecture Notes in Mathematics, vol. 151 (1970), Springer-Verlag), Documents Mathématiques, vol. 7 (2011), Société Mathématique de France: Société Mathématique de France Paris · Zbl 1241.14002
[21] Artin, M.; Grothendieck, A.; Verdier, J. L., Théorie des topos et cohomologie étale des schémas. Tome 1: Théorie des topos, Lect. Notes Math., vol. 269 (1972), Springer-Verlag: Springer-Verlag Berlin-Heidelberg-New York · Zbl 0234.00007
[22] Deligne, P., Cohomologie étale, Lect. Notes Math., vol. 569 (1977), Springer-Verlag: Springer-Verlag Berlin-Heidelberg-New York · Zbl 0345.00010
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.