BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Xianghong Gong appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The goal of the article is to show that an n-dimensional complex torus embedded in a complex manifold of dimensional n+d, with a split tangent bundle, has neighborhood biholomorphic a neighborhood of the zero section in its normal bundle, provided the latter has (locally constant) Hermitian transition functions and satisfies a non-resonant Diophantine condition.
We prove regularity of solutions of the $\bar\partial$-problem in the Hölder-Zygmund spaces of bounded, strongly $\mathbf C$-linearly convex domains of class $C^{1,1}$. The proofs rely on a new, analytic characterization of said domains which is of independent interest, and on techniques that were recently developed by the first-named author to prove estimates for the $\bar\partial$-problem on strongly pseudoconvex domains of class $C^2$.
We consider an embedded $n$-dimensional compact complex manifold in $n+d$ dimensional complex manifolds. We are interested in the holomorphic classification of neighborhoods as part of Grauert's formal principle program. We will give conditions ensuring that a neighborhood of $C_n$ in $M_{n+d}$ is biholomorphic to a neighborhood of the zero section of its normal bundle. This extends Arnold's result about neighborhoods of a complex torus in a surface. We also prove the existence of a holomorphic foliation in $M_{n+d }$ having $C_n$ as a compact leaf, extending Ueda's theory to the high codimension case. Both problems appear as a kind linearization problem involving small divisors condition arising from solutions to their cohomological equations.
The Newlander-Nirenberg theorem says that a formally integrable complex structure is locally equivalent to the standard complex structure in the complex Euclidean space. In this paper, we consider two natural generalizations of the Newlander-Nirenberg theorem under the presence of a $C^2$ strictly pseudoconvex boundary. When a given formally integrable complex structure $X$ is defined on the closure of a bounded strictly pseudoconvex domain with $C^2$ boundary $D\subset \mathbb{C}^n$, we show the existence of global holomorphic coordinate systems defined on $\overline{D}$ that transform $X$ into the standard complex structure provided that $X$ is sufficiently close to the standard complex structure. Moreover, we show that such closeness is stable under a small $C^2$ perturbation of $\partial D$. As a consequence, when a given formally integrable complex structure is defined on a one-sided neighborhood of some point in a $C^2$ real hypersurface $M\subset \mathbb{C}^n$, we prove the existence of local one-sided holomorphic coordinate systems provided that $M$ is strictly pseudoconvex with respect to the given complex structure. We also obtain results when the structures are finite smooth.
We study a germ of real analytic n-dimensional submanifold of C n that has a complex tangent space of maximal dimension at a CR singularity. Under some assumptions , we show its equivalence to a normal form under a local biholomorphism at the singularity. We also show that if a real submanifold is formally equivalent to a quadric, it is actually holomorphically equivalent to it, if a small divisors condition is satisfied. Finally, we investigate the existence of a complex submanifold of positive dimension in C n that intersects a real submanifold along two totally and real analytic submanifolds that intersect transversally at a possibly non-isolated CR singularity.
We study a germ of real analytic n-dimensional submanifold of $C^n$ that has a complex tangent space of maximal dimension at a CR singularity. Under the condition that its complexification admits the maximum number of deck transformations, we first classify holomorphically its quadratic CR singularity. We then study its transformation to a normal form under the action of local (possibly formal) biholomorphisms at the singularity. We first conjugate formally its associated reversible map $σ$ to suitable normal forms and show that all these normal forms can be divergent. We then construct a unique formal normal form under a non degeneracy condition.
Real-analytic Levi-flat codimension two CR singular submanifolds are a natural generalization to ${\mathbb{C}}^m$, $m > 2$, of Bishop surfaces in ${\mathbb{C}}^2$. Such submanifolds for example arise as zero sets of mixed-holomorphic equations with one variable antiholomorphic. We classify the codimension two Levi-flat CR singular quadrics, and we notice that new types of submanifolds arise in dimension 3 or greater. In fact, the nondegenerate submanifolds, i.e. higher order purturbations of $z_m=\bar{z}_1z_2+\bar{z}_1^2$, have no analogue in dimension 2. We prove that the Levi-foliation extends through the singularity in the real-analytic nondegenerate case. Furthermore, we prove that the quadric is a (convergent) normal form for a natural large class of such submanifolds, and we compute its automorphism group. In general, we find a formal normal form in ${\mathbb{C}}^3$ in the nondegenerate case that shows infinitely many formal invariants.
We study a germ of real analytic $n$-dimensional submanifold of ${\mathbf C}^n$ that has a complex tangent space of maximal dimension at a CR singularity. Under the condition that its complexification admits the maximum number of deck transformations, we study its transformation to a normal form under the action of local (possibly formal) biholomorphisms at the singularity. We first conjugate formally its associated reversible map $σ$ to suitable normal forms and show that all these normal forms can be divergent. If the singularity is {\it abelian}, we show, under some assumptions on the linear part of $σ$ at the singularity, that the real submanifold is holomorphically equivalent to an analytic normal form. We also show that if a real submanifold is formally equivalent to a quadric, it is actually holomorphically equivalent to it, if a small divisors condition is satisfied. Finally, we prove that, in general, there exists a complex submanifold of positive dimension in ${\mathbf C}^n$ that intersects a real submanifold along two totally and real analytic submanifolds that intersect transversally at a CR singularity of the {\it complex type}.
Let $Γ(\cdot,λ)$ be smooth, i.e.\, $\mathcal C^\infty$, embeddings from $\barΩ$ onto $\bar{Ω^λ}$, where $Ω$ and $Ω^λ$ are bounded domains with smooth boundary in the complex plane and $λ$ varies in $I=[0,1]$. Suppose that $Γ$ is smooth on $\barΩ\times I$ and $f$ is a smooth function on $\partialΩ\times I$. Let $u(\cdot,λ)$ be the harmonic functions on $Ω^λ$ with boundary values $f(\cdot,λ)$. We show that $u(Γ(z,λ),λ)$ is smooth on $\barΩ\times I$. Our main result is proved for suitable Hölder spaces for the Dirichlet and Neumann problems with parameter. By observing that the regularity of solutions of the two problems with parameter is not local, we show the existence of smooth embeddings $Γ(\cdot,λ)$ from $\bar{\mathbb D}$, the closure of the unit disc, onto $\bar{Ω^λ}$ such that $Γ$ is smooth on $\bar{\mathbb D}\times I$ and real analytic at $(\sqrt{-1},0)\in\bar{\mathbb D}\times I$, but for every family of Riemann mappings $R(\cdot,λ)$ from $\bar{Ω^λ}$ onto $\bar{\mathbb D}$, the function $R(Γ(z,λ),λ)$ is not real analytic at $(\sqrt{-1},0)\in\bar{\mathbb D}\times I$.
Let $Ω_1,Ω_2$ be two disjoint open sets in $\mathbf C^n$ whose boundaries share a smooth real hypersurface $M$ as relatively open subsets. Assume that $Ω_i$ is equipped with a complex structure $J^i$ which is smooth up to $M$. Assume that the operator norm $\|J^2-J^1\|<2$ on $M$. Let $f$ be a continuous function on the union of $Ω_1,Ω_2, M$. If $f$ is holomorphic with respect to both structures in the open sets, then $f$ must be smooth on the union of $Ω_1$ with $M$. Although the result as stated is far more meaningful for integrable structures, our methods make it much more natural to deal with the general almost complex structures without the integrability condition. The result is therefore proved in the framework of almost complex structures.