Showing 1–50 of 61 results for author: Koberda, T

Generic torsion-free groups and Rubin actions

Authors: Thomas Koberda, Yash Lodha

Abstract: We use model theoretic forcing to prove that a generic countable torsion-free group does not admit any nontrivial locally moving action on a Hausdorff topological space, and yet admits a rich Rubin poset. We use model theoretic forcing to prove that a generic countable torsion-free group does not admit any nontrivial locally moving action on a Hausdorff topological space, and yet admits a rich Rubin poset. △ Less

Submitted 14 March, 2025; originally announced March 2025.

Comments: 10 pages

Locally approximating groups of homeomorphisms of manifolds

Authors: Thomas Koberda, J. de la Nuez González

Abstract: Let $M$ be a compact, connected manifold of positive dimension and let $\mathcal G\leq\textrm{Homeo}(M)$ be \emph{locally approximating} in the sense that for all open $U\subseteq M$ compactly contained in a single Euclidean chart of $M$, the subgroup $\mathcal G[U]$ consisting of elements of $\mathcal G$ supported in $U$ is dense in the full group of homeomorphisms supported in $U$. We prove that… ▽ More Let $M$ be a compact, connected manifold of positive dimension and let $\mathcal G\leq\textrm{Homeo}(M)$ be \emph{locally approximating} in the sense that for all open $U\subseteq M$ compactly contained in a single Euclidean chart of $M$, the subgroup $\mathcal G[U]$ consisting of elements of $\mathcal G$ supported in $U$ is dense in the full group of homeomorphisms supported in $U$. We prove that $\mathcal G$ interprets first order arithmetic, as well as a first order predicate that encodes membership in finitely generated subgroups of $\mathcal G$. As a consequence, we show that if $\mathcal G$ is not finitely generated, then no group elementarily equivalent to $\mathcal G$ can be finitely generated. We show that many finitely generated locally approximating groups of homeomorphisms $\mathcal G$ of a manifold are prime models of their theories, and give conditions that guarantee any finitely presented group $G$ that is elementarily equivalent to $\mathcal G$ is isomorphic to $\mathcal G$. We thus recover some results of Lasserre about the model theory of Thompson's groups $F$ and $T$. Finally, we obtain several action rigidity result for locally approximating groups of homeomorphisms. If $\mathcal G$ acts in a locally approximating way on a compact, connected manifold $M$ then the dimension of $M$ is uniquely determined by the elementary equivalence class of $\mathcal G$. Moreover, if $\dim M\leq 3$ then $M$ is uniquely determined up to homeomorphism. In for general closed smooth manifolds, the homotopy type of $M$ is uniquely determined. In this way, we obtain a generalization of a well-known result of Rubin. △ Less

Submitted 11 November, 2024; v1 submitted 21 October, 2024; originally announced October 2024.

Comments: 70 pages, minor updates, submitted version

Uniform first order interpretation of the second order theory of countable groups of homeomorphisms

Authors: Thomas Koberda, J. de la Nuez González

Abstract: We show that the first order theory of the homeomorphism group of a compact manifold interprets the full second order theory of countable groups of homeomorphisms of the manifold. The interpretation is uniform across manifolds of bounded dimension. As a consequence, many classical problems in group theory and geometry (e.g.~the linearity of mapping classes of compact $2$--manifolds) are encoded as… ▽ More We show that the first order theory of the homeomorphism group of a compact manifold interprets the full second order theory of countable groups of homeomorphisms of the manifold. The interpretation is uniform across manifolds of bounded dimension. As a consequence, many classical problems in group theory and geometry (e.g.~the linearity of mapping classes of compact $2$--manifolds) are encoded as elementary properties homeomorphism groups of manifolds. Furthermore, the homeomorphism group interprets the Borel and projective hierarchies of the homeomorphism group. Finally, we show that the collection of sentences that isolate the homeomorphism group of a particular manifold, or that isolate the homeomorphism groups of manifolds in general, is not definable in arithmetic, and that membership of particular sentences in these collections cannot be proved in ZFC. △ Less

Submitted 6 February, 2024; v1 submitted 26 December, 2023; originally announced December 2023.

Comments: 32 pages, submitted version

Right-angled Artin groups and the cohomology basis graph

Authors: Ramón Flores, Delaram Kahrobaei, Thomas Koberda, Corentin Le Coz

Abstract: Let $Γ$ be a finite graph and let $A(Γ)$ be the corresponding right-angled Artin group. From an arbitrary basis $\mathcal B$ of $H^1(A(Γ),\mathbb F)$ over an arbitrary field, we construct a natural graph $Γ_{\mathcal B}$ from the cup product, called the \emph{cohomology basis graph}. We show that $Γ_{\mathcal B}$ always contains $Γ$ as a subgraph. This provides an effective way to reconstruct the… ▽ More Let $Γ$ be a finite graph and let $A(Γ)$ be the corresponding right-angled Artin group. From an arbitrary basis $\mathcal B$ of $H^1(A(Γ),\mathbb F)$ over an arbitrary field, we construct a natural graph $Γ_{\mathcal B}$ from the cup product, called the \emph{cohomology basis graph}. We show that $Γ_{\mathcal B}$ always contains $Γ$ as a subgraph. This provides an effective way to reconstruct the defining graph $Γ$ from the cohomology of $A(Γ)$, to characterize the planarity of the defining graph from the algebra of $A(Γ)$, and to recover many other natural graph-theoretic invariants. We also investigate the behavior of the cohomology basis graph under passage to elementary subminors, and show that it is not well-behaved under edge contraction. △ Less

Submitted 1 July, 2024; v1 submitted 11 September, 2023; originally announced September 2023.

Comments: 18 pages, to appear in Proc. Edinburgh Math. Soc

First order rigidity of homeomorphism groups of manifolds

Authors: Sang-hyun Kim, Thomas Koberda, J. de la Nuez González

Abstract: For every compact, connected manifold $M$, we prove the existence of a sentence $φ_M$ in the language of groups such that the homeomorphism group of another compact manifold $N$ satisfies $φ_M$ if and only if $N$ is homeomorphic to $M$. We prove the analogous statement for groups of homeomorphisms preserving an Oxtoby--Ulam probability measure. For every compact, connected manifold $M$, we prove the existence of a sentence $φ_M$ in the language of groups such that the homeomorphism group of another compact manifold $N$ satisfies $φ_M$ if and only if $N$ is homeomorphic to $M$. We prove the analogous statement for groups of homeomorphisms preserving an Oxtoby--Ulam probability measure. △ Less

Submitted 11 March, 2025; v1 submitted 2 February, 2023; originally announced February 2023.

Comments: 60 pages. To appear in Communications of the AMS

Post-quantum hash functions using $\mathrm{SL}_n(\mathbb{F}_p)$

Authors: Corentin Le Coz, Christopher Battarbee, Ramón Flores, Thomas Koberda, Delaram Kahrobaei

