We establish various results on the large level limit of projective quantum representations of surface mapping class groups obtained by quantizing moduli spaces of flat SU(n)-bundle. Working with the metaplectic correction, we proved that these projective representations lift to asymptotic representations. We show that the operators in these representations are Fourier integral operators and determine explicitly their canonical relations and symbols. We deduce from these facts the Egorov property and the asymptotic unitarity, two results already proved by J.E. Andersen. Furthermore we show under a transversality assumption that the characters of these representations have an asymptotic expansion. The leading order term of this expansion agrees with the formula derived heuristically by E. Witten in "Quantum field theory and the Jones polynomial".
We prove asymptotic faithfulness for the quantum $\mathrm{Sp}(4)$ mapping class group representation. This provides the first example of asymptotic faithfulness lying outside of the $A_n$ family. The methods used are generalized from the proof of asymptotic faithfulness for skein $SU(2)_k$ mapping class group representations. In short, for any noncentral mapping class a comparison vector is found which allows for the mapping class to be detected.
By recognizing them as fundamental groups of developable complexes of groups we prove that mapping class groups of compact orientable surfaces have finite asymptotic dimension.
We construct sequences of pseudo-Anosov mapping classes whose dilatations behave asymptotically like the inverse of the Euler characteristic of the surface they are defined on. These sequences are used to show that if the genus, g, and punctures, n, of a surface are related by a rational ray g=rn then the minimal dilatations behave asymptotically like the inverse of the Euler characteristic.
Even though big mapping class groups are not countably generated, certain big mapping class groups can be generated by a coarsely bounded set and have a well defined quasi-isometry type. We show that the big mapping class group of a stable surface of infinite type with a coarsely bounded generating set that contains an essential shift has infinite asymptotic dimension. This is in contrast with the mapping class groups of surfaces of finite type where the asymptotic dimension is always finite. We also give a topological characterization of essential shifts.
We study the action of the mapping class group on the real homology of finite covers of a topological surface. We use the homological representation of the mapping class to construct a faithful infinite-dimensional representation of the mapping class group. We show that this representation detects the Nielsen-Thurston classification of each mapping class. We then discuss some examples that occur in the theory of braid groups and develop an analogous theory for automorphisms of free groups. We close with some open problems.
The main goal of this paper is a detailed study of asymptotic cones of the mapping class groups. In particular, we prove that every asymptotic cone of a mapping class group has a bi-Lipschitz equivariant embedding into a product of real trees, sending limits of hierarchy paths onto geodesics, and with image a median subspace. One of the applications is that a group with Kazhdan's property (T) can have only finitely many pairwise non-conjugate homomorphisms into a mapping class group. We also give a new proof of the rank conjecture of Brock and Farb (previously proved by Behrstock and Minsky, a…
We investigate the rigidity and asymptotic properties of quantum SU(2) representations of mapping class groups. In the spherical braid group case the trivial representation is not isolated in the family of quantum SU(2) representations. In particular, they may be used to give an explicit check that spherical braid groups and hyperelliptic mapping class groups do not have Kazhdan's property (T). On the other hand, the representations of the mapping class group of the torus do not have almost invariant vectors, in fact they converge to the metaplectic representation of SL(2,Z) on L^2(R). As a co…
In this work, we study the asymptotic geometry of the mapping class group and Teichmueller space. We introduce tools for analyzing the geometry of `projection' maps from these spaces to curve complexes of subsurfaces; from this we obtain information concerning the topology of their asymptotic cones. We deduce several applications of this analysis. One of which is that the asymptotic cone of the mapping class group of any surface is tree-graded in the sense of Drutu and Sapir; this tree-grading has several consequences including answering a question of Drutu and Sapir concerning relatively hype…
We consider Thompson's groups from the perspective of mapping class groups of surfaces of infinite type. This point of view leads us to the braided Thompson groups, which are extensions of Thompson's groups by infinite (spherical) braid groups. We will outline the main features of these groups and some applications to the quantization of Teichmüller spaces. The chapter provides an introduction to the subject with an emphasis on some of the authors results.
This article is dedicated to the study of asymptotically rigid mapping class groups of infinitely-punctured surfaces obtained by thickening planar trees. Such groups include the braided Ptolemy-Thompson groups $T^\sharp,T^\ast$ introduced by Funar and Kapoudjian, and the braided Houghton groups $\mathrm{br}H_n$ introduced by Degenhardt. We present an elementary construction of a contractible cube complex, on which these groups act with cube-stabilisers isomorphic to finite extensions of braid groups. As an application, we prove Funar-Kapoudjian's and Degenhardt's conjectures by showing that $T…
We introduce subgroups ${\mathcal{B}}_g< {\mathcal H}_g$ of the mapping class group $Mod(Σ_g)$ of a closed surface of genus $g \ge 0$ with a Cantor set removed, which are extensions of Thompson's group $V$ by a direct limit of mapping class groups of compact surfaces of genus $g$. We first show that both ${\mathcal{B}}_g$ and ${\mathcal H}_g$ are finitely presented, and that ${\mathcal H}_g$ is dense in $Mod(Σ_g)$. We then exploit the relation with Thompson's groups to study properties ${\mathcal B}_g$ and ${\mathcal H}_g$ in analogy with known facts about finite-type mapping class groups. For…
We show that an entire branched cover of finite distortion cannot have a compact branch set if its distortion satisfies a certain asymptotic growth condition. We furthermore show that this bound is strict by constructing an entire, continuous, open and discrete mapping of finite distortion which is piecewise smooth, has a branch set homeomorphic to $(n-2)$-dimensional torus and distortion arbitrarily close to the asymptotic bound.
The braided Thompson group $\mathcal B$ is an asymptotic mapping class group of a sphere punctured along the standard Cantor set, endowed with a rigid structure. Inspired from the case of finite type surfaces we consider a Hatcher-Thurston cell complex whose vertices are asymptotically trivial pants decompositions. We prove that the automorphism group $\hat{\mathcal B^{\frac{1}{2}}}$ of this complex is also an asymptotic mapping class group in a weaker sense. Moreover $\hat{\mathcal B^{\frac{1}{2}}}$ is obtained by $\mathcal B$ by first adding new elements called half-twists and further comple…
For each oriented surface $Σ$ of genus $g$ we study a limit of quantum representations of the mapping class group arising in TQFT derived from the Kauffman bracket. We determine that these representations converge in the Fell topology to the representation of the mapping class group on $\boH(Σ)$, the space of regular functions on the $SL(2,\C)$ representation variety with its hermitian structure coming from the symplectic structure of the SU(2)-representation variety. As a corollary, we give a new proof of the asymptotic faithfulness of quantum representations.
In earlier work, the authors introduced a conjecture which, for an orientation-preserving diffeomorphism $φ\colon S \to S$ of a surface, connects a certain quantum invariant of $φ$ with the hyperbolic volume of its mapping torus $M_φ$. This article provides a proof of this conjecture in the simplest case where it applies, namely when the surface $S$ is the one-puncture torus and the mapping torus $M_φ$ is the complement of the figure-eight knot.
We generalize the asymptotic faithfulness of the skein quantum $SU(2)$ representations of mapping class groups of orientable closed surfaces to skein $SU(3)$. Skein quantum representations of mapping class groups are different from the Reshetikin-Turaev ones from quantum groups or geometric quantization because they are given by different modular tensor categories. We conjecture asymptotic faithfulness holds for skein quantum $G$ representations when $G$ is a simply-connected simple Lie group. The difficulty for such a generalization lies in the lack of an explicit description of the fusion sp…
A Teichmuller lattice is the orbit of a point in Teichmuller space under the action of the mapping class group. We show that the proportion of lattice points in a ball of radius r which are not pseudo-Anosov tends to zero as r tends to infinity. In fact, we show that if R is a subset of the mapping class group, whose elements have an upper bound on their translation length on the complex of curves, then proportion of lattice points in the ball of radius r which lie in R tends to zero as r tends to infinity.
We study mapping class group orbits of homotopy and isotopy classes of curves with self-intersections. We exhibit the asymptotics of the number of such orbits of curves with a bounded number of self-intersections, as the complexity of the surface tends to infinity. We also consider the minimal genus of a subsurface that contains the curve. We determine the asymptotic number of orbits of curves with a fixed minimal genus and a bounded self-intersection number, as the complexity of the surface tends to infinity. As a corollary of our methods, we obtain that most curves that are homotopic are als…
Athreya, Bufetov, Eskin and Mirzakhani have shown the number of mapping class group lattice points intersecting a closed ball of radius $R$ in Teichmüller space is asymptotic to $e^{hR}$, where $h$ is the dimension of the Teichmüller space. We show for any pseudo-Anosov mapping class $f$, there exists a power $n$, such that the number of lattice points of the $f^n$ conjugacy class intersecting a closed ball of radius $R$ is coarsely asymptotic to $e^{\frac{h}{2}R}$.
We show that a random walk on the mapping class group of an orientable surface gives rise to a pseudo-Anosov element with asymptotic probability one. Our methods apply to many subgroups of the mapping class group, including the Torelli group.
We prove a quantitative estimate with a power saving error term for the number of points in a mapping class group orbit of Teichmüller space that lie within a Teichmüller metric ball of given center and large radius. Estimates of the same kind are also proved for sector and bisector counts. These estimates effectivize asymptotic counting results of Athreya, Bufetov, Eskin, and Mirzakhani.
We consider a planar surface Σof infinite type which has the Thompson group T as asymptotic mapping class group. We construct the asymptotic pants complex C of Σand prove that the group T acts transitively by automorphisms on it. Finally, we establish that the automorphism group of the complex C is an extension of the Thompson group T by Z/2Z.
We consider the hyperelliptic handlebody group on a closed surface of genus $g$. This is the subgroup of the mapping class group on a closed surface of genus $g$ consisting of isotopy classes of homeomorphisms on the surface that commute with some fixed hyperelliptic involution and that extend to homeomorphisms on the handlebody. We prove that the logarithm of the minimal dilatation (i.e, the minimal entropy) of all pseudo-Anosov elements in the hyperelliptic handlebody group of genus $g$ is comparable to $1/g$. This means that the asymptotic behavior of the minimal pseudo-Anosov dilatation of…
Let $S_{g,n}$ be a surface of genus $g $ with $n$ marked points. Let $X$ be a complete hyperbolic metric on $S_{g,n}$ with $n$ cusps. Every isotopy class $[γ]$ of a closed curve $γ\in π_{1}(S_{g,n})$ contains a unique closed geodesic on $X$. Let $\ell_γ(X)$ denote the hyperbolic length of the geodesic representative of $γ$ on $X$. In this paper, we study the asymptotic growth of the lengths of closed curves of a fixed topological type on $S_{g,n}.$ As an application, one can obtain the asymptotics of the growth of $s^{k}_{X}(L)$, the number of closed curves of length $\leq L$ on $X$ with at mo…
A quasi-tree is a geodesic metric space quasi-isometric to a tree. We give a general construction of many actions of groups on quasi-trees. The groups we can handle include non-elementary (relatively) hyperbolic groups, rank 1 CAT(0) groups, mapping class groups and Out(Fn). As an application, we show that mapping class groups act on finite products of δ-hyperbolic spaces so that orbit maps are quasi-isometric embeddings. We prove that mapping class groups have finite asymptotic dimension.
We calculate the knot invariant coming from the Teichmüller TQFT [AK1]. Specifically we calculate the knot invariant for the complement of the knot $6_1$ both in the original [AK1] and the new formulation of the Teichmüller TQFT [AK2] for the one-vertex H-triangulation of $(S^3,6_1)$. We show that the two formulations give equivalent answers. Furthermore we apply a formal stationary phase analysis and arrive at the Andersen- Kashaev volume conjecture as stated in [AK1, Conj. 1]. Furthermore we calculate the first examples of knot complements in the new formulation showing that the new formulat…
