Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userDimensions of Kleinian orbital sets
149
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Given a non-empty bounded subset of hyperbolic space and a Kleinian group acting on that space, the orbital set is the orbit of the given set under the action of the group. We may view orbital sets as bounded (often fractal) subsets of Euclidean space. We prove that the upper box dimension of an orbital set is given by the maximum of three quantities: the upper box dimension of the given set; the Poincare exponent of the Kleinian group; and the upper box dimension of the limit set of the Kleinian group. Since we do not make any assumptions about the Kleinian group, none of the terms in the maximum can be removed in general. We show by constructing an explicit example that the (hyperbolic) boundedness assumption on $C$ cannot be removed in general.
rate research
Read More
We provide a proof of the (well-known) result that the Poincare exponent of a non-elementary Kleinian group is a lower bound for the upper box dimension of the limit set. Our proof only uses elementary hyperbolic and fractal geometry.
We study the dimension theory of limit sets of iterated function systems consisting of a countably infinite number of contractions. Our primary focus is on the intermediate dimensions: a family of dimensions depending on a parameter $theta in [0,1]$ which interpolate between the Hausdorff and box dimensions. Our main results are in the case when all the contractions are conformal. Under a natural separation condition we prove that the intermediate dimensions of the limit set are the maximum of the Hausdorff dimension of the limit set and the intermediate dimensions of the set of fixed points of the contractions. This builds on work of Mauldin and Urbanski concerning the Hausdorff and upper box dimension. We give several (often counter-intuitive) applications of our work to dimensions of projections, fractional Brownian images, and general Holder images. These applications apply to well-studied examples such as sets of numbers which have real or complex continued fraction expansions with restricted entries. We also obtain several results without assuming conformality or any separation conditions. We prove general upper bounds for the Hausdorff, box and intermediate dimensions of infinitely generated attractors in terms of a topological pressure function. We also show that the limit set of a generic infinite iterated function system has box and intermediate dimensions equal to the ambient spatial dimension, where generic can refer to any one of (i) full measure; (ii) prevalent; or (iii) comeagre.
We study equilibrium measures (Kaenmaki measures) supported on self-affine sets generated by a finite collection of diagonal and anti-diagonal matrices acting on the plane and satisfying the strong separation property. Our main result is that such measures are exact dimensional and the dimension satisfies the Ledrappier-Young formula, which gives an explicit expression for the dimension in terms of the entropy and Lyapunov exponents as well as the dimension of the important coordinate projection of the measure. In particular, we do this by showing that the Kaenmaki measure is equal to the sum of (the pushforwards) of two Gibbs measures on an associated subshift of finite type.
We prove that the upper box dimension of an inhomogeneous self-affine set is bounded above by the maximum of the affinity dimension and the dimension of the condensation set. In addition, we determine sufficient conditions for this upper bound to be attained, which, in part, constitutes an exploration of the capacity for the condensation set to mitigate dimension drop between the affinity dimension and the corresponding homogeneous attractor. Our work improves and unifies previous results on general inhomogeneous attractors, low-dimensional affine systems, and inhomogeneous self-affine carpets, while providing inhomogeneous analogues of Falconers seminal results on homogeneous self-affine sets.
We compare different notions of limit sets for the action of Kleinian groups on the $n-$dimensional projective space via the irreducible representation $varrho:PSL(2,mathbb{C})to PSL(n+1,mathbb{C}).$ In particular, we prove that if the Kleinian group is convex-cocompact, the Myrberg and the Kulkarni limit coincide.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
