Showing 1–29 of 29 results for author: Ribón, J

Completely Integrable Foliations: Singular Locus, Invariant Curves and Topological Counterparts

Authors: Javier Ribón

Abstract: We study codimension $q \geq 2$ holomorphic foliations defined in a neighborhood of a point $P$ of a complex manifold that are completely integrable, i.e. with $q$ independent meromorphic first integrals. We show that either $P$ is a regular point, a non-isolated singularity or there are infinitely many invariant analytic varieties through $P$ of the same dimension as the foliation, the so called… ▽ More We study codimension $q \geq 2$ holomorphic foliations defined in a neighborhood of a point $P$ of a complex manifold that are completely integrable, i.e. with $q$ independent meromorphic first integrals. We show that either $P$ is a regular point, a non-isolated singularity or there are infinitely many invariant analytic varieties through $P$ of the same dimension as the foliation, the so called separatrices. Moreover, we see that this phenomenon is of topological nature. Indeed, we introduce topological counterparts of completely integrable local holomorphic foliations and tools, specially the concept of total holonomy group, to build holomorphic first integrals if they have isolated separatrices. As a result, we provide a topological characterization of completely integrable non-degenerated elementary isolated singularities of vector fields with an isolated separatrix. △ Less

Submitted 7 January, 2025; originally announced January 2025.

Comments: 35 pages

MSC Class: Primary: 32S65; 34A05; Secondary: 34C45; 32M25; 34M65; 34M35

Constructive solution of Zariski's Moduli Problem for Plane Branches

Authors: Pedro Fortuny Ayuso, Javier Ribón

Abstract: In this paper we give an explicit solution to Zariski's moduli problem for plane branches. We compute (in an algorithmic way) the set of Kähler differentials of an irreducible germ of holomorphic plane curve. We show that there is a basis of this set whose main elements correspond to dicritical foliations. Indeed, we discuss several concepts of generation for the semimodule of values of Kähler dif… ▽ More In this paper we give an explicit solution to Zariski's moduli problem for plane branches. We compute (in an algorithmic way) the set of Kähler differentials of an irreducible germ of holomorphic plane curve. We show that there is a basis of this set whose main elements correspond to dicritical foliations. Indeed, we discuss several concepts of generation for the semimodule of values of Kähler differentials of the curve and provide basis of Kähler differentials, for every of these concepts, whose geometric properties are described. Moreover, we give an algorithmic construction of the bases. △ Less

Submitted 10 December, 2024; v1 submitted 22 May, 2024; originally announced May 2024.

Comments: 62 pages. Added Subsection 5.4 on "Hidden Coefficients", which covers in a straightforward way, Zariski's study of the noncompactness for genus greater than 2

MSC Class: 32S05; 32S65; 14H20; 32G13

Construction of a Basis of Kähler differentials for generic plane branches

Authors: Pedro Fortuny Ayuso, Javier Ribón

Abstract: Let ${\mathcal C}$ be a fixed equisingularity class of irreducible germs of complex analytic plane curves. We compute a basis of the ${\mathbb C}[[x]]$-module of Kähler differentials for generic $Γ\in {\mathcal C}$, algorithmically, and study its behaviour under blow-up. As an application, we give an alternative proof for a formula of Genzmer, that provides the dimension of the generic component… ▽ More Let ${\mathcal C}$ be a fixed equisingularity class of irreducible germs of complex analytic plane curves. We compute a basis of the ${\mathbb C}[[x]]$-module of Kähler differentials for generic $Γ\in {\mathcal C}$, algorithmically, and study its behaviour under blow-up. As an application, we give an alternative proof for a formula of Genzmer, that provides the dimension of the generic component of the moduli of analytic classes in the equisingularity class of $Γ$. △ Less

Submitted 15 May, 2024; originally announced May 2024.

Comments: 52 pages

MSC Class: 32S05; 32S65; 14H20; 32G13

Complexity of Puiseux solutions of differential and $q$-difference equations of order and degree one

Authors: José Cano Torres, Pedro Fortuny Ayuso, Javier Ribón

Abstract: We relate the complexity of both differential and $q$-difference equations of order one and degree one and their solutions. Our point of view is to show that if the solutions are complicated, the initial equation is complicated too. In this spirit, we bound from below an invariant of the differential or $q$-difference equation, the height of its Newton polygon, in terms of the characteristic facto… ▽ More We relate the complexity of both differential and $q$-difference equations of order one and degree one and their solutions. Our point of view is to show that if the solutions are complicated, the initial equation is complicated too. In this spirit, we bound from below an invariant of the differential or $q$-difference equation, the height of its Newton polygon, in terms of the characteristic factors of a solution. The differential and the $q$-difference cases are treated in a unified way. △ Less

