Workshop "Dynamics, Geometry and Groups": Abstracts
Quasisymmetric rigidity for Sierpinski carpets
Sierpinski carpets exhibit surprising rigidity under quasisymmetric maps. This phenomon appears in various contexts in geometric group theory and complex dynamics. In my talk I will give a survey of some recent results in this area.
Conjugacy problem in a mapping class biset
Given a Thurston map , its mapping class biset is the set of maps obtained by pre- and post-composing with elements in the mapping class group. Maps in are considered up to isotopy relative the postcritical set. Two maps in are conjugate precisely when they are Thurston equivalent. We will discuss how to do computations in . In particular, we will show that the conjugacy problem in is decidable.
Based on a joint work Laurent Bartholdi.
Invariant graphs, tilings, and iterated monodromy groups
One of the main open problems in holomorphic dynamics is to obtain “nice” combinatorial models for rational maps and classify the maps in combinatorial terms. Such models were constructed for postcritically-finite polynomials by Douady and Hubbard in the 1980’s. However, the case of general rational maps is much more complicated and still draws lots of attention. I will describe combinatorial models given by invariant planar embedded graphs for different classes of rational maps. I will also discuss how these graphs, and the respective tilings of the Riemann sphere, can be used to study the properties of iterated monodromy groups.
When is a map rational without using Thurston’s theorem.
Thurton’s celebrated characterization of rational maps gives a criterion when a Thurston map (i.e., a topological analog of a rational map) is equivalent to a rational map. If a Thurston map is expanding in a suitable sense we may define a visual metric on . The geometry of mirrors properties of the map . In particular is quasisymmetric to the Riemann sphere if and only if is topologically conjugate to a rational map (a result independently obtained by Haissinsky-Pilgrim). Since the proof does not depend on Thurston’s theorem it allows to decide when is conjugate/equivalent to a rational map using different methods. While there is no general result yet, it is possible to do so in specific examples.
The talk is based on joint work with Mario Bonk.
Iterated monodromy groups and amenability
I will give a survey of known results and open questions concerning amenability of iterated monodromy groups. In particular, I will describe the largest class of rational functions for which we know that their IMGs are amenable.
Hausdorff and conformal dimension of Julia sets
Suppose is a rational map from the Riemann sphere to itself. Iterating gives a dynamical system. The Julia set is the chaotic locus; it is typically a “fractal” set. The Hausdorff dimension is a crude measurement of the “thickness” of . The conformal dimension is the infimum of the Hausdorff dimension where is a metric space quasisymmetrically equivalent to . I will survey some known results about Hausdorff and conformal dimensions of Julia sets, concentrating on hyperbolic (expanding) maps.
Numerical invariants of expanding self-covers
We generalize the setup of the previous talk to an arbitrary self-cover of a compact, connected, locally connected topological space . Well-known constructions yield a family of metrics on in which the dynamics is “conformal” in the sense that for all small balls. It follows that there exist Ahlfors regular metrics on and thus that the conformal dimension becomes a numerical invariant of the topological dynamics.
Expanding “virtual graph endomorphisms” (mentioned by D. Thurston in his lectures here) determine such dynamical systems and so give a wealth of examples. The corresponding asymptotic energies then give additional numerical invariants of the dynamics. This gives new invariants of hyperbolic rational maps with connected Julia sets.
Conformal dimension is a critical exponent of asymptotic energy
I will discuss the ingredients in the proof of the following result, which is ongoing joint work with D. Thurston. Suppose is an expanding virtual graph endomorphism with connected and surjective on fundamental groups. Then the conformal dimension of the limit dynamical system is equal to the unique exponent for which . We apply this to give explicit estimates for the conformal dimension of Sierpinski carpet Julia sets in the family , .
Orbital Schreier graphs for IMGs of entire functions
Transcendental entire functions have many dynamical properties analogous to polynomial maps. For post-critically finite polynomials, the iterated mondromy groups are amenable. In this talk, I address the question on how to extend this result to the realm of post-singulary finite transcendental functions, focussing mainly on a particular simple example, namely the iterated monodromy group of the function .
On the dynamics of entire functions and their combinatorial characterization
The dynamics of transcendental entire functions can be very different from polynomial dynamics (the essential singularity at infinity behaves very differently from a superattracting fixed point), and yet in certain cases it can be quite similar, especially in the postsingularly finite case. We present some of the difficulties and surprises, and we present some positive results linking transcendental dynamics and symbolic dynamics via Thurston theory.
Combinatorial models of rational maps
The underlying topological structure behind rational maps can be represented in multiple ways: branched self-covers of the sphere; virtual endomorphism of groups; bisets over groups; automata; groups acting on trees; virtual endomorphisms of graphs. We explain how these different representations are related to each other, with particular emphasis on graphs.
Elastic graphs and other graph energies
We describe the energies , for , for maps between graphs. Special cases, for , include length of a curve, Lipschitz stretch factor, Dirichlet energy, and extremal length. The energy , which has not been previously considered, captures when one elastic network is “looser” than another for all possible targets.
Positive characterization of rational maps
We give a positive characterization of hyperbolic rational maps, a certificate that guarantees that a branched self-cover of the sphere is equivalent to a rational map, based on comparisons between elastic networks. This is complementary to W. Thurston’s earlier theory of obstructions.
Generalized captures, invariant trees, and IMGs
This is a joint project with Anastasia Shepelevtseva.
We describe an approach to classification of generalized captures in the sense of Mary Rees based on finding invariant trees such that all critical values are vertices.