Showing 1–50 of 75 results for author: Calegari, D

The LHCb upgrade I

Authors: LHCb collaboration, R. Aaij, A. S. W. Abdelmotteleb, C. Abellan Beteta, F. Abudinén, C. Achard, T. Ackernley, B. Adeva, M. Adinolfi, P. Adlarson, H. Afsharnia, C. Agapopoulou, C. A. Aidala, Z. Ajaltouni, S. Akar, K. Akiba, P. Albicocco, J. Albrecht, F. Alessio, M. Alexander, A. Alfonso Albero, Z. Aliouche, P. Alvarez Cartelle, R. Amalric, S. Amato , et al. (1298 additional authors not shown)

Abstract: The LHCb upgrade represents a major change of the experiment. The detectors have been almost completely renewed to allow running at an instantaneous luminosity five times larger than that of the previous running periods. Readout of all detectors into an all-software trigger is central to the new design, facilitating the reconstruction of events at the maximum LHC interaction rate, and their select… ▽ More The LHCb upgrade represents a major change of the experiment. The detectors have been almost completely renewed to allow running at an instantaneous luminosity five times larger than that of the previous running periods. Readout of all detectors into an all-software trigger is central to the new design, facilitating the reconstruction of events at the maximum LHC interaction rate, and their selection in real time. The experiment's tracking system has been completely upgraded with a new pixel vertex detector, a silicon tracker upstream of the dipole magnet and three scintillating fibre tracking stations downstream of the magnet. The whole photon detection system of the RICH detectors has been renewed and the readout electronics of the calorimeter and muon systems have been fully overhauled. The first stage of the all-software trigger is implemented on a GPU farm. The output of the trigger provides a combination of totally reconstructed physics objects, such as tracks and vertices, ready for final analysis, and of entire events which need further offline reprocessing. This scheme required a complete revision of the computing model and rewriting of the experiment's software. △ Less

Submitted 17 May, 2023; originally announced May 2023.

Comments: All figures and tables, along with any supplementary material and additional information, are available at http://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-DP-2022-002.html (LHCb public pages)

Report number: LHCb-DP-2022-002

Wiggle Island

Authors: Danny Calegari

Abstract: A wiggle is an embedded curve in the plane that is the attractor of an iterated function system associated to a complex parameter z. We show the space of wiggles is disconnected -- i.e. there is a wiggle island. A wiggle is an embedded curve in the plane that is the attractor of an iterated function system associated to a complex parameter z. We show the space of wiggles is disconnected -- i.e. there is a wiggle island. △ Less

Submitted 23 May, 2022; originally announced May 2022.

Comments: 7 pages, 6 figures

Surgery sequences and self-similarity of the Mandelbrot set

Authors: Danny Calegari

Abstract: We introduce an analog in the context of rational maps of the idea of hyperbolic Dehn surgery from the theory of Kleinian groups. A surgery sequence is a sequence of postcritically finite maps limiting (in a precise manner) to a postcritically finite map. As an application of this idea we give an elementary proof of Tan Lei's theorem on the asymptotic self-similarity of Julia Sets and the Mandelbr… ▽ More We introduce an analog in the context of rational maps of the idea of hyperbolic Dehn surgery from the theory of Kleinian groups. A surgery sequence is a sequence of postcritically finite maps limiting (in a precise manner) to a postcritically finite map. As an application of this idea we give an elementary proof of Tan Lei's theorem on the asymptotic self-similarity of Julia Sets and the Mandelbrot Set at Misiurewicz points. △ Less

Submitted 25 February, 2022; v1 submitted 20 February, 2022; originally announced February 2022.

Comments: 7 pages; version 2: simplified proof, added another numerical example

Normal subgroups of big map** class groups

Authors: Danny Calegari, Lvzhou Chen

Abstract: Let S be a surface and let Mod(S,K) be the map** class group of S permuting a Cantor subset K of S. We prove two structure theorems for normal subgroups of Mod(S,K). (Purity:) if S has finite type, every normal subgroup of Mod(S,K) either contains the kernel of the forgetful map to the map** class group of S, or it is `pure', i.e. it fixes the Cantor set pointwise. (Inertia:) for any n ele… ▽ More Let S be a surface and let Mod(S,K) be the map** class group of S permuting a Cantor subset K of S. We prove two structure theorems for normal subgroups of Mod(S,K). (Purity:) if S has finite type, every normal subgroup of Mod(S,K) either contains the kernel of the forgetful map to the map** class group of S, or it is `pure', i.e. it fixes the Cantor set pointwise. (Inertia:) for any n element subset Q of the Cantor set, there is a forgetful map from the pure subgroup PMod(S,K) of Mod(S,K) to the map** class group of (S,Q) fixing Q pointwise. If N is a normal subgroup of Mod(S,K) contained in PMod(S,K), its image N_Q is likewise normal. We characterize exactly which finite-type normal subgroups N_Q arise this way. Several applications and numerous examples are also given. △ Less

Submitted 10 January, 2022; v1 submitted 14 October, 2021; originally announced October 2021.

Comments: v3: revised according to referee's suggestions, final version to appear in TAMS. 21 pages, 3 figures

Sausages

Authors: Danny Calegari

Abstract: The shift locus is the space of normalized polynomials in one complex variable for which every critical point is in the attracting basin of infinity. The method of sausages gives a (canonical) decomposition of the shift locus in each degree into (countably many) codimension 0 submanifolds, each of which is homeomorphic to a complex algebraic variety. In this paper we explain the method of sausages… ▽ More The shift locus is the space of normalized polynomials in one complex variable for which every critical point is in the attracting basin of infinity. The method of sausages gives a (canonical) decomposition of the shift locus in each degree into (countably many) codimension 0 submanifolds, each of which is homeomorphic to a complex algebraic variety. In this paper we explain the method of sausages, and some of its consequences. This is an expository paper. △ Less

Submitted 28 August, 2021; originally announced August 2021.

Comments: 17 pages, 2 figures, 2 tables

Combinatorics of the Tautological Lamination

Authors: Danny Calegari

Abstract: The Tautological Lamination arises in holomorphic dynamics as a combinatorial model for the geometry of 1-dimensional slices of the Shift Locus. In each degree $q$ the tautological lamination defines an iterated sequence of partitions of $1$ (one for each integer $n$) into numbers of the form $2^m q^{-n}$. Denote by $N_q(n,m)$ the number of times $2^mq^{-n}$ arises in the $n$th partition. We prove… ▽ More The Tautological Lamination arises in holomorphic dynamics as a combinatorial model for the geometry of 1-dimensional slices of the Shift Locus. In each degree $q$ the tautological lamination defines an iterated sequence of partitions of $1$ (one for each integer $n$) into numbers of the form $2^m q^{-n}$. Denote by $N_q(n,m)$ the number of times $2^mq^{-n}$ arises in the $n$th partition. We prove a recursion formula for $N_q(n,0)$, and a gap theorem: $N_q(n,n)=1$ and $N_q(n,m)=0$ for $\lfloor n/2 \rfloor < m < n$. △ Less

