Showing 1–50 of 57 results for author: Zaitsev, D

Sphericity and Analyticity of a strictly pdeusoconvex hypersurface in low regularity I

Authors: Ilya Kossovskiy, Dmitri Zaitsev

Abstract: In our earlier work \cite{KZ}, we introduced an analytic regularizability theory for smooth strictly pseudoconvex hypersurfaces in complex space. That is, we found a necessary and sufficient condition for a hypersurface to be CR-equivalent to an analytic target. The condition amount to the holomorphic extension property for a smooth function on a totally real submanifold, both the function and the… ▽ More In our earlier work \cite{KZ}, we introduced an analytic regularizability theory for smooth strictly pseudoconvex hypersurfaces in complex space. That is, we found a necessary and sufficient condition for a hypersurface to be CR-equivalent to an analytic target. The condition amount to the holomorphic extension property for a smooth function on a totally real submanifold, both the function and the submanifold being uniquely associated with the given hypersurface. In the present paper, we develop our method further. First, we extend the result in \cite{KZ} to hypersurfaces of finite (possibly low) smoothness. Second, we introduce a new tool for studying CR hypersurfaces in low regularity called {\em regularizing $(0,1)$ sections}. Using the latter key tool, we solve the open problem of checking the {\em sphericity} of a strictly pseudoconvex hypersurface in $\mathbb C^{2}$ in {low regularity}, precisely in the regularity $C^k,\,2\leq k< 7$ which is {\em not} covered by the classical Cartan-Tanaka-Chern-Moser theory. As an application of our theory, we deduce the sphericity of a strictly pseudoconvex hypersurface in $\mathbb C^{2}$ of regularity $C^6$ with vanishing Cartan-Chern CR-curvature. △ Less

Submitted 25 June, 2025; originally announced June 2025.

Tower multitype and global regularity of the $\bar\partial$-Neumann operator

Authors: Dmitri Zaitsev

Abstract: A new approach is given to property $(P_q)$ defined by Catlin for $q=1$ in a global and by Sibony in a local context, subsequently extended by Fu-Straube for $q>1$. This property is known to imply compactness and global regularity in the $\bar\partial$-Neumann problem by a result of Kohn-Nirenberg, as well as condition $R$ by a result of Bell-Ligocka. In particular, we provide a self-contained pro… ▽ More A new approach is given to property $(P_q)$ defined by Catlin for $q=1$ in a global and by Sibony in a local context, subsequently extended by Fu-Straube for $q>1$. This property is known to imply compactness and global regularity in the $\bar\partial$-Neumann problem by a result of Kohn-Nirenberg, as well as condition $R$ by a result of Bell-Ligocka. In particular, we provide a self-contained proof of property $(P_q)$ for pseudoconvex hypersurfaces of finite D'Angelo $q$-type, the case originally studied by Catlin. Moreover, our proof covers more general classes of hypersurfaces inspired by a recent work of Huang-Yin. Proofs are broken down into isolated steps, some of which do not require pseudoconvexity. Our tools include: a new multitype invariant based on distinguished nested sequences of $(1,0)$ subbundles, defined in terms of derivatives of the Levi form; real and complex formal orbits; $k$-jets of functions relative to pairs of formal submanifolds; relative contact orders generalizing the usual contact orders; a new notion of supertangent vector fields having higher than expected relative contact orders; and a formal variant of a result by Diederich-Fornæss arising as a key step in their proof of Kohn's ideal termination in the real-analytic case. △ Less

Submitted 5 May, 2024; originally announced May 2024.

MSC Class: 32W05; 32T25; 32V15; 32V35; 32F10; 35N15

Q-effectiveness for holomorphic subelliptic multipliers

Authors: Dmitri Zaitsev, Sung Yeon Kim

Abstract: We provide a solution to the effectiveness problem in Kohn's algorithm for generating holomorphic subelliptic multipliers for $(0,q)$ forms for arbitrary $q$. As an application, we obtain subelliptic estimates for $(0,q)$ forms with effectively controlled order $ε>0$ (the Sobolev exponent) for domains given by sums of squares of holomorphic functions (J.J. Kohn called them "special domains"). Thes… ▽ More We provide a solution to the effectiveness problem in Kohn's algorithm for generating holomorphic subelliptic multipliers for $(0,q)$ forms for arbitrary $q$. As an application, we obtain subelliptic estimates for $(0,q)$ forms with effectively controlled order $ε>0$ (the Sobolev exponent) for domains given by sums of squares of holomorphic functions (J.J. Kohn called them "special domains"). These domains are of particular interest due to their relation with complex and algebraic geometry. Our methods include triangular resolutions introduced by the authors in their previous work. △ Less

Submitted 30 December, 2021; originally announced December 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:2003.06482

MSC Class: 2010; 32T25; 32T27; 32W05; 32S05; 32S10; 32S45; 32B10; 32V15; 32V35; 32V40

Unique jet determination and extension of germs of CR maps into spheres

Authors: Nordine Mir, Dmitri Zaitsev

Abstract: We provide a new way of simultaneously parametrizing arbitrary local CR maps from real-analytic generic manifolds $M\subset {\mathbb C}^N$ into spheres ${\mathbb S}^{2N'-1}\subset {\mathbb C}^{N'}$ of any dimension. The parametrization is obtained as a composition of universal rational maps with a holomorphic map depending only on $M$. As applications, we obtain rigidity results of different flavo… ▽ More We provide a new way of simultaneously parametrizing arbitrary local CR maps from real-analytic generic manifolds $M\subset {\mathbb C}^N$ into spheres ${\mathbb S}^{2N'-1}\subset {\mathbb C}^{N'}$ of any dimension. The parametrization is obtained as a composition of universal rational maps with a holomorphic map depending only on $M$. As applications, we obtain rigidity results of different flavours such as unique jet determination and global extension of local CR maps. △ Less

Submitted 17 August, 2020; originally announced August 2020.

MSC Class: 32D15; 32V20; 32H02; 32H04; 32H12; 32V25; 32V40

Triangular resolutions and effectiveness for holomorphic subelliptic multipliers

Authors: Sung-Yeon Kim, Dmitri Zaitsev

Abstract: A solution to the effectiveness problem in Kohn's algorithm for generating subelliptic multipliers is provided for domains that include those given by sums of squares of holomorphic functions (also including infinite sums). These domains are of particular interest due to their relation with complex and algebraic geometry and in particular, seem to include all previously known cases. Furthermore, c… ▽ More A solution to the effectiveness problem in Kohn's algorithm for generating subelliptic multipliers is provided for domains that include those given by sums of squares of holomorphic functions (also including infinite sums). These domains are of particular interest due to their relation with complex and algebraic geometry and in particular, seem to include all previously known cases. Furthermore, combined with a recent result of M. Fassina, our effectiveness method allows establishing effective subelliptic estimates for more general classes of domains. Our main new tool, a triangular resolution, is the construction of subelliptic multipliers decomposable as $Q\circΓ$, where $Γ$ is constructed from pre-multipliers and $Q$ is part of a triangular system. The effectiveness is proved via a sequence of newly proposed procedures, called here meta-procedures, built on top of the Kohn's procedures, where the order of subellipticity can be effectively tracked. Important sources of inspiration are algebraic-geometric techniques by Y.-T. Siu and procedures for triangular systems by D.W. Catlin and J.P. D'Angelo. The proposed procedures are purely algebraic and as such can also be of interest for geometric and computational problems involving Jacobian determinants, such as resolving singularities of holomorphic maps. △ Less

