Conformal equivalence of visual metrics in pseudoconvex domains

TL;DR

This paper demonstrates that boundary extensions of isometries between smooth strongly pseudoconvex domains are conformal relative to the sub-Riemannian metric, providing new insights into the geometric structure of these domains and their biholomorphic mappings.

Contribution

It refines existing estimates to show conformality of boundary extensions and offers an alternative proof of Fefferman's theorem using hyperbolic geometry techniques.

Findings

Boundary extensions are conformal with respect to the sub-Riemannian metric.

Provides an alternative proof of Fefferman's boundary regularity result.

Utilizes hyperbolic geometric methods inspired by Mostow's rigidity theorem.

Abstract

We refine estimates introduced by Balogh and Bonk, to show that the boundary extensions of isometries between smooth strongly pseudoconvex domains in $\C^n$ are conformal with respect to the sub-Riemannian metric induced by the Levi form. As a corollary we obtain an alternative proof of a result of Fefferman on smooth extensions of biholomorphic mappings between pseudoconvex domains. The proofs are inspired by Mostow's proof of his rigidity theorem and are based on the asymptotic hyperbolic character of the Kobayashi or Bergman metrics and on the Bonk-Schramm hyperbolic fillings.

Equations

$$g(x,y):=2\log\bigg{(}\frac{d_{\rm CC}(\pi(x),\pi(y))+\max(h(x),h(y))}{\sqrt{h(x)h(y)}}\bigg{)}.$$

$${\rho }_o^d(x,y)=\exp (-⟨x,y{⟩}_o),$$

$$(D_1,d_{\mathrm{K}})\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}$$

$$L_F(x):=\underset{x^{\prime }\to x}{\mathrm{limsup}}\frac{d(F(x),F(x^{\prime }))}{d(x,x^{\prime })}\text{ and }{\ell }_F(x):=\underset{x^{\prime }\to x}{\mathrm{liminf}}\frac{d(F(x),F(x^{\prime }))}{d(x,x^{\prime })}.$$

$$H^{\ast }(x,F,d_X,d_Y):=\frac{L_F(x)}{{\ell }_F(x)}.$$

$$\underset{r\to 0}{\mathrm{limsup}}\frac{\sup \{d_Y(F(p),F(q)):d_X(p,q)\le r\}}{\inf \{d_Y(F(p),F(q)):d_X(p,q)\ge r\}}\le K.$$

$$H^{\ast }(x,F_1\circ F_2)\le H^{\ast }(x,F_2)H^{\ast }(F_2(x),F_1).$$

$$H^{\ast }(x,F)\le L.$$

$$L_{\phi }(p,Z):=\sum _{\alpha ,\beta =1}^n{\partial }_{z_{\alpha }{\bar{z}}_{\beta }}^2\phi (p)Z_{\alpha }{\bar{Z}}_{\beta }$$

$$(1-C\sqrt{d_{E}(x,\partial D)})\Bigg{(}\frac{|Z_{N}|^{2}}{4d_{E}^{2}(x,\partial D)}+(1-\bar{\epsilon})\frac{L_{\varphi}(\pi(x),Z_{H})}{d_{E}(x,\partial D)}\Bigg{)}^{\frac{1}{2}}\leq K(x,Z)\\ \leq(1+C\sqrt{d_{E}(x,\partial D)})\Bigg{(}\frac{|Z_{N}|^{2}}{4d_{E}^{2}(x,\partial D)}+(1+\bar{\epsilon})\frac{L_{\varphi}(\pi(x),Z_{H})}{d_{E}(x,\partial D)}\Bigg{)}^{\frac{1}{2}},$$

$$g_k^2(p,Z):=L_{\phi }(p,Z_H)+k^2|Z_N{|}^2,$$

$$C^{-1}{d}_k(p,q)\le d_{CC}(p,q)\le C{d}_k(p,q).$$

$$\langle x,y\rangle_{o}=\frac{1}{2}\big{(}d(x,o)+d(y,o)-d(x,y)\big{)}.$$

$$⟨x,y{⟩}_o\ge \min \{⟨x,z{⟩}_o,⟨z,y{⟩}_o\}-\delta ,\text{ for all }x,y,z,o\in X.$$

$$⟨p,q{⟩}_o=\sup \underset{i\to \infty }{\mathrm{liminf}}⟨x_i,y_i{⟩}_o,$$

$${\rho }_o^g(p,q)$$

$$\underset{q\to p}{\lim }\frac{{\rho }_o^g(p,q)}{d_{CC}(p,q)}=\underset{q\to p}{\lim }\frac{h(o)}{(d_{\mathrm{CC}}(p,\pi (o))+h(o))(d_{\mathrm{CC}}(q,\pi (o))+h(o))}=\frac{h(o)}{(d_{\mathrm{CC}}(p,\pi (o))+h(o){)}^2}$$

$$d_{2}((x,u),(y,v))=2\log\bigg{(}\frac{d_{1}(x,y)+\max(u,v)}{\sqrt{uv}}\bigg{)}.$$

$$d_2(x,y)=\underset{u,v\to 0}{\lim }{e}^{-⟨(x,u),(y,v){⟩}_o}.$$

$$⟨(x,u),(y,v){⟩}_o=\frac{1}{2}(d_2((x,u),o)+d_2((y,v),o)-d_2((x,u),(y,v)))$$

$$=\log\bigg{(}\frac{d_{1}(x,z)+\max(u,s)}{\sqrt{us}}\bigg{)}+\log\bigg{(}\frac{d_{1}(y,z)+\max(v,s)}{\sqrt{vs}}\bigg{)}-\log\bigg{(}\frac{d_{1}(x,y)+\max(u,v)}{\sqrt{uv}}\bigg{)}$$

$$=\log \frac{(d_1(x,z)+s)(d_1(y,z)+s)}{s(d_1(x,y)+\max (u,v))}$$

$$=\log\bigg{(}\frac{(d_{1}(x,z)+s)(d_{1}(y,z)+s)}{s(d_{1}(x,y)+\max(u,v))}\frac{d_{1}(x,y)}{d_{1}(x,y)}\bigg{)}$$

