Let R\_{0,n} be the Clifford algebra of the antieuclidean vector space of dimension n. The aim is to built a function theory analogous to the one in the C case. In the latter case, the product of two holomorphic functions is holomorphic, this fact is, of course, of paramount importance. Then it is necessary to define a product for functions in the Clifford context. But, non-commutativity is inconciliable with product of functions. Here we introduce a product which is commutative and we compute some examples explicitely.
The aim of this paper is to put the fundations of a new theory of functions, called holomorphic Cliffordian, which should play an essential role in the generalization of holomorphic functions to higher dimensions. Let R\_{0,2m+1} be the Clifford algebra of R^{2m+1} with a quadratic form of negative signature, D = \sum\_{j=0}^{2m+1} e\_j {\partial\over \partial x\_j} be the usual operator for monogenic functions and $Δ$ the ordinary Laplacian. The holomorphic Cliffordian functions are functions f : \R^{2m+2} \fle \R\_{0,2m+1}, which are solutions of D Δ^m f = 0
In the study of holomorphic functions of one complex variable, one well-known theory is that of elliptic functions and it is possible to take the zeta-function of Weierstrass as a building stone of this vast theory. We are working the analogue theory in the natural context of higher dimensional spaces : holomorphic and elliptic Cliffordian functions.
The well-known Jacobi elliptic functions sn(z)$, $cn(z), dn(z) are defined in higher dimensional spaces by the following method. Consider the Clifford algebra of the antieuclidean vector space of dimension 2m+1. Let x be the identity mapping on the space of scalars + vectors. The holomorphic Cliffordian functions may be viewed roughly as generated by the powers of x, namely x^n, their derivatives, their sums, their limits (cf : z^n for classical holomorphic functions). In that context it is possible to define the same type of functions as Jacobi's.
In classical function theory, a function is holomorphic if and only if it is complex analytic. For higher dimensional spaces it is natural to work in the context of Clifford algebras. The structures of these algebras depend on the parity of the dimension n of the underlying vector space. The theory of holomorphic Cliffordian functions reflects this dependence. In the case of odd n the space of functions is defined by an operator (the Cauchy-Riemann equation) but not in the case of even $n$. For all dimensions the powers of identity (z^n, x^n) are the foundation of function theory.
In this paper we deal with a new class of Clifford algebra valued automorphic forms on arithmetic subgroups of the Ahlfors-Vahlen group. The forms that we consider are in the kernel of the operator $D Δ^{k/2}$ for some even $k \in {\mathbb{Z}}$. They will be called $k$-holomorphic Cliffordian automorphic forms. $k$-holomorphic Cliffordian functions are well equipped with many function theoretical tools. Furthermore, the real component functions have also the property that they are solutions to the homogeneous and inhomogeneous Weinstein equation. This function class includes the set of $k$-hyp…
We show that the $\bar{\partial}$-problem is globally regular on a domain in $\mathbb{C}^n$, which is the $n$-fold symmetric product of a smoothly bounded planar domain. Remmert-Stein type theorems are proved for proper holomorphic maps between equidimensional symmetric products and proper holomorphic maps from cartesian products to symmetric products. It is shown that proper holomorphic maps between equidimensional symmetric products of smooth planar domains are smooth up to the boundary
In this article, we explain the link between Pohlen's extended Hadamard product and the holomorphic cohomological convolution on $\mathbb{C}^*$. For this purpose, we introduce a generalized Hadamard product, which is defined even if the holomorphic functions do not vanish at infinity, as well as a notion of strongly convolvable sets.
We first give an exposition on holomorphic isometries from the Poincaré disk to polydisks and from the Poincaré disk to the product of the Poincaré disk with a complex unit ball. As an application, we provide an example of proper holomorphic map from the unit disk to the complex unit ball that is irrational, algebraic and holomorphic on a neighborhood of the closed unit disk. We also include some new results on holomorphic isometries.
We prove that the space of dominant/non-constant holomorphic mappings from a product of hyperbolic Riemann surfaces of finite type into certain hyperbolic manifolds with universal cover a bounded domain is a finite set.
We prove estimates in Hölder spaces for some Cauchy-type integral operators representing holomorphic functions in Cartesian and symmetric products of planar domains. As a consequence, we obtain information on the boundary regularity in Hölder spaces of proper holomorphic maps between symmetric products of planar domains.
We consider proper holomorphic mappings of equidimensional pseudoconvex domains in complex Euclidean space, where both source and target can be represented as Cartesian products of smoothly bounded domains. It is shown that such mappings extend smoothly up to the closures of the domains, provided each factor of the source satisfies Condition R. It also shown that the number of smoothly bounded factors in the source and target must be the same, and the proper holomorphic map splits as product of proper mappings between the factor domains.
We prove a result on the structure of finite proper holomorphic mappings between complex manifolds that are products of hyperbolic Riemann surfaces. While an important special case of our result follows from the ideas developed by Remmert and Stein, the proof of the full result relies on the interplay of the latter ideas and a finiteness theorem for Riemann surfaces.
In this paper, we study a class of Borel measures on $\mathbb{R}^n$ that arises as the class of representing measures of Herglotz-Nevanlinna functions. In particular, we study product measures within this class where products with the Lebesgue measures play a special role. Hence, we give several characterizations of the $n$-dimensional Lebesgue measure among all such measures and characterize all product measures that appear in this class of measures. Furthermore, analogous results for the class of positive Borel measures on the unit poly-torus with vanishing mixed Fourier coefficients are als…
We construct Coleff-Herrera products and Bochner-Martinelli type residue currents associated with a tuple $f$ of weakly holomorphic functions, and show that these currents satisfy basic properties from the (strongly) holomorphic case, as the transformation law, the Poincaré-Lelong formula and the equivalence of the Coleff-Herrera product and the Bochner-Martinelli type residue current associated with $f$ when $f$ defines a complete intersection.
We study Banach-valued holomorphic functions defined on open subsets of the maximal ideal space of the Banach algebra H^\infty of bounded holomorphic functions on the unit disk D\subset C with pointwise multiplication and supremum norm. In particular, we establish vanishing cohomology for sheaves of germs of such functions and, solving a Banach-valued corona problem for H^\infty, prove that the maximal ideal space of the algebra H_{\rm comp}^\infty (A) of holomorphic functions on $\Di$ with relatively compact images in a commutative unital complex Banach algebra A is homeomorphic to the direct…
Let $H(\mathbb{B})$ denote the space of all holomorphic functions on the unit ball $\mathbb{B}\in \mathbb{C}^n$. In this paper we investigate the boundedness and compactness of the products of radial derivative operator and the following integral-type operator $$ I_ϕ^g f(z)=\int_0^1 \Re f(ϕ(tz))g(tz)\frac{dt}{t},\ z\in\mathbb{B} $$ where $g\in H(\mathbb{B}), g(0)=0$, $ϕ$ is a holomorphic self-map of $\mathbb{B}$,\ between Zygmund spaces and Bloch spaces.
We study the global property of local holomorphic isometric mappings from a class of Kahler manifolds into a product of projective algebraic manifolds with induced Fubini-Study metrics, where isometric factors are allowed to be negative.
We generalize the representation formula from slice-domains of regularity to general Riemann slice-domains. This result allows us to extend the $*$-product of slice regular functions on axially symmetric domains to certain Riemann slice-domains by introducing holomorphic stem systems and tensor holomorphic functions. In particular, we construct a power series expansions of slice regular functions on certain Riemann slice-domains, which implies a relation between stem holomorphic, tensor holomorphic and slice regular functions.
We show that holomorphic functions of polynomial growth on domains with corners have distributional boundary values in an appropriate sense, provided the corners are generic CR manifolds. We prove an analog of the Bochner-Hartogs theorem for these boundary values for the simplest such domains, the product domains.
It is well known that a ramified holomorphic covering of a closed unitary disc by another such a disc is given by a finite Blaschke product. The inverse is also true. In this note we give an explicit description of holomorphic ramified coverings of a disc by other bordered Riemann surfaces. The problem of covering a disc by an annulus arises e.g. in multidimensional complex analysis; we show that it may be effectively solved in terms of elliptic theta functions. The covering of a disc by a flat domain is discussed in a monograph by Goluzin. The machinery used here strongly resembles the descri…
In the present paper, we show that given a compact Kähler manifold $(X,ω)$ with a Kähler metric $ω$, and a complex submanifold $V\subset X$ of positive dimension, if $V$ has a holomorphic retraction structure in $X$, then any quasi-plurisubharmonic function $φ$ on $V$ such that $ω|_V+\sqrt{-1}\partial\bar\partialφ\geq \varepsilonω|_V$ with $\varepsilon>0$ can be extended to a quasi-plurisubharmonic function $Φ$ on $X$, such that $ω+\sqrt{-1}\partial\bar\partial Φ\geq \varepsilon'ω$ for some $\varepsilon'>0$. This is an improvement of results in \cite{WZ20}. Examples satisfying the assumption t…
We show that the structure of proper holomorphic maps between the $n$-fold symmetric products, $n\geq 2$, of a pair of non-compact Riemann surfaces $X$ and $Y$, provided these are reasonably nice, is very rigid. Specifically, any such map is determined by a proper holomorphic map of $X$ onto $Y$. This extends existing results concerning bounded planar domains, and is a non-compact analogue of a phenomenon observed in symmetric products of compact Riemann surfaces. Along the way, we also provide a condition for the complete hyperbolicity of all $n$-fold symmetric products of a non-compact Riema…
We are interested in the $L^2$-holomorphic automorphic functions on a $g$-dimensional complex space $V^g_{\mathbb{C}}$ endowed with a positive definite hermitian form and associated to isotropic discrete subgroups $Γ$ of rank $2\leq r \leq g$. We show that they form an infinite reproducing kernel Hilbert space which looks like a tensor product of a theta Fock-Bargmann space on $V^{r}_{\mathbb{C}}=Span_{\mathbb{C}}(Γ)$ and the classical Fock-Bargmann space on $V^{g-r}_{\mathbb{C}}$. Moreover, we provide an explicit orthonormal basis using Fourier series and we give the expression of its reprodu…
We initiate a parametric study of holomorphic families of polynomial skew products, i.e., polynomial endomorphisms of $\mathbb{C}^2$ of the form $F(z,w)= (p(z), q(z,w))$ that extend to holomorphic endomorphisms of $\mathbb{P}^2(\mathbb{C})$. We prove that dynamical stability in the sense of arXiv:1403.7603 preserves hyperbolicity within such families, and give a complete classification of the hyperbolic components that are the analogue, in this setting, of the complement of the Mandelbrot set for the family $z^2 +c$. We also precisely describe the geometry of the bifurcation locus and current …
We prove that the pointwise product of two holomorphic functions of the upper half-plane, one in the Hardy space $\mathcal H^1$, the other one in its dual, belongs to a Hardy type space. Conversely, every holomorphic function in this space can be written as such a product. This generalizes previous characterization in the context of the unit disc.
Let $S$ be a complex reductive group acting holomorphically on a complex Lie group $N$ via holomorphic automorphisms. Let $K(S)\subset S$ be a maximal compact subgroup. The semidirect product $G := N\rtimes K(S)$ acts on $N$ via biholomorphisms. We give an explicit description of the isomorphism classes of $G$-equivariant almost holomorphic hermitian principal bundles on $N$. Under the assumption that there is a central subgroup $Z= \text{U}(1)$ of $K(S)$ that acts on $\text{Lie}(N)$ as multiplication through a single nontrivial character, we give an explicit description of the isomorphism cla…
We first study holomorphic isometries from the Poincaré disk into the product of the unit disk and the complex unit $n$-ball for $n\ge 2$. On the other hand, we observe that there exists a holomorphic isometry from the product of the unit disk and the complex unit $n$-ball into any irreducible bounded symmetric domain of rank $\ge 2$ which is not biholomorphic to any type-$\mathrm{IV}$ domain. In particular, our study provides many new examples of holomorphic isometries from the Poincaré disk into irreducible bounded symmetric domains of rank at least $2$ except for type-$\mathrm{IV}$ domains.
Products of Siegel upper half spaces are Siegel domains, whose Silov boundaries have the structure of products $\mathscr H_1\times\mathscr H_2$ of Heisenberg groups. By the reproducing formula of bi-parameter heat kernel associated to sub-Laplacians, we show that a function in holomorphic Hardy space $H^1$ on such a domain has boundary value belonging to bi-parameter Hardy space $ H^1 (\mathscr H_1\times \mathscr H_2)$. With the help of atomic decomposition of $ H^1 (\mathscr H_1\times \mathscr H_2)$ and bi-paramete rharmonic analysis, we show that the Cauchy-Szeg\H o projection is a bounded o…
Consider a very ample line bundle $ E \to X$ over a compact complex manifold, endowed with a hermitian metric of curvature $-i ω$, and the space $\mathcal{O}(E)$ of its holomorphic sections. The Fubini--Study map associates with positive definite inner products $\langle \, , \rangle$ on $\mathcal{O}(E)$ functions FS$(\langle \, ,\rangle) \in \mathcal{H}_ω=\{u \in C^{\infty}(X):ω+i\partial\overline{\partial} u >0\}$. We prove that FS is an injective immersion, but its image in general is not closed in $\mathcal{H}_ω$. To obtain a closed range, FS has to be extended to certain degenerate inner p…
We give a version of the Montel theorem for Hardy spaces of holomorphic functions on an infinite dimensional space. As a by-product, we provide a Montel-type theorem for the Hardy space of Dirichlet series. This approach also gives an elementary proof of Montel theorem for the classical one-variable Hardy spaces.
The main result of this note is that, for each $n\in \{1,2,3,\ldots\}$, there exists a Hodge metric on the $n$-th Hirzebruch surface whose positive holomorphic sectional curvature is $\frac{1}{(1+2n)^2}$-pinched. The type of metric under consideration was first studied by Hitchin in this context. In order to address the case $n=0$, we prove a general result on the pinching of the holomorphic sectional curvature of the product metric on the product of two Hermitian manifolds $M$ and $N$ of positive holomorphic sectional curvature.
Let $X$ be a compact hyperbolic Riemann surface equipped with the Poincaré metric. For any integer $k\geq 2$, we investigate the Bergman kernel associated to the holomorphic Hermitian line bundle $Ω^{\otimes k}_X$, where $Ø$ is the holomorphic cotangent bundle of $X$. Our first main result estimates the corresponding Bergman metric on $X$ in terms of the Poincaré metric. We then consider a certain natural embedding of the symmetric product of $X$ into a Grassmannian parametrizing subspaces of fixed dimension of the space of all global holomorphic sections of $Ω^{\otimes k}_X$. The Fubini-Study…
Simple approaches to the proofs of the L^2 Castelnuovo-de Franchis theorem and the cup product lemma which give new versions are developed. For example, suppose u and v are two linearly independent closed holomorphic 1-forms on a bounded geometry connected complete Kaehler manifold X with v in L^2. According to a version of the L^2 Castelnuovo-de Franchis theorem obtained in this paper, if u and v are pointwise linearly dependent, then there exists a surjective proper holomorphic mapping of X onto a Riemann surface for which u and v are pull-backs. Previous versions required both forms to be i…
We characterize the symbols of Hankel operators that ex- tend into bounded operators from the Hardy-Orlicz $H^{Φ_1} (\mathbb B^n)$ into $H^{Φ_2} (\mathbb B^n)$ in the unit ball of Cn, in the case where the growth functions $?Φ_1$ and $Φ_2$ are either concave or convex. The case where the growth functions are both concave has been studied by Bonami and Sehba. We also obtain several weak factorization theorems for functions in $H^Φ(\mathbb B^n)$, with concave growth function, in terms of products of Hardy-Orlicz functions with convex growth functions.
We study the closure in the Hardy space or the disk algebra of algebras generated by two bounded functions, of which one is a finite Blaschke product. We give necessary and sufficient conditions for density or finite codimension of such algebras. The conditions are expressed in terms of the inner part of a function which is explicitly derived from each pair of generators. Our results are based on identifying z-invariant subspaces included in the closure of the algebra. Versions of these results for the case of the disk algebra are given.
On the Poincaré disc and its higher-dimensional analogs one has a canonical formal star product of Wick type. We define a locally convex topology on a certain class of real-analytic functions on the disc for which the star product is continuous and converges as a series. The resulting Fréchet algebra is characterized explicitly in terms of the set of all holomorphic functions on an extended and doubled disc of twice the dimension endowed with the natural topology of locally uniform convergence. We discuss the holomorphic dependence on the deformation parameter and the positive functionals and …
