Showing 1–20 of 20 results for author: Forester, M

Topological properties of reflectionless canonical systems

Authors: Max Forester, Christian Remling

Abstract: We study the topological properties of spaces of reflectionless canonical systems. In this analysis, a key role is played by a natural action of the group $\operatorname{PSL}(2,\mathbb R)$ on these spaces. We study the topological properties of spaces of reflectionless canonical systems. In this analysis, a key role is played by a natural action of the group $\operatorname{PSL}(2,\mathbb R)$ on these spaces. △ Less

Submitted 7 September, 2024; originally announced September 2024.

MSC Class: 34L40 47B39 81Q10

Finite-index accessibility of groups

Authors: Max Forester, Anthony Martino

Abstract: We prove an accessibility theorem for finite-index splittings of groups. Given a finitely presented group G there is a number n(G) such that, for every reduced locally finite G-tree T with finitely generated stabilizers, T/G has at most n(G) vertices and edges. We also show that deformation spaces of locally finite trees (with finitely generated stabilizers) are maximal in the partial ordering of… ▽ More We prove an accessibility theorem for finite-index splittings of groups. Given a finitely presented group G there is a number n(G) such that, for every reduced locally finite G-tree T with finitely generated stabilizers, T/G has at most n(G) vertices and edges. We also show that deformation spaces of locally finite trees (with finitely generated stabilizers) are maximal in the partial ordering of domination of G-trees. △ Less

Submitted 15 April, 2024; originally announced April 2024.

Comments: 10 pages

MSC Class: 20E08; 20F65

On stable commutator length of non-filling curves in surfaces

Authors: Max Forester, Justin Malestein

Abstract: We give a new proof of rationality of stable commutator length (scl) of certain elements in surface groups: those represented by curves that do not fill the surface. Such elements always admit extremal surfaces for scl. These results also hold more generally for non-filling 1-chains. We give a new proof of rationality of stable commutator length (scl) of certain elements in surface groups: those represented by curves that do not fill the surface. Such elements always admit extremal surfaces for scl. These results also hold more generally for non-filling 1-chains. △ Less

Submitted 14 November, 2023; v1 submitted 28 December, 2022; originally announced December 2022.

Comments: 17 pages; three figures have been added, along with some minor edits

MSC Class: 57M07; 20F65; 20J05

Journal ref: Proceedings of the Royal Society of Edinburgh: Section A Mathematics 155 (2025) 975-992

Incommensurable lattices in Baumslag-Solitar complexes

Authors: Max Forester

Abstract: This paper concerns locally finite 2-complexes $X_{m,n}$ which are combinatorial models for the Baumslag-Solitar groups $BS(m,n)$. We show that, in many cases, the locally compact group Aut($X_{m,n}$) contains incommensurable uniform lattices. The lattices we construct also admit isomorphic Cayley graphs and are finitely presented, torsion-free, and coherent. This paper concerns locally finite 2-complexes $X_{m,n}$ which are combinatorial models for the Baumslag-Solitar groups $BS(m,n)$. We show that, in many cases, the locally compact group Aut($X_{m,n}$) contains incommensurable uniform lattices. The lattices we construct also admit isomorphic Cayley graphs and are finitely presented, torsion-free, and coherent. △ Less

Submitted 11 January, 2024; v1 submitted 29 July, 2022; originally announced July 2022.

Comments: v2: 34 pages. The notion of depth profile has been modified slightly to exclude elliptic elements. There is some new exposition with additional references

MSC Class: 20E08; 20F65

Genus bounds in right-angled Artin groups

Authors: Max Forester, Ignat Soroko, Jing Tao

Abstract: We show that in any right-angled Artin group whose defining graph has chromatic number $k$, every non-trivial element has stable commutator length at least $1/(6k)$. Secondly, if the defining graph does not contain triangles, then every non-trivial element has stable commutator length at least $1/20$. These results are obtained via an elementary geometric argument based on earlier work of Culler. We show that in any right-angled Artin group whose defining graph has chromatic number $k$, every non-trivial element has stable commutator length at least $1/(6k)$. Secondly, if the defining graph does not contain triangles, then every non-trivial element has stable commutator length at least $1/20$. These results are obtained via an elementary geometric argument based on earlier work of Culler. △ Less

