Source author record

Ilya Kossovskiy

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CV math.DS math.DG math.CA

Catalog footprint

Research overview

11works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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

Regularity of CR-mappings into Levi-degenerate hypersurfaces

We provide regularity results for CR-maps between real hypersurfaces in complex spaces of different dimension with a Levi-degenerate target. We address both the real-analytic and the smooth case. Our results allow immediate applications to the study of proper holomorphic maps between Bounded Symmetric Domains.

preprint2017arXiv

Normal form for second order differential equations

We solve the local equivalence problem for second order (smooth or analytic) ordinary differential equations. We do so by presenting a {\em complete convergent normal form} for this class of ODEs. The normal form is optimal in the sense that it is defined up to the automorphism group of the model (flat) ODE $y"=0$ . For a generic ODE, we also provide a unique normal form. By doing so, we give a solution to a problem which remained unsolved since the work of Arnold. The method can be immediately applied to important classes of second order ODEs, in particular, the Painlevé equations. As another application of the convergent normal form, we discover distinguished curves associated with a differential equation that we call {\em chains}.

preprint2016arXiv

Normal forms in Cauchy-Riemann Geometry: a survey

One of effective ways to solve the equivalence problem and describe moduli spaces for real submanifolds in complex space is the normal form approach. In this survey, we outline some normal form constructions in CR-geometry and formulate a number of open problems.

preprint2016arXiv

On the embeddability of real hypersurfaces into hyperquadrics

In this paper, we provide {\em effective} results on the non-embeddability of real-analytic hypersurfaces into a hyperquadric. We show that, for any $N >n \geq 1$ , the defining functions $φ(z,\bar z,u)$ of all real-analytic hypersurfaces $M=\{v=φ(z,\bar z,u)\}\subset\mathbb C^{n+1}$ containing Levi-nondegenerate points and locally transversally holomorphically embeddable into some hyperquadric $\mathcal Q\subset\mathbb C^{N+1}$ satisfy an {\em universal} algebraic partial differential equation $D(φ)=0$ , where the algebraic-differential operator $D=D(n,N)$ depends on $n, N$ only. To the best of our knowledge, this is the first effective result characterizing real-analytic hypersurfaces embeddable into a hyperquadric of higher dimension. As an application, we show that for every $n,N$ as above there exists $μ=μ(n,N)$ such that a Zariski generic real-analytic hypersurface $M\subset\mathbb C^{n+1}$ of degree $\geq μ$ is not transversally holomorphically embeddable into any hyperquadric $\mathcal Q\subset\mathbb C^{N+1}$ . We also provide an explicit upper bound for $μ$ in terms of $n,N$ . To the best of our knowledge, this gives the first effective lower bound for the CR-complexity of a Zariski generic real-algebraic hypersurface in complex space of a fixed degree.

preprint2016arXiv

Sphericity of a real hypersurface via projective geometry

In this work, we obtain an unexpected geometric characterization of sphericity of a real-analytic Levi-nondegenerate hypersurface $M\subset\mathbb C^{2}$ . We prove that $M$ is spherical if and only if its Segre\,(-Webster) varieties satisfy an elementary combinatorial property, identical to a property of straight lines on the plane and known in Projective Geometry as the {\em Desargues Theorem}.

preprint2015arXiv

Convergent normal form and canonical connection for hypersurfaces of finite type in $\mathbb C^2$

We study the holomorphic equivalence problem for finite type hypersurfaces in $\mathbb C^2$ . We discover a geometric condition, which is sufficient for the existence of a natural convergent normal form for a finite type hypersurface. We also provide an explicit construction of such a normal form. As an application, we construct a canonical connection for a large class of finite type hypersurfaces. To the best of our knowledge, this gives the first construction of an invariant connection for Levi-degenerate hypersurfaces in $\mathbb C^2$ .

preprint2015arXiv

New extension phenomena for solutions of tangential Cauchy\,-\,Riemann Equations

