Linear nested Artin approximation theorem for algebraic power series

  • Francisco-Jesús Castro-Jiménez
  • Dorin Popescu
  • Guillaume Rond
Article
  • 5 Downloads

Abstract

We give an elementary proof of the nested Artin approximation theorem for linear equations with algebraic power series coefficients. Moreover, for any Noetherian local subring of the ring of formal power series, we clarify the relationship between this theorem and the problem of the commutation of two operations for ideals: the operation of replacing an ideal by its completion and the operation of replacing an ideal by one of its elimination ideals. In particular we prove that a Grothendieck conjecture about morphisms of analytic/formal algebras and Artin’s question about linear nested approximation problem are equivalent.

Mathematics Subject Classification

Primary: 13B40 Secondary: 13J05 14B12 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abhyankar, S.S., van der Put, M.: Homomorphisms of analytic local rings. J. Reine Angew. Math. 242, 26–60 (1970)MathSciNetMATHGoogle Scholar
  2. 2.
    André, M.: Artin theorem on the solution of analytic equations in positive characteristic. Manuscr. Math. 15, 314–348 (1975)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Artin, M.: On the solutions of analytic equations. Invent. Math. 5, 277–291 (1968)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Artin, M.: Algebraic approximation of structures over complete local rings. Publ. Math. IHES 36, 23–58 (1969)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Artin, M.: Algebraic Spaces, Yale Mathematical Monographs, vol. 3. Yale University Press, New Haven (1971)Google Scholar
  6. 6.
    Becker, J.: Exposé on a conjecture of Tougeron. Ann. Inst. Fourier 27(4), 9–27 (1977)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Bierstone, E., Milman, P.: Relations among analytic functions II. Ann. Inst. Fourier 37(2), 49–77 (1987)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Chevalley, C.: On the theory of local rings. Ann. Math. 44, 690–708 (1943)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    Denef, J., Lipshitz, L.: Ultraproducts and approximation in local rings II. Math. Ann. 253, 1–28 (1980)MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Eakin, P.M., Harris, G.A.: When \(\Phi (f)\) convergent implies \(f\) convergent. Math. Ann. 229, 201–210 (1977)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Fernández de Bobadilla, J.: Nash Problem for surface singularities is a topological problem. Adv. Math. 230, 131–176 (2012)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Gabrielov, A.M.: The formal relations between analytic functions. Funkc. Anal. Prilovzen 5, 64–65 (1971)MathSciNetGoogle Scholar
  13. 13.
    Gabrielov, A.M.: Formal relations among analytic functions. Izv. Akad. Naut. SSSR 37, 1056–1088 (1973)MathSciNetMATHGoogle Scholar
  14. 14.
    Grothendieck, A.: Techniques de construction en géométrie analytique VI. Sémin. Henri Cartan 13(1), 1–13 (1960–1961)Google Scholar
  15. 15.
    Izumi, S.: The rank condition and convergence of formal functions. Duke Math. J. 59, 241–264 (1989)MathSciNetCrossRefMATHGoogle Scholar
  16. 16.
    Lafon, J.-P.: Anneaux henséliens et théorème de préparation. C. R. Acad. Sci. Paris Sér. A B 264, A1161–A1162 (1967)MATHGoogle Scholar
  17. 17.
    Milman, P.: Analytic and polynomial homomorphisms of analytic rings. Math. Ann. 232(3), 247–253 (1978)MathSciNetCrossRefMATHGoogle Scholar
  18. 18.
    Mir, N.: Algebraic approximation in CR geometry. J. Math. Pures Appl. (9) 98(1), 72–88 (2012)MathSciNetCrossRefMATHGoogle Scholar
  19. 19.
    Nagata, M.: Local Rings, Interscience Tracts in Pure and Applied Mathematics, 13th edn. Interscience, New York (1962)Google Scholar
  20. 20.
    Osgood, W.F.: On functions of several complex variables. Trans. Am. Math. Soc. 17, 1–8 (1916)CrossRefMATHGoogle Scholar
  21. 21.
    Popescu, D.: General Néron desingularization and approximation. Nagoya Math. J. 104, 85–115 (1986)MathSciNetCrossRefMATHGoogle Scholar
  22. 22.
    Rond, G.: Approximation de Artin cylindrique et morphismes d’algèbres analytiques. In: Proceedings of the Lêfest—Singularities I: Algebraic and Analytic Aspects, Contemporary Mathematics, vol. 474, pp. 299–307 (2008)Google Scholar
  23. 23.
    Rond, G.: Homomorphisms of local algebras in positive characteristic. J. Algebra 322(12), 4382–4407 (2009)MathSciNetCrossRefMATHGoogle Scholar
  24. 24.
    Rond, G.: Artin approximation. arXiv:1506.04717
  25. 25.
    Shiota, M.: Analytic and Nash equivalence relations of Nash maps. Bull. Lond. Math. Soc. 42(6), 1055–1064 (2010)MathSciNetCrossRefMATHGoogle Scholar
  26. 26.
    Swan, R.: Néron–Popescu desingularization, Algebra and geometry (Taipei, 1995), Lectures in Algebra and Geometry, vol. 2, pp. 135–192. International Press, Cambridge (1998)Google Scholar
  27. 27.
    Tougeron, J.-C.: Courbes analytiques sur un germe d’espace analytique et applications. Ann. Inst. Fourier 26(2), 117–131 (1976)MathSciNetCrossRefMATHGoogle Scholar
  28. 28.
    Tougeron, J.-C.: Sur les racines d’un polynôme à coefficients séries formelles. Real analytic and algebraic geometry (Trento 1988). Lectures Notes in Mathematics, vol. 1420, pp. 325–363 (1990)Google Scholar
  29. 29.
    Zariski, O., Samuel, P.: Commutative Algebra II. D. Van Nostrand, Princeton (1960)CrossRefMATHGoogle Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Departamento de Álgebra and IMUSUniversidad de SevillaSevillaSpain
  2. 2.Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit 5, University of BucharestBucharestRomania
  3. 3.UMR 7373, I2M, Centrale Marseille, CNRSAix-Marseille UniversitéMarseilleFrance

Personalised recommendations