Submitted 7 March, 2018; v1 submitted 28 October, 2017; originally announced October 2017.

Comments: V.2: a second main theorem was added and the title changed. 16 pages, 4 figures. V.1: 14 pages, 4 figures

MSC Class: 57M07; 20F65; 20F67

Journal ref: Publ. Mat. 64 (2020), no. 1, 233-253

Veech surfaces and simple closed curves

Authors: Max Forester, Robert Tang, Jing Tao

Abstract: We study the SL(2,R)-infimal lengths of simple closed curves on half-translation surfaces. Our main result is a characterization of Veech surfaces in terms of these lengths. We also revisit the "no small virtual triangles" theorem of Smillie and Weiss and establish the following dichotomy: the virtual triangle area spectrum of a half-translation surface either has a gap above zero or is dense in a… ▽ More We study the SL(2,R)-infimal lengths of simple closed curves on half-translation surfaces. Our main result is a characterization of Veech surfaces in terms of these lengths. We also revisit the "no small virtual triangles" theorem of Smillie and Weiss and establish the following dichotomy: the virtual triangle area spectrum of a half-translation surface either has a gap above zero or is dense in a neighborhood of zero. These results make use of the auxiliary polygon associated to a curve on a half-translation surface, as introduced by Tang and Webb. △ Less

Submitted 9 January, 2017; v1 submitted 5 May, 2016; originally announced May 2016.

Comments: 12 pages. v2: added proof of continuity of infimal length functions on quadratic differential space; 16 pages, one figure; to appear in Israel J. Math

Snowflake geometry in CAT(0) groups

Authors: Noel Brady, Max Forester

Abstract: We construct CAT(0) groups containing subgroups whose Dehn functions are given by $x^s$, for a dense set of numbers $s \in [2, \infty)$. This significantly expands the known geometric behavior of subgroups of CAT(0) groups. We construct CAT(0) groups containing subgroups whose Dehn functions are given by $x^s$, for a dense set of numbers $s \in [2, \infty)$. This significantly expands the known geometric behavior of subgroups of CAT(0) groups. △ Less

Submitted 14 August, 2017; v1 submitted 26 February, 2016; originally announced February 2016.

Comments: 48 pages, 13 figures. v2: minor corrections; to appear in Journal of Topology

MSC Class: 20F65; 20F67; 20F69; 20E06; 57M07

Effective quasimorphisms on right-angled Artin groups

Authors: Talia Fernós, Max Forester, Jing Tao

Abstract: We construct new families of quasimorphisms on many groups acting on CAT(0) cube complexes. These quasimorphisms have a uniformly bounded defect of 12, and they "see" all elements that act hyperbolically on the cube complex. We deduce that all such elements have stable commutator length at least 1/24. The group actions for which these results apply include the standard actions of right-angled Ar… ▽ More We construct new families of quasimorphisms on many groups acting on CAT(0) cube complexes. These quasimorphisms have a uniformly bounded defect of 12, and they "see" all elements that act hyperbolically on the cube complex. We deduce that all such elements have stable commutator length at least 1/24. The group actions for which these results apply include the standard actions of right-angled Artin groups on their associated CAT(0) cube complexes. In particular, every non-trivial element of a right-angled Artin group has stable commutator length at least 1/24. These results make use of some new tools that we develop for the study of group actions on CAT(0) cube complexes: the essential characteristic set and equivariant Euclidean embeddings. △ Less

Submitted 27 June, 2018; v1 submitted 17 February, 2016; originally announced February 2016.

Comments: v1: 38 pages, 5 figures. v2: 40 pages, 6 figures. Minor revisions were made, and an error in the proof of Proposition 3.20 has been fixed. To appear in Annales de l'Institut Fourier

MSC Class: 20F65; 20F67; 57M07

The Dehn functions of Stallings-Bieri groups

Authors: William Carter, Max Forester

Abstract: We show that the Stallings-Bieri groups, along with certain other Bestvina-Brady groups, have quadratic Dehn function. We show that the Stallings-Bieri groups, along with certain other Bestvina-Brady groups, have quadratic Dehn function. △ Less

Submitted 1 September, 2016; v1 submitted 24 September, 2015; originally announced September 2015.

