Search

We study the right-angled Artin group action on the extension graph. We show that this action satisfies a certain finiteness property, which is a variation of a condition introduced by Delzant and Bowditch. As an application we show that the asymptotic translation lengths of elements of a given right-angled Artin group are always rational and once the defining graph has girth at least 6, they have a common denominator. We construct explicit examples which show the denominator of the asymptotic translation length of such an action can be arbitrary. We also observe that if either an element has a small syllable length or the defining graph for the right-angled Artin group is a tree then the asymptotic translation lengths are integers., 34 pages, 5 figures

In this paper, we develop a way to extract information about a random walk associated with a typical Thurston’s construction. We first observe that a typical Thurston’s construction entails a free group of rank 2. We also present a proof of the spectral theorem for random walks associated with Thurston’s construction that have finite 2nd moment with respect to the Teichmüller metric. Its general case was remarked by Dahmani and Horbez. Finally, under a hypothesis not involving moment conditions, we prove that random walks eventually become pseudo-Anosov. As an application, we first discuss a random analogy of Kojima and McShane’s estimation of the hyperbolic volume of a mapping torus with pseudo-Anosov monodromy. As another application, we discuss non-probabilistic estimations of stretch factors from Thurston’s construction and the powers for Salem numbers to become the stretch factors of pseudo-Anosovs from Thurston’s construction.

We show that an Anosov map has a geodesic axis on the curve graph of the torus. The direct corollary of our result is the stable translation length of an Anosov map on the curve graph is always a positive integer. As the proof is constructive, we also provide an algorithm to calculate the exact translation length for any given Anosov map. The application of our result is threefold: (a) to determine which word realizes the minimal translation length on the curve graph within a specific class of words, (b) to establish the effective bound on the ratio of translation lengths of an Anosov map on the curve graph to that on Teichmuller space, and (c) to estimate the overall growth of the number of Anosov maps which have a sufficient number of Anosov maps with the same translation length .

We prove a generalized version of Kazhdan's theorem for canonical forms on Riemann surfaces. In the classical version, one starts with an ascending sequence $\{S_n \rightarrow S\}$ of finite Galois covers of a hyperbolic Riemann Surface $S$, converging to the universal cover. The theorem states that the sequence of forms on $S$ inherited from the canonical forms on $S_n$'s converges uniformly to (a multiple of) the hyperbolic form. We prove a generalized version of this theorem, where the universal cover is replaced with any infinite Galois cover. Along the way, we also prove a Gauss--Bonnet type theorem in the context of arbitrary infinite Galois covers., Comment: Final version to appear in Journal f\"ur die reine und angewandte Mathematik (Crelle's Journal)

In their precedent work, the authors constructed closed oriented hyperbolic surfaces with pseudo-Anosov homeomorphisms from certain class of integral matrices. In this paper, we present a very simple algorithm to compute the Teichmuller polynomial corresponding to those surface homeomorphisms by first constructing an invariant track whose first homology group can be naturally identified with the first homology group of the surface, and computing its Alexander polynomial.

In this note, we study the symplectic representation of the mapping class group. In particular, we discuss the surjecivity of the representation restricted to certain mapping classes. It is well-known that the representation itself is surjective. In fact the representation is still surjective after restricting on pseudo-Anosov mapping classes. However, we show that the surjectivity does not hold when the representation is restricted on orientable pseudo-Anosovs, even after reducing its codomain to integer symplectic matrices with a bi-Perron leading eigenvalue. In order to prove the non-surjectivity, we explicitly construct an infinite family of symplectic matrices with a bi-Perron leading eigenvalue which cannot be obtained as the symplectic representation of an orientable pseudo-Anosov mapping class., 11 pages

Thurston showed that the fundamental group of a closed atoroidal 3-manifold admitting a co-oriented taut foliation acts faithfully on the circle by orientation-preserving homeomorphisms. This action on the circle is called a universal circle action, due to the rich information it carries. In this chapter, we first review Thurston’s theory of universal circles and follow-up work of other authors. We note that the universal circle action of a 3-manifold group always admits an invariant lamination. A group acting on the circle with an invariant lamination is called a laminar group. In the second half of the chapter, we discuss the theory of laminar groups and prove some interesting properties of laminar groups under various conditions.

In this note, we deduce a partial answer to the question in the title. In particular, we show that asymptotically almost all bi-Perron algebraic units whose characteristic polynomial has degree at most $2n$ do not correspond to dilatations of pseudo-Anosov maps on a closed orientable surface of genus $n$ for $n\geq 10$. As an application of the argument, we also obtain a statement on the number of closed geodesics of the same length in the moduli space of area-one abelian differentials for low-genus cases.

