Showing 1–50 of 60 results for author: Fornæss, J E

Orbits Inside Basins of Attraction of Skew Products

Authors: John Erik Fornaess, Mi Hu

Abstract: A basic problem in complex dynamics is to understand orbits of holomorphic maps. One problem is to understand the collection of points $S$ in an attracting basin whose forward orbits land exactly on the attracting fixed point. In the paper [13], the second author showed that for holomorphic polynomials in $\mathbb C$, there is a constant $C$ so that all Kobayashi discs of radius $C$ must intersect… ▽ More A basic problem in complex dynamics is to understand orbits of holomorphic maps. One problem is to understand the collection of points $S$ in an attracting basin whose forward orbits land exactly on the attracting fixed point. In the paper [13], the second author showed that for holomorphic polynomials in $\mathbb C$, there is a constant $C$ so that all Kobayashi discs of radius $C$ must intersect this set $S$. In the paper [15], the second author showed that there are holomorphic skew products in $\mathbb {C}^2$ where this result fails. The main result of this paper is to show that for a large class of polynomial skew products, this result nevertheless holds. △ Less

Submitted 6 May, 2025; originally announced May 2025.

Backtracking New Q-Newton's method for finding roots of meromorphic functions in 1 complex variable: Global convergence, and local stable/unstable curves

Authors: John Erik Fornæss, Mi Hu, Tuyen Trung Truong

Abstract: In this paper, we research more in depth properties of Backtracking New Q-Newton's method (recently designed by the third author), when used to find roots of meromorphic functions. If $f=P/Q$, where $P$ and $Q$ are polynomials in 1 complex variable z with $°(P)>°(Q)$, we show the existence of an exceptional set $\mathcal{E}\subset\mathbf{C}$, which is contained in a countable union of real analy… ▽ More In this paper, we research more in depth properties of Backtracking New Q-Newton's method (recently designed by the third author), when used to find roots of meromorphic functions. If $f=P/Q$, where $P$ and $Q$ are polynomials in 1 complex variable z with $°(P)>°(Q)$, we show the existence of an exceptional set $\mathcal{E}\subset\mathbf{C}$, which is contained in a countable union of real analytic curves in $\mathbf{R}^2=\mathbf{C}$, so that the following statements A and B hold. Here, $\{z_n\}$ is the sequence constructed by BNQN with an initial point $z_0$ which is not a pole of $f$. A) If $z_0\in\mathbf{C}\backslash\mathcal{E}$, then $\{z_n\}$ converges to a root of $f$. B) If $z_0\in \mathcal{E}$, then $\{z_n\}$ converges to a critical point - but not a root - of $f$. Experiments seem to indicate that in general, even when $f$ is a polynomial, the set $\mathcal{E}$ is not contained in a finite union of real analytic curves. We provide further results relevant to whether locally $\mathcal{E}$ is contained in a finite number of real analytic curves. A similar result holds for general meromorphic functions. Moreover, unlike previous work, here we do not require that the parameters of BNQN are random, or that the meromorphic function $f$ is generic. Based on the theoretical results, we explain (both rigorously and heuristically) of what observed in experiments with BNQN, in previous works by the authors. In particular, the dynamics of BNQN (an iterative method) seems to have some striking similarities to Newton's method (a continuous method) and the classical Poincaré-Bendixon theorem for differentiable real dynamical systems on the complex plane. This is the more interesting given that discrete versions of Newton's method (e.g. Relaxed Newton's method) does not behave this way. △ Less

Submitted 24 February, 2025; v1 submitted 3 December, 2024; originally announced December 2024.

Comments: 57 pages. Main changes: 1) Replace the connection with Fatou-Leau flowers by a more appropriate connection with Newton's flow and Poincare-Bendixon theorem for 2-dim flows. 2) Add an experiment on using Random Relaxed Newton's method to find roots of e^{2iz}-1. Comments are welcome

Increasing sequences of complex manifolds with uniform squeezing constants and their Bergman spaces

Authors: John Erik Fornæss, Ratna Pal

Abstract: For $d\geq 2$, we discuss $d$-dimensional complex manifolds $M$ that are the increasing union of bounded open sets $M_n$'s of $\mathbb{C}^d$ with a common uniform squeezing constant. The description of $M$ is given in terms of the corank of the infinitesimal Kobayashi metric of $M$, which is shown to be identically constant on $M$. The main result of this article says that if $M$ has full Kobayash… ▽ More For $d\geq 2$, we discuss $d$-dimensional complex manifolds $M$ that are the increasing union of bounded open sets $M_n$'s of $\mathbb{C}^d$ with a common uniform squeezing constant. The description of $M$ is given in terms of the corank of the infinitesimal Kobayashi metric of $M$, which is shown to be identically constant on $M$. The main result of this article says that if $M$ has full Kobayashi corank, then $M$ can be written as an increasing union of the unit ball; if $M$ has zero Kobayashi corank, then $M$ has a bounded realization with a uniform squeezing constant; and if $M$ has an intermediate Kobayashi corank, then $M$ has a local weak vector bundle structure. The above description of $M$ is used to show that the dimension of the Bergman space of $M \subseteq \mathbb{C}^d$ is either zero or infinity. This settles Wiegerinck's conjecture for those pseudoconvex domains in higher dimensions that are increasing union of bounded domains with a common uniform squeezing constant. △ Less

Submitted 21 January, 2025; v1 submitted 2 July, 2024; originally announced July 2024.

Comments: Final version (to appear in Mathematische Annalen)

MSC Class: Primary: 32F45; Secondary: 32H02; 32A36

Density in weighted Bergman spaces and Bergman completeness of Hartogs domains

Authors: Bo-Yong Chen, John Erik Fornæss, Jujie Wu