Abstract: We define new families of Tillich-Zémor hash functions, using higher dimensional special linear groups over finite fields as platforms. The Cayley graphs of these groups combine fast mixing properties and high girth, which together give rise to good preimage and collision resistance of the corresponding hash functions. We justify the claim that the resulting hash functions are post-quantum secure. We define new families of Tillich-Zémor hash functions, using higher dimensional special linear groups over finite fields as platforms. The Cayley graphs of these groups combine fast mixing properties and high girth, which together give rise to good preimage and collision resistance of the corresponding hash functions. We justify the claim that the resulting hash functions are post-quantum secure. △ Less

Submitted 22 August, 2024; v1 submitted 8 July, 2022; originally announced July 2022.

Comments: 18 pages, an appendix with a python/sage implementation of the hash functions

Structure and regularity of group actions on one-manifolds

Authors: Sang-hyun Kim, Thomas Koberda

Abstract: In this monograph, we give an account of the relationship between the algebraic structure of finitely generated and countable groups and the regularity with which they act on manifolds. We concentrate on the case of one--dimensional manifolds, culminating with a uniform construction of finitely generated groups acting with prescribed regularity on the compact interval and on the circle. We develop… ▽ More In this monograph, we give an account of the relationship between the algebraic structure of finitely generated and countable groups and the regularity with which they act on manifolds. We concentrate on the case of one--dimensional manifolds, culminating with a uniform construction of finitely generated groups acting with prescribed regularity on the compact interval and on the circle. We develop the theory of dynamical obstructions to smoothness, beginning with classical results of Denjoy, to more recent results of Kopell, and to modern results such as the $abt$--Lemma. We give a classification of the right-angled Artin groups that have finite critical regularity and discuss their exact critical regularities in many cases, and we compute the virtual critical regularity of most mapping class groups of orientable surfaces. △ Less

Submitted 29 June, 2021; originally announced June 2021.

Comments: 291 pages, several figures

Virtual critical regularity of mapping class group actions on the circle

Authors: Sang-hyun Kim, Thomas Koberda, Cristóbal Rivas

Abstract: We show that if $G_1$ and $G_2$ are non-solvable groups, then no $C^{1,τ}$ action of $(G_1\times G_2)*\mathbb{Z}$ on $S^1$ 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 $\mathrm{Mod}(S)$ with respect to the circle is at most one, thus strengthening a r… ▽ More We show that if $G_1$ and $G_2$ are non-solvable groups, then no $C^{1,τ}$ action of $(G_1\times G_2)*\mathbb{Z}$ on $S^1$ 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 $\mathrm{Mod}(S)$ with respect to the circle is at most one, thus strengthening a result of the first two authors with Baik. △ Less

Submitted 19 January, 2022; v1 submitted 30 April, 2021; originally announced April 2021.

Comments: 11 pages, to appear in Transformation Groups

Geometry and combinatorics via right-angled Artin groups

Authors: Thomas Koberda

Abstract: We survey the relationship between the combinatorics and geometry of graphs and the algebraic structure of right-angled Artin groups. We concentrate on the defining graph of the right-angled Artin group and on the extension graph associated to the right-angled Artin group. Additionally, we discuss connections to geometric group theory and complexity theory. The final version of this survey will ap… ▽ More We survey the relationship between the combinatorics and geometry of graphs and the algebraic structure of right-angled Artin groups. We concentrate on the defining graph of the right-angled Artin group and on the extension graph associated to the right-angled Artin group. Additionally, we discuss connections to geometric group theory and complexity theory. The final version of this survey will appear in "In the tradition of Thurston, vol.~II", ed.~K.~Ohshika and A.~Papadopoulos. △ Less

Submitted 30 April, 2021; v1 submitted 16 March, 2021; originally announced March 2021.

Comments: 47 pages, expanded exposition, some minor corrections and added references

Hamiltonicity via cohomology of right-angled Artin groups

Authors: Ramón Flores, Delaram Kahrobaei, Thomas Koberda

Abstract: Let $Γ$ be a finite graph and let $A(Γ)$ be the corresponding right-angled Artin group. We characterize the Hamiltonicity of $Γ$ via the structure of the cohomology algebra of $A(Γ)$. In doing so, we define and develop a new canonical graph associated to a matrix, which as a consequence provides a novel perspective on the matrix determinant. Let $Γ$ be a finite graph and let $A(Γ)$ be the corresponding right-angled Artin group. We characterize the Hamiltonicity of $Γ$ via the structure of the cohomology algebra of $A(Γ)$. In doing so, we define and develop a new canonical graph associated to a matrix, which as a consequence provides a novel perspective on the matrix determinant. △ Less

Submitted 24 August, 2021; v1 submitted 25 January, 2021; originally announced January 2021.

Comments: 14 pages. To appear in Linear Algebra and its Applications

Direct products, overlapping actions, and critical regularity

Authors: Sang-hyun Kim, Thomas Koberda, Cristóbal Rivas

Abstract: We address the problem of computing the critical regularity of groups of homeomorphisms of the interval. Our main result is that if $H$ and $K$ are two non-solvable groups then a faithful $C^{1,τ}$ action of $H\times K$ on a compact interval $I$ is {\em not overlapping} for all $τ>0$, which by definition means that there must be non-trivial $h\in H$ and $k\in K$ with disjoint support. As a corolla… ▽ More We address the problem of computing the critical regularity of groups of homeomorphisms of the interval. Our main result is that if $H$ and $K$ are two non-solvable groups then a faithful $C^{1,τ}$ action of $H\times K$ on a compact interval $I$ is {\em not overlapping} for all $τ>0$, which by definition means that there must be non-trivial $h\in H$ and $k\in K$ with disjoint support. As a corollary we prove that the right-angled Artin group $(F_2\times F_2)*\mathbb{Z}$ has critical regularity one, which is to say that it admits a faithful $C^1$ action on $I$, but no faithful $C^{1,τ}$ action. This is the first explicit example of a group of exponential growth which is without nonabelian subexponential growth subgroups, whose critical regularity is finite, achieved, and known exactly. Another corollary we get is that Thompson's group $F$ does not admit a faithful $C^1$ overlapping action on $I$, so that $F*\mathbb{Z}$ is a new example of a locally indicable group admitting no faithful $C^1$--action on $I$. △ Less

Submitted 6 April, 2021; v1 submitted 12 October, 2020; originally announced October 2020.

Comments: 22 pages, to appear in J. Mod. Dyn

The model theory of the curve graph

Authors: Valentina Disarlo, Thomas Koberda, J. de la Nuez González

