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
Additional Information
- Herwig Hauser
- Affiliation: Faculty of Mathematics, University of Vienna, Austria
- MR Author ID: 82620
- Email: herwig.hauser@univie.ac.at
- Received by editor(s): December 2, 2016
- Published electronically: June 13, 2017
- Additional Notes: Supported by the Austrian Science Fund FWF within the projects P25652 and AI0038211
- © Copyright 2017 by the author
- Journal: Bull. Amer. Math. Soc. 54 (2017), 595-633
- MSC (2010): Primary 13-02, 14-02, 32-02
- DOI: https://doi.org/10.1090/bull/1579
- MathSciNet review: 3683627
Dedicated: To Michael Artin