Submitted 23 October, 2023; originally announced October 2023.

Comments: 27 pages, 2 figures

MSC Class: 32S65 (Primary) 39A13; 34M35; 39A45 (Secondary)

The Poincaré problem for reducible curves

Authors: Pedro Fortuny Ayuso, Javier Ribón

Abstract: We provide sharp lower bounds for the multiplicity of a local holomorphic foliation defined in a complex surface in terms of data associated to a germ of invariant curve. Then we apply our methods to invariant curves whose branches are isolated, i.e. they are never contained in non-trivial analytic families of equisingular invariant curves. In this case we show that the multiplicity of an invarian… ▽ More We provide sharp lower bounds for the multiplicity of a local holomorphic foliation defined in a complex surface in terms of data associated to a germ of invariant curve. Then we apply our methods to invariant curves whose branches are isolated, i.e. they are never contained in non-trivial analytic families of equisingular invariant curves. In this case we show that the multiplicity of an invariant curve is at most twice the multiplicity of the foliation. Finally, we apply the local methods to foliations in the complex projective plane. △ Less

Submitted 19 October, 2023; originally announced October 2023.

Comments: 24 pages, 4 figures

MSC Class: 32S05 (Primary); 32S65; 14H20 (Secondary)

Nondegenerate germs of holomorphic foliations with prescribed holonomy

Authors: Javier Ribón, Rudy Rosas

Abstract: We are interested in characterizing the holonomy maps associated to integral curves of non-degenerate singularities of holomorphic vector fields. Such a description is well-known in dimension 2 where is a key ingredient in the study of reduced singularities. The most intricate case in the 2 dimensional setting corresponds to (Siegel) saddle singularities. This work treats the analogous problem for… ▽ More We are interested in characterizing the holonomy maps associated to integral curves of non-degenerate singularities of holomorphic vector fields. Such a description is well-known in dimension 2 where is a key ingredient in the study of reduced singularities. The most intricate case in the 2 dimensional setting corresponds to (Siegel) saddle singularities. This work treats the analogous problem for saddles in higher dimension. We show that any germ of holomorphic biholomorphism, in any dimension, can be obtained as the holonomy map associated to an integral curve of a saddle singularity. A natural question is whether we can prescribe the linear part of the saddle germ of vector field provided the holonomy map. The answer to this question is known to be positive in dimension 2. We see that this is not the case in higher dimension. In spite of this, we provide a positive result under a natural condition for the holonomy map. △ Less

Submitted 23 January, 2023; originally announced January 2023.

Comments: 38 pages

MSC Class: 32S65; 34M35 (Primary) 37F75; 34M04 (Secondary)

A fixed point curve theorem for finite orbits local diffeomorphisms

Authors: Lucivanio Lisboa, Javier Ribón

Abstract: We study local biholomorphisms with finite orbits in some neighborhood of the origin since they are intimately related to holomorphic foliations with closed leaves. We describe the structure of the set of periodic points in dimension 2. As a consequence we show that given a local biholomorphism $F$, in dimension 2 with finite orbits, there exists an analytic curve passing through the origin and co… ▽ More We study local biholomorphisms with finite orbits in some neighborhood of the origin since they are intimately related to holomorphic foliations with closed leaves. We describe the structure of the set of periodic points in dimension 2. As a consequence we show that given a local biholomorphism $F$, in dimension 2 with finite orbits, there exists an analytic curve passing through the origin and contained in the fixed point set of some non-trivial iterate of $F.$ As an application we obtain that at least one eigenvalue of the linear part of $F$ at the origin is a root of unity. Moreover, we show that such a result is sharp by exhibiting examples of local biholomorphisms, with finite orbits, such that exactly one of the eigenvalues is a root of unity. These examples are subtle since we show they can not be embedded in one parameter groups. △ Less

Submitted 15 March, 2021; v1 submitted 14 March, 2021; originally announced March 2021.

Comments: 30 pages

MSC Class: Primary: 32H50; 37C25; Secondary: 37F75; 34M25

Fixed points of nilpotent actions on surfaces of negative Euler characteristic

Authors: Javier Ribón

Abstract: We prove that a locally nilpotent group $G$ of $C^{1}$ diffeomorphisms of a compact surface $S$ of non-vanishing Euler characteristic has a finite orbit ${\mathcal O}$ whose cardinal is bounded by above by a function of the characteristic of Euler of $S$. We focus on the case of negative Euler characteristic $χ(S)$. Then we can choose ${\mathcal O}$ so that it consists of global contractible fix… ▽ More We prove that a locally nilpotent group $G$ of $C^{1}$ diffeomorphisms of a compact surface $S$ of non-vanishing Euler characteristic has a finite orbit ${\mathcal O}$ whose cardinal is bounded by above by a function of the characteristic of Euler of $S$. We focus on the case of negative Euler characteristic $χ(S)$. Then we can choose ${\mathcal O}$ so that it consists of global contractible fixed points of thesubgroup $G_0$ of $G$ consisting of isotopic to the identity elements. In particular $G$ has a global contractible fixed point if it consists of isotopic to the identity elements. △ Less

