prise de vue : J.P. Laffineur
montage et mise en page : S. Dugowson
Cours n° 8
Intra‐disciplinary applications II
Topos‐theoretic interpretation and generation of Stone‐type and Priestley‐type dualities. Construction of analogues of the Zariski spectrum in Algebra and Topology, and applications to Gelfand spectra. Topos-theoretic generation of dualities for compact Hausdorff spaces and C*‐algebras through Wallman compactifications.
tables des matières réduite :
Références :
"a topos-theoretic approach to Stone-type dualities" : article sur Arxiv [SD1] + une présentation pdf [SD2]
"Priestley-type dualities for partially ordered structures" (sur Arxiv)
"Gelfand spectra and Wallman compactifications" (sur Arxiv)
algèbres de Boole// espaces de Stone (compacts tot. discontinus)
Treillis distributifs // espaces cohérents spectraux
Rq : j'ai des doutes sur la traduction "repères" pour "frames", mais pourquoi pas...
Rq : dans les espaces sobres, il n'y a pas de points inutiles. Explication de JPL : "tu ne vois pas les points en double" (mais si cette explication était juste, ce serait le mathématicien qui devrait être dit sobre, et non l'espace... )
Remarque : ensembles pré-ordonnés vus comme catégories.
Remarque sur la condition de sobriété.
Topologie cohérente sur une algèbre de Boole.
Généralisation aux pré-ordres (avec topologie sous-canonique).
Pour généraliser encore, il faut savoir comment récupérer les objets du site à partir du topos (grâce à une notion de compacité généralisée, voir [SD2] pp. 13 et 14, et l'article [SD1])
Remarque terminologique : un "méta-théorème"... est un théorème au sens ordinaire ("méta" suggère simplement le niveau de généralité)
Condition de compacité généralisée (p. ex. supercompacité) pour retrouver les objets à partir du topos des faisceaux. Topologies "bien définies" en termes d'invariant donné ("être fini", "être un singleton", etc...).
Topologies "bien définies" => sous-canonique. Idéaux principaux dans le treillis des sous-terminaux.
Remarque : variété des visages de la compacité.
Utilisation du lemme de comparaison.
Exemple : dualité d'Alexandrov.
Topologie sous-terminale (au sens de la topologie générale) sur une famille de points d'un topos de Grothendieck.
Exemples : topologie d'Alexandrov, topologie de Stone, etc...
En réponse à L.L. : tout espace topologique est de cette forme (associé à des points d'un topos).
En réponse à A.K. : Deux topos différents peuvent donner le même espace topologique; cas des topos localiques.
En réponse à X : Utilisation de surjections ouvertes + descente pour obtenir un topos de faisceaux.
Topologie sous-terminale dans le cas d'un site pré-ordonné. J-filtres.
Spectre d'un treillis distributif. Topologie de Zariski. Faisceaux cohérents.
NdW : in french, compact means "(quasi-)compact + Hausdorff (T2)"
Généralisation du "spectre maximal comme sous-espace induit par Zariski". Sous-espaces et sous-topos.
"Sobrification" de l'espace des idéaux maximaux d'un anneau (p.ex. d'une C*-algèbre, qui est Hausdorff donc sobre)
Remarque : en analyse fonctionnelle, contrairement à la géométrie algébrique, ce sont les idéaux maximaux qui sont intéressants.
Countably compact Alexandrov algebra
Définition des algèbres d'Alexandrov.