Théorème de Popescu

En algèbre commutative et en géométrie algébrique, le théorème de Popescu, formulé par Dorin Popescu en 1985 et 1986^, est le suivant :

Par exemple, si ${\displaystyle A}$ est un anneau de Grothendieck local (par exemple, un anneau excellent local) et ${\displaystyle B}$ est sa complétion, alors l'application ${\displaystyle A\to B}$ est régulière par définition et le théorème s'applique.

Une autre preuve du théorème de Popescu a été donnée par Tetsushi Ogoma, et une présentation du résultat a été donnée par Richard Swan.

Le théorème de Popescu a aussi été prouvé par une autre méthode, et quelque peu renforcé, par Mark Spivakovsky^,.

La démonstration usuelle du théorème d'approximation d'Artin (en) repose pour l'essentiel sur le théorème de Popescu.

• « Presenting ${\displaystyle \mathbb {Q} ]}$ as an explicit colimit of smooth ${\displaystyle \mathbb {Q} }$-algebras: an explicit example for the Popescu's theorem », sur MathOverflow.

• Portail de l’algèbre