The limit sets of Schottky quasiconformal groups are uniformly perfect

In this paper we study Schottky quasiconformal groups. We show that the limit sets of Schottky quasiconformal groups are uniformly perfect, and that the limit set of a given discrete non-elementary quasiconformal group has positive Hausdorff dimension.

     

Quasiconformal groups, Patterson-Sullivan theory, and local analysis of limit sets

We extend the part of Patterson-Sullivan theory to discrete quasiconformal groups that relates the exponent of convergence of the Poincaré series to the Hausdorff dimension of the limit set. In doing so we define new bi-Lipschitz invariants that localize both the exponent of convergence and the Hausdorff dimension. We find these invariants help to expose and explain the discrepancy between the conformal and quasiconformal setting of Patterson-Sullivan theory.

     

Quasiconformal groups and a theorem of Biship and Jones

We provide new bounds on the exponent of convergence of a planar discrete quasiconformal group in terms of the associated dilatation and the Hausdorff dimension of its conical limit set. In doing so, we use these bounds to realize a theorem of C. Bishop and P. Jones as an asymptotic limit in the dilatation.     

Contact quasiconformal immersions

Contact immersions of contact manifolds endowed with the associated Carnot-Carathéodory (CC) metric (for example, immersions of the Heisenberg group H ³ ～ ? _CC ³ in itself) are considered. It is assumed that the manifolds have the same dimension and the immersions are quasiconformal with respect to the CC metric. The main assertion is as follows: A quasiconformal immersion of the Heisenberg group in itself, just as a quasiconformal immersion of any contact manifold of conformally parabolic type in a simply connected contact manifold, is globally injective; i.e., such an immersion is an embedding, which, in addition, is surjective in the case of the Heisenberg group. Thus, the global homeomorphism theorem, which is well known in the space theory of quasiconformal mappings, also holds in the contact case.     

Quasiconformal motions and isomorphisms of continuous families of Möbius groups

In their paper [17], Sullivan and Thurston introduced the notion of quasiconformal motions, and proved an extension theorem for quasiconformal motions over an interval. We prove some new properties of (normalized) quasiconformal motions of a closed set E in the Riemann sphere, over connected Hausdorff spaces. As a spin-off, we strengthen the result of Sullivan and Thurston, and show that if a quasiconformal motion of E over an interval has a certain group-equivariance property, then the extended quasiconformal motion can be chosen to have the same group-equivariance property. Our main theorem proves a result on isomorphisms of continuous families of Möbius groups arising from a group-equivariant quasiconformal motion of E over a path-connected Hausdorff space. Our techniques connect the Teichmüller space of the closed set E with quasiconformal motions of E.     

Quasiconvexity in the Heisenberg group

We show that if A is a closed subset of the Heisenberg group whose vertical projections are nowhere dense, then the complement of A is quasiconvex. In particular, closed sets which are null sets for the cc-Hausdorff 3-measure have quasiconvex complements. Conversely, we exhibit a compact totally disconnected set of Hausdorff dimension three whose complement is not quasiconvex.     

Uniform domains and quasiconformal mappings on the Heisenberg group

We prove that in the Heisenberg group the image of a uniform domain under a global quasiconformal homeomorphism is still a uniform domain. As a consequence, the class of NTA (non-tangentially accessible) domains in the Heisenberg group is also quasiconformally invariant. A large class of non-differentiable Lipschitz quasiconformal homeomorphisms is constructed. The images of smooth domains under these rough mappings give a class of non-smooth NTA domains in the Heisenberg group.     

Dimension of quasicircles

We introduce canonical antisymmetric quasiconformal maps, which minimize the quasiconformality constant among maps sending the unit circle to a given quasicircle. As an application we prove Astala’s conjecture that the Hausdorff dimension of a k-quasicircle is at most 1+k ².     

Isomorphisms of Sobolev Spaces on Riemannian Manifolds and Quasiconformal Mappings

We prove that a measurable mapping of domains in a complete Riemannian manifold induces an isomorphism of Sobolev spaces with the first generalized derivatives whose summability exponent equals the (Hausdorff) dimension of the manifold if and only if the mapping coincides with some quasiconformal mapping almost everywhere.

     

The coarea formula for real‐valued Lipschitz maps on stratified groups

We establish a coarea formula for real‐valued Lipschitz maps on stratified groups when the domain is endowed with a homogeneous distance and level sets are measured by the Q – 1 dimensional spherical Hausdorff measure. The number Q is the Hausdorff dimension of the group with respect to its Carnot–Carathéodory distance. We construct a Lipschitz function on the Heisenberg group which is not approximately differentiable on a set of positive measure, provided that the Euclidean notion of differentiability is adopted. The coarea formula for stratified groups also applies to this function, where the Euclidean one clearly fails. This phenomenon shows that the coarea formula holds for the natural class of Lipschitz functions which arises from the geometry of the group and that this class may be strictly larger than the usual one. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Ons-sets and mutual absolute continuity of measures on homogeneous spaces

