Transcendental holomorphic maps between real algebraic manifolds in a complex space
Guillaume Rond

TL;DR
This paper presents an example of a real algebraic manifold in complex space lacking the Nash-Artin approximation Property, highlighting its implications for biholomorphic and algebraic equivalence of real algebraic manifolds.
Contribution
It provides the first known example of a real algebraic manifold without the Nash-Artin approximation Property, using elliptic Bishop surfaces and functional equations.
Findings
The example is an elliptic Bishop surface.
The Nash-Artin approximation Property does not hold for this manifold.
Implications for biholomorphic and algebraic equivalence problems.
Abstract
We give an example of a real algebraic manifold embedded in a complex space that does not satisfy the Nash-Artin approximation Property. This Nash-Artin approximation Property is closely related to the problem of determining when the biholomorphic equivalence for germs of real algebraic manifolds coincides with the algebraic equivalence. This example is an elliptic Bishop surface, and its construction is based on the functional equation satisfied by the generating series of some walks restricted to the quarter plane.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Transcendental holomorphic maps between real algebraic manifolds in a complex space
Guillaume Rond
Aix-Marseille Université, LASOL, UMI2001, UNAM, Mexico
Abstract.
We give an example of a real algebraic manifold embedded in a complex space that does not satisfy the Nash-Artin approximation Property. This Nash-Artin approximation Property is closely related to the problem of determining when the biholomorphic equivalence for germs of real algebraic manifolds coincides with the algebraic equivalence. This example is an elliptic Bishop surface, and its construction is based on the functional equation satisfied by the generating series of some walks restricted to the quarter plane.
Key words and phrases:
holomorphic map, algebraic map, Bishop surface, lattice walk
2010 Mathematics Subject Classification:
Primary: 32H02, Secondary: 05A15, 14P05, 32C05, 32V40, 39B32
The author is deeply grateful to the UMI LASOL of the CNRS where this project has been carried out.
1. Introduction
An important problem in complex geometry is to classify germs of real analytic manifolds in up to biholomorphic equivalence (see [BER00] for an introduction to this problem). This problem goes back to Poincaré [Po07], and E. Cartan, for germs of real analytic smooth hypersurfaces in [Ca32], then S. S. Chern and J. K. Moser, for germs of real analytic smooth hypersurfaces in for [CM75], gave a complete description of this classification, when the hypersurfaces are assumed to be Levi nondegenerate. More precisely, S. S. Chern and J. K. Moser first gave a complete classification up to formal biholomorphisms, and then they showed that any formal biholomorphism between Levi nondegenerate real hypersurfaces is necessarily convergent.
Therefore a natural question was to understand when the biholomorphic equivalence and the formal (biholomorphic) equivalence coincide. This question has been widely studied since the work [CM75]; the reader can consult [Mir13] for a general presentation of this problem. The first negative answer to this question has been given in [MW83]: the authors considered a particular example of a germ of a real algebraic smooth surface in for which there exists a germ of a real analytic smooth surface , such that and are formally equivalent but not biholomorphically equivalent. This surface has the following particular property: its tangent space at any point near the origin is totally real, but its tangent space at the origin is a complex line (in other words it has a CR-singularity at the origin). Such a surface is called a Bishop surface.
On the other hand, this question is known to have a positive answer for several examples of CR-manifolds (see [Mir13] for an introduction to the subject), and for quite a while, it remained open whether, for any germ of a real analytic CR-manifold , the formal equivalence class of was the same as its biholomorphic equivalence class. This question has been recently answered in the negative in [KS16].
In the case of real algebraic (not necessarily CR) manifolds in , one can define the notion of algebraic (biholomorphic) equivalence. One says that two germs of real algebraic manifolds , in are algebraically equivalent if there is a germ of biholomorphic map such that , and such that the components of are algebraic, that is, they are given by algebraic power series. The question of whether biholomorphic equivalence implies algebraic equivalence of germs of real algebraic manifolds has first been asked in [BER00]. This is even stated as a conjecture in [BMR02]. Up to now the answer to this question remains completely open (see also [Mir13]), even if it is known to be true in some important cases (as the case of hypersurfaces [BMR02] - see also [Za99] and [KLS16]).
A related problem has been introduced by N. Mir in [Mir12]. He introduced the notion of Nash-Artin approximation Property for a smooth real algebraic set (see Definition 1 below). The Nash-Artin approximation Property for implies that the biholomorphic equivalence class of coincides with the algebraic equivalence class of . In fact this approximation property is natural since, for a lot of the cases where these two notions of equivalence are known to coincide, the Nash-Artin property is also satisfied. Therefore, a natural question is whether this approximation property is always satisfied for real algebraic manifolds. In the case of real algebraic CR-manifolds, this is even a conjecture (see [Mir13]).
Up to now, there were no known examples of real algebraic manifolds not satisfying this Nash-Artin approximation Property. The aim of this note is to provide such examples. These examples are constructed from the functional equations satisfied by the generating series of some walks restricted to the quarter plane. These examples are in fact elliptic Bishop surfaces.
The author would like to thank Nordine Mir for his comments and for pointing out that the surfaces are elliptic Bishop surfaces.
2. The Nash-Artin approximation Property
Definition 1**.**
[Mir12] Let be the germ of a real algebraic manifold. We say that has the Nash-Artin approximation Property if
- i)
for every and every real algebraic set
- ii)
for every germ of holomorphic map
- iii)
for every
such that
[TABLE]
there is a holomorphic algebraic map germ such that
[TABLE]
and agrees with up to order .
The terminology comes from the Artin approximation Theorem [Ar69].
Remark 2*.*
Assume that the ideal defining is generated by the real valued polynomials , …, and the ideal defining is generated by the real valued polynomials , …, . Here and . Then the condition
[TABLE]
is equivalent to the existence of series , for and , such that
[TABLE]
3. Generating series of walks restricted to the quarter plane
We consider the following situation: We fix a set of steps . For all and , we denote by the number of walks with steps in of length , starting at the origin and ending at , and remaining in the quarter plane . The associated generating series is defined by
[TABLE]
The reader may consult [BMM09] for a general account of the study of these generating series. We recall here that is the solution of the equation
[TABLE]
where if and otherwise.
The term is called the kernel of the equation and is denoted by . In fact, by the division theorem of formal power series (see for instance [Ro18, Example 1.14]), the equation
[TABLE]
has a unique solution such that none of the monomials of are divisble by . In particular, can be written as where . Therefore we have necessarily and
[TABLE]
We have the following lemma (for a general account of Bishop surfaces, see [Bi65], [Mo85] or [HY09] for example) :
Lemma 3**.**
We denote by the real algebraic surface defined by . Then is smooth at the origin if and only if . In this case the germ is the germ of a Bishop surface with a Bishop invariant equal to 0.
Proof.
We have
[TABLE]
[TABLE]
[TABLE]
Thus, . Therefore is smooth at the origin if and only if , that is, if and only if .
In this case, the germ is also defined by
[TABLE]
But can be expanded as
[TABLE]
where is the germ of a real analytic function vanishing to order at least three at the origin. Therefore is the germ of a Bishop surface with a Bishop invariant equal to 0. ∎
To such a kernel is usually associated a group of birational automorphisms that preserves . By [KR12, Theorem 1], this group is finite if and only if the series is D-finite (or holonomic). In fact they show the following stronger result: if is infinite then and are not D-finite. In particular, in this case, and are transcendental convergent power series. There are 56 such walks and their list can be found in [BMM09, Table 4] for instance.
Among these 56 walks with infinite group, only 7 satisfy Lemma 3 while having a Kernel satisfying the following symmetry:
[TABLE]
These correspond to the following sets :
For these walks, by symmetry, the solutions of (3.2) satisfy the relation and have positive integer coefficients.
In fact, it has been recently shown that the generating series corresponding to these 7 types of walks are among those that are -hypertranscendental and -hypertranscendental [DHRS18]. That is, (resp. ) is not a solution, as a function of (resp. of ), of a polynomial differential equation. Therefore, is not a solution of a polynomial differential equation, and neither is .
4. Example
Let be the real algebraic manifold defined by where is one of the sets given in Figure 1. Since
[TABLE]
by (3.3), we easily check that is defined by the real algebraic equations:
[TABLE]
Let be the subset of defined by
[TABLE]
or, equivalently, by
[TABLE]
Then is a real algebraic smooth hypersurface. Now let
[TABLE]
be a germ of a (formal) holomorphic map such that By (2.1), this is equivalent to saying that there exist power series and such that the following relations are satisfied:
[TABLE]
Equivalently we have
[TABLE]
for some . But (4.1) is exactly (3.2) whose unique solution is the generating series that counts the number of walks restricted to the quarter plane by the length and by the end point, and whose set of elementary steps is . In this case we have
[TABLE]
is a transcendental power series (with real coefficients) as explained before.
This proves that the germs of holomorphic maps such that
[TABLE]
are not algebraic.
This shows that does not satisfy the Nash-Artin approximation Property.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[Ar 69] M. Artin, Algebraic approximation of structures over complete local rings, Publ. Math. IHES , 36 , (1969), 23-58.
- 2[BER 00] M. S. Baouendi, P. Ebenfeld, L. P. Rothschild, Local geometric properties of real submanifolds in complex space, Bull. AMS , 37 , no. 3, (2000), 309-336.
- 3[BMR 02] M. S. Baouendi, N. Mir, L. P. Rothschild, Reflection ideals and mappings between generic submanifolds in complex space, J. Geom. Anal. , 12 , No. 4, (2002), 543-580.
- 4[Bi 65] E. Bishop, Differentiable manifolds in complex Euclidean space, Duke Math. J. , 32 , (1965), 1-21.
- 5[BMM 09] M. Bousquet-Mélou, M. Mishna, Walks with small steps in the quarter plane, Contemp. Math. , 520 , (2010), 1-40.
- 6[Ca 32] É. Cartan, Sur la géométrie pseudo-conforme des hypersurfaces de l’espace de deux variables complexes, Ann. Mat. Pura Appl. , 11(4) , (1932), 17-90.
- 7[CM 75] S.S. Chern, J.K. Moser, Real hypersurfaces in complex manifolds, Acta Math. , 133 , (1974), 219-271.
- 8[DHRS 18] T. Dreyfus, C. Hardouin, J. Roques, M. Singer, On the nature of the generating series of walks in the quarter plane, Invent. Math. , 213 , No. 1, (2018), 139-203.