We show that a random 3-manifold with positive first Betti number admits a tower of cyclic covers with exponential torsion growth., Comment: 32 pages, no figures

Degree-$d$-invariant laminations of the disk model the dynamical action of a degree-$d$ polynomial; such a lamination defines an equivalence relation on $S^1$ that corresponds to dynamical rays of an associated polynomial landing at the same multi-accessible points in the Julia set. Primitive majors are certain subsets of degree-$d$-invariant laminations consisting of critical leaves and gaps. The space $\textrm{PM}(d)$ of primitive degree-$d$ majors is a spine for the set of monic degree-$d$ polynomials with distinct roots and serves as a parameterization of a subset of the boundary of the connectedness locus for degree-$d$ polynomials. The core entropy of a postcritically finite polynomial is the topological entropy of the action of the polynomial on the associated Hubbard tree. Core entropy may be computed directly, bypassing the Hubbard tree, using a combinatorial analogue of the Hubbard tree within the context of degree-$d$-invariant laminations.

Supplementary Note, Tables S1, S2 and Figures. S1-S12. (PDF 3657 kb)

Following previous work of the second author, we establish more properties of groups of circle homeomorphisms which admit invariant laminations. In this paper, we focus on a certain type of such groups-so-called pseudo-fibered groups, and show that many 3-manifold groups are examples of pseudo-fibered groups. We then prove that torsion-free pseudo-fibered groups satisfy a Tits alternative. We conclude by proving that a purely hyperbolic pseudo-fibered group acts on the 2-sphere as a convergence group. This leads to an interesting question if there are examples of pseudo-fibered groups other than 3-manifold groups., 15 pages, 5 figures. A minor revision has been done based on the referee's comments. To appear in Journal of Group Theory

We prove that every right-angled Artin group embeds into the C ∞ diffeomorphism group of the real line. As a corollary, we show every limit group, and more generally every countable residually RAAG group, embeds into the C ∞ diffeomorphism group of the real line.

We determine the factorial growth rate of the number of finite index subgroups of right-angled Artin groups as a function of the index. This turns out to depend solely on the independence number of the defining graph. We also make a conjecture for right-angled Coxeter groups and prove that it holds in a limited setting., 34 pages

In this paper, we show that the minimal asymptotic translation length of the Torelli group $\mathcal{I}_g$ of the surface $S_g$ of genus $g$ on the curve graph asymptotically behaves like $1/g$, contrary to the mapping class group $Mod(S_g)$, which behaves like $1/g^2$. We also show that the minimal asymptotic translation length of the pure braid group $PB_n$ on the curve graph asymptotically behaves like $1/n$, contrary to the braid group $B_n$, which behaves like $1/n^2$., Comment: 12 pages, 4 figures. The proof of Theorem 5.1 had a minor gap in the previous version which is now fixed. Also the multi-curves in Figure 1 in the previous version were not filling, and this issue has been fixed as well. Accepted for publication in IMRN

We study the asymptotic behavior of the asymptotic translation lengths on the curve complexes of pseudo-Anosov monodromies in a fibered cone of a fibered hyperbolic 3-manifold $M$ with $b_1(M) \geq 2$. For a sequence $(\Sigma_n, \psi_n)$ of fibers and monodromies in the fibered cone, we show that the asymptotic translation length on the curve complex is bounded above by $1/\chi(\Sigma_n)^{1+1/r}$ as long as their projections to the fibered face converge to a point in the interior, where $r$ is the dimension of the $\psi_n$-invariant homology of $\Sigma_n$ (which is independent of $n$). As a corollary, if $b_1(M) = 2$, the asymptotic translation length on the curve complex of such a sequence of primitive elements behaves like $1/\chi(\Sigma_n)^{2}$. Furthermore, together with a work of E. Hironaka, our theorem can be used to determine the asymptotic behavior of the minimal translation lengths of handlebody mapping class groups and the set of mapping classes with homological dilatation one., Comment: 13 pages, 1 figure. The proofs for Prop. 4, Prop. 6, and Lemma 8 have been expanded. Other minor changes were made to incorporate referee's comments

In this paper, we give sufficient conditions for a Perron number, given as the leading eigenvalue of an aperiodic matrix, to be a pseudo-Anosov dilatation of a compact surface. We give an explicit construction of the surface and the map when the sufficient condition is met., 14 pages, 8 figures