Submitted 31 March, 2021; v1 submitted 12 January, 2021; originally announced January 2021.

Comments: 51 pages

MSC Class: Primary: 37C85; 37E30; Secondary: 37C25; 55M20; 57S25

The local Poincaré problem for irreducible branches

Authors: José Cano, Pedro Fortuny Ayuso, Javier Ribón

Abstract: Let ${\mathcal F}$ be a germ of holomorphic foliation defined in a neighborhood of the origin of ${\mathbb C}^{2}$ that has a germ of irreducible holomorphic invariant curve $γ$. We provide a lower bound for the vanishing multiplicity of ${\mathcal F}$ at the origin in terms of the equisingularity class of $γ$. Moreover, we show that such a lower bound is sharp. Finally, we characterize the types… ▽ More Let ${\mathcal F}$ be a germ of holomorphic foliation defined in a neighborhood of the origin of ${\mathbb C}^{2}$ that has a germ of irreducible holomorphic invariant curve $γ$. We provide a lower bound for the vanishing multiplicity of ${\mathcal F}$ at the origin in terms of the equisingularity class of $γ$. Moreover, we show that such a lower bound is sharp. Finally, we characterize the types of dicritical singularities for which the multiplicity of $\mathcal{F}$ can be bounded in terms of that of $γ$ and provide an explicit bound in this case. △ Less

Submitted 10 July, 2020; v1 submitted 9 July, 2020; originally announced July 2020.

Comments: 18 pages, 5 figures, accepted for publication in Revista Matemática Iberoamericana

MSC Class: 32S05 (Primary); 32S65 (Primary); 14H20 (Secondary)

Journal ref: Rev. Mat. Iberoam. 37 (2021), no. 6, pp. 2229-2244

Stable manifolds of biholomorphisms in $\mathbb{C}^n$ asymptotic to formal curves

Authors: Lorena López-Hernanz, Javier Ribón, Fernando Sanz Sánchez, Liz Vivas

Abstract: Given a germ of biholomorphism $F\in\mathrm{Diff}(\mathbb{C}^n,0)$ with a formal invariant curve $Γ$ such that the multiplier of the restricted formal diffeomorphism $F|_Γ$ is a root of unity or satisfies $|(F|_Γ)'(0)|<1$, we prove that either $Γ$ is contained in the set of periodic points of $F$ or there exists a finite family of stable manifolds of $F$ where all the orbits are asymptotic to $Γ$… ▽ More Given a germ of biholomorphism $F\in\mathrm{Diff}(\mathbb{C}^n,0)$ with a formal invariant curve $Γ$ such that the multiplier of the restricted formal diffeomorphism $F|_Γ$ is a root of unity or satisfies $|(F|_Γ)'(0)|<1$, we prove that either $Γ$ is contained in the set of periodic points of $F$ or there exists a finite family of stable manifolds of $F$ where all the orbits are asymptotic to $Γ$ and whose union eventually contains every orbit asymptotic to $Γ$. This result generalizes to the case where $Γ$ is a formal periodic curve. △ Less

Submitted 17 January, 2022; v1 submitted 17 February, 2020; originally announced February 2020.

Comments: Part of section 5 in this article is an upgrade of some results in arXiv:1411.2945 that were not included in the final published version

On the automorphism group of foliations with geometric transverse structure

Authors: Laurent Meersseman, Marcel Nicolau, Javier Ribon

Abstract: Motivated by questions of deformations/moduli in foliation theory, we investigate the structure of some groups of diffeomorphisms preserving a foliation. We give an example of a $C^\infty$ foliation whose diffeomorphism group is not a Lie group in any reasonable sense. On the positive side, we prove that the automorphism group of a transversely holomorphic foliation or a riemannian foliation is a… ▽ More Motivated by questions of deformations/moduli in foliation theory, we investigate the structure of some groups of diffeomorphisms preserving a foliation. We give an example of a $C^\infty$ foliation whose diffeomorphism group is not a Lie group in any reasonable sense. On the positive side, we prove that the automorphism group of a transversely holomorphic foliation or a riemannian foliation is a strong ILH Lie goup in the sense of Omori. △ Less

Submitted 24 March, 2022; v1 submitted 16 October, 2018; originally announced October 2018.