In our recent work [25] we showed that $C^\infty$ CR-diffeomorphisms of real-analytic Levi-nonflat hypersurfaces in $\mathbb C^{2}$ are not analytic in general. This result raised again the question on the nature of CR-maps of real-analytic hypersurfaces. In this paper, we give a complete picture of what CR-maps actually are. First, we discover an analytic continuation phenomenon for CR-diffeomorphisms which we call the {\em sectorial analyticity property}. It appears to be the optimal regularity property for CR-diffeomorphisms in general. We emphasize that such type of extension never appeared previously in the literature. Second, we introduce the class of {\em Fuchsian type hypersurfaces} and prove that (infinitesimal generators of) CR-automorphisms of a Fuchsian type hypersurface are still analytic. In particular, this solves a problem formulated in [28]. Finally, we prove a regularity result for {\em formal} CR-automorphisms of Fuchsian type hypersurfaces.

preprint2014arXiv

Analytic Differential Equations and Spherical Real Hypersurfaces

We establish an injective correspondence $M\longrightarrow\mathcal E(M)$ between real-analytic nonminimal hypersurfaces $M\subset\mathbb{C}^{2}$ , spherical at a generic point, and a class of second order complex ODEs with a meromorphic singularity. We apply this result to the proof of the bound $\mbox{dim}\,\mathfrak{hol}(M,p)\leq 5$ for the infinitesimal automorphism algebra of an \it arbitrary \rm germ $(M,p)\not\sim(S^3,p')$ of a real-analytic Levi nonflat hypersurface $M\subset\mathbb{C}^2$ (the Dimension Conjecture). This bound gives the first proof of the dimension gap $\mbox{dim}\,\mathfrak{hol}(M,p)=\{8,5,4,3,2,1,0\}$ for the dimension of the automorphism algebra of a real-analytic Levi nonflat hypersurface. As another application we obtain a new regularity condition for CR-mappings of nonminimal hypersurfaces, that we call \it Fuchsian type, \rm and prove its optimality for extension of CR-mappings to nonminimal points. \\ We also obtain an existence theorem for solutions of a class of singular complex ODEs (Theorem 3.5).

preprint2014arXiv

Convergent normal form for real hypersurfaces at generic Levi degeneracy

We construct a complete convergent normal form for a real hypersurface in $\CC{N},\,N\geq 2$ at generic Levi degeneracy. This seems to be the first convergent normal form for a Levi-degenerate hypersurface. In particular, we obtain, in the spirit of the work of Chern and Moser \cite{chern}, distinguished curves in the Levi degeneracy set, that we call \it degenerate chains.

preprint2014arXiv

On the analyticity of CR-diffeomorphisms

In any positive CR-dimension and CR-codimension we provide a construction of real-analytic holomorphically nondegenerate CR-submanifolds, which are $C^\infty$ CR-equivalent, but are inequivalent holomorphically. As a corollary, we provide the negative answer to the conjecture of Ebenfelt and Huang \cite{eh} on the analyticity of CR-equivalences between real-analytic Levi nonflat hypersurfaces in dimension 2.

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.

Ilya Kossovskiy

Research overview

Is this your work?

11 publications

Equivalence of Cauchy-Riemann manifolds and multisummability theory

Regularity of CR-mappings into Levi-degenerate hypersurfaces

Normal form for second order differential equations

Normal forms in Cauchy-Riemann Geometry: a survey

On the embeddability of real hypersurfaces into hyperquadrics

Sphericity of a real hypersurface via projective geometry

Convergent normal form and canonical connection for hypersurfaces of finite type in $\mathbb C^2$

New extension phenomena for solutions of tangential Cauchy\,-\,Riemann Equations

Analytic Differential Equations and Spherical Real Hypersurfaces

Convergent normal form for real hypersurfaces at generic Levi degeneracy

On the analyticity of CR-diffeomorphisms

See the researcher in context

Building this map preview

Ilya Kossovskiy

Research overview

Is this your work?

11 publications

Equivalence of Cauchy-Riemann manifolds and multisummability theory

Regularity of CR-mappings into Levi-degenerate hypersurfaces

Normal form for second order differential equations

Normal forms in Cauchy-Riemann Geometry: a survey

On the embeddability of real hypersurfaces into hyperquadrics

Sphericity of a real hypersurface via projective geometry

Convergent normal form and canonical connection for hypersurfaces of finite type in C2\mathbb C^2C2

New extension phenomena for solutions of tangential Cauchy\,-\,Riemann Equations

Analytic Differential Equations and Spherical Real Hypersurfaces

Convergent normal form for real hypersurfaces at generic Levi degeneracy

On the analyticity of CR-diffeomorphisms

See the researcher in context

Building this map preview

Convergent normal form and canonical connection for hypersurfaces of finite type in $\mathbb C^2$