Comments: 13 pages, 3 figures. v2: added lemma 4.9, and further minor revisions

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

Authors: Matt Clay, Max Forester, Joel Louwsma

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

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

Comments: v2: minor changes, incorporates referee suggestions; v1: 36 pages, 10 figures

MSC Class: 20F65 (Primary) 20E08; 20F12; 57M07 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 368 (2016) 4751-4785

Turn graphs and extremal surfaces in free groups

Authors: Noel Brady, Matt Clay, Max Forester

Abstract: This note provides an alternate account of Calegari's rationality theorem for stable commutator length in free groups. This note provides an alternate account of Calegari's rationality theorem for stable commutator length in free groups. △ Less

Submitted 27 April, 2011; originally announced April 2011.

Comments: 8 pages, 4 figures

MSC Class: 57M07; 20F65; 20J05

Journal ref: Contemp. Math. 560 (2011) 171-178

Density of isoperimetric spectra

Authors: Noel Brady, Max Forester

Abstract: We show that the set of k-dimensional isoperimetric exponents of finitely presented groups is dense in the interval [1, \infty) for k > 1. Hence there is no higher-dimensional analogue of Gromov's gap (1,2) in the isoperimetric spectrum. We show that the set of k-dimensional isoperimetric exponents of finitely presented groups is dense in the interval [1, \infty) for k > 1. Hence there is no higher-dimensional analogue of Gromov's gap (1,2) in the isoperimetric spectrum. △ Less

Submitted 4 December, 2008; originally announced December 2008.

Comments: 34 pages, 3 figures

MSC Class: 20F65; 20F69; 20E06; 57M07; 53C99

Journal ref: Geom. Topol. 14 (2010) 435-472

On the isomorphism problem for generalized Baumslag-Solitar groups

Authors: Matt Clay, Max Forester

Abstract: Generalized Baumslag-Solitar groups (GBS groups) are groups that act on trees with infinite cyclic edge and vertex stabilizers. Such an action is described by a labeled graph (essentially, the quotient graph of groups). This paper addresses the problem of determining whether two given labeled graphs define isomorphic groups; this is the isomorphism problem for GBS groups. There are two main resu… ▽ More Generalized Baumslag-Solitar groups (GBS groups) are groups that act on trees with infinite cyclic edge and vertex stabilizers. Such an action is described by a labeled graph (essentially, the quotient graph of groups). This paper addresses the problem of determining whether two given labeled graphs define isomorphic groups; this is the isomorphism problem for GBS groups. There are two main results and some applications. First, we find necessary and sufficient conditions for a GBS group to be represented by only finitely many reduced labeled graphs. These conditions can be checked effectively from any labeled graph. Then we show that the isomorphism problem is solvable for GBS groups whose labeled graphs have first Betti number at most one. △ Less

Submitted 12 November, 2008; v1 submitted 10 October, 2007; originally announced October 2007.

Comments: 30 pages. v2: 35 pages, 3 figures; minor revisions and reformatting

MSC Class: 20E08; 20F10; 20F28

Journal ref: Algebr. Geom. Topol. 8 (2008) 2289-2322

Whitehead moves for G-trees

Authors: Matt Clay, Max Forester

Abstract: We generalize the familiar notion of a Whitehead move from Culler and Vogtmann's Outer space to the setting of deformation spaces of G-trees. Specifically, we show that there are two moves, each of which transforms a reduced G-tree into another reduced G-tree, that suffice to relate any two reduced trees in the same deformation space. These two moves further factor into three moves between reduc… ▽ More We generalize the familiar notion of a Whitehead move from Culler and Vogtmann's Outer space to the setting of deformation spaces of G-trees. Specifically, we show that there are two moves, each of which transforms a reduced G-tree into another reduced G-tree, that suffice to relate any two reduced trees in the same deformation space. These two moves further factor into three moves between reduced trees that have simple descriptions in terms of graphs of groups. This result has several applications. △ Less

Submitted 29 August, 2008; v1 submitted 10 October, 2007; originally announced October 2007.

Comments: v1: 9 pages; v2: 10 pages, minor revisions and one added reference

MSC Class: 20E08; 20E06; 20F65

Journal ref: Bull. London Math. Soc. 41 (2009) 205-212

