Consider the following uniformization problem. Take two holomorphic (parametrized by some analytic set defined on a neighborhood of $0$ in ${ℂ}^p$, for some $p\>0$) or differentiable (parametrized by an open neighborhood of $0$ in ${ℝ}^p$, for some $p\>0$) deformation families of compact complex manifolds. Assume they are pointwise isomorphic, that is for each point $t$ of the parameter space, the fiber over $t$ of the first family is biholomorphic to the fiber over $t$ of the second family. Then, under which conditions...

Let $D$ be an open set of a Stein manifold $X$ of dimension $n$ such that $H^k(D,𝒪)=0$ for $2\le k\le n-1$. We prove that $D$ is Stein if and only if every topologically trivial holomorphic line bundle $L$ on $D$ is associated to some Cartier divisor $𝔡$ on $D$.

Let $f$ be a non-invertible holomorphic endomorphism of a projective space and $f^n$ its iterate of order $n$. We prove that the pull-back by $f^n$ of a generic (in the Zariski sense) hypersurface, properly normalized, converges to the Green current associated to $f$ when $n$ tends to infinity. We also give an analogous result for the pull-back of positive closed $(1,1)$-currents and a similar result for regular polynomial automorphisms of ${ℂ}^k$.

Let ${}_{\infty }\left(B_X\right)$ be the Banach space of all bounded and continuous functions on the closed unit ball $B_X$ of a complex Banach space X and holomorphic on the open unit ball, with sup norm, and let ${}_u\left(B_X\right)$ be the subspace of ${}_{\infty }\left(B_X\right)$ of those functions which are uniformly continuous on $B_X$. A subset $B\subset B_X$ is a boundary for ${}_{\infty }\left(B_X\right)$ if $\parallel f\parallel =su{p}_{x\in B}\left|f\left(x\right)\right|$ for every $f{\in }_{\infty }\left(B_X\right)$. We prove that for X = d(w,1) (the Lorentz sequence space) and X = C₁(H), the trace class operators, there is a minimal closed boundary for ${}_{\infty }\left(B_X\right)$. On the other hand, for X = , the Schreier...

We give in ${ℝ}^6$ a real analytic almost complex structure $J$, a real analytic hypersurface $M$ and a vector $v$ in the Levi null set at $0$ of $M$, such that there is no germ of $J$-holomorphic disc $\gamma$ included in $M$ with $\gamma \left(0\right)=0$ and $\frac{\partial \gamma }{\partial x}\left(0\right)=v$, although the Levi form of $M$ has constant rank. Then for any hypersurface $M$ and any complex structure $J$, we give sufficient conditions under which there exists such a germ of disc.

Let $D_j$ be a bounded hyperconvex domain in ${ℂ}^{n_j}$ and set $D=D₁\times \cdots \times D_s$, j=1,...,s, s ≥ 3. Also let ${\Omega }_{\pi }$ be the image of D under the proper holomorphic map π. We characterize those continuous functions $f:\partial {\Omega }_{\pi }\to ℝ$ that can be extended to a real-valued pluriharmonic function in ${\Omega }_{\pi }$.

Let (U) denote the algebra of holomorphic functions on an open subset U ⊂ ℂⁿ and Z ⊂ (U) its finite-dimensional vector subspace. By the theory of least spaces of de Boor and Ron, there exists a projection ${}_b$ from the local ring ${}_{n,b}$ onto the space $Z_b$ of germs of elements of Z at b. At a general point b ∈ U its kernel is an ideal and ${}_b$ induces the structure of an Artinian algebra on $Z_b$. In particular, this holds at points where the kth jets of elements of Z form a vector bundle for each k ∈...

Let $X$ denote either ${\mathrm{ℂ\mathbb{P}}}^m$ or ${ℂ}^m$. We study certain analytic properties of the space ${ℰ}^n(X,gp)$ of ordered geometrically generic $n$-point configurations in $X$. This space consists of all $q=(q_1,\cdots ,q_n)\in X^n$ such that no $m+1$ of the points $q_1,\cdots ,q_n$ belong to a hyperplane in $X$. In particular, we show that for a big enough $n$ any holomorphic map $f:{ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)\to {ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)$ commuting with the natural action of the symmetric group $𝐒\left(n\right)$ in ${ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)$ is of the form $f\left(q\right)=\tau \left(q\right)q=(\tau \left(q\right)q_1,\cdots ,\tau \left(q\right)q_n)$, $q\in {ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)$, where $\tau :{ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)\to \mathrm{𝐏𝐒𝐋}(m+1,ℂ)$ is an $𝐒\left(n\right)$-invariant holomorphic map. A similar result holds true for mappings of the configuration...

