Prise de vue et mise en page : Stéphane Dugowson
(NdW = note du webmaster)
Exposé donné dans le cadre du
séminaire d'Algèbres d'Opérateurs de Paris VII
Avertissement du webmaster : lorsqu'Olivia parle d'espace compact, c'est au sens de la terminologie en anglais, donc cela équivaut à ce que nous appelons "quasi-compact" en français, ce qui n'implique pas que l'espace soit séparé (=T2 = Hausdorff).
Notions sur les topos (Grothendieck)
Bases de Wallman
Treillis distributifs
"Dualité 1" : espaces compacts (donc T2) / algèbres d'Alexandrov
"Dualité 2" : espaces (quasi-)compacts T1 / (treillis infinitaires conjonctifs)
Cribles sur un objet dans une (petite) catégorie.
Topologies de Grothendieck sur une petite catégorie.
Des sites complètement différents peuvent engendrer le même topos.
Remarque d'Alain Connes sur l'analogie entre (1) le passage des espaces topologiques aux sites dans leurs relations avec les topos et (2) le passage des espaces commutatifs aux espaces non-commutatifs dans leurs relations aux C*-algèbres.
Remarque d'Anatole Khélif sur la bi-interprétabilité. Lien avec la Morita équivalence ?
2
Suite de la discussion sur "différences et unification" : groupoïdes sans Morita-équivalence manifeste au niveau ensembliste mais ayant mêmes C*-algèbres associées (A. Connes), diverses sortes de bi-interprétabilité (A. Khélif)
Bases.
Topologie canonique
Utilisation du lemme de comparaison de Grothendieck (qui est valable de façon beaucoup plus générale).
Cas où la topologie induite sur une base par la topologie canonique peut être caractérisée intrinsèquement.
Dans un tel cas, on peut passer fonctoriellement d'un ensemble ordonné (dans certains cas un treillis) à un espace topologique.
Espaces spectraux.
Espaces de Stone.
Dualité de Stone.
Pour les espaces sobres (p. ex. Hausdorff), on peut retrouver le site à partir du topos.
Spectre d'un treillis; idéaux premiers et idéaux maximaux d'une base de Wallman vue comme treillis.
Cas où l'espace topologique est (quasi-)compact.
Sh(Spec B) = Sh (B, J cohérent), dans lequel se plonge Sh(Max B)=Sh (B, "J max")...
...où la topologie de Grothendieck "J max" sur le treillis B satisfait une sorte de critère de compacité.
Maintenant, comment généraliser cette construction à tout treillis distributif (en se passant des points) ?
(et, dans la discussion : annonce anticipée de la "dualité 2", celle où X est T1 et (quasi-)compact... voir plus loin)
Gelfand spectra and Wallman compactifications, Olivia Caramello (sur Arxiv)
Ultrafiltres "rapides" de Gabriel Mokobodzki (élaborés à partir de notions dues à Choquet, tels les ultrafiltres "absolus").
(avec Olivia Caramello : Alain Connes, Anatole Khélif, Georges Skandalis, Andrzej Zuk)
Ne pas rester sur des espaces "pathologiques". Exemples possibles : fonctions analytiques; faisceaux cohérents, etc.
Sans le "coup de tonnerre" du quotient d'une algèbre de Banach par un idéal maximal, la théorie de Gelfand n'aurait pas eu grand intérêt [...] Grâce à ça, on trouve par exemple des caractères sur L1 qui s'annulent sur un idéal.
(NdW : il s'agit de la transformée de Fourier. Pour débuter, voir par exemple Gelfand Representation sur Wikipedia)
La catégorie des groupes abéliens dans un topos --- i.e. la catégorie des faisceaux de groupes abéliens sur un site qui définit le topos --- est une catégorie abélienne. Or, toute catégorie abélienne est une sous-catégorie pleine de la catégorie des modules sur une algèbre non-commutative. Ainsi, à un topos, correspond une algèbre non commutative.
Trouver un exemple de non bi-interprétabilité pour le même topos... ce qui n'est pas si évident que ça.
Logique du second ordre.
Et justement, pour Langlands, les fonctions automorphes, ce ne sont pas des objets du premier ordre.