A general theory of self-similarity I

Tom Leinster

Home/Archive/arXiv

arXiv · math/0411344

A general theory of self-similarity I

Tom Leinster

View original source ↗Read source document ↗Export metadata ↓

Abstract

Consider a self-similar space X. A typical situation is that X looks like several copies of itself glued to several copies of another space Y, and Y looks like several copies of itself glued to several copies of X, or the same kind of thing with more than two spaces. Thus, the self-similarity of X is described by a system of simultaneous equations. Here I formalize this idea and the notion of a `universal solution' of such a system. I determine exactly when a system has a universal solution and, when one does exist, construct it. A sequel (math.DS/0411345) contains further results and examples, and an introductory article (math.DS/0411343) gives an overview.

Explore related subjects

math.DS math.CT math.GN

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Tom Leinster. 2004-11-15. A general theory of self-similarity I. https://arxiv.org/abs/math/0411344

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Classification of critically fixed anti-Thurston maps

We provide a complete combinatorial classification of critically fixed anti-Thurston maps, i.e., orientation-reversing branched covers of the 2-sphere that fix every critical point. The first step in the proof, and an interesting result in its own right, is a combinatorial classification of critically fixed anti-rational maps as "Schottky maps" associated with certain plane graphs. Both of these classification results heavily rely on an orientation-reversing version of Thurston's theory, including the canonical decomposition of anti-Thurston maps, which we develop in this paper. We use our combinatorial framework to answer special instances of the global curve attractor and twisting problems, and to resolve the Hurwitz existence problem in the setting of critically fixed anti-rational maps. Finally, we give some applications to the study of anti-rational maps with symmetries and to critically fixed anti-polynomials.

math.DS↗

arXiv2026

Strong stable sets and asymptotic fineness

We investigate the strong stable sets of the geodesic flow on hyperbolic surfaces and their relation to the injectivity radius. We prove that the strong stable set of a vector does not coincide with its stable horocycle if and only if the injectivity radius along the associated geodesic ray is not bounded away from zero and the ray does not diverge through a cusp. In that case, the strong stable set is an uncountable union of stable horocycles. In previous works, we considered the particular cases where the ray meets arbitrarily short closed geodesics or closed horocycles. Here we complete the study by treating the third possible case, where the ray meets closed hypercycles of arbitrarily small length.

math.DS↗

arXiv2026

Infinite unrestricted sumsets in subsets of abelian groups with large density

Let $(G,+)$ be a countable abelian group such that the subgroup $\{g+g\colon g\in G\}$ has finite index and the doubling map $g\mapsto g+g$ has finite kernel. We establish lower bounds on the upper density of a set $A\subset G$ with respect to an appropriate Følner sequence, so that $A$ contains a sumset of the form $\{t+b_1+b_2\colon b_1,b_2\in B\}$ or $\{b_1+b_2\colon b_1,b_2\in B\}$, for some infinite $B\subset G$ and some $t\in G$. Both assumptions on $G$ are necessary for our results to be true. We also characterize the Følner sequences for which this is possible. Finally, we show that our lower bounds are optimal in a strong sense.

math.DS↗