Exposé de Colin McLarty lors du séminaire « Lectures grothendieckiennes » (2017-2018), organisé par Frédéric Jaëck du département de mathématiques de l'ENS.
In the summer of 1973 Grothendieck lectured on several subjects in Buffalo NY, and these lectures were recorded, including 33 hours on topos theory. The topos lectures were by far the most informal of the series, with the most significant audience discussion, and Grothendieck says they are the only ones for which he developed new ideas. While they do not contradict any of his published accounts (including Récoltes et semailles) they provide important new insights. For one, they reveal more of how he connected his idea of topos to his Tohoku paper on homological algebra; and also to Serre's isotrivial covers. The beginning lectures show Grothendieck's choice of what to emphasize in the subject. As he warms up in the following lectures he goes beyond SGA by offering a more directly, or naively, geometrical conception of a topos as a generalized topological space than occurs in SGA. Much of the series is spent on extending the ideas of algebraic structure, and classifying topos, in the 2-categorical setting. The lectures illustrate several aspects of what Grothendieck called "building houses", and why, despite the resistance he met, he said "we advise the reader nonetheless to assimilate the language of topos" (printed in SGA VII). At the end of the last topos lecture (July 13, 1973) he discusses the news that Deligne had completed the proof of the Weil Conjectures. This is before he learned how Deligne did it. Here he discusses the role of universes, and what could be desirable alternatives to them.
Thèmes : MathematiquesVoir aussi
Les travaux de Grothendieck sur les espa...
La variable complexe dans la première dé...
La 'notion unificatrice' de topos
L'inspiration toposique de la théorie d...
Colin McLarty
Cursus :
Colin McLarty est philosophe et mathématicien, ancien directeur du département de philosophie à l'université Case Western Reserve, université de recherche privée américaine située à Cleveland dans l'Ohio.
Cliquer ICI pour fermer Annexes Téléchargements :Dernière mise à jour : 08/06/2018
Liens utiles
Contact
Partenaires
Conditions d'utilisation
Mentions légales
Podcasts
> Colloquium DEC
> Les Ernest
> Les jeudis de l’archéologie
> Actualité critique
> Les jeudis de l’HPS
> Séminaire Médecine
Humanités
> Journée Georges Bram
> Les lundis de la philo
> Les Nuits de l’ENS
> Semaine du cerveau
> Séminaire général du
département d'informatique
> Séminaire général
de physique
> Séminaire Transferts culturels
> La Voix d’un texte
Savoirs ENS