Submitted 2 June, 2021; v1 submitted 1 June, 2021; originally announced June 2021.

Comments: 14 pages, 3 figures, 3 tables

MSC Class: 37F10; 68R15

Journal ref: Pacific J. Math. 329 (2024) 39-61

Sausages and Butcher Paper

Authors: Danny Calegari

Abstract: For each $d>1$ the shift locus of degree $d$, denoted ${\mathcal S}_d$, is the space of normalized degree $d$ polynomials in one complex variable for which every critical point is in the attracting basin of infinity under iteration. It is a complex analytic manifold of complex dimension $d-1$. We are able to give an explicit description of ${\mathcal S}_d$ as a complex of spaces over a contractibl… ▽ More For each $d>1$ the shift locus of degree $d$, denoted ${\mathcal S}_d$, is the space of normalized degree $d$ polynomials in one complex variable for which every critical point is in the attracting basin of infinity under iteration. It is a complex analytic manifold of complex dimension $d-1$. We are able to give an explicit description of ${\mathcal S}_d$ as a complex of spaces over a contractible $\tilde{A}_{d-2}$ building, and to describe the pieces in two quite different ways: 1. (combinatorial): in terms of dynamical extended laminations; or 2. (algebraic): in terms of certain explicit `discriminant-like' affine algebraic varieties. From this structure one may deduce numerous facts, including that ${\mathcal S}_d$ has the homotopy type of a CW complex of real dimension $d-1$; and that ${\mathcal S}_3$ and ${\mathcal S}_4$ are $K(π,1)$s. The method of proof is rather interesting in its own right. In fact, along the way we discover a new class of complex surfaces (they are complements of certain singular curves in ${\mathbb C}^2$) which are homotopic to locally CAT$(0)$ complexes; in particular they are $K(π,1)$s. △ Less

Submitted 5 January, 2022; v1 submitted 24 May, 2021; originally announced May 2021.

Comments: 40 pages, 13 figures, 1 table. Version 2: correction of typos, expanded explanation of saturation, of the tautological lamination

MSC Class: 37F10

Taut foliations leafwise branch cover S^2

Authors: Danny Calegari

Abstract: A co-oriented foliation F of an oriented 3-manifold M is taut if and only if there is a map from M to the 2-sphere whose restriction to every leaf is a branched cover. A co-oriented foliation F of an oriented 3-manifold M is taut if and only if there is a map from M to the 2-sphere whose restriction to every leaf is a branched cover. △ Less

Submitted 25 March, 2020; v1 submitted 23 March, 2020; originally announced March 2020.

Comments: 12 pages; version 2: minor typos corrected; added remark on branched maps compatible with contact structures

Journal ref: Algebr. Geom. Topol. 21 (2021) 2523-2541

Nielsen realization for infinite-type surfaces

Authors: Santana Afton, Danny Calegari, Lvzhou Chen, Rylee Alanza Lyman

Abstract: Given a finite subgroup G of the map** class group of a surface S, the Nielsen realization problem asks whether G can be realized as a finite group of homeomorphisms of S. In 1983, Kerckhoff showed that for S a finite-type surface, any finite subgroup G may be realized as a group of isometries of some hyperbolic metric on S. We extend Kerckhoff's result to orientable, infinite-type surfaces. As… ▽ More Given a finite subgroup G of the map** class group of a surface S, the Nielsen realization problem asks whether G can be realized as a finite group of homeomorphisms of S. In 1983, Kerckhoff showed that for S a finite-type surface, any finite subgroup G may be realized as a group of isometries of some hyperbolic metric on S. We extend Kerckhoff's result to orientable, infinite-type surfaces. As applications, we classify torsion elements in the map** class group of the plane minus a Cantor set, and also show that topological groups containing sequences of torsion elements limiting to the identity do not embed continuously into the map** class group of S. Finally, we show that compact subgroups of the map** class group of S are finite, and locally compact subgroups are discrete. △ Less

Submitted 28 July, 2020; v1 submitted 22 February, 2020; originally announced February 2020.

Comments: v3 added results on (locally) compact subgroups of the map** class group suggested by Mladen Bestvina. Also made minor edits according to the referee report. 8 pages

Counting minimal surfaces in negatively curved 3-manifolds

Authors: Danny Calegari, Fernando C. Marques, André Neves

Abstract: We introduced an asymptotic quantity that counts area-minimizing surfaces in negatively curved closed 3-manifolds and show that quantity to only be minimized, among all metrics of sectional curvature less than or equal -1, by the hyperbolic metric. We introduced an asymptotic quantity that counts area-minimizing surfaces in negatively curved closed 3-manifolds and show that quantity to only be minimized, among all metrics of sectional curvature less than or equal -1, by the hyperbolic metric. △ Less

Submitted 3 February, 2020; originally announced February 2020.

Comments: 27 pages

MSC Class: 53A10; 57M50

Big map** class groups and rigidity of the simple circle

Authors: Danny Calegari, Lvzhou Chen

Abstract: Let $Γ$ denote the map** class group of the plane minus a Cantor set. We show that every action of $Γ$ on the circle is either trivial or semi-conjugate to a unique minimal action on the so-called simple circle. Let $Γ$ denote the map** class group of the plane minus a Cantor set. We show that every action of $Γ$ on the circle is either trivial or semi-conjugate to a unique minimal action on the so-called simple circle. △ Less

Submitted 28 July, 2020; v1 submitted 18 July, 2019; originally announced July 2019.

Comments: v3: final version, minor edits according to referee's suggestions. To appear in ETDS. 28 pages, 14 figures

Journal ref: Ergod. Th. Dynam. Sys. 41 (2021) 1961-1987

Extreme points in limit sets

Authors: Danny Calegari, Alden Walker

Abstract: Given an iterated function system of affine dilations with fixed points the vertices of a regular polygon, we characterize which points in the limit set lie on the boundary of its convex hull. Given an iterated function system of affine dilations with fixed points the vertices of a regular polygon, we characterize which points in the limit set lie on the boundary of its convex hull. △ Less

Submitted 16 November, 2018; originally announced November 2018.

Comments: 8 pages, 6 figures

Coxeter groups and random groups

Authors: Danny Calegari

Abstract: For every dimension d, there is an infinite family of convex co-compact reflection groups of isometries of hyperbolic d-space --- the superideal (simplicial and cubical) reflection groups --- with the property that a random group at any density less than a half (or in the few relators model) contains quasiconvex subgroups commensurable with some member of the family, with overwhelming probability. For every dimension d, there is an infinite family of convex co-compact reflection groups of isometries of hyperbolic d-space --- the superideal (simplicial and cubical) reflection groups --- with the property that a random group at any density less than a half (or in the few relators model) contains quasiconvex subgroups commensurable with some member of the family, with overwhelming probability. △ Less

Submitted 4 April, 2015; v1 submitted 6 November, 2014; originally announced November 2014.

Comments: 18 pages, 14 figures; version 2 incorporates referee's corrections

Dipoles and Pixie dust

Authors: Danny Calegari

Abstract: Every closed subset of the Riemann sphere can be approximated in the Hausdorff topology by the Julia set of a rational map. Every closed subset of the Riemann sphere can be approximated in the Hausdorff topology by the Julia set of a rational map. △ Less

Submitted 31 October, 2014; originally announced November 2014.

Comments: 2 pages, 1 figure

Roots, Schottky semigroups, and a proof of Bandt's Conjecture

Authors: Danny Calegari, Sarah Koch, Alden Walker

Abstract: In 1985, Barnsley and Harrington defined a ``Mandelbrot Set'' $\mathcal{M}$ for pairs of similarities --- this is the set of complex numbers $z$ with $0<|z|<1$ for which the limit set of the semigroup generated by the similarities $x \mapsto zx$ and $x \mapsto z(x-1)+1$ is connected. Equivalently, $\mathcal{M}$ is the closure of the set of roots of polynomials with coefficients in… ▽ More In 1985, Barnsley and Harrington defined a ``Mandelbrot Set'' $\mathcal{M}$ for pairs of similarities --- this is the set of complex numbers $z$ with $0<|z|<1$ for which the limit set of the semigroup generated by the similarities $x \mapsto zx$ and $x \mapsto z(x-1)+1$ is connected. Equivalently, $\mathcal{M}$ is the closure of the set of roots of polynomials with coefficients in $\lbrace -1,0,1 \rbrace$. Barnsley and Harrington already noted the (numerically apparent) existence of infinitely many small ``holes'' in $\mathcal{M}$, and conjectured that these holes were genuine. These holes are very interesting, since they are ``exotic'' components of the space of (2 generator) Schottky semigroups. The existence of at least one hole was rigorously confirmed by Bandt in 2002, and he conjectured that the interior points are dense away from the real axis. We introduce the technique of traps to construct and certify interior points of $\mathcal{M}$, and use them to prove Bandt's Conjecture. Furthermore, our techniques let us certify the existence of infinitely many holes in $\mathcal{M}$. △ Less

Submitted 30 October, 2014; originally announced October 2014.

Comments: 66 pages, 27 figures

3-manifolds everywhere

Authors: Danny Calegari, Henry Wilton

Abstract: A random group contains many subgroups which are isomorphic to the fundamental group of a compact hyperbolic 3-manifold with totally geodesic boundary. These subgroups can be taken to be quasi-isometrically embedded. This is true both in the few relators model, and the density model of random groups (at any density less than a half). A random group contains many subgroups which are isomorphic to the fundamental group of a compact hyperbolic 3-manifold with totally geodesic boundary. These subgroups can be taken to be quasi-isometrically embedded. This is true both in the few relators model, and the density model of random groups (at any density less than a half). △ Less

Submitted 21 February, 2017; v1 submitted 28 April, 2014; originally announced April 2014.

Comments: 38 pages, 10 figures; v2: typos corrected; v3: this is the final version accepted for publication

Groups of PL homeomorphisms of cubes

Authors: Danny Calegari, Dale Rolfsen

Abstract: We study algebraic properties of groups of PL or smooth homeomorphisms of unit cubes in any dimension, fixed pointwise on the boundary, and more generally PL or smooth groups acting on manifolds and fixing pointwise a submanifold of codimension 1 (resp. codimension 2), and show that such groups are locally indicable (resp. circularly orderable). We also give many examples of interesting groups tha… ▽ More We study algebraic properties of groups of PL or smooth homeomorphisms of unit cubes in any dimension, fixed pointwise on the boundary, and more generally PL or smooth groups acting on manifolds and fixing pointwise a submanifold of codimension 1 (resp. codimension 2), and show that such groups are locally indicable (resp. circularly orderable). We also give many examples of interesting groups that can act, and discuss some other algebraic constraints that such groups must satisfy, including the fact that a group of PL homeomorphisms of the n-cube (fixed pointwise on the boundary) contains no elements that are more than exponentially distorted. △ Less

Submitted 2 January, 2014; originally announced January 2014.

Comments: 23 pages, 3 figures

Counting subgraphs in hyperbolic graphs with symmetry

Authors: Danny Calegari, Koji Fujiwara

Abstract: This note addresses some questions that arise in the series of works by Kyoji Saito on the growth functions of graphs. We study "hyperbolike" graphs, which include Cayley graphs of hyperbolic groups. We generalize some well-known results on hyperbolic groups to the hyperbolike setting, including rationality of generating functions, and sharp estimates on the growth rate of vertices. We then apply… ▽ More This note addresses some questions that arise in the series of works by Kyoji Saito on the growth functions of graphs. We study "hyperbolike" graphs, which include Cayley graphs of hyperbolic groups. We generalize some well-known results on hyperbolic groups to the hyperbolike setting, including rationality of generating functions, and sharp estimates on the growth rate of vertices. We then apply these results to confirm a conjecture of Saito on the "opposite series", which was originally posed for hyperbolic groups. △ Less

Submitted 18 November, 2013; originally announced November 2013.

Comments: 12 pages

Random groups contain surface subgroups

Authors: Danny Calegari, Alden Walker

Abstract: A random group contains many quasiconvex surface subgroups. A random group contains many quasiconvex surface subgroups. △ Less

Submitted 27 January, 2014; v1 submitted 8 April, 2013; originally announced April 2013.

Comments: 37 pages, 24 figures; version 2 incorporates referee comments

Journal ref: Jour. Amer. Math. Soc. 28 (2015), 383-419

Random graphs of free groups contain surface subgroups

Authors: Danny Calegari, Henry Wilton

Abstract: A random graph of free groups contains a surface subgroup A random graph of free groups contains a surface subgroup △ Less

Submitted 11 March, 2013; originally announced March 2013.

Comments: 13 pages

On stable commutator length in hyperelliptic map** class groups

Authors: Danny Calegari, Naoyuki Monden, Masatoshi Sato

Abstract: We give a new upper bound on the stable commutator length of Dehn twists in hyperelliptic map** class groups, and determine the stable commutator length of some elements. We also calculate values and the defects of homogeneous quasimorphisms derived from ω-signatures, and show that they are linearly independent in the map** class groups of pointed 2-spheres when the number of points is small. We give a new upper bound on the stable commutator length of Dehn twists in hyperelliptic map** class groups, and determine the stable commutator length of some elements. We also calculate values and the defects of homogeneous quasimorphisms derived from ω-signatures, and show that they are linearly independent in the map** class groups of pointed 2-spheres when the number of points is small. △ Less

Submitted 26 December, 2012; originally announced December 2012.

Comments: 27 pages, 11 figures

MSC Class: 57M07; 20F12; 57N05

Journal ref: Pacific J. Math. 272 (2014) 323-351

Surface subgroups from linear programming

Authors: Danny Calegari, Alden Walker

Abstract: We show that certain classes of graphs of free groups contain surface subgroups, including groups with positive $b_2$ obtained by doubling free groups along collections of subgroups, and groups obtained by "random" ascending HNN extensions of free groups. A special case is the HNN extension associated to the endomorphism of a rank 2 free group sending a to ab and b to ba; this example (and the ran… ▽ More We show that certain classes of graphs of free groups contain surface subgroups, including groups with positive $b_2$ obtained by doubling free groups along collections of subgroups, and groups obtained by "random" ascending HNN extensions of free groups. A special case is the HNN extension associated to the endomorphism of a rank 2 free group sending a to ab and b to ba; this example (and the random examples) answer in the negative well-known questions of Sapir. We further show that the unit ball in the Gromov norm (in dimension 2) of a double of a free group along a collection of subgroups is a finite-sided rational polyhedron, and that every rational class is virtually represented by an extremal surface subgroup. These results are obtained by a mixture of combinatorial, geometric, and linear programming techniques. △ Less

Submitted 10 July, 2014; v1 submitted 11 December, 2012; originally announced December 2012.

Comments: version 2; 30 pages, 16 figures. This version abridged for publication; for applications to counting quasimorphisms and flat surfaces see version 1

Journal ref: Duke Math. J. 164, no. 5 (2015), 933-972

Certifying incompressibility of non-injective surfaces with scl

Authors: Danny Calegari

Abstract: Cooper-Manning and Louder gave examples of maps of surface groups to PSL(2,C) which are not injective, but are incompressible (i.e. no simple loop is in the kernel). We construct more examples with very simple certificates for their incompressibility arising from the theory of stable commutator length. Cooper-Manning and Louder gave examples of maps of surface groups to PSL(2,C) which are not injective, but are incompressible (i.e. no simple loop is in the kernel). We construct more examples with very simple certificates for their incompressibility arising from the theory of stable commutator length. △ Less

Submitted 19 October, 2012; v1 submitted 8 December, 2011; originally announced December 2011.

Comments: 5 pages; version 2 incorporates referee's suggestions

Journal ref: Pacific J. Math. 262 (2013), no. 2, 257-262

The ergodic theory of hyperbolic groups

Authors: Danny Calegari

Abstract: These notes are a self-contained introduction to the use of dynamical and probabilistic methods in the study of hyperbolic groups. Most of this material is standard; however some of the proofs given are new, and some results are proved in greater generality than have appeared in the literature. These notes originated in a minicourse given at a workshop in Melbourne, July 11-15 2011. These notes are a self-contained introduction to the use of dynamical and probabilistic methods in the study of hyperbolic groups. Most of this material is standard; however some of the proofs given are new, and some results are proved in greater generality than have appeared in the literature. These notes originated in a minicourse given at a workshop in Melbourne, July 11-15 2011. △ Less

Submitted 2 May, 2012; v1 submitted 31 October, 2011; originally announced November 2011.

Comments: 37 pages, 5 figures; incorporates referee's comments

MSC Class: 20F10; 20F32; 20F67; 37D20; 60B15; 60J50; 68Q70

Journal ref: Contemp. Math. 597 (2013), 15-52

Ziggurats and rotation numbers

Authors: Danny Calegari, Alden Walker

Abstract: We establish the existence of new rigidity and rationality phenomena in the theory of nonabelian group actions on the circle, and introduce tools to translate questions about the existence of actions with prescribed dynamics into finite combinatorics. A special case of our theory gives a very short new proof of Naimi's theorem (i.e. the conjecture of Jankins-Neumann) which was the last step in the… ▽ More We establish the existence of new rigidity and rationality phenomena in the theory of nonabelian group actions on the circle, and introduce tools to translate questions about the existence of actions with prescribed dynamics into finite combinatorics. A special case of our theory gives a very short new proof of Naimi's theorem (i.e. the conjecture of Jankins-Neumann) which was the last step in the classification of taut foliations of Seifert fibered spaces. △ Less

Submitted 3 December, 2011; v1 submitted 1 October, 2011; originally announced October 2011.

Comments: 32 pages, 9 figures; v4: incorporates referee's comments

MSC Class: 37E45; 58F10; 58D05

Journal ref: J. Mod. Dynamics 5 (2011), no. 4, 711-746

Random rigidity in the free group

Authors: Danny Calegari, Alden Walker

Abstract: We prove a rigidity theorem for the geometry of the unit ball in random subspaces of the scl norm in B_1^H of a free group. In a free group F of rank k, a random word w of length n (conditioned to lie in [F,F]) has scl(w)=log(2k-1)n/6log(n) + o(n/log(n)) with high probability, and the unit ball in a subspace spanned by d random words of length O(n) is C^0 close to a (suitably affinely scaled) octa… ▽ More We prove a rigidity theorem for the geometry of the unit ball in random subspaces of the scl norm in B_1^H of a free group. In a free group F of rank k, a random word w of length n (conditioned to lie in [F,F]) has scl(w)=log(2k-1)n/6log(n) + o(n/log(n)) with high probability, and the unit ball in a subspace spanned by d random words of length O(n) is C^0 close to a (suitably affinely scaled) octahedron. A conjectural generalization to hyperbolic groups and manifolds (discussed in the appendix) would show that the length of a random geodesic in a hyperbolic manifold can be recovered from the bounded cohomology of the fundamental group. △ Less

Submitted 28 March, 2013; v1 submitted 10 April, 2011; originally announced April 2011.

Comments: 28 pages, 9 figures; version 2 incorporates referee's comments

Journal ref: Geom. Topol. 17 (2013), 1707-1744

Isometric endomorphisms of free groups

Authors: Danny Calegari, Alden Walker

Abstract: An arbitrary homomorphism between groups is nonincreasing for stable commutator length, and there are infinitely many (injective) homomorphisms between free groups which strictly decrease the stable commutator length of some elements. However, we show in this paper that a random homomorphism between free groups is almost surely an isometry for stable commutator length for every element; in particu… ▽ More An arbitrary homomorphism between groups is nonincreasing for stable commutator length, and there are infinitely many (injective) homomorphisms between free groups which strictly decrease the stable commutator length of some elements. However, we show in this paper that a random homomorphism between free groups is almost surely an isometry for stable commutator length for every element; in particular, the unit ball in the scl norm of a free group admits an enormous number of exotic isometries. Using similar methods, we show that a random fatgraph in a free group is extremal (i.e. is an absolute minimizer for relative Gromov norm) for its boundary; this implies, for instance, that a random element of a free group with commutator length at most n has commutator length exactly n and stable commutator length exactly n-1/2. Our methods also let us construct explicit (and computable) quasimorphisms which certify these facts. △ Less

Submitted 27 October, 2011; v1 submitted 20 January, 2011; originally announced January 2011.

Comments: 26 pages, 6 figures; minor typographical edits for final published version

MSC Class: 20F65; 20J05; 20E05; 20P05; 57M07

Journal ref: New York J. Math. 17 (2011), 713-743

Integer hulls of linear polyhedra and scl in families

Authors: Danny Calegari, Alden Walker

Abstract: The integer hull of a polyhedron is the convex hull of the integer points contained in it. We show that the vertices of the integer hulls of a rational family of polyhedra of size O(n) have quasipolynomial coordinates. As a corollary, we show that the stable commutator length of elements in a surgery family is a ratio of quasipolynomials, and that unit balls in the scl norm quasi-converge in finit… ▽ More The integer hull of a polyhedron is the convex hull of the integer points contained in it. We show that the vertices of the integer hulls of a rational family of polyhedra of size O(n) have quasipolynomial coordinates. As a corollary, we show that the stable commutator length of elements in a surgery family is a ratio of quasipolynomials, and that unit balls in the scl norm quasi-converge in finite dimensional surgery families. △ Less

Submitted 10 December, 2011; v1 submitted 5 November, 2010; originally announced November 2010.

Comments: 18 pages, 3 figures; v3 includes referee's suggestions

MSC Class: 11P21; 11H06; 57M07; 20F65; 20J05

Journal ref: Trans. Amer. Math. Soc. 365 (2013), no. 10, 5085-5102

Statistics and compression of scl

Authors: Danny Calegari, Joseph Maher

Abstract: We obtain sharp estimates on the growth rate of stable commutator length on random (geodesic) words, and on random walks, in hyperbolic groups and groups acting nondegenerately on hyperbolic spaces. In either case, we show that with high probability stable commutator length of an element of length $n$ is of order $n/\log{n}$. This establishes quantitative refinements of qualitative results of Be… ▽ More We obtain sharp estimates on the growth rate of stable commutator length on random (geodesic) words, and on random walks, in hyperbolic groups and groups acting nondegenerately on hyperbolic spaces. In either case, we show that with high probability stable commutator length of an element of length $n$ is of order $n/\log{n}$. This establishes quantitative refinements of qualitative results of Bestvina-Fujiwara and others on the infinite dimensionality of 2-dimensional bounded cohomology in groups acting suitably on hyperbolic spaces, in the sense that we can control the geometry of the unit balls in these normed vector spaces (or rather, in random subspaces of their normed duals). As a corollary of our methods, we show that an element obtained by random walk of length $n$ in a map** class group cannot be written as a product of fewer than $O(n/\log{n})$ reducible elements, with probability going to 1 as $n$ goes to infinity. We also show that the translation length on the complex of free factors of a random walk of length $n$ on the outer automorphism group of a free group grows linearly in $n$. △ Less

Submitted 12 February, 2013; v1 submitted 29 August, 2010; originally announced August 2010.

Comments: Minor edits arising from referee's comments; 45 pages

Journal ref: Ergod. Th. Dynam. Sys. 35 (2015) 64-110

Stable W-length

Authors: Danny Calegari, Dong** Zhuang

Abstract: We study stable W-length in groups, especially for W equal to the n-fold commutator gamma_n:=[x_1,[x_2, . . . [x_{n-1},x_n]] . . . ]. We prove that in any perfect group, for any n at least 2 and any element g, the stable commutator length of g is at least as big as 2^{2-n} times the stable gamma_n-length of g. We also establish analogues of Bavard duality for words gamma_n and for beta_2:=[[x,y],[… ▽ More We study stable W-length in groups, especially for W equal to the n-fold commutator gamma_n:=[x_1,[x_2, . . . [x_{n-1},x_n]] . . . ]. We prove that in any perfect group, for any n at least 2 and any element g, the stable commutator length of g is at least as big as 2^{2-n} times the stable gamma_n-length of g. We also establish analogues of Bavard duality for words gamma_n and for beta_2:=[[x,y],[z,w]]. Our proofs make use of geometric properties of the asymptotic cones of verbal subgroups with respect to bi-invariant metrics. In particular, we show that for suitable W, these asymptotic cones contain certain subgroups that are normed vector spaces. △ Less

Submitted 28 March, 2011; v1 submitted 12 August, 2010; originally announced August 2010.

Comments: 24 pages; version 2 incorporates referee's comments

MSC Class: 20E10; 20F12; 20F65; 57M07

Journal ref: Contemp. Math. 560 (2011), 145-169

Chimneys, leopard spots, and the identities of Basmajian and Bridgeman

Authors: Danny Calegari

Abstract: We give a simple geometric argument to derive in a common manner orthospectrum identities of Basmajian and Bridgeman. Our method also considerably simplifies the determination of the summands in these identities. For example, for every odd integer n, there is a rational function q_n of degree 2(n-2) so that if M is a compact hyperbolic manifold of dimension n with totally geodesic boundary S, ther… ▽ More We give a simple geometric argument to derive in a common manner orthospectrum identities of Basmajian and Bridgeman. Our method also considerably simplifies the determination of the summands in these identities. For example, for every odd integer n, there is a rational function q_n of degree 2(n-2) so that if M is a compact hyperbolic manifold of dimension n with totally geodesic boundary S, there is an identity χ(S) = \sum_i q_n(e^{l_i}) where the sum is taken over the orthospectrum of M. When n=3, this has the explicit form \sum_i 1/(e^{2l_i}-1) = -χ(S)/4. △ Less

Submitted 27 July, 2010; v1 submitted 26 May, 2010; originally announced May 2010.

Comments: 6 pages; version 2 incorporates referee's comments

MSC Class: 57M50; 11J06

Journal ref: Algebr. Geom. Topol. 10 (2010) 1857-1863

Bridgeman's orthospectrum identity

Authors: Danny Calegari

Abstract: We give a short derivation of an identity of Bridgeman concerning orthospectra of hyperbolic surfaces. We give a short derivation of an identity of Bridgeman concerning orthospectra of hyperbolic surfaces. △ Less

Submitted 28 June, 2010; v1 submitted 29 March, 2010; originally announced March 2010.

Comments: 5 pages, 3 figures; v3 minor errors corrected

MSC Class: 20H10; 33B10

Journal ref: Top. Proc. 38 (2011) pp. 173-179

Immersed surfaces in the modular orbifold

Authors: Danny Calegari, Joel Louwsma

Abstract: A hyperbolic conjugacy class in the modular group PSL(2,Z) corresponds to a closed geodesic in the modular orbifold. Some of these geodesics virtually bound immersed surfaces, and some do not; the distinction is related to the polyhedral structure in the unit ball of the stable commutator length norm. We prove the following stability theorem: for every hyperbolic element of the modular group, the… ▽ More A hyperbolic conjugacy class in the modular group PSL(2,Z) corresponds to a closed geodesic in the modular orbifold. Some of these geodesics virtually bound immersed surfaces, and some do not; the distinction is related to the polyhedral structure in the unit ball of the stable commutator length norm. We prove the following stability theorem: for every hyperbolic element of the modular group, the product of this element with a sufficiently large power of a parabolic element is represented by a geodesic that virtually bounds an immersed surface. △ Less

Submitted 5 January, 2011; v1 submitted 7 March, 2010; originally announced March 2010.

Comments: 13 pages, 8 figures; version 2 contains minor corrections

MSC Class: 57M07; 20F65; 20H10

Journal ref: Proc. Amer. Math. Soc. 139 (2011) 2295-2308

On fibered commensurability

Authors: Danny Calegari, Hongbin Sun, Shicheng Wang

Abstract: This paper initiates a systematic study of the relation of commensurability of surface automorphisms, or equivalently, fibered commensurability of 3-manifolds fibering over the circle. We show that every hyperbolic fibered commensurability class contains a unique minimal element, whereas the class of Seifert manifolds fibering over the circle consists of a single commensurability class with infini… ▽ More This paper initiates a systematic study of the relation of commensurability of surface automorphisms, or equivalently, fibered commensurability of 3-manifolds fibering over the circle. We show that every hyperbolic fibered commensurability class contains a unique minimal element, whereas the class of Seifert manifolds fibering over the circle consists of a single commensurability class with infinitely many minimal elements. The situation for non-geometric manifolds is more complicated, and we illustrate a range of phenomena that can occur in this context. △ Less

Submitted 28 June, 2010; v1 submitted 1 March, 2010; originally announced March 2010.

Comments: 26 pages, 16 figures; version 2 incorporates referee's comments

MSC Class: 57M50

Journal ref: Pacific J. Math. 250 (2011), no. 2, 287-317

Knots with small rational genus

Authors: Danny Calegari, Cameron Gordon

Abstract: If K is a rationally null-homologous knot in a 3-manifold M, the rational genus of K is the infimum of -χ(S)/2p over all embedded orientable surfaces S in the complement of K whose boundary wraps p times around K for some p (hereafter: S is a p-Seifert surface for K). Knots with very small rational genus can be constructed by "generic" Dehn filling, and are therefore extremely plentiful. In this p… ▽ More If K is a rationally null-homologous knot in a 3-manifold M, the rational genus of K is the infimum of -χ(S)/2p over all embedded orientable surfaces S in the complement of K whose boundary wraps p times around K for some p (hereafter: S is a p-Seifert surface for K). Knots with very small rational genus can be constructed by "generic" Dehn filling, and are therefore extremely plentiful. In this paper we show that knots with rational genus less than 1/402 are all geometric -- i.e. they may be isotoped into a special form with respect to the geometric decomposition of M -- and give a complete classification. Our arguments are a mixture of hyperbolic geometry, combinatorics, and a careful study of the interaction of small p-Seifert surfaces with essential subsurfaces in M of non-negative Euler characteristic. △ Less

Submitted 26 December, 2012; v1 submitted 9 December, 2009; originally announced December 2009.

Comments: 38 pages, 3 figures; version 3 corrects minor typos; keywords: knots, rational genus

MSC Class: 57M50; 57M27

Journal ref: Comment. Math. Helv. 88 (2013) 85-130

Quasimorphisms and laws

Authors: Danny Calegari

Abstract: Stable commutator length vanishes in any group that obeys a law. Stable commutator length vanishes in any group that obeys a law. △ Less

Submitted 11 January, 2010; v1 submitted 26 September, 2009; originally announced September 2009.

Comments: 3 pages; version 2 addresses referee's comments

MSC Class: 57M07; 20F65; 20E10

Journal ref: Algebr. Geom. Topol. 10 (2010), no. 1, 215-217

Scl, sails and surgery

Authors: Danny Calegari

Abstract: We establish a close connection between stable commutator length in free groups and the geometry of sails (roughly, the boundary of the convex hull of the set of integer lattice points) in integral polyhedral cones. This connection allows us to show that the scl norm is piecewise rational linear in free products of Abelian groups, and that it can be computed via integer programming. Furthermore, w… ▽ More We establish a close connection between stable commutator length in free groups and the geometry of sails (roughly, the boundary of the convex hull of the set of integer lattice points) in integral polyhedral cones. This connection allows us to show that the scl norm is piecewise rational linear in free products of Abelian groups, and that it can be computed via integer programming. Furthermore, we show that the scl spectrum of nonabelian free groups contains elements congruent to every rational number modulo $\mathbb{Z}$, and contains well-ordered sequences of values with ordinal type $ω^ω$. Finally, we study families of elements $w(p)$ in free groups obtained by surgery on a fixed element $w$ in a free product of Abelian groups of higher rank, and show that $\scl(w(p)) \to \scl(w)$ as $p \to \infty$. △ Less

Submitted 23 November, 2010; v1 submitted 21 July, 2009; originally announced July 2009.

Comments: 23 pages, 4 figures; version 3 corrects minor typos

MSC Class: 57M07; 20F65; 20J05; 20J06; 20F12; 11J70

Journal ref: Jour. Topology 4 (2011), no. 2, 305-326

The Euler class of planar groups

Authors: Danny Calegari

Abstract: This is an exposition of the homological classification of actions of surface groups on the plane, in every degree of smoothness. This is an exposition of the homological classification of actions of surface groups on the plane, in every degree of smoothness. △ Less

Submitted 10 October, 2008; originally announced October 2008.

Comments: 9 pages, 2 figures

MSC Class: 57M60; 37C85; 37E30

Journal ref: Contemp. Math. 498 (2009), 141-149

Large scale geometry of commutator subgroups

Authors: Danny Calegari, Dong** Zhuang

Abstract: Let G be a finitely presented group, and G' its commutator subgroup. Let C be the Cayley graph of G' with all commutators in G as generators. Then C is large scale simply connected. Furthermore, if G is a torsion-free nonelementary word-hyperbolic group, C is one-ended. Hence (in this case), the asymptotic dimension of C is at least 2. Let G be a finitely presented group, and G' its commutator subgroup. Let C be the Cayley graph of G' with all commutators in G as generators. Then C is large scale simply connected. Furthermore, if G is a torsion-free nonelementary word-hyperbolic group, C is one-ended. Hence (in this case), the asymptotic dimension of C is at least 2. △ Less

Submitted 27 October, 2008; v1 submitted 29 July, 2008; originally announced July 2008.

Comments: 12 pages, 2 figures; version 2 incorporates referee's comments

MSC Class: 20F65; 57M07

Journal ref: Algebr. Geom. Topol. 8 (2008) 2131-2146

Faces of the scl norm ball

Authors: Danny Calegari

Abstract: Let F be the fundamental group of S, where S is a compact, connected, oriented surface with negative Euler characteristic and nonempty boundary. (1) The projective class of the chain \partial S in B_1(F) intersects the interior of a codimension one face of the unit ball in the stable commutator length pseudo-norm. (2) The unique homogeneous quasimorphism on F dual to this face (up to scale and… ▽ More Let F be the fundamental group of S, where S is a compact, connected, oriented surface with negative Euler characteristic and nonempty boundary. (1) The projective class of the chain \partial S in B_1(F) intersects the interior of a codimension one face of the unit ball in the stable commutator length pseudo-norm. (2) The unique homogeneous quasimorphism on F dual to this face (up to scale and elements of H^1) is the rotation quasimorphism associated to the action of F on the ideal boundary of the hyperbolic plane, coming from a hyperbolic structure on S. These facts follow from the fact that every homologically trivial 1-chain in S rationally cobounds an immersed surface with a sufficiently large multiple of the boundary. This is true even if S has no boundary. △ Less

Submitted 22 January, 2009; v1 submitted 2 July, 2008; originally announced July 2008.

Comments: 19 pages, 5 figures; v.3 incorporates referees suggestions

MSC Class: 20F65; 20F67; 20F12; 20J05; 57D40; 57M07

Journal ref: Geom. Topol. 13 (2009) 1313-1336

Combable functions, quasimorphisms, and the central limit theorem

Authors: Danny Calegari, Koji Fujiwara

Abstract: A function on a discrete group is weakly combable if its discrete derivative with respect to a combing can be calculated by a finite state automaton. A weakly combable function is bicombable if it is Lipschitz in both the left and right invariant word metrics. Examples of bicombable functions on word-hyperbolic groups include (i) homomorphisms to Z (ii) word length with respect to a finite gen… ▽ More A function on a discrete group is weakly combable if its discrete derivative with respect to a combing can be calculated by a finite state automaton. A weakly combable function is bicombable if it is Lipschitz in both the left and right invariant word metrics. Examples of bicombable functions on word-hyperbolic groups include (i) homomorphisms to Z (ii) word length with respect to a finite generating set (iii) most known explicit constructions of quasimorphisms (e.g. the Epstein-Fujiwara counting quasimorphisms) We show that bicombable functions on word-hyperbolic groups satisfy a central limit theorem: if \barφ_n is the value of φon a random element of word length n (in a certain sense), there are E and σfor which there is convergence in the sense of distribution n^{-1/2}(\barφ_n - nE) \to N(0,σ), where N(0,σ) denotes the normal distribution with standard deviation σ. As a corollary, we show that if S_1 and S_2 are any two finite generating sets for G, there is an algebraic number lambda_{1,2} depending on S_1 and S_2 such that almost every word of length n in the S_1 metric has word length nλ_{1,2} in the S_2 metric, with error of size O(\sqrt{n}). △ Less

Submitted 16 June, 2009; v1 submitted 13 May, 2008; originally announced May 2008.

Comments: 26 pages; version 3: typos corrected, referee's comments incorporated

MSC Class: 57M07; 20F65; 37B10; 37D40

Journal ref: Ergodic Theory Dynam. Systems 30 (2010), no. 5, 1343-1369

Surface subgroups from homology

Authors: Danny Calegari

Abstract: Let G be a word-hyperbolic group, obtained as a graph of free groups amalgamated along cyclic subgroups. If H_2(G;Q) is nonzero, then G contains a closed hyperbolic surface subgroup. Moreover, the unit ball of the Gromov-Thurston norm on H_2(G;R) is a finite-sided rational polyhedron. Let G be a word-hyperbolic group, obtained as a graph of free groups amalgamated along cyclic subgroups. If H_2(G;Q) is nonzero, then G contains a closed hyperbolic surface subgroup. Moreover, the unit ball of the Gromov-Thurston norm on H_2(G;R) is a finite-sided rational polyhedron. △ Less

Submitted 31 March, 2008; v1 submitted 28 March, 2008; originally announced March 2008.

Comments: 9 pages; version 2: typos corrected

MSC Class: 20F65; 20F67; 57M07

Journal ref: Geom. Topol. 12 (2008), 1995-2007

Positivity of the universal pairing in 3 dimensions

Authors: Danny Calegari, Michael Freedman, Kevin Walker

Abstract: Associated to a closed, oriented surface S is the complex vector space with basis the set of all compact, oriented 3-manifolds which it bounds. Gluing along S defines a Hermitian pairing on this space with values in the complex vector space with basis all closed, oriented 3-manifolds. The main result in this paper is that this pairing is positive, i.e. that the result of pairing a nonzero vector… ▽ More Associated to a closed, oriented surface S is the complex vector space with basis the set of all compact, oriented 3-manifolds which it bounds. Gluing along S defines a Hermitian pairing on this space with values in the complex vector space with basis all closed, oriented 3-manifolds. The main result in this paper is that this pairing is positive, i.e. that the result of pairing a nonzero vector with itself is nonzero. This has bearing on the question of what kinds of topological information can be extracted in principle from unitary 2+1 dimensional TQFTs. The proof involves the construction of a suitable complexity function c on all closed 3-manifolds, satisfying a gluing axiom which we call the topological Cauchy-Schwarz inequality, namely that c(AB) <= max(c(AA),c(BB)) for all A,B which bound S, with equality if and only if A=B. The complexity function c involves input from many aspects of 3-manifold topology, and in the process of establishing its key properties we obtain a number of results of independent interest. For example, we show that when two finite volume hyperbolic 3-manifolds are glued along an incompressible acylindrical surface, the resulting hyperbolic 3-manifold has minimal volume only when the gluing can be done along a totally geodesic surface; this generalizes a similar theorem for closed hyperbolic 3-manifolds due to Agol-Storm-Thurston. △ Less

Submitted 4 June, 2009; v1 submitted 21 February, 2008; originally announced February 2008.

Comments: 83 pages, 21 figures; version 3: incorporates referee's comments and corrections

MSC Class: 57R56; 57M50; 57N10

Journal ref: Jour. Amer. Math. Soc. 23 (2010), no. 1, 107-188

Nonsmoothable, locally indicable group actions on the interval

Authors: Danny Calegari

Abstract: By the Thurston stability theorem, a group of C^1 orientation-preserving diffeomorphisms of the closed unit interval is locally indicable. We show that the local order structure of orbits gives a stronger criterion for nonsmoothability that can be used to produce new examples of locally indicable groups of homeomorphisms of the interval that are not conjugate to groups of C^1 diffeomorphisms. By the Thurston stability theorem, a group of C^1 orientation-preserving diffeomorphisms of the closed unit interval is locally indicable. We show that the local order structure of orbits gives a stronger criterion for nonsmoothability that can be used to produce new examples of locally indicable groups of homeomorphisms of the interval that are not conjugate to groups of C^1 diffeomorphisms. △ Less

Submitted 19 February, 2008; originally announced February 2008.

Comments: 4 pages, 1 figure

MSC Class: 37C85; 37E05

Journal ref: Algebr. Geom. Topol. 8 (2008) 609-613

Stable commutator length is rational in free groups

Authors: Danny Calegari

Abstract: For any group, there is a natural (pseudo-)norm on the vector space B1 of real (group) 1-boundaries, called the stable commutator length norm. This norm is closely related to, and can be thought of as a relative version of, the Gromov (pseudo)-norm on (ordinary) homology. We show that for a free group, the unit ball of this pseudo-norm is a rational polyhedron. It follows that stable commutato… ▽ More For any group, there is a natural (pseudo-)norm on the vector space B1 of real (group) 1-boundaries, called the stable commutator length norm. This norm is closely related to, and can be thought of as a relative version of, the Gromov (pseudo)-norm on (ordinary) homology. We show that for a free group, the unit ball of this pseudo-norm is a rational polyhedron. It follows that stable commutator length in free groups takes on only rational values. Moreover every element of the commutator subgroup of a free group rationally bounds an injective map of a surface group. The proof of these facts yields an algorithm to compute stable commutator length in free groups. Using this algorithm, we answer a well-known question of Bavard in the negative, constructing explicit examples of elements in free groups whose stable commutator length is not a half-integer. △ Less

Submitted 13 March, 2009; v1 submitted 10 February, 2008; originally announced February 2008.

Comments: 21 pages, 4 figures; version 2 incorporates referees' suggestions

MSC Class: 57M07; 20F65; 20J05; 20J06; 20F12

Journal ref: Jour. Amer. Math. Soc. 22 (2009), no. 4, 941-961

Word length in surface groups with characteristic generating sets

Authors: Danny Calegari

Abstract: A subset of a group is characteristic if it is invariant under every automorphism of the group. We study word length in fundamental groups of closed hyperbolic surfaces with respect to characteristic generating sets consisting of a finite union of orbits of the automorphism group, and show that the translation length of any element with nonzero crossing number is positive, and bounded below by a… ▽ More A subset of a group is characteristic if it is invariant under every automorphism of the group. We study word length in fundamental groups of closed hyperbolic surfaces with respect to characteristic generating sets consisting of a finite union of orbits of the automorphism group, and show that the translation length of any element with nonzero crossing number is positive, and bounded below by a constant depending only (and explicitly) on a bound on the crossing numbers of generating elements. This answers a question of B. Farb. △ Less

Submitted 10 December, 2007; v1 submitted 28 April, 2007; originally announced April 2007.

Comments: 6 pages

MSC Class: 20F69; 57M07

Journal ref: Proc. Amer. Math. Soc. 136 (2008), no. 7, 2631-2637

Stable commutator length in word-hyperbolic groups

Authors: Danny Calegari, Koji Fujiwara

Abstract: In this paper we obtain uniform positive lower bounds on stable commutator length in word-hyperbolic groups and certain groups acting on hyperbolic spaces (namely the map** class group acting on the complex of curves, and an amalgamated free product acting on the Bass-Serre tree). If G is a word hyperbolic group which is delta hyperbolic with respect to a symmetric generating set S, then there… ▽ More In this paper we obtain uniform positive lower bounds on stable commutator length in word-hyperbolic groups and certain groups acting on hyperbolic spaces (namely the map** class group acting on the complex of curves, and an amalgamated free product acting on the Bass-Serre tree). If G is a word hyperbolic group which is delta hyperbolic with respect to a symmetric generating set S, then there is a positive constant C depending only on delta and on |S| such that every element of G either has a power which is conjugate to its inverse, or else the stable commutator length is at least equal to C. By Bavard's theorem, these lower bounds on stable commutator length imply the existence of quasimorphisms with uniform control on the defects; however, we show how to construct such quasimorphisms directly. We also prove various separation theorems, constructing homogeneous quasimorphisms (again with uniform estimates) which are positive on some prescribed element while vanishing on some family of independent elements whose translation lengths are uniformly bounded. Finally, we prove that the first accumulation point for stable commutator length in a torsion-free word hyperbolic group is contained between 1/12 and 1/2. This gives a universal sense of what it means for a conjugacy class in a hyperbolic group to have a small stable commutator length, and can be thought of as a kind of "homological Margulis lemma". △ Less

Submitted 26 June, 2009; v1 submitted 28 November, 2006; originally announced November 2006.

Comments: 27 pages, 1 figures; version 4: incorporates referee's suggestions

MSC Class: 20F32; 57M07

Journal ref: Groups, Geometry, Dynamics 4 (2010), no. 1, 59-90

Denominator bounds in Thompson-like groups and flows

Authors: Danny Calegari

Abstract: Let T denote Thompson's group of piecewise 2-adic linear homeomorphisms of the circle. Ghys and Sergiescu showed that the rotation number of every element of T is rational, but their proof is very indirect. We give here a short, direct proof using train tracks, which generalizes to PL homeomorphism of the circle with rational break points and derivatives which are powers of some fixed integer, a… ▽ More Let T denote Thompson's group of piecewise 2-adic linear homeomorphisms of the circle. Ghys and Sergiescu showed that the rotation number of every element of T is rational, but their proof is very indirect. We give here a short, direct proof using train tracks, which generalizes to PL homeomorphism of the circle with rational break points and derivatives which are powers of some fixed integer, and also to certain flows on surfaces which we call "Thompson-like". We also obtain an explicit upper bound on the smallest period of a fixed point in terms of data which can be read off from the combinatorics of the homeomorphism △ Less

Submitted 25 January, 2007; v1 submitted 20 September, 2006; originally announced September 2006.

Comments: 8 pages, 3 figures; final version 3 corrects an omission in a definition

MSC Class: 37E10; 37E45

Journal ref: Groups, Geometry, Dynamics 1 (2007) no. 2, 101-109

Stable commutator length in subgroups of PL(I)

Authors: Danny Calegari

Abstract: Let G be a subgroup of PL(I). Then the stable commutator length of every element of [G,G] is zero. Let G be a subgroup of PL(I). Then the stable commutator length of every element of [G,G] is zero. △ Less

Submitted 16 August, 2006; v1 submitted 19 July, 2006; originally announced July 2006.

Comments: 6 pages; version 2 incorporates referee's comments

Journal ref: Pacific J. Math. 232 (2007) no. 3, 257-262

Length and stable length

Authors: Danny Calegari

Abstract: This paper establishes the existence of a gap for the stable length spectrum on a hyperbolic manifold. If M is a hyperbolic n-manifold, for every positive e there is a positive d depending only on n and on e such that an element of pi_1(M) with stable commutator length less than d is represented by a geodesic with length less than e. Moreover, for any such M, the first accumulation point for sta… ▽ More This paper establishes the existence of a gap for the stable length spectrum on a hyperbolic manifold. If M is a hyperbolic n-manifold, for every positive e there is a positive d depending only on n and on e such that an element of pi_1(M) with stable commutator length less than d is represented by a geodesic with length less than e. Moreover, for any such M, the first accumulation point for stable commutator length on conjugacy classes is at least 1/12. Conversely, "most" short geodesics in hyperbolic 3-manifolds have arbitrarily small stable commutator length. Thus stable commutator length is typically good at detecting the thick-thin decomposition of M, and 1/12 can be thought of as a kind of homological Margulis constant. △ Less

Submitted 5 June, 2007; v1 submitted 15 May, 2006; originally announced May 2006.

Comments: 22 pages, 2 figures; version 4: incorporates referee's suggestions

MSC Class: 57M50; 20F65

Journal ref: Geom. Func. Anal. 18 (2008), no. 1, 50-76