We study the smallest positive eigenvalue $\lambda_1(M)$ of the Laplace-Beltrami operator on a closed hyperbolic 3-manifold $M$ which fibers over the circle, with fiber a closed surface of genus $g\geq 2$. We show the existence of a constant $C>0$ only depending on $g$ so that $\lambda_1(M)\in [C^{-1}/{\rm vol}(M)^2, C\log {\rm vol}(M)/{\rm vol}(M)^{2^{2g-2}/(2^{2g-2}-1)}]$ and that this estimate is essentially sharp. We show that if $M$ is typical or random, then we have $\lambda_1(M)\in [C^{-1}/{\rm vol}(M)^2,C/{\rm vol}(M)^2]$. This rests on a result of independent interest about reccurence properties of axes of random pseudo-Anosov elements.

We show that no finite index subgroup of a sufficiently complicated mapping class group or braid group can act faithfully by $C^{1+\mathrm{bv}}$ diffeomorphisms on the circle, which generalizes a result of Farb-Franks, and which parallels a result of Ghys and Burger-Monod concerning differentiable actions of higher rank lattices on the circle. This answers a question of Farb, which has its roots in the work of Nielsen. We prove this result by showing that if a right-angled Artin group acts faithfully by $C^{1+\mathrm{bv}}$ diffeomorphisms on a compact one-manifold, then its defining graph has no subpath of length three. As a corollary, we also show that no finite index subgroup of $\textrm{Aut}(F_n)$ and $\textrm{Out}(F_n)$ for $n\geq 3$, the Torelli group for genus at least $3$, and of each term of the Johnson filtration for genus at least $5$, can act faithfully by $C^{1+\mathrm{bv}}$ diffeomorphisms on a compact one-manifold., Comment: 22 pages, incorporated referee's comments. To appear in J. Eur. Math. Soc

Motivated by well known results in low-dimensional topology, we introduce and study a topology on the set CO(G) of all left-invariant circular orders on a fixed countable and discrete group G. CO(G) contains as a closed subspace LO(G), the space of all left-invariant linear orders of G, as first topologized by Sikora. We use the compactness of these spaces to show the sets of non-linearly and non-circularly orderable finitely presented groups are recursively enumerable. We describe the action of Aut(G) on CO(G) and relate it to results of Koberda regarding the action on LO(G). We then study two families of circularly orderable groups: finitely generated abelian groups, and free products of circularly orderable groups. For finitely generated abelian groups A, we use a classification of elements of CO(A) to describe the homeomorphism type of the space CO(A), and to show that Aut(A) acts faithfully on the subspace of circular orders which are not linear. We define and characterize Archimedean circular orders, in analogy with linear Archimedean orders. We describe explicit examples of circular orders on free products of circularly orderable groups, and prove a result about the abundance of orders on free products. Whenever possible, we prove and interpret our results from a dynamical perspective., Comment: Minor errors corrected and exposition improved throughout. Provides a more careful analysis of cases in the proof of Theorem 4.3. Fixed the proof that Archimedean implies free

We propose a program to study groups acting faithfully on S^1 in terms of number of pairwise transverse dense invariant laminations. We give some examples of groups which admit a small number of invariant laminations as an introduction to such groups. Main focus of the present paper is to characterize Fuchsian groups in this scheme. We prove a group acting on S^1 is conjugate to a Fuchsian group if and only if it admits three very-full laminations with a variation of the transversality condition. Some partial results toward a similar characterization of hyperbolic 3-manifold groups which fiber over the circle have been obtained. This work was motivated by the universal circle theory for tautly foliated 3-manifolds developed by Thurston and Calegari-Dunfield., Comment: 27 pages, 10 figures

We give a complete description of the closure of the space of one-generator closed subgroups of PSL2(R) for the Chabauty topology, by computing explicitly the matrices associated with elements of Aut(D) = PSL2(R), and finding quantities parametrizing the limit cases. Along the way, we investigate under what conditions sequences of maps transform convergent sequences of closed subsets of the domain into convergent sequences of closed subsets of the range. In particular, this allows us to compute certain geometric limits of PSL2(R) only by looking at the Hausdorff limit of some closed subsets of C., Comment: 28 pages, 6 figures

We describe the topology of the space of all geometric limits of closed abelian subgroups of PSL2C. Main tools and ideas come from the previous paper [BC12]., Comment: 41 pages, 14 figures