Submitted 13 March, 2020; originally announced March 2020.

MSC Class: 32T25; 32T27; 32W05; 32S05; 32S10; 32S45; 32B10; 32V15; 32V35; 32V40

Real-analytic coordinates for smooth strictly pseudoconvex CR-structures

Authors: Ilya Kossovskiy, Dmitri Zaitsev

Abstract: For a smooth strictly pseudoconvex hypersurface in a complex manifold, we give a necessary and sufficient condition for being CR-diffeomorphic to a real-analytic CR manifold. Our condition amounts to a holomorphic extension property for the canonically associated function expressing $2$-jets of the formal Segre varieties in terms of their $1$-jets. We also express this condition in equivalent term… ▽ More For a smooth strictly pseudoconvex hypersurface in a complex manifold, we give a necessary and sufficient condition for being CR-diffeomorphic to a real-analytic CR manifold. Our condition amounts to a holomorphic extension property for the canonically associated function expressing $2$-jets of the formal Segre varieties in terms of their $1$-jets. We also express this condition in equivalent terms for a Fefferman type determinant △ Less

Submitted 24 June, 2019; originally announced June 2019.

MSC Class: 32V05 32V25 32V30 32V40

Sums of squares in pseudoconvex hypersurfaces and torsion phenomena for Catlin's boundary systems

Authors: Alexander Basyrov, Andreea C. Nicoara, Dmitri Zaitsev

Abstract: Given a pseudoconvex hypersurface in C^n and an arbitrary weight, we show the existence of local coordinates in which the polynomial model contains a particularly simple sum of squares of monomials. Our second main result provides a normalization of a part of any Catlin boundary system. We illustrate by an example that this normalization cannot be extended to the rest of the boundary system due to… ▽ More Given a pseudoconvex hypersurface in C^n and an arbitrary weight, we show the existence of local coordinates in which the polynomial model contains a particularly simple sum of squares of monomials. Our second main result provides a normalization of a part of any Catlin boundary system. We illustrate by an example that this normalization cannot be extended to the rest of the boundary system due to the existence of what we refer to as torsion. △ Less

Submitted 4 June, 2018; originally announced June 2018.

Comments: 22 pages

MSC Class: 32T27; 41A10 (Primary) 32F17 (Secondary)

A geometric approach to Catlin's boundary systems

Authors: Dmitri Zaitsev

Abstract: For a point $p$ in a smooth real hypersurface $M\subset\C^n$, where the Levi form has the nontrivial kernel $K^{10}_p$, we introduce an invariant cubic tensor $τ^3_p \colon \C T_p \times K^{10}_p \times \overline{K^{10}_p} \to \C\otimes (T_p/H_p)$, which together with Ebenfelt's tensor $ψ_3$, constitutes the full set of $3$rd order invariants of $M$ at $p$. Next, in addition, assume… ▽ More For a point $p$ in a smooth real hypersurface $M\subset\C^n$, where the Levi form has the nontrivial kernel $K^{10}_p$, we introduce an invariant cubic tensor $τ^3_p \colon \C T_p \times K^{10}_p \times \overline{K^{10}_p} \to \C\otimes (T_p/H_p)$, which together with Ebenfelt's tensor $ψ_3$, constitutes the full set of $3$rd order invariants of $M$ at $p$. Next, in addition, assume $M\subset\C^n$ to be {\em (weakly) pseudoconvex}. Then $τ^3_p$ must identically vanish. In this case we further define an invariant quartic tensor $τ^4_p \colon \C T_p \times \C T_p \times K^{10}_p\times \overline{K^{10}_p} \to \C\otimes (T_p/H_p)$, and for every $q=0, \ldots, n-1$, an invariant submodule sheaf of $(1,0)$ vector fields in terms of the Levi form, and an invariant ideal sheaf of complex functions generated by certain derivatives of the Levi form, such that the set of points of Levi rank $q$ is locally contained in certain real submanifolds defined by real parts of the functions in the ideal sheaf, whose tangent spaces have explicit algebraic description in terms of the quartic tensor $τ^4$. Finally, we relate the introduced invariants with D'Angelo's finite type, Catlin's mutlitype and Catlin's boundary systems. △ Less

Submitted 22 January, 2018; v1 submitted 6 April, 2017; originally announced April 2017.

Comments: Exposition and references are substantially expanded

MSC Class: 32V35; 32Vxx; 32T25; 32W05

Jet vanishing orders and effectivity of Kohn's algorithm in dimension $3$

Authors: Sung-Yeon Kim, Dmitri Zaitsev

Abstract: We propose a new class of geometric invariants called jet vanishing orders, and use them to establish a new selection algorithm in the Kohn's construction of subelliptic multipliers for special domains in dimension $3$, inspired by the work of Y.-T. Siu [S10]. In particular, we obtain effective termination of our selection algorithm with explicit bounds both for the steps of the algorithm and the… ▽ More We propose a new class of geometric invariants called jet vanishing orders, and use them to establish a new selection algorithm in the Kohn's construction of subelliptic multipliers for special domains in dimension $3$, inspired by the work of Y.-T. Siu [S10]. In particular, we obtain effective termination of our selection algorithm with explicit bounds both for the steps of the algorithm and the order of subellipticity in the corresponding subelliptic estimates. Our procedure possesses additional features of certain stability under high order perturbations, due to deferring the step of taking radicals to the very end of the algorithm. We further illustrate by examples the sharpness in our technical results and demonstrate the complete procedure for arbitrary high order perturbations of the Catlin-D'Angelo example [CD10] in Section 5. Our techniques here may be of broader interest for more general PDE systems, in the light of the recent program initiated by the breakthrough paper of Y.-T. Siu [S17]. △ Less

Submitted 15 September, 2018; v1 submitted 22 February, 2017; originally announced February 2017.

Comments: Final version as published, substantially revised introduction and expanded literature, examples added in the last section to illustrate the algorithm

MSC Class: 32T25; 32T27; 32W05; 32S05; 32B10; 32V15; 32V35; 32V40

Journal ref: Asian Journal of Mathematics, Volume 22 (2018), Number 3, Special issue in honor of Ngaiming Mok

Normal form for second order differential equations

Authors: Ilya Kossovskiy, Dmitri Zaitsev

Abstract: 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 sol… ▽ More 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}. △ Less

Submitted 22 January, 2017; v1 submitted 25 November, 2016; originally announced November 2016.

Journal ref: Journal of Dynamics and Control Systems, 24 (2018), no. 4, 541-562

A family of compact strictly pseudoconvex hypersurfaces in $\mathbb C^2$ without umbilical points

Authors: Peter Ebenfelt, Duong Ngoc Son, Dmitri Zaitsev

