Periodic complex map germs and foliations

In this paper we study topological and analytical conditions on the orbits of a germ of diffeomorphism in the complex plane in order to obtain periodicity. In particular, we give a simple proof of a finiteness criteria for groups of analytic diffeomorphisms, stated in Brochero Martínez 2003. As an application, we derive some consequences about the integrability of complex vector fields in dimension three in a neighborhood of a singular point.


-INTRODUCTION
The relationship between periodic subgroups of Diff(C, 0) and the integrability of germs of vector fields at (C 2 , 0) was established in Mattei and Moussu 1980.There the authors show that the topological condition of finiteness of the orbits is sufficient to ensure the periodicity of a finitely generated sugbroup at Diff(C, 0).As a consequence, they obtain that the topological condition of closeness of the orbits of a germ of vector field X is equivalent to the existence of a first integral, i.e., a germ of map f : (C 2 , 0) −→ (C, 0) whose level sets contain the orbits of X.The link between these two objects is obtained in terms of the so called holonomy group, introduced by Charles Ehresmann.
In this paper we show that for n = 2 a completely distinct phenomena occur.In fact we present and explicit example (Example 2.1) showing that the finiteness of the orbits of a cyclic subgroup of Diff(C 2 , 0) is not enough to ensure its periodicity.From this example we construct a vector field X at (C 3 , 0) (Example 3.1) whose leaves are closed but are not contained in the level sets of a map-germ F : (C 3 , 0) −→ (C 2 , 0).
In the sequel we show that the periodicity of a germ of diffeomorphism at (C 2 , 0) is achieved if we add one further topological condition, i.e., the finiteness of the orbits together with the Lyapunov stability condition.In terms of vector fields this may be translated by saying that X admits a first integral F : (C 3 , 0) −→ (C 2 , 0) if and only if its orbits are closed off the origin and transversely stable (in the sense of Lyapunov and Reeb) with respect to a distinguished smooth separatrix.
In the final part of the paper we show that these new topological aspects may be reinterpreted in terms of flags of foliations (Theorem 3.4).Finally we want to mention that we also present in this paper a simple proof of a finiteness criteria for groups of analytic diffeomorphisms (Theorem 2.2), stated in Brochero Martínez 2003, since it is one of our main ingredients.

-PRELIMINARIES
Let Diff(C n , 0) denote the group of germs of diffeomorphisms of C n fixing the origin.Let G ∈ Diff(C 2 , 0) and V be a neighborhood of the origin, where a representative (also denoted by G) of the germ G is defined.Then we denote by the so-called positive semiorbit of x ∈ V by G. Analogously, the negative semiorbit A diffeomorphism f ∈ Diff(C n , 0) is said to be tangent to the identity if it can be expanded in series of homogeneous polynomials as f = (f 1 , ..., f n ) with f j (z) = z j + f j,νj (z) + • • • , where f j,νj ≡ 0 and ord(f j,k ) = k whenever f j,k ≡ 0. Then one says that ν(f ) = min{ν 1 , ..., ν n } is the order of f .The set of germs of diffeomorphisms tangent to the identity is denoted by Diff 1 (C n , 0).
Let f ∈ Diff 1 (C 2 , 0), then we say that ϕ : Ω −→ C n is a parabolic curve for f at the origin if it is an injective holomorphic map satisfying the following properties: (1) Ω ⊂ C is a simply connected domain with 0 ∈ ∂Ω; (2) ϕ is continuous at the origin and ϕ(0) = 0 ∈ C n ; (3) ϕ(Ω) is invariant under f and ), where f ν (x) = (f 1,ν (x), f 2,ν (x)) ≡ 0 with f j,ν being homogeneous polynomial of degree ν.Then we say that f is dicritical if x 2 f 1,ν (x) − x 1 f 2,ν (x) ≡ 0 and non-dicritical otherwise.The relationship between parabolic curves and dicritical fixed points is given by the following result.
Theorem 2.1 (Abate 2001).Let f ∈ Diff 1 (C 2 , 0) be a dicritical germ of holomorphic map tangent to the identity, then f admits infinitely many parabolic curves.

-INFINITELY MANY INVARIANT SETS
In Brochero Martínez 2003 the following result is announced as Theorem 3.1, but unfortunately its proof seems to be incomplete.Cienc (2017) 89 (4) PERIODIC COMPLEX MAP GERMS AND FOLIATIONS 2565 Theorem 2.2.Let G ∈ Diff(C 2 , 0), then the group generated by G is finite if and only if there exists a neighborhood V of the origin such that |O V (G, x)| < ∞ for all x ∈ V and G preserves infinitely many analytic invariant curves at 0.

