Schemes 24: Proper morphisms

Schemes 24: Proper morphisms

par Richard E Borcherds

Sciences formelles & physiques Mathématiques PBMGéométriePBMWGéométrie algébrique
🎙 Richard E Borcherds 👥 82K 📅 18 juillet 2020 ⏱ 16 min 👁 2K 📄 cours magistral 🧭 2026-08-17
Disponible en : Français (actuel) English

Mots-clés

morphisme propreuniversellement ferméschémamorphisme finigéométrie algébrique

Résumé

Ce cours de géométrie algébrique, donné par Richard Borcherds, introduit la notion de morphisme propre pour les schémas. Le point de départ est le problème de trouver un analogue algébrique de la compacité en topologie. En topologie générale, un espace est compact si et seulement si la projection X × Z → Z est fermée pour tout Z. La version relative définit une application continue f : X → Y comme propre si X × Z → Y × Z est fermée pour tout Z. Cette propriété est appelée ‘universellement fermée’. L’exemple de R¹ → point montre qu’une application fermée n’est pas nécessairement universellement fermée. En géométrie algébrique, un morphisme de schémas est propre s’il est séparé, de type fini et universellement fermé. Les deux exemples principaux sont les morphismes finis et les morphismes projectifs. La preuve que les morphismes finis sont propres est esquissée : on réduit au cas affine, puis on utilise le théorème de Cohen-Seidenberg (going-up). Les morphismes projectifs seront traités dans la prochaine leçon via les anneaux de valuation.

173 mots

Évaluation critique

Valeur des informations & solidité de l’argumentation

La valeur des informations est élevée : le cours fournit une introduction rigoureuse et pédagogique aux morphismes propres, un concept central en géométrie algébrique. L’argumentation est solide : l’exposé part de la motivation topologique, définit précisément les notions, illustre par des exemples et esquisse des preuves. La réduction au cas affine et l’utilisation du théorème de Cohen-Seidenberg montrent une démarche mathématique rigoureuse. La distinction entre quasi-fini et fini est bien mise en évidence avec un contre-exemple.

Rigueur scientifique, qualité des sources, adéquation du titre

La rigueur scientifique est excellente : le cours s’appuie sur le manuel de Hartshorne, une référence standard. Les définitions sont précises et les preuves sont esquissées avec soin. Le titre est parfaitement adéquat au contenu. Aucune source externe n’est citée dans la vidéo, mais la description mentionne le chapitre II de Hartshorne. Les commentaires ne sont pas fournis, donc aucune analyse des tendances du public n’est possible.

158 mots

Adéquation titre / contenu

Le titre 'Schemes 24: Proper morphisms' est parfaitement adéquat : la vidéo est la 24e leçon d'un cours sur les schémas et traite spécifiquement des morphismes propres.

Qualité & fiabilité

9/10

Cours magistral d'un mathématicien reconnu, s'appuyant sur le manuel de référence de Hartshorne. Les définitions et théorèmes sont énoncés avec précision, et les preuves sont esquissées de manière rigoureuse. La vidéo est claire et structurée, avec des exemples illustratifs.

Moments clés

Repères établis par PSI à partir de la transcription : le créateur n'a pas défini de chapitres.

Sources citées

  • Algebraic Geometry — Manuel de référence pour le cours, chapitre II.

Sources concordantes

  • Algebraic Geometry — Manuel de Hartshorne, référence standard pour le cours.

Apport & nouveautés

Cette vidéo apporte une explication claire et détaillée des morphismes propres, un concept fondamental en géométrie algébrique. Elle relie la notion topologique de compacité à la notion algébrique de propreté, et illustre les définitions par des exemples concrets. L’esquisse de preuve pour les morphismes finis est particulièrement instructive.

Pour aller plus loin :

89 mots

Profil radar

Le profil radar montre une excellente qualité d'information et une grande fiabilité, avec un niveau technique élevé. La quantité d'information est bonne, mais la durée limitée de la vidéo ne permet pas de couvrir tous les aspects en profondeur.

Fiabilité 9/10