Abstract: We study the density of functions which are holomorphic in a neighbourhood of the closure $\overlineΩ$ of a bounded non-smooth pseudoconvex domain $Ω$, in the Bergman space $ H^2(Ω,\varphi)$ with a plurisubharmonic weight $\varphi$. As an application, we show that the Hartogs domain $$ Ω_α: = \{(z,w) \in D\times \C: |w|< δ^α_D(z) \}, \ \ \ α>0, $$ where $D\subset \subset \C$ and $δ_D$ denotes th… ▽ More We study the density of functions which are holomorphic in a neighbourhood of the closure $\overlineΩ$ of a bounded non-smooth pseudoconvex domain $Ω$, in the Bergman space $ H^2(Ω,\varphi)$ with a plurisubharmonic weight $\varphi$. As an application, we show that the Hartogs domain $$ Ω_α: = \{(z,w) \in D\times \C: |w|< δ^α_D(z) \}, \ \ \ α>0, $$ where $D\subset \subset \C$ and $δ_D$ denotes the boundary distance, is Bergman complete if and only if every boundary point of $D$ is non-isolated. △ Less

Submitted 26 February, 2024; originally announced February 2024.

Comments: 23pages

Backtracking New Q-Newton's method, Newton's flow, Voronoi's diagram and Stochastic root finding

Authors: John Erik Fornaess, Mi Hu, Tuyen Trung Truong, Takayuki Watanabe

Abstract: A new variant of Newton's method - named Backtracking New Q-Newton's method (BNQN) - which has strong theoretical guarantee, is easy to implement, and has good experimental performance, was recently introduced by the third author. Experiments performed previously showed some remarkable properties of the basins of attractions for finding roots of polynomials and meromorphic functions, with BNQN.… ▽ More A new variant of Newton's method - named Backtracking New Q-Newton's method (BNQN) - which has strong theoretical guarantee, is easy to implement, and has good experimental performance, was recently introduced by the third author. Experiments performed previously showed some remarkable properties of the basins of attractions for finding roots of polynomials and meromorphic functions, with BNQN. In general, they look more smooth than that of Newton's method. In this paper, we continue to experimentally explore in depth this remarkable phenomenon, and connect BNQN to Newton's flow and Voronoi's diagram. This link poses a couple of challenging puzzles to be explained. Experiments also indicate that BNQN is more robust against random perturbations than Newton's method and Random Relaxed Newton's method. △ Less

Submitted 8 January, 2024; v1 submitted 2 January, 2024; originally announced January 2024.

Comments: 48 pages. Some typos are fixed. Comments are welcome!. arXiv admin note: text overlap with arXiv:2312.12166

Backtracking New Q-Newton's method, Schröder's theorem, and Linear Conjugacy

Authors: John Erik Fornaess, Mi Hu, Tuyen Trung Truong, Takayuki Watanabe

Abstract: A new variant of Newton's method - named Backtracking New Q-Newton's method (BNQN) - which has strong theoretical guarantee, is easy to implement, and has good experimental performance, was recently introduced by the third author. Experiments performed previously showed some remarkable properties of the basins of attractions for finding roots of polynomials and meromorphic functions using BNQN.… ▽ More A new variant of Newton's method - named Backtracking New Q-Newton's method (BNQN) - which has strong theoretical guarantee, is easy to implement, and has good experimental performance, was recently introduced by the third author. Experiments performed previously showed some remarkable properties of the basins of attractions for finding roots of polynomials and meromorphic functions using BNQN. In particular, it seems that for finding roots of polynomials of degree 2, the basins of attraction of the dynamics for BNQN are the same as that for Newton's method (the latter is the classical Schröder's result in Complex Dynamics). In this paper, we show that indeed the picture we obtain when finding roots of polynomials of degree 2 is the same as that in Schöder's result, with a remarkable difference: on the boundary line of the basins, the dynamics of Newton's method is chaotic, while the dynamics of BNQN is more smooth. On the way to proving the result, we show that BNQN (in any dimension) is invariant under conjugation by linear operators of the form $A=cR$, where $R$ is unitary and $c>0$ a constant. This again illustrates the similarity-difference relation between BNQN and Newton's method. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Comments: 29 pages. Comments are welcome!

Orbits inside Fatou sets

Authors: John Erik Fornaess, Mi Hu

Abstract: In this paper, we investigate the precise behavior of orbits inside attracting basins of rational functions on $\mathbb P^1$ and entire functions $f$ in $\mathbb{C}$. Let $R(z)$ be a rational function on $\mathbb P^1$, $\mathcal {A}(p)$ be the basin of attraction of an attracting fixed point $p$ of $R$, and $Ω_i$ $ (i=1, 2, \cdots)$ be the connected components of $\mathcal{A}(p)$, and $Ω_1$ cont… ▽ More In this paper, we investigate the precise behavior of orbits inside attracting basins of rational functions on $\mathbb P^1$ and entire functions $f$ in $\mathbb{C}$. Let $R(z)$ be a rational function on $\mathbb P^1$, $\mathcal {A}(p)$ be the basin of attraction of an attracting fixed point $p$ of $R$, and $Ω_i$ $ (i=1, 2, \cdots)$ be the connected components of $\mathcal{A}(p)$, and $Ω_1$ contains $p.$ Let $p_0\inΩ_1$ be close to $p.$ If at least one $Ω_i$ is not simply connected, then there exists a constant $C$ so that for any $z_0\in Ω_i$, there is a point $q\in \cup_k R^{-k}(p_0), k\geq0$ so that the Kobayashi distance $d_{Ω_i}(z_0, q)\leq C.$ If all $Ω_i$ are simply connected, then the result is the same as for polynomials and is treated in an earlier paper. For entire functions $f$, we generally can not have similar results as for rational functions. However, if $f$ has finitely many critical points, then similar results hold. △ Less

Submitted 15 September, 2023; originally announced September 2023.

Comments: arXiv admin note: text overlap with arXiv:2208.00546

Notes on Short $\mathbb{C}^k$'s

Authors: John Erik Fornaess, Ratna Pal

