Researcher profile

Thomas Koberda

Thomas Koberda contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
21works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

21 published item(s)

preprint2022arXiv

Virtual critical regularity of mapping class group actions on the circle

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.

preprint2020arXiv

Diffeomorphism groups of critical regularity

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)$.

preprint2020arXiv

Integrability of moduli and regularity of Denjoy counterexamples

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.

preprint2020arXiv

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

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.

preprint2019arXiv

Residually finite rationally $p$ groups

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.

preprint2014arXiv

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

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 $ψ$.

preprint2014arXiv

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

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&#39;s Bounded Geodesic Image Theorem and their distance formula.

preprint2012arXiv

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

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)$.

preprint2012arXiv

Right-angled Artin groups and a generalized isomorphism problem for finitely generated subgroups of mapping class groups

Consider the mapping class group $\Mod_{g,p}$ of a surface $Σ_{g,p}$ of genus $g$ with $p$ punctures, and a finite collection $\{f_1,...,f_k\}$ 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 $\{f_1^N,...,f_k^N\}$ 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 $\{f_1,...,f_k\}$ 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}$.

preprint2011arXiv

Entropy of automorphisms, homology and the intrinsic polynomial structure of nilpotent groups

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.

preprint2011arXiv

Faithful actions of automorphisms on the space of orderings of a group

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.

preprint2011arXiv

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

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.

preprint2011arXiv

The action of mapping classes on nilpotent covers of surfaces

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.

preprint2010arXiv

Asymptotic linearity of the mapping class group and a homological version of the Nielsen-Thurston classification

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.

preprint2010arXiv

On some of the residual properties of finitely generated nilpotent groups

In recent years, the RFRS condition has been used to analyze virtual fibering in 3-manifold topology. Agol&#39;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.

preprint2010arXiv

Residual properties of 3-manifold groups I: Fibered and hyperbolic 3-manifolds

Let $p$ be a prime. In this paper, we classify the geometric 3-manifolds whose fundamental groups are virtually residually $p$. Let $M=M^3$ 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.

preprint2006arXiv

Measurable Sensitivity

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.