An Acad Bras
Here we shall present a simple and consistent proof for it.Since the necessary part of Theorem 2.2 is trivial, then we only prove its sufficient part in the following series of claims.For this sake, we need to recall some terminology from complex dynamics.
A germ of curve S ⊂ (C 2 , 0) is a separatrix for f if f (S) = S as germs of curves at the origin.Such a separatrix is called periodic of period n ∈ N if f •(n) (x) = x for each x ∈ S. The curve S is not necessarily irreducible and may have several branches.The map f takes a branch into a branch and may interchange these branches.Nevertheless, since S has only a finite number of branches, we conclude that for each branch S j ⊂ S there is 1 ≤ m j ∈ N such that f •(mj) (S j ) = S j .Then clearly we have f •(m) (S j ) = S j , for all j = 1, ..., r, where m = m 1 • • • m r .Thus, we have: Remark 2.1.It is well-known that a map germ h ∈ Diff(C, 0) with finite orbits is necessarily periodic (Mattei and Moussu 1980) We claim that if h has finite orbits then h is periodic.Indeed, in case S is (irreducible and) smooth this is immediate.In the general (irreducible) case we take a Newton-Puiseux parametrization σ : (C, 0) → (S, 0).This is a holomorphic injective map so that we may consider the "lift" h : (C, 0) → (C, 0), i.e., the holomorphic map that satisfies σ • h = h • σ.Then h ∈ Diff(C, 0) also has finite orbits and thus, is periodic.Therefore, the same holds for h.
Combining Claim 1 and Remark 2.1 we promptly obtain: In view of the above result, from now on we suppose that f admits infinitely many periodic separatrices.We say that a set of separatrices for f is in general position if their first tangent cone intersect the exceptional divisor in at least three distinct points.
j=1 be distinct periodic separatrices for f , then after a finite number of blowing-ups on S there appears a local map-germ f ∈ Diff(C 2 , 0) admitting an infinite set of irreducible periodic separatrices in general position.
Proof.It is immediate that after blowing-up S a finite number of times at least three distinct curves will intersect the exceptional divisor in three distinct points in such a way that one of these points intersects infinitely many separatrices.
Claim 4. Suppose f ∈ Diff(C 2 , 0) has a set of irreducible periodic separatrices in general position.Then there exists n ∈ N such that f •(n) is tangent to the identity.
Proof.Let S j , j = 1, 2, 3, be three distinct periodic separatrices in general position of orders respectively n j .Let n = n 1 n 2 n 3 , then g := f •n has three distinct irreducible separatrices in general position.Now, let An Acad Bras Cienc (2017) 89 (4) g be the strict transform of g by a blow-up π : M −→ D. If D = π −1 (0) is the exceptional divisor of this blow-up, then it follows immediately from the hypothesis that g| D = Id.Let us prove that the first jet of g is given by a diagonal matrix.Let g = (g 1 , g 2 ), where J 1 g j (x, y) = α j x + β j y.After one blowing-up we have Since g| D = Id, then α 2 = β 1 = 0 and α := α 1 = β 2 ∈ C * .Therefore, J 1 g(x, y) = (αx, αy).Now, suppose the three irreducible invariant curves are smooth (or resolved after one blowing-up), then we may suppose without loss of generality that S : (y = 0) is an invariant periodic curve for g.In particular, its strict transform S : (t = 0) is periodic with respect to g.Since g| D (0, x) = (0, ) is a root of unity.The result then follows.On the other hand, suppose S is a singular irreducible curve invariant by g (not necessarily periodic) and recall Remark 2.1.Let σ(s) = (s m , µs n +• • • ) be the Newton-Puiseux parametrization for S and g ∈ (C, 0) be given by σ thus λ m = 1 and α = λ n ; i.e., α = exp( 2knπi m ) is a root of unity.The result then follows.
Claim 5. Suppose g ∈ Diff 1 (C 2 , 0) admits an infinite number of separatrices, then along its resolution π : (M, D) −→ (C 2 , 0) there appears a dicritical map-germ g ∈ (M, p) tangent to the identity in a neighborhood of p ∈ D.
Proof.Let g be the strict transform of g by a resolution π : M −→ (C 2 , 0), then to each invariant curve S there corresponds a fixed point for g along M. Therefore, at least one of the projective spaces composing the exceptional divisor D = π −1 (0) admits infinitely many separatrices for g transversal to it.The result then follows.
Therefore, in order to prove Theorem 2.2 we just have to combine the above claims with Abate's theorem.

