Cohomologie : une histoire de groupes, d'anneaux et de géométrie
Cette vidéo est la seconde partie d'une série de deux, consacrée à la cohomologie. La première partie est ici : https://www.youtube.com/watch?v=A9bK6KmjEY4
Dans cette vidéo, je présente les bases de la théorie de la cohomologie (simpliciale), illustrée par de nombreux exemples de variétés simples (sphère, tore, cylindre, plan projectif). Je montre en quoi la cohomologie offre un invariant topologique très riche, en ce qu'il est doté d'une structure d'anneau, et est relié à l'homologie par la dualité de Poincaré dans le cas des variétés lisses. Je montre aussi rapidement des applications à la théorie de l'intersection, avec en particulier le théorème de Bézout pour les courbes complexes projectives.
-------------------------------------------------------------------
ERRATA :
- à 12:00 je parle de simplexe régulier, j'aurais dû écrire singulier (autrement dit, on autorise que l'application sigma soit singulière).
-------------------------------------------------------------------
Je m'appelle Antoine Bourget, je suis physicien théoricien, et j'essaie de transmettre en vidéo ce que je trouve élégant en mathématiques et en physique. Pour suivre les actualités de la chaîne, et me contacter, vous pouvez rejoindre le serveur Discord ou me suivre sur les réseaux sociaux. Si vous voulez faire un don, j'ai également un compte Utip.
Discord : https://discord.gg/kRwdRvH
Twitter : https://twitter.com/AntoineBrgt
Mon site personnel : http://www.antoinebourget.org
Utip : https://utip.io/scientiaegregia/
-------------------------------------------------------------------
Références et liens :
Hatcher, Algebraic topology.
Ma vieille série de vidéos :
- sur l'homotopie (groupe fondamental) : https://www.youtube.com/watch?v=3D6fQ1fdp1o
- sur l'homologie (théorie) : https://www.youtube.com/watch?v=3D6fQ1fdp1o
- sur l'homologie (exemples) : https://www.youtube.com/watch?v=3D6fQ1fdp1o
- sur les formes différentielles : https://www.youtube.com/watch?v=CZ8cT-rUyps
- sur l'utilisation des formes différentielles en physique : https://www.youtube.com/watch?v=f5ZnHKrOuqM
-------------------------------------------------------------------
Plan :
00:00 Début
02:22 Rappels de topologie algébrique
17:45 Définition de la cohomologie
29:38 Exemple de la sphère
46:00 Cup produit et structure d'anneau
55:35 Exemple : anneau de cohomologie du tore
1:15:18 Plan projectif et coefficients dans Z/2Z
1:39:20 Anneaux gradués commutatifs
1:44:25 Dualité de Poincaré
1:55:40 Exemple : tore et coefficients binomiaux
1:57:25 Théorie de l'intersection
2:04:10 Théorème de Bézout
2:10:25 Cohomologie de de Rham et formes différentielles
2:13:37 Conclusion et résumé
Видео Cohomologie : une histoire de groupes, d'anneaux et de géométrie канала Scientia Egregia
Dans cette vidéo, je présente les bases de la théorie de la cohomologie (simpliciale), illustrée par de nombreux exemples de variétés simples (sphère, tore, cylindre, plan projectif). Je montre en quoi la cohomologie offre un invariant topologique très riche, en ce qu'il est doté d'une structure d'anneau, et est relié à l'homologie par la dualité de Poincaré dans le cas des variétés lisses. Je montre aussi rapidement des applications à la théorie de l'intersection, avec en particulier le théorème de Bézout pour les courbes complexes projectives.
-------------------------------------------------------------------
ERRATA :
- à 12:00 je parle de simplexe régulier, j'aurais dû écrire singulier (autrement dit, on autorise que l'application sigma soit singulière).
-------------------------------------------------------------------
Je m'appelle Antoine Bourget, je suis physicien théoricien, et j'essaie de transmettre en vidéo ce que je trouve élégant en mathématiques et en physique. Pour suivre les actualités de la chaîne, et me contacter, vous pouvez rejoindre le serveur Discord ou me suivre sur les réseaux sociaux. Si vous voulez faire un don, j'ai également un compte Utip.
Discord : https://discord.gg/kRwdRvH
Twitter : https://twitter.com/AntoineBrgt
Mon site personnel : http://www.antoinebourget.org
Utip : https://utip.io/scientiaegregia/
-------------------------------------------------------------------
Références et liens :
Hatcher, Algebraic topology.
Ma vieille série de vidéos :
- sur l'homotopie (groupe fondamental) : https://www.youtube.com/watch?v=3D6fQ1fdp1o
- sur l'homologie (théorie) : https://www.youtube.com/watch?v=3D6fQ1fdp1o
- sur l'homologie (exemples) : https://www.youtube.com/watch?v=3D6fQ1fdp1o
- sur les formes différentielles : https://www.youtube.com/watch?v=CZ8cT-rUyps
- sur l'utilisation des formes différentielles en physique : https://www.youtube.com/watch?v=f5ZnHKrOuqM
-------------------------------------------------------------------
Plan :
00:00 Début
02:22 Rappels de topologie algébrique
17:45 Définition de la cohomologie
29:38 Exemple de la sphère
46:00 Cup produit et structure d'anneau
55:35 Exemple : anneau de cohomologie du tore
1:15:18 Plan projectif et coefficients dans Z/2Z
1:39:20 Anneaux gradués commutatifs
1:44:25 Dualité de Poincaré
1:55:40 Exemple : tore et coefficients binomiaux
1:57:25 Théorie de l'intersection
2:04:10 Théorème de Bézout
2:10:25 Cohomologie de de Rham et formes différentielles
2:13:37 Conclusion et résumé
Видео Cohomologie : une histoire de groupes, d'anneaux et de géométrie канала Scientia Egregia
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Topologie Algébrique II : Homologie, la théorieTopologie Algébrique II : Homologie, les exemplesLes complexes entrent en scène (Vers La Géométrie Algébrique -- Épisode III)Le dictionnaire entre l'algèbre et la géométrie (le Nullstellensatz)Analyse Complexe et Surfaces de RiemannLa géométrie Projective (Vers La Géométrie Algébrique -- Épisode II)La plus difficile de toutes les énigmes ?Les courbes planes (Vers La Géométrie Algébrique -- Épisode I)Nombres idéauxGenre et différentielles (Vers La Géométrie Algébrique -- Épisode IV)Petite Introduction aux Séries FormellesSolution à l'énigmePetite Introduction aux Distributions FormellesLes mathématiques de l'impossible : COHOMOLOGIEConséquences algébriques, appartenance aux idéaux et bases de GröbnerTopologie Algébrique I : le groupe fondamental (et un peu de théorie des nœuds)Electrodynamique quantique et diagrammes de FeynmanIntégrales Gaussiennes (Un modèle jouet de théorie quantique des champs, partie 2)Relativité Générale, épisode 1 : CourbureRelativité Générale épisode 2 : Principe d’Équivalence et Relativité Restreinte