We extend a recent result of A. Jonsson about mutual absolute continuity of twoD _s -measures on ans-setF ⊂R ⁿ to the homogeneous spaces (X, d, μ) of Coifman, Weiss. Here we define Hausdorff measure, Hausdorff dimension,D _s -set andd-set relative to the measureμ. Our main result holds for so called (s, d)-sets,d ≥s, and is stronger than Jonssons result even inR ⁿ . As applications we interpret this Hausdorff dimension as a relative dimension for very regular sets and show that it in general depends strongly onμ. For this purpose we construct a strictly increasing functionf :R →R, whose measure is doubling and concentrated on a set of arbitrary small Hausdorff dimension. The extension off to a quasiconformal map of the half plane onto itself sharpens a classical example of Ahlfors-Beurling.     

Dimension of the boundary of quasiconformal Siegel disks

We study quasiconformal Siegel disks with critical points in their boundaries. The main result asserts that every subarc of the boundary of the Siegel disk has the Hausdorff dimension strictly larger than 1 and that the boundary does not have a tangent at any point. Oblatum 19-V-2000 & 4-X-2001?Published online: 18 January 2002     

The distributional dimension of fractals

In the book [1] H.Triebel introduces the distributional dimension of fractals in an analytical form and proves that： for Г as a non-empty set in R^n with Lebesgue measure ｜Г｜ = 0, one has dimH Г = dimD Г, where dimD Г and dimH Г are the Hausdorff dimension and distributional dimension, respectively. Thus we might say that the distributional dimension is an analytical definition for Hausdorff dimension. Therefore we can study Hausdorff dimension through the distributional dimension analytically. By discussing the distributional dimension, this paper intends to set up a criterion for estimating the upper and lower bounds of Hausdorff dimension analytically. Examples illustrating the criterion are included in the end.     

Fuchsian Groups, Quasiconformal Groups, and Conical Limit Sets

We construct examples showing that the normalized Lebesgue measure of the conical limit set of a uniformly quasiconformal group acting discontinuously on the disc may take any value between zero and one. This is in contrast to the cases of Fuchsian groups acting on the disc, conformal groups acting discontinuously on the ball in dimension three or higher, uniformly quasiconformal groups acting discontinuously on the ball in dimension three or higher, and discrete groups of biholomorphic mappings acting on the ball in several complex dimensions. In these cases the normalized Lebesgue measure is either zero or one.

     

Differentiability of Intrinsic Lipschitz Functions within Heisenberg Groups

We study the notion of intrinsic Lipschitz graphs within Heisenberg groups, focusing our attention on their Hausdorff dimension and on the almost everywhere existence of (geometrically defined) tangent subgroups. In particular, a Rademacher type theorem enables us to prove that previous definitions of rectifiable sets in Heisenberg groups are natural ones.     

Convergence Groups, Hausdorff Dimension, and a Theorem of Sullivan and Tukia

We show that a discrete, quasiconformal group preserving ⁿ has the property that its exponent of convergence and the Hausdorff dimension of its limit set detect the existence of a non-empty regular set on the sphere at infinity to ⁿ . This generalizes a result due separately to Sullivan and Tukia, in which it is further assumed that the group act isometrically on ⁿ , i.e. is a Kleinian group. From this generalization we are able to extract geometric information about infinite-index subgroups within certain of these groups.     

Fractal Measures for Parabolic IFS

Let h be the Hausdorff dimension of the limit set of a conformal parabolic iterated function system in dimension d?2. In case the system of maps is finite, we provide necessary and sufficient conditions for the h-dimensional Hausdorff measure to be positive and finite and also, assuming the strong open set condition holds, characterize when the h-dimensional packing measure of the limit set is positive and finite. We also prove that the upper ball (box)-counting dimension and the Hausdorff dimension of this limit set coincide. As a byproduct we include a compact analysis of the behaviour of parabolic conformal diffeomorphisms in dimension 2 and separately in any dimension greater than or equal to 3.     

Hardy-Hausdorff spaces on the Heisenberg group

In this paper, by using the tent spaces on the Siegel upper half space, which are defined in terms of Choquet integrals with respect to Hausdorff capacity on the Heisenberg group, the Hardy-Hausdorff spaces on the Heisenberg group are introduced. Then, by applying the properties of the tent spaces on the Siegel upper half space and the Sobolev type spaces on the Heisenberg group, the atomic decomposition of the Hardy-Hausdorff spaces is obtained. Finally, we prove that the predual spaces of Q spaces on the Heisenberg group are the Hardy-Hausdorff spaces.     

Blow-up of regular submanifolds in Heisenberg groups and applications

We obtain a blow-up theorem for regular submanifolds in the Heisenberg group, where intrinsic dilations are used. Main consequence of this result is an explicit formula for the density of (p+1)-dimensional spherical Hausdorff measure restricted to a p-dimensional submanifold with respect to the Riemannian surface measure. We explicitly compute this formula in some simple examples and we present a lower semicontinuity result for the spherical Hausdorff measure with respect to the weak convergence of currents. Another application is the proof of an intrinsic coarea formula for vector-valued mappings on the Heisenberg group.     

The Hausdorff dimension of chaotic sets for interval self-maps

We obtain two sufficient conditions for an interval self-map to have a chaotic set with positive Hausdorff dimension. Furthermore, we point out that for any interval Lipschitz maps with positive topological entropy there is a chaotic set with positive Hausdorff dimension.