Abstract: In this paper we develop a bridge between model theory, geometric topology, and geometric group theory. In particular, we investigate the Ivanov Metaconjecture from the point of view of model theory, and more broadly we seek to answer the general question: why does the curve graph of a surface play such a central role in the study of surfaces and mapping class groups? More specifically, we consi… ▽ More In this paper we develop a bridge between model theory, geometric topology, and geometric group theory. In particular, we investigate the Ivanov Metaconjecture from the point of view of model theory, and more broadly we seek to answer the general question: why does the curve graph of a surface play such a central role in the study of surfaces and mapping class groups? More specifically, we consider a surface $Σ$ of finite type and its curve graph $\mathcal C(Σ)$, and we investigate its first-order theory in the language of graph theory. Crucially, $\mathcal C(Σ)$ is bi-interpretable with a certain object called the augmented Cayley graph of the mapping class group of the surface. We use this bi-interpretation to prove that the theory of the curve graph is $ω$--stable, to compute its Morley rank, and to show that it has quantifier elimination with respect to the class of $\forall\exists$--formulae. We also show that many of the complexes which are naturally associated to a surface are interpretable in $\mathcal C(Σ)$. This shows that these complexes are all $ω$--stable and admit certain a priori bounds on their Morley ranks. We are able to use Morley ranks to prove that various complexes are not bi--interpretable with the curve graph. As a consequence of quantifier elimination, we show that algebraic intersection number is not definable in the first order theory of the curve graph. Finally, we prove that the curve graph of a surface enjoys a novel phenomenon that we call interpretation rigidity. That is, if surfaces $Σ_1$ and $Σ_2$ admits curve graphs that are mutually interpretable, then $Σ_1$ and $Σ_2$ are homeomorphic to each other. Along the way, numerous technical results are obtained. △ Less

Submitted 9 June, 2023; v1 submitted 24 August, 2020; originally announced August 2020.

Comments: 130 pages, minor updates and improvements to exposition, corrections to figures

Shapes of hyperbolic triangles and once-punctured torus groups

Authors: Sang-hyun Kim, Thomas Koberda, Jaejeong Lee, Ken'ichi Ohshika, Ser Peow Tan, with an appendix by Xinghua Gao

Abstract: Let $Δ$ be a hyperbolic triangle with a fixed area $\varphi$. We prove that for all but countably many $\varphi$, generic choices of $Δ$ have the property that the group generated by the $π$--rotations about the midpoints of the sides of the triangle admits no nontrivial relations. By contrast, we show for all $\varphi\in(0,π)\setminus\mathbb{Q}π$, a dense set of triangles does afford nontrivial r… ▽ More Let $Δ$ be a hyperbolic triangle with a fixed area $\varphi$. We prove that for all but countably many $\varphi$, generic choices of $Δ$ have the property that the group generated by the $π$--rotations about the midpoints of the sides of the triangle admits no nontrivial relations. By contrast, we show for all $\varphi\in(0,π)\setminus\mathbb{Q}π$, a dense set of triangles does afford nontrivial relations, which in the generic case map to hyperbolic translations. To establish this fact, we study the deformation space $\mathfrak{C}_θ$ of singular hyperbolic metrics on a torus with a single cone point of angle $θ=2(π-\varphi)$, and answer an analogous question for the holonomy map $ρ_ξ$ of such a hyperbolic structure $ξ$. In an appendix by X.~Gao, concrete examples of $θ$ and $ξ\in\mathfrak{C}_θ$ are given where the image of each $ρ_ξ$ is finitely presented, non-free and torsion-free; in fact, those images will be isomorphic to the fundamental groups of closed hyperbolic 3--manifolds. △ Less

Submitted 1 April, 2021; v1 submitted 3 June, 2020; originally announced June 2020.

Comments: 32 pages. To appear in Math. Z

Expanders and right-angled Artin groups

Authors: Ramón Flores, Delaram Kahrobaei, Thomas Koberda

Abstract: The purpose of this article is to give a characterization of families of expander graphs via right-angled Artin groups. We prove that a sequence of simplicial graphs $\{Γ_i\}_{i\in\mathbb{N}}$ forms a family of expander graphs if and only if a certain natural mini-max invariant arising from the cup product in the cohomology rings of the groups $\{A(Γ_i)\}_{i\in\mathbb{N}}$ agrees with the Cheeger… ▽ More The purpose of this article is to give a characterization of families of expander graphs via right-angled Artin groups. We prove that a sequence of simplicial graphs $\{Γ_i\}_{i\in\mathbb{N}}$ forms a family of expander graphs if and only if a certain natural mini-max invariant arising from the cup product in the cohomology rings of the groups $\{A(Γ_i)\}_{i\in\mathbb{N}}$ agrees with the Cheeger constant of the sequence of graphs, thus allowing us to characterize expander graphs via cohomology. This result is proved in the more general framework of \emph{vector space expanders}, a novel structure consisting of sequences of vector spaces equipped with vector-space-valued bilinear pairings which satisfy a certain mini-max condition. These objects can be considered to be analogues of expander graphs in the realm of linear algebra, with a dictionary being given by the cup product in cohomology, and in this context represent a different approach to expanders that those developed by Lubotzky-Zelmanov and Bourgain-Yehudayoff. △ Less

Submitted 8 October, 2021; v1 submitted 13 May, 2020; originally announced May 2020.

Comments: 21 pages. Accepted version. To appear in J. Topol. Anal

An algebraic characterization of $k$--colorability

Authors: Ramón Flores, Delaram Kahrobaei, Thomas Koberda

Abstract: We characterize $k$--colorability of a simplicial graph via the intrinsic algebraic structure of the associated right-angled Artin group. As a consequence, we show that a certain problem about the existence of homomorphisms from right-angled Artin groups to products of free groups is NP--complete. We characterize $k$--colorability of a simplicial graph via the intrinsic algebraic structure of the associated right-angled Artin group. As a consequence, we show that a certain problem about the existence of homomorphisms from right-angled Artin groups to products of free groups is NP--complete. △ Less

Submitted 28 September, 2020; v1 submitted 3 March, 2020; originally announced March 2020.

Comments: 7 pages, to appear in Proc. Amer. Math. Soc

Small $C^1$ actions of semidirect products on compact manifolds

Authors: Christian Bonatti, Sang-hyun Kim, Thomas Koberda, Michele Triestino

Abstract: Let $T$ be a compact fibered $3$--manifold, presented as a mapping torus of a compact, orientable surface $S$ with monodromy $ψ$, and let $M$ be a compact Riemannian manifold. Our main result is that if the induced action $ψ^*$ on $H^1(S,\mathbb{R})$ has no eigenvalues on the unit circle, then there exists a neighborhood $\mathcal U$ of the trivial action in the space of $C^1$ actions of $π_1(T)$… ▽ More Let $T$ be a compact fibered $3$--manifold, presented as a mapping torus of a compact, orientable surface $S$ with monodromy $ψ$, and let $M$ be a compact Riemannian manifold. Our main result is that if the induced action $ψ^*$ on $H^1(S,\mathbb{R})$ has no eigenvalues on the unit circle, then there exists a neighborhood $\mathcal U$ of the trivial action in the space of $C^1$ actions of $π_1(T)$ on $M$ such that any action in $\mathcal{U}$ is abelian. We will prove that the same result holds in the generality of an infinite cyclic extension of an arbitrary finitely generated group $H$, provided that the conjugation action of the cyclic group on $H^1(H,\mathbb{R})\neq 0$ has no eigenvalues of modulus one. We thus generalize a result of A. McCarthy, which addressed the case of abelian--by--cyclic groups acting on compact manifolds. △ Less