-INVARIANT FUNCTIONS
A finitely generated subgroup G ⊂ Diff(C, 0) is finite provided that it has finite pseudo-orbits (Mattei and Moussu 1980).Contrasting with the one dimensional case, in greater dimensions the finiteness of the orbits is not enough to ensure the periodicity of the group.
Example 2.1.Consider the map G(x, y) = (x + y 2 , y).The orbits of G are confined in the level sets of f (x, y) = y and are clearly finite.Notice that #O V (G, (x, y)) → ∞ as y → 0, thus G is not periodic nor linearizable.Furthermore, the orbits O V (G, (x, y)) are far from being stable, since in each line (y = c) the map G acts as a translation.
Blowing up this diffeomorphism (cf.Abate 2001) G = (g 1 , g 2 ) = (x + y 2 , y) at the origin one has whose orbits are finite and confined in the level sets of f (t, x) = tx.Further, G acts in these level sets of f in some sort of translation whose orbits increase in cardinality as f (t, x) → 0.
Therefore in order to obtain periodicity we need to ask some further conditions.We say that two germs of holomorphic functions f, g ∈ O 2 are generically transverse if df ∧ dg is not identically zero.
Theorem 2.3.Let f, g ∈ O 2 be generically transverse germs and G ∈ Diff(C 2 , 0) be a complex map germ having finite orbits and preserving the level sets of both f and g.Then G is periodic.
Proof.The idea of the proof is the following: Since f and g are generically transverse, then one can find a pure meromorphic function h o = f o /g o whose level sets are preserved by G. Hence, the infinitely many curves and h is a germ of holomorphic function not divisible by g.Clearly, h is G-invariant, thus if it has an irreducible component distinct from the irreducible components of g, then h/g must be a G-invariant pure meromorphic function.Suppose that the decomposition in irreducible components of g and h are of the form g Since h is not divisible by g, then there must be j 0 ∈ {1, • • • , n} such that q j0 < p j0 .If there is also j 1 ∈ {1, • • • , n} such that q j1 > p j1 , then h/g is a pure meromorphic G-invariant function.From now on we suppose that q j ≤ p j for all j = 1, . . ., n with at least one j 0 ∈ {1, • • • , n} such that q j0 < p j0 .If there is j 1 ∈ {1, • • • , n} such that q j1 = p j1 , then after reordering the indexes (if necessary) we may suppose that: (i) q i < p i for all i = 1, . . ., n 0 ; (ii) denotes the integer part of x ∈ R), then a straightforward calculation shows that g/h s1 is a pure meromorphic function.Hereafter we suppose that q j < p j for all j = 1, . . ., n.
Recall that the Euclid's algorithm of a pair of positive integers (p, q), p > q, is the sequence of pairs of positive integers {(p j , q j )} n+1 j=1 given by: (1) (p 1 , q 1 ) := (p, q); (2) p j = q j • r j + s j , where r j := [p/q] and s j < q j ; (3) (p j+1 , q j+1 ) := (q j , r j ); and (4) s n > 0 and s n+1 = 0.This is called the Euclid's sequence of the pair (p, q).For simplicity, suppose that g and h have only two irreducible components, say g = f p (f ) p and h = f q (f ) q , and let {(p j , q j )} n+1 j=1 and {(p j , q j )} n+1 j=1 be the Euclid's sequence of (p, q) and (p, q), respectively.If ) p1 is a G-invariant germ of pure meromorphic function.Arguing inductively along the Euclid's sequences of (p, q) and (p, q) one can always construct a G-invariant pure meromorphic function unless r j = r j for all j = 1, • • • , n + 1.But this means that (p, q) = (αs n , βs n ) and (p, q) = (αs n , βs n ) for some α, β ∈ Z + .Therefore, g, h, and f are powers of the same holomorphic function f sn (f ) sn , thus f and g cannot be generically transverse.A contradiction!The reasoning in the case of many irreducible factors is analogous, being in fact a consequence of the above reasoning.In particular, Theorem 2.3 ensures that the map G defined in Example 2.1 does not preserve the level sets of a couple of generically transverse functions f, g ∈ O 2 .
Given a map φ ∈ Diff 1 (C 2 , 0), we have φ(x, y) = exp[1] X(x, y) for a (unique) formal vector field X of order at least two (cf.Brochero Martínez et al. 2008, Câmara andScárdua 2012) called the infinitesimal generator of φ.Let F be a germ of foliation at 0 ∈ C 2 having a dicritical component (i.e., admitting infinitely many separatrices through the origin).We shall say that F is adapted to φ if there is a resolution π : (M, D) −→ (C 2 , 0) of X such that π * (F) has infinitely many curves transverse to D (this happens precisely when we blow-up a dicritical component of F along the resolution of X).
Proof.For simplicity we shall write F = F ω .Let π : (M, D) → (C 2 , 0) be the resolution of φ introduced in Abate M. 2001, F := π * F the strict transform of F via π, and φ the lifting of φ.
then it is given in appropriate coordinate systems by a fibration transversal to D j , up to a finite number of singular leaves or smooth leaves tangent to D j .More precisely, there is an open set U j := D j \{p 1 , • • • , p r } such that φ| Uj can be seen as a family of germs of automorphisms of (C, 0) with parameters in U j ⊂ D j CP 1 (see Figure 1).Let φ t ∈ (C, 0) be given by φ t (x) := φ(t, x) for some t ∈ U j , then the classical Leau-Fatou flower theorem (Bracci 2004) says that φ t has a parabolic fixed point at the origin, unless it is the identity.The result then follows by analytic continuation.
, all positive iterates of G starting in W remain in V .Notice that any hyperbolic attractor satisfy the previous condition, but if we add the hypothesis of finiteness of the positive orbits, then the map must be periodic.1. G is positively semistable.

G has finite orbits.
Then G is periodic, i.e., there is p ∈ Z + such that G •p = Id.
Proof.By the positive semistability, there are W and V as above with W ⊂ V and satisfying G •(n) (x) ⊂ V for all x ∈ W and n ∈ Z + .Now consider the analytic set C q := {x ∈ W : G •q = x}, where q ∈ Z + .Then C q is a closed set without interior points.Since the orbits of G are all periodic we have W = ∞ q=1 C q .From Baire's category theorem, some C q must have an interior point and therefore by the Identity Principle G is periodic.