Abstract: Domains that are increasing union of balls (up to biholomorphism) and on which the Kobayashi metric vanishes identically arise inexorably in complex analysis. In this article we show that in higher dimensions these domains have infinite volume and the Bergman spaces of these domains are trivial. As a consequence they fail to be strictly pseudo-convex at each of their boundary points although these… ▽ More Domains that are increasing union of balls (up to biholomorphism) and on which the Kobayashi metric vanishes identically arise inexorably in complex analysis. In this article we show that in higher dimensions these domains have infinite volume and the Bergman spaces of these domains are trivial. As a consequence they fail to be strictly pseudo-convex at each of their boundary points although these domains are pseudo-convex by definition. These domains can be of different types and one of them is Short $\mathbb{C}^k$'s. In pursuit of identifying the Runge Short $\mathbb{C}^k$'s (up to biholomorphism), we introduce a special class of Short $\mathbb{C}^k$'s, called Loewner Short $\mathbb{C}^k$'s. These are those Short $\mathbb{C}^k$'s which can be exhausted in a continuous manner by a strictly increasing parametrized family of open sets, each of which is biholomrphically equivalent to the unit ball and therefore, they are Runge up to biholomorphism. Although, the question of whether all Short $\mathbb{C}^k$'s are Runge (up to biholomorphism), or whether all Short $\mathbb{C}^k$'s are Loewner remains unsettled, we show that the typical Short $\mathbb{C}^k$'s are Loewner. In the final section, we construct a bunch of non-autonomous basins of attraction, which serve as interesting examples of Short $\mathbb{C}^2$'s. △ Less

Submitted 26 April, 2021; originally announced April 2021.

Comments: 15 pages

Dynamics of transcendental Hénon maps III: Infinite entropy

Authors: Leandro Arosio, Anna Miriam Benini, John Erik Fornæss, Han Peters

Abstract: Very little is currently known about the dynamics of non-polynomial entire maps in several complex variables. The family of transcendental Hénon maps offers the potential of combining ideas from transcendental dynamics in one variable, and the dynamics of polynomial Hénon maps in two. Here we show that these maps all have infinite topological and measure theoretic entropy. The proof also implies t… ▽ More Very little is currently known about the dynamics of non-polynomial entire maps in several complex variables. The family of transcendental Hénon maps offers the potential of combining ideas from transcendental dynamics in one variable, and the dynamics of polynomial Hénon maps in two. Here we show that these maps all have infinite topological and measure theoretic entropy. The proof also implies the existence of infinitely many periodic orbits of any order greater than two. △ Less

Submitted 10 February, 2021; originally announced February 2021.

MSC Class: 37F80

Injective Hyperbolicity for quotients of balls and polydisks

Authors: John Erik Fornaess, Maria Trybula, Erlend Fornaess Wold

Abstract: In this article we study the injective Kobayashi metric on complex surfaces. In this article we study the injective Kobayashi metric on complex surfaces. △ Less

Submitted 5 October, 2020; v1 submitted 1 October, 2020; originally announced October 2020.

MSC Class: 32F45

Strong localization of invariant metrics

Authors: John Erik Fornæss, Nikolai Nikolov

Abstract: A quantitative version of strong localization of the Kobayashi, Azukawa and Sibony metrics, as well as of the squeezing function, near a plurisubharmonic peak boundary point of a domain in $\Bbb C^n$ is given. As an application, the behavior of these metrics near a strictly pseudoconvex boundary point is studied. A weak localization of the three metrics and the squeezing function is also given nea… ▽ More A quantitative version of strong localization of the Kobayashi, Azukawa and Sibony metrics, as well as of the squeezing function, near a plurisubharmonic peak boundary point of a domain in $\Bbb C^n$ is given. As an application, the behavior of these metrics near a strictly pseudoconvex boundary point is studied. A weak localization of the three metrics and the squeezing function is also given near a plurisubharmonic antipeak boundary point. △ Less

Submitted 3 May, 2021; v1 submitted 22 November, 2019; originally announced November 2019.

Comments: v2: slightly extended version; v3: to appear in Math. Ann. We have added a counterpart to Theorem 1 in the case where $\infty$ is a psh peak point

Journal ref: Math. Ann. 383 (2022), 353-360

Weighted $L^2$ version of Mergelyan and Carleman approximation

Authors: Séverine Biard, John Erik Fornæss, Jujie Wu

Abstract: We study the density of polynomials in $H^2(E,\varphi)$, the space of square integrable functions with respect to $e^{-\varphi}dm$ and holomorphic on the interior of $E$ in $\mathbb{C}$, where $\varphi$ is a subharmonic function and $dm$ is a measure on $E$. We give a result where $E$ is the union of a Lipschitz graph and a Carathéodory domain, that we state as a weighted $L^2$-version of the Merg… ▽ More We study the density of polynomials in $H^2(E,\varphi)$, the space of square integrable functions with respect to $e^{-\varphi}dm$ and holomorphic on the interior of $E$ in $\mathbb{C}$, where $\varphi$ is a subharmonic function and $dm$ is a measure on $E$. We give a result where $E$ is the union of a Lipschitz graph and a Carathéodory domain, that we state as a weighted $L^2$-version of the Mergelyan theorem. We also prove a weighted $L^2$-version of the Carleman theorem. Keywords: Mergelyan theorem, Carleman theorem, Weighted $L^2$- spaces, Rectifiable non-Lipschitz arc △ Less

Submitted 17 April, 2020; v1 submitted 13 October, 2019; originally announced October 2019.

Comments: 26 pages, Comments are welcome

Dynamics of transcendental Hénon maps-II

Authors: Leandro Arosio, Anna Miriam Benini, John Erik Fornæss, Han Peters