Comments: 22 pages. Accepted for publication in Mathematische Zeitschrift

Boundness of intersection numbers for actions by two-dimensional biholomorphisms

Authors: Javier Ribón

Abstract: We say that a group $G$ of local (maybe formal) biholomorphisms satisfies the uniform intersection property if the intersection multiplicity $(φ(V), W)$ takes only finitely many values as a function of $G$ for any choice of analytic sets $V$ and $W$. In dimension $2$ we show that $G$ satisfies the uniform intersection property if and only if it is finitely determined, i.e. there exists a natural n… ▽ More We say that a group $G$ of local (maybe formal) biholomorphisms satisfies the uniform intersection property if the intersection multiplicity $(φ(V), W)$ takes only finitely many values as a function of $G$ for any choice of analytic sets $V$ and $W$. In dimension $2$ we show that $G$ satisfies the uniform intersection property if and only if it is finitely determined, i.e. there exists a natural number $k$ such that different elements of $G$ have different Taylor expansions of degree $k$ at the origin. We also prove that $G$ is finitely determined if and only if the action of $G$ on the space of germs of analytic curves have discrete orbits. △ Less

Submitted 8 April, 2019; v1 submitted 12 June, 2018; originally announced June 2018.

Comments: 27 pages

MSC Class: Primary: 32H50; 37C85; Secondary: 37F75; 20G20; 20F16

Stable manifolds of two-dimensional biholomorphisms asymptotic to formal curves

Authors: Lorena López-Hernanz, Jasmin Raissy, Javier Ribón, Fernando Sanz-Sánchez

Abstract: Let $F\in\mathrm{Diff}(\mathbb{C}^2,0)$ be a germ of a holomorphic diffeomorphism and let $Γ$ be an invariant formal curve of $F$. Assume that the restricted diffeomorphism $F|_Γ$ is either hyperbolic attracting or rationally neutral non-periodic (these are the conditions that the diffeomorphism $F|_Γ$ should satisfy, if $Γ$ were convergent, in order to have orbits converging to the origin). Then… ▽ More Let $F\in\mathrm{Diff}(\mathbb{C}^2,0)$ be a germ of a holomorphic diffeomorphism and let $Γ$ be an invariant formal curve of $F$. Assume that the restricted diffeomorphism $F|_Γ$ is either hyperbolic attracting or rationally neutral non-periodic (these are the conditions that the diffeomorphism $F|_Γ$ should satisfy, if $Γ$ were convergent, in order to have orbits converging to the origin). Then we prove that $F$ has finitely many stable manifolds, either open domains or parabolic curves, consisting of and containing all converging orbits asymptotic to $Γ$. Our results generalize to the case where $Γ$ is a formal periodic curve of $F$. △ Less

Submitted 10 October, 2017; originally announced October 2017.

Journal ref: International Mathematics Research Notices, v. 2021, p. 12847-12887 (2021)

Global fixed points for nilpotent actions on the torus

Authors: Sebastião Firmo, Javier Ribón

Abstract: An isotopic to the identity map of the $2$-torus, that has zero rotation vector with respect to an invariant ergodic probability measure, has a fixed point by a theorem of Franks. We give a version of this result for nilpotent subgroups of isotopic to the identity diffeomorphisms of the $2$-torus. In such a context we guarantee the existence of global fixed points for nilpotent groups of irrotatio… ▽ More An isotopic to the identity map of the $2$-torus, that has zero rotation vector with respect to an invariant ergodic probability measure, has a fixed point by a theorem of Franks. We give a version of this result for nilpotent subgroups of isotopic to the identity diffeomorphisms of the $2$-torus. In such a context we guarantee the existence of global fixed points for nilpotent groups of irrotational diffeomorphisms. In particular we show that the derived group of a nilpotent group of isotopic to the identity diffeomorphisms of the $2$-torus has a global fixed point. △ Less

Submitted 21 August, 2017; originally announced August 2017.

Comments: 30 pages

Journal ref: Ergodic Theory and Dynamical Systems, v. 40, n. 12, 3339-3367 (2020)

Analytic Moduli of Plane Branches and Holomorphic Flows

Authors: Pedro Fortuny Ayuso, Javier Ribón

Abstract: We study the behaviour (in the infinitesimal neighbourhood of the singularity) of a singular plane branch under the action of holomorphic flows. The techniques we develop provide a new elementary, geometric and dynamical solution to Zariski's moduli problem for singular branches in $({\mathbb C}^{2},0)$. Furthermore, we study whether elements of the same class of analytic conjugacy are conjugated… ▽ More We study the behaviour (in the infinitesimal neighbourhood of the singularity) of a singular plane branch under the action of holomorphic flows. The techniques we develop provide a new elementary, geometric and dynamical solution to Zariski's moduli problem for singular branches in $({\mathbb C}^{2},0)$. Furthermore, we study whether elements of the same class of analytic conjugacy are conjugated by a holomorphic flow; in particular we show that there exists an analytic class that is not complete: meaning that there are two elements of the class that are not analytically conjugated by a local diffeomorphism embedded in a one-parameter flow. △ Less

