Grauert's Approximation Theorem in any Characteristic and Applications

Gerhard Pfister; Gert-Martin Greuel

arxiv: 2510.21001 · v3 · pith:TCAE2NLYnew · submitted 2025-10-23 · 🧮 math.AG

Grauert's Approximation Theorem in any Characteristic and Applications

Gert-Martin Greuel , Gerhard Pfister This is my paper

Pith reviewed 2026-05-21 20:07 UTC · model grok-4.3

classification 🧮 math.AG

keywords Grauert approximation theoremconvergent power seriesreal valued fieldssemiuniversal deformationisolated singularitiessplitting lemmaWeierstrass divisionpositive characteristic

0 comments

The pith

Grauert's division and approximation theorems hold for convergent power series over arbitrary real valued fields of any characteristic.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends Grauert's approximation theorem from complex numbers to convergent power series over arbitrary real valued fields in any characteristic. It shows that the underlying division results using standard bases and a generalized Weierstrass theorem carry over directly. This yields the existence of a convergent semiuniversal deformation for an isolated singularity together with a splitting lemma for hypersurface singularities that need not be isolated. A reader cares because the extension removes the dependence on complex analysis and opens deformation theory to positive characteristic and non-archimedean fields.

Core claim

Grauert's division and approximation theorems hold for convergent power series over arbitrary real valued fields of any characteristic. As direct applications, a convergent semiuniversal deformation exists for an isolated singularity and a splitting lemma holds for not necessarily isolated hypersurface singularities over any real valued field.

What carries the argument

Grauert's approximation theorem for solving systems of nested analytic equations, proved via standard bases for ideals in power series rings and a generalized Weierstrass division theorem.

If this is right

A convergent semiuniversal deformation exists for every isolated singularity over an arbitrary real valued field.
A splitting lemma applies to hypersurface singularities even when they are not isolated.
Analytic deformation techniques become available in positive characteristic without complex-analytic tools.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same convergence notion and division machinery may extend to other classes of singularities or to formal power series rings.
Results could connect analytic deformations over valued fields to algebraic deformation theory in mixed characteristic.
Explicit computations of semiuniversal deformations in positive characteristic become feasible once the approximation theorem is available.

Load-bearing premise

The standard basis and Weierstrass division arguments carry over without additional restrictions when the base field is an arbitrary real valued field rather than the complex numbers.

What would settle it

An explicit counterexample in a positive-characteristic real valued field where a system of nested equations in convergent power series admits no solution, or where a semiuniversal deformation fails to exist.

read the original abstract

In his seminal Inventiones paper from 1972 Grauert proved the existence of a semiuniversal deformation of an arbitrary complex analytic isolated singularity. For the proof he invented an approximation theorem for solving a system of "nested" analytic equations, which is now called Grauert's approximation theorem. To prove this, Grauert introduced standard bases for ideals in power series rings and proved a generalized Weiertrass division theorem. All this was done for convergent power series over the complex numbers. The purpose of this article is to extend Grauert's division and approximation theorem to convergent power series over arbitrary real valued fields of any characteristic. As an application, which was actually the motivation for this article, we derive the existence of a convergent semiuniversal deformation for an isolated singularity and a splitting lemma for not necessarily isolated hypersurface singularities over any real valued field.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This extends Grauert's approximation and division theorems to convergent series over arbitrary real-valued fields in any characteristic, enabling deformation results, but the completeness of the base field needs explicit checking.

read the letter

The key point is that this paper generalizes Grauert's approximation and division theorems from complex convergent series to those over any real-valued field in arbitrary characteristic, and then uses the result to establish convergent semiuniversal deformations for isolated singularities and a splitting lemma for hypersurfaces. They achieve this by carrying over the standard basis technique and the generalized Weierstrass division to the new setting. The proofs seem to follow the classical lines but work with the valuation instead of the usual norm. This is genuinely new because the 1972 paper was limited to the complex case, and the extension opens the door for similar results in positive characteristic. The paper does well in keeping the applications front and center and in being clear about what is being extended. The motivation from deformation theory comes through. One soft spot is the completeness question. The approximation process constructs successive approximations whose errors form a Cauchy sequence, and without the base field being complete the limit may not land back in the convergent ring over the original field. The abstract does not mention any completeness assumption, so I looked for how the paper handles this. It appears they do not add it explicitly, which means the results might require passing to the completion. This is a moderate concern rather than a fatal one, but it should be clarified because it affects whether the deformations are truly convergent over the given field. This paper is for specialists in singularity theory and deformation theory who work over valued fields or in positive characteristic. A reader looking for a reference tool in that area would get value from it. It deserves a serious referee because the technical extension is specific and the applications are standard ones that people care about. I recommend sending it out for peer review, with the referee asked to check the completeness issue in the proofs.

