Searcharxiv⌕ Search

arXiv subjects

Filippo Bracci

Publications and source records attributed to Filippo Bracci.

At least 37 records · Page 2Linked to original sources

The pluricomplex Poisson kernel for strongly pseudoconvex domains

In this paper we introduce, via a Phragmen-Lindelöf type theorem, a maximal plurisubharmonic function in a strongly pseudoconvex domain. We call such a function the {\sl pluricomplex Poisson kernel} because it shares many properties with the classical Poisson kernel of the unit disc. In particular, we show that such a function is continuous, it is zero on the boundary except at one boundary point where it has a non-tangential simple pole, and reproduces pluriharmonic functions. We also use such a function to obtain a new "intrinsic" version of the classical Julia's Lemma and Julia-Wolff-Carathéodory Theorem.

math.CV↗

Automorphisms of $\mathbb C^2$ with parabolic cylinders

A {\sl parabolic cylinder} is an invariant, non-recurrent Fatou component $Ω$ of an automorphism $F$ of $\mathbb C^2$ satisfying: (1) The closure of the $ω$-limit set of $F$ on $Ω$ contains an isolated fixed point, (2) there exists a univalent map $Φ$ from $Ω$ into $\mathbb C^2$ conjugating $F$ to the translation $(z,w) \mapsto (z+1, w)$, and (3) every limit map of $\{F^{\circ n}\}$ on $Ω$ has one-dimensional image. In this paper we prove the existence of parabolic cylinders for an explicit class of maps, and show that examples in this class can be constructed as compositions of shears and overshears.

math.DS↗

Semigroup-fication of univalent self-maps of the unit disc

Let $f$ be a univalent self-map of the unit disc. We introduce a technique, that we call {\sl semigroup-fication}, which allows to construct a continuous semigroup $(ϕ_t)$ of holomorphic self-maps of the unit disc whose time one map $ϕ_1$ is, in a sense, very close to $f$. The semigrup-fication of $f$ is of the same type as $f$ (elliptic, hyperbolic, parabolic of positive step or parabolic of zero step) and there is a one-to-one correspondence between the set of boundary regular fixed points of $f$ with a given multiplier and the corresponding set for $ϕ_1$. Moreover, in case $f$ (and hence $ϕ_1$) has no interior fixed points, the slope of the orbits converging to the Denjoy-Wolff point is the same. The construction is based on holomorphic models, localization techniques and Gromov hyperbolicity. As an application of this construction, we prove that in the non-elliptic case, the orbits of $f$ converge non-tangentially to the Denjoy-Wolff point if and only if the Koenigs domain of $f$ is "almost symmetric" with respect to vertical lines.

math.CV↗

Homeomorphic extension of quasi-isometries for convex domains in $\mathbb C^d$ and iteration theory

We study the homeomorphic extension of biholomorphisms between convex domains in $\mathbb C^d$ without boundary regularity and boundedness assumptions. Our approach relies on methods from coarse geometry, namely the correspondence between the Gromov boundary and the topological boundaries of the domains and the dynamical properties of commuting 1-Lipschitz maps in Gromov hyperbolic spaces. This approach not only allows us to prove extensions for biholomorphisms, but for more general quasi-isometries between the domains endowed with their Kobayashi distances.

math.CV↗

Non-tangential limits and the slope of trajectories of holomorphic semigroups of the unit disc

Let $Δ\subsetneq \mathbb C$ be a simply connected domain, let $f:\mathbb D \to Δ$ be a Riemann map and let $\{z_k\}\subset Δ$ be a compactly divergent sequence. Using Gromov's hyperbolicity theory, we show that $\{f^{-1}(z_k)\}$ converges non-tangentially to a point of $\partial \mathbb D$ if and only if there exists a simply connected domain $U\subsetneq \mathbb C$ such that $Δ\subset U$ and $Δ$ contains a tubular hyperbolic neighborhood of a geodesic of $U$ and $\{z_k\}$ is eventually contained in a smaller tubular hyperbolic neighborhood of the same geodesic. As a consequence we show that if $(ϕ_t)$ is a non-elliptic semigroup of holomorphic self-maps of $\mathbb D$ with Königs function $h$ and $h(\mathbb D)$ contains a vertical Euclidean sector, then $ϕ_t(z)$ converges to the Denjoy-Wolff point non-tangentially for every $z\in \mathbb D$ as $t\to +\infty$. Using new localization results for the hyperbolic distance, we also construct an example of a parabolic semigroup which converges non-tangentially to the Denjoy-Wolff point but oscillating, in the sense that the slope of the trajectories is not a single point.