Submitted 8 March, 2020; v1 submitted 10 October, 2019; originally announced October 2019.

Comments: 11 pages; final version to appear in Algebraic & Geometric Topology

MSC Class: Primary 37C85. Secondary 20E22; 57K32

Journal ref: Algebr. Geom. Topol. 20 (2020) 3183-3203

Integrability of moduli and regularity of Denjoy counterexamples

Authors: Sang-hyun Kim, Thomas Koberda

Abstract: We study the regularity of exceptional actions of groups by $C^{1,α}$ 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 $C^{1,α}$ action $ρ$ with a free orbit on the circle, and such that the logarithms of derivatives o… ▽ More We study the regularity of exceptional actions of groups by $C^{1,α}$ 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 $C^{1,α}$ 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 $c n^{d-1}$ and if the function $1/α^d$ is integrable near zero, then under some mild technical assumptions on $α$, there is a sequence of exceptional $C^{1,α}$ actions of $G$ which converge to $ρ$ in the $C^1$ topology. As a consequence for a single diffeomorphism, we obtain that if the function $1/α$ is integrable near zero, then there exists a $C^{1,α}$ 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 $C^1$ diffeomorphisms of the circle. △ Less

Submitted 6 May, 2020; v1 submitted 18 August, 2019; originally announced August 2019.

Comments: 34 pages. To appear in Discrete and Continuous Dynamical Systems

A cryptographic application of the Thurston norm

Authors: Ramon Flores, Delaram Kahrobaei, Thomas Koberda

Abstract: 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. 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. △ Less

Submitted 13 January, 2020; v1 submitted 9 August, 2019; originally announced August 2019.

Comments: 13 pages. To appear in International Journal of Computer Mathematics: Computer Systems Theory

MSC Class: 57M50

Commensurators of thin normal subgroups and abelian quotients

Authors: Thomas Koberda, Mahan Mj

Abstract: We give an affirmative answer to many cases of a question due to Shalom, which asks if the commensurator of a thin subgroup of a Lie group is discrete. In this paper, let $K<Γ<G$ be an infinite normal subgroup of an arithmetic lattice $Γ$ in a rank one simple Lie group $G$, such that the quotient $Q=Γ/K$ is infinite. We show that the commensurator of $K$ in $G$ is discrete, provided that $Q$ admit… ▽ More We give an affirmative answer to many cases of a question due to Shalom, which asks if the commensurator of a thin subgroup of a Lie group is discrete. In this paper, let $K<Γ<G$ be an infinite normal subgroup of an arithmetic lattice $Γ$ in a rank one simple Lie group $G$, such that the quotient $Q=Γ/K$ is infinite. We show that the commensurator of $K$ in $G$ is discrete, provided that $Q$ admits a surjective homomorphism to $\mathbb{Z}$. In this case, we also show that the commensurator of $K$ contains the normalizer of $K$ with finite index. We thus vastly generalize a result of the authors, which showed that many natural normal subgroups of $\mathrm{PSL}_2(\mathbb{Z})$ have discrete commensurator in $\mathrm{PSL}_2(\mathbb{R})$. △ Less

Submitted 13 May, 2023; v1 submitted 9 July, 2019; originally announced July 2019.

Comments: 19 pages. Accepted version. To appear in Alg. Geom. Topol

Report number: BCSim-2019-s11 MSC Class: 22E40 (Primary); 20F65; 20F67; 57M50

Journal ref: Algebr. Geom. Topol. 24 (2024) 2149-2170

Algebraic Structure of Diffeomorphism Groups of One-Manifolds

Authors: Jaewon Chang, Sang-hyun Kim, Thomas Koberda

Abstract: It is a celebrated result of Mather that the group of $C^k$--diffeomorphisms of an $n$--manifold is simple, provided that a mild isotopy condition is satisfied, with the possible exception of $k=n+1$. The purpose of this article is mostly expository, and in it we give a detailed account of Mather's proof in the case when $n=1$. It is a celebrated result of Mather that the group of $C^k$--diffeomorphisms of an $n$--manifold is simple, provided that a mild isotopy condition is satisfied, with the possible exception of $k=n+1$. The purpose of this article is mostly expository, and in it we give a detailed account of Mather's proof in the case when $n=1$. △ Less

Submitted 18 April, 2019; originally announced April 2019.

Comments: 48 pages

An effective Lie--Kolchin theorem for quasi-unipotent matrices

Authors: Thomas Koberda, Feng Luo, Hongbin Sun

Abstract: We establish an effective version of the classical Lie--Kolchin Theorem. Namely, let $A,B\in\mathrm{GL}_m(\mathbb{C})$ be quasi--unipotent matrices such that the Jordan Canonical Form of $B$ consists of a single block, and suppose that for all $k\geq0$ the matrix $AB^k$ is also quasi--unipotent. Then $A$ and $B$ have a common eigenvector. In particular,… ▽ More We establish an effective version of the classical Lie--Kolchin Theorem. Namely, let $A,B\in\mathrm{GL}_m(\mathbb{C})$ be quasi--unipotent matrices such that the Jordan Canonical Form of $B$ consists of a single block, and suppose that for all $k\geq0$ the matrix $AB^k$ is also quasi--unipotent. Then $A$ and $B$ have a common eigenvector. In particular, $\langle A,B\rangle<\mathrm{GL}_m(\mathbb{C})$ is a solvable subgroup. We give applications of this result to the representation theory of mapping class groups of orientable surfaces. △ Less

Submitted 29 July, 2019; v1 submitted 1 April, 2019; originally announced April 2019.

Comments: 19 pages

Journal ref: Linear Algebra and its Applications 581 (2019) 304-323

Non-freeness of groups generated by two parabolic elements with small rational parameters

Authors: Sang-hyun Kim, Thomas Koberda