$$=-\log\bigg{(}d_{1}(x,y)\bigg{)}+\log\bigg{(}\frac{d_{1}(x,y)(d_{1}(x,z)+s)(d_{1}(y,z)+s)}{s(d_{1}(x,y)+\max(u,v))}\bigg{)}$$

$$d_2(x,y)/d_1(x,y)$$

$$\underset{y\to x}{\lim }\frac{d_2(x,y)}{d_1(x,y)}=\frac{s}{(d_1(x,z)+s{)}^2},$$

$$g(x,y)-ϵ\le d_K(x,y)\le g(x,y)+ϵ.$$

$$l_{K}(\gamma)\geq\ln\frac{h(x_{1})}{h(x_{2})}-C\bigg{(}h(x_{1})-h(x_{2})\bigg{)},$$

$$l_{K}(\gamma)\leq\ln\frac{h(x_{1})}{h(x_{2})}+C\bigg{(}h(x_{1})-h(x_{2})\bigg{)},$$

$$\bigg{|}\frac{d}{dt}h(\gamma(t))\bigg{|}=\frac{|Re\langle n(\pi(\gamma(t))),\gamma^{\prime}(t)\rangle|}{2h(\gamma(t))}\leq\frac{|\gamma_{N}^{\prime}(t)|}{2h(\gamma(t))}.$$

Full text

L.C. partially funded by NSF award DMS 1503683.

E.L.D. is supported by the Academy of Finland project no. 288501.

1. 1 Introduction

2. 2 Preliminaries

3. 2.1 Distorsion in subRiemannian geometry

4. 2.2 Pseudoconvex domains and hermitian metrics

5. 2.3 Gromov Hyperbolicity

6. 3 Conformal equivalence of boundary metrics

7. 3.1 Proof of Proposition 1.4

8. 3.2 Boundary distances of hyperbolic fillings

9. 4 Comparing $d$ and $g$, after Balogh and Bonk

10. 4.1 Lemmata

11. 4.2 Proof of Theorem 4.1

12. 5 Local biLipschitz equivalence of Bourdon functions and proof of main result

1. Introduction

Let $D\subset\mathbb{C}^{n}(n\geq 2)$ be a strongly pseudo-convex domain with $C^{\infty}$-smooth boundary. Denote by $d_{K}$ the distance function corresponding to a Finsler structure $K$ satisfying suitable estimates, see (2.8). For example, one may consider the Bergman metric or the Kobayashi metric or the Carathéodory metric. In [BB00, BB99], Balogh and Bonk have proved that the metric space $(D,d_{K})$ is hyperbolic in the sense of Gromov and its visual boundary coincides with the topological boundary $\partial D$. They also show that the Carnot-Carathéodory metric $d_{CC}$ corresponding to the Levi form on $\partial D$, determines the canonical class of snowflake equivalent visual metrics on $\partial D$. As a consequence, results from the theory of Gromov hyperbolic spaces can be immediately applied in this setting. Among these we recall that every quasi-isometry between such spaces extends to a quasi-conformal map between the visual boundaries, endowed with their families of visual metrics, see for instance [GdlH90, BH99] and references therein.

Our main contribution is to show that extensions of isometries are actually diffeomorphisms that are conformal with respect to the Carnot-Carathéodory metric. We only need to show that the extension is $1$-quasi-conformal, as the smoothness then follows from the recent results in [CCLDO16].

As in [BB00], our strategy involves the Bonk-Schramm hyperbolic filling metric $g$ defined in (1.2). This metric provides a stepping stone to connect the Carnot-Carathéodory distance, defined on the boundary by the Levi form (see Section 2.2), with the invariant metric defined in the domain.

Theorem 1.1**.**

Let $D_{1},D_{2}\subset\mathbb{C}^{n}$ be strongly pseudoconvex $C^{\infty}$-smooth domains and denote by $d_{K}$ the distance function corresponding to a Finsler structure $K$ satisfying (2.8), and by $d_{CC}$ the Carnot-Carathéodory distance on the boundaries induced by the Levi form. If $f:(D_{1},d_{K})\to(D_{2},d_{K})$ is an isometry then the induced boundary map $F:(\partial D_{1},d_{CC})\to(\partial D_{2},d_{CC})$ is a diffeomorphism, conformal with respect to the metric $d_{CC}$.

We emphasize that the result holds when $d_{K}$ is the Bergman, the Kobayashi, or the Carathéodory metrics. Indeed, these distances satisfy (2.8) in view of the work in [BB00, BB99, Ma91].

As we noted above, the proof of Theorem 1.1 is based on the study of the relation between the visual distances associated to $d_{K}$ and the visual distance of an ad-hoc hyperbolic filing metric, built through the Carnot-Carathéodory distance: For $x\in D$ denote by $h(x):=\sqrt{d_{E}(x,\partial D)}$ and by $\pi(x)\in\partial D$ a closest point in $\partial D$ with respect to the Euclidean distance $d_{E}(\cdot,\cdot)$, noting it is uniquely defined in a neighborhood of $\partial D$. Set

[TABLE]

This is an hyperbolic filling metric built from the metric space $(\partial D,d_{\rm CC})$ (see Bonk and Schramm [BS00]). Balogh and Bonk [BB00, Corollary 1.3], showed that $g$ is a metric in a neighborhood of $\partial D$ and that $g$ and the invariant distance function $d_{K}$ are $(1,C)$-quasi-isometric. As a consequence, they give rise to quasi-conformally equivalent visual metrics.

The main technical point of our work is to refine this result in a quantitative fashion. We show that a particular visual quasi-distance $\rho^{K}_{o}$ associated to the invariant metric $d_{K}$ is in fact pointwise and asymptotically $(1+\epsilon)$-quasi-conformally equivalent to the Carnot-Carathéodory $d_{CC}$ metric. By pointwise and asymptotically we mean that for every point $x\in\partial D$ in the boundary, and for every $\epsilon>0$, one can choose a base point $o$ for the definition of the visual distances so that the identity map has distortion less than $1+\epsilon$ at $x$. Following ideas in CAT$(-1)$ spaces, given a pointed metric space $(X,d,o)$ we consider the Bourdon function

[TABLE]

where $\langle x,y\rangle_{o}$ denotes the Gromov product in $(X,d)$, see Section 2. Usually, $\rho^{d}_{o}$ is called Bourdon distance since for CAT($-1$) spaces it satisfies the triangle inequality. In our setting, $\rho^{d}_{o}$ may not be a distance.

