Searcharxiv⌕ Search

arXiv subjects

Matt Clay

Publications and source records attributed to Matt Clay.

At least 19 recordsLinked to original sources
arXiv2025

Pseudo-Isometric Surgery

We introduce a type of surgery on metric spaces. This surgery, in some sense, seeks to replace a subspace $S$ of a metric space $X$ with another metric space $T$ via a function $f : S \to T$. When $T$ is a discrete space, this amounts to collapsing the subspace according to the function. This surgery results in a new metric space we denote $\widehat{X}_f$ and there is a natural function $F : X \to \widehat{X}_f$ induced from $f$. Our primary interest is investigating if properties of the original function $f$ are inherited by the induced function $F$. We show that if $f$ is a pseudo-isometry then so is $F$. However, for a quasi-isometry, a very natural generalization of a pseudo-isometry that is prevalent in geometric group theory, such a result does not hold.

math.MG↗
arXiv2025

Subgraph Entropy

Given $r \geq 3$, we prove that there exists $\lambda >0$ depending only on $r$ so that if $G$ is a metric graph of rank $r$ with metric entropy $1$, then there exists a proper subgraph $H$ of $G$ with metric entropy at least $\lambda$. This answers a question of the second two authors together with Rieck. We interpret this as a graph theoretic version of the Bers Lemma from hyperbolic geometry, and explain some connections to the pressure metric on the Culler-Vogtmann Outer Space.

math.GT↗
arXiv2023

Bounded projections to the $\mathcal{Z}$-factor graph

Suppose $G$ is a free product $G = A_1 * A_2* \cdots * A_k * F_N$, where each of the groups $A_i$ is torsion-free and $F_N$ is a free group of rank $N$. Let $\mathcal{O}$ be the deformation space associated to this free product decomposition. We show that the diameter of the projection of the subset of $\mathcal{O}$ where a given element has bounded length to the $\mathcal{Z}$-factor graph is bounded, where the diameter bound depends only on the length bound. This relies on an analysis of the boundary of $G$ as a hyperbolic group relative to the collection of subgroups $A_i$ together with a given non-peripheral cyclic subgroup. The main theorem is new even in the case that $G = F_N$, in which case $\mathcal{O}$ is the Culler-Vogtmann outer space. In a future paper, we will apply this theorem to study the geometry of free group extensions.

math.GR↗
arXiv2021

Chain flaring and $L^{2}$-torsion of free-by-cyclic groups

We introduce a condition on the monodromy of a free-by-cyclic group, $G_\phi$, called the chain flare condition, that implies that the $L^2$-torsion, $\rho^{(2)}(G_\phi)$, is non-zero. We conjecture that this condition holds whenever the monodromy is exponentially growing.

math.GR↗
arXiv2021

Minimal volume entropy of free-by-cyclic groups and 2-dimensional right-angled Artin groups

Let $G$ be a free-by-cyclic group or a 2-dimensional right-angled Artin group. We provide an algebraic and a geometric characterization for when each aspherical simplicial complex with fundamental group isomorphic to $G$ has minimal volume entropy equal to 0. In the nonvanishing case, we provide a positive lower bound to the minimal volume entropy of an aspherical simplicial complex of minimal dimension for these two classes of groups. Our results rely upon a criterion for the vanishing of the minimal volume entropy for 2-dimensional groups with uniform uniform exponential growth. This criterion is shown by analyzing the fiber $π_1$-growth collapse and non-collapsing assumptions of Babenko-Sabourau.

math.GR↗
arXiv2020

Thermodynamic metrics on outer space

In this paper we consider two piecewise Riemannian metrics defined on the Culler-Vogtmann outer space which we call the entropy metric and the pressure metric. As a result of work of McMullen, these metrics can be seen as analogs of the Weil-Petersson metric on the Teichmüller space of a closed surface. We show that while the geometric analysis of these metrics is similar to that of the Weil-Petersson metric, from the point of view of geometric group theory, these metrics behave very differently to the Weil-Petersson metric. Specifically, we show that when the rank $r$ is at least 4, the action of ${\rm Out}(\mathbb{F}_r)$ on the completion of the Culler-Vogtmann outer space using the entropy metric has a fixed point. A similar statement also holds for the pressure metric.

math.GT↗
arXiv2020

Hyperbolic quotients of projection complexes

This paper is a continuation of our previous work with Margalit where we studied group actions on projection complexes. In that paper, we demonstrated sufficient conditions so that the normal closure of a family of subgroups of vertex stabilizers is a free product of certain conjugates of these subgroups. In this paper, we study both the quotient of the projection complex by this normal subgroup and the action of the quotient group on the quotient of the projection complex. We show that under certain conditions that the quotient complex is $δ$-hyperbolic. Additionally, under certain circumstances, we show that if the original action on the projection complex was a non-elementary WPD action, then so is the action of the quotient group on the quotient of the projection complex. This implies that the quotient group is acylindrically hyperbolic.

math.GR↗
arXiv2020

Right-angled Artin groups as normal subgroups of mapping class groups

