La topologie de Zariski sur une variété algébrique ou sur le spectre premier d'un anneau a pour fermés les ensembles algébriques (zéros d'un ensemble de polynômes) ou les ensembles d'idéaux premiers contenant un idéal donné ; elle est en général très grossière et rarement de Hausdorff.

Principe

La topologie de Zariski encode l'information algébrique en termes topologiques : les conditions d'annulation algébriques déterminent les fermés, établissant un pont entre géométrie algébrique et topologie où la dépendance algébrique induit la spécialisation topologique.

Démonstration

Sur l'espace affine A^n sur un corps algébriquement clos, les fermés sont les zéros communs V(S) d'ensembles S de polynômes ; sur Spec(R) les fermés sont V(I) = {p ∈ Spec(R) : I ⊆ p}, et les fermés irréductibles correspondent aux idéaux premiers.

Mauvaise application

S'attendre à des propriétés métriques, de Hausdorff ou à une finesse locale comparable à la topologie euclidienne (par exemple raisonner avec des intuitions de limites analytiques) est une mauvaise application : les adhérences de Zariski sont algébriques, non analytiques, et peuvent être larges et non séparées.

Conséquence

Avec la topologie de Zariski, de nombreuses notions algébriques deviennent topologiques : l'irréductibilité correspond aux idéaux premiers, les morphismes de variétés sont continus, et Spec(R) est quasi‑compact, ce qui a des conséquences structurelles profondes en géométrie algébrique.

Inversion

L'inverse est la topologie analytique ou euclidienne sur les variétés complexes, beaucoup plus fine, souvent de Hausdorff et métrisable, qui distingue des points indiscernables pour la topologie de Zariski.

Limite

La topologie de Zariski est définie sur les variétés algébriques, les espaces affines et les spectres d'anneaux ; elle ne doit pas être confondue avec les topologies analytiques ou étales employées dans d'autres contextes géométriques ni appliquée sans modification à des espaces non algébriques.

Tension sémantique

Topologie de Zariski versus topologie euclidienne/analytique : l'adhérence de Zariski reflète l'annulation polynomiale tandis que l'adhérence analytique capte le comportement limite métrique — ces deux adhérences peuvent diverger nettement, créant une tension d'intuition et de résultats.

Synthèse

La topologie de Zariski est la topologie algébriquement engendrée dont les fermés sont les ensembles de zéros d'équations polynomiales ; grossière et naturellement algébrique, elle traduit idéaux et irréductibilité en adhérence et spécialisation topologiques.