We determine all connected homogeneous Kobayashi-hyperbolic manifolds of dimension $n\ge 2$ whose holomorphic automorphism group has dimension $n^2-2$. This result complements an existing classification for automorphism group dimension $n^2-1$ and greater obtained without the homogeneity assumption.
We determine all connected homogeneous Kobayashi-hyperbolic manifolds of dimension $n\ge 2$ whose holomorphic automorphism group has dimension $n^2-3$. This result complements existing classifications for automorphism group dimension $n^2-2$ (which is in some sense critical) and greater.
We determine all connected homogeneous Kobayashi-hyperbolic manifolds of dimension $n\ge 4$ whose group of holomorphic automorphisms has dimension either $n^2-4$, or $n^2-5$, or $n^2-6$. This paper continues a series of articles that achieve classifications for automorphism group dimension $n^2-3$ and greater.
We classify all homogeneous Kobayashi-hyperbolic manifolds of dimension $n \ge 2$ whose group of holomorphic automorphisms has dimension either $n^2 - 7$ or $n^2 - 8.$ This paper continues the work of A. Isaev, who classified all such manifolds with automorphism group dimension $n^2 - 6$ and greater.
In this paper, we generalize the Kobayashi pseudo-distance to complex manifolds which admit holomorphic bracket generating distributions. The generalization is based on Chow's theorem in sub-Riemannian geometry. Let G be a linear semisimple Lie group. For a complex $G$-homogeneous manifold M with a G-invariant holomorphic bracket generating distribution D, we prove that (M,D) is Kobayashi hyperbolic if and only if the universal covering of M is a canonical flag domain and the induced distribution is the superhorizontal distribution.
The Schwarz lemma as one of the most influential results in complex analysis and it has a great impact to the development of several research fields, such as geometric function theory, hyperbolic geometry, complex dynamical systems, and theory of quasi-conformal mappings. In this note we mainly consider various version of Schwarz lemma and its relatives related to holomorphic functions including several variables.
We prove the Kobayashi-Hitchin correspondence and the approximate Kobayashi-Hitchin correspondence for twisted holomorphic vector bundles on compact Kähler manifolds. More precisely, if $X$ is a compact manifold and $g$ is a Gauduchon metric on $X$, a twisted holomorphic vector bundle on $X$ is $g-$polystable if and only if it is $g-$Hermite-Einstein, and if $X$ is a compact Kähler manifold and $g$ is a Kähler metric on $X$, then a twisted holomorphic vector bundle on $X$ is $g-$semistable if and only if it is approximate $g-$Hermite-Einstein.
These are the notes of a short course I gave in the school "Aspects métriques et dynamiques en analyse complete", Lille, May 2015. The aim of this notes is to describe how to use a geometric structure (namely, the Kobayashi distance) to explore and encode analytic properties of holomorphic functions and maps defined on complex manifolds. We shall first describe the main properties of the Kobayashi distance, and then we shall present applications to holomorphic dynamics in taut manifolds, strongly pseudo convex domains and convex domains, and to operator theory in Bergman spaces (Carleson measu…
In this paper we study the following "slice rigidity property": given two Kobayashi complete hyperbolic manifolds $M, N$ and a collection of complex geodesics $\mathcal F$ of $M$, when is it true that every holomorphic map $F:M\to N$ which maps isometrically every complex geodesic of $\mathcal F$ onto a complex geodesic of $N$ is a biholomorphism? Among other things, we prove that this is the case if $M, N$ are smooth bounded strictly (linearly) convex domains, every element of $\mathcal F$ contains a given point of $\overline{M}$ and $\mathcal F$ spans all of $M$. More general results are pro…
Let $M$ be a Kobayashi hyperbolic homogenous manifold. Let $\mathcal F$ be a holomorphic foliation on $M$ invariant under a transitive group $G$ of biholomorphisms. We prove that the leaves of $\mathcal F$ are the fibers of a holomorphic $G$-equivariant submersion $π\colon M \to N$ onto a $G$-homogeneous complex manifold $N$. We also show that if $\mathcal Q$ is an automorphism family of a hyperbolic convex (possibly unbounded) domain $D$ in $\mathbb C^n$, then the fixed point set of $\mathcal Q$ is either empty or a connected complex submanifold of $D$.
We construct an unbounded strictly pseudoconvex Kobayashi hyperbolic and complete domain in $\mathbb{C}^2$, which also possesses complete Bergman metric, but has no nonconstant bounded holomorphic functions.
It is proved that the group of holomorphic automorphisms of holomorphically homogeneous nondegenerate (finite Bloom-Graham type + holomorphic nondegenaracy) model surface Q is a subgroup of the group of birational automorphisms of the ambient space (Cremona group) with uniformly bounded degree. An estimate of the degree of the automorphisms in terms of the dimension of the ambient space is given (Theorem 4). It is proved that none of the conditions of the theorem can be omitted. We consider also the question about connectedness of the automorphism group of Q (Theorem 7).
Given a sequence of automorphisms of the polydisk, we show that the associated composition semigroup homomorphisms on the ball of bounded holomorphic functions on the polydisk admit a universal inner function if a certain condition on the automorphisms are satisfied.
We consider the problem of interpolating a holomorphic family of nondegenerate holomorphic jets on C^n for n > 1, parametrized by points in a Stein manifold, by a holomorphic family of automorphisms of C^n. We show that under a suitable topological condition it is possible to find a solution, thereby generalizing results of Forstneric and Varolin concerning the nonparametric jet interpolation by automorphisms.
The basin of attraction of a uniformly attracting sequence of holomorphic automorphisms that agree to a certain order in the common fixed point, is biholomorphic to $\mathbb{C}^n$. We also give sufficient estimates how large this order has to be.
This survey article mainly addresses to graduate students and young researchers in complex geometry willing to enter the beautiful word of connections between curvature and Kobayashi hyperbolicity. It is a detailed account of a recent breakthrough by Wu and Yau, shortly after generalized by Tosatti and Yang (and others), which sits on the crossroad between complex differential geometry and Kobayashi hyperbolicity. More specifically, an old conjecture by Kobayashi, stated at the very beginning of the theory, predicts that a compact hyperbolic manifold should have ample canonical bundle. Now, on…
We overview a number of precise notions for a holomorphic automorphism group to be big together with their implications, in particular we give an exposition of the notions of flexibility and of density property. These studies have their origin in the famous result of Andersén and Lempert from 1992 proving that the overshears generate a dense subgroup in the holomorphic automorphism group of $\C^n, n\ge 2$. There are many applications to natural geometric questions in complex geometry, several of which we mention here. Also the Linearization Problem, well known since the 1950 s and considered b…
For bounded pseudoconvex domains with finite type we give a precise description of the automorphism group: if an orbit of the automorphism group accumulates on at least two different points of the boundary, then the automorphism group has finitely many components and is the almost direct product of a compact group and connected Lie group locally isomorphic to ${ \rm Aut}(\mathbb{B}_k)$. Further, the limit set is a smooth submanifold diffeomorphic to the sphere of dimension $2k-1$. As applications we prove a new finite jet determination theorem and a Tits alternative theorem. The geometry of th…
In this paper we study when the Kobayashi distance on a Kobayashi hyperbolic domain has certain visibility properties, with a focus on unbounded domains. "Visibility" in this context is reminiscent of visibility, seen in negatively curved Riemannian manifolds, in the sense of Eberlein-O'Neill. However, we do not assume that the domains studied are Cauchy-complete with respect to the Kobayashi distance, as this is hard to establish for domains in $\mathbb{C}^d$, $d \geq 2$. We study the various ways in which this property controls the boundary behavior of holomorphic maps. Among these results i…
Introducing the deformation theory of holomorphic Cartan geometries, we compute infinitesimal automorphisms and infinitesimal deformations. We also prove the existence of a semi-universal deformation of a holomorphic Cartan geometry.
We show that the group of all holomorphic automorphisms of complex affine space $\mathbb C^n$, $n>1$, and several of its subgroups satisfy the parametric Oka property with approximation and with interpolation on discrete sets.
Let $X$ be a Stein manifold of dimension $n\geq 2$ satisfying the volume density property with respect to an exact holomorphic volume form. For example, $X$ could be $\mathbb{C}^n$, any connected linear algebraic group that is not reductive, the Koras-Russell cubic, or a product $Y\times\mathbb{C}$, where $Y$ is any Stein manifold with the volume density property. We prove that chaotic automorphisms are generic among volume-preserving holomorphic automorphisms of $X$. In particular, $X$ has a chaotic holomorphic automorphism. A proof for $X=\mathbb{C}^n$ may be found in work of Fornæss and Sib…
We show that each proper holomorphic self map of a symmetric power of the unit ball is an automorphism naturally induced by an automorphism of the unit ball, provided the ball is of dimension at least two.
Let $G$ be a reductive group. We prove that a family of polynomial actions of $G$ on $\mathbb{C}^2$, holomorphically parametrized by an open Riemann surface, is linearizable. As an application, we show that a particular class of reductive group actions on $\mathbb{C}^3$ is linearizable. The main step of our proof is to establish a certain restrictive Oka property for groups of equivariant algebraic automorphisms of $\mathbb{C}^2$.
We construct canonical intertwining semi-models with Kobayashi hyperbolic base space for holomorphic self-maps of complex manifolds which are univalent on some absorbing cocompact hyperbolic domain. In particular, in the unit ball we solve the Valiron equation for hyperbolic univalent self-maps and for hyperbolic semigroups.
The Fock-Bargmann-Hartogs domain $D_{n,m}(μ)$ ($μ>0$) in $\mathbf{C}^{n+m}$ is defined by the inequality $\|w\|^2<e^{-μ\|z\|^2},$ where $(z,w)\in \mathbf{C}^n\times \mathbf{C}^m$, which is an unbounded non-hyperbolic domain in $\mathbf{C}^{n+m}$. Recently, Yamamori gave an explicit formula for the Bergman kernel of the Fock-Bargmann-Hartogs domains in terms of the polylogarithm functions and Kim-Ninh-Yamamori determined the automorphism group of the domain $D_{n,m}(μ)$. In this article, we obtain rigidity results on proper holomorphic mappings between two equidimensional Fock-Bargmann-Hartogs …
Let $\mathcal M$ be a compact complex supermanifold. We prove that the set $\mathrm{Aut}_{\bar 0}(\mathcal M)$ of automorphisms of $\mathcal M$ can be endowed with the structure of a complex Lie group acting holomorphically on $\mathcal M$, so that its Lie algebra is isomorphic to the Lie algebra of even holomorphic super vector fields on $\mathcal M$. Moreover, we prove the existence of a complex Lie supergroup $\mathrm{Aut}(\mathcal M)$ acting holomorphically on $\mathcal M$ and satisfying a universal property. Its underlying Lie group is $\mathrm{Aut}_{\bar 0}(\mathcal M)$ and its Lie super…
Let $M$ be a complex manifold which admits an exhaustion by open subsets $M_j$ each of which is biholomorphic to a fixed domain $Ω\subset \mathbb C^n$. The main question addressed here is to describe $M$ in terms of $Ω$. Building on work of Fornaess--Sibony, we study two cases namely, $M$ is Kobayashi hyperbolic and the other being the corank one case in which the Kobayashi metric degenerates along one direction. When $M$ is Kobayashi hyperbolic, its complete description is obtained when $Ω$ is one of the following domains -- (i) a smoothly bounded Levi corank one domain, (ii) a smoothly bound…
The pentablock is a Hartogs domain over the symmetrized bidisc. The domain is a bounded inhomogeneous pseudoconvex domain, and does not have a $\mathcal{C}^{1}$ boundary. Recently, Agler-Lykova-Young constructed a special subgroup of the group of holomorphic automorphisms of the pentablock, and Kosiński completely described the group of holomorphic automorphisms of the pentablock. The purpose of this paper is to prove that any proper holomorphic self-mapping of the pentablock must be an automorphism.
Consider a holomorphic automorphism acting hyperbolically on an invariant compact set. It has been conjectured that the arising stable manifolds are all biholomorphic to Euclidean space. Such a stable manifold is always equivalent to the basin of a uniformly attracting sequence of maps. The equivalence of such basins to Euclideans has been shown under various additional assumptions. Recently Majer and Abbondandolo achieved new results by non-autonomously conjugating to normal forms on larger and larger time intervals. We show here that their results can be improved by adapting these time inter…
We consider the only one known class of non-Kähler irreducible holomorphic symplectic manifolds, described in the works of D. Guan and the first author. Any such manifold $Q$ of dimension $2n-2$ is obtained as a finite degree $n^2$ cover of some non-Kähler manifold $W_F$ which we call the base of $Q$. We show that the algebraic reduction of $Q$ and its base is the projective space of dimension $n-1$. Besides, we give a partial classification of submanifolds in $Q$, describe the degeneracy locus of its algebraic reduction, and prove that the automorphism group of $Q$ satisfies the Jordan proper…