Snowflake groups, Perron-Frobenius eigenvalues, and isoperimetric spectra

Authors: Noel Brady, Martin Bridson, Max Forester, Krishnan Shankar

Abstract: The k-dimensional Dehn (or isoperimetric) function of a group bounds the volume of efficient ball-fillings of k-spheres mapped into k-connected spaces on which the group acts properly and cocompactly; the bound is given as a function of the volume of the sphere. We advance significantly the observed range of behavior for such functions. First, to each non-negative integer matrix P and positive r… ▽ More The k-dimensional Dehn (or isoperimetric) function of a group bounds the volume of efficient ball-fillings of k-spheres mapped into k-connected spaces on which the group acts properly and cocompactly; the bound is given as a function of the volume of the sphere. We advance significantly the observed range of behavior for such functions. First, to each non-negative integer matrix P and positive rational number r, we associate a finite, aspherical 2-complex X_{r,P} and calculate the Dehn function of its fundamental group G_{r,P} in terms of r and the Perron-Frobenius eigenvalue of P. The range of functions obtained includes x^s, where s is an arbitrary rational number greater than or equal to 2. By repeatedly forming multiple HNN extensions of the groups G_{r,P} we exhibit a similar range of behavior among higher-dimensional Dehn functions, proving in particular that for each positive integer k and rational s greater than or equal to (k+1)/k there exists a group with k-dimensional Dehn function x^s. Similar isoperimetric inequalities are obtained for arbitrary manifold pairs (M,\partial M) in addition to (B^{k+1},S^k). △ Less

Submitted 17 September, 2008; v1 submitted 6 August, 2006; originally announced August 2006.

Comments: 42 pages, 8 figures. Version 2: 47 pages, 8 figures; minor revisions and reformatting; to appear in Geom. Topol

MSC Class: 20F65; 20F69; 20E06; 57M07; 57M20; 53C99

Journal ref: Geom. Topol. 13 (2009) 141-187

Splittings of generalized Baumslag-Solitar groups

Authors: Max Forester

Abstract: We study the structure of generalized Baumslag-Solitar groups from the point of view of their (usually non-unique) splittings as fundamental groups of graphs of infinite cyclic groups. We find and characterize certain decompositions of smallest complexity (`fully reduced' decompositions) and give a simplified proof of the existence of deformations. We also prove a finiteness theorem and solve th… ▽ More We study the structure of generalized Baumslag-Solitar groups from the point of view of their (usually non-unique) splittings as fundamental groups of graphs of infinite cyclic groups. We find and characterize certain decompositions of smallest complexity (`fully reduced' decompositions) and give a simplified proof of the existence of deformations. We also prove a finiteness theorem and solve the isomorphism problem for generalized Baumslag-Solitar groups with no non-trivial integral moduli. △ Less

Submitted 11 March, 2006; v1 submitted 2 February, 2005; originally announced February 2005.

Comments: 20 pages; hyperlinked latex. Version 2: minor changes

MSC Class: 20E08 (primary) 20F10; 20E34; 57M07 (secondary)

Journal ref: Geom. Dedicata 121 (2006) 43-59

The adjunction problem over torsion-free groups

Authors: Max Forester, Colin Rourke

Abstract: In this note we prove injectivity and relative asphericity for "layered" systems of equations over torsion-free groups, when the exponent matrix is invertible over Z. We also give elementary geometric proofs of results due to Bogley-Pride and Serre that are used in the proof of the main theorem. In this note we prove injectivity and relative asphericity for "layered" systems of equations over torsion-free groups, when the exponent matrix is invertible over Z. We also give elementary geometric proofs of results due to Bogley-Pride and Serre that are used in the proof of the main theorem. △ Less

Submitted 5 April, 2005; v1 submitted 14 December, 2004; originally announced December 2004.

Comments: 7 pages, hyperlinked latex. Version 2: proof of Serre's theorem added

MSC Class: 20E22; 20F05; 57M20; 57Q05

Journal ref: Published as two papers: PNAS 102 (2005) 12670-1 and Enseign. Math. 51 (2005) 231-7

Diagrams and the second homotopy group

Authors: Max Forester, Colin Rourke

Abstract: We use Klyachko's methods [A funny property of sphere and equations over groups, Comm. in Alg. 21 (1993) 2555--2575] (see also Fenn-Rourke, L'Enseignment Math. 42 (1996) 49--74 and math.GR/9810184 and Cohen-Rourke, math.GR/0009101) to prove that, if a 1-cell and a 2-cell are added to a complex with torsion-free fundamental group, and with the 2-cell attached by an amenable t-shape, then pi_2 cha… ▽ More We use Klyachko's methods [A funny property of sphere and equations over groups, Comm. in Alg. 21 (1993) 2555--2575] (see also Fenn-Rourke, L'Enseignment Math. 42 (1996) 49--74 and math.GR/9810184 and Cohen-Rourke, math.GR/0009101) to prove that, if a 1-cell and a 2-cell are added to a complex with torsion-free fundamental group, and with the 2-cell attached by an amenable t-shape, then pi_2 changes by extension of scalars. It then follows using a result of Bogley and Pride, Proc. Edinburgh Math. Soc. 35 (1992) 1--39, that the resulting fundamental group is also torsion free. We also prove that the normal closure of the attaching word contains no words of smaller complexity. △ Less

