Ensemble de théorèmes reliant les idéaux des anneaux de polynômes sur un corps algébriquement clos k aux ensembles algébriques de l'espace affine : classiquement, le Nullstellensatz fort affirme que pour un idéal I ⊂ k[x1,…,xn], l'idéal des fonctions s'annulant sur l'ensemble des zéros V(I) coïncide avec la racine rad(I) ; la forme faible identifie les idéaux maximaux aux points k-rationnels.

Principe

La géométrie algébrique sur un corps algébriquement clos est gouvernée par une correspondance entre ensembles algébriques (loci d'annulation) et idéaux radicaux dans les anneaux de coordonnées : l'annulation géométrique reflète l'appartenance algébrique à la racine.

Démonstration

Sur un corps algébriquement clos k, l'idéal maximal (x1−a1,…,xn−an) correspond au point (a1,…,an) ∈ k^n ; pour I = (x^2+y^2−1) dans k[x,y], la racine rad(I) capte tous les polynômes s'annulant sur le cercle unité V(I).

Mauvaise application

Appliquer le Nullstellensatz sans modification sur des corps non algébriquement clos ou s'attendre à I = I(V(I)) sans prendre la racine : ces erreurs méconnaissent les hypothèses et le rôle de la radicalisation.

Conséquence

Établit le dictionnaire algèbre‑géométrie pour les variétés affines : anneaux de coordonnées, annulation de fonctions et composantes géométriques se traduisent en propriétés d'idéaux, permettant de reconstruire des variétés à partir d'anneaux et inversement.

Inversion

La réciproque—reconstruire la variété à partir d'un idéal et retrouver un idéal à partir de sa variété—ne fonctionne exactement qu'après passage aux racines et sous clôture algébrique ; une inversion naïve échoue.

Limite

Nécessite un corps de base algébriquement clos (ou des hypothèses de remplacement appropriées), des anneaux de polynômes de type fini et la notion classique d'ensembles algébriques affines : il ne s'applique pas tel quel aux schémas sur des bases quelconques ni aux structures non réduites sans affinements.

Tension sémantique

Tension entre la vision classique du Nullstellensatz (variétés et idéaux radicaux) et le point de vue schématique où les nilpotents et schémas non réduits imposent de considérer faisceaux et anneaux de coordonnées plutôt que seulement les racines.

Synthèse

Le Nullstellensatz de Hilbert affirme précisément que les lieux d'annulation affines correspondent aux idéaux radicaux dans les anneaux de polynômes sur un corps algébriquement clos, constituant la colonne vertébrale du dictionnaire algèbre‑géométrie pour les variétés affines.