Abstract: Transcendental Hénon maps are the natural extensions of the well investigated complex polynomial Hénon maps to the much larger class of holomorphic automorphisms. We prove here that transcendental Hénon maps always have non-trivial dynamical behavior, namely that they always admit both periodic and escaping orbits, and that their Julia sets are non-empty and perfect. Transcendental Hénon maps are the natural extensions of the well investigated complex polynomial Hénon maps to the much larger class of holomorphic automorphisms. We prove here that transcendental Hénon maps always have non-trivial dynamical behavior, namely that they always admit both periodic and escaping orbits, and that their Julia sets are non-empty and perfect. △ Less

Submitted 27 May, 2019; originally announced May 2019.

Entropy of Transcendental entire functions

Authors: Anna Miriam Benini, John Erik Fornæss, Han Peters

Abstract: We prove that all entire transcendental entire functions have infinite topological entropy. We prove that all entire transcendental entire functions have infinite topological entropy. △ Less

Submitted 8 April, 2019; v1 submitted 20 August, 2018; originally announced August 2018.

Comments: 13 pages

Journal ref: Ergod. Th. Dynam. Sys. 41 (2021) 338-348

Infinite entropy for transcendental entire functions with an omitted value

Authors: Anna Miriam Benini, John Erik Fornæss, Han Peters

Abstract: We prove that entire transcendental holomorphic functions with an omitted value have infinite entropy. A proof for general transcendental entire functions will be given in an upcoming paper. We prove that entire transcendental holomorphic functions with an omitted value have infinite entropy. A proof for general transcendental entire functions will be given in an upcoming paper. △ Less

Submitted 6 August, 2018; originally announced August 2018.

Comments: 4 pages

MSC Class: 30D99; 32H50

An embedding of the unit ball that does not embed into a Loewner chain

Authors: John Erik Fornaess, Erlend Fornaess Wold

Abstract: We construct a holomorphic embedding $φ:\mathbb B^3\rightarrow\mathbb C^3$ such that $φ(\mathbb B^3)$ is not Runge in any strictly larger domain. As a consequence, $\mathcal S\neq\mathcal S^1$ for $n=3$. We construct a holomorphic embedding $φ:\mathbb B^3\rightarrow\mathbb C^3$ such that $φ(\mathbb B^3)$ is not Runge in any strictly larger domain. As a consequence, $\mathcal S\neq\mathcal S^1$ for $n=3$. △ Less

Submitted 10 June, 2018; originally announced June 2018.

MSC Class: 32E20; 32E30; 32H02

Weighted-$L^2$ polynomial approximation in $\mathbb{C}$

Authors: Séverine Biard, John Erik Fornæss, Jujie Wu

Abstract: We study the density of polynomials in $H^2(Ω,e^{-\varphi})$, the space of square integrable holomorphic functions in a bounded domain $Ω$ in $\mathbb{C}$, where $\varphi$ is a subharmonic function. In particular, we prove that the density holds in Carathéodory domains for any subharmonic function $\varphi$ in a neighborhood of $\overlineΩ$. In non-Carathéodory domains, we prove that the density d… ▽ More We study the density of polynomials in $H^2(Ω,e^{-\varphi})$, the space of square integrable holomorphic functions in a bounded domain $Ω$ in $\mathbb{C}$, where $\varphi$ is a subharmonic function. In particular, we prove that the density holds in Carathéodory domains for any subharmonic function $\varphi$ in a neighborhood of $\overlineΩ$. In non-Carathéodory domains, we prove that the density depends on the weight function, giving examples. △ Less

Submitted 28 February, 2019; v1 submitted 29 May, 2018; originally announced May 2018.

Comments: 23 pages. Comments are welcome!

A note on pseudoconvex hypersurfaces of infinite type in $\mathbb C^n$

Authors: John Erik Fornæss, Ninh Van Thu

Abstract: The purpose of this article is to prove that there exists a real smooth pseudoconvex hypersurface germ $(M,p)$ of D'Angelo infinite type in $\mathbb C^{n+1}$ such that it does not admit any (singular) holomorphic curve in $\mathbb C^{n+1}$ tangent to $M$ at $p$ to infinite order. The purpose of this article is to prove that there exists a real smooth pseudoconvex hypersurface germ $(M,p)$ of D'Angelo infinite type in $\mathbb C^{n+1}$ such that it does not admit any (singular) holomorphic curve in $\mathbb C^{n+1}$ tangent to $M$ at $p$ to infinite order. △ Less

Submitted 23 March, 2020; v1 submitted 26 April, 2018; originally announced April 2018.

Comments: 10 pages

MSC Class: 32T25

Holomorphic approximation: the legacy of Weierstrass, Runge, Oka-Weil, and Mergelyan

Authors: John Erik Fornaess, Franc Forstneric, Erlend Fornaess Wold

Abstract: In this paper we survey the theory of holomorphic approximation, from the classical 19th century results of Runge and Weierstrass, continuing with the 20th century work of Oka and Weil, Mergelyan, Vitushkin and others, to the most recent ones on higher dimensional manifolds. The paper includes some new results and applications of this theory, especially to manifold-valued maps. In this paper we survey the theory of holomorphic approximation, from the classical 19th century results of Runge and Weierstrass, continuing with the 20th century work of Oka and Weil, Mergelyan, Vitushkin and others, to the most recent ones on higher dimensional manifolds. The paper includes some new results and applications of this theory, especially to manifold-valued maps. △ Less

Submitted 14 February, 2020; v1 submitted 12 February, 2018; originally announced February 2018.

Comments: To appear as Chapter 5 in the volume Advancements in Complex Analysis, Springer-Verlag. We sincerely thank the numerous colleagues, mentioned in the Acknowledgements, who kindly sent us their remarks on the initial version of the paper

MSC Class: 30E10; 32E10; 32E30

Journal ref: In: Advancements in Complex Analysis (From Theory to Practice), pp. 133-192. Springer, Cham (2020). https://www.springer.com/gp/book/9783030401191

Weighted approximation in $\mathbb{C}$

Authors: Jujie Wu, John Erik Fornæss