Submitted 5 June, 2018; v1 submitted 26 June, 2017; originally announced June 2017.

Comments: This version supersedes the previous one: the title has changed as a consequence of major improvements and new results. This work must be considered a joint work of both authors from now on

MSC Class: 32S05; 32S65; 14H20; 32G13

Journal ref: Canadian Journal of Mathematics, v. 72, n. 4, 835-866 (2020)

Finite dimensional groups of local diffeomorphisms

Authors: Javier Ribón

Abstract: We are interested in classifying groups of local biholomorphisms (or even formal diffeomorphisms) that can be endowed with a canonical structure of algebraic group up to add extra formal diffeomorphisms. We show that this is the case for virtually polycyclic subgroups and in particular finitely generated virtually nilpotent groups of local biholomorphisms. We provide several methods to identify th… ▽ More We are interested in classifying groups of local biholomorphisms (or even formal diffeomorphisms) that can be endowed with a canonical structure of algebraic group up to add extra formal diffeomorphisms. We show that this is the case for virtually polycyclic subgroups and in particular finitely generated virtually nilpotent groups of local biholomorphisms. We provide several methods to identify this property and build examples. As a consequence we generalize results of Arnold, Seigal-Yakovenko and Binyamini on uniform estimates of local intersection multiplicities to bigger classes of groups, including for example virtually polycyclic groups. △ Less

Submitted 22 December, 2016; v1 submitted 9 June, 2016; originally announced June 2016.

Comments: 46 pages

MSC Class: 32H50; 37C85 (Primary); 37F75; 20G20; 20F16 (Secondary)

Journal ref: Israel Journal of Mathematics, v. 227, p. 289-329, 2018

Finite orbits for nilpotent actions on the torus

Authors: Sebastião Firmo, Javier Ribón

Abstract: A homeomorphism of the $2$-torus with Lefschetz number different from zero has a fixed point. We give a version of this result for nilpotent groups of diffeomorphisms. We prove that a nilpotent group of $2$-torus diffeomorphims has finite orbits when the group has some element with Lefschetz number different from zero. A homeomorphism of the $2$-torus with Lefschetz number different from zero has a fixed point. We give a version of this result for nilpotent groups of diffeomorphisms. We prove that a nilpotent group of $2$-torus diffeomorphims has finite orbits when the group has some element with Lefschetz number different from zero. △ Less

Submitted 24 March, 2022; v1 submitted 13 March, 2016; originally announced March 2016.

Comments: 15 pages

MSC Class: 37E30; 37E45; 37A15; 37A05; 54H20; 55M20; 37C25

Journal ref: Proceedings of the American Mathematical Society, v. 146, p. 195-208, 2017

Recurrent orbits of subgroups of local complex analytic diffeomorphisms

Authors: Javier Ribón

Abstract: We show recurrent phenomena for orbits of groups of local complex analytic diffeomorphisms that have a certain subgroup or image by a morphism of groups that is non-virtually solvable. In particular we prove that a non-virtually solvable subgroup of local biholomorphisms has always recurrent orbits, i.e. there exists an orbit contained in its set of limit points. We show recurrent phenomena for orbits of groups of local complex analytic diffeomorphisms that have a certain subgroup or image by a morphism of groups that is non-virtually solvable. In particular we prove that a non-virtually solvable subgroup of local biholomorphisms has always recurrent orbits, i.e. there exists an orbit contained in its set of limit points. △ Less

Submitted 3 September, 2015; originally announced September 2015.

Comments: 38

MSC Class: Primary: 37F75; 20F16; Secondary: 20F14; 32H50

Journal ref: Math. Z. 285 (2017), no. 1-2, 519-548

The solvable length of groups of local diffeomorphisms

Authors: Javier Ribón

Abstract: We are interested in the algebraic properties of groups of local biholomorphisms and their consequences. A natural question is whether the complexity of solvable groups is bounded by the dimension of the ambient space. In this spirit we show that $2n+1$ is the sharpest upper bound for the derived length of solvable subgroups of the group $\mathrm{Diff}({\mathbb C}^{n},0)$ of local complex analytic… ▽ More We are interested in the algebraic properties of groups of local biholomorphisms and their consequences. A natural question is whether the complexity of solvable groups is bounded by the dimension of the ambient space. In this spirit we show that $2n+1$ is the sharpest upper bound for the derived length of solvable subgroups of the group $\mathrm{Diff}({\mathbb C}^{n},0)$ of local complex analytic diffeomorphisms for $n=2,3,4,5$. △ Less