Moreover, on a CAT($-1$) space $X$ Bourdon showed in [Bou95] that the visual boundaries $(\partial_{\infty}X,\rho^{d}_{o})$ corresponding to diffent base points $o,o^{\prime}\in X$ are conformally equivalent, thus implying immediately that any isometry of $X$ extends to a conformal maps of its visual boundaries. Since pseudoconvex domains may not have negative curvature (see [Kra13]) and may not be simply connected, they are not CAT$(-1)$ spaces and so one cannot apply Bourdon’s result.

Theorem 1.1 is achieved in two steps: First one shows that the Carnot-Carathéodory distance is conformally equivalent111 The result holds for any hyperbolic filling as in the work of Bonk and Schramm. See Section 3.2 to the Bourdon function $\rho^{g}_{o}$ associated to the hyperbolic filling metric $g$.

Proposition 1.4**.**

For any $o\in D$, the functions $d_{CC}$ and $\rho^{g}_{o}$ are conformally equivalent.

In other words, the identity map $(\partial D,d_{CC})\to(\partial D,\rho^{g}_{o})$ has distortion that is identically equal to one. See (2.1) for the definition of distortion.

Next, we show that at every boundary point, and for any $\epsilon>0$, one can find a base point $o\in D$ such that the corresponding visual functions $\rho^{K}_{o}$ and $\rho^{g}_{o}$ are $(1+\epsilon)$-biLipschitz equivalent in a neighborhood of that point. In the following we denote Euclidean balls in $\mathbb{C}^{n}$ with the notation $B(x,r)$.

Proposition 1.5**.**

For any $\bar{p}\in\partial D$ and $\bar{\epsilon}>0$ there exists $r>0$ such that for all $\omega\in\partial D\cap B(\bar{p},r)\setminus\{\bar{p}\}$ there exists $r^{\prime}>0$ such that for all $o\in D\cap B(\omega,r^{\prime})$ the two functions $\rho^{g}_{o}$ and $\rho^{K}_{o}$ are $(1+\bar{\epsilon})$-biLipschitz on $\partial D\cap B(\bar{p},r^{\prime})$.

The proof of Proposition 1.5 and Theorem 1.1 are in Section 5. Theorem 1.1 follows rather directly from Propositions 1.4 and 1.5 and from the following diagram

[TABLE]

At the center of this chain of compositions there is an isometry, the rest of the links are either $(1+\epsilon)$ biLipschitz maps or conformal maps, so that the total distortion is at most $\epsilon$ away from being equal to 1 everywhere.

From the conformal equivalence theorem above and the results in [CCLDO16], one can immediately infer a result about boundary extensions for biholomorphisms between strictly pseudoconvex domains in $\mathbb{C}^{n}$, originally established by Fefferman [Fef74].

Corollary 1.5**.**

Let $D_{1},D_{2}\in\mathbb{C}^{n}(n\geq 2)$ be strongly pseudo-convex domains with $C^{\infty}$-smooth boundaries. If $f:D_{1}\to D_{2}$ is a biholomorphism then it extends to a smooth map $F:\partial D_{1}\to\partial D_{2}$ that is conformal with respect to the corresponding subRiemannian contact structure. In particular, at every boundary point, its differential is a similarity between the maximally complex tangent planes.

Since the publication of [Fef74] there have been several significative extensions and simplifications of the result. A small sample of this extensive line of inquiry can be found in the references [BL80, BC82, NWY80, Bar83, Kra15].

Rather than a simplification of Fefferman’s original proof, our approach is a recasting of the result from the perspective of analysis in metric spaces and the circle of ideas at the core of Mostow rigidity [Mos73]. The differentiable structure is not used to show that the extension map is $1$-quasi-conformal, and then it only enters in play coupled with the rigidity of $1$-quasi-conformal mappings in higher dimension. Likewise, curvature enters into the arguments only in its synthetic (metric) form. In particular, our work can be seen as an instance of a dictionary, introduced by Bonk, Heinonen, and Koskela in [BHK01], translating back and forth problems in domains in Euclidean spaces by means of ad hoc hyperbolic or quasi-hyperbolic metrics, that endow such domains with an hyperbolic structure in the sense of Gromov. For more results along this line, see also the recent, interesting work of Zimmer in [Zim16].

Acknowledgements The recasting of Fefferman’s result from the point of view of Mostow rigidity and metric hyperbolicity was the main motivation behind this work, and was outlined by Michael Cowling, back in 2007. The authors are very grateful to both Michael Cowling and to Loredana Lanzani for several key observations that have led to a better understanding of the problem.

2. Preliminaries

In this section we recall some basic definitions and results. We start by discussing distortion and conformal maps on subRiemannian manifolds. Then we discuss pseudoconvex domains and their metrics. Finally we review hyperbolicity in the sense of Gromov.

2.1. Distorsion in subRiemannian geometry

By a previous work of the authors together with Ottazzi, we know that several definitions of conformal maps are equivalent in the setting of contact subRiemannian manifolds. We now recall the two definitions that we shall need in this paper.

For a homeomorphism $F:X\to Y$ between general metric spaces, we consider the following quantities

[TABLE]

The quantity $\operatorname{L}_{F}(x)$ is sometimes denoted by ${\rm Lip}_{F}(x)$ and is called the pointwise Lipschitz constant. Within this paper, we define the distortion of $f$ at a point $x\in X$ as

[TABLE]

The homeomorphism $f$ is said to be quasi-conformal if there exists $K$ such that for all $x\in X$ one has

[TABLE]

It is well-known that in the literature there are several other equivalent definitions of quasi-conformality in ‘geometrically nice’ spaces, see [Wil12]. However, the equivalence is not quantitative, in the sense that each definition has an associated constant (like the $K$ above) and the value of of these constants can be different from definition to definition. Thus we need to clarify what is a conformal map. To do this we invoke Theorem 1.3 and Theorem 1.19 from [CCLDO16]. Namely, the additional subRiemannian structure allows to an unambiguous definition of 1-quasiconformality.

Lemma 2.2** (C-L-O).**

