Source author record

Xianghong Gong

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

10works
4topics
4close collaborators

Published work

10 publications

preprint2021arXiv

Regularity of a ∂ˉ\bar\partial-solution operator for strongly C\mathbf C-linearly convex domains with minimal smoothness

We prove regularity of solutions of the ∂ˉ\bar\partial-problem in the Hölder-Zygmund spaces of bounded, strongly C\mathbf C-linearly convex domains of class C1,1C^{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 C2C^2.

preprint2020arXiv

Equivalence of Neighborhoods of Embedded Compact Complex Manifolds and Higher Codimension Foliations

We consider an embedded nn-dimensional compact complex manifold in n+dn+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 CnC_n in Mn+dM_{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 Mn+dM_{n+d } having CnC_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.

preprint2020arXiv

Global Newlander-Nirenberg theorem for domains with C2C^2 boundary

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 C2C^2 strictly pseudoconvex boundary. When a given formally integrable complex structure XX is defined on the closure of a bounded strictly pseudoconvex domain with C2C^2 boundary D⊂CnD\subset \mathbb{C}^n, we show the existence of global holomorphic coordinate systems defined on D‾\overline{D} that transform XX into the standard complex structure provided that XX is sufficiently close to the standard complex structure. Moreover, we show that such closeness is stable under a small C2C^2 perturbation of ∂D\partial D. As a consequence, when a given formally integrable complex structure is defined on a one-sided neighborhood of some point in a C2C^2 real hypersurface M⊂CnM\subset \mathbb{C}^n, we prove the existence of local one-sided holomorphic coordinate systems provided that MM is strictly pseudoconvex with respect to the given complex structure. We also obtain results when the structures are finite smooth.

preprint2016arXiv

Real submanifolds of maximum complex tangent space at a CR singular point, I

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.

preprint2016arXiv

Real submanifolds of maximum complex tangent space at a CR singular point, II

We study a germ of real analytic n-dimensional submanifold of CnC^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.

preprint2014arXiv

Normal forms for CR singular codimension two Levi-flat submanifolds

Real-analytic Levi-flat codimension two CR singular submanifolds are a natural generalization to Cm{\mathbb{C}}^m, m>2m > 2, of Bishop surfaces in C2{\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 zm=zˉ1z2+zˉ12z_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 C3{\mathbb{C}}^3 in the nondegenerate case that shows infinitely many formal invariants.

preprint2014arXiv

Real submanifolds of maximum complex tangent space at a CR singular point

We study a germ of real analytic nn-dimensional submanifold of Cn{\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 Cn{\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}.

preprint2011arXiv

Dirichlet and Neumann problems for planar domains with parameter

Let Γ(⋅,λ)Γ(\cdot,λ) be smooth, i.e.\, C∞\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]I=[0,1]. Suppose that ΓΓ is smooth on Ωˉ×I\barΩ\times I and ff is a smooth function on ∂Ω×I\partialΩ\times I. Let u(⋅,λ)u(\cdot,λ) be the harmonic functions on ΩλΩ^λ with boundary values f(⋅,λ)f(\cdot,λ). We show that u(Γ(z,λ),λ)u(Γ(z,λ),λ) is smooth on Ωˉ×I\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 Dˉ\bar{\mathbb D}, the closure of the unit disc, onto Ωλˉ\bar{Ω^λ} such that ΓΓ is smooth on Dˉ×I\bar{\mathbb D}\times I and real analytic at (−1,0)∈Dˉ×I(\sqrt{-1},0)\in\bar{\mathbb D}\times I, but for every family of Riemann mappings R(⋅,λ)R(\cdot,λ) from Ωλˉ\bar{Ω^λ} onto Dˉ\bar{\mathbb D}, the function R(Γ(z,λ),λ)R(Γ(z,λ),λ) is not real analytic at (−1,0)∈Dˉ×I(\sqrt{-1},0)\in\bar{\mathbb D}\times I.

preprint2010arXiv

Common boundary values of holomorphic functions for two-sided complex structures

Let Ω1,Ω2Ω_1,Ω_2 be two disjoint open sets in Cn\mathbf C^n whose boundaries share a smooth real hypersurface MM as relatively open subsets. Assume that ΩiΩ_i is equipped with a complex structure JiJ^i which is smooth up to MM. Assume that the operator norm ∥J2−J1∥<2\|J^2-J^1\|<2 on MM. Let ff be a continuous function on the union of Ω1,Ω2,MΩ_1,Ω_2, M. If ff is holomorphic with respect to both structures in the open sets, then ff must be smooth on the union of Ω1Ω_1 with MM. 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.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.