Submitted 24 March, 2022; v1 submitted 3 June, 2014; originally announced June 2014.

Comments: 40 pages, Accepted for publication in Journal für die reine und angewandte Mathematik

MSC Class: Primary: 37F75; 20F16; Secondary: 20F14; 32H50

Journal ref: Journal für die reine und angewandte Mathematik (Crelles Journal), v. 752, p. 105-139, 2019

Fixed points for nilpotent actions on the plane and the Cartwright-Littlewood theorem

Authors: S. Firmo, J. Ribón, J. Velasco

Abstract: The goal of this paper is proving the existence and then localizing global fixed points for nilpotent groups generated by homeomorphisms of the plane satisfying a certain Lipschitz condition. The condition is inspired in a classical result of Bonatti for commuting diffeomorphisms of the 2-sphere and in particular it is satisfied by diffeomorphisms, not necessarily of class $C^{1}$, whose linear pa… ▽ More The goal of this paper is proving the existence and then localizing global fixed points for nilpotent groups generated by homeomorphisms of the plane satisfying a certain Lipschitz condition. The condition is inspired in a classical result of Bonatti for commuting diffeomorphisms of the 2-sphere and in particular it is satisfied by diffeomorphisms, not necessarily of class $C^{1}$, whose linear part at every point is uniformly close to the identity. In this same setting we prove a version of the Cartwright-Littlewood theorem, obtaining fixed points in any continuum preserved by a nilpotent action. △ Less

Submitted 2 June, 2013; originally announced June 2013.

Comments: 30 pages, 2 figures

MSC Class: 37C25; 37E30; 37E45

Fixed points of nilpotent actions on ${\mathbb S}^{2}$

Authors: Javier Ribón

Abstract: We prove that a nilpotent subgroup of orientation preserving $C^{1}$ diffeomorphisms of ${\mathbb S}^{2}$ has a finite orbit of cardinality at most two. We also prove that a finitely generated nilpotent subgroup of orientation preserving $C^{1}$ diffeomorphisms of ${\mathbb R}^{2}$ preserving a compact set has a global fixed point. These results generalize theorems of Franks, Handel and Parwani fo… ▽ More We prove that a nilpotent subgroup of orientation preserving $C^{1}$ diffeomorphisms of ${\mathbb S}^{2}$ has a finite orbit of cardinality at most two. We also prove that a finitely generated nilpotent subgroup of orientation preserving $C^{1}$ diffeomorphisms of ${\mathbb R}^{2}$ preserving a compact set has a global fixed point. These results generalize theorems of Franks, Handel and Parwani for the abelian case. We show that a nilpotent subgroup of orientation preserving $C^{1}$ diffeomorphisms of ${\mathbb S}^{2}$ that has a finite orbit of odd cardinality also has a global fixed point. Moreover we study the properties of the two-points orbits of nilpotent fixed-point-free subgroups of orientation preserving $C^{1}$ diffeomorphisms of ${\mathbb S}^{2}$. △ Less

Submitted 6 May, 2014; v1 submitted 22 August, 2012; originally announced August 2012.

Comments: Some clarifications and minor corrections added

MSC Class: 37E30; 37C85

Journal ref: Ergod. Th. Dynam. Sys. 36 (2014) 173-197

Topological rigidity of unfoldings of resonant diffeomorphisms

Authors: Javier Ribón

Abstract: We prove that a topological homeomorphism conjugating two generic 1-parameter unfoldings of 1-variable complex analytic resonant diffeomorphisms is holomorphic or anti-holomorphic by restriction to the unperturbed parameter. We provide examples that show that the genericity hypothesis is necessary. Moreover we characterize the possible behavior of conjugacies for the unperturbed parameter in the g… ▽ More We prove that a topological homeomorphism conjugating two generic 1-parameter unfoldings of 1-variable complex analytic resonant diffeomorphisms is holomorphic or anti-holomorphic by restriction to the unperturbed parameter. We provide examples that show that the genericity hypothesis is necessary. Moreover we characterize the possible behavior of conjugacies for the unperturbed parameter in the general case. In particular they are always real analytic outside of the origin. We describe the structure of the limits of orbits when we approach the unperturbed parameter. The proof of the rigidity results is based on the study of the action of a topological conjugation on the limits of orbits. △ Less

Submitted 8 October, 2012; v1 submitted 13 June, 2012; originally announced June 2012.

Comments: 58 pages, 3 figures