Let $F:X\to Y$ be a quasi-conformal homeomorphism between two equiregular subRiemannian manifolds.

(i) The requirement $H^{*}(\cdot,F,d_{X},d_{Y})\equiv 1$ is equivalent to other notions of 1-quasi-conformality.

(ii) If $X$ and $Y$ are contact manifolds, then 1-quasi-conformality of $F$ is equivalent to $F$ being conformal (i.e., smooth and with horizontal differential that is a homothety).

One of the advantages to work with (2.1) is that it immediately yields a chain rule:

[TABLE]

The last equation follows from the fact that $\limsup a_{n}b_{n}\leq\limsup a_{n}\limsup b_{n}$ whenever $a_{n},b_{n}\geq 0$. Moreover, we trivially have that if $f$ is an $L$-biLipschitz homeomorphism, then

[TABLE]

2.2. Pseudoconvex domains and hermitian metrics

We recall some of the basic definitions about pseudoconvex domains and hermitian metrics, as well as some key results proved by Balogh and Bonk in [BB00].

Let $D\subset\mathbb{C}^{n}$, $n\geq 2$ be a smooth, bounded open set. Let ${\varphi}:\mathbb{C}^{n}\to\mathbb{R}$ denote the signed distance function from $\partial D$, negative in $D$ and positive in its complement. Set $N_{\delta}=\{x\in D\ |\ d_{E}(x,\partial D)<\delta\}$.

Lemma 2.5** (Tubular Neighborhood Theorem).**

Let $D\subset\mathbb{C}^{n}$, $n\geq 2$ be a bounded domain with smooth boundary. There exists $\delta_{0}>0$ such that the projection $\pi:N_{\delta_{o}}\to\partial D$ is a smooth, well defined map and the distance function $d_{E}(\cdot,\partial D)$ is smooth on $N_{\delta_{0}}$.

We will denote by $n(x)$ the outer unit normal at $x\in\partial D$, so that the fiber $\pi^{-1}(x)\cap N_{\delta_{0}}=\{x+sn(x)|s\in(0,\delta_{0})\}.$

For $p\in\partial D$, one can define the tangent space $T_{p}\partial D=\{Z\in\mathbb{C}^{n}|Re\langle\bar{\partial}{\varphi}(p),Z\rangle=0\}$ and its maximal complex subspace $H_{p}\partial D=\{Z\in\mathbb{C}^{n}|\langle\bar{\partial}{\varphi}(p),Z\rangle=0\}$, where $\langle Z,Z^{\prime}\rangle=\sum_{i=1}^{n}Z_{i}\bar{Z}^{\prime}_{i}$ is the hermitian product. By definition, the domain $D$ is strictly pseudoconvex if for every $p\in\partial D$, the Levi form

[TABLE]

is positive definite on $H_{p}\partial D$.

For each $p\in\partial D$ one has a splitting $\mathbb{C}^{n}=H_{p}\partial D\oplus N_{p}\partial D$, where $N_{p}\partial D$ is the complex one-dimensional subspace orthogonal to $H_{p}\partial D$. This splitting at $p$ induces a decomposition $Z=Z_{H}+Z_{N}$ for all $Z\in\mathbb{C}^{n}$.

Metrics that are invariant under the action of biholomorphisms play a key role in several complex variables. Important examples are the Bergman metric, the Kobayashi metric, and the Carathéodory metric (see [Kra13]). In all cases, for $x\in D$ the length of a complex vector $Z\in T_{x}D=\mathbb{C}^{n}$ is given by a Finsler structure $K(x,Z)$. We will rely on the following result, which can be found in [BB99] and also [BB00, Proposition 1.2].

Proposition 2.7** (Balogh-Bonk).**

Let $D\subset\mathbb{C}^{n}$, $n\geq 2$ be a bounded, strictly pseudoconvex domain with smooth boundary and let $K(x,Z)$ be the Finsler structure associated to the Bergman metric or the Kobayashi metric or the Carathéodory metric. For every $\bar{\epsilon}>0$ there exists $\delta_{0},C>0$ such that for all $x\in D$ with $d_{E}(x,\partial D)\leq\delta_{0}$ and $Z\in\mathbb{C}^{n}$ one has

[TABLE]

where $Z=Z_{H}+Z_{N}$ is the splitting at $\pi(x)$.

The subbundle $H\partial D$ is a contact distribution on $\partial D$ and the triplet $(\partial D,H\partial D,L_{\varphi})$ yields a contact subRiemannian manifold. In this structure, the horizontal curves are those arcs in $\partial D$ that are tangent to the contact distribution, and the Carnot-Carathéodory distance $d_{CC}(p,q)$ between $p,q\in\partial D$ is defined as the minimum time it takes to reach one point from the other traveling along horizontal curves at unit speed with respect to the Levi form, see [Gro96].

As in [BB00], we will need to use a family of Riemannian metrics on $\partial D$ that approximate the sub-Riemannian metric associated to the Levi form, and that in fact have corresponding distance functions that converge in the sense of Gromov-Hausdorff to the Carnot-Carathéodory distance. For every $k>0$ we define a Riemannian metric $g_{k}$ on $T\partial D$ as

[TABLE]

for every $p\in\partial D$ and every $Z=Z_{H}+Z_{N}\in T_{p}\partial D$. Here we just recall a basic comparison result (see for instance [BB00, Lemma 3.2]) relating the distance function $d_{k}$ associated to $g_{k}$ to the Carnot-Carathéodory distance $d_{CC}$.

Lemma 2.10**.**

There exists a constant $C>0$ such that for all $k>0$, and for all points $p,q\in\partial D$, with $d_{CC}(p,q)\geq k^{-1}$ one has

[TABLE]

2.3. Gromov Hyperbolicity

Let $x,y,o$ be three points in a metric space $(X,d)$. Then the Gromov product of $x$ and $y$ at $o$, denoted $\langle x,y\rangle_{o}$, is defined by

[TABLE]

Then $X$ is called Gromov hyperbolic if there exists $\delta\geq 0$ such that

[TABLE]

