-
Local rigidity of group actions of isometries on compact Riemannian manifolds
Authors:
Laurent Stolovitch,
Zhiyan Zhao
Abstract:
In this article, we consider perturbations of isometries on a compact Riemannian manifold $M$. We investigate the smooth (resp. analytic) rigidity phenomenon of groups of these isometries. As a particular case, we prove that if a finite family of smooth (resp. analytic) small enough perturbations is simultaneously conjugate to the family of isometries via a finitely smooth diffeomorphism, then it…
▽ More
In this article, we consider perturbations of isometries on a compact Riemannian manifold $M$. We investigate the smooth (resp. analytic) rigidity phenomenon of groups of these isometries. As a particular case, we prove that if a finite family of smooth (resp. analytic) small enough perturbations is simultaneously conjugate to the family of isometries via a finitely smooth diffeomorphism, then it is simultaneously smoothly (resp. analytically) conjugate to it whenever the family of isometries satisfies a Diophantine condition. Our results generalize the rigidity theorems of Arnold, Herman, Yoccoz, Moser, etc. about circle diffeomorphisms which are small perturbations of rotations as well as Fisher-Margulis's theorem on group actions satisfying Kazhdan's property (T).
△ Less
Submitted 9 May, 2025;
originally announced May 2025.
-
On neighborhoods of projective space bundles over elliptic curves
Authors:
Takayuki Koike,
Laurent Stolovitch
Abstract:
We give conditions ensuring that a neighborhood of an embedded projective space bundle over an elliptic curve is holomorphically equivalent to a neighborhood of the zero section of its normal bundle.
We give conditions ensuring that a neighborhood of an embedded projective space bundle over an elliptic curve is holomorphically equivalent to a neighborhood of the zero section of its normal bundle.
△ Less
Submitted 20 January, 2025;
originally announced January 2025.
-
Ueda foliation problem for complex tori
Authors:
Laurent Stolovitch,
Xiaojun Wu
Abstract:
We consider an embedded general complex torus $C_n$ into a complex manifold $M_{n+d}$ with a unitary flat normal bundle $N_C$. We show the existence of (non-singular) holomorphic foliation in a neighborhood of $C$ in $M$ having $C$ as leaf under some conditions.
We consider an embedded general complex torus $C_n$ into a complex manifold $M_{n+d}$ with a unitary flat normal bundle $N_C$. We show the existence of (non-singular) holomorphic foliation in a neighborhood of $C$ in $M$ having $C$ as leaf under some conditions.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
Local rigidity of actions of isometries on compact real analytic Riemannian manifolds
Authors:
Laurent Stolovitch,
Zhiyan Zhao
Abstract:
In this article, we consider analytic perturbations of isometries of an analytic Riemannian manifold M. We prove that, under some conditions, a finitely presented group of such small enough perturbations is analytically conjugate on M to the same group of isometry it is a perturbation of. Our result relies on a "Diophantine-like" condition, relating the actions of the isometry group and the eigenv…
▽ More
In this article, we consider analytic perturbations of isometries of an analytic Riemannian manifold M. We prove that, under some conditions, a finitely presented group of such small enough perturbations is analytically conjugate on M to the same group of isometry it is a perturbation of. Our result relies on a "Diophantine-like" condition, relating the actions of the isometry group and the eigenvalues of the Laplace-Beltrami operator. Our result generalizes Arnold-Herman's theorem about diffemorphisms of the circle that are small perturbations of rotations.
△ Less
Submitted 22 January, 2024; v1 submitted 12 December, 2023;
originally announced December 2023.
-
A structure theorem for neighborhoods of compact complex manifolds
Authors:
Xianghong Gong,
Laurent Stolovitch
Abstract:
We construct an injective map from the set of holomorphic equivalence classes of neighborhoods $M$ of a compact complex manifold $C$ into ${\mathbb C}^m$ for some $m<\infty$ when $(TM)|_C$ is fixed and the normal bundle of $C$ in $M$ is either weakly negative or $2$-positive.
We construct an injective map from the set of holomorphic equivalence classes of neighborhoods $M$ of a compact complex manifold $C$ into ${\mathbb C}^m$ for some $m<\infty$ when $(TM)|_C$ is fixed and the normal bundle of $C$ in $M$ is either weakly negative or $2$-positive.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
On linearization of biholomorphism with non-semi-simple linear part at a fixed point
Authors:
Yue MI,
Laurent Stolovitch
Abstract:
We prove the holomorphic linearizability of germs of biholomorphisms of (C n , 0), fixing the origin, point at which the linear part has nontrivial Jordan blocks under the following assumptions : We first assume the eigenvalues are of modulus less or equal than 1, and that they are non-resonant. We also assume that they satisfied not only a classical Diophantine condition but also new Diophantine-…
▽ More
We prove the holomorphic linearizability of germs of biholomorphisms of (C n , 0), fixing the origin, point at which the linear part has nontrivial Jordan blocks under the following assumptions : We first assume the eigenvalues are of modulus less or equal than 1, and that they are non-resonant. We also assume that they satisfied not only a classical Diophantine condition but also new Diophantine-like conditions related to quasi-resonance phenomena.
△ Less
Submitted 18 July, 2022;
originally announced July 2022.
-
On neighborhoods of embedded complex tori
Authors:
Xianghong Gong,
Laurent Stolovitch
Abstract:
The goal of the article is to show that an n-dimensional complex torus embedded in a complex manifold of dimensional n+d, with a split tangent bundle, has neighborhood biholomorphic a neighborhood of the zero section in its normal bundle, provided the latter has (locally constant) Hermitian transition functions and satisfies a non-resonant Diophantine condition.
The goal of the article is to show that an n-dimensional complex torus embedded in a complex manifold of dimensional n+d, with a split tangent bundle, has neighborhood biholomorphic a neighborhood of the zero section in its normal bundle, provided the latter has (locally constant) Hermitian transition functions and satisfies a non-resonant Diophantine condition.
△ Less
Submitted 14 June, 2022;
originally announced June 2022.
-
Reversible parabolic diffeomorphisms of $(\mathbb{C}^2,0)$ and exceptional hyperbolic CR-singularities
Authors:
Martin Klimeš,
Laurent Stolovitch
Abstract:
The aim of this article is twofold: First we study holomorphic germs of parabolic diffeomorphisms of $(\mathbb{C}^2,0)$ that are reversed by a holomorphic reflection and posses an analytic first integral with non-degenerate critical point at the origin. We find a canonical formal normal form and provide a complete analytic classification (in formal generic cases) in terms of a collection of functi…
▽ More
The aim of this article is twofold: First we study holomorphic germs of parabolic diffeomorphisms of $(\mathbb{C}^2,0)$ that are reversed by a holomorphic reflection and posses an analytic first integral with non-degenerate critical point at the origin. We find a canonical formal normal form and provide a complete analytic classification (in formal generic cases) in terms of a collection of functional invariants. Their restriction to an irreductible component of the zero locus of the first integral reduces to the Birkhoff--Écalle--Voronin modulus of the 1-dimensional restricted parabolic germ.
We then generalize this classification also to germs of anti-holomorphic diffeomorphisms of $(\mathbb{C}^2,0)$ whose square iterate is of the above form.
Related to it, we solve the problem of both formal and analytic classification of germs of real analytic surfaces in $\mathbb{C}^2$ with non-degenerate CR singularities of exceptional hyperbolic type, under the assumption that the surface is holomorphically flat, i.e. that it can be locally holomorphically embedded in a real hyperplane of $\mathbb{C}^2$.
△ Less
Submitted 20 April, 2022;
originally announced April 2022.
-
Geometry of hyperbolic Cauchy-Riemann singularities and KAM-like theory for holomorphic involutions
Authors:
Laurent Stolovitch,
Zhiyan Zhao
Abstract:
This article is concerned with the geometry of germs of real analytic surfaces in $(\mathbb{C}^2,0)$ having an isolated Cauchy-Riemann (CR) singularity at the origin. These are perturbations of {\it Bishop quadrics}. There are two kinds of CR singularities stable under perturbation~: {\it elliptic} and {\it hyperbolic}. Elliptic case was studied by Moser-Webster \cite{moser-webster} who showed tha…
▽ More
This article is concerned with the geometry of germs of real analytic surfaces in $(\mathbb{C}^2,0)$ having an isolated Cauchy-Riemann (CR) singularity at the origin. These are perturbations of {\it Bishop quadrics}. There are two kinds of CR singularities stable under perturbation~: {\it elliptic} and {\it hyperbolic}. Elliptic case was studied by Moser-Webster \cite{moser-webster} who showed that such a surface is locally, near the CR singularity, holomorphically equivalent to {\it normal form} from which lots of geometric features can be read off.
In this article we focus on perturbations of {\it hyperbolic} quadrics. As was shown by Moser-Webster \cite{moser-webster}, such a surface can be transformed to a formal {\it normal form} by a formal change of coordinates that may not be holomorphic in any neighborhood of the origin.
Given a {\it non-degenerate} real analytic surface $M$ in $(\mathbb{C}^2,0)$ having a {\it hyperbolic} CR singularity at the origin, we prove the existence of a non-constant Whitney smooth family of connected holomorphic curves intersecting $M$ along holomorphic hyperbolas. This is the very first result concerning hyperbolic CR singularity not equivalent to quadrics.
This is a consequence of a non-standard KAM-like theorem for pair of germs of holomorphic involutions $\{τ_1,τ_2\}$ at the origin, a common fixed point. We show that such a pair has large amount of invariant analytic sets biholomorphic to $\{z_1z_2=const\}$ (which is not a torus) in a neighborhood of the origin, and that they are conjugate to restrictions of linear maps on such invariant sets.
△ Less
Submitted 28 March, 2022;
originally announced March 2022.
-
About linearization of infinite-dimensional Hamiltonian systems
Authors:
Michela Procesi,
Laurent Stolovitch
Abstract:
This article is concerned with analytic Hamiltonian dynamical systems in infinite dimension in a neighborhood of an elliptic fixed point. Given a quadratic Hamiltonian, we consider the set of its analytic higher order perturbations. We first define the subset of elements which are formally symplectically conjugacted to a (formal) Birkhoff normal form. We prove that if the quadratic Hamiltonian sat…
▽ More
This article is concerned with analytic Hamiltonian dynamical systems in infinite dimension in a neighborhood of an elliptic fixed point. Given a quadratic Hamiltonian, we consider the set of its analytic higher order perturbations. We first define the subset of elements which are formally symplectically conjugacted to a (formal) Birkhoff normal form. We prove that if the quadratic Hamiltonian satisfies a Diophantine-like condition and if such a perturbation is formally symplectically conjugated to the quadratic Hamiltonian, then it is also analytically symplectically conjugated to it. Of course what is an analytic symplectic change of variables depends strongly on the choice of the phase space. Here we work on periodic functions with Gevrey regularity.
△ Less
Submitted 30 July, 2021;
originally announced August 2021.
-
Complete integrability of diffeomorphisms and their local normal forms
Authors:
Kai Jiang,
Laurent Stolovitch
Abstract:
In this paper, we consider the normal form problem of a commutative family of germs of diffeomorphisms at a fixed point, say the origin, of $\mathbb{K}^n$ ($\mathbb{K}=\mathbb{C}$ or $\mathbb{R}$). We define a notion of integrability of such a family. We give sufficient conditions which ensure that such an integrable family can be transformed into a normal form by an analytic (resp. a smooth) tran…
▽ More
In this paper, we consider the normal form problem of a commutative family of germs of diffeomorphisms at a fixed point, say the origin, of $\mathbb{K}^n$ ($\mathbb{K}=\mathbb{C}$ or $\mathbb{R}$). We define a notion of integrability of such a family. We give sufficient conditions which ensure that such an integrable family can be transformed into a normal form by an analytic (resp. a smooth) transformation if the initial diffeomorphisms are analytic (resp. smooth).
△ Less
Submitted 21 July, 2020;
originally announced July 2020.
-
Equivalence of Neighborhoods of Embedded Compact Complex Manifolds and Higher Codimension Foliations
Authors:
Xianghong Gong,
Laurent Stolovitch
Abstract:
We consider an embedded $n$-dimensional compact complex manifold in $n+d$ dimensional complex manifolds. We are interested in the holomorphic classification of neighborhoods as part of Grauert's formal principle program. We will give conditions ensuring that a neighborhood of $C_n$ in $M_{n+d}$ is biholomorphic to a neighborhood of the zero section of its normal bundle. This extends Arnold's resul…
▽ More
We consider an embedded $n$-dimensional compact complex manifold in $n+d$ dimensional complex manifolds. We are interested in the holomorphic classification of neighborhoods as part of Grauert's formal principle program. We will give conditions ensuring that a neighborhood of $C_n$ in $M_{n+d}$ is biholomorphic to a neighborhood of the zero section of its normal bundle. This extends Arnold's result about neighborhoods of a complex torus in a surface. We also prove the existence of a holomorphic foliation in $M_{n+d }$ having $C_n$ as a compact leaf, extending Ueda's theory to the high codimension case. Both problems appear as a kind linearization problem involving small divisors condition arising from solutions to their cohomological equations.
△ Less
Submitted 10 July, 2020;
originally announced July 2020.
-
Convergence to normal forms of integrable PDEs
Authors:
Dario Bambusi,
Laurent Stolovitch
Abstract:
In an infinite dimensional Hilbert space we consider a family of commuting analytic vector fields vanishing at the origin and which are nonlinear perturbations of some fundamental linear vector fields. We prove that one can construct by the method of Poincaré normal form a local analytic coordinate transformation near the origin transforming the family into a normal form. The result applies to the…
▽ More
In an infinite dimensional Hilbert space we consider a family of commuting analytic vector fields vanishing at the origin and which are nonlinear perturbations of some fundamental linear vector fields. We prove that one can construct by the method of Poincaré normal form a local analytic coordinate transformation near the origin transforming the family into a normal form. The result applies to the KdV and NLS equations and to the Toda lattice with periodic boundary conditions. One gets existence of Birkhoff coordinates in a neighbourhood of the origin. The proof is obtained by directly estimating, in an iterative way, the terms of the Poincaré normal form and of the transformation to it, through a rapid convergence algorithm.
△ Less
Submitted 27 March, 2019;
originally announced March 2019.
-
Convergence of the Chern-Moser-Beloshapka normal forms
Authors:
Bernhard Lamel,
Laurent Stolovitch
Abstract:
In this article, we first describe a normal form of real-analytic, Levi-nondegenerate submanifolds of $C^N$ of codimension d $\ge$ 1 under the action of formal biholomorphisms, that is, of perturbations of Levi-nondegenerate hyperquadrics. We give a sufficient condition on the formal normal form that ensures that the normalizing transformation to this normal form is holomorphic. We show that our t…
▽ More
In this article, we first describe a normal form of real-analytic, Levi-nondegenerate submanifolds of $C^N$ of codimension d $\ge$ 1 under the action of formal biholomorphisms, that is, of perturbations of Levi-nondegenerate hyperquadrics. We give a sufficient condition on the formal normal form that ensures that the normalizing transformation to this normal form is holomorphic. We show that our techniques can be adapted in the case d = 1 in order to obtain a new and direct proof of Chern-Moser normal form theorem.
△ Less
Submitted 11 May, 2017;
originally announced May 2017.
-
Equivalence of Cauchy-Riemann manifolds and multisummability theory
Authors:
Ilya Kossovskiy,
Bernhard Lamel,
Laurent Stolovitch
Abstract:
We prove that if two real-analytic hypersurfaces in $\mathbb C^2$ are equivalent formally, then they are also $C^\infty$ CR-equivalent at the respective point. As a corollary, we prove that all formal equivalences between real-algebraic Levi-nonflat hypersurfaces in $\mathbb C^2$ are algebraic (in particular are convergent). The result is obtained by using the recent {\em CR - DS technique}, conne…
▽ More
We prove that if two real-analytic hypersurfaces in $\mathbb C^2$ are equivalent formally, then they are also $C^\infty$ CR-equivalent at the respective point. As a corollary, we prove that all formal equivalences between real-algebraic Levi-nonflat hypersurfaces in $\mathbb C^2$ are algebraic (in particular are convergent). The result is obtained by using the recent {\em CR - DS technique}, connecting degenerate CR-manifolds and Dynamical Systems, and employing subsequently the {\em multisummability theory} of divergent power series used in the Dynamical Systems theory.
△ Less
Submitted 25 April, 2020; v1 submitted 15 December, 2016;
originally announced December 2016.
-
Real submanifolds of maximum complex tangent space at a CR singular point, II
Authors:
Xianghong Gong,
Laurent Stolovitch
Abstract:
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) bi…
▽ More
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 unique formal normal form under a non degeneracy condition.
△ Less
Submitted 11 October, 2016;
originally announced October 2016.
-
Holomorphic normal form of nonlinear perturbations of nilpotent vector fields
Authors:
Laurent Stolovitch,
Freek Verstringe
Abstract:
We consider germs of holomorphic vector fields at a fixed point having a nilpotent linear part at that point, in dimension $n \geq 3$. Based on Belitskii's work, we know that such a vector field is formally conjugate to a (formal) normal form. We give a condition on that normal form which ensure that the normalizing transformation is holomorphic at the fixed point. We shall show that this sufficie…
▽ More
We consider germs of holomorphic vector fields at a fixed point having a nilpotent linear part at that point, in dimension $n \geq 3$. Based on Belitskii's work, we know that such a vector field is formally conjugate to a (formal) normal form. We give a condition on that normal form which ensure that the normalizing transformation is holomorphic at the fixed point. We shall show that this sufficient condition is a nilpotent version of Bruno's condition (A). In dimension 2, no condition is required since, according to Str{ó}zyna- Zoladek, each such germ is holomorphically conjugate to a Takens normal form. Our proof is based on Newton's method and $\frak{sl}\_2(\Bbb C)$-representations.
△ Less
Submitted 23 June, 2016;
originally announced June 2016.
-
Family of intersecting totally real manifolds of $(C^n ,0)$ and germs of holomorphic diffeomorphisms
Authors:
Laurent Stolovitch
Abstract:
We prove the existence (and give a characterization) of a germ of complex analytic set left invariant by an abelian group of germs of holomorphic diffeomorphisms at a common fixed point.We also give condition that ensure that such a group can be linearized holomorphically near the fixed point. It rests on a "small divisors condition" of the family of linear parts. The second part of this article i…
▽ More
We prove the existence (and give a characterization) of a germ of complex analytic set left invariant by an abelian group of germs of holomorphic diffeomorphisms at a common fixed point.We also give condition that ensure that such a group can be linearized holomorphically near the fixed point. It rests on a "small divisors condition" of the family of linear parts. The second part of this article is devoted to the study families of totally real intersecting n-submanifolds of (C n , 0). We give some conditions which allow to straighten holomorphically the family. If this is not possible to do it formally, we construct a germ of complex analytic set at the origin which interesection with the family can be holomorphically straightened. The second part is an application of the first.
△ Less
Submitted 8 March, 2016;
originally announced March 2016.
-
Real submanifolds of maximum complex tangent space at a CR singular point, I
Authors:
Xianghong Gong,
Laurent Stolovitch
Abstract:
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 divisor…
▽ More
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 submanifolds that intersect transversally at a possibly non-isolated CR singularity.
△ Less
Submitted 26 February, 2016;
originally announced February 2016.
-
Real submanifolds of maximum complex tangent space at a CR singular point
Authors:
Xianghong Gong,
Laurent Stolovitch
Abstract:
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 form…
▽ More
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 linear part of $σ$ at the singularity, that the real submanifold is holomorphically equivalent to an analytic normal form. 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 prove that, in general, there exists a complex submanifold of positive dimension in ${\mathbf C}^n$ that intersects a real submanifold along two totally and real analytic submanifolds that intersect transversally at a CR singularity of the {\it complex type}.
△ Less
Submitted 5 June, 2014;
originally announced June 2014.
-
Quantum singular complete integrability
Authors:
Thierry Paul,
Laurent Stolovitch
Abstract:
We consider some perturbations of a family of pairwise commuting linear quantum Hamiltonians on the torus with possibly dense pure point spectra. We prove that the Rayleigh-Schr{ö}dinger perturbation series converge near each unperturbed eigenvalue under the form of a convergent quantum Birkhoff normal form. Moreover the family is jointly diagonalised by a common unitary operator explicitly constr…
▽ More
We consider some perturbations of a family of pairwise commuting linear quantum Hamiltonians on the torus with possibly dense pure point spectra. We prove that the Rayleigh-Schr{ö}dinger perturbation series converge near each unperturbed eigenvalue under the form of a convergent quantum Birkhoff normal form. Moreover the family is jointly diagonalised by a common unitary operator explicitly constructed by a Newton type algorithm. This leads to the fact that the spectra of the family remain pure point. The results are uniform in the Planck constant near $\hbar= 0$. The unperturbed frequencies satisfy a small divisors condition %(Bruno type condition (including the Diophantine case) and we explicitly estimate how this condition can be released when the family tends to the unperturbed one.
△ Less
Submitted 23 June, 2015; v1 submitted 12 February, 2014;
originally announced February 2014.
-
Smooth Gevrey normal forms of vector fields near a fixed point
Authors:
Laurent Stolovitch
Abstract:
We study germs of smooth vector fields in a neighborhood of a fixed point having an hyperbolic linear part at this point. It is well known that the "small divisors" are invisible either for the smooth linearization or normal form problem. We prove that this is completely different in the smooth Gevrey category. We prove that a germ of smooth $\al$-Gevrey vector field with an hyperbolic linear part…
▽ More
We study germs of smooth vector fields in a neighborhood of a fixed point having an hyperbolic linear part at this point. It is well known that the "small divisors" are invisible either for the smooth linearization or normal form problem. We prove that this is completely different in the smooth Gevrey category. We prove that a germ of smooth $\al$-Gevrey vector field with an hyperbolic linear part admits a smooth $\be$-Gevrey transformation to a smooth $\be$-Gevrey normal form. The Gevrey order $\be$ depends on the rate of accumulation to $0$ of the small divisors. We show that a formally linearizable Gevrey smooth germ with the linear part satisfies Brjuno's small divisors condition can be linearized in the same Gevrey class.
△ Less
Submitted 8 January, 2014;
originally announced January 2014.
-
Big denominators and analytic normal forms with an appendix by M. Zhitomirskii
Authors:
Laurent Stolovitch
Abstract:
We study the {\it regular} action of an analytic pseudo-group of transformations on the space of germs of various analytic objects of local analysis and local differential geometry. We fix a homogeneous object $F_0$ and we are interested in an analytic normal form for the whole affine space $\{F_0 + h.o.t.\}$. We prove that if the cohomological operator defined by $F_0$ has the big denominators pr…
▽ More
We study the {\it regular} action of an analytic pseudo-group of transformations on the space of germs of various analytic objects of local analysis and local differential geometry. We fix a homogeneous object $F_0$ and we are interested in an analytic normal form for the whole affine space $\{F_0 + h.o.t.\}$. We prove that if the cohomological operator defined by $F_0$ has the big denominators property and if a formal normal form is well chosen then this formal normal form holds in analytic category. We also define big denominators in systems of nonlinear PDEs and prove a theorem on local analytic solvability of systems of nonlinear PDEs with big denominators. %This theorem, which a priori has nothing to do with local classification problems,generalizes the theorem on analytic normal forms. Moreover, we prove that if the denominators grow "relatively fast", but not fast enough to satisfy the big denominator property, then we have a normal form, respectively local solvability of PDEs, in a formal Gevrey category. We illustrate our theorems by explanation of known results and by new results in the problems of local classification of singularities of vector fields, non-isolated singularities of functions, tuples of germs of vector fields, local Riemannian metrics and conformal structures.
△ Less
Submitted 8 January, 2014;
originally announced January 2014.
-
Existence of quasipatterns solutions of the Swift-Hohenberg equation
Authors:
Boele Braaksma,
Gérard Iooss,
Laurent Stolovitch
Abstract:
We consider the steady Swift - Hohenberg partial differential equation. It is a one-parameter family of PDE on the plane, modeling for example Rayleigh - Bénard convection. For values of the parameter near its critical value, we look for small solutions, quasiperiodic in all directions of the plane and which are invariant under rotations of angle π/q, q\geq 4. We solve an unusual small divisor pro…
▽ More
We consider the steady Swift - Hohenberg partial differential equation. It is a one-parameter family of PDE on the plane, modeling for example Rayleigh - Bénard convection. For values of the parameter near its critical value, we look for small solutions, quasiperiodic in all directions of the plane and which are invariant under rotations of angle π/q, q\geq 4. We solve an unusual small divisor problem, and prove the existence of solutions for small parameter values.
△ Less
Submitted 21 November, 2012;
originally announced November 2012.
-
Small divisors and large multipliers
Authors:
B. Braaksma,
L. Stolovitch
Abstract:
We study germs of singular holomorphic vector fields at the origin of $\Bbb C^n$ of which the linear part is 1-resonant and which have a polynomial normal form. The formal normalizing diffeomorphism is usually divergent at the origin but there exists holomorphic diffeomorphisms in some "sectorial domains" which transform these vector fields into their normal form. In this article, we study the i…
▽ More
We study germs of singular holomorphic vector fields at the origin of $\Bbb C^n$ of which the linear part is 1-resonant and which have a polynomial normal form. The formal normalizing diffeomorphism is usually divergent at the origin but there exists holomorphic diffeomorphisms in some "sectorial domains" which transform these vector fields into their normal form. In this article, we study the interplay between the small divisors phenomenon and the Gevrey character of the sectorial normalizing diffeomorphisms. We show that the Gevrey ordrer of the latter is linked to the diophantine type of the small divisors.
△ Less
Submitted 30 July, 2006;
originally announced July 2006.
-
Family of intersecting totally real manifolds of $(\Bbb C^n,0)$ and CR-singularities
Authors:
L. Stolovitch
Abstract:
The first part of this article is devoted to the study families of totally real intersecting $n$-submanifolds of $(\Bbb C^n,0)$. We give some conditions which allow to straighten holomorphically the family. If this is not possible to do it formally, we construct a germ of complex analytic set at the origin which interesection with the family can be holomorphically staightened. The second part is…
▽ More
The first part of this article is devoted to the study families of totally real intersecting $n$-submanifolds of $(\Bbb C^n,0)$. We give some conditions which allow to straighten holomorphically the family. If this is not possible to do it formally, we construct a germ of complex analytic set at the origin which interesection with the family can be holomorphically staightened. The second part is devoted to the study real analytic $(n+r)$-submanifolds of $(\Bbb C^n,0)$ having a CR-singularity at the origin ($r$ is a nonnegative integer). We consider deformations of quadrics and we define generalized Bishop invariants. Such a quadric intersects the complex linear manifold ${z_{p+1}=...=z_n=0}$ along some real linear set ${\cal L}$. We study what happens to this intersection when the quadric is analytically perturbed. On the other hand, we show, under some assumptions, that if such a submanifold is formally equivalent to its associated quadric then it is holomorphically equivalent to it.
All these results rely on a result stating the existence (and caracterization) of a germ of complex analytic set left invariant by an abelian group of germs of holomorphic diffeomorphisms (not tangent to the identity at the origin).
△ Less
Submitted 2 June, 2005; v1 submitted 2 June, 2005;
originally announced June 2005.
-
A KAM phenomenon for singular holomorphic vector fields
Authors:
L. Stolovitch
Abstract:
Let $X$ be a germ of holomorphic vector field at the origin of ${\bf C}^n$ and vanishing there. We assume that $X$ is a "nondegenerate" good perturbation of a singular completely integrable system. The latter is associated to a family of linear diagonal vector fields which is assumed to have nontrivial polynomial first integrals. We show that $X$ admits many invariant analytic subsets in a neigh…
▽ More
Let $X$ be a germ of holomorphic vector field at the origin of ${\bf C}^n$ and vanishing there. We assume that $X$ is a "nondegenerate" good perturbation of a singular completely integrable system. The latter is associated to a family of linear diagonal vector fields which is assumed to have nontrivial polynomial first integrals. We show that $X$ admits many invariant analytic subsets in a neighborhood of the origin. These are biholomorphic to the intersection of a polydisc with an analytic set of the form ``resonant monomials = constants". Such a biholomorphism conjugates the restriction of $X$ to one of its invariant varieties to the restriction of a linear diagonal vector field to a toric variety. Moreover, we show that the set of "frequencies" defining the invariant sets is of positive measure.
△ Less
Submitted 1 April, 2005; v1 submitted 31 March, 2005;
originally announced March 2005.
-
Normalisation holomorphe d'algèbres de type Cartan de champs de vecteurs holomorphes singuliers
Authors:
Laurent Stolovitch
Abstract:
We consider a commutative family of holomorphic vector fields in an neighbourhood of a common singular point, say $0\in \Bbb C^n$. Let $\lie g$ be a commutative complex Lie algebra of dimension $l$. Let $λ_1,...,λ_n\in \lie g^*$ and let us set $S(g)=\sum_{i=1}^nλ_i(g)x_i\frac{\partial}{\partial x_i}$. We assume that this Lie morphism is {\bf diophantine} in the sense that a diophantine condition…
▽ More
We consider a commutative family of holomorphic vector fields in an neighbourhood of a common singular point, say $0\in \Bbb C^n$. Let $\lie g$ be a commutative complex Lie algebra of dimension $l$. Let $λ_1,...,λ_n\in \lie g^*$ and let us set $S(g)=\sum_{i=1}^nλ_i(g)x_i\frac{\partial}{\partial x_i}$. We assume that this Lie morphism is {\bf diophantine} in the sense that a diophantine condition $(ω(S))$ is satisfied. Let $X_1$ be a holomorphic vector field in a neighbourhood of $0\in \Bbb C^n$. We assume that its linear part $s$ is regular relatively to $S$, that is belongs to $S(\lie g)$ and has the same formal centralizer as $S$. Let $X_2,..., X_l$ be holomorphic vector fields vanishing at 0 and commuting with $X_1$. Then there exists a formal diffeomorphism of $(\Bbb C^n,0)$ such that the family of vector fields are in {\bf normal form} in these formal coordinates. This means that each element of the family commutes with $s$. We show that, if the normal forms of the $X_i$'s belongs to $\hat {\cal O}_n^S\otimes S(\lie g)$ ($\hat {\cal O}_n^S$ is the ring of formal first integrals of $S$) and their junior parts are free over $\hat {\cal O}_n^S$, then there exists a holomorphic diffeomorphism of $(\Bbb C^n,0)$ which transforms the family into a normal form. The elements of the family, but one, may not have a non-zero linear part at the origin.
△ Less
Submitted 11 February, 2005;
originally announced February 2005.
-
Sur les structures de Poisson singulières
Authors:
Laurent Stolovitch
Abstract:
We are interested in analytic singular Poisson structures with a non zero linear part at the singularity. Using recent work of the author about holomorphic normalization of commutative familly of singular vector fields, we obtain results about normalization of holomorphic Poisson structures.
We are interested in analytic singular Poisson structures with a non zero linear part at the singularity. Using recent work of the author about holomorphic normalization of commutative familly of singular vector fields, we obtain results about normalization of holomorphic Poisson structures.
△ Less
Submitted 19 February, 2004;
originally announced February 2004.
