The classical Artin approximation theorems

Hauser, Herwig

doi:10.1090/bull/1579

The classical Artin approximation theorems
HTML articles powered by AMS MathViewer

by Herwig Hauser PDF

Bull. Amer. Math. Soc. 54 (2017), 595-633

Corrigendum: Bull. Amer. Math. Soc. 55 (2018), 289-293.
Original version: Posted June 13, 2017.
Corrected version: Current version includes addition of the word "uncountable" on page 9.

Abstract:

The various Artin approximation theorems assert the existence of power series solutions of a certain quality $Q$ (i.e., formal, analytic, algebraic) of systems of equations of the same quality $Q$, assuming the existence of power series solutions of a weaker quality $Q’ < Q$ (i.e., approximated, formal). The results are frequently used in commutative algebra and algebraic geometry. We present a systematic argument which proves, with minor modifications, all theorems simultaneously. More involved results, such as, e.g., Popescu’s nested approximation theorem for algebraic equations or statements about the Artin function, will only be mentioned but not proven. We complement the article with a brief account of the theory of algebraic power series, two applications of approximation to singularities, and a differential-geometric interpretation of Artin’s proof.

References

Niels Henrik Abel, Œuvres complètes. Tome I, Éditions Jacques Gabay, Sceaux, 1992 (French). Edited and with a preface by L. Sylow and S. Lie; Reprint of the second (1881) edition. MR 1191901
M. E. Alonso, F. J. Castro-Jiménez, H. Hauser, Encoding algebraic power series. Found. Comp. Math. 2017. To appear.
M. E. Alonso, F. J. Castro-Jiménez, H. Hauser, C. Koutschan, Echelons of power series and Gabrielov’s counterexample to nested linear Artin approximation. Manuscript 2017, 8 pp.
Boris Adamczewski and Jason P. Bell, Diagonalization and rationalization of algebraic Laurent series, Ann. Sci. Éc. Norm. Supér. (4) 46 (2013), no. 6, 963–1004 (English, with English and French summaries). MR 3134685, DOI 10.24033/asens.2207
M. Artin and B. Mazur, On periodic points, Ann. of Math. (2) 81 (1965), 82–99. MR 176482, DOI 10.2307/1970384
M. F. Atiyah and I. G. Macdonald, Introduction to commutative algebra, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1969. MR 0242802
María Emilia Alonso, Teo Mora, and Mario Raimondo, A computational model for algebraic power series, J. Pure Appl. Algebra 77 (1992), no. 1, 1–38. MR 1148270, DOI 10.1016/0022-4049(92)90029-F
M. Artin, On the solutions of analytic equations, Invent. Math. 5 (1968), 277–291. MR 232018, DOI 10.1007/BF01389777
M. Artin, Algebraic approximation of structures over complete local rings, Inst. Hautes Études Sci. Publ. Math. 36 (1969), 23–58. MR 268188, DOI 10.1007/BF02684596
Joseph Becker, A counterexample to Artin approximation with respect to subrings, Math. Ann. 230 (1977), no. 2, 195–196. MR 480508, DOI 10.1007/BF01370664
Joseph Becker, J. Denef, L. Lipshitz, and L. van den Dries, Ultraproducts and approximations in local rings. I, Invent. Math. 51 (1979), no. 2, 189–203. MR 528023, DOI 10.1007/BF01390228
Cyril Banderier and Michael Drmota, Formulae and asymptotics for coefficients of algebraic functions, Combin. Probab. Comput. 24 (2015), no. 1, 1–53. MR 3318039, DOI 10.1017/S0963548314000728
Clemens Bruschek and Herwig Hauser, Arcs, cords, and felts—six instances of the linearization principle, Amer. J. Math. 132 (2010), no. 4, 941–986. MR 2663645, DOI 10.1353/ajm.0.0134
A. Bouthier, D. Kazhdan, Faisceaux pervers sur les espaces d’arcs I: Le cas d’égales caractéristiques. arXiv: 1509.02203v2.
A. Bostan, Algebraicity and transcendence of power series: combinatorial and computational aspects. Notes from lectures at the University of Linz, 2016.
N. Bourbaki, Commutative Algebra, Springer, 1989.
B. Buchberger, Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems, Aequationes Math. 4 (1970), 374–383 (German). MR 268178, DOI 10.1007/BF01844169
Gilles Christol, Diagonales de fractions rationnelles, Séminaire de Théorie des Nombres, Paris 1986–87, Progr. Math., vol. 75, Birkhäuser Boston, Boston, MA, 1988, pp. 65–90 (French). MR 990506
J. Cockle, On transcendental and algebraic solution. Philosophical Magazine XXI (1861), 379-383.
F. C. Castro-Jiménez, D. Popescu, G. Rond, Linear nested Artin approximation theorem for algebraic power series. Preprint 2016.
P. Deligne, Intégration sur un cycle évanescent, Invent. Math. 76 (1984), no. 1, 129–143 (French). MR 739629, DOI 10.1007/BF01388496
Theo de Jong and Gerhard Pfister, Local analytic geometry, Advanced Lectures in Mathematics, Friedr. Vieweg & Sohn, Braunschweig, 2000. Basic theory and applications. MR 1760953, DOI 10.1007/978-3-322-90159-0
J. Denef, The Diophantine problem for polynomial rings and fields of rational functions, Trans. Amer. Math. Soc. 242 , posted on (1978), 391–399. MR 0491583, DOI 10.1090/S0002-9947-1978-0491583-7
J. Denef and L. Lipshitz, Ultraproducts and approximation in local rings. II, Math. Ann. 253 (1980), no. 1, 1–28. MR 594530, DOI 10.1007/BF01457817
J. Denef and L. Lipshitz, Power series solutions of algebraic differential equations, Math. Ann. 267 (1984), no. 2, 213–238. MR 738249, DOI 10.1007/BF01579200
J. Denef and L. Lipshitz, Algebraic power series and diagonals, J. Number Theory 26 (1987), no. 1, 46–67. MR 883533, DOI 10.1016/0022-314X(87)90095-3
Jan Denef and François Loeser, Germs of arcs on singular algebraic varieties and motivic integration, Invent. Math. 135 (1999), no. 1, 201–232. MR 1664700, DOI 10.1007/s002220050284
V. Drinfeld: On the Grinberg-Kazhdan formal arc theorem. arXiv:math/0203263.
Lucia Di Vizio, Arithmetic theory of $q$-difference equations: the $q$-analogue of Grothendieck-Katz’s conjecture on $p$-curvatures, Invent. Math. 150 (2002), no. 3, 517–578. MR 1946552, DOI 10.1007/s00222-002-0241-z
L. Di Vizio, J.-P. Ramis, J. Sauloy, and C. Zhang, Équations aux $q$-différences, Gaz. Math. 96 (2003), 20–49 (French). MR 1988639
A. Grothendieck and J. A. Dieudonné, Éléments de géométrie algébrique. I, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 166, Springer-Verlag, Berlin, 1971 (French). MR 3075000
G. Eisenstein, Über eine allgemeine Eigenschaft der Reihen-Entwicklungen aller algebraischen Funktionen. Berichte Königl. Preuss. Akad. Wiss. Berlin (1852), 441-443. Reproduced in: Mathematische Gesammelte Werke, Band II, Chelsea Publishing 1975, pp. 765-767.
Robert Ephraim, Isosingular loci and the Cartesian product structure of complex analytic singularities, Trans. Amer. Math. Soc. 241 (1978), 357–371. MR 492307, DOI 10.1090/S0002-9947-1978-0492307-X
Harry Furstenberg, Algebraic functions over finite fields, J. Algebra 7 (1967), 271–277. MR 215820, DOI 10.1016/0021-8693(67)90061-0
A. M. Gabrièlov, The formal relations between analytic functions, Funkcional. Anal. i Priložen. 5 (1971), no. 4, 64–65 (Russian). MR 0302930
A. M. Gabrièlov, Formal relations among analytic functions, Izv. Akad. Nauk SSSR Ser. Mat. 37 (1973), 1056–1090 (Russian). MR 0346184
André Galligo, Théorème de division et stabilité en géométrie analytique locale, Ann. Inst. Fourier (Grenoble) 29 (1979), no. 2, vii, 107–184 (French, with English summary). MR 539695
M. Grinberg and D. Kazhdan, Versal deformations of formal arcs, Geom. Funct. Anal. 10 (2000), no. 3, 543–555. MR 1779611, DOI 10.1007/PL00001628
Hans Grauert, Über die Deformation isolierter Singularitäten analytischer Mengen, Invent. Math. 15 (1972), 171–198 (German). MR 293127, DOI 10.1007/BF01404124
Marvin J. Greenberg, Rational points in Henselian discrete valuation rings, Inst. Hautes Études Sci. Publ. Math. 31 (1966), 59–64. MR 207700, DOI 10.1007/BF02684802
R. V. Gurjar, A hyperplane section theorem for Milnor numbers, Math. Ann. 309 (1997), no. 2, 341–357. MR 1474196, DOI 10.1007/s002080050116
Takashi Harase, Algebraic elements in formal power series rings, Israel J. Math. 63 (1988), no. 3, 281–288. MR 969943, DOI 10.1007/BF02778035
R. Harley, On the theory of the transcendental solution of algebraic equations. Quart. J. Pure Applied Math. 5 (1862), 337-361.
Herwig Hauser and Gerd Müller, A rank theorem for analytic maps between power series spaces, Inst. Hautes Études Sci. Publ. Math. 80 (1994), 95–115 (1995). MR 1320605, DOI 10.1007/BF02698897
Herwig Hauser and Gerd Müller, Analytic curves in power series rings, Compositio Math. 76 (1990), no. 1-2, 197–201. Algebraic geometry (Berlin, 1988). MR 1078862
H. Hauser and G. Müller, The trivial locus of an analytic map germ, Ann. Inst. Fourier (Grenoble) 39 (1989), no. 4, 831–844 (English, with French summary). MR 1036334, DOI 10.5802/aif.1191
Herwig Hauser and Gerd Müller, The cancellation property for direct products of analytic space germs, Math. Ann. 286 (1990), no. 1-3, 209–223. MR 1032931, DOI 10.1007/BF01453573
H. Hauser, S. Woblistin, On the structure of varieties of power series in one variable. Manuscript 2016, 39 pp.
E. Heine, Der Eisensteinsche Satz über Reihen-Entwickelung algebraischer Functionen, J. Reine Angew. Math. 45 (1853), 285–302 (German). MR 1578830, DOI 10.1515/crll.1853.45.285
Grete Hermann, Die Frage der endlich vielen Schritte in der Theorie der Polynomideale, Math. Ann. 95 (1926), no. 1, 736–788 (German). MR 1512302, DOI 10.1007/BF01206635
M. Hickel, Fonction de Artin et germes de courbes tracées sur un germe d’espace analytique, Amer. J. Math. 115 (1993), no. 6, 1299–1334 (French, with French summary). MR 1254735, DOI 10.2307/2374967
Heisuke Hironaka, Idealistic exponents of singularity, Algebraic geometry (J. J. Sylvester Sympos., Johns Hopkins Univ., Baltimore, Md., 1976) Johns Hopkins Univ. Press, Baltimore, Md., 1977, pp. 52–125. MR 0498562
H. Hironaka and H. Rossi, On the equivalence of imbeddings of exceptional complex spaces, Math. Ann. 156 (1964), 313–333. MR 171784, DOI 10.1007/BF01361027
Shuzo Izumi, Convergence of formal morphisms of completions of complex spaces, J. Math. Soc. Japan 51 (1999), no. 3, 731–755. MR 1691457, DOI 10.2969/jmsj/05130731
János Kollár and András Némethi, Holomorphic arcs on singularities, Invent. Math. 200 (2015), no. 1, 97–147. MR 3323576, DOI 10.1007/s00222-014-0530-3
Nicholas M. Katz, Algebraic solutions of differential equations ($p$-curvature and the Hodge filtration), Invent. Math. 18 (1972), 1–118. MR 337959, DOI 10.1007/BF01389714
Nicholas M. Katz, A conjecture in the arithmetic theory of differential equations, Bull. Soc. Math. France 110 (1982), no. 2, 203–239 (English, with French summary). MR 667751, DOI 10.24033/bsmf.1960
Herbert Kurke, Gerhard Pfister, Dorin Popescu, Marco Roczen, and Tadeusz Mostowski, Die Approximationseigenschaft lokaler Ringe, Lecture Notes in Mathematics, Vol. 634, Springer-Verlag, Berlin-New York, 1978 (German). MR 0485851, DOI 10.1007/BFb0068283
Jean-Pierre Lafon, Séries formelles algébriques, C. R. Acad. Sci. Paris 260 (1965), 3238–3241 (French). MR 174585
Jean-Pierre Lafon, Anneaux henséliens et théorème de préparation, C. R. Acad. Sci. Paris Sér. A-B 264 (1967), A1161–A1162 (French). MR 214589
Serge Lang, Some applications of the local uniformization theorem, Amer. J. Math. 76 (1954), 362–374. MR 62722, DOI 10.2307/2372578
L. Lipshitz, $D$-finite power series, J. Algebra 122 (1989), no. 2, 353–373. MR 999079, DOI 10.1016/0021-8693(89)90222-6
F. Lazzeri and A. Tognoli, Alcune proprietà degli spazi algebrici, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) 24 (1970), 597–632 (Italian). MR 292827
David Mumford, The red book of varieties and schemes, Second, expanded edition, Lecture Notes in Mathematics, vol. 1358, Springer-Verlag, Berlin, 1999. Includes the Michigan lectures (1974) on curves and their Jacobians; With contributions by Enrico Arbarello. MR 1748380, DOI 10.1007/b62130
Hideyuki Matsumura, Commutative algebra, 2nd ed., Mathematics Lecture Note Series, vol. 56, Benjamin/Cummings Publishing Co., Inc., Reading, Mass., 1980. MR 575344
Shigefumi Mori, On a hyperplane section theorem of Gurjar, Math. Ann. 319 (2001), no. 3, 533–537. MR 1819882, DOI 10.1007/PL00004447
Masayoshi Nagata, On the theory of Henselian rings, Nagoya Math. J. 5 (1953), 45–57. MR 51821, DOI 10.1017/S0027763000015439
Tetsushi Ogoma, General Néron desingularization based on the idea of Popescu, J. Algebra 167 (1994), no. 1, 57–84. MR 1282816, DOI 10.1006/jabr.1994.1175
William F. Osgood, On functions of several complex variables, Trans. Amer. Math. Soc. 17 (1916), no. 1, 1–8. MR 1501027, DOI 10.1090/S0002-9947-1916-1501027-1
Gerhard Pfister and Dorin Popescu, Die strenge Approximationseigenschaft lokaler Ringe, Invent. Math. 30 (1975), no. 2, 145–174 (German). MR 379490, DOI 10.1007/BF01425506
A. Płoski, Note on a theorem of M. Artin, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 22 (1974), 1107–1109 (English, with Russian summary). MR 367257
A. Płoski, Les solutions formelles et convergentes des équations analytiques. Semestre de Singularités à Lille, 1999.
A. Płoski, Formal and convergent solutions of analytic equations. Manuscript 2015.
Dorin Popescu, General Néron desingularization, Nagoya Math. J. 100 (1985), 97–126. MR 818160, DOI 10.1017/S0027763000000246
Dorin Popescu, General Néron desingularization and approximation, Nagoya Math. J. 104 (1986), 85–115. MR 868439, DOI 10.1017/S0027763000022698
Dorin Popescu, A strong approximation theorem over discrete valuation rings, Rev. Roumaine Math. Pures Appl. 20 (1975), no. 6, 659–692. MR 393023
Dorin Popescu, Artin approximation, Handbook of algebra, Vol. 2, Handb. Algebr., vol. 2, Elsevier/North-Holland, Amsterdam, 2000, pp. 321–356. MR 1759599, DOI 10.1016/S1570-7954(00)80031-5
G. Pólya, Sur les séries entières, dont la somme est une fonction algébrique. L’Enseign. Math. 22 (1921-22), 38-47.
Ronan Quarez, The Artin conjecture for $\textbf {Q}$-algebras, Rev. Mat. Univ. Complut. Madrid 10 (1997), no. 2, 229–263. MR 1605646
Michel Raynaud, Travaux récents de M. Artin, Séminaire Bourbaki. Vol. 1968/69: Exposés 347–363, Lecture Notes in Math., vol. 175, Springer, Berlin, 1971, pp. Exp. No. 363, 279–295 (French). MR 3077132
Michel Raynaud, Anneaux locaux henséliens, Lecture Notes in Mathematics, Vol. 169, Springer-Verlag, Berlin-New York, 1970 (French). MR 0277519
Guillaume Rond, Sur la linéarité de la fonction de Artin, Ann. Sci. École Norm. Sup. (4) 38 (2005), no. 6, 979–988 (French, with English and French summaries). MR 2216836, DOI 10.1016/j.ansens.2005.10.001
Guillaume Rond, Lemme d’Artin-Rees, théorème d’Izumi et fonction de Artin, J. Algebra 299 (2006), no. 1, 245–275 (French, with English summary). MR 2225775, DOI 10.1016/j.jalgebra.2005.06.037
Christel Rotthaus, On the approximation property of excellent rings, Invent. Math. 88 (1987), no. 1, 39–63. MR 877005, DOI 10.1007/BF01405090
Jesús M. Ruiz, The basic theory of power series, Advanced Lectures in Mathematics, Friedr. Vieweg & Sohn, Braunschweig, 1993. MR 1234937, DOI 10.1007/978-3-322-84994-6
Habib Sharif and Christopher F. Woodcock, Algebraic functions over a field of positive characteristic and Hadamard products, J. London Math. Soc. (2) 37 (1988), no. 3, 395–403. MR 939116, DOI 10.1112/jlms/s2-37.3.395
Karlheinz Spallek, Differenzierbare Kurven auf analytischen Mengen, Math. Ann. 177 (1968), 54–66 (German). MR 228004, DOI 10.1007/BF01350730
Mark Spivakovsky, Non-existence of the Artin function for Henselian pairs, Math. Ann. 299 (1994), no. 4, 727–729. MR 1286894, DOI 10.1007/BF01459808
Mark Spivakovsky, A new proof of D. Popescu’s theorem on smoothing of ring homomorphisms, J. Amer. Math. Soc. 12 (1999), no. 2, 381–444. MR 1647069, DOI 10.1090/S0894-0347-99-00294-5
R. P. Stanley, Differentiably finite power series, European J. Combin. 1 (1980), no. 2, 175–188. MR 587530, DOI 10.1016/S0195-6698(80)80051-5
Richard G. Swan, Néron-Popescu desingularization, Algebra and geometry (Taipei, 1995) Lect. Algebra Geom., vol. 2, Int. Press, Cambridge, MA, 1998, pp. 135–192. MR 1697953
J. Tannery, Propriétés des intégrales des équations différentielles linéaires à coefficients variables. Thèse de doctorat, Faculté des Sciences Paris 1874. Available at http://gallica.bnf.fr.
Bernard Teissier, Résultats récents sur l’approximation des morphismes en algèbre commutative (d’après André, Artin, Popescu et Spivakovsky), Astérisque 227 (1995), Exp. No. 784, 4, 259–282 (French, with French summary). Séminaire Bourbaki, Vol. 1993/94. MR 1321650
Jean-Claude Tougeron, Idéaux de fonctions différentiables, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 71, Springer-Verlag, Berlin-New York, 1972. MR 0440598
John J. Wavrik, A theorem on solutions of analytic equations with applications to deformations of complex structures, Math. Ann. 216 (1975), no. 2, 127–142. MR 387649, DOI 10.1007/BF01432540
S. Woblistin, On varieties of power series spaces. PhD thesis, University of Vienna 2016.
Oscar Zariski, Analytical irreducibility of normal varieties, Ann. of Math. (2) 49 (1948), 352–361. MR 24158, DOI 10.2307/1969284
Oscar Zariski and Pierre Samuel, Commutative algebra. Vol. II, Graduate Texts in Mathematics, Vol. 29, Springer-Verlag, New York-Heidelberg, 1975. Reprint of the 1960 edition. MR 0389876