-INTEGRABILITY, FIRST INTEGRALS, AND CLOSED ORBITS
The problem of deciding whether a vector field or, more generally, an ordinary differential equation can be integrated by studying its number of non-transcendent solutions goes back to H. Poincaré, Dulac (cf. Dulac 1912) and other authors.The classical theorem of G. Darboux (cf.Jouanolou 1979) states that a polynomial vector field in the complex plane admits a rational first integral provided that it admits infinitely many algebraic solutions.Our natural framework is the class of analytic equations.With the arrival of the Theory of Foliations the use of geometrical/topological methods has given an important contribution to the comprehension of the problem as well as some important results.Indeed, a holomorphic vector field X defined in a neighborhood U ⊂ C n , n ≥ 2, of the origin 0 ∈ C n , with an isolated singularity at the origin, defines a germ of one-dimensional holomorphic foliation (with a singularity at the origin), and vice-versa.
In dimension two (or codimension one) a classical result (cf.Mattei and Moussu 1980) states that a germ of holomorphic vector field at the origin of C 2 admits a holomorphic first integral if and only if : (i) the leaves are closed off the origin; (ii) only finitely many of them are separatrices, i.e., adhere to the origin.
Condition (ii) is usually known as non-dicriticalness of the (germ of) foliation induced by the (germ of) vector field (cf.Camacho and Sad 1982).A foliation germ admitting a pure meromorphic first integral is necessarily dicritical.An example of Suzuki shows that there is no such topological criteria for existence of a meromorphic first integral (cf. Suzuki 1977, Klughertz 1992).Also interesting is the point of view adopted in Alexander and Verjovsky 1988, where the authors prove the existence of a holomorphic first integral for a germ of singular holomorphic vector field in dimension n ≥ 2, under the hypothesis of existence of a uniform bound for the volume of the orbits of the vector field and some additional condition that restricts the "dicritical case".
Our goal is to investigate topological conditions assuring the existence of holomorphic first integrals for vector field germs in dimension 3.This is done in Theorem 3.4.In few words, our result shows, for a generic class of singularities, an equivalence between the existence of a holomorphic first integral and the fact that the orbits are closed off the origin, plus the existence of a suitable stable separatrix, or the existence of a suitable flag, i.e., a codimension one foliation containing the orbits of the vector field.Our result may be seen as a kind of Reeb stability theorem for singularities of complex vector fields.
Let us introduce the notation we use, already used in Câmara and Scárdua 2009.Denote the ring of germs of holomorphic functions at (C n , 0) by O n and its maximal ideal by M n .By X(C n , 0) we denote the O n -module of germs at the origin 0 ∈ C n of holomorphic vector fields.Given a germ X ∈ X(C n , 0), we denote by F X the germ of one-dimensional holomorphic foliation at (C n , 0) induced by X.Let us make clear the notions we use: Definition 3.1 (holomorphic first integral).Let F X be a germ of one-dimensional holomorphic foliation at (a) F is a submersion off a codimension ≥ 1 analytic subset.
(b) The leaves of F X are contained in the level curves of F .
A meromorphic function germ f ∈ M n at 0 ∈ C n is called F X -invariant if the leaves of F X are contained in the level sets of f .This can be written as i X (df ) = X(f ) ≡ 0.

