Every connected bounded domain of holomorphy has connected boundary

Alexander J. Izzo

2023-08-05

Abstract:It is shown that every connected, bounded domain of holomorphy in ${\mathbb{C}}^n$, $n\geq 2$, has connected boundary.

Complex Variables

What problem does this paper attempt to address?

Boundaries of Capture Hyperbolic Components

Jie Cao,Xiaoguang Wang,Yongcheng Yin

2022-01-01

Abstract:In complex dynamics, the boundaries of higher dimensional hyperbolic components in holomorphic families of polynomials or rational maps are mysterious objects, whose topological and analytic properties are fundamental problems. In this paper, we show that in some typical families of polynomials (i.e. algebraic varieties defined by periodic critical relations), the boundary of a capture hyperbolic component ℋ is homeomorphic to the sphere S^2_ℂ(ℋ)-1. Furthermore, we establish an unexpected identity for the Hausdorff dimension of ∂ℋ: H.dim(∂ℋ) = 2 _ℂ(ℋ)-2+max_f∈∂ℋH.dim(∂ A^J(f)), where A^J(f) is the union of the bounded attracting Fatou components of f associated with the free critical points in the Julia set J(f). In the proof, some new results with independent interests are discovered.
Connectedness of the Boundary in the AdS/CFT Correspondence

Edward Witten,S. -T. Yau

DOI: https://doi.org/10.4310/atmp.1999.v3.n6.a1

1999-01-01

Abstract:Let $M$ be a complete Einstein manifold of negative curvature, and assume that (as in the AdS/CFT correspondence) it has a Penrose compactification with a conformal boundary $N$ of positive scalar curvature. We show that under these conditions, $H_n(M;Z)=0$ and in particular $N$ must be connected. These results resolve some puzzles concerning the AdS/CFT correspondence.
Holomorphic Maps with Large Images

Bo-Yong Chen,Xu Wang

DOI: https://doi.org/10.1007/s12220-014-9482-5

2014-01-01

