Schémas

Les schémas sont la vaste généralisation des variétés par Grothendieck, construits en recollant des spectres d'anneaux commutatifs arbitraires, ce qui permet à la géométrie algébrique de fonctionner sur n'importe quel anneau et de prendre en compte les informations infinitésimales et arithmétiques.

Definition

Un schéma est un espace localement annelé qui est localement isomorphe au spectre d'un anneau commutatif (un schéma affine), où les points sont des idéaux premiers et le faisceau structural enregistre l'anneau des fonctions sur chaque ouvert.

Scope

Ce sujet construit le spectre d'un anneau commutatif comme un espace localement annelé, définit les schémas affines et les schémas généraux par recollement, et développe les morphismes de schémas et le point de vue relatif. Il aborde les propriétés clés — schémas réduits, intègres, séparés, propres et lisses — les produits fibrés et le changement de base, ainsi que la perspective du foncteur des points. Le rôle des nilpotents dans la capture de la structure non réduite et l'utilisation des schémas sur les entiers pour la géométrie arithmétique sont soulignés.

Core questions

• Comment le spectre premier d'un anneau transforme-t-il l'algèbre commutative arbitraire en géométrie ?
• Que permettent d'exprimer les éléments nilpotents et les points génériques dans les schémas que les variétés ne peuvent pas ?
• Comment les schémas relatifs et le changement de base soutiennent-ils une théorie uniforme sur n'importe quelle base ?
• Comment le point de vue du foncteur des points caractérise-t-il un schéma par les morphismes qui y aboutissent ?

Key concepts

• Spectre d'un anneau et topologie de Zariski sur les idéaux premiers
• Faisceau structural et espaces localement annelés
• Schémas affines et recollement pour former des schémas généraux
• Morphismes, produits fibrés et changement de base
• Foncteur des points et structure non réduite (nilpotente)

Clinical relevance

La théorie des schémas est le langage fondamental de la géométrie algébrique moderne et de la géométrie arithmétique ; elle a rendu possibles les preuves cohomologiques des conjectures de Weil et les résultats de modularité sous-jacents au dernier théorème de Fermat, et elle encadre les problèmes de modules et la théorie des déformations.

History

S'appuyant sur la géométrie algébrique de Serre basée sur les faisceaux, Grothendieck a introduit les schémas dans les Éléments de géométrie algébrique (années 1960), généralisant les variétés aux spectres d'anneaux arbitraires et reconstruisant tout le domaine sur des fondations cohomologiques et catégoriques.

Key figures

• Alexander Grothendieck
• Jean-Pierre Serre
• David Mumford

Seminal works

• hartshorne1977
• eisenbud1995

Frequently asked questions

En quoi un schéma diffère-t-il d'une variété ?

Une variété est essentiellement un schéma intègre, réduit et de type fini sur un corps ; un schéma général peut avoir des fonctions nilpotentes, un nombre infini ou des points génériques, et peut être défini sur n'importe quel anneau commutatif, y compris les entiers.

Pourquoi les points d'un schéma incluent-ils les idéaux premiers, et pas seulement les maximaux ?

Les idéaux premiers non maximaux donnent des points génériques qui se trouvent dans l'adhérence des sous-variétés, capturant la structure d'inclusion des sous-schémas irréductibles et rendant la géométrie fonctorielle sous les morphismes d'anneaux.