Let X be a connected normal Stein space of pure dimension d>=2 with isolated singularities only. By solving a weighted d-bar-equation with compact support on a desingularization of X, we derive Hartogs' Extension Theorem on X by the d-bar-idea due to Ehrenpreis.
We discuss various known generalizations of the classical Hartogs' extension theorem on Stein spaces with arbitrary singularities and present an analytic proof based on d-bar methods.
The aim of this paper is to present an extension theorem for the functions separately holomorphic on generalized (N,k)-crosses with pluripolar singularities.
A question of Poletsky was to know if there exists a thin Hartogs figure such that any of its neighborhoods cannot be imbedded in Stein spaces. In \cite{chirka}, Chirka and Ivashkovitch gave such an example arising in an open complex manifold. In this paper, we answer to the question of the existence of such a figure in compact surfaces by giving an example arising in $P_2(\mathbb{C})$. By smoothing it, we obtain a smooth (non analytic) disc with boundary $\bar{D} \subset P_2(\mathbb{C})$ having the same property. Consequently, this disc intersects all algebraic curves of $P_2(\mathbb{C})$. Mo…
Let X be a connected normal complex space of dimension n>=2 which is (n-1)-complete, and let p: M -> X be a resolution of singularities. By use of Takegoshi's generalization of the Grauert-Riemenschneider vanishing theorem, we deduce H^1_{cpt}(M,O)=0, which in turn implies Hartogs' extension theorem on X by the d-bar-technique of Ehrenpreis.
We establish basic results of complex function theory within certain algebras of holomorphic functions on coverings of Stein manifolds (such as algebras of Bohr's holomorphic almost periodic functions on tube domains or algebras of all fibrewise bounded holomorphic functions arising, e.g., in the corona problem for $H^\infty$). In particular, in this context we obtain results on holomorphic extension from complex submanifolds, properties of divisors, corona type theorems, holomorphic analogues of the Peter-Weyl approximation theorem, Hartogs type theorems, characterizations of uniqueness sets,…
We establish extension theorems for separately holomorphic mappings defined on sets of the form W\setminus M with values in a complex analytic space which possesses the Hartogs extension property. Here W is a 2-fold cross of arbitrary complex manifolds and M is a set of singularities which is locally pluripolar (resp. thin) in fibers.
We develop complex function theory within certain algebras of holomorphic functions on coverings of Stein manifolds. This, in particular, includes the results on holomorphic extension from complex submanifolds, corona type theorems, properties of divisors, holomorphic analogs of the Peter-Weyl approximation theorem, Hartogs type theorems, characterization of uniqueness sets. The model examples of these algebras are: (1) Bohr's algebra of holomorphic almost periodic functions on tube domains; (2) algebra of all fibrewise bounded holomorphic functions (e.g., arising in the corona problem for $H^…
We prove in this note a result on extension of meromorphic mappings, which can be considered as a direct generalisation of the Hartogs extension theorem for holomorphic functions. Namely: THEOREM. Every meromorphic mapping $f:H_n^q(r)\to Y$, where $Y$ is a $q$ - -complete complex space, extends to a meromorphic mapping from $Δ^{n+q}$ to $Y$. Here $H_n^q(r):=Δ^n\times (Δ^q\setminus \barΔ_r^q)\cup Δ_r^n\times Δ^q$ is a "q-concave" Hartogs figure in $C^{n+q}$. Remark that in the case $q=1$, i.e. when $Y$ is Stein, the statement of the Theorem is exactly the Theorem of Hartogs.
In section 1, we show that if $X$ is a Stein normal complex space of dimension n and $D\subset \subset X$ an open subset which is the union of an increasing sequence $D_{1}\subset D_{2}\subset ...\subset D_{n}\subset >...$ of domains of holomorphy in $X$. Then $D$ is a domain of holomorphy. In section 2, we prove that a domain of holomorphy $D$ which is relatively compact in a 2-dimensional normal Stein space $X$ itself is Stein. In section 3, we show that if $X$ is a Stein space of dimension n and $D\subset X$ an open subspace which is the union of an increasing sequence $D_{1}\subset D_{2}\s…
Let $X$ be an analytic space of pure dimension. We introduce a formalism to generate intrinsic weighted Koppelman formulas on $X$ that provide solutions to the $\dbar$-equation. We prove that if $ϕ$ is a smooth $(0,q+1)$-form on a Stein space $X$ with $\dbarϕ=0$, then there is a smooth $(0,q)$-form $ψ$ on $X_{reg}$ with at most polynomial growth at $X_{sing}$ such that $\dbarψ=ϕ$. The integral formulas also give other new existence results for the $\dbar$-equation and Hartogs theorems, as well as new proofs of various known results.
In this survey, we explain a version of topological $L^2$-Serre duality for singular complex spaces with arbitrary singularities. This duality can be used to deduce various $L^2$-vanishing theorems for the $\overline\partial$-equation on singular spaces. As one application, we prove Hartogs' extension theorem for $(n-1)$-complete spaces. Another application is the characterization of rational singularities. It is shown that complex spaces with rational singularities behave quite tame with respect to some $\overline\partial$-equation in the $L^2$-sense. More precisely: a singular point is ratio…
We study the classification of the pairs $(N, \,X)$ where $N$ is a Stein surface and $X$ is a complete holomorphic vector field with isolated singularities on $N$. We describe the role of transverse sections in the classification of $X$ and give necessary and sufficient conditions on $X$ in order to have $N$ biholomorphic to $\mathbb C^2$. As a sample of our results, we prove that $N$ is biholomorphic to $\mathbb C^2$ if $H^2(N,\mathbb Z)=0$, $X$ has a finite number of singularities and exhibits a non-nilpotent singularity with three separatrices or, equivalently, a singularity with first jet …
Let $M \subset {\mathbb{C}}^{n+1}$, $n \geq 2$, be a real codimension two CR singular real-analytic submanifold that is nondegenerate and holomorphically flat. We prove that every real-analytic function on $M$ that is CR outside the CR singularities extends to a holomorphic function in a neighborhood of $M$. Our motivation is to prove the following analogue of the Hartogs-Bochner theorem. Let $Ω\subset {\mathbb{C}}^n \times {\mathbb{R}}$, $n \geq 2$, be a bounded domain with a connected real-analytic boundary such that $\partial Ω$ has only nondegenerate CR singularities. We prove that if $f \…
Let $Ω\subset {\mathbb C}^n \times {\mathbb R}$ be a bounded domain with smooth boundary such that $\partial Ω$ has only nondegenerate elliptic CR singularities, and let $f \colon \partial Ω\to {\mathbb C}$ be a smooth function that is CR at CR points of $\partial Ω$ (when $n=1$ we require separate holomorphic extensions for each real parameter). Then $f$ extends to a smooth CR function on $\barΩ$, that is, an analogue of Hartogs-Bochner holds. In addition, if $f$ and $\partial Ω$ are real-analytic, then $f$ is the restriction of a function that is holomorphic on a neighborhood of $\barΩ$ in $…
Let $V$ be an irreducible complex analytic space of dimension two with normal singularities and $\vr:\mathbb{C^*}\times V\to V$ a holomorphic action of the group $\mathbb{C^*}$ on $V$. Denote by $\fa_\vr$ the foliation on $V$ induced by $\vr$. The leaves of this foliation are the one-dimensional orbits of $\vr$. %and its singularities are the fixed points of $\vr$. We will assume that there exists a \emph{dicritical} singularity $p\in V$ for the $\bc^*$-action, i.e. for some neighborhood $p\in W\subset V$ there are infinitely many leaves of $\mathcal {F}_\vr|_{W}$ accumulating only at $p$. The…
In this new version, we give an affirmative solution to a conjecture of Cheng proposed in 1979 which asserts that the Bergman metric of a smoothly bounded strongly pseudoconvex domain in $\mathbb{C}^n, n\geq 2,$ is Kähler-Einstein if and only if the domain is biholomorphic to the ball. We establish versions of various classical theorems that are used in the solution for Stein spaces. Among other things, we construct a hyperbolic metric over a Stein space with spherical boundary. We also prove the Q. K. Lu type uniformization theorem for Stein spaces with isolated normal singularities.
Let Y be a pure dimensional analytic variety in C^n with an isolated singularity at the origin such that the exceptional set X of a desingularization of Y is regular. The main objective of this paper is to present a technique which allows to determine obstructions to the solvability of the d-bar-equation in the $L^2$ respectively $L^\infty$ sense on Y^*=Y-{0} in terms of certain cohomology classes on X. More precisely, let D be a Stein domain, relatively compact in Y, containing the origin, D^*=D-{0}. We give a sufficient condition for the solvability of the d-bar-equation in the $L^2$-sense o…
In this paper, we study the Bergman metric of a finite ball quotient $\mathbb{B}^n/Γ$, where $Γ\subseteq \mathrm{Aut}(\mathbb{B}^n)$ is a finite, fixed point free, abelian group. We prove that this metric is Kähler--Einstein if and only if $Γ$ is trivial, i.e., when the ball quotient $\mathbb{B}^n/Γ$ is the unit ball $\mathbb{B}^n$ itself. As a consequence, we establish a characterization of the unit ball among normal Stein spaces with isolated singularities and abelian fundamental groups in terms of the existence of a Bergman-Einstein metric.
On the Ohsawa-Takegoshi $L^2$ extension theorem and removable singularities of plurisubharmonic functions
CAS Wu Wen-Tsun Key Laboratory of Mathematics and School of Mathematical Sciences, University of Science and Technology of China(中国科学技术大学数学科学学院、中国科学院吴文俊数学重点实验室)
A complex manifold Y satisfies the Convex Approximation Property (CAP) if every holomorphic map from a neighborhood of a compact convex set K in a complex Euclidean space C^n to Y can be approximated, uniformly on K, by entire maps from C^n to Y. If X is a reduced Stein space and Z is a stratified holomorphic fiber bundle over X all of whose fibers satisfy CAP, then sections of Z over X enjoy the Oka property with (jet) interpolation and approximation. Previously this has been proved by the author in the case when X is a Stein manifold without singularities (Ann. Math., 163 (2006), 689-707, ma…
An odd-dimensional differentiable manifold is called \emph{holomorphically fillable} if it is diffeomorphic to the boundary of a compact strongly pseudoconvex complex manifold, \emph{Stein fillable} if this last manifold may be chosen to be Stein and \emph{Milnor fillable} if it is diffeomorphic to the abstract boundary of an isolated singularity of normal complex analytic space. We show that the homotopical dimension of a manifold-with-boundary of dimension at least 4 restricts the cohomology ring (with any coefficients) of its boundary. This gives restrictions on the cohomology rings of Stei…
Let $X$ be a Stein manifold of dimension at least 3. Given a compact codimension 2 real analytic submanifold $M$ of $X$, that is the boundary of a compact Levi-flat hypersurface $H$, we study the regularity of $H$. Suppose that the CR singularities of $M$ are an $\mathcal{O}(X)$-convex set. For example, suppose $M$ has only finitely many CR singularities, which is a generic condition. Then $H$ must in fact be a real analytic submanifold. If $M$ is real algebraic, it follows that $H$ is real algebraic and in fact extends past $M$, even near CR singularities. To prove these results we provide tw…