Płoski Approximation Theorem

1. Problem Statement

The paper addresses the fundamental problem in singularity theory and local analytic geometry regarding the relationship between formal, convergent (analytic), and algebraic solutions to systems of equations. Specifically, it investigates:

• How formal power series solutions to analytic equations can be approximated or represented by convergent or algebraic solutions.
• The construction of equisingular deformations (deformations that preserve the topological type of a singularity) that connect analytic singularities to algebraic ones.
• The algebraization of analytic function germs and meromorphic function germs, particularly in low dimensions (2 variables), asking whether they are equivalent to polynomial or rational functions under analytic diffeomorphisms.

2. Methodology

The authors employ a synthesis of classical commutative algebra, singularity theory, and approximation theorems. The core methodological pillars include:

• Płoski's Approximation Theorem: The central tool is a strengthened version of Artin's Approximation Theorem. While Artin's theorem states that formal solutions can be approximated by convergent solutions to any finite order, Płoski's theorem asserts that any formal solution is a specialization of a convergent family of solutions parametrized by new variables.
• Nested Approximation (Popescu/Spivakovsky): The paper utilizes the "Nested Artin-Płoski-Popescu" theorem, which handles solutions with specific dependency structures (where variables depend only on subsets of other variables). This is crucial for preserving the stratification of singularities during deformation.
• Zariski Equisingularity: The authors use Zariski's notion of equisingularity (based on the behavior of discriminants and branch loci) to construct deformations. A family is Zariski equisingular if its discriminant structure remains constant along the deformation parameter.
• Varchenko's Theorem: The paper relies on the result that Zariski equisingular families are topologically trivial (i.e., the fibers are homeomorphic via an ambient homeomorphism).
• Differential Forms (for Meromorphic functions): In the 2D meromorphic case, the authors associate a meromorphic function with a holomorphic 1-form. They use the deformation of this 1-form to prove the algebraization of the function.

3. Key Contributions and Results

A. The Płoski Approximation Theorem (Theorem 2.2)

The paper reviews and clarifies A. Płoski's PhD result, which strengthens Artin's theorem.

• Statement: If $f(x, y) = 0$ has a formal power series solution $\hat{y}(x)$, there exists a convergent power series family $y(x, z)$ and a formal series $\hat{z}(x)$ such that $y(x, \hat{z}(x)) = \hat{y}(x)$.
• Significance: This implies that any formal solution lies in an analytically parametrized family of solutions. It provides a "uniformization" of the solution space.
• Generalization: The theorem holds for algebraic power series and in the context of Weierstrass systems.

B. Algebraization of Analytic Set Germs (Theorem 3.4)

The authors provide a constructive proof that every analytic set germ defined by one equation is Zariski equisingular to a germ defined by an algebraic power series.

• Construction: By iteratively applying the Weierstrass Preparation Theorem and analyzing generalized discriminants, they construct a sequence of pseudopolynomials. Using the nested approximation theorem, they deform the analytic coefficients into algebraic ones.
• Result: Since the deformation is Zariski equisingular, Varchenko's theorem guarantees it is topologically trivial. Thus, any analytic set germ is homeomorphic to an algebraic set germ.
• Extension: This is extended to systems of equations (Theorem 3.6/3.7), showing that analytic function germs can be transformed into polynomial germs via a homeomorphism (and Nash diffeomorphism in the real case).

C. Algebraization of Meromorphic Germs in Dimension 2 (Theorem 4.1)

This is a significant new result presented in the paper.

• Problem: Unlike analytic functions, 2-variable meromorphic germs are not always weakly finitely determined. The question of whether they are analytically equivalent to rational functions was open.
• Solution: The authors prove that any meromorphic function germ $\phi$ in two variables is analytically equivalent to an algebraic meromorphic function ($f/g$ where $f, g$ are algebraic power series).
• Method:
  1. Associate $\phi = f/g$ with a holomorphic 1-form $\omega$.
  2. Use Płoski's theorem to deform the coefficients of the associated algebraic equations defining the divisors of $\omega$.
  3. Construct a deformation $\Omega_t$ of the 1-form.
  4. Prove that for sufficiently high-order truncation, the deformation is analytically trivial (using a lemma by Cerveau and Mattei).
  5. Show that the first integrals of the deformed form are algebraic, implying the original function is equivalent to an algebraic one.

4. Significance and Impact

• Unification of Formal and Analytic Geometry: The paper demonstrates that the "gap" between formal and analytic solutions is bridged by algebraic structures when considering equisingular families.
• Topological Classification: It reinforces the idea that the topological type of a singularity is determined by its algebraic properties. Any analytic singularity can be "algebraized" without changing its topological nature.
• Resolution of Open Problems: The result on meromorphic functions in dimension 2 resolves a specific open question regarding the equivalence of meromorphic and rational germs, showing they are equivalent to algebraic meromorphic germs.
• Historical Context: The paper serves as a tribute to Arkadiusz Płoski, clarifying his unpublished proofs and integrating his work with modern developments by Popescu, Spivakovsky, and Varchenko. It highlights the transition from Artin's density results to Płoski's structural parametrization results.

In summary, the paper establishes that analytic singularities are topologically equivalent to algebraic ones through the mechanism of Zariski equisingular deformations, driven by the powerful Płoski approximation theorem. This provides a robust framework for reducing complex analytic problems to algebraic ones in singularity theory.