Abstract:We show that each pseudoconvex domain $\Omega \subset {\mathbb {C}}^n$ admits a holomorphic map $F$ to ${\mathbb {C}}^m$ with $|F|\le C_1 e^{C_2 \hat{\delta }^{-6}}$, where $\hat{\delta }$ is the minimum of the boundary distance and $(1+|z|^2)^{-1/2}$, such that every boundary point is a Casorati–Weierstrass point of $F$. Based on this fact, we introduce a new anti-hyperbolic concept—universal dominability. We also show that for each $\alpha >6$ and each pseudoconvex domain $\Omega \subset {\mathbb C}^n$, there is a holomorphic function $f$ on ${\Omega }$ with $|f|\le C_\alpha e^{C_\alpha ' \hat{\delta }^{-\alpha }}$, such that every boundary point is a Picard point of $F$. Applications to the construction of holomorphic maps of a given domain onto some ${\mathbb C}^m$ are given.
Connected holonomy is lower semicontinuous

Olaf Müller

2024-06-05

Abstract:In this article, we show that the map assigning to a metric its restricted holonomy class (conjugacy class of the connected component of the holonomy representation) is lower semicontinuous on the space of $C^2$ metrics on any fixed manifold.

Differential Geometry
Global Newlander-Nirenberg theorem on domains with finite smooth boundary in complex manifolds

Xianghong Gong,Ziming Shi

2024-10-12

Abstract:Let $M$ be a relatively compact $C^2$ domain in a complex manifold $\mathcal M$ of dimension $n$. Assume that $H^{1}(M,\Theta)=0$ where $\Theta$ is the sheaf of germs of holomorphic tangent fields of $M$. Suppose that the Levi-form of the boundary of $M$ has at least 3 negative eigenvalues or at least $n-1$ positive eigenvalues pointwise. We will first construct a homotopy formula for $\Theta$-valued $(0,1)$-forms on $\overline M$. We then apply a Nash-Moser iteration scheme to show that if a formally integrable almost complex structure of the Hölder-Zygmund class $\Lambda^r$ on $\overline M$ is sufficiently close to the complex structure on $ M$ in the Hölder-Zygmund norm $\Lambda^{r_0}(\overline M)$ for some $r_0>5/2$, then there is a diffeomorphism $F$ from $\overline M$ into $\mathcal M$ that transforms the almost complex structure into the complex structure on $F(M)$, where $F \in \Lambda^s(M)$ for all $s<r+1/2$.

Complex Variables,Differential Geometry
On an observation of Sibony

Debraj Chakrabarti

DOI: https://doi.org/10.48550/arXiv.1807.05277

2018-11-19

Abstract:It is shown that if the boundary of a Reinhardt domain in $\mathbb{C}^n$ contains the origin, each holomorphic function on the domain which is infinitely many times differentiable up to the boundary extends holomorphically to a neighborhood of the origin.

Complex Variables
The Denjoy-Wolff Theorem in simply connected domains

Anna Miriam Benini,Filippo Bracci

2024-09-18

Abstract:We characterize the simply connected domains $\Omega\subsetneq\mathbb{C}$ that exhibit the Denjoy-Wolff Property, meaning that every holomorphic self-map of $\Omega$ without fixed points has a Denjoy-Wolff point. We demonstrate that this property holds if and only if every automorphism of $\Omega$ without fixed points in $\Omega$ has a Denjoy-Wolff point. Furthermore, we establish that the Denjoy-Wolff Property is equivalent to the existence of what we term an ``$H$-limit'' at each boundary point for a Riemann map associated with the domain. The $H$-limit condition is stronger than the existence of non-tangential limits but weaker than unrestricted limits. As an additional result of our work, we prove that there exist bounded simply connected domains where the Denjoy-Wolff Property holds but which are not visible in the sense of Bharali and Zimmer. Since visibility is a sufficient condition for the Denjoy-Wolff Property, this proves that in general it is not necessary.

Complex Variables
Boundary dynamics for holomorphic sequences, non-autonomous dynamical systems and wandering domains

Anna Miriam Benini,Vasiliki Evdoridou,Núria Fagella,Philip J. Rippon,Gwyneth M. Stallard

2023-06-27

Abstract:There are many classical results, related to the Denjoy--Wolff Theorem, concerning the relationship between orbits of interior points and orbits of boundary points under iterates of holomorphic self-maps of the unit disc. Here, for the first time, we address such questions in the very general setting of sequences $(F_n)$ of holomorphic maps between simply connected domains. We show that, while some classical results can be generalised, with an interesting dependence on the geometry of the domains, a much richer variety of behaviours is possible. Some of our results are new even in the classical setting. Our methods apply in particular to non-autonomous dynamical systems, when $(F_n)$ are forward compositions of holomorphic maps, and to the study of wandering domains in holomorphic dynamics. The proofs use techniques from geometric function theory, measure theory and ergodic theory, and the construction of examples involves a `weak independence' version of the second Borel--Cantelli lemma and the concept from ergodic theory of `shrinking targets'.

Dynamical Systems,Complex Variables
Boundary Traces of Holomorphic Functions on the Unit Ball in

William E. Gryc

DOI: https://doi.org/10.1007/s40315-024-00549-0

2024-06-09

Computational Methods and Function Theory

Abstract:It is a classical theorem that if a function on the unit circle is integrable, then it is the nontangential limit of a holomorphic function on the open disc (subject to a certain growth condition) if and only if its Fourier coefficients for nonnegative integers are zero. In this article we generalize this result to higher complex dimensions by proving that for an integrable function on the unit sphere, it is a "boundary trace" of a holomorphic function on the open unit ball if and only if two particular families of integral equations are satisfied. To do this, we use the theory of Hardy spaces as well as the invariant Poisson and Cauchy integrals.

mathematics, applied
Every Bounded Pseudoconvex Domain with Hölder Boundary is Hyperconvex

Bo-Yong Chen

DOI: https://doi.org/10.1112/blms.12478

IF: 1.036

2021-01-01

Bulletin of the London Mathematical Society

Abstract:We show that every bounded pseudo-convex domain with Holder boundary in Cn is hyperconvex.
Domains of Holomorphy by Curvature Conditions

Ngaiming Mok,Shing-Tung Yau

DOI: https://doi.org/10.1090/pspum/039.1/720056

1983-01-01

Abstract:In this article we show that a bounded domain is a domain of holomorphy if and only if it carries a complete Kähler-Einstein metric with negative Ricci curvature. The completeness theorem is generalized to a variety of subdomains on Kähler manifolds with curvature conditions. We also investigate the question of characterizing domains of holomorphy by holomorphic sectional curvature.In [2] Cheng and Yau constructed complete Kähler-Einstein metrics with negative Ricci curvature on strictly pseudoconvex domains with C* boundary, k= 5. For any bounded domain of holomorphy Q, they show that the complete Kähler-Einstein metrics of scalar curvature–C on any exhausting family Q, of strictly pseudoconvex domains (with C* boundary, k= 5) converge uniformly on
AN AXIOMATIC DEFINITION OF HOLONOMY

A. CAETANO,R. F. PICKEN

DOI: https://doi.org/10.1142/s0129167x94000425

1994-12-01

International Journal of Mathematics

Abstract:A group of loops [Formula: see text] is associated to every smooth pointed manifold M using a strong homotopy relation. It is shown that the holonomy of a connection on a principal G-bundle may be presented as a group morphism [Formula: see text] and that every such morphism satisfying a natural smoothness condition is the holonomy of some unique connection up to isomorphism.

mathematics
Homoclinic tangencies in $\mathbb{R}^n$

Victoria Rayskin

DOI: https://doi.org/10.3934/dcds.2005.12.465

2024-08-21

Abstract:Let $f: M \to M$ denote a diffeomorphism of a smooth manifold $M$. Let $p$ in $M$ be its hyperbolic fixed point with stable and unstable manifolds $W_S$ and $W_U$, respectively. Assume that $W_S$ is a curve. Suppose that $W_U$ and $W_S$ have a degenerate homoclinic crossing at a point $B\ne p$, i.e., they cross at $B$ tangentially with a finite order of contact. It is shown that, subject to $C^1$-linearizability and certain conditions on the invariant manifolds, a transverse homoclinic crossing will arise arbitrarily close to $B$. This proves the existence of a horseshoe structure arbitrarily close to $B$, and extends a similar planar result of Homburg and Weiss.

Dynamical Systems
On the connectedness of the boundary of $q$-complete domains

Rafael B. Andrist

2024-07-17

Abstract:The boundary of every relatively compact Stein domain in a complex manifold of dimension at least two is connected. No assumptions on the boundary regularity are necessary. The same proofs hold also for $q$-complete domains, and in the context of almost complex manifolds as well.

Complex Variables
Spherical Extension Property No Longer True for Domains in Algebraic Variety with Isolated Singularity

ShanYu Ji,Stephen S. T. Yau,Cheng Zhan

DOI: https://doi.org/10.1007/s11425-010-0001-2

2010-01-01

Science China Mathematics

Abstract:Let D be a domain in ℂ n . It is known that if D is a simply connected bounded domain in ℂ with spherical real analytic boundary ∂D, then every local biholomorphic map at boundary as above extends to a biholomorphic map from D onto the unit ball in ℂ n . As a consequence, a local biholomorphic map between D 1 and D 2 where D 1 and D 2 are simply connected domains in ℂ n with spherical real analytic boundaries can extend to a global biholomorphic map from D 1 onto D 2. If the boundary is algebraic, the simply connected condition in the above result can be dropped. In this note, we show that the above phenomenon is no longer true if domains are in algebraic varieties with isolated singularities.
Mapping class groups of manifolds with boundary are of finite type

Alexander Kupers

2024-04-03

Abstract:In this note we prove that the mapping class group of a compact topological manifold $M$ with boundary is of finite type, under assumptions on its dimension and connectivity.

Geometric Topology,Algebraic Topology
Proper Holomorphic Self-Maps of Quasi-balanced Domains

Fengbai Li,Feng Rong

DOI: https://doi.org/10.1007/s12220-017-9786-3

2017-01-01

Abstract:We show that proper holomorphic self-maps of smoothly bounded pseudoconvex quasi-balanced domains of finite type are automorphisms. This generalizes the classical Alexander’s theorem on proper holomorphic self-maps of the unit ball.
A study of spirallike domains: polynomial convexity, Loewner chains and dense holomorphic curves

Sanjoy Chatterjee,Sushil Gorai

2023-07-12

Abstract:In this paper, we prove that the closure of a bounded pseudoconvex domain, which is spirallike with respect to a globally asymptotic stable holomorphic vector field, is polynomially convex. We also provide a necessary and sufficient condition, in terms of polynomial convexity, on a univalent function defined on a strongly convex domain for embedding it into a filtering Loewner chain. Next, we provide an application of our first result. We show that for any bounded pseudoconvex strictly spirallike domain $\Omega$ in $\mathbb{C}^n$ and given any connected complex manifold $Y$, there exists a holomorphic map from the unit disc to the space of all holomorphic maps from $\Omega$ to $Y$. This also yields us the existence of $\mathcal{O}(\Omega, Y)$-universal map for any generalized translation on $\Omega$, which, in turn, is connected to the hypercyclicity of certain composition operators on the space of manifold valued holomorphic maps.

Complex Variables,Dynamical Systems
Local continuous extension of proper holomorphic maps: low-regularity and infinite-type boundaries

Annapurna Banik

DOI: https://doi.org/10.1016/j.jmaa.2024.128382

2024-04-24

Abstract:We prove a couple of results on local continuous extension of proper holomorphic maps $F:D \rightarrow \Omega$, $D, \Omega \varsubsetneq \mathbb{C}^n$, making local assumptions on $\partial{D}$ and $\partial{\Omega}$. The first result allows us to have much lower regularity, for the patches of $\partial{D}, \partial{\Omega}$ that are relevant, than in earlier results. The second result (and a result closely related to it) is in the spirit of a result by Forstneric--Rosay. However, our assumptions allow $\partial{\Omega}$ to contain boundary points of infinite type.

Complex Variables
Homoclinic leaves, Hausdorff limits and homeomorphisms

Ian Biringer,Cyril Lecuire

DOI: https://doi.org/10.48550/arXiv.2310.18412

2023-10-28

Abstract:We show that except for one exceptional case, a lamination on the boundary of a 3-dimensional handlebody H is a Hausdorff limit of meridians if and only if it is commensurable to a lamination with a 'homoclinic leaf'. This is a precise version of a philosophy called Casson's Criterion, which appeared in unpublished notes of A. Casson. Applications include a characterization of when a non-minimal lamination is a Hausdorff limit of meridians, in terms of properties of its minimal components, and a related characterization of which reducible self-homeomorphisms of the boundary of H have powers that extend to subcompressionbodies of H.

Geometric Topology

Every connected bounded domain of holomorphy has connected boundary

Boundaries of Capture Hyperbolic Components

Connectedness of the Boundary in the AdS/CFT Correspondence

Holomorphic Maps with Large Images

Connected holonomy is lower semicontinuous

Global Newlander-Nirenberg theorem on domains with finite smooth boundary in complex manifolds

On an observation of Sibony

The Denjoy-Wolff Theorem in simply connected domains

Boundary dynamics for holomorphic sequences, non-autonomous dynamical systems and wandering domains

Boundary Traces of Holomorphic Functions on the Unit Ball in

Every Bounded Pseudoconvex Domain with Hölder Boundary is Hyperconvex

Domains of Holomorphy by Curvature Conditions

AN AXIOMATIC DEFINITION OF HOLONOMY

Homoclinic tangencies in $\mathbb{R}^n$

On the connectedness of the boundary of $q$-complete domains

Spherical Extension Property No Longer True for Domains in Algebraic Variety with Isolated Singularity

Mapping class groups of manifolds with boundary are of finite type

Proper Holomorphic Self-Maps of Quasi-balanced Domains

A study of spirallike domains: polynomial convexity, Loewner chains and dense holomorphic curves

Local continuous extension of proper holomorphic maps: low-regularity and infinite-type boundaries

Homoclinic leaves, Hausdorff limits and homeomorphisms