MSC Class: 37F45; 37F75 (Primary) 37G10; 34E10 (Secondary)

Derived length of solvable groups of local diffeomorphisms

Authors: Mitchael Martelo, Javier Ribón

Abstract: Let $G$ be a solvable subgroup of the group $\diff{}{n}$ of local complex analytic diffeomorphisms. Analogously as for groups of matrices we bound the solvable length of $G$ by a function of $n$. Moreover we provide the best possible bounds for connected, unipotent and nilpotent groups. Let $G$ be a solvable subgroup of the group $\diff{}{n}$ of local complex analytic diffeomorphisms. Analogously as for groups of matrices we bound the solvable length of $G$ by a function of $n$. Moreover we provide the best possible bounds for connected, unipotent and nilpotent groups. △ Less

Submitted 29 August, 2011; originally announced August 2011.

Comments: 27 pages

MSC Class: Primary: 37F75; 20F16; Secondary: 20F14; 32H50

Journal ref: Math. Ann. 358, No. 3-4, 701-728 (2014)

Embedding smooth and formal diffeomorphisms through the Jordan-Chevalley decomposition

Authors: Javier Ribón

Abstract: In [Xiang Zhang, The embedding flows of $C^{\infty}$ hyperbolic diffeomorphisms, J. Differential Equations 250 (2011), no. 5, 2283-2298] Zhang proved that any local smooth hyperbolic diffeomorphism whose eigenvalues are weakly nonresonant is embedded in the flow of a smooth vector field. We present a new, simpler and more conceptual proof of such result using the Jordan-Chevalley decomposition in… ▽ More In [Xiang Zhang, The embedding flows of $C^{\infty}$ hyperbolic diffeomorphisms, J. Differential Equations 250 (2011), no. 5, 2283-2298] Zhang proved that any local smooth hyperbolic diffeomorphism whose eigenvalues are weakly nonresonant is embedded in the flow of a smooth vector field. We present a new, simpler and more conceptual proof of such result using the Jordan-Chevalley decomposition in algebraic groups and the properties of the exponential operator. We characterize the hyperbolic smooth (resp. formal) diffeomorphisms that are embedded in a smooth (resp. formal) flow. We introduce a criterium showing that the presence of weak resonances for a diffeomorphism plus two natural conditions imply that it is not embeddable. This solves a conjecture of Zhang. The criterium is optimal, we provide a method to construct embeddable diffeomorphisms with weak resonances if we remove any of the conditions. △ Less

Submitted 18 July, 2011; originally announced July 2011.

Comments: 25 pages

MSC Class: Primary: 34C20; 37F75; Secondary: 34C41; 34M25

Journal ref: J. Differ. Equations 253, No. 12, 3211-3231 (2012)

Extension of formal conjugations between diffeomorphisms

Authors: Javier Ribón