Referee Report

2 major / 2 minor

Summary. The manuscript extends Grauert's 1972 division and approximation theorems from convergent power series over ℂ to convergent power series over arbitrary real-valued fields of any characteristic. It introduces standard bases for ideals and proves a generalized Weierstrass division theorem in this setting, then uses the resulting approximation theorem to establish the existence of convergent semiuniversal deformations for isolated singularities and a splitting lemma for hypersurface singularities (not necessarily isolated).

Significance. If the central claims hold, the work provides a useful generalization of classical tools from complex analytic geometry to valued fields in arbitrary characteristic. This could support deformation-theoretic constructions in positive-characteristic or non-archimedean contexts where convergent solutions are required. The paper follows the classical strategy of Grauert but adapts the arguments to the general valuation setting.

major comments (2)

[§2.2] §2.2 (Definition of convergent power series): The ring of convergent series is defined using a real-valued field K without an explicit completeness assumption on K with respect to the valuation. The proof of the approximation theorem (Theorem 4.3) proceeds by constructing a sequence of approximate solutions whose error terms form a Cauchy sequence; the limit is asserted to lie in the convergent ring, but this requires completeness of K to guarantee convergence in K itself.
[§4] §4 (Proof of approximation theorem): The iterative construction relies on the Weierstrass division theorem (Theorem 3.4) to solve the nested equations step by step. If K is incomplete, the successive corrections may converge only formally, undermining the claim that the solution is convergent rather than merely formal. This affects both the division theorem and the applications in §5.

minor comments (2)

The abstract contains a typographical error: 'Weiertrass' should be 'Weierstrass'.
[§2] Notation for the valuation norm and the radius of convergence is introduced without a dedicated comparison to the classical complex case; a short remark clarifying the differences would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need to make the completeness assumption on the base field explicit. We address the two major comments below and will incorporate the necessary clarifications in the revised manuscript.

read point-by-point responses

Referee: [§2.2] §2.2 (Definition of convergent power series): The ring of convergent series is defined using a real-valued field K without an explicit completeness assumption on K with respect to the valuation. The proof of the approximation theorem (Theorem 4.3) proceeds by constructing a sequence of approximate solutions whose error terms form a Cauchy sequence; the limit is asserted to lie in the convergent ring, but this requires completeness of K to guarantee convergence in K itself.

Authors: We agree that the definition in §2.2 should explicitly require K to be complete with respect to its real valuation. Although the subsequent proofs (including the construction of the Cauchy sequence in Theorem 4.3) are carried out in a setting where limits exist in K, this was left implicit. We will revise the opening paragraph of §2.2 to state that K is a complete real-valued field. With this addition the asserted limit of the approximating sequence lies in the ring of convergent series by definition of completeness. revision: yes
Referee: [§4] §4 (Proof of approximation theorem): The iterative construction relies on the Weierstrass division theorem (Theorem 3.4) to solve the nested equations step by step. If K is incomplete, the successive corrections may converge only formally, undermining the claim that the solution is convergent rather than merely formal. This affects both the division theorem and the applications in §5.

Authors: This observation is directly tied to the completeness issue raised in the previous comment. Once K is assumed complete, each correction produced by the Weierstrass division theorem (Theorem 3.4) remains within the convergent category, and the resulting sequence is Cauchy with respect to the Gauss norm. The limit is therefore convergent rather than merely formal. We will insert a short clarifying paragraph at the end of the proof of Theorem 4.3 that invokes completeness to guarantee the limit lies in the convergent ring. The same clarification propagates to the applications in §5 without altering their statements or proofs. revision: yes

Circularity Check

0 steps flagged

No circularity: direct extension of Grauert's proofs to new base fields

full rationale

The paper states its purpose as extending Grauert's division and approximation theorems from the complex numbers to convergent power series over arbitrary real valued fields of any characteristic, then deriving applications such as convergent semiuniversal deformations. The provided abstract describes adapting standard bases and the generalized Weierstrass division theorem to this setting without any indication that the target results are presupposed in the definitions or obtained by fitting parameters to subsets of the same data. No self-citation chains, ansatzes smuggled via prior work by the same authors, or renamings of known results appear as load-bearing steps in the derivation chain. The claims rest on carrying over the original arguments, which constitutes independent mathematical content rather than reduction to the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities are stated or can be extracted.

pith-pipeline@v0.9.0 · 5672 in / 1042 out tokens · 31459 ms · 2026-05-21T20:07:32.842626+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

extend Grauert’s division and approximation theorem to convergent power series over arbitrary real valued fields of any characteristic... existence of a convergent semiuniversal deformation
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Lemma 2.1. If K is a complete real valued field then B^N_ε is complete... proof of Theorem 2.3

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.