arXiv++ Combinatorics

Browse math.CO papers from arXiv

Real algebraic surfaces biholomorphically equivalent but not algebraically equivalent

Published: 2025-03-11 | Updated: 2025-04-11
Comments: The proof of Lemma 5 is incorrect: we do not have $H(M_\mathcal S)\subset M_\infty$ since $M_\infty$ is defined by 2 equations and $Im(w)=0$ has not be considered in the proof. This affects the main result, and we do not know whether it is true

Abstract

We answer in the negative the long-standing open question of whether biholomorphic equivalence implies algebraic equivalence for germs of real algebraic manifolds in $\mathbb C^n$. More precisely we give an example of two germs of real algebraic surfaces in $\mathbb C^2$ that are biholomorphic, but not via an algebraic biholomorphism. In fact we even prove that the components of any biholomorphism between these two surfaces are never solutions of polynomial differential equations. The proof is based on enumerative combinatorics and differential Galois Theory results concerning the nature of the generating series of walks restricted to the quarter plane.

BibTeX

Loading...