BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We show that if G1 and G2 are non-solvable groups, then no C1,τ action of (G1×G2)∗Z on S1 is faithful for τ>0. As a corollary, if S is an orientable surface of complexity at least three then the critical regularity of an arbitrary finite index subgroup of the mapping class group Mod(S) with respect to the circle is at most one, thus strengthening a result of the first two authors with Baik.
We discuss some applications of 3-manifold topology to cryptography. In particular, we propose a public-key and a symmetric-key cryptographic scheme based on the Thurston norm on the first cohomology of hyperbolic manifolds.
Let M be the circle or a compact interval, and let α=k+τ≥1 be a real number such that k=⌊α⌋. We write Diff+α(M) for the group of Ck diffeomorphisms of M whose kth derivatives are Hölder continuous with exponent τ. If α≥1, we prove that there exists a finitely generated subgroup Gα≤Diff+α(M) with the property that Gα admits no injective homomorphisms into Diff+β(M) for all β>α. If α>1, we also show the dual result: there exists a finitely generated group Hα≤⋂β<αDiff+β(M) with the property that Hα admits no injective homomorphisms into Diff+α(M). We can further require that the same properties are inherited by all finite index subgroups, and also by the commutator subgroups, of Gα and Hα. The commutator groups of Gα and of Hα are countable simple groups. As a consequence, whenever 1≤α<β we have a continuum of isomorphism types of finitely generated subgroups of Diff+α(M) whose images under arbitrary homomorphisms to Diff+β(M) are abelian. We give some applications to smoothability of codimension one foliations and to homomorphisms between certain continuous groups of diffeomorphisms. For example, we show that if k=2 is an integer and if k<β then there is no nontrivial homomorphism Diff+k(S1)→Diff+β(S1).
We study the regularity of exceptional actions of groups by C1,α diffeomorphisms on the circle, i.e. ones which admit exceptional minimal sets, and whose elements have first derivatives that are continuous with concave modulus of continuity α. Let G be a finitely generated group admitting a C1,α action ρ with a free orbit on the circle, and such that the logarithms of derivatives of group elements are uniformly bounded at some point of the circle. We prove that if G has spherical growth bounded by cnd−1 and if the function 1/αd is integrable near zero, then under some mild technical assumptions on α, there is a sequence of exceptional C1,α actions of G which converge to ρ in the C1 topology. As a consequence for a single diffeomorphism, we obtain that if the function 1/α is integrable near zero, then there exists a C1,α exceptional diffeomorphism of the circle. This corollary accounts for all previously known moduli of continuity for derivatives of exceptional diffeomorphisms. We also obtain a partial converse to our main result. For finitely generated free abelian groups, the existence of an exceptional action, together with some natural hypotheses on the derivatives of group elements, puts integrability restrictions on the modulus α. These results are related to a long-standing question of D. McDuff concerning the length spectrum of exceptional C1 diffeomorphisms of the circle.
Let q∈C, let a=(1101),bq=(10q1), and let Gq<SL2(C) be the group generated by a and bq. In this paper, we study the problem of determining when the group Gq is not free for ∣q∣<4 rational. We give a robust computational criterion which allows us to prove that if q=s/r for ∣s∣≤27 then Gq is non-free, with the possible exception of s=24. In this latter case, we prove that the set of denominators r∈N for which G24/r is non-free has natural density 1. For a general numerator s>27, we prove that the lower density of denominators r∈N for which Gs/r is non-free has a lower bound 1−(1−s11)∏n=1∞(1−s2n−14). Finally, we show that for a fixed s, there are arbitrarily long sequences of consecutive denominators r such that Gs/r is non-free. The proofs of some of the results are computer assisted, and Mathematica code has been provided together with suitable documentation.
In this article we develop the theory of residually finite rationally p (RFRp) groups, where p is a prime. We first prove a series of results about the structure of finitely generated RFRp groups (either for a single prime p, or for infinitely many primes), including torsion-freeness, a Tits alternative, and a restriction on the BNS invariant. Furthermore, we show that many groups which occur naturally in group theory, algebraic geometry, and in 3-manifold topology enjoy this residual property. We then prove a combination theorem for RFRp groups, which we use to study the boundary manifolds of algebraic curves CP2 and in C2. We show that boundary manifolds of a large class of curves in C2 (which includes all line arrangements) have RFRp fundamental groups, whereas boundary manifolds of curves in CP2 may fail to do so.
It has been known since the time of Nielsen that the mapping class group Modg,1 of a surface of genus g and one puncture acts faithfully by homeomorphisms on the circle. In this note, we show that this standard representation of the mapping class group is not rigid, precisely, if G<Modg,1 is a finite index subgroup then there exist infinitely many non--conjugate faithful representations G→Homeo+(S1). We thus answer a question of B. Farb.
We prove that for each sufficiently complicated orientable surface S, there exists an infinite image linear representation ρ of π1(S) such that if γ∈π1(S) is freely homotopic to a simple closed curve on S, then ρ(γ) has finite order. Furthermore, we prove that given a sufficiently complicated orientable surface S, there exists a regular finite cover S′→S such that H1(S′,Z) is not generated by lifts of simple closed curves on S, and we give a lower bound estimate on the index of the subgroup generated by lifts of simple closed curves. We thus answer two questions posed by Looijenga, and independently by Kent, Kisin, Marché, and McMullen. The construction of these representations and covers relies on quantum SO(3) representations of mapping class groups.
We prove that finitely generated purely loxodromic subgroups of a right-angled Artin group A(Γ) fulfill equivalent conditions that parallel characterizations of convex cocompactness in mapping class groups Mod(S). In particular, such subgroups are quasiconvex in A(Γ). In addition, we identify a milder condition for a finitely generated subgroup of A(Γ) that guarantees it is free, undistorted, and retains finite generation when intersected with A(Λ) for subgraphs Λ of Γ. These results have applications to both the study of convex cocompactness in Mod(S) and the way in which certain groups can embed in right-angled Artin groups.
We prove that an arbitrary right-angled Artin group G admits a quasi-isometric group embedding into a right-angled Artin group defined by the opposite graph of a tree. Consequently, G admits quasi-isometric group embeddings into a pure braid group and into the area-preserving diffeomorphism groups of the 2--disk and the 2--sphere, answering questions due to Crisp--Wiest and M. Kapovich. Another corollary is that a pure braid group contains a closed hyperbolic manifold group as a quasi-isometrically embedded subgroup up to dimension eight. Finally, we show that the isomorphism problem, conjugacy problem, and membership problems are unsolvable in the class of finitely presented subgroups of braid groups.
Let S be an orientable surface with negative Euler characteristic, let ψ\in\Mod(S) be a mapping class of S, and let T_ψ be the mapping torus of ψ. We study the action of lifts of ψon the homology of finite covers of S via the torsion homology growth of towers of finite covers of T_ψ. We show that ψadmits a lift to a finite cover with a homological eigenvalue of length greater than one if and only if the mapping torus T_ψ admits a finite cover X and a certain tower of abelian covers which have exponential torsion homology growth. We show that the existence of such a lift of ψis intrinsic to T_ψ, in the sense that it does not depend on the particular fibration used to present T_ψ.
In this article, we propose two algorithms for determining the Nielsen-Thurston classification of a mapping class ψ on a surface S. We start with a finite generating set X for the mapping class group and a word ψ in ⟨X⟩. We show that if ψ represents a reducible mapping class in $\Mod(S)$ then ψ admits a canonical reduction system whose total length is exponential in the word length of ψ. We use this fact to find the canonical reduction system of ψ. We also prove an effective conjugacy separability result for π1(S) which allows us to lift the action of ψ to a finite cover $\yt{S}$ of S whose degree depends computably on the word length of ψ, and to use the homology action of ψ on $H_1(\yt{S},\mathbb{C})$ to determine the Nielsen-Thurston classification of ψ.
We prove that every injective simplicial map F(S)→F(S′) between flip graphs is induced by a subsurface inclusion S→S′, except in finitely many cases. This extends a result of Korkmaz--Papadopoulos which asserts that every automorphism of the flip graph of a surface without boundary is induced by a surface homeomorphism.
We show that for a sufficiently simple surface S, a right-angled Artin group A(Γ) embeds into $\Mod(S)$ if and only if Γ embeds into the curve graph $\mC(S)$ as an induced subgraph. When S is sufficiently complicated, there exists an embedding $A(Γ)\to\Mod(S)$ for some Γ not contained in $\mC(S)$.
We develop an analogy between right-angled Artin groups and mapping class groups through the geometry of their actions on the extension graph and the curve graph respectively. The central result in this paper is the fact that each right-angled Artin group acts acylindrically on its extension graph. From this result we are able to develop a Nielsen--Thurston classification for elements in the right-angled Artin group. Our analogy spans both the algebra regarding subgroups of right-angled Artin groups and mapping class groups, as well as the geometry of the extension graph and the curve graph. On the geometric side, we establish an analogue of Masur and Minsky's Bounded Geodesic Image Theorem and their distance formula.
Let X be a finite CW complex. We show that the fundamental group of X is large if and only if there is a finite cover Y of X and a sequence of finite abelian covers \{Y_N\} of Y which satisfy b_1(Y_N)\geq N. We give some applications of this result to the study of hyperbolic 3--manifolds, mapping classes of surfaces and combinatorial group theory.
For every orientable surface of finite negative Euler characteristic, we find a right-angled Artin group of cohomological dimension two which does not embed into the associated mapping class group. For a right-angled Artin group on a graph $\gam$ to embed into the mapping class group of a surface S, we show that the chromatic number of $\gam$ cannot exceed the chromatic number of the clique graph of the curve graph C(S). Thus, the chromatic number of $\gam$ is a global obstruction to embedding the right-angled Artin group $A(\gam)$ into the mapping class group $\Mod(S)$.
Consider the mapping class group $\Mod_{g,p}$ of a surface Σg,p of genus g with p punctures, and a finite collection {f1,...,fk} of mapping classes, each of which is either a Dehn twist about a simple closed curve or a pseudo-Anosov homeomorphism supported on a connected subsurface. In this paper we prove that for all sufficiently large N, the mapping classes {f1N,...,fkN} generate a right-angled Artin group. The right-angled Artin group which they generate can be determined from the combinatorial topology of the mapping classes themselves. When {f1,...,fk} are arbitrary mapping classes, we show that sufficiently large powers of these mapping classes generate a group which embeds in a right-angled Artin group in a controlled way. We establish some analogous results for real and complex hyperbolic manifolds. We also discuss the unsolvability of the isomorphism problem for finitely generated subgroups of $\Mod_{g,p}$, and prove that the isomorphism problem for right-angled Artin groups is solvable. We thus characterize the isomorphism type of many naturally occurring subgroups of $\Mod_{g,p}$.
In this article we study the right-angled Artin subgroups of a given right-angled Artin group. Starting with a graph $\gam$, we produce a new graph through a purely combinatorial procedure, and call it the extension graph $\gam^e$ of $\gam$. We produce a second graph $\gam^e_k$, the clique graph of $\gam^e$, by adding extra vertices for each complete subgraph of $\gam^e$. We prove that each finite induced subgraph Λ of $\gam^e$ gives rise to an inclusion $A(Λ)\to A(\gam)$. Conversely, we show that if there is an inclusion $A(Λ)\to A(\gam)$ then Λ is an induced subgraph of $\gam^e_k$. These results have a number of corollaries. Let P4 denote the path on four vertices and let Cn denote the cycle of length n. We prove that A(P4) embeds in $A(\gam)$ if and only if P4 is an induced subgraph of $\gam$. We prove that if F is any finite forest then A(F) embeds in A(P4). We recover the first author's result on co--contraction of graphs and prove that if $\gam$ has no triangles and $A(\gam)$ contains a copy of A(Cn) for some n≥5, then $\gam$ contains a copy of Cm for some 5≤m≤n. We also recover Kambites' Theorem, which asserts that if A(C4) embeds in $A(\gam)$ then $\gam$ contains an induced square. Finally, we determine precisely when there is an inclusion A(Cm)→A(Cn) and show that there is no "universal" two--dimensional right-angled Artin group.
We study the word length entropy of automorphisms of residually nilpotent groups, and how the entropy of such group automorphisms relates to the entropy of induced automorphisms on various nilpotent quotients. We show that much like the structure of a nilpotent group is dictated to a large degree by its abelianization, the entropy of an automorphism of a nilpotent group is dictated by its entropy on the abelianization. We give some applications to the study of pseudo-Anosov homeomorphisms of surfaces. In particular, we show that if ψ is a non--homological pseudo-Anosov homeomorphism of a surface Σ with dilatation K and N is any nilpotent quotient of any finite index characteristic subgroup of π1(Σ) to which ψ descends, the entropy of ψ viewed as an automorphism of N is bounded away from K. This answers a question of D. Sullivan.
In this article we study the space of left- and bi-invariant orderings on a torsion-free nilpotent group G. We will show that generally the set of such orderings is equipped with a faithful action of the automorphism group of G. We prove a result which allows us to establish the same conclusion when G is assumed to be merely residually torsion-free nilpotent. In particular, we obtain faithful actions of mapping class groups of surfaces. We will draw connections between the structure of orderings on residually torsion-free nilpotent, hyperbolic groups and their Gromov boundaries, and we show that in those cases a faithful $\Aut(G)$-action on the boundary is equivalent to a faithful $\Aut(G)$ action on the space of left--invariant orderings.
In this note we explore a connection between finite covers of surfaces and the Teichmüller polynomial of a fibered face of a hyperbolic 3--manifold. We consider the action of a homological pseudo-Anosov homeomorphism ψ on the homology groups of a class of finite abelian covers of a surface Σg,n. Eigenspaces of the deck group actions on these covers are naturally parametrized by rational points on a torus. We show that away from the trivial eigenspace, the spectrum of the action of ψ on these eigenspaces is bounded away from the dilatation of ψ. We show that the action ψ on these eigenspaces is governed by the Teichmüller polynomial.
Let Σ be a surface whose interior admits a hyperbolic structure of finite volume. In this paper, we show that any infinite order mapping class acts with infinite order on the homology of some universal k--step nilpotent cover of Σ. We show that a Torelli mapping class either acts with infinite order on the homology of a finite abelian cover, or the suspension of the mapping class is a 3--manifold whose fundamental group has positive homology gradient. In the latter case, it follows that the suspended 3--manifold has a large fundamental group. It follows that every element of the Magnus kernel suspends to give a 3--manifold with a large fundamental group.
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.
Given a group with at least two more generators than relations, we give an effective estimate on the minimal index of a subgroup with a nonabelian free quotient. We show that the index is bounded by a polynomial in the length of the relator word. We also provide a lower bound on the index.
In recent years, the RFRS condition has been used to analyze virtual fibering in 3-manifold topology. Agol's work shows that any 3-manifold with zero Euler characteristic satisfying the RFRS condition on its fundamental group virtually fibers over the circle. In this note we will show that a finitely generated nilpotent group is either virtually abelian or is not virtually RFRS, a result which may be of independent interest though not directly applicable to 3-manifold topology. As a corollary, we deduce that any RFRS group cannot contain a nonabelian torsion-free nilpotent group. This result also illustrates some of the interplay between residual torsion-free nilpotence and the RFRS condition.
Let p be a prime. In this paper, we classify the geometric 3-manifolds whose fundamental groups are virtually residually p. Let M=M3 be a virtually fibered 3-manifold. It is well-known that G=π1(M) is residually solvable and even residually finite solvable. We prove that G is always virtually residually p. Using recent work of Wise, we prove that every hyperbolic 3-manifold is either closed or virtually fibered and hence has a virtually residually p fundamental group. We give some generalizations to pro-p completions of groups, mapping class groups, residually torsion-free nilpotent 3-manifold groups and central extensions of residually p groups.
We introduce the notion of measurable sensitivity, a measure-theoretic version of the condition of sensitive dependence on initial conditions. It is a consequence of light mixing, implies a transformation has only finitely many eigenvalues, and does not exist in the infinite measure-preserving case. Unlike the traditional notion of sensitive dependence, measurable sensitivity carries up to measure-theoretic isomorphism, thus ignoring the behavior of the function on null sets and eliminating dependence on the choice of metric.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.