Un espace localement annelé qui est localement isomorphe au spectre Spec A d'un anneau A ; obtenu en recollant des schémas affines par des isomorphismes compatibles et servant d'objet géométrique fondamental en géométrie algébrique moderne, encodant à la fois structure topologique et algébrique (points munis d'anneaux locaux).

Principe

Modéliser la géométrie en recollant des morceaux affines Spec A, de sorte que l'algèbre locale (anneaux et leurs spectres) gouverne la géométrie et permette le changement de base, les phénomènes nilpotents et l'information arithmétique.

Démonstration

Les schémas affines Spec R pour un anneau R, le schéma Spec Z qui encode l'arithmétique, et les schémas projectifs construits par recollement d'affines (par exemple Proj d'un anneau gradué) illustrent comment les schémas généralisent les variétés et permettent de travailler sur des anneaux quelconques.

Mauvaise application

Traiter les schémas comme s'ils étaient toujours des variétés réduites sur des corps algébriquement clos (ignorer les nilpotents, les structures non réduites ou les changements de base arithmétiques) fait perdre des informations essentielles et rend invalides de nombreux raisonnements.

Conséquence

Les schémas permettent l'étude systématique d'objets géométriques sur des anneaux quelconques, des notions fonctorielles de points, des faisceaux cohérents et leur cohomologie, des problèmes de représentabilité et la formulation des théories de modules et de déformation.

Inversion

Espace topologique dépourvu de structure localement annelée : oublier le faisceau structural réduit un schéma à son espace topologique sous‑jacent et fait perdre les données de fonctions algébriques locales qui définissent les morphismes et les propriétés locales.

Limite

Tous les espaces localement annelés ne sont pas des schémas ; les schémas n'incluent pas les phénomènes de quotient de type champ, les schémas formels et les objets nécessitant un recouvrement plus fin que le recollement ordinaire sauf à agrandir la catégorie (espaces algébriques, champs).

Tension sémantique

Par rapport à la variété : les schémas autorisent les nilpotents, des anneaux de base arbitraires et un comportement local plus général ; les variétés sont souvent prises comme réduites, séparées et de type fini sur un corps, une notion plus restrictive.

Synthèse

Un schéma est un espace construit par recollement de spectres d'anneaux muni d'un faisceau structural d'anneaux locaux, généralisant les variétés classiques pour inclure les nilpotents et le changement de base arithmétique tout en encodant les fonctions algébriques locales en chaque point.