-NON-DEGENERATE GENERIC VECTOR FIELD GERMS
Next we describe the class of vector field germs we shall work with.A germ X ∈ X(C n , 0) is non-degenerate if its linear part DX(0) ∈ Lin(C n ) is non-singular.Generically (in terms of the Krull topology for the coefficients of X) the map DX(0) ∈ Lin(C n ) has n distinct eigenvalues, is diagonalizable, and X has an isolated singularity at the origin.From Poincaré-Dulac, Siegel, and Brjuno linearization theorems and from Camacho, Kuiper, and Palis 1978, generically (i.e., for a full measure subset of the set of the set of germs of holomorphic vector fields), up to a change of coordinates, the vector field X leaves invariant the coordinate hyperplanes x 1 • • • x n = 0. We then introduce the following definition: Definition 3.2 (Non-degenerate generic vector field germs).We shall say that X is non-degenerate generic if DX(0) is non-singular, diagonalizable and, after some suitable change of coordinates, X leaves invariant the coordinate planes.
We shall denote by Gen(X(C n , 0)) the set of germs of non-degenerate generic vector fields at (C n , 0).Let X ∈ Gen(X(C n , 0)) and S be a separatrix of X, i.e., an analytic curve germ invariant by F X intersecting the origin.From the Newton-Puiseux parametrization theorem one knows that S \ {0} has the topology of a punctured disc D \ {0}.Then we denote by Hol(F X , S, Σ) the cyclic holonomy of F X with respect to S evaluated at a section Σ transverse to S, where Σ ∩ S = {q Σ } is a single point.We can choose Σ to be biholomorphic to a disc in C n−1 with center corresponding to q Σ .With this identification the group Hol(F X , S, Σ) is analytically conjugate to a subgroup of the group Diff(C n−1 , 0).
An F X -invariant germ f ∈ M n is called adapted to (F X , S) if it can be written locally in the form f = g/h, where g, h ∈ O n are relatively prime, S ⊂ Z(g) ∩ Z(h), where Z(g) and Z(h) denote the zero sets of g and h respectively, and f | Σ is pure meromorphic for a generic transverse section Σ to S. Given X, Y ∈ Gen(X(C 3 , 0)) we have F X = F Y if and only if for some nonvanishing holomorphic function germ u we have Y = uX.In this case we say that X and Y are tangent.Any vector field germ X ∈ Gen(X(C 3 , 0)) admitting a holomorphic first integral must satisfy the following condition (cf.Câmara and Scárdua 2009).
An Acad Bras Cienc (2017) 89 (4) PERIODIC COMPLEX MAP GERMS AND FOLIATIONS 2571 Definition 3.3 (condition ( )).A germ of generic vector field X ∈ Gen(X(C 3 , 0)) satisfies condition ( ) if there is a real line L ⊂ C through the origin containing all the eigenvalues of X and such that not all the eigenvalues belong to the same connected component of L \ {0}.
There is therefore one isolated eigenvalue of X.The above condition holds for X if and only if holds for any vector field Y such that X and Y are tangent.Condition ( ) implies that X is in the Siegel domain, but is stronger than this last.Denote by λ(X) the isolated eigenvalue of X and by S X its corresponding invariant manifold (the existence is granted by the classical invariant manifold theorem).We call S X the distinguished axis of X.We shall say that X is transversely stable with respect to S X if for any representative X U of the germ X, defined in an open neighborhood U of the origin, any open section Σ ⊂ U transverse to S X with Σ ∩ S X = {q Σ }, and any open set q Σ ∈ V ⊂ Σ there is an open subset q Σ ∈ W ⊂ V such that all orbits of X U through W intersect Σ only in V .
In this paper we prove various equivalent conditions for the integrability of a generic germ of complex vector field singularity in dimension three (cf.Theorem 3.4).This full statement involves the notion of flag (Corrêa andSoares 2013, Mol 2011) and Kupka singularities (Calvo-Andrade 1994, Kupka 1964), to be developed later in this paper.For the moment we state the following topological criteria.
Theorem 3.1.For any X ∈ Gen(X(C 3 , 0)) the following conditions are equivalent: 1. F X has a holomorphic first integral.
2. X satisfies condition ( ) and the leaves of F X are closed off the origin and transversely stable with respect to S X .
From this result we conclude the invariance of the existence of a holomorphic first integral for generic germs in dimension three under topological equivalence.
Corollary 3.2.Let X, Y ∈ Gen(X(C 3 , 0)) be generic germs of holomorphic vector fields, both satisfying condition ( ).Assume that X and Y are topologically equivalent.Then X has a holomorphic first integral if and only if Y admits a holomorphic first integral.
We stress that Theorem 3.1 above can be completed (cf.Theorem 3.4) by weakening the topological hypothesis on the orbits, replacing the transverse stability by the existence of a suitable flag, i.e., a codimension one foliation tangent to F X .

-CLOSED LEAVES AND FIRST INTEGRALS
We show that the closing of the leaves is not sufficient to ensure the existence of first integrals for F X with X ∈ Gen(X(C 3 , 0)).We first remark (cf.also Câmara and Scárdua 2009, Proposition 1, Section 2.3) that for a generic vector field germ X the local holonomy group Hol(F X , S X , Σ) is generated by a resonant map preserving two smooth curves crossing transversely.In particular, one cannot expect a map like the map G in Example 2.1 appearing as the (generator of the) holonomy of some X ∈ Gen(X(C 3 , 0)) with respect to S X .Thus, we blow up such map and look to a neighborhood of the point determined by the exceptional divisor and the strict transform of (y = 0).Let X ∈ X(C 3 , 0) be given by where m 1 , m 2 ∈ Z + , S := (x 1 = x 2 = 0), and Σ := (x 3 = 1).Now consider the closed loop γ : [0, 1] −→ S given by γ(t) = (0, 0, e 2πit ) and let Γ (x1,x2) (t) = (Γ 1 (t, x 1 , x 2 ), Γ 2 (t, x 1 , x 2 ), γ(t)) be its lifting along the leaves of F X starting at (x 1 , x 2 , 1) ∈ Σ.In particular, the map h ∈ Diff(C 2 , 0) given by Γ (x1,x2) (1) = (h(x 1 , x 2 ), 1) is a generator of Hol(F X , S, Σ).Since Γ (x1,x2) (t) belongs to a leaf of F X , then From this vector equation one has γ (t) = αγ(t), thus α = 2πi.Furthermore is invariant by X and the holonomy of F X with respect to S evaluated at Σ = (x 3 = 1) has the form h = (h 1 , h 2 ) with h j (x 1 , x 2 ) = Γ j (1, x 1 , x 2 ), where Γ 1 and Γ 2 satisfy respectively equations ( 1) and ( 2) above.Now if we let x 2 , then λ 2 0,1 = 1 and λ 2 i,j = 0 otherwise.Therefore Γ 2 (t, x 1 , x 2 ) = exp(−6πit) • x 2 and h 2 (x 1 , x 2 ) = x 2 .On the other hand, (1) is written in the form . Now recall that the solution to the Cauchy problem Completing the above example we obtain: Proposition 3.3.There is a vector field X ∈ Gen(X(C 3 , 0)) which satisfies condition ( ) and has all leaves closed but does not admit a holomorphic first integral.