For a Gromov hyperbolic space $X$ one can define a boundary set $\partial_{\infty}X$ as follows, see [BH99, p.431-2]. Fix a basepoint $o\in X$. A sequence $(x_{i})$ in $X$ is said to converge at infinity if $\lim_{i,j\to\infty}\langle x_{i},x_{j}\rangle_{o}=\infty$. Two sequences $(x_{i})$ and $(y_{i})$ converging at infinity are called equivalent if $\lim\langle x_{i},y_{i}\rangle_{o}=\infty.$ These notions do not depend on the choice of the basepoint $o$. The set $\partial_{\infty}X$ is now defined as the set of equivalence classes of sequences converging at infinity.

For $p,q\in\partial_{\infty}X$ and $o\in X$ we define

[TABLE]

where the supremum is taken over all sequences $(x_{i})$ and $(y_{i})$ representing the boundary points $p$ and $q$, respectively. Actually, there exists such sequences $(x_{i})$ and $(y_{i})$ for which $\langle p,q\rangle_{o}=\lim_{i\to\infty}\langle x_{i},y_{i}\rangle_{o}$, see [BH99, Remark 3.17].

Balogh and Bonk have proved that if $D\subset\mathbb{C}^{n}$, $n\geq 2$ is a bounded, strictly pseudoconvex domain with smooth boundary, and $K(x,Z)$ is a norm satisfying (2.8), then the corresponding metric space $(D,d_{K})$ is Gromov hyperbolic and its visual boundary coincides with the topological boundary. See [BB00, Theorem 1.4].

3. Conformal equivalence of boundary metrics

3.1. Proof of Proposition 1.4

In this section we prove Proposition 1.4, and then show that the conformal equivalence result holds more in general for every hyperbolic filling.

Let $g$ be as defined in (1.2) and let $\rho^{g}_{o}$ be its Bourdon distance, as defined by (1.3). We begin by giving a computation of the distance $\rho^{g}_{o}$ on two points $p,q\in\partial D$. We represent $p$ and $q$ by two sequences $x_{i}$ and $y_{i}\in D$, respectively. Notice that since $x_{i}\to p$ in $\mathbb{C}^{n}$ then $\pi(x_{i})\to p$ and $h(x_{i})\to 0$. In particular, we also have that $\max(h(x_{i}),h(o))=h(o)$. Similar considerations apply to $y_{i}$ and $q$. We compute

[TABLE]

For every $p\in\partial D$ one has

[TABLE]

so the limit exists, and the identity map $(\partial D,d_{CC})\to(\partial D,\rho^{g}_{o})$ is 1-quasi-conformal. ∎

3.2. Boundary distances of hyperbolic fillings

An important contribution of Bonk and Schramm [BS00], is that the functor $X\to\partial_{\infty}X$ has an inverse functor, in the form of hyperbolic filling spaces $Con(Z)$. To be more precise, one defines $Con(Z)=Z\times(0,D)$, endowed with the metric given by

[TABLE]

The space $(Con(Z),d_{2})$ is Gromov hyperbolic, and its visual boundary is $Z$, with the canonical class of snowflake equivalent metrics given by $d_{1}$. Here we note that a particular visual metric is actually conformal to $d_{1}$. We will consider the particular visual metric generated by $g$ given by the Bourdon distance. Choose a generic base point choose a base point $o=(z,s)$, with $z\in Z$ and $s\in(0,D)$. For any two points $x,y\in Z$ so that $d_{1}(x,y)<s$. consider $u,v\in(0,d_{1}(x,y))$. Following (1.3), the Bourdon distance $d_{2}(x,y)$ is defined as follows

[TABLE]

Notice that in general, Bourdon distances associated to the hyperbolic fillings are a quasi-distance. By quasi-distance we intend that the triangle inequality is satisfied modulo a multiplicative constant.

Proposition 3.2**.**

Let $d_{1}$ a distance on a bounded space $Z$. If $d_{2}$ denotes the Bourdon distance associated to the hyperbolic filling for $d_{1}$, then $d_{1}$ and $d_{2}$ are conformally equivalent.

Proof.

In order to show that $d_{1},d_{2}$ are conformally equivalent it suffices to prove that the limit $\lim_{y\to x}d_{1}(x,y)/d_{2}(x,y)$ exists for every $x\in Z$. Fix any $z\in Z$ and $s\in(0,D)$. Let $o=(z,s)$. Take two points $x,y\in Z$ so that $d_{1}(x,y)<s$. Take $u,v\in(0,d_{1}(x,y))$.

The rest of the proof follows from

[TABLE]

[TABLE]

[TABLE]

[TABLE]

[TABLE]

We calculate $\lim_{y\to x}d_{1}(x,y)/d_{2}(x,y)$. Consider the quotient

[TABLE]

The latter implies that

[TABLE]

which gives the conclusion. ∎

4. Comparing $d$ and $g$, after Balogh and Bonk

The quantitative bounds on the distortion of the identity map in Proposition 1.5 follow from the following result, which is a refinement of an analogue statement of Balogh and Bonk [BB00, Corollary 1.3]. We follow largely their arguments, but where in [BB00] the noise due to the rough geometry would yield an additive constant, here instead we need to exploit the fact that the geometry is asymptotically hyperbolic to show that such constants can be chosen arbitrarily small the closer one gets to the boundary.

Theorem 4.1**.**

For every $\bar{p}\in\partial D$ and $\epsilon>0$ there exists $r>0$ such that for all distinct $p,q\in\partial D\cap B(\bar{p},r)$ there exists $r^{\prime}>0$ such that for all $x\in D\cap B(p,r^{\prime})$ and all $y\in D\cap B(q,r^{\prime})$

[TABLE]

In the rest of the paper we will refer to this result in connection with the quintuplet $(\bar{p},p,q,x,y)$.

4.1. Lemmata

The proof of Theorem 4.1 is based on preliminary estimates established in Lemma 4.3, Lemma 4.8, and Lemma 4.12 below.

Lemma 4.3**.**

Let $\delta_{0}>0$ to be the constant in Lemma 2.5. For $x_{1},x_{2}\in D$ with $d_{E}(x_{i},\partial D)<\delta_{0}$, and $h(x_{1})\geq h(x_{2})$, consider a piecewise $C^{1}$ curve $\gamma:[0,1]\to N_{\delta_{0}}$ with $\gamma(0)=x_{1}$ and $\gamma(1)=x_{2}$. The length $l_{K}(\gamma)$ of $\gamma$ with respect to the metric $d_{K}$ satisfies