Abstract: We prove that if $\{ \varphi_j\}_j$ is a sequence of subharmonic functions which are increasing to some subharmonic function $\varphi$ in $\mathbb{C}$, then the union of all the weighted Hilbert spaces $H(\varphi_j)$ is dense in the weighted Hilbert space $H(\varphi)$. We prove that if $\{ \varphi_j\}_j$ is a sequence of subharmonic functions which are increasing to some subharmonic function $\varphi$ in $\mathbb{C}$, then the union of all the weighted Hilbert spaces $H(\varphi_j)$ is dense in the weighted Hilbert space $H(\varphi)$. △ Less

Submitted 28 November, 2018; v1 submitted 4 December, 2017; originally announced December 2017.

MSC Class: 30D20; 30E10; 30H50; 31A05

Squeezing functions and Cantor Sets

Authors: Leandro Arosio, John Erik Fornæss, Nikolay Shcherbina, Erlend Fornæss Wold

Abstract: We construct "large" Cantor sets whose complements resemble the unit disk arbitrarily well from the point of view of the squeezing function, and we construct "large" Cantor sets whose complements do not resemble the unit disk from the point of view of the squeezing function. Finally we show that complements of Cantor sets arising as Julia sets of quadratic polynomials have degenerate squeezing fun… ▽ More We construct "large" Cantor sets whose complements resemble the unit disk arbitrarily well from the point of view of the squeezing function, and we construct "large" Cantor sets whose complements do not resemble the unit disk from the point of view of the squeezing function. Finally we show that complements of Cantor sets arising as Julia sets of quadratic polynomials have degenerate squeezing functions, despite of having Hausdorff dimension arbitrarily close to two. △ Less

Submitted 27 October, 2017; originally announced October 2017.

Flat bundles over some compact complex manifolds

Authors: Fusheng Deng, John Erik Fornæss

Abstract: We construct examples of flat fiber bundles over the Hopf surface such that the total spaces have no pseudoconvex neighborhood basis, admit a complete Kähler metric, or are hyperconvex but have no nonconstant holomorphic functions. For any compact Riemannian surface of positive genus, we construct a flat $\mathbb P^1$ bundle over it and a Stein domain with real analytic bundary in it whose closure… ▽ More We construct examples of flat fiber bundles over the Hopf surface such that the total spaces have no pseudoconvex neighborhood basis, admit a complete Kähler metric, or are hyperconvex but have no nonconstant holomorphic functions. For any compact Riemannian surface of positive genus, we construct a flat $\mathbb P^1$ bundle over it and a Stein domain with real analytic bundary in it whose closure does not have pseudoconvex neighborhood basis. For a compact complex manifold with positive first Betti number, we construct a flat disc bundle over it such that the total space is hyperconvex but admits no nonconstant holomorphic functions. △ Less

Submitted 22 October, 2017; originally announced October 2017.

Comments: 12 pages

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

Authors: Filippo Bracci, John Erik Fornaess, Erlend Fornaess Wold

Abstract: 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 tangen… ▽ More 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. △ Less

Submitted 3 June, 2018; v1 submitted 11 October, 2017; originally announced October 2017.

MSC Class: 32H02; 32F45

Dynamics of transcendental Hénon maps

Authors: Leandro Arosio, Anna Miriam Benini, John Erik Fornaess, Han Peters

Abstract: The dynamics of transcendental functions in the complex plane has received a significant amount of attention. In particular much is known about the description of Fatou components. Besides the types of periodic Fatou components that can occur for polynomials, there also exist so-called Baker domains, periodic components where all orbits converge to infinity, as well as wandering domains. In tryi… ▽ More The dynamics of transcendental functions in the complex plane has received a significant amount of attention. In particular much is known about the description of Fatou components. Besides the types of periodic Fatou components that can occur for polynomials, there also exist so-called Baker domains, periodic components where all orbits converge to infinity, as well as wandering domains. In trying to find analogues of these one dimensional results, it is not clear which higher dimensional transcendental maps to consider. In this paper we find inspiration from the extensive work on the dynamics of complex Hénon maps. We introduce the family of transcendental Hénon maps, and study their dynamics, emphasizing the description of Fatou components. We prove that the classification of the recurrent invariant Fatou components is similar to that of polynomial Hénon maps, and we give examples of Baker domains and wandering domains. △ Less

Submitted 25 May, 2017; originally announced May 2017.

MSC Class: 32H50; 37F50; 37F10

A non-strictly pseudoconvex domain for which the squeezing function tends to one towards the boundary

Authors: John Erik Fornæss, Erlend Fornæss Wold

Abstract: In recent work by Zimmer it was proved that if $Ω\subset\mathbb C^n$ is a bounded convex domain with $C^\infty$-smooth boundary, then $Ω$ is strictly pseudoconvex provided that the squeezing function approaches one as one approaches the boundary. We show that this result fails if $Ω$ is only assumed to be $C^2$-smooth. In recent work by Zimmer it was proved that if $Ω\subset\mathbb C^n$ is a bounded convex domain with $C^\infty$-smooth boundary, then $Ω$ is strictly pseudoconvex provided that the squeezing function approaches one as one approaches the boundary. We show that this result fails if $Ω$ is only assumed to be $C^2$-smooth. △ Less

Submitted 14 November, 2016; originally announced November 2016.

MSC Class: 32H02; 32F45

Journal ref: Pacific J. Math. 297 (2018) 79-86

Exposing boundary points of strongly pseudoconvex subvarieties in complex spaces

Authors: Fusheng Deng, John Erik Fornaess, Erlend Fornaess Wold

