Uniformly perfect sets, rational semigroups, Kleinian groups and IFS's

We show that the Julia set of a non-elementary rational semigroup is uniformly perfect when there is a uniform bound on the Lipschitz constants of the generators of . This also proves that the limit set of a non-elementary Möbius group is uniformly perfect when there is a uniform bound on the Lipschitz constants of the generators of the group and this implies that the limit set of a finitely generated non-elementary Kleinian group is uniformly perfect.

     

Uniform perfectness of the limit sets of Kleinian groups

In this note, we show, in a quantitative fashion, that the limit set of a non-elementary Kleinian group is uniformly perfect if the quotient orbifold is of Lehner type, i.e., if the space of integrable holomorphic quadratic differentials on it is continuously contained in the space of (hyperbolically) bounded ones. This result covers the known case when the group is analytically finite. As applications, we present estimates of the Hausdorff dimension of the limit set and the translation lengths in the region of discontinuity for such a Kleinian group. Several examples will also be given.

     

Extremal quasiconformal mappings compatible with Fuchsian groups

For every torsion free Fuchsian group with Poincaré's -operator norm é=1, it is proved that there exists an extremal Beltrami differential of which is also extremal under its own boundary correspondence. It is also proved that the imbedding of the Teichmüller spaceT() into the universal Teichmüller spaceT is not a global isometry unless is an elementary group.     

A family of Schottky groups arising from the hypergeometric equation

We study a complex 3-dimensional family of classical Schottky groups of genus 2 as monodromy groups of the hypergeometric equation. We find non-trivial loops in the deformation space; these correspond to continuous integer-shifts of the parameters of the equation.

     

A Uniformly Quasiconformal Group Not Isomorphic to a Mobius Group

We explicitly give a group not isomorphic to any group of Mobius transformations of the three-dimensional sphere and acting quasiconformally on the three-dimensional sphere.     

On the extremal sets of extremal quasiconformal mappings

The properties of the extremal sets of extremal quasiconformal mappings are discussed. It is proved that if an extremal Beltrami coefficient μ(z) is not uniquely extremal, then there exists an extremal Beltrami coefficient v(z) in its equivalent class and a compact subset E Δ with positive measure such that the essential upper bound of v(z) on E is less than the norm of [μ].     

The upper densities of symmetric perfect sets

In this paper, we give the exact upper densities of Hausdorff measures of a class of symmetric perfect sets.     

Smith equivalence of representations for finite perfect groups

Using smooth one-fixed-point actions on spheres and a result due to Bob Oliver on the tangent representations at fixed points for smooth group actions on disks, we obtain a similar result for perfect group actions on spheres. For a finite group , we compute a certain subgroup of the representation ring . This allows us to prove that a finite perfect group has a smooth -proper action on a sphere with isolated fixed points at which the tangent representations of are mutually nonisomorphic if and only if contains two or more real conjugacy classes of elements not of prime power order. Moreover, by reducing group theoretical computations to number theory, for an integer and primes , we prove similar results for the group , , or . In particular, has Smith equivalent representations that are not isomorphic if and only if , , .

     

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.

     

Hausdorff dimension of homogeneous perfect sets

Summary We introduce the notion of homogeneous perfect sets as a generalization of Cantor type sets and determine their exact dimension based on the length of their fundamental intervals and the gaps between them. Some earlier results regarding the dimension of Cantor type sets are shown to be special cases of our main theorem.     

On perfect binary codes

Some results on perfect codes obtained during the last 6 years are discussed. The main methods to construct perfect codes such as the method of -components and the concatenation approach and their implementations to solve some important problems are analyzed. The solution of the ranks and kernels problem, the lower and upper bounds of the automorphism group order of a perfect code, spectral properties, diameter perfect codes, isometries of perfect codes and codes close to them by close-packed properties are considered.     

On the extremality of quasiconformal mappings and quasiconformal deformations

Given a family of quasiconformal deformations such that has a uniform bound , the solution of the Löwner-type differential equation

is an -quasiconformal mapping. An open question is to determine, for each fixed , whether the extremality of is equivalent to that of . The note gives this a negative approach in both directions.

     

Packing dimensions of homogeneous perfect sets

In [10], the notion of homogeneous perfect sets as a generalization of Cantor type sets is introduced and their Hausdorff and lower box-counting dimensions are studied. In this paper, we determine their exact packing and upper box-counting dimensions based on the length of their fundamental intervals and the gaps between them. Some known results concerning the dimensions of Cantor type sets are generalized. This work was supported by NSFC (10571138).     

Local boundary dilatation of quasiconformal maps

By studying the existence problem of locally extremal Beltrami differential posed by F. Gardiner and N. Lakic, we introduce a new definition of the local boundary dilatations of points in Teichmuller spaces of simply connected plane domains, which is the same as the usual ones in the case of Jordan domains. Then we show that the answer to the problem of F. Gardiner and N. Lakic is affirmative according to this new definition. Comparing with the usual definitions, the problem of F. Gardiner and N. Lakic is partly answered and the results of G. Cui and Y. Qi is generalized.     

On Schottky groups arising from the hypergeometric equation with imaginary exponents

In an article by Sasaki and Yoshida (2000), we encountered Schottky groups of genus 2 as monodromy groups of the hypergeometric equation with purely imaginary exponents. In this paper we study automorphic functions for these Schottky groups, and give a conjectural infinite product formula for the elliptic modular function .

     

The affine deformation space of a rank two Schottky group: a picture gallery

The Margulis invariant of an affine hyperbolic element measures the signed Lorentzian displacement along the unique closed geodesic in its class. Given a group of affine transformations of Minkowski spacetime whose linear part is Schottky, the Margulis invariant is a useful tool in determining properness of its action. This paper, based on a presentation given at CGG IV Oostende 2005, describes the affine deformation space of a rank two Schottky group. Several illustrations are included, contrasting the difference between the case of a three-holed sphere and that of a one-holed torus. Paper based on a presentation given at CGG IV Oostende 2005. Attendance of the conference and the subsequent writing of this paper was made possible by an NSERC Discovery Grant.     

The finite images of finitely generated groups

Given any sequence of non-abelian finite simple primitive permutationgroups S_n, we construct a finitely generated group G whose profinitecompletion is the infinite permutational wreath product ...S_n S_n–1 ... S₀. It follows that the upper compositionfactors of G are exactly the groups S_n. By suitably choosingthe sequence S_n we can arrange that G has any one of a continuousrange of slow, non-polynomial subgroup growth types. We alsoconstruct a 61-generator perfect group that has every non-abelianfinite simple group as a quotient. 2000 Mathematics SubjectClassification: 20E07, 20E08, 20E18, 20E32.     

Sets of minimal Hausdorff dimension for quasiconformal maps

For any , there is a compact set of (Hausdorff) dimension whose dimension cannot be lowered by any quasiconformal map . We conjecture that no such set exists in the case . More generally, we identify a broad class of metric spaces whose Hausdorff dimension is minimal among quasisymmetric images.

     

On the uniqueness problem of harmonic quasiconformal mappings

In this paper, we give an affirmative answer to Sheretov's problem on the uniqueness of harmonic mappings and improve the unique minimal mapping theorem of Reich and Strebel. Meanwhile, we also solve a problem posed by Reich and obtain the uniqueness theorem on related weight functions.