Submitted 18 October, 2004; v1 submitted 5 June, 2003; originally announced June 2003.

Comments: 18 pages 8 figures. Version 2: references added and deduction that the new fundamental group is also torsion free

MSC Class: 57M20; 57Q05; 20E22; 20F05

Journal ref: Comm. Anal. Geom. 13 (2005) 801-820

On uniqueness of JSJ decompositions of finitely generated groups

Authors: Max Forester

Abstract: We give an example of two JSJ decompositions of a group that are not related by conjugation, conjugation of edge-inclusions, and slide moves. This answers the question of Rips and Sela stated in "Cyclic splittings of finitely presented groups and the canonical JSJ decomposition," Ann. of Math. 146 (1997), 53-109. On the other hand we observe that any two JSJ decompositions of a group are relat… ▽ More We give an example of two JSJ decompositions of a group that are not related by conjugation, conjugation of edge-inclusions, and slide moves. This answers the question of Rips and Sela stated in "Cyclic splittings of finitely presented groups and the canonical JSJ decomposition," Ann. of Math. 146 (1997), 53-109. On the other hand we observe that any two JSJ decompositions of a group are related by an elementary deformation, and that strongly slide-free JSJ decompositions are genuinely unique. These results hold for the decompositions of Rips and Sela, Dunwoody and Sageev, and Fujiwara and Papasoglu, and also for accessible decompositions. △ Less

Submitted 22 May, 2003; v1 submitted 17 October, 2001; originally announced October 2001.

Comments: 11 pages; shortened and reorganized; mathematical content unchanged

MSC Class: 20F65 (Primary) 20E08; 57M07 (Secondary)

Journal ref: Comment. Math. Helv. 78 (2003) 740-751

Deformation and rigidity of simplicial group actions on trees

Authors: Max Forester

Abstract: We study a notion of deformation for simplicial trees with group actions (G-trees). Here G is a fixed, arbitrary group. Two G-trees are related by a deformation if there is a finite sequence of collapse and expansion moves joining them. We show that this relation on the set of G-trees has several characterizations, in terms of dynamics, coarse geometry, and length functions. Next we study the de… ▽ More We study a notion of deformation for simplicial trees with group actions (G-trees). Here G is a fixed, arbitrary group. Two G-trees are related by a deformation if there is a finite sequence of collapse and expansion moves joining them. We show that this relation on the set of G-trees has several characterizations, in terms of dynamics, coarse geometry, and length functions. Next we study the deformation space of a fixed G-tree X. We show that if X is `strongly slide-free' then it is the unique reduced tree in its deformation space. These methods allow us to extend the rigidity theorem of Bass and Lubotzky to trees that are not locally finite. This yields a unique factorization theorem for certain graphs of groups. We apply the theory to generalized Baumslag-Solitar groups and show that many have canonical decompositions. We also prove a quasi-isometric rigidity theorem for strongly slide-free G-trees. △ Less

Submitted 8 May, 2002; v1 submitted 2 July, 2001; originally announced July 2001.

Comments: Published in Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol6/paper8.abs.html

MSC Class: 20E08; 57M07; 20F65

Journal ref: Geom. Topol. 6 (2002) 219-267