Related papers: A smooth regularity theorem for nondegenerate CR-m…

We prove that if $M$ and $M'$ are algebraic hypersurfaces in $ C^ N$, i.e. both defined by the vanishing of real polynomials, then any sufficiently smooth CR mapping with Jacobian not identically zero extends holomorphically provided the…

We prove the following Artin type approximation theorem for smooth CR mappings: given M a connected real-analytic CR submanifold in C^N that is minimal at some point, M' a real-analytic subset of C^N', and H:M->M' a smooth CR mapping, there…

It is proved that any smooth manifold $\mathcal M$ of dimension $m$ admits a smooth polynomially convex embedding into $\mathbb C^n$ when $n\geq \lfloor 5m/4\rfloor$. Further, such embeddings are dense in the space of smooth maps from…

Searching normal forms for real analytic submanifolds of C^n involves convergence problems. In 1983, J.K. Moser and S.M. Webster provided examples of real analytic surfaces in C^2 having an isolated hyperbolic (in the sense of E. Bishop)…

Germs of locally homogeneous CR manifolds M can be characterized in terms of certain algebraic data, e.g., by CR-algebras. We give an explicit formula which relates the Levi form of such an M and its higher order analogues to the Lie…

Let G be a Lie group modelled on a locally convex space, with Lie algebra g, and k be a non-negative integer or infinity. We say that G is C^k-semiregular if each C^k-curve c in g admits a left evolution Evol(c) in G. If, moreover, the map…

Let $M$ and $N$ be smooth manifolds, with $M$ closed and connected. If the $C^r$--diffeomorphism group of $M$ is elementarily equivalent to the $C^s$--diffeomorphism group of $N$ for some $r,s\in[1,\infty)\cup\{0,\infty\}$, then $r=s$ and…

We prove that if the minors of degree $k$ of a Sobolev map $\mathbb{R}^d \to \mathbb{R}^d$ are smooth then the map is smooth, when $k,d$ are not both even. We use this result to derive a simple, self-contained proof of the famous Liouville…

The six nondegeneracy conditions of geometric nature that are satisfied by the only six possibly existing nondegenerate general classes I, II, III-1, III-2, IV-1, IV-2 of 5-dimensional CR manifolds are shown to be readable instantaneously…

We prove a version of Myers-Steenrod's theorem for Finsler manifolds under minimal regularity hypothesis. In particular we show that an isometry between $C^{k,\alpha}$-smooth (or partially smooth) Finsler metrics, with $k+\alpha>0$, $k\in…

It is constructed a normal form for a class of real-smooth surfaces M\subset\mathbb{C}^{2} defined near a degenerate CR singularity.

We study regularity properties of CR maps in positive codimension valued in pseudoconvex manifolds which carry a nontrivial Levi foliation. We introduce an invariant which can be used to deduce that any sufficiently regular CR map from a…

A very short proof of the following smooth homogeneity theorem of D. Repovs, E. V. Scepin and the author is presented. Let N be a locally compact subset of a smooth manifold M. Assume that for each two points x,y in N there exist their…

In this article the notion of ultradifferentiable CR manifold is introduced and an ultradifferentiable regularity result for finitely nondegenerate CR mappings is proven. Here ultradifferentiable means with respect to Denjoy-Carleman…

We consider CR submersive mappings between generic submanifolds in complex space. We show that, under suitable conditions on the manifolds, there is an integer k such that any jet of the CR mapping at a given point is a rational function of…

For a general $k$-gonal curve $C$ with a morphism $f: C \rightarrow \mathbb{P}^1$ of degree $k$, we consider the refinement of the Brill-Noether schemes $W^r_d(C)$ by means of the Brill-Noether degeneracy schemes…

Let $M$ be a connected real-analytic hypersurface in $\C^N$ and $\S$ the unit real sphere in $\C^{N'}$, $N'> N\geq 2$. Assume that $M$ does not contain any complex-analytic hypersurface of $\C^N$ and that there exists at least one strongly…

We consider a smooth CR mapping $f$ from a real-analytic generic submanifold $M$ in $\bC^N$ into $\bC^N$. For $M$ of finite type and essentially finite at a point $p\in M$, and $f$ formally finite at $p$, we give a necessary and sufficient…

Let M,M' be smooth real hypersurfaces in N-dimensional space and assume that M is k-nondegenerate at a point p in M. We prove that holomorphic mappings that extend smoothly to M, sending a neighborhood of p in M diffeomorphically into M'…

For a smooth, non-degenerate locally integrable structure of hypersurface type on a manifold $M$, we provide necessary and sufficient conditions for it to be equivalent, near a point, to a real-analytic locally integrable structure (the…