Schemes 17: Finite, quasifinite

Schemes 17: Finite, quasifinite

par Richard E Borcherds

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

Mots-clés

morphisme finimorphisme quasi-finischémagéométrie algébriquefibré

Résumé

Ce cours de géométrie algébrique, donné par Richard Borcherds, se concentre sur les morphismes finis et quasi-finis entre schémas. L’exposé commence par rappeler la distinction entre être de type fini comme algèbre et être de type fini comme module, pour introduire la notion de morphisme fini. La définition est donnée localement : un morphisme est fini si l’image réciproque d’un ouvert affine est affine et que le morphisme de structure est fini comme module. Une propriété clé est que les fibres d’un morphisme fini sont finies et discrètes, ce qui est démontré en réduisant au cas où le morphisme est entre spectres d’anneaux, puis en utilisant le fait qu’un anneau fini sur un corps est artinien. Ensuite, l’auteur aborde la notion de morphisme quasi-fini, en soulignant qu’il existe trois définitions non équivalentes dans la littérature : celle de Grothendieck (fibres discrètes), celle de Grothendieck avec condition de type fini, et celle de Hartshorne (fibres finies). Des exemples illustrent les différences : la projection d’une parabole est finie, mais celle d’une hyperbole ne l’est pas ; le spectre d’un anneau d’entiers algébriques sur le spectre de Z est fini ; un exemple montre que la définition de Hartshorne est plus faible que celle de Grothendieck. Enfin, l’auteur résume les implications entre ces notions et annonce que la suite du cours traitera des morphismes ouverts et fermés.

225 mots

Évaluation critique

Valeur des informations & solidité de l’argumentation

La valeur des informations est élevée : le cours clarifie des notions fondamentales de la géométrie algébrique moderne, souvent source de confusion. L’argumentation est rigoureuse : chaque définition est motivée, les implications sont démontrées ou illustrées par des contre-exemples. L’auteur prend soin de distinguer les différentes définitions de quasi-fini et de montrer leurs relations, ce qui est très utile pour éviter les erreurs. La démonstration de la finitude des fibres d’un morphisme fini est bien menée, en réduisant progressivement le problème. Les exemples sont bien choisis et aident à comprendre les subtilités.

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

La rigueur scientifique est exemplaire : 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. L’auteur mentionne les travaux de Grothendieck (SGA) et de Hartshorne, ce qui montre une bonne connaissance de la littérature. L’adéquation entre le titre et le contenu est parfaite. Aucune source externe n’est citée dans la description, mais le contenu est conforme aux sources académiques.

179 mots

Adéquation titre / contenu

Le titre correspond exactement au contenu : la vidéo traite des morphismes finis et quasi-finis dans le cadre des schémas.

Qualité & fiabilité

9/10

Cours magistral d'un mathématicien reconnu (Richard Borcherds, médaille Fields), basé sur le manuel de référence de Hartshorne. Les définitions sont rigoureuses et les exemples illustrent les distinctions subtiles entre les notions. La présentation est claire et structurée.

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 (Hartshorne) — Manuel de référence pour le cours, chapitre II.
  • SGA 1 (Grothendieck) — Référence pour la première définition de quasi-fini.
  • EGA 2 (Grothendieck) — Référence pour la deuxième définition de quasi-fini.

Sources concordantes

  • Algebraic Geometry (Hartshorne) — Définitions et propriétés des morphismes finis et quasi-finis.

Apport & nouveautés

Cette vidéo apporte une clarification précieuse sur les notions de morphismes finis et quasi-finis, souvent confondues. L’auteur met en évidence les différences entre les trois définitions de quasi-fini et fournit des exemples concrets pour illustrer ces distinctions. L’apport est pédagogique et permet de mieux comprendre les subtilités de la théorie des schémas.

Pour aller plus loin :

  • Morphismes finis (Wikipedia) — Article de synthèse sur les morphismes finis.
  • Schéma (mathématiques) (Wikipedia) — Introduction aux schémas.
  • Anneau artinien (Wikipedia) — Notion utilisée dans la preuve.

84 mots

Profil radar

Le profil radar montre un niveau technique élevé et une excellente fiabilité, avec une quantité d'information modérée. La vidéo est dense et exigeante, mais très fiable.

Fiabilité 9/10