The paper gives a complete description of local automorphism groups for Levi degenerate hypersurfaces of finite type in $\mathbb{C}^2$. We also prove that, with the exception of hypersurfaces of the form $v = |z|^k$, local automorphisms are always determined by 1-jets. This proves a conjecture of D. Zaitsev in the finite type case.
We study nonlinear automorphisms of Levi degenerate hypersurfaces of finite multitype. By recent results of Kolar, Meylan and Zaitsev, the Lie algebra of infinitesimal CR automorphisms may contain a graded component consisting of nonlinear vector fields of arbitrarily high degree, which has no analog in the classical Levi nondegenerate case, or in the case of finite type hypersurfaces in $\mathbb C^2$. We analyze this phenomenon for hypersurfaces of finite Catlin multitype in complex dimension three. The results provide a complete classification of such manifolds. As a consequence, we show on …
The Chern-Moser normal form and its analog on finite type hypersurfaces in general do not respect symmetries. Extending the work of N. K. Stanton, we consider the local equivalence problem for symmetric Levi degenerate hypersurfaces of finite type in $\mathbb C^2$. The results give for all such hypersurfaces a complete normalization which respects the symmetries. In particular, they apply to tubes and rigid hypersurfaces, providing an effective classification. The main tool is a complete normal form constructed for a general hypersurface with a tube model. As an application, we describe all bi…
We prove that for every $n\geq 3$ the sharp upper bound for the dimension of the symmetry groups of homogeneous, 2-nondegenerate, $(2n+1)$-dimensional CR manifolds of hypersurface type with a $1$-dimensional Levi kernel is equal to $n^2+7$, and simultaneously establish the same result for a more general class of structures characterized by weakening the homogeneity condition. This supports Beloshapka's conjecture stating that hypersurface models with a maximal finite dimensional group of symmetries for a given dimension of the underlying manifold are Levi nondegenerate.
Using the classical S.Lie method we obtain a complete description of infinitesimal symmetries of a holomorphic PDE system defining the Segre family of a real analytic hypersurface. This gives a new proof of some well known results of CR geometry.
We study non-degenerate CR geometries of hypersurface type that are symmetric in the sense that, at each point, there is a CR transformation reversing the CR distribution at that point. We show that such geometries are either flat or homogeneous. We show that non-flat non-degenerate symmetric CR geometries of hypersurface type are covered by CR geometries with a compatible pseudo-Riemannian metric preserved by all symmetries. We construct examples of simply connected flat non-degenerate symmetric CR geometries of hypersurface type that do not carry a pseudo-Riemannian metric compatible with th…
We classify the Lie algebras of infinitesimal CR automorphisms of weakly pseudoconvex hypersurfaces of finite multitype in $\mathbb C^N$. In particular, we prove that such manifolds admit neither nonlinear rigid automorphisms, nor real or nilpotent rotations. As a consequence, this leads to a proof of a sharp 2-jet determination result for local automorphisms. Moreover, for hypersurfaces which are not balanced, CR automorphisms are uniquely determined by their 1-jets. The same classification is derived also for special models, given by sums of squares of polynomials. In particular, in the case…
We study local rigidity properties of holomorphic embeddings of real hypersurfaces in $\mathbb C^2$ into real hypersurfaces in $\mathbb C^3$ and show that infinitesimal conditions imply actual local rigidity in a number of (important) cases. We use this to show that generic embeddings into a hyperquadric in $\mathbb C^3$ are locally rigid.
In this paper we consider germs of smooth Levi flat hypersurfaces, under the following notion of local equivalence: S_1 ~ S_2 if their one-sided neighborhoods admit a biholomorphism smooth up to the boundary. We introduce a simple invariant for this relation, which allows to prove some characterizations of triviality (i.e. equivalence to the hyperplane). Then, we employ the same invariant to construct infinitely many non-trivial classes, including an infinite family of not equivalent hypersurfaces which are almost everywhere analytic.
We study normal forms of germs of singular real-analytic Levi-flat hypersurfaces. We prove the existence of rigid normal forms for singular Levi-flat hypersurfaces which are defined by the vanishing of the real part of complex quasi-homogeneous polynomials with isolated singularity. This result generalizes previous results of Burns-Gong and Fernández-Pérez. Furthermore, we prove the existence of two new rigid normal forms for singular real-analytic Levi-flat hypersurfaces which are preserved by a change of isochore coordinates, that is, a change of coordinates that preserves volume.
The first part of this paper considers higher order CR invariants of three dimensional hypersurfaces of finite type. Using a full normal form we give a complete characterization of hypersurfaces with trivial local automorphism group, and analogous results for finite groups. The second part considers hypersurfaces of finite Catlin multitype and the Kohn-Nirenberg phenomenon in higher dimensions. We give a necessary condition for local convexifiability of a class of pseudoconvex hypersurfaces in $\mathbb C^{n+1}$.
The model 4-dimensional CR-cubic in $\CC{3}$ has the following "model" property: it is (essentially) the unique locally homogeneous 4-dimensional CR-manifold in $\CC{3}$ with finite-dimensional infinitesimal automorphism algebra $\mathfrak{g}$ and non-trivial isotropy subalgebra. We study and classify, up to local biholomorphic equivalence, all $\mathfrak{g}$-homogeneous hypersurfaces in $\CC{3}$ and also classify the corresponding local transitive actions of the model algebra $\mathfrak{g}$ on hypersurfaces in $\CC{3}$.
We give an explicit verifiable characterization of weakly pseudoconvex but locally nonconvexifiable hypersurfaces of finite type in dimension two. It is expressed in terms of a generalized model, which captures local geometry of the hypersurface both in the complex tangential and nontangential directions. As an application we obtain a new class of nonconvexifiable pseudoconvex hypersurfaces with convex models.
It follows from the 2004 work of the first author, X.Huang, and D. Zaitsev that any local CR embedding $f$ of a strictly psedoconvex hypersurface $M^{2n+1}\subset\bC^{n+1}$ into the sphere $\bS^{2N+1}\subset \bC^{N+1}$ is rigid, i.e.\ any other such local embedding is obtained from $f$ by composition by an automorphism of the target sphere $\bS^{2N+1}$, {\it provided} that the codimension $N-n<n/2$. In this paper, we consider the limit case $N-n=n/2$ in the simplest situation where $n=2$, i.e.\ we consider local CR embeddings $f\colon M^5\to \bS^7$. We show that there are at most two different…
We construct normal forms for Levi degenerate hypersurfaces of finite type in $\mathbb C^2$. As one consequence, an explicit solution to the problem of local biholomorphic equivalence is obtained. Another consequence determines the dimension of the stability group of the hypersurface.
We prove the existence of normal forms for some local real-analytic Levi-flat hypersurfaces with an isolated line singularity. We also give sufficient conditions for that a Levi-flat hypersurface with a complex line as singularity to be a pullback of a real-analytic curve in C via a holomorphic function.
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 h…
We prove that a meromorphic mapping, which sends a peace of a real analytic strictly pseudoconvex hypersurface in $\cc^2$ to a compact subset of $\cc^N$ which doesn't contain germs of non-constant complex curves is continuous from the concave side of the hypersurface. This implies the analytic continuability along CR-paths of germs of holomorphic mappings from real analytic hypersurfaces with non-vanishing Levi form to the locally spherical ones in all dimensions.
We study the local equivalence problem for five dimensional real hypersurfaces $M^5$ of $\mathbb{C}^3$ which are $2$-nondegenerate and of constant Levi rank $1$ under biholomorphisms. We find two invariants, $J$ and $W$, which are expressed explicitly in terms of the graphing function $F$ of $M$, the annulation of which give a necessary and sufficient condition for $M$ to be locally biholomorphic to a model hypersurface, the tube over the light cone. If one of the two invariants $J$ or $W$ does not vanish on $M$, we show that the equivalence problem under biholomophisms reduces to an equivalen…
Let $M$ be a real analytic hypersurface in $\bC^N$ which is finitely nondegenerate, a notion that can be viewed as a generalization of Levi nondegenerate, at $p_0\in M$. We show that if $M'$ is another such hypersurface and $p'_0\in M'$, then the set of germs at $p_0$ of biholomorphisms $H$ with $H(M)\subset M'$ and $H(p_0)=p'_0$, equipped with its natural topology, can be naturally embedded as a real analytic submanifold in the complex jet group of $\bC^N$ of the appropriate order. We also show that this submanifold is defined by equations that can be explicitly computed from defining equatio…
We consider smooth, complex quasi-projective varieties $U$ which admit a compactification with a boundary which is an arrangement of smooth algebraic hypersurfaces. If the hypersurfaces intersect locally like hyperplanes, and the relative interiors of the hypersurfaces are Stein manifolds, we prove that the cohomology of certain local systems on $U$ vanishes. As an application, we show that complements of linear, toric, and elliptic arrangements are both duality and abelian duality spaces.
In this work we study algebraic, geometric and topological properties of the Milnor classes of local complete intersections with arbitrary singularities. We describe first the Milnor class of the intersection of a finite number of hypersurfaces, under certain conditions of transversality, in terms of the Milnor classes of the hypersurfaces. Using this description we obtain a Parusiński-Pragacz type formula, an Aluffi type formula and a description of the Milnor class of the local complete intersection in terms of the global Lê cycles of the hypersurfaces that define it. We consider next the ge…
We establish compactness estimates for $\overline{\partial}_{b}$ on a compact pseudoconvex CR-submanifold of $\mathbb{C}^{n}$ of hypersurface type that satisfies property(P). When the submanifold is orientable, these estimates were proved by A.~Raich via microlocal methods. Our proof deduces the estimates from (a slight extension, when $q>1$, of) those known on hypersurfaces via the fact that locally, CR-submanifolds of hypersurface type are CR-equivalent to a hypersurface. The relationship between two potential theoretic conditions is also clarified.