[TABLE]

where $C$ is the same constant as in (2.8). Moreover, if the curve is a segment $\gamma(t)=x_{1}+t(x_{2}-p_{1})\subset\pi^{-1}(p)$ for some $p\in\partial D$ then one has

[TABLE]

Proof.

Recall from [BB00, page 517] that

[TABLE]

The latter and (2.8) yield

[TABLE]

which gives (4.4).

On the other hand, if $\gamma(t)=x_{1}+t(x_{2}-x_{1})$, then we observe that $\gamma^{\prime}$ is parallel to the unit normal at $\pi(x_{i})$ and so has no tangent component, hence no horizontal component with respect to the splitting at $\pi(x_{i})$. Using the fact that

[TABLE]

and (2.8) one has

[TABLE]

which gives (4.5). ∎

An immediate consequence of Lemma 4.3 is the following.

Corollary 4.6**.**

Let $\delta_{0}>0$ to be the constant in Proposition 2.5. If $x_{1},x_{2}\in D$, with $\delta_{0}>h(x_{1})\geq h(x_{2})$, then

[TABLE]

Moreover, if $\pi(x_{1})=\pi(p_{2})$, then we also have

[TABLE]

where $C$ is the same constant as in (2.8).

The next lemma provides an upper bound for $d_{K}(x_{1},x_{2})$ in the case when both points $x_{1},x_{2}$ are at the same distance from the boundary and equal to the Carnot-Carathéodory distance between the projections $\pi(x_{1}),\pi(x_{2})$.

Lemma 4.8**.**

Let $p_{1},p_{2}\in\partial D$. If we set $x_{i}:=p_{i}-d_{CC}(p_{1},p_{2})n(p_{i})$, $i=1,2$, then

[TABLE]

Proof.

Let $\eta>0$ and let $\alpha:[0,1]\to\partial D$ be any horizontal curve with $\alpha(0)=p_{1}$ and $\alpha(1)=p_{2}$, such that its subRiemannian length $l_{CC}$, satisfies

[TABLE]

Define a new curve $\gamma:[0,1]\to D$ as a lift at height $h\in(0,\delta_{0})$ of $\alpha$ by the formula

[TABLE]

Arguing as in the proof of [BB00, Lemma 2.2] yields the following relations between $\alpha^{\prime}$ and $\gamma^{\prime}$,

[TABLE]

In fact, from (4.10) one has $\gamma^{\prime}(t)|_{H}=\alpha^{\prime}(t)-[dn|_{\alpha(t)}\alpha^{\prime}(t)]_{H}$ which, together with the bilinearity of the Levi form, yields (4.11). Consequently we have

[TABLE]

Setting $h=d_{CC}(x_{1},x_{2})$ in the latter yields the conclusion. ∎

The next lemma will be instrumental in establishing a lower bound for $d_{K}(x_{1},x_{2})$ in the case when a length minimizing arc $\gamma$ joining two points $x_{1},x_{2}\in D$ will travel at a distance further than the Carnot-Carathéodory distance between their projections.

Lemma 4.12**.**

Let $\delta_{0}>0$ be smaller than the similarly named constants in Propositions 2.5 and 2.7. Consider two points $x_{1},x_{2}\in D$ with $d_{E}(x_{i},\partial D)<\delta_{0}$. Set $p_{i}=\pi(x_{i})\in\partial D$, and let $\gamma:[0,1]\to D$ denote an arc joining $x_{1}$ and $x_{2}$. If $\max_{z\in\gamma}h(z)\geq d_{CC}(p_{1},p_{2})$ then

[TABLE]

where $C$ is the same constant as in (2.8).

Proof.

Choose $t_{0}\in[0,1]$ such that $h(\gamma(t_{0}))=\max_{z\in\gamma}h(z)$. Set $\gamma_{1},\gamma_{2}$ be the two branches of the curve $\gamma$ corresponding to the subintervals $[0,t_{0}]$ and $[t_{0},1]$. Set also $\bar{\gamma}_{1}$ and $\bar{\gamma}_{2}$ to be the connected components on $\gamma_{1}$ and $\gamma_{2}$ joining $x_{i}$ to the closest points $y_{i}\in\gamma$ such that $h(y_{i})=d_{CC}(p_{1},p_{2})$, for $i=1,2$. More formally, $y_{1}=\gamma(t_{1})$, with t_{1}=\inf\{t\in[0,t_{1}]\such that $h(\gamma(t))\geq d_{CC}(p_{1},p_{2})\}$. The point $y_{2}$ is defined analogously.

Next we invoke Lemma 4.3 to deduce

[TABLE]

which is the desired bound (4.13). ∎

4.2. Proof of Theorem 4.1

Thanks to the previous lemmata we can now prove the main result of the section.

Proof of Theorem 4.1.

We shall show that for all $\bar{p}\in\partial D$ and $\epsilon>0$ one can choose $r>0$ small enough so that for all distinct $p,q\in\partial D\cap B(\bar{p},r)$ one can find $r^{\prime}\in(0,r)$ such that (4.2) holds for all $x\in D\cap B(p,r^{\prime})$ and all $y\in D\cap B(q,r^{\prime})$. In our proof we begin with arbitrary values of $r$ and $r^{\prime}$ and then put several constrains on them.

If $p$ and $q$ are distinct, then the value $d_{1}:=d_{CC}(p,q)$ is strictly positive. We shall choose $r$ smaller that the constants $\delta_{0}$ in Propositions 2.5 and 2.7 and so that $d_{1}$ is small enough to be determined later. Denote by $\bar{x}$, and $\bar{y}$ the projections on the boundary of $x$ and $y$, respectively. Note that since the projections are the closest points in $\partial D$, then $\bar{x}\in B(p,2r^{\prime})$ and $\bar{y}\in B(q,2r^{\prime})$. Set $d_{2}:=d_{CC}(\bar{x},\bar{y})$. Notice that as $r^{\prime}\to 0$ we have $d_{2}\to d_{1}$. We shall choose $r^{\prime}$ sufficiently small so that $r^{\prime}<d_{2}$ and $d_{2}\in(d_{1}/2,2d_{1})$. In particular, if $r$ was chosen small enough, then $d_{2}$ is positive and smaller than the constants $\delta_{0}$ in Propositions 2.5 and 2.7.

