Volume 50, Issue 4 p. 649-662
Research Article

Echelons of power series and Gabrielov's counterexample to nested linear Artin approximation

Mariemi E. Alonso

Mariemi E. Alonso

Departamento de Álgebra, Universidad Complutense de Madrid, Spain

Search for more papers by this author
Francisco J. Castro-Jiménez

Francisco J. Castro-Jiménez

Departamento de Álgebra, Universidad de Sevilla, Spain

Search for more papers by this author
Herwig Hauser

Herwig Hauser

Faculty of Mathematics, University of Vienna, Austria

Search for more papers by this author
Christoph Koutschan

Christoph Koutschan

Johann Radon Institute for Computational and Applied Mathematics, Austrian Academy of Sciences, Linz, Austria

Search for more papers by this author
First published: 18 May 2018
Citations: 2

This work was done in part during a Research-in-Teams program at the Erwin-Schrödinger Institute at Vienna, and the special semester on Artin approximation within the Chaire Jean Morlet at CIRM, Luminy-Marseille. M.E.A. was supported by MINECO MTM2014-55565 and UCM , IMI and Grupo 910444, F.-J.C.-J. by MTM2013-40455-P, MTM2016-75024-P and FEDER, H.H. and C.K. by the Austrian Science Fund FWF, within the projects P-25652 and AI-0038211, respectively, P29467-N32 and F5011-N15.

Abstract

Gabrielov's famous example for the failure of analytic Artin approximation in the presence of nested subring conditions is shown to be due to a growth phenomenon in standard basis computations for echelons, a generalization of the concept of ideals in power series rings.