Abstract: We prove that all locally exposable points in a Stein compact in a complex space can be exposed along a given curve to a given real hypersurface. Moreover, the exposing map for a boundary point can be sufficiently close to the identity map outside any fixed neighborhood of the point. We also prove a parametric version of this result for bounded strongly pseudoconvex domains in $\mathbb C^n$. For a… ▽ More We prove that all locally exposable points in a Stein compact in a complex space can be exposed along a given curve to a given real hypersurface. Moreover, the exposing map for a boundary point can be sufficiently close to the identity map outside any fixed neighborhood of the point. We also prove a parametric version of this result for bounded strongly pseudoconvex domains in $\mathbb C^n$. For a bounded strongly pseudoconvex domain in $\mathbb C^n$ and a given boundary point of it, we prove that there is a global coordinate change on the closure of the domain which is arbitrarily close to the identity map with respect to the $C^1$-norm and maps the boundary point to a strongly convex boundary point. △ Less

Submitted 10 July, 2016; originally announced July 2016.

MSC Class: 32H02; 32C15

Estimate of the squeezing function for a class of bounded domains

Authors: John Erik Fornaess, Feng Rong

Abstract: We construct a class of bounded domains, on which the squeezing function is not uniformly bounded from below near a smooth and pseudoconvex boundary point. We construct a class of bounded domains, on which the squeezing function is not uniformly bounded from below near a smooth and pseudoconvex boundary point. △ Less

Submitted 9 April, 2017; v1 submitted 4 June, 2016; originally announced June 2016.

Comments: 7 pages; corrected errors and improved presentation; to appear in Math. Ann

MSC Class: 32T25; 32F45

Introduction to complex dynamics in one dimension

Authors: John Erik Fornæss

Abstract: These are notes from elementary lectures given in the summer of 2013 at the YMSC center at Tsinghua University in Beijing. These are notes from elementary lectures given in the summer of 2013 at the YMSC center at Tsinghua University in Beijing. △ Less

Submitted 31 May, 2016; originally announced May 2016.

MSC Class: 30-01

A global approximation result by Al Taylor and the strong openness conjecture in C^n

Authors: John Erik Fornæss, Jujie Wu

Abstract: We improve a global approximation result by Al Taylor in C^n for holomorphic functions in weighted Hilbert spaces. The main tools are a variation of the theorem of Hormander on weighted L^2-estimates for the dbar-equation together with the solution of the strong openness conjecture. A counterexample to a global strong openness conjecture in Cn is also given here. We improve a global approximation result by Al Taylor in C^n for holomorphic functions in weighted Hilbert spaces. The main tools are a variation of the theorem of Hormander on weighted L^2-estimates for the dbar-equation together with the solution of the strong openness conjecture. A counterexample to a global strong openness conjecture in Cn is also given here. △ Less

Submitted 25 April, 2016; originally announced April 2016.

Comments: 12 pages

A characterization of the ball

Authors: Klas Diederich, John Erik Fornæss, Erlend Fornæss Wold

Abstract: We study bounded domains with certain smoothness conditions and the properties of their squeezing functions in order to prove that the domains are biholomorphic to the ball. We study bounded domains with certain smoothness conditions and the properties of their squeezing functions in order to prove that the domains are biholomorphic to the ball. △ Less

Submitted 18 April, 2016; originally announced April 2016.

MSC Class: 32A99

A domain with non-plurisubharmonic squeezing function

Authors: John Erik Fornæss, Nikolay Shcherbina

Abstract: We construct a strictly pseudoconvex domain with smooth boundary whose squeezing function is not plurisubharmonic. We construct a strictly pseudoconvex domain with smooth boundary whose squeezing function is not plurisubharmonic. △ Less

Submitted 26 April, 2016; v1 submitted 6 April, 2016; originally announced April 2016.

Comments: 9 pages, 4 figures

MSC Class: 32T15; 32U05

On a conjecture by Blocki-Zwonek

Authors: John Erik Fornæss

Abstract: The article provides a counterexample to a conjecture by Blocki-Zwonek. The article provides a counterexample to a conjecture by Blocki-Zwonek. △ Less

Submitted 17 July, 2015; originally announced July 2015.

MSC Class: 32U35

Several Complex Variables

Authors: John Erik Fornaess

Abstract: These are notes from a basic course in Several Complex Variables These are notes from a basic course in Several Complex Variables △ Less

Submitted 2 July, 2015; originally announced July 2015.

MSC Class: 32A99

Boundary Behavior of the Bergman Metric

Authors: Klas Diederich, J. E. Fornæss

Abstract: More precise estimates for the Bergman metric on strongly pseudoconvex domains are given, based on the use of the squeezing function. More precise estimates for the Bergman metric on strongly pseudoconvex domains are given, based on the use of the squeezing function. △ Less

Submitted 22 April, 2015; v1 submitted 12 April, 2015; originally announced April 2015.

MSC Class: 32F45

An Estimate for the Squeezing function and estimates of invariant metrics

Authors: John Erik Fornaess, Erlend Fornaess Wold

Abstract: We give estimates for the squeezing function on strictly pseudoconvex domains, and derive some sharp estimates for the Caratheodory, Sibony and Azukawa metric near their boundaries. We give estimates for the squeezing function on strictly pseudoconvex domains, and derive some sharp estimates for the Caratheodory, Sibony and Azukawa metric near their boundaries. △ Less

Submitted 14 November, 2014; originally announced November 2014.

MSC Class: 32F45

A survey on non-autonomous basins in several complex variables

Authors: Alberto Abbondandolo, Leandro Arosio, John Erik Fornæss, Pietro Majer, Han Peters, Jasmin Raissy, Liz Vivas

Abstract: Consider a holomorphic automorphism which acts hyperbolically on some invariant compact set. Then for every point in the compact set there exists a stable manifold, which is a complex manifold diffeomorphic to real Euclidean space. If the point is fixed, then the stable manifold is even biholomorphic to complex Euclidean space. In fact, it is known that the stable manifold of a generic point is bi… ▽ More Consider a holomorphic automorphism which acts hyperbolically on some invariant compact set. Then for every point in the compact set there exists a stable manifold, which is a complex manifold diffeomorphic to real Euclidean space. If the point is fixed, then the stable manifold is even biholomorphic to complex Euclidean space. In fact, it is known that the stable manifold of a generic point is biholomorphic to Euclidean space, and it has been conjectured that this holds for every point. In this article we survey the history of this problem, addressing both known results and the techniques used to obtain those results. Moreover, we present a list of seemingly simpler open problems and prove several new results, all pointing towards a positive answer to the conjecture discussed above. △ Less

