Une technique et un résultat qui fournit des approximations algébriques ou convergentes aux solutions formelles en séries de puissances d'un système de polynômes, affirmant qu'une solution formelle peut être approchée à un ordre fini quelconque par des solutions algébriques ou convergentes sous des hypothèses appropriées.

Principe

Pour un système d'équations polynomiales sur un anneau local complet (souvent excellent) noethérien, les solutions formelles dans la complétion en séries de puissances peuvent être approchées arbitrairement bien par des solutions provenant de données algébriques ou convergentes ; un accord à un ordre fini se relève en approximants algébriques.

Démonstration

Pour F(x,y)=0 et une solution formelle y(x) en séries de puissances, l'approximation d'Artin assure que, pour chaque entier N>0, il existe une solution algébrique (ou convergente) y_N(x) coïncidant avec y(x) jusqu'aux termes de degré N, fournissant des tronquations algébriques concordantes sur les ordres inférieurs.

Mauvaise application

Croire qu'une solution algébrique exacte existe globalement à partir de toute solution formelle sans vérifier les hypothèses de l'anneau (par exemple sur des anneaux non noethériens) ou appliquer le théorème à des fonctions analytiques transcendantes sans conditions de finitude ou d'excellence.

Conséquence

On peut remplacer des solutions formelles en théorie des déformations par des solutions algébriques ou analytiques, ce qui permet de passer des modules formels aux familles algébriques et de comparer la géométrie locale formelle et algébrique.

Inversion

Si les hypothèses font défaut — par exemple sur une base non excellente — les solutions formelles peuvent ne pas admettre d'approximants algébriques d'ordre fini, l'approximation échoue et les données formelles n'ont pas à refléter la réalité algébrique.

Limite

S'applique aux équations polynomiales sur des anneaux Noethériens complets (souvent excellents ou henséliens) et porte sur l'accord à un ordre fini des solutions formelles ; il ne produit pas automatiquement de solutions algébriques globales sur tout schéma ni pour des fonctions analytiques sans hypothèses supplémentaires.

Tension sémantique

Tension entre l'Approximation d'Artin et les lemmes de Hensel : les deux relèvent des solutions formelles mais diffèrent par les hypothèses et la nature des relèvements (algébrique contre unit-root/rigide), ainsi qu'entre exactitude formelle et convergence analytique.

Synthèse

L'Approximation d'Artin est la méthode qui transforme, sous des conditions algébriques précises (Noethérien, complétude, excellence/hensélianité), des solutions formelles en approximations algébriques ou convergentes de précision arbitraire, reliant ainsi données formelles et réalisations algébriques ou analytiques.