Abstract: Let $q\in\mathbb{C}$, let \[a=\begin{pmatrix} 1&0\\1&1\end{pmatrix},\quad b_q=\begin{pmatrix} 1&q\\0&1\end{pmatrix},\] and let $G_q<\mathrm{SL}_2(\mathbb{C})$ be the group generated by $a$ and $b_q$. In this paper, we study the problem of determining when the group $G_q$ is not free for $|q|<4$ rational. We give a robust computational criterion which allows us to prove that if $q=s/r$ for… ▽ More Let $q\in\mathbb{C}$, let \[a=\begin{pmatrix} 1&0\\1&1\end{pmatrix},\quad b_q=\begin{pmatrix} 1&q\\0&1\end{pmatrix},\] and let $G_q<\mathrm{SL}_2(\mathbb{C})$ be the group generated by $a$ and $b_q$. In this paper, we study the problem of determining when the group $G_q$ 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|\leq 27$ then $G_q$ is non-free, with the possible exception of $s=24$. In this latter case, we prove that the set of denominators $r\in\mathbb{N}$ for which $G_{24/r}$ is non-free has natural density $1$. For a general numerator $s>27$, we prove that the lower density of denominators $r\in \mathbb{N}$ for which $G_{s/r}$ is non-free has a lower bound \[ 1- \left(1-\frac{11}{s}\right) \prod_{n=1}^\infty \left(1-\frac{4}{s^{2^n-1}}\right). \] Finally, we show that for a fixed $s$, there are arbitrarily long sequences of consecutive denominators $r$ such that $G_{s/r}$ is non-free. The proofs of some of the results are computer assisted, and Mathematica code has been provided together with suitable documentation. △ Less

Submitted 14 April, 2020; v1 submitted 18 January, 2019; originally announced January 2019.

Comments: 26 pages. To appear in the Michigan Mathematical Journal

Commutators, commensurators, and $\mathrm{PSL}_2(\mathbb{Z})$

Authors: Thomas Koberda, Mahan Mj

Abstract: Let $H<\mathrm{PSL}_2(\mathbb{Z})$ be a finite index normal subgroup which is contained in a principal congruence subgroup, and let $Φ(H)\neq H$ denote a term of the lower central series or the derived series of $H$. In this paper, we prove that the commensurator of $Φ(H)$ in $\mathrm{PSL}_2(\mathbb{R})$ is discrete. We thus obtain a natural family of thin subgroups of… ▽ More Let $H<\mathrm{PSL}_2(\mathbb{Z})$ be a finite index normal subgroup which is contained in a principal congruence subgroup, and let $Φ(H)\neq H$ denote a term of the lower central series or the derived series of $H$. In this paper, we prove that the commensurator of $Φ(H)$ in $\mathrm{PSL}_2(\mathbb{R})$ is discrete. We thus obtain a natural family of thin subgroups of $\mathrm{PSL}_2(\mathbb{R})$ whose commensurators are discrete, establishing some cases of a conjecture of Shalom. △ Less

Submitted 10 June, 2021; v1 submitted 26 October, 2018; originally announced October 2018.

Comments: 20 pages, appendix removed. To appear in the Journal of Topology

Algorithmic problems in right-angled Artin groups: complexity and applications

Authors: Ramón Flores, Delaram Kahrobaei, Thomas Koberda

Abstract: In this paper we consider several classical and novel algorithmic problems for right-angled Artin groups, some of which are closely related to graph theoretic problems, and study their computational complexity. We study these problems with a view towards applications to cryptography. In this paper we consider several classical and novel algorithmic problems for right-angled Artin groups, some of which are closely related to graph theoretic problems, and study their computational complexity. We study these problems with a view towards applications to cryptography. △ Less

Submitted 31 October, 2018; v1 submitted 13 February, 2018; originally announced February 2018.

Comments: 16 pages

MSC Class: 20F36

Diffeomorphism groups of critical regularity

Authors: Sang-hyun Kim, Thomas Koberda