Submitted 22 April, 2014; v1 submitted 15 November, 2013; originally announced November 2013.

MSC Class: 32H50

Complex dynamics with focus on the real parts

Authors: John Erik Fornaess, Han Peters

Abstract: We consider the dynamics of holomorphic polynomials in $\mathbb C$. We show that the ergodic properties of the map can be seen already from the real parts of the orbits. We consider the dynamics of holomorphic polynomials in $\mathbb C$. We show that the ergodic properties of the map can be seen already from the real parts of the orbits. △ Less

Submitted 29 October, 2013; v1 submitted 17 October, 2013; originally announced October 2013.

MSC Class: 37F10

Exposing points on the boundary of a strictly pseudoconvex or a locally convexifiable domain of finite 1-type

Authors: Klas Diederich, John Erik Fornaess, Erlend Fornaess Wold

Abstract: We show that for any bounded domain $Ω\subset\Cp ^n$ of 1-type $2k $ which is locally convexifiable at $p\in bΩ$, having a Stein neighborhood basis, there is a biholomorphic map $f:\barΩ\rightarrow \Cp ^n $ such that $f(p)$ is a global extreme point of type $2k$ for $f{(\barΩ)}$. We show that for any bounded domain $Ω\subset\Cp ^n$ of 1-type $2k $ which is locally convexifiable at $p\in bΩ$, having a Stein neighborhood basis, there is a biholomorphic map $f:\barΩ\rightarrow \Cp ^n $ such that $f(p)$ is a global extreme point of type $2k$ for $f{(\barΩ)}$. △ Less

Submitted 8 March, 2013; originally announced March 2013.

MSC Class: 32H02; 32T15; 32T25

The range of holomorphic maps at boundary points

Authors: Filippo Bracci, John Erik Fornaess

Abstract: We prove a boundary version of the open mapping theorem for holomorphic maps between strongly pseudoconvex domains. That is, we prove that the local image of a holomorphic map $f:D\to D'$ close to a boundary regular contact point $p\in \de D$ where the Jacobian is bounded from zero along normal non-tangential directions has to eventually contain every cone (and more generally every admissible regi… ▽ More We prove a boundary version of the open mapping theorem for holomorphic maps between strongly pseudoconvex domains. That is, we prove that the local image of a holomorphic map $f:D\to D'$ close to a boundary regular contact point $p\in \de D$ where the Jacobian is bounded from zero along normal non-tangential directions has to eventually contain every cone (and more generally every admissible region) with vertex at $f(p)$. △ Less

Submitted 26 November, 2012; originally announced November 2012.

Equilibrium measures on saddle sets of holomorphic maps on P^2

Authors: John Erik Fornaess, Eugen Mihailescu

Abstract: We consider the case of hyperbolic basic sets $Λ$ of saddle type for holomorphic maps $f: \mathbb P^2\mathbb C \to \mathbb P^2\mathbb C$. We study equilibrium measures $μ_φ$ associated to a class of Hölder potentials $φ$ on $Λ$, and find the measures $μ_φ$ of iterates of arbitrary Bowen balls. Estimates for the pointwise dimension $δ_{μ_φ}$ of $μ_φ$ that involve Lyapunov exponents and a correction… ▽ More We consider the case of hyperbolic basic sets $Λ$ of saddle type for holomorphic maps $f: \mathbb P^2\mathbb C \to \mathbb P^2\mathbb C$. We study equilibrium measures $μ_φ$ associated to a class of Hölder potentials $φ$ on $Λ$, and find the measures $μ_φ$ of iterates of arbitrary Bowen balls. Estimates for the pointwise dimension $δ_{μ_φ}$ of $μ_φ$ that involve Lyapunov exponents and a correction term are found, and also a formula for the Hausdorff dimension of $μ_φ$ in the case when the preimage counting function is constant on $Λ$. For terminal/minimal saddle sets we prove that an invariant measure $ν$ obtained as a wedge product of two positive closed currents, is in fact the measure of maximal entropy for the \textit{restriction} $f|_Λ$. This allows then to obtain formulas for the measure $ν$ of arbitrary balls, and to give a formula for the pointwise dimension and the Hausdorff dimension of $ν$. △ Less

Submitted 14 March, 2012; originally announced March 2012.

MSC Class: 37F15; 37D35; 37C45; 37F10; 37F35; 37A35

Solving $\bar\partial_b$ on hyperbolic laminations

Authors: John Erik Fornaess, Erlend Fornaess Wold

Abstract: Let $X$ denote a compact set which is laminated by Riemann surfaces. We assume that $X$ carries a positive CR line bundle $ L\rightarrow X$. The main result of the paper is that there exists a positive integer $s$ so that if $v$ is any continuous $(0,1)$ form with coefficients in $L^{\otimes s}$ there exists a continuous section $u$ of $L^{\otimes s}$ solving the equation $\bar\partial_b u=v$. Let $X$ denote a compact set which is laminated by Riemann surfaces. We assume that $X$ carries a positive CR line bundle $ L\rightarrow X$. The main result of the paper is that there exists a positive integer $s$ so that if $v$ is any continuous $(0,1)$ form with coefficients in $L^{\otimes s}$ there exists a continuous section $u$ of $L^{\otimes s}$ solving the equation $\bar\partial_b u=v$. △ Less

Submitted 10 August, 2011; originally announced August 2011.

Q-Complete Domains with Corners and Extension of Line Bundles

Authors: John Erik Fornaess, Nessim Sibony, Erlend F. Wold

Abstract: Final version to appear in Math.Z Final version to appear in Math.Z △ Less