Abstract: We study the formal conjugacy properties of germs of complex analytic diffeomorphisms defined in the neighborhood of the origin of ${\mathbb C}^{n}$. More precisely, we are interested on the nature of formal conjugations along the fixed points set. We prove that there are formally conjugated local diffeomorphisms $φ, η$ such that every formal conjugation $\hatσ$ (i.e.… ▽ More We study the formal conjugacy properties of germs of complex analytic diffeomorphisms defined in the neighborhood of the origin of ${\mathbb C}^{n}$. More precisely, we are interested on the nature of formal conjugations along the fixed points set. We prove that there are formally conjugated local diffeomorphisms $φ, η$ such that every formal conjugation $\hatσ$ (i.e. $η\circ \hatσ = \hatσ \circ φ$) does not extend to the fixed points set $Fix (φ)$ of $φ$, meaning that it is not transversally formal (or semi-convergent) along $Fix (φ)$. We focus on unfoldings of 1-dimensional tangent to the identity diffeomorphisms. We identify the geometrical configurations preventing formal conjugations to extend to the fixed points set: roughly speaking, either the unperturbed fiber is singular or generic fibers contain multiple fixed points. △ Less

Submitted 19 April, 2011; originally announced April 2011.

Comments: 34 pages

MSC Class: Primary: 37F45; Secondary: 37G10; 37F75; 34E05; 30E15

Journal ref: Bull. Braz. Math. Soc. (N.S.) 43, No. 2, 247-283 (2012)

Multisummability of unfoldings of tangent to the identity diffeomorphisms

Authors: Javier Ribón

Abstract: We prove the multisummability of the infinitesimal generator of unfoldings of finite codimension tangent to the identity 1-dimensional local complex analytic diffeomorphisms. We also prove the multisummability of Fatou coordinates and extensions of the Ecalle-Voronin invariants associated to these unfoldings. The quasi-analytic nature is related to the parameter variable. As an application we prov… ▽ More We prove the multisummability of the infinitesimal generator of unfoldings of finite codimension tangent to the identity 1-dimensional local complex analytic diffeomorphisms. We also prove the multisummability of Fatou coordinates and extensions of the Ecalle-Voronin invariants associated to these unfoldings. The quasi-analytic nature is related to the parameter variable. As an application we prove an isolated zeros theorem for the analytic conjugacy problem. The proof is based on good asymptotics of Fatou coordinates and the introduction of a new auxiliary tool, the so called multi-transversal flows. They provide the estimates and the combinatorics of sectors typically associated to summability. The methods are based on the study of the infinitesimal stability properties of the unfoldings. △ Less

Submitted 17 September, 2010; originally announced September 2010.

Comments: 94 pages, 13 figures

MSC Class: 37F45 (Primary) 37G10; 37F75; 34E05; 30E15 (Secondary)

Non-embeddability of general unipotent diffeomorphisms up to formal conjugacy

Authors: Javier Ribón

Abstract: The formal class of a germ of diffeomorphism $φ$ is embeddable in a flow if $φ$ is formally conjugated to the exponential of a germ of vector field. We prove that there are complex analytic unipotent germs of diffeomorphisms at $({\mathbb C}^{n},0)$ ($n>1$) whose formal class is non-embeddable. The examples are inside a family in which the non-embeddability is of geometrical type. The proof reli… ▽ More The formal class of a germ of diffeomorphism $φ$ is embeddable in a flow if $φ$ is formally conjugated to the exponential of a germ of vector field. We prove that there are complex analytic unipotent germs of diffeomorphisms at $({\mathbb C}^{n},0)$ ($n>1$) whose formal class is non-embeddable. The examples are inside a family in which the non-embeddability is of geometrical type. The proof relies on the properties of some linear functional operators that we obtain through the study of polynomial families of diffeomorphisms via potential theory. △ Less

Submitted 17 February, 2009; originally announced February 2009.

Comments: 20 pages, 1 figure To appear in Annales de l'Institut Fourier

MSC Class: 37F75; 32H02; 32A05; 40A05

Journal ref: Ann. Inst. Fourier 59, No. 3, 951-975 (2009)

Modulus of analytic classification for unfoldings of resonant diffeomorphisms

Authors: Javier Ribon

Abstract: We provide a complete system of analytic invariants for unfoldings of non-linearizable resonant complex analytic diffeomorphisms as well as its geometrical interpretation. In order to fulfill this goal we develop an extension of the Fatou coordinates with controlled asymptotic behavior in the neighborhood of the fixed points. The classical constructions are based on finding regions where the dyn… ▽ More We provide a complete system of analytic invariants for unfoldings of non-linearizable resonant complex analytic diffeomorphisms as well as its geometrical interpretation. In order to fulfill this goal we develop an extension of the Fatou coordinates with controlled asymptotic behavior in the neighborhood of the fixed points. The classical constructions are based on finding regions where the dynamics of the unfolding is topologically stable. We introduce a concept of infinitesimal stability leading to Fatou coordinates reflecting more faithfully the analytic nature of the unfolding. These improvements allow us to control the domain of definition of a conjugating mapping and its power series expansion. △ Less

Submitted 22 August, 2006; originally announced August 2006.

Comments: 55 pages

MSC Class: 37F45 (Primary) 37G10; 37F75 (Secondary)

Journal ref: Mosc. Math. J. 8, no. 2, 319-395, 400 (2008)

Formal classification of unipotent parameterized diffeomorphisms

Authors: Javier Ribón

Abstract: We provide a complete system of invariants for the formal classification of complex analytic unipotent germs of diffeomorphism at $\cn{n}$ fixing the orbits of a regular vector field. We reduce the formal classification problem to solve a linear differential equation. Then we describe the formal invariants; their nature depends on the position of the fixed points set $Fix φ$ with respect to the… ▽ More We provide a complete system of invariants for the formal classification of complex analytic unipotent germs of diffeomorphism at $\cn{n}$ fixing the orbits of a regular vector field. We reduce the formal classification problem to solve a linear differential equation. Then we describe the formal invariants; their nature depends on the position of the fixed points set $Fix φ$ with respect to the regular vector field preserved by $φ$. We get invariants specifically attached to higher dimension ($n \geq 3$) although generically they are analogous to the one-dimensional ones. △ Less

Submitted 11 November, 2005; originally announced November 2005.

Comments: 35 pages

MSC Class: 37F75 (Primary); 32H02; 32S65; 32A05 (Secondary)

Journal ref: Ergodic Theory Dyn. Syst. 28, No. 4, 1323-1365 (2008)