Abstract: We prove the following: For $ε>0$, let $D_ε$ be the bounded strictly pseudoconvex domain in $\mathbb C^2$ given by \begin{equation*} (\log|z|)^2+(\log|w|)^2<ε^2. \end{equation*} The boundary $M_ε:=\partial D_ε\subset \mathbb C^2$ is a compact strictly pseudoconvex CR manifold without umbilical points. This resolves a long-standing question in complex analysis that goes back to the work of S.-S. Ch… ▽ More We prove the following: For $ε>0$, let $D_ε$ be the bounded strictly pseudoconvex domain in $\mathbb C^2$ given by \begin{equation*} (\log|z|)^2+(\log|w|)^2<ε^2. \end{equation*} The boundary $M_ε:=\partial D_ε\subset \mathbb C^2$ is a compact strictly pseudoconvex CR manifold without umbilical points. This resolves a long-standing question in complex analysis that goes back to the work of S.-S. Chern and J. K. Moser in 1974. △ Less

Submitted 8 September, 2016; originally announced September 2016.

MSC Class: 32V05; 30F45

Journal ref: Mathematical Research Letters, Volume 25, Number 1 (2018), 75-84

Normal forms in Cauchy-Riemann Geometry: a survey

Authors: Martin Kolar, Ilya Kossovskiy, Dmitri Zaitsev

Abstract: 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. 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. △ Less

Submitted 26 June, 2016; originally announced June 2016.

Invariants and Umbilical Points on Three Dimensional CR Manifolds embedded in $\mathbb C^2$

Authors: Peter Ebenfelt, Dmitry Zaitsev

Abstract: We introduce a new sequence of CR invariant determinants on a three dimensional CR manifold $M$ embedded in $\mathbb C^2$. The lowest order invariant $\det A_3$ represents E. Cartan's 6th order invariant (the umbilical "tensor"), whose zero locus yields the set of umbilical points on $M$. As an application of this new presentation of the umbilical invariant, we show that generic, almost circular p… ▽ More We introduce a new sequence of CR invariant determinants on a three dimensional CR manifold $M$ embedded in $\mathbb C^2$. The lowest order invariant $\det A_3$ represents E. Cartan's 6th order invariant (the umbilical "tensor"), whose zero locus yields the set of umbilical points on $M$. As an application of this new presentation of the umbilical invariant, we show that generic, almost circular perturbations of the unit sphere always contain curves or surfaces of umbilical points. △ Less

Submitted 27 May, 2016; originally announced May 2016.

MSC Class: 32V05; 30F45

A normal form for 1-infinite type hypersurfaces in $\mathbb C^2$. I. Formal Theory

Authors: Peter Ebenfelt, Bernhard Lamel, Dmitri Zaitsev

Abstract: In this paper, we study the real hypersurfaces $M$ in $\mathbb C^2$ at points $p\in M$ of infinite type. The degeneracy of $M$ at $p$ is assumed to be the least possible, namely such that the Levi form vanishes to first order in the CR transversal direction. A new phenomenon, compared to known normal forms in other cases, is the presence of resonances as roots of an universal polynomial in the… ▽ More In this paper, we study the real hypersurfaces $M$ in $\mathbb C^2$ at points $p\in M$ of infinite type. The degeneracy of $M$ at $p$ is assumed to be the least possible, namely such that the Levi form vanishes to first order in the CR transversal direction. A new phenomenon, compared to known normal forms in other cases, is the presence of resonances as roots of an universal polynomial in the $7$-jet of the defining function of $M$. The main result is a complete (formal) normal form at points $p$ with no resonances. Remarkably, our normal form at such infinite type points resembles closely the Chern-Moser normal form at Levi-nondegenerate points. For a fixed hypersurface, its normal forms are parametrized by $S^1\times \mathbb R^*$, and as a corollary we find that the automorphisms in the stability group of $M$ at $p$ without resonances are determined by their $1$-jets at $p$. In the last section, as a contrast, we also give examples of hypersurfaces with arbitrarily high resonances that possess families of distinct automorphisms whose jets agree up to the resonant order. △ Less

Submitted 20 October, 2015; v1 submitted 18 October, 2015; originally announced October 2015.

Comments: Bad formatting in original version

MSC Class: 32H02; 32V40

A Compact Expression for Periodic Instantons

Authors: Sergey A. Cherkis, Clare O'Hara, Dmitri Zaitsev

Abstract: Instantons on various spaces can be constructed via a generalization of the Fourier transform called the ADHM-Nahm transform. An explicit use of this construction, however, involves rather tedious calculations. Here we derive a simple formula for instantons on a space with one periodic direction. It simplifies the ADHM-Nahm machinery and can be generalized to other spaces. Instantons on various spaces can be constructed via a generalization of the Fourier transform called the ADHM-Nahm transform. An explicit use of this construction, however, involves rather tedious calculations. Here we derive a simple formula for instantons on a space with one periodic direction. It simplifies the ADHM-Nahm machinery and can be generalized to other spaces. △ Less

Submitted 8 September, 2015; v1 submitted 31 August, 2015; originally announced September 2015.

Comments: AMS-LaTeX, 19 pages

MSC Class: 53C07; 14D21

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

Authors: Ilya Kossovskiy, Dmitri Zaitsev

Abstract: 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.… ▽ More 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$. △ Less

Submitted 7 June, 2015; v1 submitted 26 September, 2014; originally announced September 2014.

Comments: The paper in accepted to Advances in Mathematics. In this version, we revised the construction by normalizing the complex defining function of a real hypersurface instead of the real defining function. This is due to a remark of Martin Kolar who observed that using the real defining function leads to a singular ODE for a normalizing transformation in general

Convergent normal form for real hypersurfaces at generic Levi degeneracy

Authors: Ilya Kossovskiy, Dmitri Zaitsev

Abstract: 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. 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. △ Less

Submitted 7 May, 2014; originally announced May 2014.

Rigidity of proper holomorphic maps between bounded symmetric domains

Authors: Sung Yeon Kim, Dmitri Zaitsev

Abstract: Our first main result gives assumptions guaranteeing that proper holomorphic maps between Cartan type I bounded symmetric domains have simple block matrix shape, answering positively a question of Mok. The proof is based on the second main result establishing similar phenomenon for local CR maps between arbitrary boundary components of two bounded symmetric domains of the above type. Since boundar… ▽ More Our first main result gives assumptions guaranteeing that proper holomorphic maps between Cartan type I bounded symmetric domains have simple block matrix shape, answering positively a question of Mok. The proof is based on the second main result establishing similar phenomenon for local CR maps between arbitrary boundary components of two bounded symmetric domains of the above type. Since boundary components other than Shilov boundaries are Levi-degenerate, our analysis is based on their $2$-nondegeneracy combining Levi forms with higher order tensors. △ Less

Submitted 25 March, 2014; originally announced March 2014.

MSC Class: 32V40; 32V30; 32V20; 32M05; 53B25; 35N10

Rigidity of CR maps between Shilov boundaries of bounded symmetric domains

Authors: Sung-Yeon Kim, Dmitri Zaitsev

