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.
Original language | English |
---|---|
Pages (from-to) | 595-633 |
Number of pages | 39 |
Journal | Bulletin of the American Mathematical Society. New Series |
Volume | 54 |
DOIs | |
Publication status | Published - 2017 |
Austrian Fields of Science 2012
- 101001 Algebra
- 101005 Computer algebra
- 101009 Geometry
- 101008 Complex analysis
Keywords
- ALGEBRAIC-FUNCTIONS
- ARITHMETIC THEORY
- CONJECTURE
- CURVES
- DEFORMATIONS
- EQUATIONS
- GENERAL NERON DESINGULARIZATION
- HYPERPLANE SECTION THEOREM
- POWER-SERIES
- ULTRAPRODUCTS