Submitted 17 February, 2012; v1 submitted 26 May, 2011; originally announced May 2011.

Comments: 19 pages

Properties of Solutions of Differential Equations on Foliations

Authors: Xiaoai Chai, John Eric Fornaess

Abstract: In this paper, we discuss foliations by real curves. We investigate differential equations which are modifications of du/dx = v along leaves. Our focus is on having a solution operator so that u is continuous if v is continuous. In this paper, we discuss foliations by real curves. We investigate differential equations which are modifications of du/dx = v along leaves. Our focus is on having a solution operator so that u is continuous if v is continuous. △ Less

Submitted 18 April, 2011; originally announced April 2011.

Comments: 45 pages, 4 figures

Examples of Minimal Laminations and Associated Currents

Authors: John Erik Fornaess, Nessim Sibony, Erlend Fornaess Wold

Abstract: In this paper, we construct various examples of holomorphic laminations, with leaves of dimension 1, and we also study some of their dynamical properties. In particular we study existence and uniqueness of positive closed currents. We construct minimal laminations with infinitely many mutually singular closed currents and no non-closed harmonic current. We also consider embeddings to projective… ▽ More In this paper, we construct various examples of holomorphic laminations, with leaves of dimension 1, and we also study some of their dynamical properties. In particular we study existence and uniqueness of positive closed currents. We construct minimal laminations with infinitely many mutually singular closed currents and no non-closed harmonic current. We also consider embeddings to projective space. △ Less

Submitted 14 February, 2010; originally announced February 2010.

Comments: 36 pages

On supnorm estimates for $\bar\partial$ on infinite type convex domains in $\mathbb C^2$

Authors: John Erik Fornaess, Lina Lee, Yuan Zhang

Abstract: In this paper, we study the $\bar\partial$-equation on some convex domains of infinite type in $\mathbb C^2$. In detail, we prove that supnorm estimates hold for infinite exponential type domains provided the exponent is less than 1. In this paper, we study the $\bar\partial$-equation on some convex domains of infinite type in $\mathbb C^2$. In detail, we prove that supnorm estimates hold for infinite exponential type domains provided the exponent is less than 1. △ Less

Submitted 11 November, 2009; originally announced November 2009.

Comments: 15 pages. submitted to J. Geom. Anal

Infinite type germs of smooth hypersurfaces in $\mathbb C^n$

Authors: John Erik Fornaess, Lina Lee, Yuan Zhang

Abstract: In this paper, we discuss germs of smooth hypersurface in $\mathbb C^n$. We show that if a point on the boundary has infinite D'Angelo type, then there exists a formal complex curve in the hypersurface through that point. In this paper, we discuss germs of smooth hypersurface in $\mathbb C^n$. We show that if a point on the boundary has infinite D'Angelo type, then there exists a formal complex curve in the hypersurface through that point. △ Less

Submitted 11 November, 2009; originally announced November 2009.

Comments: 6 pages. published in complex. Var. Elliptic. Equ.2009

Kobayashi, Carathéodory, and Sibony metric

Authors: John Erik Fornaess, Lina Lee

Abstract: In this paper, we estimate the boundary behavior of the Sibony metric near a pseudoconcave boundary point. We show that the metric blows up at a different rate than the Kobayashi metric. In this paper, we estimate the boundary behavior of the Sibony metric near a pseudoconcave boundary point. We show that the metric blows up at a different rate than the Kobayashi metric. △ Less

Submitted 11 November, 2009; originally announced November 2009.

Comments: 9 pages

Journal ref: Complex Var. Elliptic Equ. 54 (2009), no. 3-4, 293--301

Asymptotic behavior of the Kobayashi metric in the normal direction

Authors: John Erik Fornaess, Lina Lee

Abstract: In this paper, we construct a pseudoconvex domain in $\mathbb C^3$ where the Kobayashi metric does not blow up at a rate of one over distance to the boundary in the normal direction. In this paper, we construct a pseudoconvex domain in $\mathbb C^3$ where the Kobayashi metric does not blow up at a rate of one over distance to the boundary in the normal direction. △ Less

Submitted 11 November, 2009; originally announced November 2009.

Comments: 10 pages

Journal ref: Math. Z. 261 (2009), no. 2, 399--408

Riemann Surface Laminations with Singularities

Authors: John Erik Fornaess, Nessim Sibony

Abstract: In these introductory notes we give the basics of the theory of holomorphic foliations and laminations. The emphasis is on the theory of harmonic currents and unique ergodicity for laminations transversally Lipschitz in CP^2 and for generic holomorphic foliations in CP^2. In these introductory notes we give the basics of the theory of holomorphic foliations and laminations. The emphasis is on the theory of harmonic currents and unique ergodicity for laminations transversally Lipschitz in CP^2 and for generic holomorphic foliations in CP^2. △ Less

Submitted 5 March, 2008; originally announced March 2008.

Comments: Survey article,to appear in JGA in honor of Gennadi Henkin

MSC Class: 32S65 ;32U40;30F15;57R30

A note on plurisubharmonic defining functions in $\mathbb{C}^n$

Authors: J. E. Fornaess, A. -K. Herbig

Abstract: Let D be a smoothly bounded domain in complex space of dimension larger than 2. Suppose that D admits a smooth defining function which is plurisubharmonic on the boundary of D. Then the Diederich-Fornaess exponent can be chosen arbitrarily close to 1, and the closure of D admits a Stein neighborhood basis. Let D be a smoothly bounded domain in complex space of dimension larger than 2. Suppose that D admits a smooth defining function which is plurisubharmonic on the boundary of D. Then the Diederich-Fornaess exponent can be chosen arbitrarily close to 1, and the closure of D admits a Stein neighborhood basis. △ Less

Submitted 1 February, 2008; v1 submitted 22 October, 2007; originally announced October 2007.

Comments: 17 pages

MSC Class: 32T35; 32U05; 32U10

Journal ref: Math. Ann. 342 (2008), no. 4, 749--772