Proof of the upper bound in (4.2). Set $x^{\prime}:=\bar{x}-d_{2}n(\bar{x})$ and $y^{\prime}:=\bar{y}-d_{2}n(\bar{y})$, so $x^{\prime}$, $y^{\prime}$ are points in $D$ at distance $d_{2}$ from $\partial D$ and with the same projection on $\partial D$ as $x$, $y$, respectively.

By Lemma 4.8 we can choose $d_{1}$ sufficiently small so that $d_{K}(x^{\prime},y^{\prime})<\epsilon/3$. Invoking (4.7), since $h(x^{\prime})=h(y^{\prime})=d_{2}>\max\{h(x),h(y)\}$, yields

[TABLE]

Choose $d_{1}$ chosen sufficiently small so that $Cd_{2}\leq\epsilon/3$.

Combining the previous bounds with the definition of $g$, we obtain the following estimates

[TABLE]

where we used that the terms $h(x),h(y),\ln(1+\frac{h(x)\wedge h(y)}{d_{2}})$ are positive. This conclude the proof of the upper bound in (4.2).

Proof of the lower bound in (4.2). Choose $\delta>0$ such that $\ln(1/(1+\delta))<\epsilon$ and $r^{\prime}>0$ small enough so that $\frac{\max(h(x),h(y))}{d_{CC}(p,q)}\leq\delta$, for all $x\in D\cap B(p,r^{\prime})$ and all $y\in D\cap B(q,r^{\prime})$. Consider any arc $\gamma:[0,1]\to D$ joining $x$ and $y$, and set $H:=\max_{z\in\gamma}h(z)$.

*- If $H\geq d_{CC}(\bar{x},\bar{y})$ * then in view of Lemma 4.12 we have

[TABLE]

In this case the proof is concluded.

*- If $H\leq d_{CC}(\bar{x},\bar{y})$ * then it follows that $H$ is smaller than the constants $\delta_{0}$ in Propositions 2.5 and 2.7. In particular we can assume without loss of generality that $CH<1/2$, where $C$ is as in (2.8). Let $t_{0}\in[0,1]$ be such that $h(\gamma(t_{0}))=H$ and consider the two branches $\gamma_{1},\gamma_{2}$ of $\gamma$ given by restrictions to $[0,t_{0}]$ and $[t_{0},1]$. Given $\epsilon>0$ as in the statement, let $\theta\in(1,2]$ so that $\ln\theta<\epsilon$ and define $k\in\mathbb{N}$ such that

[TABLE]

Following [BB00], we define $s_{0},s_{1},...,s_{k}\in[0,t_{0}]$ such that $s_{0}=0$ and

[TABLE]

Set $t_{1}=s_{k}\leq t_{0}$ and for each $l=1,...,k$,

[TABLE]

For each of the two branches $\gamma_{1},\gamma_{2}$, we distinguish two alternatives:

• •

Alternative $\#1$ (All sub-arcs have large slope) In this alternative we assume that for every $l=1,...,k$ one has

[TABLE]

From the latter we draw two conclusions. The first is a simple application of the triangle inequality,

[TABLE]

On the other hand, in view of Lemma 4.3 one has

[TABLE]

• •

Alternative $\#2$ (One sub-arc has small slope) In this alternative, we assume that there exists $l\in\{1,...,k\}$ such that

[TABLE]

Note that if $s\in[s_{l-1},s_{l}]$ then from the definition of the points $s_{l}$, one has

[TABLE]

We then claim that there exists a constant $\mathcal{C}>0$ depending only on the defining function ${\varphi}$ such that

[TABLE]

Indeed, arguing as in [BB00, page 521] we invoke (2.8) and Lemma 2.10 and we bound as follows:

[TABLE]

where $d_{\nu_{l}}$ denotes the approximation of the Carnot-Caratheodory metric defined in (2.9).

Next we claim that

[TABLE]

Indeed, Lemma 4.3 and (4.17) yields

[TABLE]

Applying similar consideration to the branch $\gamma_{2}$ one obtains a $t_{2}\in[t_{0},1]$ such that one of the following two alternatives hold: Either

[TABLE]

or

[TABLE]

To conclude the proof we need to examine all possible combinations of these alternatives. We will show that in each case one obtains

[TABLE]

• •

Suppose both (A1) and (B1) hold. Observe that

[TABLE]

Repeating the argument in (4.17) for $l=k$ and invoking the Riemannian approximation lemma [BB00, Lemma 2.2] one has

[TABLE]

The latter, together with (A1 (ii)), and the second inequality in (B1) yields

[TABLE]

Since the right hand side is monotone decreasing in $H\leq d_{CC}(\bar{x},\bar{y})$ then one has

[TABLE]

completing the proof of (4.18).

• •

Suppose both (A1) and (B2) hold. One immediately has

[TABLE]

Applying the same consideration as above we immediately deduce (4.18).

• •

Suppose both (A2) and (B1) hold. This combination is dealt with analogously to the previous case.

• •

Suppose both (A2) and (B2) hold. Estimate (4.18) follows immediately from (A2) and (B2).

To conclude the proof we need to consider the infimum of $l_{K}(\gamma)$ among all arcs $\gamma$ joining $x$ and $y$ and apply (4.18) to each. One has

[TABLE]

The proof is then concluded by applying the same argument as in (4.2). ∎

5. Local biLipschitz equivalence of Bourdon functions and proof of main result

In this section we prove Proposition 1.5 and the main result, Theorem 1.1.

Proof of Proposition 1.5.

Let $\bar{p}$ as in the statement and choose $\epsilon>0$ such that $\exp(\frac{3}{2}\epsilon)\leq 1+\bar{\epsilon}$. Invoke Theorem 4.1 in correspondence to the choice of $\bar{p}$ and $\epsilon$, to obtain the value $r>0$ and select any $\omega\in\partial D\cap B(\bar{p},r)\setminus\{\bar{p}\}$. In correspondence to this choice of $\omega$, Theorem 4.1 yields a smaller radius $0<r^{\prime}<r$, so that if we choose $y\in D\cap B(\bar{p},r^{\prime})$ and $o\in D\cap B(\omega,r^{\prime})$ and then apply Theorem 4.1 to the quintuplet $(\bar{p},\bar{p},\omega,y,o)$ we obtain

