Schemes 30: f* and f *

Schemes 30: f* and f *

par Richard E Borcherds

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

Mots-clés

faisceau quasi-cohérentmorphisme de schémasfoncteur image directefoncteur image inverseextension par zéro

Résumé

Cette leçon du cours de géométrie algébrique en ligne de Richard Borcherds, basée sur le chapitre II de l’ouvrage de Hartshorne, traite des foncteurs image directe f_* et image inverse f^* associés à un morphisme de schémas f: X → Y. L’auteur commence par le cas affine, où un morphisme d’anneaux φ: B → A permet de définir f_* comme le changement de base d’un A-module en B-module, et f^* comme le produit tensoriel N ⊗B A pour un B-module N. Il souligne que f^* est adjoint à gauche de f, et que f_ est exact tandis que f^* est seulement exact à droite, sauf si A est plat sur B. Ensuite, il généralise ces constructions aux schémas quelconques, en notant que f_* n’est plus exact en général, comme le montre l’exemple de la projection de P¹ sur un point. Il introduit également l’opération d’extension par zéro f_! pour une immersion ouverte, qui est adjointe à gauche de f^*, et donne un exemple où f_! d’un faisceau quasi-cohérent n’est pas quasi-cohérent. Enfin, il annonce que la prochaine leçon portera sur les faisceaux cohérents.

183 mots

Évaluation critique

Valeur des informations & solidité de l’argumentation

La valeur de cette vidéo est très élevée pour un public ayant déjà des bases en géométrie algébrique. Elle fournit une explication claire et détaillée des foncteurs image directe et image inverse, en insistant sur leurs propriétés d’exactitude et leur adjonction. L’argumentation est solide : l’auteur procède par étapes, du cas affine au cas général, et illustre chaque concept avec des exemples concrets. Il prend soin de souligner les pièges et les subtilités, comme la non-exactitude de f_* en général, et mentionne l’importance de la platitude. La discussion sur l’extension par zéro est également pertinente et bien motivée.

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

La rigueur scientifique est exemplaire : le cours est basé sur le manuel de référence de Hartshorne, et l’auteur, Richard Borcherds, est un mathématicien de renom. Il corrige explicitement une erreur qu’il a commise dans une version antérieure, ce qui montre une grande honnêteté. Les sources sont implicites mais clairement identifiées (Hartshorne, chapitre II). Le titre est parfaitement adéquat au contenu. Aucun commentaire n’est fourni, donc aucune analyse des tendances du public n’est possible.

187 mots

Adéquation titre / contenu

Le titre est concis et exact : il annonce les deux foncteurs f* et f_* qui sont effectivement le sujet principal de la leçon.

Qualité & fiabilité

9/10

Cours magistral d'un mathématicien reconnu (Richard Borcherds, médaillé Fields), basé sur le chapitre II du Hartshorne, référence standard en géométrie algébrique. Le contenu est rigoureux, les définitions et propriétés sont correctes, et l'auteur signale explicitement une erreur qu'il a tenté de corriger, ce qui témoigne d'une grande honnêteté intellectuelle.

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

Sources concordantes

Apport & nouveautés

Cette vidéo apporte une explication pédagogique claire et structurée des foncteurs image directe et image inverse pour les faisceaux quasi-cohérents, en mettant l’accent sur leurs propriétés d’exactitude et leur adjonction. Elle est particulièrement utile pour les étudiants en géométrie algébrique qui souhaitent approfondir ces notions fondamentales. L’auteur prend soin de signaler les pièges et de donner des exemples concrets, ce qui facilite la compréhension.

Pour aller plus loin :

  • Faisceau quasi-cohérent — Article de Wikipédia donnant une définition et des propriétés de base.
  • Foncteur adjoint — Notion de catégories utilisée pour l’adjonction entre f^* et f_*.
  • Module plat — Définition et propriétés des modules plats, pertinents pour l’exactitude de f^*.

110 mots

Profil radar

Le profil radar montre un niveau technique élevé (9/10) et une excellente qualité d'information (10/10), avec une quantité d'information substantielle (8/10). La fiabilité globale est très bonne (9/10), ce qui reflète la rigueur du cours. Ce profil correspond à un contenu avancé, destiné à un public déjà familiarisé avec les bases de la géométrie algébrique.

Fiabilité 9/10