Sites whose topoi are the smooth representations of locally prodiscrete monoids

KONDO S., Yasuda S.

JOURNAL OF ALGEBRA, vol.502, pp.382-496, 2018 (SCI-Expanded, Scopus) identifier identifier

  • Publication Type: Article / Article
  • Volume: 502
  • Publication Date: 2018
  • Doi Number: 10.1016/j.jalgebra.2018.01.033
  • Journal Name: JOURNAL OF ALGEBRA
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Page Numbers: pp.382-496
  • Middle East Technical University Northern Cyprus Campus Affiliated: No

Abstract

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 etale site of a scheme is equivalent to the category of sets with continuous action by the etale 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. (C) 2018 Elsevier Inc. All rights reserved.