[TABLE]

Next, given $p,q\in\partial D\cap B(\bar{p},r^{\prime})$ we similarly use Theorem  4.1 to infer the existence of a $r^{\prime\prime}>0$ for which, applying Theorem 4.1 to the quintuplet $(\bar{p},p,qx,y)$

[TABLE]

If $x_{i}$ (resp., $y_{i}$) is a sequence in $D$ converging to $p$ (resp., $q$), then for $i$ large enough $x_{i}\in D\cap B(p,r^{\prime\prime})$ and $y_{i}\in D\cap B(q,r^{\prime\prime})$ and $x_{i},y_{i}\in B(\bar{p},r^{\prime})$. From the above bounds one obtains

[TABLE]

Consequently, if the sequences $x_{i}$, $y_{i}$ are taken so that $\langle p,q\rangle_{o}^{g}=\lim_{i\to\infty}\langle y_{i},x_{i}\rangle_{o}^{g}$, we have

[TABLE]

And similarly, ${\rho^{g}_{o}(p,q)}/{\rho^{K}_{o}(p,q)}$ is bounded by $1+\bar{\epsilon}$. ∎

Proof of Theorem 1.1.

For any $\bar{p}\in\partial D_{1}$ and $\bar{\epsilon}>0$ we show that the boundary extension is $(1+\bar{\epsilon})-$quasi-conformal at $\bar{p}$, i.e. $H^{*}(\bar{p},F,d_{CC},d_{CC})\leq 1+\bar{\epsilon}$, where $H^{*}$ is defined as in (2.1). Following the diagram (1) in the introduction, from (2.3) for every $o\in D_{1}$ we have

[TABLE]

Start by observing that for any $o\in D_{1}$ the pointed metric spaces $(D_{1},d_{K},o)$ and $(D_{2},d_{K},f(o))$ are isometric. Thus they give rise to visual boundaries that are isometric with respect to the induced distances $\rho^{K}_{o}$ an $\rho^{K}_{f(o)}$, as defined in (1.3). Consequently the induced extension map $F:(\partial D_{1},\rho^{K}_{o})\to(\partial D_{2},\rho^{K}_{f(o)})$ is an isometry, and hence from (2.4)

[TABLE]

Regarding the first and last term in the right-hand side of (5.1), in view of Proposition 1.4 we have that

[TABLE]

We shall then prove that

[TABLE]

for some suitable choice of $o$. To prove this we will need to invoke Proposition 1.5 twice, in $D_{1}$ and in $D_{2}$, together with the observation (2.4). Namely, we shall prove that for a suitable choice of $o$ The maps considered in (5.4) are $(1+\bar{\epsilon})$-biLipschitz in a neighborhood of the considered points.

First we apply Proposition 1.5 in a neighborhood of $F(\bar{p})\in\partial D_{2}$, thus yielding $r_{2}>0$ such that for all $\omega_{2}\in\partial D_{2}\cap B(F(\bar{p}),r_{2})\setminus\{F(\bar{p})\}$ there exists $r_{2}^{\prime}>0$ such that for all $o_{2}\in D_{2}\cap B(\omega_{2},r_{2}^{\prime})$ one has that $\rho_{o_{2}}^{g}$ and $\rho_{o_{2}}^{K}$ are $(1+\bar{\epsilon})$-biLipschitz in $\partial D_{2}\cap B(F(\bar{p}),r_{2}^{\prime})$. For the moment we do not choose any specific $\omega_{2}$ and $o_{2}$, so $r_{2}^{\prime}$ is still to be determined.

Next, we apply Proposition 1.5 to $D_{1}$ in a neighborhood of $\bar{p}$ and use it to choose $r_{1}>0$ such that for all $\omega_{1}\in\partial D_{1}\cap B(\bar{p},r_{1})\setminus\{\bar{p}\}$ there exists $r_{1}^{\prime}>0$ such that $o_{1}\in D_{1}\cap B(\omega_{1},r_{1}^{\prime})$ one has that $\rho_{o_{1}}^{g}$ and $\rho_{o_{1}}^{K}$ are $(1+\bar{\epsilon})$-biLipschitz in $\partial D_{1}\cap B(\bar{p},r_{1}^{\prime})$. By continuity of the map $F$ we may have chosen $r_{1}$ small enough that $F(B(\bar{p},r_{1})\cap D_{1})\subset B(F(\bar{p}),r_{2})\cap D_{2}$.

We set $\omega_{2}:=F(\omega_{1})$, which is then in $B(F(\bar{p}),r_{2})\cap D_{2}$ and is different than $F(\bar{p})$ since $F$ is a homeomorphism. Now we fix $r_{2}^{\prime}$ accordingly, as we explained above. If needed we will select a smaller value for $r_{1}^{\prime}$ so that we can assume $F(B(\omega_{1},r_{1}^{\prime})\cap D_{1})\subset B(F(\omega_{1}),r_{2}^{\prime})\cap D_{2}$.

To conclude, we can now select any base point $o\in B(\omega_{1},r_{1}^{\prime})\cap D_{1}$, so that $f(o)\in B(\omega_{2},r_{2}^{\prime})\cap D_{2}$ and and hence $\rho_{o_{1}}^{g}$ and $\rho_{o_{1}}^{K}$ are $(1+\bar{\epsilon})$-biLipschitz in $\partial D_{1}\cap B(\bar{p},r_{1}^{\prime})$ and $\rho_{o_{2}}^{g}$ and $\rho_{o_{2}}^{K}$ are $(1+\bar{\epsilon})$-biLipschitz in $\partial D_{2}\cap B(F(\bar{p}),r_{2}^{\prime})$. Thus, (2.4) gives (5.4).

Using the estimates (5.2), (5.3), and (5.4) in (5.1) we get $H^{*}(\bar{p},F,d_{CC},d_{CC})\leq 1+\bar{\epsilon}$. By the arbitrariness of $\bar{\epsilon}$ we deduce $H^{*}(\bar{p},F,d_{CC},d_{CC})=1$. Finally, from Lemma 2.2 we conclude. ∎