Bonjour, Puisque plusieurs ont indiqué une indisponibilité le mercredi matin ce semestre, voici le sondage pour choisir quel sera le créneau régulier jusqu'à décembre: https://www.when2meet.com/?32555952-DviVO _Le créneau sera annoncé mardi prochain, donc n'oubliez pas d'y répondre avant!_ J'ai ajouté des nouveaux à la liste de diffusion. Laissez-moi savoir si je devrais en ajouter d'autres. Les propositions pour ce semestre discutés lors de la séance aujourd'hui sont les suivantes: ((Attention: ceci est basé sur mes notes pris rapidement, donc certainement avec erreurs!)) - Séminaire(s) d'invité(s), potentiellement partagés avec ceux du groupe LoCal ou du groupe de Topologie Algébrique (cc Geoffroy Horel pour coordination): Mathieu Anel, fin octobre---du 19/10 au 01/11. - Intervention potentiels par chercheurs de Paris/Ile-de-France (ex. de l'IRIF (Joshua Wrigley), de IMJPRG (Dianthe Basak) proposé par Morgan; autres propositions ) - Séances introductoires pour lancer des discussions: - topos/morphismes géometriques/topos cohésifs -- Morgan & Jonas - oo-catégories (stables, structurés; objets filtrés dans ce contexte) -- Christian - oo-topos, oo-topos cohésifs, SDG*, fibrés, liens avec HoTT -- Jonas, Quentin, Jad - Double catégories, perspectives, catégories formels, nouveautés -- Flavien - Ultra-anneaux, logique catégorique en lien avec algebre géometrique -- Damiano - Catégories de Grothendieck + propriétés -- Aurélien - Espaces condensés, panorama des contextes pour variantes d'algèbre homologique + K-théorie -- Christian, demandé par Morgan - Propositions de problèmes attaquables collectivement (suivant thématiques ci-dessus): - Faire des liens plus concrèts entre ultra-anneaux et algébre commutative (qu'est-ce qu'un ultra-corps?) -- Damiano - L'histoire du corps à un élément + aspects catégoriques? -- Damiano - Les topos precohésives et cohésive: est-ce que 4 propriétés simplent suffisent pour caracterisé la relation de cohésivité?-- Morgan/Jonas - Si on prend une catégorie de Grothendieck qui est localement noethérienne (engendré par ses objets noethériens) où les produits infinis sont exacte (préservent les monos), est-ce équivalent à une catégorie de diagrammes? -- Aurélien - Quels propriétés ont les tenseurs de catégories abéliennes/de Grothendieck? -- Aurélien - Groupes de lecture ou investigations collectives: - Article de Campbell & Zakaravich 2022: "Devissage and Localization for the Grothendieck Spectrum of Varieties"; ils font de la K-théorie dans un contexte non-additif et prétendent pouvoir reconstruire la plupart du travail de Grothendieck dans ce contexte. Est-ce vraisemblable? -- Damiano - *Livre de Kock: "Synthetic Differential Geometry"; applications de théorie des topos cohésives. -- Jonas (suggéré pour Quentin) Pas de programme plus concret pour le moment. Cela dépendra des résultats du sondage et de la disponibilité/volonté des participants par la suite---à suivre. L'idéal (pour moi) serait, au lieu de faire comme si le GdT était simplement un séminaire de plus, d'avoir comme but de donner la base des connaissances nécessaire pour comprendre un problème particulier, avec exemples/résultats proches; ou bien, de donner des repères pour que chacun puisse explorer (ou au moins visualiser) le terrain d'un domaine. Ainsi, lorsqu'il n'y a pas de sujet particulier prévu pour une séance, le créneau peut servir de lieu de discussion informel sur les problèmes et explications abordés auparavant. Notices pour l'avenir (semestre 2 ou après): - Visite de Bjorn Ian Dundas. - Nouvelle visite de Mathieu Anel. _(No English version this time, but most of the maths vocabulary is easy enough to translate. Please say if you have any suggestions to add!)_ Amicalement, Morgan