Abstract: Our goal is to establish what seems to be the first rigidity result for CR embeddings between Shilov boundaries of bounded symmetric domains of higher rank. The result states that any such CR embedding is the standard linear embedding up to CR automorphisms. Our basic assumption extends precisely the well-known optimal bound for the rank one case. There are no other restrictions on the ranks, in p… ▽ More Our goal is to establish what seems to be the first rigidity result for CR embeddings between Shilov boundaries of bounded symmetric domains of higher rank. The result states that any such CR embedding is the standard linear embedding up to CR automorphisms. Our basic assumption extends precisely the well-known optimal bound for the rank one case. There are no other restrictions on the ranks, in particular, the difficult case when the target rank is larger than the source rank is also allowed. △ Less

Submitted 3 December, 2013; originally announced December 2013.

MSC Class: 32V40; 32V30; 32V20; 32M05; 53B25; 35N10

Journal ref: Inventiones mathematicae 193, 409-437 (2013)

Factoring Formal Maps into Reversible or Involutive Factors

Authors: Dmitri Zaitsev, Anthony G. O'Farrell

Abstract: An element $g$ of a group is called reversible if it is conjugate in the group to its inverse. An element is an involution if it is equal to its inverse. This paper is about factoring elements as products of reversibles in the group $\mathfrak{G}_n$ of formal maps of $(\mathbb{C}^n,0)$, i.e. formally-invertible $n$-tuples of formal power series in $n$ variables, with complex coefficients. The case… ▽ More An element $g$ of a group is called reversible if it is conjugate in the group to its inverse. An element is an involution if it is equal to its inverse. This paper is about factoring elements as products of reversibles in the group $\mathfrak{G}_n$ of formal maps of $(\mathbb{C}^n,0)$, i.e. formally-invertible $n$-tuples of formal power series in $n$ variables, with complex coefficients. The case $n=1$ was already understood. Each product $F$ of reversibles has linear part $L(F)$ of determinant $\pm1$. The main results are that for $n\ge2$ each map $F$ with det$(L(F))=\pm1$ is the product of $2+3c$ reversibles, and may also be factored as the product of $9+6c$ involutions, where $c$ is the smallest integer $\ge \log_2n$. △ Less

Submitted 17 October, 2013; originally announced October 2013.

Comments: 20 pages

MSC Class: 20E99; 30D05; 32A05; 32H02; 32H50; 37F10; 37F50

Journal ref: J. Algebra 399 (2014) 657-74

Non-embeddable Real Algebraic Hypersurfaces

Authors: Xiaojun Huang, Dmitri Zaitsev

Abstract: We study various classes of real hypersurfaces that are not embeddable into more special hypersurfaces in higher dimension, such as spheres, real algebraic compact strongly pseudoconvex hypersurfaces or compact pseudoconvex hypersurfaces of finite type. We conclude by stating some open problems. We study various classes of real hypersurfaces that are not embeddable into more special hypersurfaces in higher dimension, such as spheres, real algebraic compact strongly pseudoconvex hypersurfaces or compact pseudoconvex hypersurfaces of finite type. We conclude by stating some open problems. △ Less

Submitted 10 March, 2013; originally announced March 2013.

Comments: to appear in Mathematische Zeitschrift

MSC Class: 32V40; 32V35

Journal ref: Mathematische Zeitschrift (2013) 275:657-671

Reduction of five-dimensional uniformly Levi degenerate CR structures to absolute parallelisms

Authors: Alexander Isaev, Dmitri Zaitsev

Abstract: Let ${\mathfrak C}_{2,1}$ be the class of connected 5-dimensional CR-hypersurfaces that are 2-nondegenerate and uniformly Levi degenerate of rank 1. We show that the CR-structures in ${\mathfrak C}_{2,1}$ are reducible to ${\mathfrak{so}}(3,2)$-valued absolute parallelisms and give applications of this result. Let ${\mathfrak C}_{2,1}$ be the class of connected 5-dimensional CR-hypersurfaces that are 2-nondegenerate and uniformly Levi degenerate of rank 1. We show that the CR-structures in ${\mathfrak C}_{2,1}$ are reducible to ${\mathfrak{so}}(3,2)$-valued absolute parallelisms and give applications of this result. △ Less

Submitted 8 October, 2012; originally announced October 2012.

MSC Class: 32C16; 32V20; 53C10

Formally-Reversible Maps of C^2

Authors: Anthony G. O'Farrell, Dmitri Zaitsev

Abstract: An element $g$ of a group is called {\em reversible} if it is conjugate in the group to its inverse. This paper is about reversibles in the group $G$ of formally-invertible pairs of formal power series in two variables, with complex coefficients. The main result is a description of the generic reversible elements of $G$. We list two explicit sequences of reversibles which between them represent al… ▽ More An element $g$ of a group is called {\em reversible} if it is conjugate in the group to its inverse. This paper is about reversibles in the group $G$ of formally-invertible pairs of formal power series in two variables, with complex coefficients. The main result is a description of the generic reversible elements of $G$. We list two explicit sequences of reversibles which between them represent all the conjugacy classes of such reversibles. We show that each such element is reversible by some element of finite order, and hence is the product of two elements of finite even order. Those elements that may be reversed by an involution are called {\em strongly reversible}. We also characterise these. We draw some conclusions about generic reversibles in the group of biholomorphic germs in two variables, and about the factorization of formal maps as products of reversibles. Specifically, each product of reversibles reduces to the product of five. △ Less

Submitted 20 March, 2022; v1 submitted 29 November, 2011; originally announced November 2011.

Comments: 24 pages. 20 March 2022: Two typos corrected in the proof of Lemma 2.1

MSC Class: 30D05; 32A05; 32H02; 32H50; 37F10; 37F50

Journal ref: Annali della Scuola Normale Superiore di Pisa, Classe di Scienze 13 (2014) 371-97

Dynamics of multi-resonant biholomorphisms

Authors: Filippo Bracci, Jasmin Raissy, Dmitri Zaitsev

Abstract: The goal of this paper is to study the dynamics of holomorphic diffeomorphisms in C^n such that the resonances among the first 1<= r<= n eigenvalues of the differential are generated over N by a finite number of Q-linearly independent multi-indices (and more resonances are allowed for other eigenvalues). We give sharp conditions for the existence of basins of attraction where a Fatou coordinate ca… ▽ More The goal of this paper is to study the dynamics of holomorphic diffeomorphisms in C^n such that the resonances among the first 1<= r<= n eigenvalues of the differential are generated over N by a finite number of Q-linearly independent multi-indices (and more resonances are allowed for other eigenvalues). We give sharp conditions for the existence of basins of attraction where a Fatou coordinate can be defined. Furthermore, we obtain a generalization of the Leau-Fatou flower theorem, providing a complete description of the dynamics in a full neighborhood of the origin for 1-resonant parabolically attracting holomorphic germs in Poincare'-Dulac normal form. △ Less

Submitted 19 July, 2012; v1 submitted 10 June, 2011; originally announced June 2011.

Comments: Final version, accepted in International Mathematics Research Notices

MSC Class: 32H50

Formal and finite order equivalences

Authors: Dmitri Zaitsev

