Le foncteur contravariant de la catégorie des anneaux commutatifs vers les espaces topologiques (et schémas) qui associe à un anneau commutatif son spectre premier Spec(R) muni de la topologie de Zariski et du faisceau structural, traduisant ainsi l'information algébrique en objets géométriques.

Principe

Les opérations algébriques sur un anneau correspondent contravariamment aux opérations géométriques sur son spectre : les homomorphismes d'anneaux induisent des applications continues des spectres, et les idéaux correspondent à des fermés en topologie de Zariski, conduisant à une anti-équivalence entre schémas affines et anneaux commutatifs.

Démonstration

Pour R = Z, Spec(Z) est l'ensemble des idéaux premiers (0 et p pour les premiers p) avec la topologie de Zariski ; les idéaux premiers correspondent à des points arithmétiques et le faisceau structural enregistre les localisations comme Z_(p), montrant comment des propriétés arithmétiques deviennent des strates géométriques.

Mauvaise application

Considérer Spec comme une construction covariante ou ignorer le faisceau structural et perdre ainsi les données de fonctions ; tenter de reconstruire des schémas non affines uniquement à partir de Spec des sections globales sans les données de recollement.

Conséquence

Permet le langage des schémas : des questions géométriques sur les variétés et l'arithmétique se reformulent en termes d'anneaux, autorisant des techniques comme la localisation, le recollement d'affines et la cohomologie de faisceaux pour relier algèbre et géométrie.

Inversion

L'affectation inverse — retrouver un anneau à partir d'un espace topologique sans faisceau — est ambiguë ; seule la donnée du faisceau structural (schéma affine) permet de retrouver de manière équivalente un anneau commutatif.

Limite

Défini pour des anneaux commutatifs ; il produit des schémas affines et ne capture pas directement les anneaux non commutatifs ni des enrichissements comme les contextes dérivés sans étendre le foncteur.

Tension sémantique

Tension entre Spec et MaxSpec : Spec enregistre tous les idéaux premiers et est l'outil correct pour la théorie des schémas, tandis que MaxSpec (idéaux maximaux) suffit parfois pour les variétés affines classiques sur corps algébriquement clos mais ignore les nilpotents et les subtilités arithmétiques.

Synthèse

Le foncteur Spec est la pierre angulaire qui convertit des données d'anneaux en espaces géométriques munis de topologie et de faisceau, offrant le pont contravariant qui rend les schémas affines duals aux anneaux commutatifs.