Schemes 16: Morphisms of finite type

Item: Schemes 16: Morphisms of finite type
Rating: 5
Author: PostSingularity Institute

par Richard E Borcherds

Sciences formelles & physiques Mathématiques PBMGéométrie PBMWGéométrie algébrique

🎙 Richard E Borcherds 👥 82K 📅 12 juillet 2020 ⏱ 23 min 👁 3K 📄 cours magistral 🧭 2026-08-17

Disponible en : Français (actuel) English

Mots-clés

morphisme de type finilocalement de type finiquasi-compactschémagéométrie algébrique

Résumé

Cette leçon du cours de géométrie algébrique en ligne, basé sur le chapitre II de l’ouvrage de Hartshorne, introduit trois propriétés des morphismes de schémas : quasi-compact, localement de type fini, et de type fini. L’auteur commence par clarifier que les morphismes de type fini ne doivent pas être confondus avec les morphismes finis, qui seront traités dans la leçon suivante. Il explique que la notion de type fini est relative, car elle dépend d’un morphisme, et non d’un schéma seul. Ensuite, il définit précisément chaque propriété : un morphisme est quasi-compact si l’image inverse de tout ouvert quasi-compact est quasi-compacte ; il est localement de type fini si, pour chaque point, on peut trouver des voisinages affines adaptés tels que l’anneau de l’ouvert source soit une algèbre de type fini sur l’anneau de l’ouvert but. Un morphisme de type fini est alors un morphisme quasi-compact et localement de type fini. L’auteur illustre ces notions avec des exemples concrets, comme des unions de variétés affines de dimensions variées, et discute des liens avec les variétés abstraites. Il mentionne également le théorème de Hilbert sur la noethérianité et son extension aux schémas. Enfin, il examine les propriétés de composition, de localité sur la base et sur les fibres, en soulignant que la propriété de type fini n’est pas locale sur les fibres, contrairement à la propriété de localement de type fini.

230 mots

Évaluation critique

Valeur des informations & solidité de l’argumentation

La valeur des informations est élevée : le cours fournit des définitions précises et des exemples illustratifs qui clarifient des concepts souvent délicats. L’argumentation est solide, car chaque définition est motivée et les exemples sont choisis pour mettre en évidence les distinctions importantes. L’auteur explique notamment pourquoi la notion de type fini est relative et pourquoi elle est plus adaptée que la notion absolue d’anneau de type fini. Il montre aussi les limites de l’intuition en donnant des exemples où la dimension des fibres n’est pas directement liée à la propriété de type fini. La démonstration de la préservation de la quasi-compacité par composition est claire et convaincante.

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

La rigueur scientifique est exemplaire : le contenu est conforme aux définitions standards de la géométrie algébrique, et l’auteur s’appuie sur l’ouvrage de référence de Hartshorne. Les sources sont implicites mais fiables, car le cours est explicitement basé sur ce manuel. L’adéquation entre le titre et le contenu est parfaite : la leçon traite exactement des morphismes de type fini, comme annoncé. Aucune source externe n’est citée dans la vidéo, mais la référence à Hartshorne est clairement indiquée dans la description.

204 mots

Adéquation titre / contenu

Le titre correspond exactement au contenu : la leçon traite des morphismes de type fini, avec les définitions et exemples annoncés.

Qualité & fiabilité

9/10

Exposé rigoureux et précis, fondé sur des définitions standards et des exemples éclairants. Le contenu est conforme aux ouvrages de référence en géométrie algébrique.

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 — Ouvrage de référence mentionné dans la description de la vidéo, sur lequel est basé le cours.

Sources concordantes

Morphism of finite type — Définition et propriétés des morphismes de type fini, cohérentes avec le contenu de la vidéo.

Apport & nouveautés

Cette leçon apporte une explication claire et pédagogique des notions de morphismes quasi-compacts, localement de type fini et de type fini, en les reliant à des exemples concrets. Elle met en lumière les subtilités de ces définitions, notamment la distinction entre type fini et localement de type fini, et l’importance de la quasi-compacité. L’approche pédagogique, avec des schémas et des exemples variés, facilite la compréhension de concepts abstraits.

Pour aller plus loin :

Morphism of finite type — Article de Wikipédia détaillant la définition et les propriétés.
Scheme (mathematics) — Page de référence sur les schémas en géométrie algébrique.
Hartshorne’s Algebraic Geometry — Page sur l’ouvrage de Hartshorne, source principale du cours.

112 mots

Profil radar

Le profil radar montre des scores élevés en qualité et fiabilité, avec un niveau technique très soutenu, indiquant un contenu avancé et rigoureux. La quantité d'information est également bonne, mais légèrement inférieure, ce qui reflète une leçon ciblée sur un sujet précis.

Fiabilité 9/10