Convexity in Complex Hyperbolic Space

In the study of some problems in plane geometric probability appears the limit of the quotient between the area F of a convex set and the length L of its boundary.

In the Euclidean plane, given a family of convex domains expanding over the whole plane, this quotient tends to infinity. But, as it was pointed out by L.A. Santaló and I. Yañez in 1972 in [5], this is no longer true in the hyperbolic plane. In fact they proved that for a certain class of convex sets in the hyperbolic plane, the horocyclic convex sets, the limit F /L is 1. Later it was shown in [4] that this limit can attain, in the hyperbolic plane, any value between 0 and 1.

These results were extended in hyperbolic space Hn+1, [3]. It was studied the limit of the quotient vol(\Omega_t)/vol(\partial\Omega_t) where {\Omega_t} is a sequence of convex sets expanding over the whole hyperbolic space Hn+1. In this case the limit of this quotient is less than 1/n, and exactly 1/n when the sets considered are convex with respect to horocycles. In 2001, in [2], it was obtained the possible values for this quotient in any manifold of bounded negative curvature, Hadamard manifolds.

As in hyperbolic space, the possible values for the quotient depend on the convexity of the domains. The notion used is called  $\lambda$-convexity and gives some information on how the boundary bends. In a Riemannian manifold a regular convex domain is said to be $\lambda$-convex if its normal curvature at each point is bigger or equal than $\lambda$. We would like to present the results concerning on $\lambda$-convexity and the possible values for the quotient in complex hyperbolic space $\CH^n(−4k^2)$, a Hadamard manifold with constant holomorphic curvature equal to −4k^2, obtained in [1].

The two main results we prove are:

Theorem 1: In complex hyperbolic space, $\CH^n(−4k^2)$, it can only exists families of compact convex domains piecewise $C^2$ expanding over the whole $\CH^n(−4k^2)$ if they are $\lambda$-convex with $\lambda$≤ k.

Theorem 2: Let $\{\Omega_t\}_{t\inR^+} be a family of compact $\lambda$-convex domains, $\lambda$≤ k, expanding over the whole space $\CH^n(−4k^2)$, n ≥ 2. Then,

$$\frac{\lambda}{4nk^2} \leq \liminf_{t\rightarrow\infty}\frac{\emph{vol}(\Omega_{t})}{\emph{vol}(\partial\Omega_{t})}\leq
\limsup_{t\rightarrow\infty}\frac{\emph{vol}(\Omega_{t})}{\emph{vol}(\partial\Omega_{t})}\leq
\frac{1}{2nk}.$$
Moreover, the upper bound is sharp.

References:
 [1] ABARDIA, J. AND GALLEGO, E. (2007) Asymptotic behaviour of $\lambda$-convex sets in the complex hyperbolic space. Preprint. Universitat Autònoma de Barcelona

[2] BORISENKO, A. A. , GALLEGO, E. AND REVENTÓS, A. (2001) Relation between area and volume for $\lambda$-convex sets in Hadamard manifolds. Differential Geom. Appl. 14 (2001) 267-280

[3] BORISENKO, A. A. AND VLASENKO, D. I . (1999) Asymptotic behaviour of volumes of convex bodies in a Hadamard manifold. Mat. Fiz. Anal. Geom. 6 223-233

[4] GALLEGO, E. AND REVENTÓS , A. (1999) Asymptotic bahaviour of $\lambda$-convex sets in the hyperbolic plane. Geom. Dedicata 76 275-289

[5] SANTALÓ, L. A. AND YAÑEZ, I . (1972) Averages for polygons formed by random lines in Euclidean and hyperbolic planes. J. Appl. Probability 9 140-157