Faculty of Mathematics
University of Vienna
OskarMorgensternPlatz 1
1090 Vienna, Austria
Email: christopher DOT cashen AT univie.ac.at
Office: 2.130
I am a Senior Postdoctoral Fellow in the Geometric and Analytic Group Theory group at the University of Vienna. I organize our Seminar.
Publications
arXiv MathSciNet Morse subsets of CAT(0) spaces are strongly contracting.
 Geometriae Dedicata (in press).
(Abstract)
We prove that Morse subsets of CAT(0) spaces are strongly contracting. This generalizes and simplifies a result of Sultan, who proved it for Morse quasigeodesics. Our proof goes through the recurrence characterization of Morse subsets.  Cogrowth for group actions with strongly contracting elements
 Ergodic Theory and Dynamical Systems (in press).
(Abstract)
We show that for a finitely generated group \(G\) acting properly on a geodesic metric space \(X\) with a strongly contracting element and purely exponential growth, and for every infinite normal subgroup \(N\) of \(G\), the growth rates \(\delta_G\) and \(\delta_N\) of the orbits of \(G\) and \(N\) in \(X\) satisfy \(\delta_N/\delta_G > 1/2\). This generalizes several results where the same conclusion is obtained for \(G\) a free group or \(X\) a negatively curved space.  A metrizable topology on the contracting boundary of a group
 Transactions of the American Mathematical Society, 372 (2019),
no. 3, 1555–1600.
(Abstract)
The 'contracting boundary' of a proper geodesic metric space consists of equivalence classes of geodesic rays that behave like rays in a hyperbolic space. We introduce a geometrically relevant, quasiisometry invariant topology on the contracting boundary. When the space is the Cayley graph of a finitely generated group we show that our new topology is metrizable.  Negative curvature in graphical small cancellation groups
 Groups, Geometry and
