The $\partial \bar{\partial}$-problem for a differential forms with boundary value in currents sense defined in a contractible completely strictly pseudoconvex domain of a complex manifold
We solve the $\partial \bar{\partial}$-problem for the differential forms of class $C^\infty$ with boundary value in currents sense defined on a contractible completely strictly pseudoconvex domain of a complex manifold.
A conjecture due to Gompf asserts that no nontrivial Brieskorn homology sphere admits a pseudoconvex embedding in ${\mathbb C}^2$, with either orientation. A related question asks whether every compact contractible 4-manifold admits the structure of a Stein domain. We verify Gompf's conjecture, with one orientation, for a family of Brieskorn spheres of which some are known to admit a smooth embedding in ${\mathbb C}^2$. With the other orientation our methods do not resolve the question, but do give rise to an example of a contractible, boundary-irreducible 4-manifold that admits no Stein struc…
We solve the $\partial \bar{\partial}$-problem for a form with distribution boundary value on a strongly pseudoconvex contractible domain of a complex manifold.
Locally homogeneous strictly pseudoconvex hypersurfaces in $\mathbb C^2$ were classified by E.\,Cartan in 1932. In this work, we complete the classification of locally homogeneous strictly pseudoconvex hypersurfaces in $\mathbb C^3$.
We construct a class of strictly pseudoconvex domains in Cdwhose core has non-empty interior. Consequently these cores are not pluripolar. This answers a question posed by Harz, Shcherbina and Tomassini.
We prove that given a family of strictly pseudoconvex domains varying in C2 topology on domains, there exists a continuously varying family of exposing maps for all boundary points of all domains.
We prove that given a family $(G_t)$ of strictly pseudoconvex domains varying in $\mathcal{C}^2$ topology on domains, there exists a continuously varying family of peak functions $h_{t,ζ}$ for all $G_t$ at every $ζ\in\partial G_t.$
We give a parameter version of Graham-Kerzman approximation theorem for bounded holomorphic functions on strictly pseudoconvex domains. As an application, we present some uniform estimates for the boundary behaviour of the Kobayashi and Carathéodory pseudodistences on such domains.
We build in a given pseudoconvex (Runge) domain $D$ of $\mathbb{C}^N$ a $\mathcal O(D)$ convex set $Γ$, every connected component of which is a holomorphically contractible (convex) compact set, enjoying the property that any continuous path $γ:[0,1)\rightarrow D$ with $\lim _{r\rightarrow 1}γ(r)\in \partial D$ and omitting $Γ$ has infinite length. This solves a problem left open in a recent paper by Alarcón and Forstnerič.
We give the parameter version of localization theorem for Bergman metric near the boundary points of strictly pseudoconvex domains. The approximation theorem for square integrable holomorphic functions on such domains in the spirit of Graham-Kerzman is proved in the hereby paper, as well.
We study the complex Monge-Ampère equation $(dd^c u)^n=μ$ in a strictly pseudoconvex domain $Ω$ with the boundary condition $u=φ$, where $φ\in C(\partialΩ)$. We provide a non-trivial sufficient condition for continuity of the solution $u$ outside "small sets".
We use the method of pseudoanalytic continuation to obtain a characterization of spaces of holomorphic functions with boundary values in Besov spaces in terms of polynomial approximations.
We obtain weighted estimates for the $\bar{\partial}$-Neumann operator on intersections of two smooth strictly pseudoconvex domains in $\mathbb{C}^2$. The regularity estimates are described with the use of Sobolev norms with weights which are powers of the defining functions of the two domains.
An extension of the estimates for the squeezing function of strictly pseudoconvex domains obtained recently by J. E. Fornæss and E. Wold in \cite{FW1} is applied to derive a sharp boundary behaviour of invariant metrics and Bergman curvatures.
The main objective of this paper is to survey some recent results on the Chern--Moser question concerning existence of umbilical points on three dimensional CR submanifolds in $\mathbb C^2$.
We investigate regularity properties of the $\overline{\partial}$-equation on domains in a complex euclidean space that depend on a parameter. Both the interior regularity and the regularity in the parameter are obtained for a continuous family of pseudoconvex domains. The boundary regularity and the regularity in the parameter are also obtained for smoothly bounded strongly pseudoconvex domains.
We prove the following: For $ε>0$, let $D_ε$ be the bounded strictly pseudoconvex domain in $\mathbb C^2$ given by \begin{equation*} (\log|z|)^2+(\log|w|)^2<ε^2. \end{equation*} The boundary $M_ε:=\partial D_ε\subset \mathbb C^2$ is a compact strictly pseudoconvex CR manifold without umbilical points. This resolves a long-standing question in complex analysis that goes back to the work of S.-S. Chern and J. K. Moser in 1974.
In recent work by Zimmer it was proved that if $Ω\subset\mathbb C^n$ is a bounded convex domain with $C^\infty$-smooth boundary, then $Ω$ is strictly pseudoconvex provided that the squeezing function approaches one as one approaches the boundary. We show that this result fails if $Ω$ is only assumed to be $C^2$-smooth.
Let $D$ be a strictly pseudoconvex domain and $X$ be a singular analytic set of pure dimension $n-1$ in $C^n$ such that $X\cap D\neq \emptyset$ and $X\cap bD$ is transverse. We give sufficient conditions for a function holomorphic on $D\cap X$ to admit a holomorphic extension which belongs to $L^q(D),$ $q\in [1,+\infty[$, or to $BMO(D)$. The extension is given by mean of integral representation formulas and residue currents.
We give sharp and explicit upper bounds for the first positive eigenvalue $λ_1(\Box_b)$ of the Kohn-Laplacian on compact strictly pseudoconvex hypersurfaces in $\mathbb{C}^{n+1}$ in terms of their defining functions. As an application, we show that in the family of real ellipsoids, $λ_1(\Box_b)$ has a unique maximum value at the CR sphere.
Let $Ω\subset\mathbb{C}^n$ be a strictly pseudoconvex Runge domain with $C^2$-smooth defining function, $l\in\mathbb{N},$ $p\in(1,\infty).$ We prove that the holomorphic function $f$ has derivatives of order $l$ in $H^p(Ω)$ if and only if there exists a sequence on polynomials $P_n$ of degree $n$ such that $\sum\limits_{k=1}^{\infty}2^{2lk}\left\lvert f(z)-P_{2^k}(z) \right\rvert^2\in L^p(\partialΩ).$
We derive a new homotopy formula for a strictly pseudoconvex domain of $C^2$ boundary in ${\mathbf C}^n$ by using a method of Lieb and Range and obtain estimates in Lipschitz spaces for the homotopy operators. For $r>1$ and $q>0$, we obtain a $Λ_{r+{1}/{2}}$ solution $u$ to $\overline\partial u=f$ for $\overline\partial$-closed $(0,q)$ forms $f$ of class $Λ_{r}$ on the domain. We apply the estimates to obtain boundary regularities of $\mathcal D$-solutions for a domain in the Levi-flat Euclidean space.
In this paper we prove generic results concerning Hardy spaces in one or several complex variables. More precisely, we show that the generic function in certain Hardy type spaces is totally unbounded and hence non-extentable, despite the fact that these functions have non tangential limits at the boundary of the domain. We also consider local Hardy spaces and show that generically these functions do not belong, not even locally, to Hardy spaces of higher order. We work first in the case of the unit ball of Cn where the calculations are easier and the results are somehow better, and then we ext…
On a bounded strictly pseudoconvex domain in $\mathbb{C}^n$, $n>1$, the smoothness of the Cheng-Yau solution to Fefferman's complex Monge-Ampere equation up to the boundary is obstructed by a local CR invariant of the boundary. For a bounded strictly pseudoconvex domain $Ω\subset \mathbb{C}^2$ diffeomorphic to the ball, we prove that the global vanishing of this obstruction implies biholomorphic equivalence to the unit ball, subject to the existence of a holomorphic vector field satisfying a mild approximate tangency condition along the boundary. In particular, by considering the Euler vector …
We prove a local boundary regularity result for the complete Kahler-Einstein metrics of negative Ricci curvature near strictly pseudoconvex boundary point. We also study the asymptotic behaviour of their holomorphic bisectional curvatures near such points.
We characterise in this work the $q$-plurisubharmonic functions in terms of the theory of viscosity solutions. We show that an upper semicontinuous function is $q$-plurisubharmonic if and only if its complex Hessian has at most $q$ strictly negative eigenvalues in the viscosity sense. This characterisation is then used to prove that the supremum convolution of a (strictly) $q$-plurisubharmonic function is again (strictly) $q$-plurisubharmonic on a maybe different set of definition. Finally, we use the supremum convolution to deduce a new characterisation for the $q$-pseudoconvex subsets in $\m…
In this paper, we consider bounded strictly pseudoconvex domains $D\subset \mathbb C^2$ with smooth boundary $M=M^3:=\partial D$. If we consider the asymptotic expansion of the Bergman kernel on the diagonal $$ K_B\sim \frac{ϕ_B}{ρ^{n+1}}+ψ_B\logρ, $$ where $ρ>0$ is a Fefferman defining equation for $D$, then it is well known that the trace of the log term $bψ_B:=(ψ_B)|_M$ on $M$ does not determine the CR geometry of $M$ locally; e.g., the vanishing of $bψ_B$ on an open subset of $M$ does not imply that $M$ is locally spherical there. Nevertheless, the main result in this paper is that if $D\s…
We study the plurisubharmonic envelopes of functions in the setting of domains in $\mathbb C^n$. In particular we prove a complex analogue of a result of De Philippis and Figalli concerning the optimal regularity of such envelopes in smooth strictly pseudoconvex domains.
Given a pseudoconvex domain U with C^1-boundary in P^n, n>2, we show that if H^{2n-2}_\dR}(U)\not=0, then there is a strictly psh function in a neighborhood of boundary U. We also solve the \dbar-equation in X=P^n\ U, for data smooth (0,1) forms on X. We also discuss Levi-flat domains in surfaces. If Z is a real algebraic hypersurface in P^2, (resp a real-analytic hypersurface with a point of strict pseudoconvexity), then there is a strictly psh function in a neighborhood of Z.
We consider the curvature strict positivity of the direct image bundle associated to a pseudoconvex family of bounded domains. The main result is that the curvature of the direct image bundle associated to a strictly pseudoconvex family of bounded circular domains or Reinhardut domains are strictly positive in the sense of Nakano, even if the weight functions are not strictly plurisubharmonic. This result gives a new geometric insight about the property of strict pseudoconvexity, and has some applications in complex analysis and convex analysis. We investigate that the main result implies a re…
For a smooth strictly pseudoconvex hypersurface in a complex manifold, we give a necessary and sufficient condition for being CR-diffeomorphic to a real-analytic CR manifold. Our condition amounts to a holomorphic extension property for the canonically associated function expressing $2$-jets of the formal Segre varieties in terms of their $1$-jets. We also express this condition in equivalent terms for a Fefferman type determinant
This short paper gives a constraint on Chern classes of closed strictly pseudoconvex CR manifolds (or equivalently, closed holomorphically fillable contact manifolds) of dimension at least five. We also see that our result is ''optimal'' through some examples.
Having been unclear how to define that a domain is strictly pseudoconvex in the infinite-dimensional setting, we develop a general theory having Banach spaces in mind. We first focus on finite dimension and eliminate the need of two degrees of differentiability of the boundary of a domain, since differentiable functions are difficult to find in infinite dimension. We introduce $\ell$-strict pseudoconvexity for $\ell\geq 1$, $1$-strict pseudoconvexity at the boundary, $\ell$-uniform pseudoconvexity for $\ell\geq 0$ and finally strong pseudoconvexity. Defining $\ell$-strict pseudoconvexity and $…
We construct a solution operator for $\overline{\partial}$ equation that gains $\frac{1}{2}$ derivative in the fractional Sobolev space $H^{s,p}$ on bounded strictly pseudoconvex domains in $\mathbb{C}^n$ with $C^2$ boundary, for all $1 < p < \infty$ and $ s > \frac{1}{p}$.
This is a survey on the correspondence between asymptotically complex hyperbolic Einstein metrics and CR structures on the boundary at infinity, which is the complex version of that between Poincaré-Einstein metrics and conformal structures. We mainly discuss existence theorems, and propose several open problems.
In this paper, we study the behavior of the weighted composition operators acting on Bergman spaces defined on strictly pseudoconvex domains via the sparse domination technique from harmonic analysis. As a byproduct, we also prove a weighted type estimate for the weighted composition operators which is adapted to Sawyer-testing conditions. Our results extend the work by the first author, Li, Shi and Wick under a much more general setting.
In this note, we affirm the partial answer to the long open Conjecture which states that any closed embeddable strictly pseudoconvex CR $3$-manifold admits a contact form $θ$ with the vanishing CR $Q$-curvature. More precisely, we deform the contact form according to an CR analogue of $Q$%-curvature flow in a closed strictly pseudoconvex CR $3$-manifold $(M,\ J,[θ_{0}])$ of the vanishing first Chern class $c_{1}(T_{1,0}M)$. Suppose that $M$ is embeddable and the CR Paneitz operator $P_{0}$ is nonnegative with kernel consisting of the CR pluriharmonic functions. We show that the solution of CR …
Kähler-Einstein metrics on strictly pseudoconvex domains
S. Y. Cheng和S.- T.在复流形中的严格伪凸区域上考虑了Yau的一些性质。这样的流形带有完备的凯勒-爱因斯坦度量当且仅当它的典范丛是正的。我们考虑的限制情况下,CR结构的$\partial M$是正常的。在这种情况下,M必须是$\partial M$上的Sasaki锥的分解中的域。给出了正规CR流形上的一个条件,如果它是Kähler-Einstein流形的CR无穷远,则它不能满足这个条件。我们基本上能够确定那些正规的CR 3-流形,它们可以是CR无穷大。许多例子给出了Kähler-Einstein严格伪凸流形上的丛和决议。