Schemes 37: Comparison of Weil and Cartier divisors

Schemes 37: Comparison of Weil and Cartier divisors

par Richard E Borcherds

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

Mots-clés

diviseur de Cartierdiviseur de Weilschéma normalfactoriel localementgéométrie algébrique

Résumé

Ce cours de géométrie algébrique, donné par Richard Borcherds, compare les diviseurs de Cartier et de Weil sur un schéma. Il commence par rappeler l’existence d’un homomorphisme naturel entre ces deux groupes. L’auteur présente d’abord un exemple où cet homomorphisme n’est pas injectif : le spectre de l’anneau k[[t^2, t^3]], qui n’est pas normal. Il montre que le noyau est isomorphe au groupe additif de k. Ensuite, il énonce un théorème : si le schéma est noethérien, intègre et normal, alors l’application est injective. La preuve repose sur le fait que dans un anneau normal, un élément qui appartient à tous les localisés en les idéaux premiers de hauteur un est en fait une unité. Il donne un exemple où l’application n’est pas surjective : le cône xy=z^2, où le diviseur de Weil défini par y=0 n’est pas localement principal. Enfin, il démontre que si le schéma est localement factoriel (c’est-à-dire que tous ses anneaux locaux sont des anneaux de factorisation unique), alors l’application est un isomorphisme. Il conclut en remarquant que tout schéma régulier est localement factoriel, ce qui explique pourquoi les exemples précédents présentent des singularités.

188 mots

Évaluation critique

Valeur des informations & solidité de l’argumentation

La valeur des informations est élevée : le cours fournit une démonstration rigoureuse des conditions d’injectivité et de surjectivité de l’application entre diviseurs de Cartier et de Weil. L’argumentation est solide, s’appuyant sur des théorèmes classiques d’algèbre commutative et des exemples concrets qui illustrent les limites des hypothèses. Les démonstrations sont claires et bien structurées, avec une progression logique.

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

La rigueur scientifique est excellente : le cours suit de près le chapitre II du livre ‘Algebraic Geometry’ de Robin Hartshorne, une référence majeure. Les définitions et théorèmes sont énoncés avec précision. Le titre est parfaitement adéquat au contenu. Aucune source externe n’est citée dans la vidéo, mais la référence au manuel est implicite.

128 mots

Adéquation titre / contenu

Le titre décrit exactement le contenu : une comparaison détaillée des diviseurs de Weil et de Cartier.

Qualité & fiabilité

9/10

Cours magistral d'un mathématicien reconnu, basé sur un manuel de référence (Hartshorne), avec démonstrations rigoureuses et exemples concrets. Le contenu est précis et les affirmations sont justifiées.

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) — Référence principale du cours, chapitre II.

Sources concordantes

  • Algebraic Geometry (Hartshorne) — Le cours suit de près le chapitre II, section sur les diviseurs.

Apport & nouveautés

Ce cours apporte une clarification pédagogique sur les conditions d’équivalence entre diviseurs de Cartier et de Weil, en fournissant des exemples explicites de non-injectivité et de non-surjectivité. Il met en lumière le rôle crucial de la normalité et de la factorialité locale.

Pour aller plus loin :

  • Diviseur (géométrie algébrique) — Article de Wikipédia présentant les définitions et propriétés des diviseurs de Weil et de Cartier.
  • Anneau de valuation discrète — Les anneaux locaux réguliers de dimension 1 sont des exemples d’anneaux factoriels.
  • Schéma normal — Définition et propriétés des schémas normaux, utilisés dans le théorème d’injectivité.
  • Anneau factoriel — Notion d’anneau de factorisation unique, centrale pour l’isomorphisme.

108 mots

Profil radar

Le profil radar est équilibré avec des scores élevés dans toutes les dimensions, reflétant un contenu dense, rigoureux et bien présenté. La quantité d'information est importante, la qualité est excellente, le niveau technique est avancé et la fiabilité est maximale.

Fiabilité 9/10