Abstract: Let $M$ be the circle or a compact interval, and let $α=k+τ\ge1$ be a real number such that $k=\lfloor α\rfloor$. We write $\mathrm{Diff}_+^α(M)$ for the group of $C^k$ diffeomorphisms of $M$ whose $k^{th}$ derivatives are Hölder continuous with exponent $τ$. If $α\ge1$, we prove that there exists a finitely generated subgroup $G_α\le\mathrm{Diff}_+^α(M)$ with the property that $G_α$ admits no inj… ▽ More Let $M$ be the circle or a compact interval, and let $α=k+τ\ge1$ be a real number such that $k=\lfloor α\rfloor$. We write $\mathrm{Diff}_+^α(M)$ for the group of $C^k$ diffeomorphisms of $M$ whose $k^{th}$ derivatives are Hölder continuous with exponent $τ$. If $α\ge1$, we prove that there exists a finitely generated subgroup $G_α\le\mathrm{Diff}_+^α(M)$ with the property that $G_α$ admits no injective homomorphisms into $\mathrm{Diff}_+^β(M)$ for all $β>α$. If $α>1$, we also show the dual result: there exists a finitely generated group $H_α\le\bigcap_{β<α}\mathrm{Diff}_+^β(M)$ with the property that $H_α$ admits no injective homomorphisms into $\mathrm{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\leα<β$ we have a continuum of isomorphism types of finitely generated subgroups of $\mathrm{Diff}_+^α(M)$ whose images under arbitrary homomorphisms to $\mathrm{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\neq 2$ is an integer and if $k<β$ then there is no nontrivial homomorphism $\mathrm{Diff}_+^k(S^1)\to\mathrm{Diff}_+^β(S^1)$. △ Less

Submitted 29 January, 2020; v1 submitted 15 November, 2017; originally announced November 2017.

Comments: 70 pages. To appear in Inventiones mathematicae

Finite subgraphs of an extension graph

Authors: Sang-hyun Kim, Thomas Koberda, Juyoung Lee

Abstract: Let $Γ$ be a finite graph and let $Γ^{\mathrm{e}}$ be its extension graph. We inductively define a sequence $\{Γ_i\}$ of finite induced subgraphs of $Γ^{\mathrm{e}}$ through successive applications of an operation called "doubling along a star". Then we show that every finite induced subgraph of $Γ^{\mathrm{e}}$ is isomorphic to an induced subgraph of some $Γ_i$. Let $Γ$ be a finite graph and let $Γ^{\mathrm{e}}$ be its extension graph. We inductively define a sequence $\{Γ_i\}$ of finite induced subgraphs of $Γ^{\mathrm{e}}$ through successive applications of an operation called "doubling along a star". Then we show that every finite induced subgraph of $Γ^{\mathrm{e}}$ is isomorphic to an induced subgraph of some $Γ_i$. △ Less

Submitted 7 August, 2017; originally announced August 2017.

Comments: 8 pages. This note serves as an appendix to the first two authors' paper "Embeddability between right-angled Artin groups" (Geom. Topol. 17 (2013), 493-530) which strengthens and fills in the omitted details of Lemma 3.1 of that paper

Free products and the algebraic structure of diffeomorphism groups

Authors: Sang-hyun Kim, Thomas Koberda

Abstract: Let $M$ be a compact one--manifold, and let $\mathrm{Diff}^{1+\mathrm{bv}}(M)$ denote the group of $C^1$ orientation preserving diffeomorphisms of $M$ whose first derivatives have bounded variation. We prove that if $G$ is a group which is not virtually metabelian, then $(G\times\mathbb{Z})*\mathbb{Z}$ is not realized as a subgroup of $\mathrm{Diff}^{1+\mathrm{bv}}(M)$. This gives the first exampl… ▽ More Let $M$ be a compact one--manifold, and let $\mathrm{Diff}^{1+\mathrm{bv}}(M)$ denote the group of $C^1$ orientation preserving diffeomorphisms of $M$ whose first derivatives have bounded variation. We prove that if $G$ is a group which is not virtually metabelian, then $(G\times\mathbb{Z})*\mathbb{Z}$ is not realized as a subgroup of $\mathrm{Diff}^{1+\mathrm{bv}}(M)$. This gives the first examples of finitely generated groups $G,H\le \mathrm{Diff}_+^\infty(M)$ such that $G\ast H$ does not embed into $\mathrm{Diff}^{1+\mathrm{bv}}(M)$. By contrast, for all countable groups $G,H\le\mathrm{Homeo}^+(M)$ there exists an embedding $G\ast H\to \mathrm{Homeo}^+(M)$. We deduce that many common groups of homeomorphisms do not embed into $\mathrm{Diff}^{1+\mathrm{bv}}(M)$, for example the free product of $\mathbb{Z}$ with Thompson's group $F$. We also complete the classification of right-angled Artin groups which can act smoothly on $M$ and in particular, recover the main result of a joint work of the authors with Baik. Namely, a right-angled Artin group $A(Γ)$ either admits a faithful $C^{\infty}$ action on $M$, or $A(Γ)$ admits no faithful $C^{1+\mathrm{bv}}$ action on $M$. In the former case, $A(Γ)\cong\prod_i G_i$ where $G_i$ is a free product of free abelian groups. Finally, we develop a hierarchy of right-angled Artin groups, with the levels of the hierarchy corresponding to the number of semi-conjugacy classes of possible actions of these groups on $S^1$. △ Less

Submitted 7 August, 2018; v1 submitted 19 July, 2017; originally announced July 2017.

Comments: 28 pages. To appear in the Journal of Topology

Actions of right-angled Artin groups in low dimensions

Authors: Thomas Koberda

Abstract: We survey the role of right-angled Artin groups in the theory of diffeomorphism groups of low dimensional manifolds. We first describe some of the subgroup structure of right-angled Artin groups. We then discuss the interplay between algebraic structure, compactness, and regularity for group actions on one--dimensional manifolds. For compact one--manifolds, every right-angled Artin group acts fait… ▽ More We survey the role of right-angled Artin groups in the theory of diffeomorphism groups of low dimensional manifolds. We first describe some of the subgroup structure of right-angled Artin groups. We then discuss the interplay between algebraic structure, compactness, and regularity for group actions on one--dimensional manifolds. For compact one--manifolds, every right-angled Artin group acts faithfully by $C^1$ diffeomorphisms, but the right-angled Artin groups which act faithfully by $C^2$ diffeomorphisms are very restricted. For the real line, every right-angled Artin group acts faithfully by $C^{\infty}$ diffeomorphisms, though analytic actions are again more limited. In dimensions two and higher, every right-angled Artin group acts faithfully on every manifold by $C^{\infty}$ diffeomorphisms. We give applications of this discussion to mapping class groups of surfaces and related groups. △ Less

Submitted 19 July, 2017; originally announced July 2017.

Comments: 33 pages. Handbook of Group Actions (ed. L. Ji, A. Papadopoulos, and S.-T. Yau), International Press and Higher Education Press, to appear

Two-chains and square roots of Thompson's group $F$

Authors: Thomas Koberda, Yash Lodha

Abstract: We study two--generated subgroups $\langle f,g\rangle<\mathrm{Homeo}^+(I)$ such that $\langle f^2,g^2\rangle$ is isomorphic to Thompson's group $F$, and such that the supports of $f$ and $g$ form a chain of two intervals. We show that this class contains uncountably many isomorphism types. These include examples with nonabelian free subgroups, examples which do not admit faithful actions by $C^2$… ▽ More We study two--generated subgroups $\langle f,g\rangle<\mathrm{Homeo}^+(I)$ such that $\langle f^2,g^2\rangle$ is isomorphic to Thompson's group $F$, and such that the supports of $f$ and $g$ form a chain of two intervals. We show that this class contains uncountably many isomorphism types. These include examples with nonabelian free subgroups, examples which do not admit faithful actions by $C^2$ diffeomorphisms on $1$--manifolds, examples which do not admit faithful actions by $PL$ homeomorphisms on an interval, and examples which are not finitely presented. We thus answer questions due to M. Brin. We also show that many relatively uncomplicated groups of homeomorphisms can have very complicated square roots, thus establishing the behavior of square roots of $F$ as part of a general phenomenon among subgroups of $\mathrm{Homeo}^+(I)$. △ Less

Submitted 23 January, 2019; v1 submitted 10 April, 2017; originally announced April 2017.

Comments: 20 pages. Revised according to referee report. To appear in Ergodic Theory Dynam. Systems

Representations of surface groups with finite mapping class group orbits

Authors: Indranil Biswas, Thomas Koberda, Mahan Mj, Ramanujan Santharoubane

Abstract: Let $(S,\, \ast)$ be a closed oriented surface with a marked point, let $G$ be a fixed group, and let $ρ\colonπ_1(S) \longrightarrow G$ be a representation such that the orbit of $ρ$ under the action of the mapping class group $Mod(S,\, \ast)$ is finite. We prove that the image of $ρ$ is finite. A similar result holds if $π_1(S)$ is replaced by the free group $F_n$ on $n\geq 2$ generators and wher… ▽ More Let $(S,\, \ast)$ be a closed oriented surface with a marked point, let $G$ be a fixed group, and let $ρ\colonπ_1(S) \longrightarrow G$ be a representation such that the orbit of $ρ$ under the action of the mapping class group $Mod(S,\, \ast)$ is finite. We prove that the image of $ρ$ is finite. A similar result holds if $π_1(S)$ is replaced by the free group $F_n$ on $n\geq 2$ generators and where $Mod(S,\, \ast)$ is replaced by $Aut(F_n)$. We thus resolve a well-known question of M. Kisin. We show that if $G$ is a linear algebraic group and if the representation variety of $π_1(S)$ is replaced by the character variety, then there are infinite image representations which are fixed by the whole mapping class group. △ Less

Submitted 12 February, 2017; originally announced February 2017.

Comments: 6 pgs no figs

MSC Class: Primary: 57M50; Secondary: 57M05; 20E36; 20F29

Irreducibility of quantum representations of mapping class groups with boundary

Authors: Thomas Koberda, Ramanujan Santharoubane

Abstract: We prove that the Witten--Reshetikhin--Turaev $\mathrm{SU}(2)$ quantum representations of mapping class groups are always irreducible in the case of surfaces equipped with colored banded points, provided that at least one banded point is colored by one. We thus generalize a well--known result due to J. Roberts. We prove that the Witten--Reshetikhin--Turaev $\mathrm{SU}(2)$ quantum representations of mapping class groups are always irreducible in the case of surfaces equipped with colored banded points, provided that at least one banded point is colored by one. We thus generalize a well--known result due to J. Roberts. △ Less

Submitted 9 December, 2017; v1 submitted 30 January, 2017; originally announced January 2017.

Comments: 8 pages. To appear in Quantum Topology

Chain groups of homeomorphisms of the interval

Authors: Sang-hyun Kim, Thomas Koberda, Yash Lodha

Abstract: We introduce and study the notion of a chain group of homeomorphisms of a one-manifold, which is a certain generalization of Thompson's group $F$. The resulting class of groups exhibits a combination of uniformity and diversity. On the one hand, a chain group either has a simple commutator subgroup or the action of the group has a wandering interval. In the latter case, the chain group admits a ca… ▽ More We introduce and study the notion of a chain group of homeomorphisms of a one-manifold, which is a certain generalization of Thompson's group $F$. The resulting class of groups exhibits a combination of uniformity and diversity. On the one hand, a chain group either has a simple commutator subgroup or the action of the group has a wandering interval. In the latter case, the chain group admits a canonical quotient which is also a chain group, and which has a simple commutator subgroup. On the other hand, every finitely generated subgroup of $\operatorname{Homeo}^+(I)$ can be realized as a subgroup of a chain group. As a corollary, we show that there are uncountably many isomorphism types of chain groups, as well as uncountably many isomorphism types of countable simple subgroups of $\operatorname{Homeo}^+(I)$. We consider the restrictions on chain groups imposed by actions of various regularities, and show that there are uncountably many isomorphism types of $3$--chain groups which cannot be realized by $C^2$ diffeomorphisms, as well as uncountably many isomorphism types of $6$--chain groups which cannot be realized by $C^1$ diffeomorphisms. As a corollary, we obtain uncountably many isomorphism types of simple subgroups of $\operatorname{Homeo}^+(I)$ which admit no nontrivial $C^1$ actions on the interval. Finally, we show that if a chain group acts minimally on the interval, then it does so uniquely up to topological conjugacy. △ Less

Submitted 9 December, 2017; v1 submitted 13 October, 2016; originally announced October 2016.

Comments: 24 pages, 4 figues. To appear in Ann. Sci. de l'ENS

Flexibility of group actions on the circle

Authors: Sang-hyun Kim, Thomas Koberda, Mahan Mj

Abstract: In this partly expository monograph we develop a general framework for producing uncountable families of exotic actions of certain classically studied groups acting on the circle. We show that if $L$ is a nontrivial limit group then the nonlinear representation variety $\mathrm{Hom}(L,\mathrm{Homeo}_+(S^1))$ contains uncountably many semi-conjugacy classes of faithful actions on $S^1$ with pairwis… ▽ More In this partly expository monograph we develop a general framework for producing uncountable families of exotic actions of certain classically studied groups acting on the circle. We show that if $L$ is a nontrivial limit group then the nonlinear representation variety $\mathrm{Hom}(L,\mathrm{Homeo}_+(S^1))$ contains uncountably many semi-conjugacy classes of faithful actions on $S^1$ with pairwise disjoint rotation spectra (except for $0$) such that each representation lifts to $\mathbb{R}$. For the case of most Fuchsian groups $L$, we prove further that this flexibility phenomenon occurs even locally, thus complementing a result of K. Mann. We prove that each non-elementary free or surface group admits an action on $S^1$ that is never semi-conjugate to any action that factors through a finite--dimensional connected Lie subgroup in $\mathrm{Homeo}_+(S^1)$. It is exhibited that the mapping class groups of bounded surfaces have non-semi-conjugate faithful actions on $S^1$. In the process of establishing these results, we prove general combination theorems for indiscrete subgroups of $\mathrm{PSL}_2(\mathbb{R})$ which apply to most Fuchsian groups and to all limit groups. We also show a Topological Baumslag Lemma, and general combination theorems for representations into Baire topological groups. The abundance of $\mathbb{Z}$--valued subadditive defect--one quasimorphisms on these groups would follow as a corollary. We also give a mostly self-contained reconciliation of the various notions of semi-conjugacy in the extant literature by showing that they are all equivalent. △ Less

Submitted 4 October, 2018; v1 submitted 13 October, 2016; originally announced October 2016.

Comments: 111 pages. To appear as a volume of Springer Lecture Notes in Mathematics

Residually finite rationally $p$ groups

Authors: Thomas Koberda, Alexander I. Suciu

Abstract: In this article we develop the theory of residually finite rationally $p$ (RFR$p$) groups, where $p$ is a prime. We first prove a series of results about the structure of finitely generated RFR$p$ 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… ▽ More In this article we develop the theory of residually finite rationally $p$ (RFR$p$) groups, where $p$ is a prime. We first prove a series of results about the structure of finitely generated RFR$p$ 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 RFR$p$ groups, which we use to study the boundary manifolds of algebraic curves $\mathbb{CP}^2$ and in $\mathbb{C}^2$. We show that boundary manifolds of a large class of curves in $\mathbb{C}^2$ (which includes all line arrangements) have RFR$p$ fundamental groups, whereas boundary manifolds of curves in $\mathbb{CP}^2$ may fail to do so. △ Less

Submitted 26 January, 2019; v1 submitted 7 April, 2016; originally announced April 2016.

Comments: 44 pages; accepted for publication in Communications in Contemporary Mathematics

MSC Class: 20E26; 14H50; 20F65; 52C35; 55N25; 57M10; 57N10

Journal ref: Communications in Contemporary Mathematics 22 (2020), no. 3, 1950016 (44 pages)

A representation theoretic characterization of simple closed curves on a surface

Authors: Thomas Koberda, Ramanujan Santharoubane

Abstract: We produce a sequence of finite dimensional representations of the fundamental group $π_1(S)$ of a closed surface where all simple closed curves act with finite order, but where each non--simple closed curve eventually acts with infinite order. As a consequence, we obtain a representation theoretic algorithm which decides whether or not a given element of $π_1(S)$ is freely homotopic to a simple c… ▽ More We produce a sequence of finite dimensional representations of the fundamental group $π_1(S)$ of a closed surface where all simple closed curves act with finite order, but where each non--simple closed curve eventually acts with infinite order. As a consequence, we obtain a representation theoretic algorithm which decides whether or not a given element of $π_1(S)$ is freely homotopic to a simple closed curve. The construction of these representations combines ideas from TQFT representations of mapping class groups with effective versions of LERF for surface groups. △ Less

Submitted 9 December, 2017; v1 submitted 10 March, 2016; originally announced March 2016.

Comments: 9 pages. To appear in Math. Res. Lett

Exotic mapping class group actions on the circle

Authors: Sang-hyun Kim, Thomas Koberda

Abstract: It has been known since the time of Nielsen that the mapping class group $\text{Mod}_{g,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<\text{Mod}_{g,1}$ is a finite index subgroup then there exist infinitely many non--conjugate faithful… ▽ More It has been known since the time of Nielsen that the mapping class group $\text{Mod}_{g,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<\text{Mod}_{g,1}$ is a finite index subgroup then there exist infinitely many non--conjugate faithful representations $G\to \text{Homeo}^+(S^1)$. We thus answer a question of B. Farb. △ Less

Submitted 17 October, 2016; v1 submitted 7 March, 2016; originally announced March 2016.

Comments: This article has been subsumed by the preprint arXiv:1610.04098. This latter preprint also partially corrects a gap which appeared in this article

Unsmoothable group actions on compact one-manifolds

Authors: Hyungryul Baik, Sang-hyun Kim, Thomas Koberda

Abstract: 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 i… ▽ More 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. △ Less

Submitted 10 June, 2016; v1 submitted 20 January, 2016; originally announced January 2016.

Comments: 22 pages, incorporated referee's comments. To appear in J. Eur. Math. Soc

Quotients of surface groups and homology of finite covers via quantum representations

Authors: Thomas Koberda, Ramanujan Santharoubane

Abstract: We prove that for each sufficiently complicated orientable surface $S$, there exists an infinite image linear representation $ρ$ of $π_1(S)$ such that if $γ\inπ_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'\to S$ such that… ▽ More We prove that for each sufficiently complicated orientable surface $S$, there exists an infinite image linear representation $ρ$ of $π_1(S)$ such that if $γ\inπ_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'\to S$ such that $H_1(S',\mathbb{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 $\text{SO}(3)$ representations of mapping class groups. △ Less

Submitted 4 February, 2016; v1 submitted 2 October, 2015; originally announced October 2015.

Comments: 22 pages, revised version. To appear in Inventiones mathematicae

The geometry of purely loxodromic subgroups of right-angled Artin groups

Authors: Thomas Koberda, Johanna Mangahas, Samuel J. Taylor

Abstract: 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 $\text{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, un… ▽ More 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 $\text{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 $\text{Mod}(S)$ and the way in which certain groups can embed in right-angled Artin groups. △ Less

Submitted 8 March, 2016; v1 submitted 11 December, 2014; originally announced December 2014.

Comments: 39 pages, 10 figures. To appear in Transactions of the AMS

Injective maps between flip graphs

Authors: Javier Aramayona, Thomas Koberda, Hugo Parlier

Abstract: We prove that every injective simplicial map $\mathcal{F}(S) \to \mathcal{F}(S')$ between flip graphs is induced by a subsurface inclusion $S\to 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 prove that every injective simplicial map $\mathcal{F}(S) \to \mathcal{F}(S')$ between flip graphs is induced by a subsurface inclusion $S\to 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. △ Less

Submitted 28 November, 2014; v1 submitted 24 September, 2014; originally announced September 2014.

Comments: 16 pages, 15 figures. To appear in Ann. Inst. Fourier

Right-angled Artin subgroups of the $C^{\infty}$ diffeomorphism group of the real line

Authors: Hyungryul Baik, Sang-hyun Kim, Thomas Koberda

Abstract: We prove that every right-angled Artin group embeds into the $C^{\infty}$ 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^{\infty}$ diffeomorphism group of the real line. We prove that every right-angled Artin group embeds into the $C^{\infty}$ 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^{\infty}$ diffeomorphism group of the real line. △ Less

Submitted 16 February, 2015; v1 submitted 22 April, 2014; originally announced April 2014.

Comments: Very small changes following a referee report. To appear in Israel J. Math

Journal ref: Isr. J. Math. (2016) 213: 175

Anti-trees and right-angled Artin subgroups of braid groups

Authors: Sang-hyun Kim, Thomas Koberda

Abstract: 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. Anothe… ▽ More 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. △ Less

Submitted 14 April, 2015; v1 submitted 22 December, 2013; originally announced December 2013.

Comments: The condition p>2 is included for the result on symplectomorphisms of the sphere. To appear in Geometry and Topology

Journal ref: Geom. Topol. 19 (2015) 3289-3306

An effective algebraic detection of the Nielsen--Thurston classification of mapping classes

Authors: Thomas Koberda, Johanna Mangahas

Abstract: 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 $\langle X \rangle$. 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… ▽ More 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 $\langle X \rangle$. 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 $ψ$. △ Less

Submitted 14 July, 2014; v1 submitted 20 December, 2013; originally announced December 2013.

Comments: 15 pages, two figures. Accepted to JTA

Right-angled Artin groups and finite subgraphs of curve graphs

Authors: Sang-hyun Kim, Thomas Koberda

Abstract: 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 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)$. △ Less

Submitted 23 May, 2014; v1 submitted 17 October, 2013; originally announced October 2013.

Comments: 12 pages, 4 figures. Updated to reflect referee comments

The geometry of the curve graph of a right-angled Artin group

Authors: Sang-hyun Kim, Thomas Koberda

Abstract: 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… ▽ More 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. △ Less

Submitted 9 March, 2014; v1 submitted 19 May, 2013; originally announced May 2013.

Comments: 48 pages, 7 figures. Minor revision reflecting referees' comments. Accepted by International Journal of Algebra and Computation

MSC Class: 20F36

An obstruction to embedding right-angled Artin groups in mapping class groups

Authors: Sang-hyun Kim, Thomas Koberda

Abstract: 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 grap… ▽ More 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 $\mathcal{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)$. △ Less

Submitted 9 October, 2012; v1 submitted 23 July, 2012; originally announced July 2012.

Comments: Added more details to the proof of Lemma 3.3. To appear in IMRN

Homological eigenvalues of mapping classes and torsion homology growth for fibered 3--manifolds

Authors: Thomas Koberda

Abstract: 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… ▽ More 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_ψ. △ Less

Submitted 2 October, 2015; v1 submitted 1 May, 2012; originally announced May 2012.

Comments: This article is withdrawn due to an error in the proof of the main theorem. The result is true and has been established by several other authors

Alexander varieties and largeness of finitely presented groups

Authors: Thomas Koberda

Abstract: 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. 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. △ Less

Submitted 1 May, 2012; originally announced May 2012.

Comments: This article is essentially part two of the author's thesis

Teichmüller polynomials, Alexander polynomials and finite covers of surfaces

Authors: Thomas Koberda

Abstract: 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 poi… ▽ More 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. △ Less

Submitted 21 October, 2011; v1 submitted 17 October, 2011; originally announced October 2011.

Comments: 8 pages, submitted version. Fixed some inaccurate statements in the previous version

MSC Class: 57M10 (Primary) 57M27 (Secondary)

The action of mapping classes on nilpotent covers of surfaces

Authors: Thomas Koberda

Abstract: 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--man… ▽ More 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. △ Less

Submitted 17 October, 2011; originally announced October 2011.

Comments: 18 pages

MSC Class: 57M10 (Primary) 57M27 (Secondary)