We construct the first examples of normal subgroups of mapping class groups that are isomorphic to non-free right-angled Artin groups. Our construction also gives normal, non-free right-angled Artin subgroups of other groups, such as braid groups and pure braid groups, as well as many subgroups of the mapping class group, such as the Torelli subgroup. Our work recovers and generalizes the seminal result of Dahmani-Guirardel-Osin, which gives free, purely pseudo-Anosov normal subgroups of mapping class groups. We give two applications of our methods: (1) we produce an explicit proper normal subgroup of the mapping class group that is not contained in any level $m$ congruence subgroup, and (2) we produce an explicit example of a pseudo-Anosov mapping class with the property that all of its even powers have free normal closure and its odd powers normally generate the entire mapping class group. The technical theorem at the heart of our work is a new version of the windmill apparatus of Dahmani-Guirardel-Osin, which is tailored to the setting of group actions on the projection complexes of Bestvina-Bromberg-Fujiwara.

math.GT↗
arXiv2019

Atoroidal dynamics of subgroups of Out(F_N)

We show that for any subgroup $H$ of Out($F_N$), either $H$ contains an atoroidal element or a finite index subgroup $H'$ of $H$ fixes a nontrivial conjugacy class in $F_N$. This result is an analog of Ivanov's subgroup theorem for mapping class groups and Handel-Mosher's subgroup theorem for Out($F_N$) in the setting of irreducible elements.

math.GR↗
arXiv2017

Simultaneous construction of hyperbolic isometries

Given isometric actions by a group G on finitely many δ-hyperbolic metric spaces, we provide a sufficient condition that guarantees the existence of a single element in G that is hyperbolic for each action. As an application we prove a conjecture of Handel and Mosher regarding relatively fully irreducible subgroups and elements in the outer automorphism group of a free group.

math.GR↗
arXiv2017

Uniform fellow traveling between surgery paths in the sphere graph

We show that the Hausdorff distance between any forward and any backward surgery paths in the sphere graph is at most 2. From this it follows that the Hausdorff distance between any two surgery paths with the same initial sphere system and same target sphere system is at most 4. Our proof relies on understanding how surgeries affect the Guirardel core associated to sphere systems. We show that applying a surgery is equivalent to performing a Rips move on the Guirardel core.

math.GR↗
arXiv2016

$\ell^{2}$-torsion of free-by-cyclic groups

We provide an upper bound on the $\ell^{2}$-torsion of a free-by-cyclic group, $-ρ^{(2)}(\mathbb{F} \rtimes_Φ \mathbb{Z})$, in terms of a relative train-track representative for $Φ\in \mathrm{Aut}(\mathbb{F})$. Our result shares features with a theorem of Lück-Schick computing the $\ell^{2}$-torsion of the fundamental group of a 3-manifold that fibers over the circle in that it shows that the $\ell^{2}$-torsion is determined by the exponential dynamics of the monodromy. In light of the result of Lück-Schick, a special case of our bound is analogous to the bound on the volume of a 3-manifold that fibers over the circle with pseudo-Anosov monodromy by the normalized entropy recently demonstrated by Kojima-McShane.

math.GR↗
arXiv2014

When does a right-angled Artin group split over $\mathbb{Z}$?

We show that a right-angled Artin group, defined by a graph $Γ$ that has at least three vertices, does not split over an infinite cyclic subgroup if and only if $Γ$ is biconnected. Further, we compute JSJ--decompositions of 1--ended right-angled Artin groups over infinite cyclic subgroups.

math.GR↗
arXiv2014

Stable commutator length in Baumslag-Solitar groups and quasimorphisms for tree actions

This paper has two parts, on Baumslag-Solitar groups and on general G-trees. In the first part we establish bounds for stable commutator length (scl) in Baumslag-Solitar groups. For a certain class of elements, we further show that scl is computable and takes rational values. We also determine exactly which of these elements admit extremal surfaces. In the second part we establish a universal lower bound of 1/12 for scl of suitable elements of any group acting on a tree. This is achieved by constructing efficient quasimorphisms. Calculations in the group BS(2,3) show that this is the best possible universal bound, thus answering a question of Calegari and Fujiwara. We also establish scl bounds for acylindrical tree actions. Returning to Baumslag-Solitar groups, we show that their scl spectra have a uniform gap: no element has scl in the interval (0, 1/12).

math.GR↗
arXiv2014

Abstract commensurators of right-angled Artin groups and mapping class groups

We prove that, aside from the obvious exceptions, the mapping class group of a compact orientable surface is not abstractly commensurable with any right-angled Artin group. Our argument applies to various subgroups of the mapping class group---the subgroups generated by powers of Dehn twists and the terms of the Johnson filtration---and additionally to the outer automorphism group of a free group and to certain linear groups.

math.GT↗
arXiv2013

Uniform hyperbolicity of the curve graph via surgery sequences

We prove that the curve graph $\calC^{(1)}(S)$ is Gromov-hyperbolic with a constant of hyperbolicity independent of the surface $S$. The proof is based on the proof of hyperbolicity of the free splitting complex by Handel and Mosher, as interpreted by Hilion and Horbez.

math.GT↗
arXiv2012

Relative twisting in Outer space

Subsurface projection has become indispensable in studying the geometry of the mapping class group and the curve complex of a surface. When the subsurface is an annulus, this projection is sometimes called relative twisting. We give two alternate versions of relative twisting for the outer automorphism group of a free group. We use this to describe sufficient conditions for when a folding path enters the thin part of Culler-Vogtmann's Outer space. As an application of our condition, we produce a sequence of fully irreducible outer automorphisms whose axes in Outer space travel through graphs with arbitrarily short cycles; we also describe the asymptotic behavior of their translation lengths.

math.GR↗