Abstract: We show that two families of germs of real-analytic subsets in $C^{n}$ are formally equivalent if and only if they are equivalent of any finite order. We further apply the same technique to obtain analogous statements for equivalences of real-analytic self-maps and vector fields under conjugations. On the other hand, we provide an example of two sets of germs of smooth curves that are equivalent… ▽ More We show that two families of germs of real-analytic subsets in $C^{n}$ are formally equivalent if and only if they are equivalent of any finite order. We further apply the same technique to obtain analogous statements for equivalences of real-analytic self-maps and vector fields under conjugations. On the other hand, we provide an example of two sets of germs of smooth curves that are equivalent of any finite order but not formally equivalent. △ Less

Submitted 10 December, 2009; originally announced December 2009.

MSC Class: 32V40; 32S05

Journal ref: Mathematische Zeitschrift (2011) 269:687-696

Boundary problem for Levi flat graphs

Authors: Pierre Dolbeault, Giuseppe Tomassini, Dmitri Zaitsev

Abstract: In an earlier paper the authors provided general conditions on a real codimension 2 submanifold $S\subset C^{n}$, $n\ge 3$, such that there exists a possibly singular Levi-flat hypersurface $M$ bounded by $S$. In this paper we consider the case when $S$ is a graph of a smooth function over the boundary of a bounded strongly convex domain $Ω\subset C^{n-1}\times R$ and show that in this case… ▽ More In an earlier paper the authors provided general conditions on a real codimension 2 submanifold $S\subset C^{n}$, $n\ge 3$, such that there exists a possibly singular Levi-flat hypersurface $M$ bounded by $S$. In this paper we consider the case when $S$ is a graph of a smooth function over the boundary of a bounded strongly convex domain $Ω\subset C^{n-1}\times R$ and show that in this case $M$ is necessarily a graph of a smooth function over $Ω$. In particular, $M$ is non-singular. △ Less

Submitted 7 December, 2009; originally announced December 2009.

MSC Class: 32V40

Journal ref: Indiana University Mathematic Journal, 60, 1, 2011, 161-170

Dynamics of one-resonant biholomorphisms

Authors: Filippo Bracci, Dmitri Zaitsev

Abstract: Our first main result is a construction of a simple formal normal form for holomorphic diffeomorphisms in C^n whose differentials have one-dimensional family of resonances in the first m eigenvalues, m <= n (but more resonances are allowed for other eigenvalues). Next, we provide invariants and give conditions for the existence of basins of attraction. Finally, we give applications and examples de… ▽ More Our first main result is a construction of a simple formal normal form for holomorphic diffeomorphisms in C^n whose differentials have one-dimensional family of resonances in the first m eigenvalues, m <= n (but more resonances are allowed for other eigenvalues). Next, we provide invariants and give conditions for the existence of basins of attraction. Finally, we give applications and examples demonstrating the sharpness of our conditions. △ Less

Submitted 9 February, 2011; v1 submitted 2 December, 2009; originally announced December 2009.

Comments: Final version, to appear in The Journal of the European Mathematical Society (JEMS)

MSC Class: 32H50

Journal ref: J. Eur. Math. Soc. (JEMS) 15 (2013), no. 1, 179-200

On Levi-flat hypersurfaces with prescribed boundary

Authors: Pierre Dolbeault, Giuseppe Tomassini, Dmitri Zaitsev

Abstract: We address the problem of existence and uniqueness of a Levi-flat hypersurface $M$ in $C^n$ with prescribed compact boundary $S$ for $n\ge3$. The situation for $n\ge3$ differs sharply from the well studied case $n=2$. We first establish necessary conditions on $S$ at both complex and CR points, needed for the existence of $M$. All CR points have to be nonminimal and all complex points have to be… ▽ More We address the problem of existence and uniqueness of a Levi-flat hypersurface $M$ in $C^n$ with prescribed compact boundary $S$ for $n\ge3$. The situation for $n\ge3$ differs sharply from the well studied case $n=2$. We first establish necessary conditions on $S$ at both complex and CR points, needed for the existence of $M$. All CR points have to be nonminimal and all complex points have to be "flat". Then, adding a positivity condition at complex points, which is similar to the ellipticity for $n=2$ and excluding the possibility of $S$ to contain complex $(n-2)$-dimensional submanifolds, we obtain a solution $M$ to the above problem as a projection of a possibly singular Levi-flat hypersurface in $R\times C^n$. It turns out that $S$ has to be a topological sphere with two complex points and with compact CR orbits, also topological spheres, serving as boundaries of the (possibly singular) complex leaves of $M$. There are no more global assumptions on $S$ like being contained in the boundary of a strongly pseudoconvex domain, as it was in case $n=2$. Furthermore, we show in our situation that any other Levi-flat hypersurface with boundary $S$ must coincide with the constructed solution. △ Less

Submitted 2 April, 2009; originally announced April 2009.

Comments: 21 pages

MSC Class: 32V25; 32D10

Journal ref: Pure and Applied Mathematics Quarterly, 6, 3, 2010, 725-753

New normal forms for Levi-nondegenerate hypersurfaces

Authors: Dmitri Zaitsev

Abstract: In this paper we construct a large class of new normal forms for Levi-nondegenerate real hypersurfaces in complex spaces. We adopt a general approach illustrating why these normal forms are natural and which role is played by the celebrated Chern-Moser normal form. The latter appears in our class as the one with the "maximum normalization" in the lowest degree. However, there are other natural n… ▽ More In this paper we construct a large class of new normal forms for Levi-nondegenerate real hypersurfaces in complex spaces. We adopt a general approach illustrating why these normal forms are natural and which role is played by the celebrated Chern-Moser normal form. The latter appears in our class as the one with the "maximum normalization" in the lowest degree. However, there are other natural normal forms, even with normalization conditions for the terms of the same degree. Some of these forms do not involve the cube of the trace operator and, in that sense, are simplier than the one by Chern-Moser. We have attempted to give a complete and self-contained exposition (including proofs of well-known results about trace decompositions) that should be accessible to graduate students. △ Less

Submitted 16 February, 2009; originally announced February 2009.

MSC Class: 32V05

Journal ref: Complex analysis, 321-340, Trends Math., Birkhauser/Springer Basel AG, Basel, 2010

Normal forms for almost non-integrable CR structures

Authors: Dmitri Zaitsev

Abstract: We propose two constructions extending the Chern-Moser normal form to non-integrable Levi-nondegenerate (hypersurface type) almost CR structures. One of them translates the Chern-Moser normalization into pure intrinsic setting, whereas the other directly extends the (extrinsic) Chern-Moser normal form by allowing non-CR embeddings that are in some sense "maximally CR". One of the main differences… ▽ More We propose two constructions extending the Chern-Moser normal form to non-integrable Levi-nondegenerate (hypersurface type) almost CR structures. One of them translates the Chern-Moser normalization into pure intrinsic setting, whereas the other directly extends the (extrinsic) Chern-Moser normal form by allowing non-CR embeddings that are in some sense "maximally CR". One of the main differences with the classical integrable case is the presence of the non-integrability tensor at the same order as the Levi form, making impossible a good quadric approximation - a key tool in the Chern-Moser theory. Partial normal forms are obtained for general almost CR structures of any CR codimension, in particular, for almost-complex structures. Applications are given to the equivalence problem and the Lie group structure of the group of all CR-diffeomorphisms. △ Less

