Related papers: A note on CR mappings of positive codimension

In our previous work, we introduced a special type of Hermitian metrics called {\em torsion-critical,} which are non-K\"ahler critical points of the $L^2$-norm of Chern torsion over the space of all Hermitian metrics with unit volume on a…

Let $R$ be the homogeneous coordinate ring of a smooth projective variety $X$ over a field $\k$ of characteristic~0. We calculate the $K$-theory of $R$ in terms of the geometry of the projective embedding of $X$. In particular, if $X$ is a…

We construct a family of analytic discs attached to a real submanifold M \subset $\mathbb{C}^{N+1}$ of codimension $2$ defined near a CR singularity.

Let $Crit M$ denote the minimal number of critical points (not necessarily non-degenerate) on a closed smooth manifold $M$. We are interested in the evaluation of $Crit$. It is worth noting that we do not know yet whether $Crit M$ is a…

We give a complete characterization of compact sets with positive reach (=proximally $C^1$ sets) in the plane and of one-dimensional sets with positive reach in ${\mathbb R}^d$. Further, we prove that if $\emptyset \neq A\subset{\mathbb…

Let $H$ be a $k$-uniform hypergraph on $n$ vertices where $n$ is a sufficiently large integer not divisible by $k$. We prove that if the minimum $(k-1)$-degree of $H$ is at least $\lfloor n/k \rfloor$, then $H$ contains a matching with…

In this paper, we consider a closed Riemannian manifold $M^{n+1}$ with dimension $3\leq n+1\leq 7$, and a compact Lie group $G$ acting as isometries on $M$ with cohomogeneity at least $3$. After adapting the Almgren-Pitts min-max theory to…

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…

Let $\mathscr{A}$ be a connected cochain DG algebra such that $H(\mathscr{A})$ is a Noetherian graded algebra. We give some criteria for $\mathscr{A}$ to be homologically smooth in terms of the singularity category, the cone length of the…

Let S be a generic C-infinity smooth CR manifold in C^n, n > 1, and let M be a generic C-infinity CR submanifold of S X C^m. We prescribe conditions on M so that it is the disjoint union of graphs of CR maps f:S-->C^m. We also consider the…

We prove that every smooth CR manifold $M\subset\subset \C^n$, of hypersurface type, has a complex strip-manifold extension in $\C^n$. If $M$ is, in addition, pseudoconvex-oriented, it is the "exterior" boundary of the strip. In turn, the…

It is known that a real analytic CR function f on a real analytic, generic submanifold M in C^N can be holomorphically extended. A stronger result on a finite type, real analytic, generic submanifold M is found in which we assume f a…

In this article we establish the arithmetic purity of strong approximation for certain semi-simple simply connected $k$-simple linear algebraic groups and their homogeneous spaces over a number field $k$. For instance, for any such group…

The following result is proved: Let $D$ and $D'$ be bounded domains in $\mathbb C^n$, $\partial D$ is smooth, real-analytic, simply connected, and $\partial D'$ is connected, smooth, real-algebraic. Then there exists a proper holomorphic…

In this paper we prove an optimal co-degrees resilience property for the binomial $k$-uniform hypergraph model $H_{n,p}^k$ with respect to perfect matchings. That is, for a sufficiently large $n$ which is divisible by $k$, and $p\geq…

Let S be a Dedekind scheme with field of functions K. We show that if X_K is a smooth connected proper curve of positive genus over K, then it admits a N\'eron model over S, i.e., a smooth separated model of finite type satisfying the usual…

We prove smooth and analytic versions of the classical Schwarz reflection principle for transversal CR mappings between two CR manifolds of hypersurface type.

We say that a CR singular submanifold $M$ has a removable CR singularity if the CR structure at the CR points of $M$ extends through the singularity as an abstract CR structure on $M$. We study such real-analytic submanifolds, in which case…

For quasianalytic Denjoy--Carleman differentiable function classes $C^Q$ where the weight sequence $Q=(Q_k)$ is log-convex, stable under derivations, of moderate growth and also an $\mathcal L$-intersection (see 1.6), we prove the…

Let $K$ be a closed polydisc or ball in $\C^n$, and let $Y$ be a quasi projective algebraic manifold which is Zariski locally equivalent to $\C^p$, or a complement of an algebraic subvariety of codimension $\ge 2$ in such manifold. If $r$…