Related papers: An extension theorem for separately holomorphic fu…
We prove (and improve) the Muir-Suffridge conjecture for holomorphic convex maps. Namely, let $F:\mathbb B^n\to \mathbb C^n$ be a univalent map from the unit ball whose image $D$ is convex. Let $\mathcal S\subset \partial \mathbb B^n$ be…
The main result of the paper is the following generalization of Forelli's theorem: Suppose F is a holomorphic vector field with singular point at p, such that F is linearizable at p and the matrix is diagonalizable with the eigenvalues…
Let $\Psi : X_1 \to X_2$ be an isomorphism of closed affine algebraic subvarities of $\C^n$ such that $n > \max (2\dim X_1, \dim TX_1)$. We prove that $\Psi$ can be extended to a holomorphic automorphism of $\C^n$. Furthermore, when $\Psi$…
Let $X$ and $Y$ be pseudocompact spaces and let the function $\Phi: X\times Y\to \mathbb R$ be separately continuous. The following conditions are equivalent: (1) there is a dense $G_\delta$ subset of $D\subset Y$ so that $\Phi$ is…
Let $D$ be a bounded domain in a complex Banach space. According to the Earle-Hamilton fixed point theorem, if a holomorphic mapping $F : D \mapsto D$ maps $D$ strictly into itself, then it has a unique fixed point and its iterates converge…
We show that several spaces of holomorphic functions on a Riemann domain over a Banach space, including the nuclear and Hilbert-Schmidt bounded type, are locally $m$-convex Fr\'echet algebras. We prove that the spectrum of these algebras…
The codimension-three conjecture states that any regular holonomic module extends uniquely beyond an analytic subset with codimension equal to or larger than three. We give a proof of this conjecture.
It is known that a real analytic CR function f on a real analytic, generic submanifold M in C^N can be holomorphically extended. A stronger result on a finite type, real analytic, generic submanifold M is found in which we assume f a…
Using the theory of exterior differential systems, we study the existence of germ of pseudo-holomorphic disk in a real analytic hypersurface locally defined in a complex manifold equipped with J a real analytic almost complex structure. The…
Several sets of quaternionic functions are described and studied with respect to hyperholomorphy, addition and (non commutative) multiplication, on open sets of $\mathbb H$. The aim is to get a local function theory.
It is shown that harmonic functions on some subsets, subharmonic and coinciding everywhere outside of these sets, actually coincide everywhere.
Given a fixed-point free compact holomorphic self-map $f$ on a bounded symmetric domain $D$, which may be infinite dimensional, we establish the existence of a family $\{H(\xi, \lambda)\}_{\lambda >0}$ of convex $f$-invariant domains at a…
For a (not necessarily locally convex) topological vector space $\mathcal{X}$ of holomorphic functions in one complex variable, we show that the shift invariant subspace generated by a set of polynomials is $\mathcal{X}$ if and only if…
The celebrated Ohsawa--Takegoshi extension theorem for $L^2$ holomorphic functions on bounded pseudoconvex domains in $\mathbb C^n$ is a fundamental result in several complex variables and complex geometry. Ohsawa conjectured in 1995 that…
Structural stability of holomorphic functions has been the subject of much research in the last fifty years. Due to various technicalities, however, most of that work has focused on so-called finite-type functions (functions whose set of…
If F is an automorphism of the spectral unit ball, we show that, in a neighborhood of any cyclic (i.e. non-derogatory) matrix of the ball, the map F can be written as conjugation by a holomorphically varying non singular matrix. This…
The Poincar\'e-Alexander Theorem states that holomorphic mappings defined on an open subset of the unit ball of $C^n$ may, under certain conditions, be extended to a biholomorphism of the unit ball. In a complex manifold, every strongly…
This note is devoted to prove that the de Gennes function has a holomorphic extension on a strip containing the real axis.
Let $D$ be a domain in the complex plane $\mathbb C$. It follows from first part of our work that if a non-zero holomorphic function $f$ on $D$ vanishes on a sequence ${\sf Z}\subset D$ and satisfies $|f|\leq M$ on $D$, where $M$ is a…
We consider a problem of whether a property of holomorphic curves on a subset $X$ of the complex plane can be extended to the whole complex plane. In this paper, the property we consider is uniqueness of holomorphic curves. We introduce the…