Let $E$ denote a holomorphic bundle with fiber $D$ and with basis $B$. Both $D$ and $B$ are assumed to be Stein. For $D$ a Reinhardt bounded domain of dimension $d=2$ or $3$, we give a necessary and sufficient condition on $D$ for the existence of a non-Stein such $E$ (Theorem $1$); for $d=2$, we give necessary and sufficient criteria for $E$ to be Stein (Theorem $2$). For $D$ a Reinhardt bounded domain of any dimension not intersecting any coordinate hyperplane, we give a sufficient criterion for $E$ to be Stein (Theorem...

We study the extension problem for germs of holomorphic isometries $f:(D;x_0)\to (\Omega ;f\left(x_0\right))$ up to normalizing constants between bounded domains in Euclidean spaces equipped with Bergman metrics $d{s}_D^2$ on $D$ and $d{s}_{\Omega }^2$ on $\Omega$. Our main focus is on boundary extension for pairs of bounded domains $(D,\Omega )$ such that the Bergman kernel $K_D(z,w)$ extends meromorphically in $(z,\overline{w})$ to a neighborhood of $\overline{D}\times D$, and such that the analogous statement holds true for the Bergman kernel $K_{\Omega }(\varsigma ,\xi )$ on $\Omega$. Assuming that $(D;d{s}_D^2)$ and $(\Omega ;d{s}_{\Omega }^2)$ are complete Kähler manifolds, we prove that...

We consider a convexity notion for complex spaces $X$ with respect to a holomorphic line bundle $L$ over $X$. This definition has been introduced by Grauert and, when $L$ is analytically trivial, we recover the standard holomorphic convexity. In this circle of ideas, we prove the counterpart of the classical Remmert’s reduction result for holomorphically convex spaces. In the same vein, we show that if $H^0(X,L)$ separates each point of $X$, then $X$ can be realized as a Riemann domain over the complex projective...

We prove that the linearization of a germ of holomorphic map of the type $F_{\lambda }\left(z\right)=\lambda (z+O\left(z^2\right))$ has a ${𝒞}^1$-holomorphic dependence on the multiplier $\lambda$. ${𝒞}^1$-holomorphic functions are ${𝒞}^1$-Whitney smooth functions, defined on compact subsets and which belong to the kernel of the $\overline{\partial }$ operator. The linearization is analytic for $\left|\lambda \right|\ne 1$ and the unit circle ${𝕊}^1$ appears as a natural boundary (because of resonances,roots of unity). However the linearization is still defined at most points of ${𝕊}^1$, namely those points which lie “far enough...

Let F be the Cartesian product of N closed sets in ℂ. We prove that there exists a function g which is continuous on F and holomorphic on the interior of F such that ${\Gamma }_g\left(F\right):=(z,g(z\left)\right):z\in F$ is complete pluripolar in ${ℂ}^{N+1}$. Using this result, we show that if D is an analytic polyhedron then there exists a bounded holomorphic function g such that ${\Gamma }_g\left(D\right)$ is complete pluripolar in ${ℂ}^{N+1}$. These results are high-dimensional analogs of the previous ones due to Edlund [Complete pluripolar curves and graphs, Ann. Polon. Math....

The 3x+k function $T_k\left(n\right)$ sends n to (3n+k)/2, resp. n/2, according as n is odd, resp. even, where k ≡ ±1 (mod 6). The map $T_k\left(·\right)$ sends integers to integers; for m ≥1 let n → m mean that m is in the forward orbit of n under iteration of $T_k\left(·\right)$. We consider the generating functions $f_{k,m}\left(z\right)={\sum }_{n>0,n\to m}{z}^n$, which are holomorphic in the unit disk. We give sufficient conditions on (k,m) for the functions $f_{k,m}\left(z\right)$ to have the unit circle |z|=1 as a natural boundary to analytic continuation. For the 3x+1 function these conditions hold...

Let $X$ be a compact hyperkähler manifold containing a complex torus $L$ as a Lagrangian subvariety. Beauville posed the question whether $X$ admits a Lagrangian fibration with fibre $L$. We show that this is indeed the case if $X$ is not projective. If $X$ is projective we find an almost holomorphic Lagrangian fibration with fibre $L$ under additional assumptions on the pair $(X,L)$, which can be formulated in topological or deformation-theoretic terms. Moreover, we show that for any such almost holomorphic...

Let $𝒥$ be a coherent ideal sheaf on a complex manifold $X$ with zero set $Z$, and let $G$ be a plurisubharmonic function such that $G=log\left|f\right|+𝒪\left(1\right)$ locally at $Z$, where $f$ is a tuple of holomorphic functions that defines $𝒥$. We give a meaning to the Monge-Ampère products ${\left(d{d}^{c}G\right)}^k$ for $k=0,1,2,...$, and prove that the Lelong numbers of the currents $M_k^{𝒥}:={\mathbf{1}}_Z{\left(d{d}^{c}G\right)}^k$ at $x$ coincide with the so-called Segre numbers of $J$ at $x$, introduced independently by Tworzewski, Gaffney-Gassler, and Achilles-Manaresi. More generally, we show that $M_k^{𝒥}$ satisfy a certain...

We study questions related to exceptional sets of pluri-Green potentials $V_{\mu }$ in the unit ball B of ℂⁿ in terms of non-isotropic Hausdorff capacity. For suitable measures μ on the ball B, the pluri-Green potentials $V_{\mu }$ are defined by $V_{\mu }\left(z\right)={\int }_{B}log(1/|{\varphi }_z\left(w\right)\left|\right)d\mu \left(w\right)$, where for a fixed z ∈ B, ${\varphi }_z$ denotes the holomorphic automorphism of B satisfying ${\varphi }_z\left(0\right)=z$, ${\varphi }_z\left(z\right)=0$ and $\left({\varphi }_z\circ {\varphi }_z\right)\left(w\right)=w$ for every w ∈ B. If dμ(w) = f(w)dλ(w), where f is a non-negative measurable function of B, and λ is the measure on B, invariant under all holomorphic automorphisms of...

Let ${\left(F_n\right)}_{n\in \mathbb{N}}$ be a sequence of non-decreasing functions from $[0,+\infty )$ into $[0,+\infty )$. Under some suitable hypotheses of ${\left(F_n\right)}_{n\in \mathbb{N}}$, we will prove that if $g\in L^p\left({ℝ}^N\right)$, $1<p<+\infty$, satisfies ${lim\; inf}_{n\to \infty }{\int }_{{ℝ}^N}{\int }_{{ℝ}^N}{F}_n{\left(\right|g\left(x\right)-g\left(y\right)\left|\right)/|x-y|}^{N+p}dxdy<+\infty$, then $g\in W^{1,p}\left({ℝ}^N\right)$ and moreover ${lim}_{n\to \infty }{\int }_{{ℝ}^N}{\int }_{{ℝ}^N}{F}_n{\left(\right|g\left(x\right)-g\left(y\right)\left|\right)/|x-y|}^{N+p}dxdy=K_{N,p}{\int }_{{ℝ}^N}{\left|\nabla g\left(x\right)\right|}^{p}dx$, where $K_{N,p}$ is a positive constant depending only on $N$ and $p$. This extends some results in J. Bourgain and H-M. Nguyen [A new characterization of Sobolev spaces, C. R. Acad Sci. Paris, Ser. 343 (2006) 75-80] and H-M. Nguyen [Some new characterizations of Sobolev spaces, J. Funct. Anal. 237 (2006) 689-720]. We also present some...

The first author has recently proved that if f: X → Y is a k-dimensional map between compacta and Y is p-dimensional (0 ≤ k, p < ∞), then for each 0 ≤ i ≤ p + k, the set of maps g in the space $C(X,I^{p+2k+1-i})$ such that the diagonal product $f\times g:X\to Y\times I^{p+2k+1-i}$ is an (i+1)-to-1 map is a dense $G_{\delta }$-subset of $C(X,I^{p+2k+1-i})$. In this paper, we prove that if f: X → Y is as above and $D_j$ (j = 1,..., k) are superdendrites, then the set of maps h in $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ such that $f\times h:X\to Y\times \left({\prod }_{j=1}^k{D}_j\times I^{p+1-i}\right)$ is (i+1)-to-1 is a dense $G_{\delta }$-subset of $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ for each 0 ≤ i ≤ p.

Let X be an analytic set defined by polynomials whose coefficients $a₁,...,a_s$ are holomorphic functions. We formulate conditions on sequences $a_{1,\nu },...,a_{s,\nu }$ of holomorphic functions converging locally uniformly to $a₁,...,a_s$, respectively, such that the sequence $X_{\nu }$ of sets obtained by replacing $a_j$’s by $a_{j,\nu }$’s in the polynomials converges to X.

Let $f:{\mathbb{P}}^k\to {\mathbb{P}}^k$ be a dominating rational mapping of first algebraic degree $\lambda \ge 2$. If $S$ is a positive closed current of bidegree $(1,1)$ on ${\mathbb{P}}^k$ with zero Lelong numbers, we show – under a natural dynamical assumption – that the pullbacks ${\lambda }^{-n}{\left(f^n\right)}^{*}S$ converge to the Green current $T_f$. For some families of mappings, we get finer convergence results which allow us to characterize all $f^{*}$-invariant currents.