We describe a procedure for constructing formal normal forms of holomorphic maps with a hypersurface of fixed points, and we apply it to obtain a complete list of formal normal forms for 2-dimensional holomorphic maps tangential to a curve of fixed points.
We study Segre varieties associated to Levi-flat subsets in complex manifolds and apply them to establish local and global results on the integration of tangent holomorphic foliations.
We show that the tangential speed of a parabolic semigroup of holomorphic self-maps in the unit disc is asymptotically bounded from above by (1/2)logt, proving a conjecture by Bracci. In order to show the proof we need a result of "asymptotical monotonicity" of the tangential speed for proper pairs of parabolic semigroups with positive hyperbolic step.
We prove that there exists an automorphism of C^2 tangent to the identity with a domain of attraction to the origin, biholomorphic to the origin, along a degenerate characteristic direction.
We prove that a holomorphic fixed point germ in two complex variables, tangent to the identity, and whose only characteristic direction is non-degenerate, has a domain of attraction on which the map is conjugate to a translation. In the case of a global automorphism, the corresponding domain of attraction is a Fatou-Bieberbach domain.
We show that the set of singular holomorphic foliations of the projective spaces with split tangent sheaf and with good singular set is open in the space of holomorphic foliations. As applications we present a generalization of a result by Camacho-Lins Neto about linear pull-back foliations, we give a criterium for the rigidity of $\mathcal L$-foliations of codimension $k \ge 2$ and prove a conjecture by Cerveau-Deserti about the rigidity of a codimension one $\mathcal L$-foliation of $\mathbb P^4$. These results allow us to exhibit some previously unknown irreducible components of the spaces …
Let F be a germ of (C^2,O) tangent to the identity. Assume F has a characteristic direction [v]. In [Hak] Hakim gives conditions to guarantee the existence of an attracting basin to the origin along [v], in the case of [v] a non-degenerate characteristic direction. In this paper we give conditions to guarantee the existence of basins along [v] in the case of [v] a degenerate characteristic direction.
This article studies germs of holomorphic vector fields at the origin of C3 that are tangent to holomorphic foliations of codimension one. Two situations are considered. First, we assume hypotheses on the reduction of singularities of the vector field - for instance, that the final models belong to a family of vector fields whose linear parts have eigenvalues satisfying a condition of non-resonance - in order to conclude that the foliation is of complex hyperbolic type, that is, without saddle-nodes in its reduction of singularities. In the second part, we prove that a vector field that is tan…
Let $Δ\subsetneq \mathbb C$ be a simply connected domain, let $f:\mathbb D \to Δ$ be a Riemann map and let $\{z_k\}\subset Δ$ be a compactly divergent sequence. Using Gromov's hyperbolicity theory, we show that $\{f^{-1}(z_k)\}$ converges non-tangentially to a point of $\partial \mathbb D$ if and only if there exists a simply connected domain $U\subsetneq \mathbb C$ such that $Δ\subset U$ and $Δ$ contains a tubular hyperbolic neighborhood of a geodesic of $U$ and $\{z_k\}$ is eventually contained in a smaller tubular hyperbolic neighborhood of the same geodesic. As a consequence we show that i…
Let \Fc be a holomorphic foliation by Riemann surfaces defined on a compact complex projective surface X satisfying the following two conditions: (1) the singular points of \Fc are all hyperbolic; (2) \Fc is Brody hyperbolic. Then we establish cohomological formulas for the Lyapunov exponent and the Poincaré mass of an extremal positive \ddc-closed current tangent to \Fc. If, moreover, there is no nonzero positive closed current tangent to \Fc, then we show that the Lyapunov exponent χ(\Fc) of \Fc, which is, by definition, the Lyapunov exponent of the unique normalized positive \ddc-closed cur…
We study holomorphic fixed point germs in two complex variables that are tangent to the identity and have a degenerate characteristic direction. We show that if that characteristic direction is also a characteristic direction for higher degree terms, is non-degenerate for a higher degree term, and satisfies some additional properties, then there is a domain of attraction on which points converge to the origin along that direction.
We give an interesting example of a map in $\mathbb{C}^2$ that is tangent to the identity, but that does not have a domain of attraction along any of its characteristic direction. This map has three characteristic directions, two of which are not attracting while the third attracts points to that direction, but not to the origin. In addition, we show that if we add higher degree terms to this map, sometimes a domain of attraction along one of its characteristic directions will exist and sometimes one will not.
In this article we give an expository account of the holomorphic motion theorem based on work of Màñé-Sad-Sullivan, Bers-Royden, and Chirka. After proving this theorem, we show that tangent vectors to holomorphic motions have $|ε\log ε|$ moduli of continuity and then show how this type of continuity for tangent vectors can be combined with Schwarz's lemma and integration over the holomorphic variable to produce Hölder continuity on the mappings. We also prove, by using holomorphic motions, that Kobayashi's and Teichmüller's metrics on the Teichmüller space of a Riemann surface coincide. Finall…
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-transversa…
We introduce three quantities related to orbits of non-elliptic continuous semigroups of holomorphic self-maps of the unit disc, the total speed, the orthogonal speed and the tangential speed and show how they are related and what can be inferred from those.
We study codimension one holomorphic distributions on the projective three-space, analyzing the properties of their singular schemes and tangent sheaves. In particular, we provide a classification of codimension one distributions of degree at most 2 with locally free tangent sheaves, and show that codimension one distributions of arbitrary degree with only isolated singularities have stable tangent sheaves. Furthermore, we describe the moduli space of distributions in terms of Grothendieck's Quot-scheme for the tangent bundle. In certain cases, we show that the moduli space of codimension one …
In this short Survey we revisit the subject of local, identity-tangent diffeomorphisms of $\doC$ and their analytic invariants, under two viewpoints: that of explicit expansions, which necessarily involve multitangents and multizetas; and that of effective computation. Along the way, we stress the difference between the \textup{collectors} (pre-invariant but of one piece) and the \textup{connectors} (invariant but mutually unrelated). We also attempt to streamline the nomenclature and notations.
We study the local dynamics of generic skew-products tangent to the identity, i.e. maps of the form $P(z,w)=(p(z), q(z,w))$ with $dP_0=\mathrm{id}$. More precisely, we focus on maps with non-degenerate second differential at the origin; such maps have local normal form $P(z,w)=(z-z^2+O(z^3),w+w^2+bz^2+O(\|(z,w)\|^3))$. We prove the existence of parabolic domains, and prove that inside these parabolic domains the orbits converge non-tangentially if and only if $b \in (\frac{1}{4},+\infty)$. Furthermore, we prove the existence of a type of parabolic implosion, in which the renormalization limits…
We study a germ of real analytic $n$-dimensional submanifold of ${\mathbf C}^n$ that has a complex tangent space of maximal dimension at a CR singularity. Under the condition that its complexification admits the maximum number of deck transformations, we study its transformation to a normal form under the action of local (possibly formal) biholomorphisms at the singularity. We first conjugate formally its associated reversible map $σ$ to suitable normal forms and show that all these normal forms can be divergent. If the singularity is {\it abelian}, we show, under some assumptions on the linea…
We provide a family of isolated tangent to the identity germs $f:(\mathbb{C}^3,0) \to (\mathbb{C}^3,0)$ which possess only degenerate characteristic directions, and for which the lift of $f$ to any modification (with suitable properties) has only degenerate characteristic directions. This is in sharp contrast with the situation in dimension $2$, where any isolated tangent to the identity germ $f$ admits a modification where the lift of $f$ has a non-degenerate characteristic direction. We compare this situation with the resolution of singularities of the infinitesimal generator of $f$, showing…
In this revised version, applying a general renormalization procedure for formal self-maps, producing a formal normal form simpler than the classical Poincaré-Dulac normal form, we shall give a complete list of normal forms for bi-dimensional superattracting germs with non-vanishing quadratic term; in most cases, our normal forms will be the simplest possible ones (in the sense of Wang, Zheng and Peng). We shall also discuss a few examples of renormalization of germs tangent to the identity, revealing interesting second-order resonance phenomena.
In this note, we will consider the question of local equivalence of analytic functions which fix the origin and are tangent to the identity, as well as the question of flows of analytic vector fields. All mappings and equivalences are considered in the non-archimedean context e.g. all norms can be considered $p$-adic norms. We show that any two mappings $f$ and $g$ which are formally equivalent are also analytically equivalent, and we show that analytic vector fields generate analytic flows. We consider the related questions of roots and centralizers for analytic mappings. In this setting, any…
We study a germ of real analytic n-dimensional submanifold of $C^n$ that has a complex tangent space of maximal dimension at a CR singularity. Under the condition that its complexification admits the maximum number of deck transformations, we first classify holomorphically its quadratic CR singularity. We then study its transformation to a normal form under the action of local (possibly formal) biholomorphisms at the singularity. We first conjugate formally its associated reversible map $σ$ to suitable normal forms and show that all these normal forms can be divergent. We then construct a uniq…
We study a germ of real analytic n-dimensional submanifold of C n that has a complex tangent space of maximal dimension at a CR singularity. Under some assumptions , we show its equivalence to a normal form under a local biholomorphism at the singularity. We also show that if a real submanifold is formally equivalent to a quadric, it is actually holomorphically equivalent to it, if a small divisors condition is satisfied. Finally, we investigate the existence of a complex submanifold of positive dimension in C n that intersects a real submanifold along two totally and real analytic submanifold…
We prove that for each characteristic direction $[v]$ of a tangent to the identity diffeomorphism of order $k+1$ in $\mathbb{C}^2$ there exist either an analytic curve of fixed points tangent to $[v]$ or $k$ parabolic manifolds where all the orbits are tangent to $[v]$, and that at least one of these parabolic manifolds is or contains a parabolic curve.
We study boundary singularities which can appear for infinitesimal generators of one-parameter semigroups of holomorphic self-maps in the unit disc. We introduce "regular" fractional singularities and characterize them in terms of the behavior of the associated semigroups and Koenigs functions. We also provide necessary and sufficient geometric criteria on the shape of the image of the Koenigs function for having such singularities. In order to do this, we study contact points of semigroups and prove that any contact (not fixed) point of a one-parameter semigroup corresponds to a maximal arc o…
We study holomorphic foliations of aribitrary codimension in smooth complete toric varieties. We show that split foliations are stable if some good behaviour of their singular set is provided. As an application of these results, we exhibit irreducible components of the space of foliations that arise as pullbacks of some special T-invariant divisors.