2573
Proof.We consider the vector field X(x, y, z) Then X ∈ Gen(X(C 3 , 0)).After one blow up along the z-axis one has which has an isolated singularity at the origin, and whose holonomy with respect to the z-axis is precisely the map G in Example 2.1.Thus it satisfies condition ( ) and has all leaves closed but, from Proposition 2.3 and from what we have observed in Example 3.1 above, F X does not admit a holomorphic first integral.
3.4 -STABILITY, FLAGS, AND FIRST INTEGRALS Proposition 3.3 shows that the statements of Theorems 1.2 and 1.3 in Câmara and Scárdua 2009 are incomplete.The correct statement involves a natural adaptation of a classical notion for regular smooth foliations.
Definition 3.4 (stability).The germ X is transversely stable with respect to S X if for any representative X U of the germ X, defined in an open neighborhood U of the origin, any open section Σ ⊂ U transverse to S X with Σ ∩ S X = {q Σ } = {0}, and any open set q Σ ∈ V ⊂ Σ there is an open subset q Σ ∈ W ⊂ V such that all orbits of X U through W intersect Σ only in V .
As above mentioned, Definition 3.4 is a natural adaptation to our singular framework of the classical notion of stability due to Lyapunov (Lyapunov 1892) and rediscovered by Reeb (cf.Godbillon 1991).

-Flags, dicritical components, and Kupka singularities
Let us first recall some basic notions from singularities of foliations in dimension two.Let F be a germ of singular foliation at the origin 0 ∈ C 2 , then Seidenberg's theorem (Seidenberg 1968) gives a reduction of the singularities of F by the blow-up method.This is also called desingularization or resolution of F. We say that F has a dicritical component if its resolution contains a non-invariant projective line.This is equivalent to say that F has infinitely many separatrices, i.e., infinitely many analytic leaves intersecting the origin (Camacho and Sad 1982).
Given X ∈ X(C 3 , 0), we denote its corresponding foliation by F X .By a flag containing F X , we mean a germ of codimension one holomorphic foliation F ω at 0 ∈ C 3 giving by an integrable holomorphic 1-form ω = Adx + Bdy + Cdz with singular set Sing(F ω ) of codimension ≥ 2 containing the origin and with the property that (for some representatives of each foliation defined in a common domain containing the origin) each leaf of F X is contained in some leaf of F ω .This last property is enclosed in the formula i X ω ≡ 0. The notion of flag is detailed in Mol 2011.A codimension two irreducible component K ⊂ Sing(F ω ) \ {0} is a Kupka type component if dω does not vanish along K.According to Kupka's theorem (Calvo-Andrade 1994, Kupka 1964), for a representative F U of F ω in an open neighborhood 0 ∈ U , where F ω is given by an integrable holomorphic 1-form ω U , and a representative K U ⊂ Sing(F U ) of the component K ⊂ Sing(F ω ), there is a germ of foliation η(K) at 0 ∈ C 2 such that for each point q ∈ K U there is a holomorphic submersion ϕ q : V q → C 2 , with the property that q ∈ V q ⊂ U, ϕ q (q) = 0 and ϕ * q (η(K)) = F U | Vq .The foliation η(K) is then called the Kupka transverse type of F ω along the Kupka component K.One says that the Kupka component K is dicritical if the corresponding transverse type η(K) has a dicritical singularity at the origin 0 ∈ C 2 , in the above sense.
Example 3.2.A particular case of a dicritical Kupka component is the one induced by the codimension one foliation F ωm,n , where ω m,n = nydx − mxdy and m, n ∈ Z + .In fact it represents the product foliation We shall call a dicritical Kupka component η(K) of radial type if in suitable coordinates η(K) is given by a 1-form ω m,n as above.
Given a flag F ω containing the foliation F X , consider its restriction F ω | Σ to a transverse section Σ ≈ (C 2 , 0) as above.Since Σ is transverse to F X , it is also transverse to F ω off the singular set Sing(F X ) and therefore one may identify the germ induced by F ω at the point q Σ = Σ ∩ S(X) with the germ of foliation at the origin 0 ∈ C 2 .Then one says that F ω | Σ is dicritical if this corresponding germ in dimension two is dicritical.
Definition 3.5 (Adapted flag).Let now X ∈ Gen(X(C 3 , 0)) with linear part given by J 1 (X) = mx ∂ ∂x + ny ∂ ∂y − kz ∂ ∂z , then the local holonomy generator h of F X with respect to the distinguished axis z is periodic with linear part given by J 1 (h)(x, y) = (exp(− 2mπi k )x, exp(− 2nπi k )y).In particular, φ := h •(k) is tangent to the identity.Therefore, this map can be written locally in the form φ(x, y) = exp[1] X(x, y), where X is its infinitesimal generator.Then one says that (F X , F ω ) is an adapted flag if F X ⊂ F ω is a flag such that F ω | Σ is a germ of foliation having a dicritical component adapted to φ = h •(k) .
Notice that the last definitions are of finite determinacy character.Furthermore, if F ω | Σ is dicritical, then (F X , F ω ) is automatically an adapted flag.Using this terminology, one may complete the statements in Câmara and Scárdua 2009 as follows.
Theorem 3.4.Suppose that X ∈ Gen(X(C 3 , 0)) satisfies condition ( ) and let S X be the distinguished axis of X.Then the following conditions are equivalent: 1.The leaves of F X are closed off the origin and transversely stable with respect to S X ; 2. Hol(F X , S X , Σ) has finite orbits and is (topologically) stable; 3. Hol(F X , S X , Σ) is periodic; 4. F X has a holomorphic first integral.
Moreover, in terms of flags of foliations, the above conditions are also equivalent to each of the following conditions: 5. The leaves of F X are closed off the origin and there is an adapted flag (F X , F ω ); 6.The leaves of F X are closed off the origin and there is a flag F X ⊂ F ω such that F ω is a Kupka component of radial type.