Submitted 12 October, 2017; v1 submitted 5 December, 2008; originally announced December 2008.

Comments: Final version as published in AJM

MSC Class: 32V05

Journal ref: American Journal of Mathematics, 134 (2012), no. 4, 915-947

A Cauchy-Kowalevsky theorem for overdetermined systems of nonlinear partial differential equations and geometric applications

Authors: M. S. Baouendi, P. Ebenfelt, D. Zaitsev

Abstract: We consider a Cauchy problem for an overdetermined system of PDEs, and give necessary and sufficient conditions for solvability of this Cauchy problem for all data. As an application, we find all real tube hypersurfaces in complex space whose Levi number is maximal. We consider a Cauchy problem for an overdetermined system of PDEs, and give necessary and sufficient conditions for solvability of this Cauchy problem for all data. As an application, we find all real tube hypersurfaces in complex space whose Levi number is maximal. △ Less

Submitted 8 November, 2008; originally announced November 2008.

Obstructions to embeddability into hyperquadrics and explicit examples

Authors: Dmitri Zaitsev

Abstract: We give series of explicit examples of Levi-nondegenerate real-analytic hypersurfaces in complex spaces that are not transversally holomorphically embeddable into hyperquadrics of any dimension. For this, we construct invariants attached to a given hypersurface that serve as obstructions to embeddability. We further study the embeddability problem for real-analytic submanifolds of higher codimen… ▽ More We give series of explicit examples of Levi-nondegenerate real-analytic hypersurfaces in complex spaces that are not transversally holomorphically embeddable into hyperquadrics of any dimension. For this, we construct invariants attached to a given hypersurface that serve as obstructions to embeddability. We further study the embeddability problem for real-analytic submanifolds of higher codimension and answer a question by Forstnerič. △ Less

Submitted 16 October, 2007; v1 submitted 11 December, 2006; originally announced December 2006.

Comments: Revised version, appendix and references added

MSC Class: 32H02; 32V20; 32V30; 32V40

Journal ref: Mathematische Annalen (2008) 342:695-726

Lie group structures on automorphism groups of real-analytic CR manifolds

Authors: Bernhard Lamel, Nordine Mir, Dmitri Zaitsev

Abstract: Given any real-analytic CR manifold M, we provide general conditions on M guaranteeing that the group of all its global real-analytic CR automorphisms is a Lie group (in an appropriate topology). Our conditions are in particular satisfied when M is an arbitrary compact real-analytic hypersurface embedded in some Stein manifold. Given any real-analytic CR manifold M, we provide general conditions on M guaranteeing that the group of all its global real-analytic CR automorphisms is a Lie group (in an appropriate topology). Our conditions are in particular satisfied when M is an arbitrary compact real-analytic hypersurface embedded in some Stein manifold. △ Less

Submitted 1 November, 2006; originally announced November 2006.

Comments: 16 pages

MSC Class: 32H02; 32V20; 32V25; 32V35; 32V40; 22E99

Journal ref: Amer. J. Math., 130(6), 1709--1726, (2008).

On different notions of homogeneity for CR-manifolds

Authors: Dmitri Zaitsev

Abstract: We show that various notions of local homogeneity for CR-manifolds are equivalent. In particular, if germs at any two points of a CR-manifold are CR-equivalent, there exists a transitive local Lie group action by CR-automorphisms near every point. We show that various notions of local homogeneity for CR-manifolds are equivalent. In particular, if germs at any two points of a CR-manifold are CR-equivalent, there exists a transitive local Lie group action by CR-automorphisms near every point. △ Less

Submitted 12 August, 2006; originally announced August 2006.

MSC Class: 32V05; 22E05

Journal ref: Asian J. Math. Volume 11, Number 2 (2007), 331-340

Deformation of generic submanifolds in a complex manifold

Authors: M. S. Baouendi, L. P. Rothschild, D. Zaitsev

Abstract: This paper shows that an arbitrary generic submanifold in a complex manifold can be deformed into a 1-parameter family of generic submanifolds satisfying strong nondegeneracy conditions. The proofs use a careful analysis of the jet spaces of embeddings satisfying certain nondegeneracy properties, and also make use of the Thom transversality theorem, as well as the stratification of real-algebrai… ▽ More This paper shows that an arbitrary generic submanifold in a complex manifold can be deformed into a 1-parameter family of generic submanifolds satisfying strong nondegeneracy conditions. The proofs use a careful analysis of the jet spaces of embeddings satisfying certain nondegeneracy properties, and also make use of the Thom transversality theorem, as well as the stratification of real-algebraic sets. Optimal results on the order of nondegeneracy are given. △ Less

Submitted 11 August, 2006; originally announced August 2006.

Comments: 24 pages

MSC Class: 32H35; 32V40; 58A20; 57N35

Degenerate real hypersurfaces in $\mathbb{C}^2$ with few automorphisms

Authors: P. Ebenfelt, B. Lamel, D. Zaitsev

Abstract: We introduce new biholomorphic invariants for real-analytic hypersurfaces in 2-dimensional complex space and show how they can be used to show that a hypersurface possesses few automorphisms. We give conditions, in terms of the new invariants, guaranteeing that the stability group is finite, and give (sharp) bounds on the cardinality of the stability group in this case. We also give a sufficient… ▽ More We introduce new biholomorphic invariants for real-analytic hypersurfaces in 2-dimensional complex space and show how they can be used to show that a hypersurface possesses few automorphisms. We give conditions, in terms of the new invariants, guaranteeing that the stability group is finite, and give (sharp) bounds on the cardinality of the stability group in this case. We also give a sufficient condition for the stability group to be trivial. The main technical tool developed in this paper is a complete (formal) normal form for a certain class of hypersurfaces. As a byproduct, a complete classification, up to biholomorphic equivalence, of the finite type hypersurfaces in this class is obtained. △ Less

Submitted 18 May, 2006; originally announced May 2006.

MSC Class: 32H02

Boundary jets of holomorphic maps between strongly pseudoconvex domains

Authors: Filippo Bracci, Dmitri Zaitsev