math.CV↗

Automorphisms of $\mathbb C^k$ with an invariant non-recurrent attracting Fatou component biholomorphic to $\mathbb C\times (\mathbb C^\ast)^{k-1}$

We prove the existence of automorphisms of $\mathbb C^k$, $k\ge 2$, having an invariant, non-recurrent Fatou component biholomorphic to $\mathbb C \times (\mathbb C^\ast)^{k-1}$ which is attracting, in the sense that all the orbits converge to a fixed point on the boundary of the component. Such a Fatou component also avoids $k$ analytic discs intersecting transversally at the fixed point. As a corollary, we obtain a Runge copy of $\mathbb C \times (\mathbb C^\ast)^{k-1}$ in $\mathbb C^k$.

math.CV↗

Asymptotic behavior of orbits of holomorphic semigroups

Let $(ϕ_t)$ be a holomorphic semigroup of the unit disc (i.e., the flow of a semicomplete holomorphic vector field) without fixed points in the unit disc and let $Ω$ be the starlike at infinity domain image of the Koenigs function of $(ϕ_t)$. In this paper we completely characterize the type of convergence of the orbits of $(ϕ_t)$ to the Denjoy-Wolff point in terms of the shape of $Ω$. In particular we prove that the convergence is non-tangential if and only if the domain $Ω$ is `quasi-symmetric with respect to vertical axes'. We also prove that such conditions are equivalent to the curve $[0,\infty)\ni t\mapsto ϕ_t(z)$ being a quasi-geodesic in the sense of Gromov. Also, we characterize the tangential convergence in terms of the shape of $Ω$.

math.CV↗

A characterization of orthogonal convergence in simply connected domains

Let $\mathbb D$ be the unit disc in $\mathbb C$ and let $f:\mathbb D \to \mathbb C$ be a Riemann map, $Δ=f(\mathbb D)$. We give a necessary and sufficient condition in terms of hyperbolic distance and horocycles which assures that a compactly divergent sequence $\{z_n\}\subset Δ$ has the property that $\{f^{-1}(z_n)\}$ converges orthogonally to a point of $\partial \mathbb D$. We also give some applications of this to the slope problem for continuous semigroups of holomorphic self-maps of $\mathbb D$.

math.CV↗

Comparison of invariant metrics and distances on strongly pseudoconvex domains and worm domains

We prove that for a strongly pseudoconvex domain $D\subset\mathbb C^n$, the infinitesimal Carathéodory metric $g_C(z,v)$ and the infinitesimal Kobayashi metric $g_K(z,v)$ coincide if $z$ is sufficiently close to $bD$ and if $v$ is sufficiently close to being tangential to $bD$. Also, we show that every two close points of $D$ sufficiently close to the boundary and whose difference is almost tangential to $bD$ can be joined by a (unique up to reparameterization) complex geodesic of $D$ which is also a holomorphic retract of $D$. The same continues to hold if $D$ is a worm domain, as long as the points are sufficiently close to a strongly pseudoconvex boundary point. We also show that a strongly pseudoconvex boundary point of a worm domain can be globally exposed, this has consequences for the behavior of the squeezing function.

math.CV↗

Backward orbits and petals of semigroups of holomorphic self-maps of the unit disc

We study the backward invariant set of one-parameter semigroups of holomorphic self-maps of the unit disc. Such a set is foliated in maximal invariant curves and its open connected components are petals, which are, in fact, images of Poggi-Corradini's type pre-models. Hyperbolic petals are in one-to-one correspondence with repelling fixed points, while only parabolic semigroups can have parabolic petals. Petals have locally connected boundaries and, except a very particular case, they are indeed Jordan domains. The boundary of a petal contains the Denjoy-Wolff point and, except such a fixed point, the closure of a petal contains either no other boundary fixed point or a unique repelling fixed point. We also describe petals in terms of geometric and analytic behavior of Königs functions using divergence rate and universality of models. Moreover, we construct a semigroup having a repelling fixed point in such a way that the intertwining map of the pre-model is not regular.

math.CV↗

Horosphere topology

We introduce a prime end-type theory on complete Kobayashi hyperbolic manifolds using horosphere sequences. This allows to introduce a new notion of boundary-new even in the unit disc in the complex space-the horosphere boundary, and a topology on the manifold together with its horosphere boundary, the horosphere topology. We prove that a bounded strongly pseudoconvex domain endowed with the horosphere topology is homeomorphic to its Euclidean closure, while for the polydisc such a horosphere topology is not even Hausdorff and is different from the Gromov topology. We use this theory to study boundary behavior of univalent maps from bounded strongly pseudoconvex domains. Among other things, we prove that every univalent map of the unit ball whose image is bounded and convex, extends as a homeomorphism up to the closure. Such a result, relying in an essential way on our theory and on the Gromov hyperbolicity theory, is completely new, dealing with non smooth domains.

math.CV↗

Simultaneous models for commuting holomorphic self-maps of the ball

We prove that a finite family of commuting holomorphic self-maps of the unit ball $\mathbb{B}^q\subset \mathbb{C}^q$ admits a simultaneous holomorphic conjugacy to a family of commuting automorphisms of a possibly lower dimensional ball, and that such conjugacy satisfies a universal property. As an application we describe when a hyperbolic and a parabolic holomorphic self-map of $\mathbb{B}^q$ can commute.

math.CV↗

A proof of the Muir-Suffridge conjecture for convex maps of the unit ball in $\mathbb C^n$

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 set of points $ξ$ such that $\lim_{z\to ξ}\|F(z)\|=\infty$. Then we prove that $\mathcal S$ is either empty, or contains one or two points and $F$ extends as a homeomorphism $\tilde{F}:\overline{\mathbb B^n}\setminus \mathcal S\to \overline{D}$. Moreover, $\mathcal S=\emptyset$ if $D$ is bounded, $\mathcal S$ has one point if $D$ has one connected component at $\infty$ and $\mathcal S$ has two points if $D$ has two connected components at $\infty$ and, up to composition with an affine map, $F$ is an extension of the strip map in the plane to higher dimension.

math.CV↗

Topological invariants for semigroups of holomorphic self-maps of the unit disc

Let $(φ_t)$, $(ϕ_t)$ be two one-parameter semigroups of holomorphic self-maps of the unit disc $\mathbb D\subset \mathbb C$. Let $f:\mathbb D \to \mathbb D$ be a homeomorphism. We prove that, if $f \circ ϕ_t=φ_t \circ f$ for all $t\geq 0$, then $f$ extends to a homeomorphism of $\bar{\mathbb D}$ outside exceptional maximal contact arcs (in particular, for elliptic semigroups, $f$ extends to a homeomorphism of $\bar{\mathbb D}$). Using this result, we study topological invariants for one-parameter semigroups of holomorphic self-maps of the unit disc.

math.CV↗

Growth Estimates for the Numerical Range of Holomorphic Mappings and Applications

The numerical range of holomorphic mappings arises in many aspects of nonlinear analysis, finite and infinite dimensional holomorphy, and complex dynamical systems. In particular, this notion plays a crucial role in establishing exponential and product formulas for semigroups of holomorphic mappings, the study of flow invariance and range conditions, geometric function theory in finite and infinite dimensional Banach spaces, and in the study of complete and semi-complete vector fields and their applications to starlike and spirallike mappings, and to Bloch (univalence) radii for locally biholomorphic mappings. In the present paper we establish lower and upper bounds for the numerical range of holomorphic mappings in Banach spaces. In addition, we study and discuss some geometric and quantitative analytic aspects of fixed point theory, nonlinear resolvents of holomorphic mappings, Bloch radii, as well as radii of starlikeness and spirallikeness.

math.CV↗