2575
Proof of the first part of Theorem 3.4.It follows immediately from the definition of transverse stability of germs of vector fields and from (topological) stability of maps that (1) implies (2).It comes from Lemma 2.5 that (2) implies (3).Now let us prove that (3) implies (4).Since X satisfies condition ( ) and Hol(F X , S X , Σ) is linearizable, then Elizarov and Ilyashenko 1984 ensures that F X is linearizable.Therefore, one may suppose without loss of generality that X(x) = λx 1 , where λ, µ, κ ∈ R + .Since Hol(F X , S X , Σ) is periodic, one may suppose without loss of generality that λ = m, µ = n, κ = k ∈ Z + .The result then follows from Lemma 2.3 in Câmara and Scárdua 2009.Finally let us verify that (4) implies (1).The existence of a first integral for F X ensures that the leaves of F X are closed off Sing(F X ).Furthermore, Hol(F X , S X , Σ) = H admits a couple of generically transverse F X -invariant holomorphic functions whose restrictions to Σ have the level sets preserved by H. Thus Theorem 2.3 ensures that Hol(F X , S X , Σ) is periodic and, in particular, topologically stable.Hence the leaves of F X are transversely stable with respect to S X .This proves the first four equivalences in Theorem 3.4.
As a straightforward consequence (cf.Theorem 2 in Câmara and Scárdua 2009), one has the following topological criterion for the existence of invariant meromorphic functions for elements in Gen(X(C 3 , 0)).
Theorem 3.5.Let X ∈ Gen(X(C 3 , 0)) satisfy condition ( ) with distinguished axis S X .Suppose that F X has closed leaves off the origin and is transversely stable with respect to S X .Then there is an F X -invariant meromorphic function adapted to (F X , S X ).Now we study the topological invariance of the existence of a holomorphic first integral for a generic germ of holomorphic vector field, as a consequence of our preceding results.We recall that two germs of holomorphic vector fields X and Y at the origin 0 ∈ C n are topologically equivalent if there is a homeomorphism ψ : U → V , where U, V are neighborhoods of the origin 0 ∈ C n and X U , Y V are vector fields representing X, Y respectively, such that ψ takes orbits of X U into orbits of Y V .Such a map ψ takes separatrices of X U into separatrices of Y V : indeed, a separatrix of X U is an orbit which is closed off the origin, and the same holds for its image under ψ.Assume that the vector field X is generic satisfying condition ( ) and admits a holomorphic first integral.In this case one has: Claim 6.The vector field X is analytically linearizable, say X(x, y In particular, X admits a unique separatrix off the dicritical plane {z = 0}, and this separatrix corresponds to the distinguished separatrix S X . Proof.Indeed, the analytic linearization of X is a straightforward consequence of the first part of Theorem 3.4 (or, since by hypothesis there is a holomorphic first integral, in view of Lemma 2.5 and Elizarov and Ilyashenko 1984).In this normal form the "dicritical plane" is the plane {z = 0} and the distinguished separatrix is the z-axis.The orbit O (a,b,c) of X through the point (a, b, c) is given by φ(t) = (x(t), y(t), z(t)) = (ae nt , bye mt , ce −kt ), t ∈ C.
An Acad Bras Cienc (2017) 89 (4) Thus, if O (a,b,c) accumulates at the origin, either c = 0 or c = 0 and a = b = 0.For instance, if c = 0 = a, then the orbit is contained in the hypersurface x k z n = a k c n = 0, which does not accumulate at the origin.
Lemma 3.6.A topological equivalence takes the distinguished axis of X into the distinguished axis of Y .
Proof.Indeed, as we have seen above, the image ψ(S X ) is some separatrix of Y .If this is not the distinguished axis of Y , then the distinguished axis of Y is taken by ψ −1 into a separatrix other than the distinguished axis of X.Therefore, according to Claim 6, ψ −1 (S Y ) must be a separatrix of the "dicritical" part of X, i.e., in the coordinates (x, y, z) above, where X(x, y, z) = X n,m,−k , we have ψ −1 (S Y ) ⊂ {z = 0}.Nevertheless, any invariant neighborhood of a leaf contained in a dicritical separatrix of X off the origin intersects infinitely many separatrices (namely, those contained in the intersection of this neighborhood with the dicritical plane {z = 0}).On the other hand, this same phenomena does not occur for arbitrarily small invariant neighborhoods of a leaf contained in the distinguished axis S Y of Y .Therefore, necessarily ψ(S X ) is the distinguished axes of Y .
From the above considerations we immediately obtain Corollary 3.2 from Theorem 3.4.

-Flags and integrability
In this section we prove the remaining part of Theorem 3.4.We address therefore the following problem.Given a germ of foliation by curves F X induced by a germ of vector field of the form with a, b, c ∈ M 3 , what are the consequences of the existence of a codimension 1 germ of holomorphic foliation tangent to X, which is transversely dicritical with respect to S?
We begin by studying the consequences of the existence of a flag foliation with a dicritical transverse type for a vector filed X ∈ Gen(X(C 3 , 0)).Lemma 3.7.Let F X be a germ of foliation by curves at (C 3 , 0), S an invariant curve of F X through the origin, and F ω a codimension one foliation satisfying the following conditions: (ii) There is a section Σ transverse to S such that F ω | Σ is dicritical.
Then F ω is transversely dicritical with respect to S.
Proof.Since the orbits of X are contained in the leaves of F, then these leaves are invariant by the flow of X.Therefore, if Σ is another section transversal to S and h : Σ −→ Σ is an element of the holonomy pseudogroup of X with respect to S, then it is a diffeomorphism taking the leaves of F| Σ onto the leaves of F| Σ .
We are now in a position to finish the proof of Theorem 3.4.For this sake, let us first recall some facts proved along this work and introduce some terminology.First notice that any X ∈ Gen(X(C 3 , 0)) admitting a holomorphic first integral must satisfy condition ( ) in Definition 3.3 (cf.Câmara and Scárdua An Acad Bras Cienc (2017) 89 (4) 2009).Assume the curve S X is the z-axis, let Σ z := (z = const .)be a section transverse to S X , and Hol(F X , S X , Σ z ) be the holonomy of F X with respect to S X evaluated at Σ z .
End of the proof of Theorem 3.4.First suppose all the leaves of F X are closed off the origin {0} ⊂ C 3 and that there is an adapted flag F X ⊂ F ω .Given a germ of leaf L of F X it follows that the closure L ⊂ L ∪ {0} is a germ of analytic subset of pure dimension one (Gunning and Rossi 1965) at (C 3 , 0).Since this leaf is transverse to Σ z , one concludes that L ∩ Σ z is a finite set.On the other hand, given a point x ∈ L ∩ Σ z , its orbit in the holonomy group is also contained in L ∩ Σ z , so that it is a finite set.Thus the orbits of the generator of Hol (F X , S X , Σ z ) are finite.By hypothesis, for any z 0 ∈ S(X) the foliation F ω | Σz 0 has a dicritical component.Now consider a simple loop γ around the origin inside the z-axis starting from z 0 .Pick a leaf L of F ω | Σz 0 and consider the liftings of γ starting at points of L, along the trajectories of F X .Then these liftings form a three dimensional real variety, say S L , whose intersection with Σ z0 is given by L and L (see Figure 2).In particular, if h := h γ is the generator of Hol (F X , S X , Σ z ), then L = h(L).For the 1-form ω, one has that S L is tangent to Ker(ω) and S L ∩ Σ z0 is tangent to the induced foliation F ω | Σz 0 .Thus, L is a leaf of F ω | Σz 0 .Since F ω | Σz 0 has a dicritical component and h is a diffeomorphism with resonant linear part having finite orbits, then Lemma 2.4 ensures that h is periodic (in particular linearizable and finite).Since F X ∈ Gen(X(C 3 , 0)) has linearizable periodic holonomy, then it follows from Elizarov and Ilyashenko 1984 that the foliation F X is also analytically linearizable.Therefore, one may suppose without loss of generality that X(x, y, z) = mx ∂ ∂x +ny ∂ ∂y −kz ∂ ∂z .This vector field has a holomorphic first integral.From the above linearization, it is easy to see that the flag foliation F ω containing F X must have a linear dicritical Kupka transverse type along the z-axis.In particular, F ω is of radial type.This proves that (5) implies ( 1)-( 4) and also (6).Since the converse is immediate, this proves that the first four conditions in Theorem 3.4 are equivalent to conditions (5) and (6).
Remark 3.1 (Parabolic curves and smooth sets of fixed points cf.Abate 2001).In our previous paper Câmara and Scárdua 2009 it is stated an integrability result mentioning only the fact that the leaves of F X are closed off Sing(F X ).Nevertheless, as we saw above, this result is not correct.Indeed, there are such kind of vector fields without holomorphic first integral (cf.Example 3.3).
Let us identify precisely the missing point in Câmara and Scárdua 2009.This justifies the further topological conditions introduced above in order to correct the statements of the main theorems therein (Theo-
2.5 -STABILITY A germ of map G ∈ Diff(C 2 , 0) is said to be positively semistable if for any representative G : U −→ G(U ), where U is an open neighborhood of the origin, and any open set V ⊂ U there is an open subset An Acad Bras Cienc (2017) 89 (4) PERIODIC COMPLEX MAP GERMS AND FOLIATIONS 2569 Lemma 2.5.Let G ∈ Diff(C 2 , 0) be represented by the map G : U −→ V , where U, V ⊂ C 2 are open neighborhoods of the origin with compact closure.Suppose that:

Figure 3 -
Figure 3 -The liftings of γ along the leaves of FX starting at points of L.