We construct a domain of holomorphy in ${ℂ}^N$, N≥ 2, whose envelope of holomorphy is not diffeomorphic to a domain in ${ℂ}^N$.

Let $E$ be a holomorphic Banach bundle over a compact complex manifold, which can be defined by a cocycle of holomorphic transition functions with values of the form $\mathrm{id}+K$ where $K$ is compact. Assume that the characteristic fiber of $E$ has the compact approximation property. Let $n$ be the complex dimension of $X$ and $0\le q\le n$. Then: If $V\to X$ is a holomorphic vector bundle (of finite rank) with $H^q(X,V)=0$, then $dim{H}^q(X,V\otimes E)\<\infty$. In particular, if $dim{H}^q(X,𝒪)=0$, then $dim{H}^q(X,E)\<\infty$.

Poincaré's work on the reduction of Abelian integrals contains implicitly an algorithm for the expression of a theta function as a sum of products of theta functions of fewer variables in the presence of reduction. The aim of this paper is to give explicit formulations and reasonably complete proofs of Poincaré's results.

For a $C^1$-function $f$ on the unit ball $𝔹\subset {ℂ}^n$ we define the Bloch norm by ${\parallel f\parallel }_{𝔅}=sup\parallel \tilde{d}f\parallel ,$ where $\tilde{d}f$ is the invariant derivative of $f,$ and then show that $${\parallel f\parallel }_{𝔅}=\underset{\genfrac{}{}{0pt}{}{z,w\in 𝔹}{z\ne w}}{sup}{(1-|z|}^2{)}^{1/2}{(1-|w|}^2{)}^{1/2}\frac{\left|f\right(z)-f(w\left)\right|}{|w-P_{w}z-s_w{Q}_{w}z|}.$$

An infinite series which arises in certain applications of the Lagrange-Bürmann formula to exponential functions is investigated. Several very exact estimates for the Laplace transform and higher moments of this function are developed.

We study a general Dirichlet problem for the complex Monge-Ampère operator, with maximal plurisubharmonic functions as boundary data.

Using recent development in Poletsky theory of discs, we prove the following result: Let $X,$$Y$ be two complex manifolds, let $Z$ be a complex analytic space which possesses the Hartogs extension property, let $A$ (resp. $B$) be a non locally pluripolar subset of $X$ (resp. $Y$). We show that every separately holomorphic mapping $f:W:=(A\times Y)\cup (X\times B)\to Z$ extends to a holomorphic mapping $\widehat{f}$ on $\widehat{W}:=\left\{(z,w)\in X\times Y:\tilde{\omega }(z,A,X)+\tilde{\omega }(w,B,Y)\<1\right\}$ such that $\widehat{f}=f$...