Source author record

Laurent Stolovitch

Laurent Stolovitch appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

18works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2022arXiv

Geometry of hyperbolic Cauchy-Riemann singularities and KAM-like theory for holomorphic involutions

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.

preprint2022arXiv

On linearization of biholomorphism with non-semi-simple linear part at a fixed point

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.

preprint2022arXiv

Reversible parabolic diffeomorphisms of $(\mathbb{C}^2,0)$ and exceptional hyperbolic CR-singularities

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$.

preprint2021arXiv

About linearization of infinite-dimensional Hamiltonian systems

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.

preprint2020arXiv

Complete integrability of diffeomorphisms and their local normal forms

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).

preprint2020arXiv

Equivalence of Cauchy-Riemann manifolds and multisummability theory

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.

preprint2020arXiv

Equivalence of Neighborhoods of Embedded Compact Complex Manifolds and Higher Codimension Foliations

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.

preprint2019arXiv

Convergence to normal forms of integrable PDEs

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.

preprint2016arXiv

Family of intersecting totally real manifolds of $(C^n ,0)$ and germs of holomorphic diffeomorphisms

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.

preprint2016arXiv

Holomorphic normal form of nonlinear perturbations of nilpotent vector fields

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.

preprint2016arXiv

Real submanifolds of maximum complex tangent space at a CR singular point, I

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.

preprint2016arXiv

Real submanifolds of maximum complex tangent space at a CR singular point, II

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.

preprint2015arXiv

Quantum singular complete integrability

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.

preprint2014arXiv

Big denominators and analytic normal forms with an appendix by M. Zhitomirskii

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.

preprint2014arXiv

Real submanifolds of maximum complex tangent space at a CR singular point

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}.

preprint2014arXiv

Smooth Gevrey normal forms of vector fields near a fixed point

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.

preprint2012arXiv

Existence of quasipatterns solutions of the Swift-Hohenberg equation

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.