Abstracts
In this note we announce some results in the study of groups of formal or germs of analytic diffeomorphisms in several complex variables. Such groups are related to the study of the transverse structure and dynamics of Holomorphic foliations, via the holonomy group notion of a foliation's leaf. For dimension one, there is a wellestablished dictionary relating analytic/formal classification of the group, with its algebraic properties (finiteness, commutativity, solvability, among others). Such system of equivalences also characterizes the existence of suitable integrating factors, i.e., invariant vector fields and oneforms associated to the group. Our aim is to state the basic lines of such dictionary for the case of several complex variables groups. Our results are applicable in the construction of suitable integrating factors for holomorphic foliations with singularities. We believe they are a starting point in the study of the connection between Liouvillian integration and transverse structures of holomorphic foliations with singularities in the case of arbitrary codimension. The results in this note are derived from the PhD thesis "Grupos de germes de difeomorfismos complexos em várias variáveis e formas diferenciais" of the first named author (Martelo 2010).
Difeomorfismo formal complexo; gerador infinitesimal; folheação holomorfa; germe de difeomorfismo complexo
Nesta nota anunciamos alguns resultados no estudo de grupos de difeomorfismos formais e germes de difeomorfismos em várias variáveis complexas. Tais grupos estão relacionados com o estudo de estruturas transversais e a dinâmica das folheações holomorfas, através da noção de grupo de holonomia da folha de uma folheação. Para dimensão um, há um amplo dicionário relacionando classificação analítica/formal do grupo, com suas propriedades algébricas (finitude, comutatividade, solubilidade, dentre outras). Tal sistema de equivalências também caracteriza a existência de certos fatores de integração, ou seja, campos de vetores e oneforms diferenciais invariantes associados ao grupo. Nosso objetivo é estabelecer as linhas básicas de um tal dicionário para o caso de grupos em várias variáveis complexas. Nossos resultados podem ser aplicados na construção de certos fatores de integração para folheações holomofas singulares. Acreditamos que estes podem representar um ponto de partida no estudo da conexão entre Integração Liouvilliana e estruturas transversais de folheações holomorfas singulares no caso de codimensão arbitrária. Os resultados nesta comunicação são derivados da tese de Doutorado "Grupos de germes de difeomorfismos complexos em várias variáveis e formas diferenciais" do primeiro autor (Martelo 2010).
Difeomorfismo formal complexo; gerador infinitesimal; folheação holomorfa; germe de difeomorfismo complexo
MATHEMATICAL SCIENCES
On groups of formal diffeomorphisms of several complex variables
Mitchael Martelo^{I}; Bruno Scárdua^{II}
^{I}Instituto de Matemática, Universidade Federal Fluminense, Departamento de Matemática Aplicada (GMA), Rua Mário Santos Braga, s/n, 24010140 Niterói, RJ, Brasil
^{II}Instituto de Matemática, Universidade Federal do Rio de Janeiro, Caixa Postal 68530, 21945970 Rio de Janeiro, RJ, Brasil
Correspondence to
ABSTRACT
In this note we announce some results in the study of groups of formal or germs of analytic diffeomorphisms in several complex variables. Such groups are related to the study of the transverse structure and dynamics of Holomorphic foliations, via the holonomy group notion of a foliation's leaf. For dimension one, there is a wellestablished dictionary relating analytic/formal classification of the group, with its algebraic properties (finiteness, commutativity, solvability, among others). Such system of equivalences also characterizes the existence of suitable integrating factors, i.e., invariant vector fields and oneforms associated to the group. Our aim is to state the basic lines of such dictionary for the case of several complex variables groups. Our results are applicable in the construction of suitable integrating factors for holomorphic foliations with singularities. We believe they are a starting point in the study of the connection between Liouvillian integration and transverse structures of holomorphic foliations with singularities in the case of arbitrary codimension. The results in this note are derived from the PhD thesis "Grupos de germes de difeomorfismos complexos em várias variáveis e formas diferenciais" of the first named author (Martelo 2010).
Key words: Formal complex diffeomorphism, infinitesimal generator, holomorphic foliation, germ of complex diffeomorphism.
RESUMO
Nesta nota anunciamos alguns resultados no estudo de grupos de difeomorfismos formais e germes de difeomorfismos em várias variáveis complexas. Tais grupos estão relacionados com o estudo de estruturas transversais e a dinâmica das folheações holomorfas, através da noção de grupo de holonomia da folha de uma folheação. Para dimensão um, há um amplo dicionário relacionando classificação analítica/formal do grupo, com suas propriedades algébricas (finitude, comutatividade, solubilidade, dentre outras). Tal sistema de equivalências também caracteriza a existência de certos fatores de integração, ou seja, campos de vetores e oneforms diferenciais invariantes associados ao grupo. Nosso objetivo é estabelecer as linhas básicas de um tal dicionário para o caso de grupos em várias variáveis complexas. Nossos resultados podem ser aplicados na construção de certos fatores de integração para folheações holomofas singulares. Acreditamos que estes podem representar um ponto de partida no estudo da conexão entre Integração Liouvilliana e estruturas transversais de folheações holomorfas singulares no caso de codimensão arbitrária. Os resultados nesta comunicação são derivados da tese de Doutorado "Grupos de germes de difeomorfismos complexos em várias variáveis e formas diferenciais" do primeiro autor (Martelo 2010).
Palavraschave: Difeomorfismo formal complexo, gerador infinitesimal, folheação holomorfa, germe de difeomorfismo complexo.
INTRODUCTION
The study of groups and germs of complex diffeomorphisms fixing the origin is an important tool in Complex Dynamics and in the theory of Holomorphic Foliations via the study of holonomy groups (Camacho and Lins Neto 1985) of its leaves. Indeed, the holonomy groups (of the leaves) of a codimension n > 1 holomorphic foliation are (identified with) groups of germs of complex diffeomorphisms fixing the origin of ^{n}. In the codimension n = 1, case these are subgroups of germs of one variable holomorphic maps and there is a wellestablished dictionary relating topological and dynamical properties of (the leaves of) the foliation to algebraic properties of the group. This is clear in works as (Camacho et al 1992), (Il'yashenko 1978), (Nakai 1994) and (Scherbakov 2006). All these facts are compiled in some works relating the existence of suitable "transverse structures" for the foliation with the transverse dynamics of the foliation (Camacho and Scárdua 2001), (Scárdua 1997, 1999). In (Martinez 2003), F. Brochero studies groups of germs of complex analytic diffeomorphisms having a fixed point at the origin. For such groups the author gives a nice study mainly focused on the analytical or topological description of the following cases: finite groups, linearizable groups, abelian groups containing a "generic" dicritic diffeomorphism. This important work also motivates some of the concepts and results in our work.
We study groups of formal or germs of analytic diffeomorphisms in several complex variables. Such groups are related to the study of the transverse structure and dynamics of Holomorphic foliations, via the notion of holonomy group of a leaf of a foliation. For dimension one, there is a wellestablished dictionary relating analytic/ formal classification of the group, with its algebraic properties (finiteness, commutativity, solvability, among others). Such system of equivalences also characterizes the existence of suitable integrating factors, i.e., invariant vector fields and oneforms associated to the group. In this research announcement, we explain the main results from (Martelo and Scárdua 2011), where we search the basic lines of such dictionary for the case of several complex variables groups. For abelian, metabelian, solvable or nilpotent groups we investigate the existence of suitable formal vector fields and closed differential forms which exhibit an invariance property under the group action. Our results are applicable in the construction of suitable integrating factors for holomorphic foliations with singularities. We believe they are a starting point in the study of the connection between Liouvillian integration and transverse structures of holomorphic foliations with singularities in the case of arbitrary codimension.
PRELIMINARIES, NOTATION AND DEFINITIONS
Let us introduce the notation we use throughout this research announcement. We denote by _{n} the ring of germs at the origin of holomorphic functions of n variables and by _{n} its formal n completion, see (Eisenbud 1995) for a detailed construction of the formal completion of the ring _{n}, as well as for some classical concepts related to the formal objects we deal with in this announcement). Denote by Diff(^{n}, 0) the group of germs of complex diffeomorphisms fixing the origin 0 ∈ ^{n}. We denote by z = (z_{1}, ..., z_{n}) a system of complex variables in ^{n}. The group of formal diffeomorphisms in n complex variables fixing the origin is the formal completion Diff (^{n}, 0) of Diff(^{n}, 0), obtained from the power series of the coordinate functions of elements in Diff(^{n}, 0). This way, given a formal diffeomorphism ' ∈ Dîff(^{n}, 0) we write = '(0) · z +fj(z) where '(0) ∈ GL(n, ) and each f_{j} is a vector whose coordinates are homogeneous polynomials of degree j in the variables z = (z_{1}, ..., z_{n}). To each formal diffeomorphism ∈ Diff(^{n}, 0) we associate its derivative '(0) ∈ GL(n,). We say that the diffeomorphism is tangent to the identity if '(0) = Id. Denote by Diff_{Id}(^{n}, 0) the subgroup of elements tangent to the identity in Dîff(^{n}, 0). Also put Diff_{Id}(^{n}, 0) = Dîff(^{n}, 0) ∩ Diff (^{n}, 0). This gives inclusions of Diff(^{n}, 0), → Dîff(^{n}, 0) and Diff_{Id}(^{n}, 0) ,→ Dîff(^{n}, 0). Given a subgroup G ⊂ Dîff(^{n}, 0) the linear part group is the subgroup DG ⊂ GL(n,C) defined by DG = {'(0) : ∈ G}. A subgroup G ⊂ Dîff_{id}(^{n}, 0) is called tangent to the identity. The subgroup of formal diffeomorphisms, tangent to the identity with order k, is defined as Dîff_{k}(^{n}, 0) = { ∈ Dîff(^{n}, 0)  (z) = z + f_{k}+_{1}(z) + f_{k}+_{2}(z) + · · · , f_{k}+1 ≠ 0}. Similar to the group of germs of holomorphic diffeomorphisms at the origin 0 ∈ ^{n}, tangent to the identity with order k is defined as Diff_{k}(^{n}, 0) = Dîff_{k}(^{n}, 0) ∩ Diff(^{n}, 0). We denote by _{n} the field of rational functions of ncomplex variables and by _{n} its formal counterpart, i.e., the field of fractions of the ring of formal power series _{n} = C[[z1, ..., zn]]..
Denote by χ(^{n}, 0) the nmodule of germs of complex vector fields vanishing at the origin 0 ∈ ^{n}and by (^{n}, 0) its formal counterpart. The Lie algebra _{k}(^{n}, 0) of formal vectors fields of ^{n} of order k + 1 is defined by those vector fields for the form = â_{1}(z) + · · · + â_{n}(z); â_{j} ∈ _{n}, where the minimum order of vanishing of the â_{j} at the origin is k + 1. Thus, k(^{n}, 0) is the formal completion of _{k}(^{n}, 0); the set of germs of complex analytic vector fields which are singular of order k + 1 at 0.
The expression exp(t ) = (^{j}(z_{1}), ..., ^{j}(z_{n})) defines the exponential of t for ∈ (^{n}, 0) and t ∈ . Let us remark that ^{j}(g) is the result of applying j times the derivation to the power series g. The definition coincides with the classical one if is a germ of convergent vector field. According to (Ilyashenko and Yakovenko 2007) the exponential map exp: _{k}(^{n}, 0) → Dîff_{k}(^{n}, 0) is a bijection.
Definition 0.1 Let ∈ Dîffk(^{n}, 0). We denote by log the unique element of _{k}(, 0) such that = exp(log ). We say that log is the infinitesimal generator of . Given a map ∈ Dîff_{id}(^{n}, 0) and t ∈ we denote by ^{[t]} = exp(t. ) where = exp .
SOLVABLE LENGTH OF A LIE ALGEBRA
Let be a complex Lie algebra with Lie bracket of two elements X, Y ∈ denoted by [X, Y ] ∈ . Given Lie subalgebras and of . We define [, ] the Lie subalgebra of g generated by the elements of the form [X, Y ] for X ∈ and Y ∈ . We define (0) = , (n+1) = [^{(n)}, ^{(n)}] ∀n > 0, the derived series of . We also define C^{0} = , C^{n}+^{1} = [, C^{n}] ∀n > 0 the descending central series of .
Definition 0.2 (solvable length of a Lie algebra, cf. (Martelo and Ribon in press)). Let be a Lie algebra. We define l() the soluble length of g as l() = min{k ∈ ∪ {0} : ^{(k)} = {Id}}, where min ø= ∞. We say that g is solvable if l() < ∞. The Lie algebra is nilpotent if there exists j > 0 such that C^{j} = {Id}. If j is the minimum nonnegative integer number with such a property we say that g is of nilpotent class j.
LIE ALGEBRA OF A GROUP OF DIFFEOMORPHISMS
As in the case of Lie groups we can relate properties of a subgroup G ⊂ Dîff(^{n}, 0) to properties of a certain Lie algebra associate to the group. Let us first explain how to construct such Lie algebra. The first step is to define the Lie subalgebra of (^{n}, 0) associate to a subgroup G of ⊂ Dîff(^{n}, 0).
Definition 0.3 (cf. (Martelo and Ribon in press) Definition 3.8). Let G a subgroup of Dîff(^{n}, 0). A complex Lie subalgebra g of (^{n}, 0) is the Lie algebra of G if = { ∈ (^{n}, 0): exp(t ) ∈ G, ∀t ∈ }.
Though this definition seems quite natural, it can give few information about the group. Indeed, the Lie algebra of a discrete group is always {0}. Thus, we must construct a more rich algebra in this case, this construction is found in (Martelo and Ribon in press). Indeed, when the linear part group DG is connected, we can build ⊃ G a new group with the same algebraic properties of G. In particular, as for the solvability length, we have l(G) = l(G). Roughly speaking G is the algebraic closure of G, it has a natural Lie algebra ≠ {0} and l() = l(G), see (Martelo and Ribon in press).
In our work, we are mainly interested in studying groups of diffeomorphisms tangent to the identity, that is subgroups G ⊂ Dîff(^{n}, 0) with DG = {Id}. Therefore, we may perform the above construction and we have the following definition:
Definition 0.4 (associate Lie algebra). Let G be a subgroup of Dîff(^{n}, 0). A complex Lie subalgebra of (^{n}, 0) is the "associate" Lie algebra of G, if is the Lie algebra of . By dimension of the associate Lie algebra we shall mean the dimension of Lie algebra g, viewed as vector space over _{n}.
THE ONEDIMENSIONAL CASE
The construction of a dictionary relating algebraic, dynamical and analytic properties of subgroups of diffeomorphisms is a very important tool in Complex Dynamics and Holomorphic foliations.
Definition 0.5. Given a subgroup G ⊂ Dîff(^{n}, 0), a formal vector field ∈ (^{n}, 0) is Ginvariant if we have * = , ∀ ∈ G. We say that is projectively invariant by G if for each ∈ G there is c_{g} ∈ such that _{* } = ^{c} · .
Below we find a global picture of the one dimensional case:
Theorem 0.6 (Onedimensional case, (Loray 1994), (Il'yashenko and Yakovenko 2007)). Let G ⊂ Dff(C, 0) be a subgroup of onevariable formal complex diffeomorphisms.
1. G is abelian if, and only if, G is nilpotent if, and only if, G admits a formal invariant vector field.
2. The following conditions are equivalent:
(a) G is solvable.
(b) G is metabelian, i.e., its subgroup of commutators [G,G] is abelian.
(c) All elements tangent to the identity in G have a same order of tangency.
(d) G admits a formal vector field which is projectively invariant by G.
Item (1) above is essentially a consequence of two other facts:
(i) For a subgroup G ⊂ Dîff(, 0), the linear part group DG = {'(0) : ∈ G} is abelian and therefore the subgroup of commutators [G,G] ⊂ G, which is the set of products of commutators in G, is tangent to the identity.
(ii) Two elements = z + a_{k}+1z^{k+1} + · · · ∈ G_{Id}, and = z + b_{ℓ}+1z^{ℓ+1} + · · · ∈ G_{Id}, a_{k}+1.b_{ℓ}+1 ≠ 0, tangent to the identity, commute only if we have k = ℓ.
According to (Martelo and Scárdua 2011), none of the above facts holds for subgroups of Dîff(^{n}, 0) when n > 2. Therefore it is quite natural to expect that the above mentioned dictionary is much different or much harder to find, in the n > 2 case. To begin this study is one of the main goals of this work.
ABELIAN AND METABELIAN GROUPS
Initially, we focus on the study of the associate Lie algebra of subgroups G ⊂ Dîff(^{n}, 0) under the hypothesis that G is abelian, metabelian or nilpotent. In (Martelo and Scárdua 2011) we prove the following (compare with (1) in Theorem 0.6):
Theorem 0.7 (Existence of an invariant formal vector field). Let G ⊂ Dîff(^{n}, 0) be an abelian subgroup of formal diffeomorphisms. We have two possibilities:
1. G admits an invariant formal vector field.
2. G ⊂ Dîff_{id}(^{n}, 0) = {Id}.
Regarding to the onedimensional case we observe:
(i) Unlike the onedimensional case, in general the existence of such an invariant vector field is not enough to assure that the group is abelian, see (Martelo and Scárdua 2011).
(ii) For n = 1, condition (2) above implies that the group is conjugated to its linear part by a formal diffeomorphism. We believe that this also holds for dimension n > 2.
ABELIAN SUBGROUPS AND NILPOTENT SUBALGEBRAS
In (Martinez 2003) it is proved (Proposition 4.1) that every nilpotent subalgebra of (^{2}, 0) is metabelian. In (Martelo and Scárdua 2011) we prove, with an alternative proof, an extension of this result for higher dimension n > 2:
Theorem 0.8.Every nilpotent subalgebra of (^{n}, 0) has length l(l) at most n. As a consequence, if G ⊂ Dîff_{id} (^{n}, 0) is a nilpotent group then the solubility length of G satisfies l(G) < n.
The general case (G ⊂ Dîff(^{n}, 0)) is true, see (Martelo and Ribon in press). In the following example, we give a solvable group of formal diffeomorphisms tangent to the identity which is not metabelian. This contradicts Corollary 4.2 to Proposition 4.1 in (Martinez 2003).
Example 0.9. Consider the subgroup G ⊂ Dîff_{id}(^{2}, 0), which is solvable but not metabelian, given by G = ((x), â(x)+(x)y); ∈ H, where H ⊂ Dîff_{id}(, 0) is any metabelian tangent to the identity subgroup, â(x) ∈[[x]] has order greater than 2 and (x) ∈ [[x]] is a unit, (0) = 1.
We also obtain the following description of abelian groups tangent to the identity:
Theorem 0.10.Let G ⊂ Dîff_{id}(^{n}, 0) be an abelian subgroup tangent to the identity, with associate Lie algebra . Then the possibilities are:
1. There are 1, ..., _{n} ∈ such that [ _{j} , _{r}] = 0 ∀i, j and G ⊂ exp(t_{1}_{1})º ··· º tj ∈ .
2. There are 1, ..., 1 ∈ , for some l ∈ {1, . . . , n  1}, such that [ _{j} , _{r}] = 0, ∀i, j and G ⊂ exp(u_{1}_{1})º ··· º exp(u_{l}_{l})  u_{j} ∈ K_{n}, _{r}(u_{j}) = 0, ∀1 < r, j < l .
In particular, for n = 2 we have the following possibilities:
(i) G leaves invariant an exact rational oneform, say = dT for some rational function T ∈ K_{2}.
(ii) G embeds into the flow of a formal vector field ∈ log(G).
(iii) There are two invariant linearly independent commuting formal vector fields , ∈ log(G) := { ∈ (^{n}, 0)/ exp() ∈ G}.
ABELIAN GROUPS AND CLOSED ONEFORMS
Before stating our next main results we observe that in some main applications of the results in Theorem 0.6 (case n = 1), an interesting approach consists of constructing, from the information on the holonomy groups of the foliation, some suitable differential forms which allow to "integrate" the foliation (e.g. a foliation admitting a Liouvillian first integral), see (Camacho and Scárdua 2001) for instance. More precisely, in dimension n = 1 a formal vector field ∈ (, 0) can be written either as a linear vector field or, in case it has a zero of order > 2 at the origin, as (z) = , for some λ ∈ and k 2 . Let us focus on the nonlinear case. The duality equation · = 1 has, in this dimension one case, a single solution:
moreover, given a formal diffeomorphism ∈ Dîff(, 0) we have:
*
=
⇔
^{*}
=
,
*
=
^{ C }
for some
^{ C }
∈
^{*}
⇔ g
^{*}
=
.
Equation (1) is the general expression of a closed meromorphic oneform with an isolated pole of order k + 1 at the origin 0 ∈ C, residue λ, in a suitable coordinate system. It is a particular case of the Integration Lemma ((Cerveau and Mattei 1982), (Scárdua 1997) Example 1.6 page 174). Finally, notice that in dimensionone each formal or meromorphic oneform is closed. This suggests, in view of Theorem 0.6 and all the above, that one may expect to obtain results relating algebraic properties of subgroups of Dîff(^{n}, 0) with the existence of suitable closed oneforms. Therefore, one necessary tool is a (natural) version of the Integration Lemma to the case of formal oneforms.
We shall see (cf. Theorem 0.11 below) that a subgroup G ⊂ Dîff(^{2}, 0) admitting two commuting formal invariant vector fields, exhibits two independent invariant closed formal meromorphic oneforms. A further investigation of this situation involves the notion of formal separatrix, which is set naturally in terms of formal curves, i.e., equivalence classes in the local ring _{2}, under the following equivalence relation: given , ∈ _{2} we have ~ ⇔ = û. for some unit û ∈ _{2}. A formal curve [φ] will be called a separatrix of a subgroup G ⊂ Dîff(^{2}, 0) if it is invariant by each element of this group in the obvious sense. Two formal curves [] and [] are called transverse if each tangent space has dimension one and the tangent spaces span ^{2}. As a converse of (iii) in Theorem 0.10 we have:
Theorem 0.11. Let G ⊂ Dîff(^{2}, 0) be a subgroup admitting two linearly independent invariant commuting formal vector fields. Then G admits two closed, independent, formal meromorphic, invariant oneforms. The group G is abelian provided that one of the following conditions is satisfied:
1. G is tangent to the identity.
2. G exhibits two formal transverse separatrices.
The notions of formal closed meromorphic oneform and other formal objects are stated naturally in terms of formal expressions having coefficients that belong to the field n. In (2) there is a natural relation between the polar set of the invariant forms and the separatrices of the the group. Since the polar set of an invariant form is also invariant by the group, it must be a union of separatrices of the group. Using this, the second part of Theorem 0.11 and the abovementioned formal Integration Lemma, we obtain normal forms for abelian subgroups admitting two transverse separatrices and having Lie algebra of dimension two, cf. (Martelo and Scárdua 2011).
METABELIAN GROUPS
The above is concerned with the abelian case. For the metabelian nonabelian case we have:
Theorem 0.12.Let G ⊂ Dîff(^{2}, 0) be a metabelian nonabelian subgroup. Assume that the group of commutators G^{(1)} = [G,G] is tangent to the identity, for instance if the linear part group DG ⊂ GL(2,C) is abelian. Denote by g([G,G]) the associate Lie algebra of [G,G]. We have the following possibilities:
(i) ([G,G]) is onedimensional. There is a formal vector field , with exp ∈ G, such that, for each ∈ G there is a rational function ^{T} ∈ _{2} that satisfies: (^{T}) = 0 and *() = ^{T} · .
(ii) ([G,G]) is twodimensional. There are two Clinearly independent formal vector fields , ∈ g = logG, such that (ii.1) [, ] = 0. (ii.2) For each ∈ G there are (s_{1}, t_{1}), (s_{2}, t_{2}) ∈ ^{2} linearly independent that satisfy ^{*}() = s_{1} + t_{1} and = () = s_{2} + t_{2} .
Furthermore, in this last case there are twolinearly independent closed formal meromorphic oneforms_{j}, (j = 1, 2) and a_{j} , b_{j} ∈ ^{*}such that ^{*}(_{j}) = a_{j} _{1} + b_{j} _{2}, ∀ ∈ G.
Groups as in (ii.2) above are described in (Martelo and Scárdua 2011).
GROUPS CONTAINING DICRITIC DIFFEOMORPHISMS
Now we consider groups of formal diffeomorphisms under the hypothesis of the existence of a suitable dicritic (radial type) element. More precisely, according to (Martinez 2003), a diffeomorphism ∈ Dîff_{k}(^{n}, 0) is called dicritic if (z) = z + _{k+1}(z) + _{k+2}(z) + · · · , where _{k+1}(z) = f(z)z and f is a homogeneous polynomial of degree k. A formal vector field ∈ _{k}(^{n}, 0), k > 1 is called dicritic if = f(z) + (+ ··· ) +···+(+··· ) where fν is a homogeneous polynomial of degree ν, and f is homogeneous of degree k, and = z_{1} +··· + z_{n} is the radial vector field.
Definition 0.13 (Regular dicritic vector fields and diffeomorphisms). We also introduce the following useful subclasses of dicritic diffeomorphisms and vector fields. A formal vector field _{k} ∋ = f (z) + (+ ··· ) +···+(+··· ) is called regular dicritic if is dicritic and there are i_{0}, j_{0} ∈ {1, . . . , n}, such that f and zj_{0}  z_{i0} are coprime. This implies that 0 is an isolated singularity of . A formal diffeomorphism ∈ Dîff_{k }(^{n}, 0) is called regular dicritic if its infinitesimal generator is a regular dicritic vector field.
We have, analogously to Theorem 0.6, for groups containing a regular dicritic element.
Theorem 0.14.For a subgroup G ⊂ Dîff(^{2}, 0) containing a regular dicritic diffeomorphism, the following conditions are equivalent:
1. G ∩ Dîff_{id} (^{n}, 0) is abelian.
2. G admits a projectively invariant regular dicritic formal vector field.
In particular, a subgroup of Dîff(^{n}, 0) tangent to the identity and containing a regular dicritic diffeomorphism is abelian if and only if it admits an invariant formal vector field.
Regarding the case of metabelian groups we have:
Theorem 0.15. A subgroup of formal diffeomorphisms containing a regular dicritic diffeomorphism and with abelian linear part group is metabelian provided that it admits a projectively invariant formal vector field.
As a partial converse of Theorem 0.15 we have:
Proposition 0.16. Let G ⊂ Dîff(^{n}, 0) be a metabelian subgroup containing a regular dicritic diffeomorphism with order of tangency k. Suppose that DG is abelian and there is a linear diffeomorphism ∈ G, given by (z) = λ· Id, where λ ∈ is such that λ^{k} ≠ 1, λ^{k+1} ≠ 1. Then there is a formal vector field ∈ _{j} (^{n}, 0), j > 2, which is projectively invariant by G. In particular, given a subgroup G = , ⊂ Dîff(^{n}, 0), where fˆ is regular dicritic and (z) = λz, λ^{k} ≠ 1, λ^{k+1} ≠ 1. Then the group G is metabelian if and only if [, ^{2}] and [^{2}, ] commute with [, ].
Next we state an equivalence similar to the dimension one case, but for groups that contain some dicritic diffeomorphism.
Theorem 0.17.For a subgroup G ⊂ Dîff_{id}(^{n}, 0) of formal diffeomorphisms tangent to the identity and containing a dicritic diffeomorphism tangent to the identity with order k, the following statements are equivalent:
(1) The group is abelian.
(2) The group is nilpotent.
(3) Every nontrivial element in the group is tangent to the identity with order k.
Our results apply to the study of foliations on complex projective spaces and other ambient manifolds as well. The class of singularities which correspond, via the holonomy of its separatrices, to the class of regular dicritic diffeomorphisms is to be formally introduced and studied in a forthcoming work. Using an adaptation of a classical result due to Hironaka and Matsumara (Hironaka and Matsumara 1968) we may be able to move from the "formal world" (considered is this announcement) to the "analytic/convergent world", which is the natural ambient to the study of holomorphic foliations with singularities.
A final word should be said about the possible applications of our results. We are interested in the study of Liouvillian integration for holomorphic foliations of codimension n > 1. As suggested by the codimension 1 cases see for instance (Scárdua 2011), this passes through the comprehension of algebraic, geometric and formal structures of subgroups of Dîff(^{n}, 0) in terms we propose in this work.
Manuscript received on July 7, 2011; accepted for publication on March 19, 2012
AMS Classification Primary 32S65; Secondary 57R30.
 CAMACHO C AND LINS NETO A. 1985. Geometry theory of foliations. Translated from the Portuguese by Sue E. Goodman. Birkhauser Boston, Inc., Boston, MA.
 CAMACHO C, LINS NETO A AND SAD P. 1992. Foliations with algebraic limit sets. Ann Math 136:429446.
 CAMACHO C AND SCÁRDUA B. 2001. Holomorphic foliations with Liouvillian first integrals. Ergod Theor Dyn Syst 21(3):717756.
 CERVEAU D AND MATTEI JF. 1982. Formes intégrables holomorphes singulières. Astérisque 97.
 EISENBUD D. 1995. Commutative algebra with a view toward algebraic geometry. Graduate Texts in Mathematics, SpringerVerlag, New York 150.
 HIRONAKA H AND MATSUMARA H. 1968. Formal functions and formal embeddings. J Math Soc JPN 20:12.
 I'YASHENKO Y. 1978. Topology of phase portraits of analytic differential equations on a complex projective plane. Trudy Sem Petrovsk 4:83136.
 II'YASHENKO Y AND YAKOVENKO S. 2007. Lectures on analytic differential equations. Graduate studies in mathematics. American Mathematical Society 86.
 LORAY F. 1994. Feuilletages holomorphes à holonomie résoluble. These Université de Rennes I. MARTELO M. 2010. Grupos de germes de difeomorfismos complexos em várias variáveis e formas diferenciais. PhD. Thesis, Instituto de Matemática, Universidade Federal do Rio de Janeiro.
 MARTELO M AND RIBON J. IN PRESS. Derived length of solvable groups of local diffeomorphisms. Math DS, arXiv:1108.5779v1
 MARTELO M AND SCÁRDUA B. 2011. Integrating factors for groups of formal complex diffeomorphisms. Math CV. Available at arXiv. arXiv:1110.5786v1
 MARTINEZ FB. 2003. Groups of germs of analytic diffeomor phisms in (^{2}, 0). J Dyn Control Syst, New York 9(1):132.
 NAKAI I. 1994. Separatrices for nonsolvable dynamics on (C, 0). Annales de l'institut Fourier (Grenoble) 44(2):569599.
 SCÁRDUA B. 1997. Transversely affine and transversely projective foliations. Annales Scientifiques de l'École Normale Supérieure 30(4):169204.
 SCÁRDUA B. 1999. Integration of complex differential equations. J Dyn Control Syst New York 5:150.
 SCÁRDUA B. 2011. Differential Algebra and Liouvillian first integrals of foliations. J Pure and Appl Algebra 215(5):764788.
 SCHERBAKOV AA. 2006. Dynamics of Local Groups of Conformal Mappings and Generic Properties of Differential Equations on C2. Tr. Mat. Inst. im. V.A. Steklova, Ross. Akad. Nauk 254:111129. [Proc Steklov Inst Math 254:103120]

Correspondence to:
Mitchael MarteloEmail:
Publication Dates

Publication in this collection
29 Nov 2012 
Date of issue
Dec 2012
History

Received
07 July 2011 
Accepted
19 Mar 2012