Abstract: We study jets of germs of holomorphic maps between two strongly pseudoconvex domains under the condition that the image of one domain is contained into the other and a given boundary point is (non-tangentially) mapped to a given boundary point. We completely characterize the (non-tangential) 1-jets. Moreover we give algebraic inequalities (in terms of Chern-Moser normal forms up to a certain low… ▽ More We study jets of germs of holomorphic maps between two strongly pseudoconvex domains under the condition that the image of one domain is contained into the other and a given boundary point is (non-tangentially) mapped to a given boundary point. We completely characterize the (non-tangential) 1-jets. Moreover we give algebraic inequalities (in terms of Chern-Moser normal forms up to a certain low order) for the admissible germs with a given 1-jet. Also, we prove a rigidity result which says that there exists a germ tangent to the Identity (in some local charts) if and only if the two domains are tangent up to weighted order five. △ Less

Submitted 1 March, 2006; originally announced March 2006.

MSC Class: 32T15; 32A40; 58A20

A Burns-Krantz type theorem for domains with corners

Authors: L. Baracco, D. Zaitsev, G. Zampieri

Abstract: The goal of this paper is twofold. First, to give purely local boundary uniqueness results for maps defined only on one side as germs at a boundary point and hence not necessarily sending any domain to itself and also under the weaker assumption that $f(z)=z+o(|z-p|^3)$ holds only for $z$ in a proper cone in $D$ with vertex $p$. Such results have no analogues in one complex variable in contrast… ▽ More The goal of this paper is twofold. First, to give purely local boundary uniqueness results for maps defined only on one side as germs at a boundary point and hence not necessarily sending any domain to itself and also under the weaker assumption that $f(z)=z+o(|z-p|^3)$ holds only for $z$ in a proper cone in $D$ with vertex $p$. Such results have no analogues in one complex variable in contrast to the situation when a domain is preserved. And second, to extend the above results from boundaries of domains to submanifolds of higher codimension. △ Less

Submitted 12 May, 2005; originally announced May 2005.

Comments: 13 pages

MSC Class: 32H02; 32H12

Remarks on the rigidity of CR-manifolds

Authors: Sung-Yeon Kim, Dmitri Zaitsev

Abstract: A method is proposed to obtain examples of smooth CR-manifolds whose local stability group is neither a Lie group nor infinite-dimensional. A method is proposed to obtain examples of smooth CR-manifolds whose local stability group is neither a Lie group nor infinite-dimensional. △ Less

Submitted 22 April, 2006; v1 submitted 23 January, 2005; originally announced January 2005.

Comments: Final version, some proofs are simplified, examples added, to appear in Compositio Mathematica

MSC Class: 32V40

On local CR-transformations of Levi-degenerate group orbits in compact Hermitian symmetric spaces

Authors: Wilhelm Kaup, Dmitri Zaitsev

Abstract: Let $S$ be a real-analytic hypersurface in $C^n$ or, more generally, a CR-submanifold in a complex manifold $Z$ of arbitrary CR-codimension. This paper addresses the question, when a local biholomorphic map between open sets in $Z$ sending an open piece of $S$ into $S$ extends to a global biholomorphic self-map of $Z$ preserving $S$. We give answers for a large class of Levi-degenerate group orb… ▽ More Let $S$ be a real-analytic hypersurface in $C^n$ or, more generally, a CR-submanifold in a complex manifold $Z$ of arbitrary CR-codimension. This paper addresses the question, when a local biholomorphic map between open sets in $Z$ sending an open piece of $S$ into $S$ extends to a global biholomorphic self-map of $Z$ preserving $S$. We give answers for a large class of Levi-degenerate group orbits in compact Hermitian symmetric spaces. △ Less

Submitted 29 December, 2004; originally announced December 2004.

MSC Class: 17C50; 22F30; 32M15; 32V25; 32V35

The equivalence problem and rigidity for hypersurfaces embedded into hyperquadrics

Authors: P. Ebenfelt, X. Huang, D. Zaitsev

Abstract: We consider the class of Levi nondegenerate hypersurfaces $M$ in $\bC^{n+1}$ that admit a local (CR transversal) embedding, near a point $p\in M$, into a standard nondegenerate hyperquadric in $\Bbb C^{N+1}$ with codimension $k:=N-n$ small compared to the CR dimension $n$ of $M$. We show that, for hypersurfaces in this class, there is a normal form (which is closely related to the embedding) suc… ▽ More We consider the class of Levi nondegenerate hypersurfaces $M$ in $\bC^{n+1}$ that admit a local (CR transversal) embedding, near a point $p\in M$, into a standard nondegenerate hyperquadric in $\Bbb C^{N+1}$ with codimension $k:=N-n$ small compared to the CR dimension $n$ of $M$. We show that, for hypersurfaces in this class, there is a normal form (which is closely related to the embedding) such that any local equivalence between two hypersurfaces in normal form must be an automorphism of the associated tangent hyperquadric. We also show that if the signature of $M$ and that of the standard hyperquadric in $\bC^{N+1}$ are the same, then the embedding is rigid in the sense that any other embedding must be the original embedding composed with an automorphism of the quadric. △ Less

Submitted 1 November, 2002; originally announced November 2002.

MSC Class: 32V05; 32V30

Rigidity of CR-immersions into spheres

Authors: Peter Ebenfelt, Xiaojun Huang, Dmitri Zaitsev

Abstract: We consider local CR-immersions of a strictly pseudoconvex real hypersurface $M\subset\bC^{n+1}$, near a point $p\in M$, into the unit sphere $\mathbb S\subset\bC^{n+d+1}$ with $d>0$. Our main result is that if there is such an immersion $f\colon (M,p)\to \mathbb S$ and $d < n/2$, then $f$ is {\em rigid} in the sense that any other immersion of $(M,p)$ into $\mathbb S$ is of the form $φ\circ f$,… ▽ More We consider local CR-immersions of a strictly pseudoconvex real hypersurface $M\subset\bC^{n+1}$, near a point $p\in M$, into the unit sphere $\mathbb S\subset\bC^{n+d+1}$ with $d>0$. Our main result is that if there is such an immersion $f\colon (M,p)\to \mathbb S$ and $d < n/2$, then $f$ is {\em rigid} in the sense that any other immersion of $(M,p)$ into $\mathbb S$ is of the form $φ\circ f$, where $φ$ is a biholomorphic automorphism of the unit ball $\mathbb B\subset\bC^{n+d+1}$. As an application of this result, we show that an isolated singularity of an irreducible analytic variety of codimension $d$ in $\bC^{n+d+1}$ is uniquely determined up to affine linear transformations by the local CR geometry at a point of its Milnor link. △ Less

Submitted 15 June, 2002; originally announced June 2002.

Approximation and convergence of formal CR-mappings

Authors: Francine Meylan, Nordine Mir, Dmitri Zaitsev

Abstract: Let $M\subset C^N$ be a minimal real-analytic CR-submanifold and $M'\subset C^{N'}$ a real-algebraic subset through points $p\in M$ and $p'\in M'$. We show that that any formal (holomorphic) mapping $f\colon (C^N,p)\to (C^{N'},p')$, sending $M$ into $M'$, can be approximated up to any given order at $p$ by a convergent map sending $M$ into $M'$. If $M$ is furthermore generic, we also show that a… ▽ More Let $M\subset C^N$ be a minimal real-analytic CR-submanifold and $M'\subset C^{N'}$ a real-algebraic subset through points $p\in M$ and $p'\in M'$. We show that that any formal (holomorphic) mapping $f\colon (C^N,p)\to (C^{N'},p')$, sending $M$ into $M'$, can be approximated up to any given order at $p$ by a convergent map sending $M$ into $M'$. If $M$ is furthermore generic, we also show that any such map $f$, that is not convergent, must send (in an appropriate sense) $M$ into the set $E'\subset M'$ of points of D'Angelo infinite type. Therefore, if $M'$ does not contain any nontrivial complex-analytic subvariety through $p'$, any formal map $f$ as above is necessarily convergent. △ Less

Submitted 14 May, 2002; originally announced May 2002.

MSC Class: 32H02; 32V20; 32V40

Holomorphic extension of smooth CR-mappings between real-analytic and real-algebraic CR-manifolds

Authors: F. Meylan, N. Mir, D. Zaitsev

Abstract: We establish results on holomorphic extension of CR-mappings of class $C^\infty$ between a real-analytic CR-submanifold of $\C^N$ and a real-algebraic CR-submanifold of $\C^{N'}$. We establish results on holomorphic extension of CR-mappings of class $C^\infty$ between a real-analytic CR-submanifold of $\C^N$ and a real-algebraic CR-submanifold of $\C^{N'}$. △ Less

Submitted 28 January, 2002; originally announced January 2002.

MSC Class: 32V25

Extension of CR-functions on wedges

Authors: Dmitri Zaitsev, Giuseppe Zampieri

Abstract: Given a wedge V with generic edge in a submanifold M of $C^N$, in general, CR-functions on V do not extend to a wedge in $C^N$ in the direction of each nontrivial value of the Levi form of M as was recently observed by Eastwood and Graham. In this paper we propose an invariant geometric way of selecting those Levi form directions that are responsible for the extension. These are the Levi form di… ▽ More Given a wedge V with generic edge in a submanifold M of $C^N$, in general, CR-functions on V do not extend to a wedge in $C^N$ in the direction of each nontrivial value of the Levi form of M as was recently observed by Eastwood and Graham. In this paper we propose an invariant geometric way of selecting those Levi form directions that are responsible for the extension. These are the Levi form directions of the complex tangent vectors, whose complex planes intersect the tangent cone to the wedge in angles larger than $π/2$. We show by several examples the optimality of this criterion. Applications to regularity of CR-functions are also given generalizing the edge-of-the-wedge theorem of Ajrapetyan-Henkin. △ Less

Submitted 29 December, 2001; originally announced December 2001.

The equivalence and the embedding problems for CR-structures of any codimension

Authors: Sung-Yeon Kim, Dmitri Zaitsev

Abstract: We give a solution to the equivalence and the embedding problems for smooth CR-submanifolds of complex spaces (and, more generally, for abstract CR-manifolds) in terms of complete differential systems in jet bundles satisfied by all CR-equivalences or CR-embeddings respectively (local and global). For the equivalence problem, the manifolds are assumed to be of finite type and finitely nondegener… ▽ More We give a solution to the equivalence and the embedding problems for smooth CR-submanifolds of complex spaces (and, more generally, for abstract CR-manifolds) in terms of complete differential systems in jet bundles satisfied by all CR-equivalences or CR-embeddings respectively (local and global). For the equivalence problem, the manifolds are assumed to be of finite type and finitely nondegenerate. These are higher order generalizations of the corresponding nondegeneracy conditions for the Levi form. It is shown by a simple example that these nondegeneracy conditions cannot be even slightly relaxed to more general known conditions. In particular, for essentially finite hypersurfaces in $\C^2$, such a complete system may not exist in general. For the embedding problem, the source manifold is assumed to be of finite type and the embeddings to be finitely nondegenerate. Situations are given, where the last condition is automatically satisfied by all CR-embeddings. △ Less

Submitted 13 August, 2001; originally announced August 2001.

Journal ref: Topology Volume 44, Issue 3 (2005), 557-584

Finite jet determination of local analytic CR automorphisms and their parametrization by 2-jets in the finite type case

Authors: P. Ebenfelt, B. Lamel, D. Zaitsev

Abstract: We show that germs of local real-analytic CR automorphisms of a real-analytic hypersurface $M$ in $\C^2$ at a point $p\in M$ are uniquely determined by their jets of some finite order at $p$ if and only if $M$ is not Levi-flat near $p$. This seems to be the first necessary and sufficient result on finite jet determination and the first result of this kind in the infinite type case. If $M$ is o… ▽ More We show that germs of local real-analytic CR automorphisms of a real-analytic hypersurface $M$ in $\C^2$ at a point $p\in M$ are uniquely determined by their jets of some finite order at $p$ if and only if $M$ is not Levi-flat near $p$. This seems to be the first necessary and sufficient result on finite jet determination and the first result of this kind in the infinite type case. If $M$ is of finite type at $p$, we prove a stronger assertion: the local real-analytic CR automorphisms of $M$ fixing $p$ are analytically parametrized (and hence uniquely determined) by their 2-jets at $p$. This result is optimal since the automorphisms of the unit sphere are not determined by their 1-jets at a point of the sphere. △ Less

Submitted 2 July, 2001; originally announced July 2001.

MSC Class: 32H12; 32V20

Equivalences of real submanifolds in complex space

Authors: M. S. Baouendi, Linda Preiss Rothschild, Dmitri Zaitsev

Abstract: We show that for any real-analytic submanifold M in C^N there is a proper real-analytic subvariety V contained in M such that for any point p in M\V, any real-analytic submanifold M' in C^N, and any point p' in M', the germs of the submanifolds M and M' at p and p' respectively are formally equivalent if and only if they are biholomorphically equivalent. More general results for k-equivalences a… ▽ More We show that for any real-analytic submanifold M in C^N there is a proper real-analytic subvariety V contained in M such that for any point p in M\V, any real-analytic submanifold M' in C^N, and any point p' in M', the germs of the submanifolds M and M' at p and p' respectively are formally equivalent if and only if they are biholomorphically equivalent. More general results for k-equivalences are also stated and proved. △ Less

Submitted 22 February, 2000; originally announced February 2000.

Comments: 38 pages, LateX

MSC Class: 32H02; 32V40; 32V35

Domains of holomorphy with edges and lower dimensional boundary singularities

Authors: Dmitri Zaitsev, Giuseppe Zampieri

Abstract: Necessary and sufficient geometric conditions are given for domains with regular boundary points and edges to be domains of holomorphy provided the remainder boundary subset is of zero Hausdorff 1-codimensional measure. Necessary and sufficient geometric conditions are given for domains with regular boundary points and edges to be domains of holomorphy provided the remainder boundary subset is of zero Hausdorff 1-codimensional measure. △ Less

Submitted 24 January, 2000; originally announced January 2000.

Comments: 12 pages

MSC Class: 32F15; 32F05; 32D05; 32D20; 32E05

Configurations of linear subspaces and rational invariants

Authors: Dmitri Zaitsev

Abstract: We construct a birational equivalence between certain quotients of s-tuples of equidimensional linear subspaces of $C^n$ and some quotients of products of square matrices modulo diagonal conjugations. In particular, we prove the rationality of the quotient space of s-tuples of linear 2-planes in $C^n$ modulo the diagonal $\gl_n(C)$-action . Furthermore, we compute generators of the field of the… ▽ More We construct a birational equivalence between certain quotients of s-tuples of equidimensional linear subspaces of $C^n$ and some quotients of products of square matrices modulo diagonal conjugations. In particular, we prove the rationality of the quotient space of s-tuples of linear 2-planes in $C^n$ modulo the diagonal $\gl_n(C)$-action . Furthermore, we compute generators of the field of the rational invariants explicitly. △ Less

Submitted 29 May, 1999; originally announced May 1999.

Comments: 15 pages, to appear in Michigan Math. Journal

MSC Class: 16R30