On a boundary version of Morera's theorem.
A nonlinear generalization of convergence sets of formal power series, in the sense of Abhyankar-Moh [J. Reine Angew. Math. 241 (1970)], is introduced. Given a family of analytic curves in ℂ × ℂⁿ passing through the origin, of a formal power series f(y,t,x) ∈ ℂ[[y,t,x]] is defined to be the set of all s ∈ ℂ for which the power series converges as a series in (t,x). We prove that for a subset E ⊂ ℂ there exists a divergent formal power series f(y,t,x) ∈ ℂ[[y,t,x]] such that if and only if...
Let be an algebraic variety in and when is an integer then denotes all holomorphic functions on satisfying for all and some constant . We estimate the least integer such that every admits an extension from into by a polynomial , of degree at most. In particular is related to cohomology groups with coefficients in coherent analytic sheaves on . The existence of the finite integer is for example an easy consequence of Kodaira’s Vanishing Theorem.
We study the extension problem of holomorphic maps of a Hartogs domain with values in a complex manifold . For compact Kähler manifolds as well as various non-Kähler manifolds, the maximal domain of extension for over is contained in a subdomain of . For such manifolds, we define, in this paper, an invariant Hex using the Hausdorff dimensions of the singular sets of ’s and study its properties to deduce informations on the complex structure of .
We give a simple algebraic condition on the leading homogeneous term of a polynomial mapping from ℝ² into ℝ² which is equivalent to the fact that the complexification of this mapping can be extended to a polynomial endomorphism of ℂℙ². We also prove that this extension acts on ℂℙ²∖ℂ² as a quotient of finite Blaschke products.
This paper contains a new approach to a proof of the Hartogs extension theorem and its generalisation. The proof bases only on one complex variable methods.
If E is a closed subset of locally finite Hausdorff (2n-2)-measure on an n-dimensional complex manifold Ω and all the points of E are nonremovable for a meromorphic mapping of Ω E into a compact Kähler manifold, then E is a pure (n-1)-dimensional complex analytic subset of Ω.