Dynamics, 13 (2019), no. 2, 579–632.
(Abstract)
We use the interplay between combinatorial and coarse geometric versions of negative curvature to investigate the geometry of infinitely presented graphical \(Gr'(1/6)\) small cancellation groups. In particular, we characterize their 'contracting geodesics', which should be thought of as the geodesics that behave hyperbolically.We show that every degree of contraction can be achieved by a geodesic in a finitely generated group. We construct the first example of a finitely generated group \(G\) containing an element that is strongly contracting with respect to one finite generating set of \(G\) and not strongly contracting with respect to another. In the case of classical \(C'(1/6)\) small cancellation groups we give complete characterizations of geodesics that are Morse and that are strongly contracting.
We show that many graphical \(Gr'(1/6)\) small cancellation groups contain strongly contracting elements and, in particular, are growth tight. We construct uncountably many quasiisometry classes of finitely generated, torsionfree groups in which every maximal cyclic subgroup is hyperbolically embedded. These are the first examples of this kind that are not subgroups of hyperbolic groups.
In the course of our analysis we show that if the defining graph of a graphical \(Gr'(1/6)\) small cancellation group has finite components, then the elements of the group have translation lengths that are rational and bounded away from zero.
 Quasiisometry classification for [rightangled Coxeter groups defined by suitable subdivisions of] complete graphs

Journal of Topology,
10 (2017), 1066–1106.
(Abstract)
In the main paper Dani and Thomas show how to derive the JSJ decomposition of a hyperbolic 2–dimensional rightangled Coxeter group from its defining graph. In the appendix we give a complete quasiisometry classification of hyperbolic 2–dimensional rightangled Coxeter groups that are defined by subdivisions of complete graphs.  Characterizations of Morse quasigeodesics via superlinear divergence and sublinear contraction
 Documenta Mathematica, 22 (2017), 1193–1224.
(Abstract)
We initiate a systematic study of contracting projections. We show that sublinear contraction is equivalent to the wellknown Morse property and to the property of having completely superlinear divergence. We prove sublinear analogues of several theorem about strongly contracting geodesics.  A geometric proof of the structure theorem for cyclic splittings of free groups
 Topology
Proceedings, 50 (2017), 335–349.
(Abstract)
Application of the techniques of Papers 2 and 6 giving an alternate proof that an amalgam of two free groups over a cyclic subgroup is free if and only if the edge group is a free factor of one of the vertex groups. Applies also to virtually free groups amalgamated over a virtually cyclic subgroup.  Quasiisometries between groups with twoended splittings
 Mathematical Proceedings of the Cambridge Philosophical Society,
162 (2017), no. 2, 249–291.
(Abstract)
We construct invariants for boundary homeomorphism and quasiisometry of hyperbolic groups that split over twoended subgroups in terms of the respective homeomorphism/quasiisometry types of the vertex groups relative to the edge groups. For boundary homeomorphism we get a complete invariant. For quasiisometry we get a complete invariant when the vertex groups are rigid relative to their incident edge groups.  Quasiisometries need not induce homeomorphisms of contracting boundaries with the Gromov product topology
 Analysis and
Geometry in Metric Spaces, 4 (2016), no. 1, 278–281.
(Abstract)
We consider a 'contracting boundary' of a proper geodesic metric space consisting of equivalence classes of geodesic rays that behave like geodesics in a hyperbolic space. We topologize this set via the Gromov product, in analogy to the topology of the boundary of a hyperbolic space. We show that when the space is not hyperbolic, quasiisometries do not necessarily give homeomorphisms of this boundary. Continuity can fail even when the spaces are required to be CAT(0). We show this by constructing an explicit example.  Growth tight actions of product groups
 Groups, Geometry and
Dynamics, 10 (2016), no. 2, 753–770.
(Abstract)
If \(G=\prod_{i=1}^nG_i\) is a product of finitely generated groups and for each \(i\) we have a proper, cocompact action of \(G_i\) on a metric space \(X_i\) with a strongly contracting element then the product action of \(G\) on \(X=\prod_{i=1}^nX_i\) is growth tight if \(X\) is given the \(L^p\) metric for \(p>1\) and not growth tight if \(X\) is given the \(L^1\) metric. In particular, if the \(X_i\) are Cayley graphs of the \(G_i\) then the \(L^1\) metric and the \(L^\infty\) metric both correspond to word metrics on \(G\). This provides the first construction of a group such that the action on one of its Cayley graphs is growth tight and the action on another of its Cayley graphs is not.  Splitting line patterns in free groups
 Algebraic & Geometric Topology, 16
(2016), no. 2, 621–673.
(Abstract)
Techniques of Paper 2 are used to derive a canonical JSJ decomposition of a free group \(\mathbb{F}\) relative to an algebraic lamination \(\mathcal{L}\) in terms of the topology of the quotient \(\partial\mathbb{F}/\partial\mathcal{L}\). As an application, we characterize virtual geometricity (cf Paper 3) as having a relative JSJ decomposition with geometric pieces.  Mapping tori of free group automorphisms, and the BieriNeumannStrebel invariant of graphs of groups
 Journal of Group Theory, 19 (2016), no. 2, 191–216.
(Abstract)
We compute BieriNeumannStrebel (BNS) invariants for certain graphs of groups and hierarchies of groups. In particular, we show that the BNS invariant of the mapping torus of a polynomially growing free group automorphism is the complement of finitely many rationally defined subspheres.  Growth tight actions
 Pacific Journal of Mathematics, 278 (2015), no. 1,
1–49.
(Abstract)
A proper action of a group \(G\) on a metric space \(X\) is growth tight if for every infinite index normal subgroup \(N\) of \(G\) the exponential growth rate of \(G\) with respect to \(X\), ie, of an orbit of \(G\) in \(X\), is strictly greater than the corresponding growth rate of \(G/N\). We show that an action is growth tight if it has a strongly contracting element and if there is an orbit that is sufficiently convex. The latter condition is satisfied if there is a quasiconvex orbit, but also in other interesting cases such as the action of the mapping class group on Teichmüller space.  Virtual geometricity is rare
 LMS Journal of Computation and Mathematics, 18
(2015), no. 1,
444–455.
(Abstract)
An element in the free group \(\mathbb{F}\) is geometric if it can be represented by an embedded curve in the boundary of a handlebody with fundamental group \(\mathbb{F}\). It is virtually geometric if it becomes geometric upon lifting to some finite index subgroup of \(\mathbb{F}\). The probability that a random element is virtually geometric decays to zero exponentially quickly with respect to the word length of the element with respect to a fixed basis. We also give experimental estimates for the rate of decay; these are obtained by our computer program that checks virtual geometricity for a given input word.  Line patterns in free groups
 Geometry & Topology,
15 (2011), no. 3,
1419–1475.
(Abstract)
Given an algebraic lamination \(\mathcal{L}\) of the free group \(\mathbb{F}\), exactly one of the following is true: \(\mathbb{F}\) splits freely or cyclically relative to \(\mathcal{L}\).
 \(\mathbb{F}\) is quasiisometrically rigid relative to \(\mathcal{L}\).
 \(\mathbb{F}\) is the fundamental group of a thricepunctured sphere and leaves of \(\mathcal{L}\) are the peripheral subgroups.
 Quasiisometries between tubular groups
 Groups, Geometry and Dynamics, 4 (2010), no. 3, 473–516.
(Abstract)
We give a quasiisometry classification of graphs of virtual \(\mathbb{Z}^2\)'s amalgamated over virtually cyclic subgroups.
Notes on the arXiv
 Computing the Maximum Slope Invariant in Tubular Groups (2009).

(Abstract)
Addendum to Quasiisometries between tubular groups. Gives an example of two tubular groups that are distinguished by the ‘maximum slope invariant’ introduced there but not by Dehn function or other obvious quasiisometry invariants.
Software
 virtuallygeometric, w/ Manning, Computer Program, (2014).
(Description)
This code is for testing whether a multiword in a free group is virtually geometric. Towards this end it implements various algorithms related to elements and subgroups of finitely generated free groups, including computing the JSJ decomposition of a free group relative to a multiword.
Other Stuff
Slides from my 'Line Patterns in Free Groups' talk at the Joint Meetings, Jan 2011.Video of my 'The topology of the contracting boundary of a group' talk from conference at the Isaac Newton Institute, Jan 2017.
Teaching
I am not currently teaching. My teaching page from Utah is still standing.Coauthors
Goulnara N. Arzhantseva, Pallavi Dani, Dominik Gruber, David Hume, Gilbert Levitt, John M. Mackay, Nataša Macura, Jason F. Manning, Alexandre Martin, Jing Tao, Anne ThomasThanks
I gratefully acknowledge support from:(20142016) Austrian Science Fund (FWF): M 1717N25, Lise Meitner Fellowship.
(20122014) European Research Council (ERC) grant of Goulnara ARZHANTSEVA, "ANALYTIC" grant agreement n°259527.
(20112012) French National Research Agency (ANR) grant: ANR2010BLAN11601 GGAA
(20082011) USA National Science Foundation (NSF) VIGRE grant.
Last updated Decmeber 4, 2018.
http://www.mat.univie.ac.at/~cashen/