Showing 1–17 of 17 results for author: Day, M B

Quotients of the braid group that are extensions of the symmetric group

Authors: Matthew B. Day, Trevor Nakamura

Abstract: We consider normal subgroups $N$ of the braid group $B_n$ such that the quotient $B_n/N$ is an extension of the symmetric group by an abelian group. We show that, if $n\geq 4$, then there are exactly 8 commensurability classes of such subgroups. We define a Specht subgroup to be a subgroup of this form that is maximal in its commensurability class. We give descriptions of the Specht subgroups in t… ▽ More We consider normal subgroups $N$ of the braid group $B_n$ such that the quotient $B_n/N$ is an extension of the symmetric group by an abelian group. We show that, if $n\geq 4$, then there are exactly 8 commensurability classes of such subgroups. We define a Specht subgroup to be a subgroup of this form that is maximal in its commensurability class. We give descriptions of the Specht subgroups in terms of winding numbers and in terms of infinite generating sets. The quotient of the pure braid group by a Specht subgroup is a module over the symmetric group. We show that the modules arising this way are closely related to Specht modules for the partitions $(n-1,1)$ and $(n-2,2)$, working over the integers. We compute the second cohomology of the symmetric group with coefficients in both of these Specht modules, working over an arbitrary commutative ring. Finally, we determine which of the extensions of the symmetric group arising from Specht subgroups are split extensions. △ Less

Submitted 30 December, 2023; originally announced January 2024.

Comments: 44 pages

MSC Class: 20F36 (Primary) 20J36; 20C30 (Secondary)

A 3-skeleton for a classifying space for the symmetric group

Authors: Matthew B. Day, Trevor Nakamura

Abstract: We construct a 3-dimensional cell complex that is the 3-skeleton for an Eilenberg--MacLane classifying space for the symmetric group $\mathfrak{S}_n$. Our complex starts with the presentation for $\mathfrak{S}_n$ with $n-1$ adjacent transpositions with squaring, commuting, and braid relations, and adds seven classes of 3-cells that fill in certain 2-spheres bounded by these relations. We use a rew… ▽ More We construct a 3-dimensional cell complex that is the 3-skeleton for an Eilenberg--MacLane classifying space for the symmetric group $\mathfrak{S}_n$. Our complex starts with the presentation for $\mathfrak{S}_n$ with $n-1$ adjacent transpositions with squaring, commuting, and braid relations, and adds seven classes of 3-cells that fill in certain 2-spheres bounded by these relations. We use a rewriting system and a combinatorial method of K. Brown to prove the correctness of our construction. Our main application is a computation of the second cohomology of $\mathfrak{S}_n$ in certain twisted coefficient modules; we use this computation in a companion paper to study splitting of extensions related to braid groups. As another application, we give a concrete description of the third homology of $\mathfrak{S}_n$ with untwisted coefficients in $\mathbb{Z}$. △ Less

Submitted 30 December, 2023; originally announced January 2024.

Comments: 58 pages, 4 figures

MSC Class: 20B30 (Primary) 20F05; 20J06 (Secondary)

Calculating the virtual cohomological dimension of the automorphism group of a RAAG

Authors: Matthew B. Day, Andrew W. Sale, Richard D. Wade

Abstract: We describe an algorithm to find the virtual cohomological dimension of the automorphism group of a right-angled Artin group. The algorithm works in the relative setting; in particular it also applies to untwisted automorphism groups and basis-conjugating automorphism groups. The main new tool is the construction of free abelian subgroups of certain Fouxe-Rabinovitch groups of rank equal to their… ▽ More We describe an algorithm to find the virtual cohomological dimension of the automorphism group of a right-angled Artin group. The algorithm works in the relative setting; in particular it also applies to untwisted automorphism groups and basis-conjugating automorphism groups. The main new tool is the construction of free abelian subgroups of certain Fouxe-Rabinovitch groups of rank equal to their virtual cohomological dimension, generalizing a result of Meucci in the setting of free groups. △ Less

Submitted 7 September, 2020; v1 submitted 6 September, 2019; originally announced September 2019.

Comments: 15 pages, 2 figures. Revised background on RORGs, small changes elsewhere. Accepted to appear in Bulletin of the LMS

MSC Class: 20F65

Relative automorphism groups of right-angled Artin groups

Authors: Matthew B. Day, Richard D. Wade

Abstract: We study the outer automorphism group of a right-angled Artin group $A_Γ$ with finite defining graph $Γ$. We construct a subnormal series for $Out(A_Γ)$ such that each consecutive quotient is either finite, free-abelian, $GL(n,\mathbb{Z})$, or a Fouxe-Rabinovitch group. The last two types act respectively on a symmetric space or a deformation space of trees, so that there is a geometric way of stu… ▽ More We study the outer automorphism group of a right-angled Artin group $A_Γ$ with finite defining graph $Γ$. We construct a subnormal series for $Out(A_Γ)$ such that each consecutive quotient is either finite, free-abelian, $GL(n,\mathbb{Z})$, or a Fouxe-Rabinovitch group. The last two types act respectively on a symmetric space or a deformation space of trees, so that there is a geometric way of studying each piece. As a consequence we prove that the group $Out(A_Γ)$ is type VF (it has a finite index subgroup with a finite classifying space). The main technical work is a study of relative outer automorphism groups of RAAGs and their restriction homomorphisms, refining work of Charney, Crisp, and Vogtmann. We show that the images and kernels of restriction homomorphisms are always simpler examples of relative outer automorphism groups of RAAGs. We also give generators for relative automorphism groups of RAAGs, in the style of Laurence's theorem. △ Less

Submitted 18 March, 2019; v1 submitted 5 December, 2017; originally announced December 2017.

Comments: 42 pages, 6 figures. Final arXiv version. Accepted for publication by the Journal of Topology

MSC Class: 20E36; 20F36

Subspace arrangements, BNS invariants, and pure symmetric outer automorphisms of right-angled Artin groups

Authors: Matthew B. Day, Richard D. Wade

Abstract: We introduce a homology theory for subspace arrangements, and use it to extract a new system of numerical invariants from the Bieri-Neumann-Strebel invariant of a group. We use these to characterize when the set of basis conjugating outer automorphisms (a.k.a. the pure symmetric outer automorphism group) of a right-angled Artin group is itself a right-angled Artin group. We introduce a homology theory for subspace arrangements, and use it to extract a new system of numerical invariants from the Bieri-Neumann-Strebel invariant of a group. We use these to characterize when the set of basis conjugating outer automorphisms (a.k.a. the pure symmetric outer automorphism group) of a right-angled Artin group is itself a right-angled Artin group. △ Less

Submitted 28 June, 2016; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: 26 pages. Minor revisions. To appear in GGD

MSC Class: 20E36; 20F36 (Primary); 20J05 (Secondary)

A Birman exact sequence for the Torelli subgroup of Aut(F_n)

Authors: Matthew B. Day, Andrew Putman

Abstract: We develop an analogue of the Birman exact sequence for the Torelli subgroup of Aut(F_n). This builds on earlier work of the authors who studied an analogue of the Birman exact sequence for the entire group Aut(F_n). These results play an important role in the authors' recent work on the second homology group of the Torelli group. We develop an analogue of the Birman exact sequence for the Torelli subgroup of Aut(F_n). This builds on earlier work of the authors who studied an analogue of the Birman exact sequence for the entire group Aut(F_n). These results play an important role in the authors' recent work on the second homology group of the Torelli group. △ Less

Submitted 20 April, 2016; v1 submitted 31 July, 2015; originally announced July 2015.

Comments: 31 pages, minor revision; to appear in Int. J. Algebr. Comput

Journal ref: Internat. J. Algebra Comput. 26 (2016), no. 3, 585-617

On the second homology group of the Torelli subgroup of Aut(F_n)

Authors: Matthew B. Day, Andrew Putman

Abstract: Let IA_n be the Torelli subgroup of Aut(F_n). We give an explicit finite set of generators for H_2(IA_n) as a GL_n(Z)-module. Corollaries include a version of surjective representation stability for H_2(IA_n), the vanishing of the GL_n(Z)-coinvariants of H_2(IA_n), and the vanishing of the second rational homology group of the level l congruence subgroup of Aut(F_n). Our generating set is derived… ▽ More Let IA_n be the Torelli subgroup of Aut(F_n). We give an explicit finite set of generators for H_2(IA_n) as a GL_n(Z)-module. Corollaries include a version of surjective representation stability for H_2(IA_n), the vanishing of the GL_n(Z)-coinvariants of H_2(IA_n), and the vanishing of the second rational homology group of the level l congruence subgroup of Aut(F_n). Our generating set is derived from a new group presentation for IA_n which is infinite but which has a simple recursive form. △ Less

Submitted 27 December, 2016; v1 submitted 26 August, 2014; originally announced August 2014.

Comments: 39 pages; minor revision; to appear in Geom. Topol

Journal ref: Geom. Topol. 21 (2017) 2851-2896

Full-featured peak reduction in right-angled Artin groups

Authors: Matthew B. Day

Abstract: We prove a new version of the classical peak-reduction theorem for automorphisms of free groups in the setting of right-angled Artin groups. We use this peak-reduction theorem to prove two important corollaries about the action of the automorphism group of a right-angled Artin group $A_Γ$ on the set of $k$-tuples of conjugacy classes from $A_Γ$: orbit membership is decidable, and stabilizers are f… ▽ More We prove a new version of the classical peak-reduction theorem for automorphisms of free groups in the setting of right-angled Artin groups. We use this peak-reduction theorem to prove two important corollaries about the action of the automorphism group of a right-angled Artin group $A_Γ$ on the set of $k$-tuples of conjugacy classes from $A_Γ$: orbit membership is decidable, and stabilizers are finitely presentable. Further, we explain procedures for checking orbit membership and building presentations of stabilizers. This improves on a previous result of the author's. We overcome a technical difficulty from the previous work by considering infinite generating sets for the automorphism groups. The method also involves a variation on the Hermite normal form for matrices. △ Less

Submitted 19 November, 2013; v1 submitted 31 October, 2012; originally announced November 2012.

Comments: 72 pages, 1 figure. Updated to incorporate referee comments

MSC Class: 20F36; 20F28

Journal ref: Algebr. Geom. Topol. 14 (2014) 1677-1743

A Birman exact sequence for Aut(F_n)

Authors: Matthew B. Day, Andrew Putman

Abstract: The Birman exact sequence describes the effect on the mapping class group of a surface with boundary of gluing discs to the boundary components. We construct an analogous exact sequence for the automorphism group of a free group. For the mapping class group, the kernel of the Birman exact sequence is a surface braid group. We prove that in the context of the automorphism group of a free group, the… ▽ More The Birman exact sequence describes the effect on the mapping class group of a surface with boundary of gluing discs to the boundary components. We construct an analogous exact sequence for the automorphism group of a free group. For the mapping class group, the kernel of the Birman exact sequence is a surface braid group. We prove that in the context of the automorphism group of a free group, the natural kernel is finitely generated. However, it is not finitely presentable; indeed, we prove that its second rational homology group has infinite rank by constructing an explicit infinite collection of linearly independent abelian cycles. We also determine the abelianization of our kernel and build a simple infinite presentation for it. The key to many of our proofs are several new generalizations of the Johnson homomorphisms. △ Less

Submitted 30 April, 2012; v1 submitted 13 April, 2011; originally announced April 2011.

Comments: 37 pages, serious revision. To appear in Adv. Math

Journal ref: Adv. Math. 231 (2012), 243-275

Finiteness of outer automorphism groups of random right-angled Artin groups

Authors: Matthew B. Day

Abstract: We consider the outer automorphism group Out(A_Gamma) of the right-angled Artin group A_Gamma of a random graph Gamma on n vertices in the Erdos--Renyi model. We show that the functions (log(n)+log(log(n)))/n and 1-(log(n)+log(log(n)))/n bound the range of edge probability functions for which Out(A_Gamma) is finite: if the probability of an edge in Gamma is strictly between these functions as n gr… ▽ More We consider the outer automorphism group Out(A_Gamma) of the right-angled Artin group A_Gamma of a random graph Gamma on n vertices in the Erdos--Renyi model. We show that the functions (log(n)+log(log(n)))/n and 1-(log(n)+log(log(n)))/n bound the range of edge probability functions for which Out(A_Gamma) is finite: if the probability of an edge in Gamma is strictly between these functions as n grows, then asymptotically Out(A_Gamma) is almost surely finite, and if the edge probability is strictly outside of both of these functions, then asymptotically Out(A_Gamma) is almost surely infinite. This sharpens results of Ruth Charney and Michael Farber from their preprint "Random groups arising as graph products", arXiv:1006.3378v1. △ Less

Submitted 14 June, 2011; v1 submitted 2 March, 2011; originally announced March 2011.

Comments: 29 pages. Mostly rewritten, results tightened, statements corrected, gaps filled

MSC Class: 20F05; 20F28; 05C80

Journal ref: Algebr. Geom. Topol. 12 (2012) 1553-1583

The complex of partial bases for F_n and finite generation of the Torelli subgroup of Aut(F_n)

Authors: Matthew B. Day, Andrew Putman

Abstract: We study the complex of partial bases of a free group, which is an analogue for $\Aut(F_n)$ of the curve complex for the mapping class group. We prove that it is connected and simply connected, and we also prove that its quotient by the Torelli subgroup of $\Aut(F_n)$ is highly connected. Using these results, we give a new, topological proof of a theorem of Magnus that asserts that the Torelli sub… ▽ More We study the complex of partial bases of a free group, which is an analogue for $\Aut(F_n)$ of the curve complex for the mapping class group. We prove that it is connected and simply connected, and we also prove that its quotient by the Torelli subgroup of $\Aut(F_n)$ is highly connected. Using these results, we give a new, topological proof of a theorem of Magnus that asserts that the Torelli subgroup of $\Aut(F_n)$ is finitely generated. △ Less

Submitted 14 October, 2013; v1 submitted 8 December, 2010; originally announced December 2010.

Comments: 16 pages, small revisions; to appear in Geom. Dedicata

Journal ref: Geom. Dedicata 164 (2013), 139-153

On solvable subgroups of automorphism groups of right-angled Artin groups

Authors: Matthew B. Day

Abstract: For any right-angled Artin group, we show that its outer automorphism group contains either a finite-index nilpotent subgroup or a nonabelian free subgroup. This is a weak Tits alternative theorem. We find a criterion on the defining graph that determines which case holds. We also consider some examples of solvable subgroups, including one that is not virtually nilpotent and is embedded in a non… ▽ More For any right-angled Artin group, we show that its outer automorphism group contains either a finite-index nilpotent subgroup or a nonabelian free subgroup. This is a weak Tits alternative theorem. We find a criterion on the defining graph that determines which case holds. We also consider some examples of solvable subgroups, including one that is not virtually nilpotent and is embedded in a non-obvious way. △ Less

Submitted 25 October, 2009; originally announced October 2009.

Comments: 11 pages

MSC Class: 20F36; 20F28

Extensions of Johnson's and Morita's homomorphisms that map to finitely generated abelian groups

Authors: Matthew B. Day

Abstract: We extend each higher Johnson homomorphism to a crossed homomorphism from the automorphism group of a finite-rank free group to a finite-rank abelian group. We also extend each Morita homomorphism to a crossed homomorphism from the mapping class group of once-bounded surface to a finite-rank abelian group. This improves on the author's previous results [Algebr. Geom. Topol. 7 (2007):1297-1326].… ▽ More We extend each higher Johnson homomorphism to a crossed homomorphism from the automorphism group of a finite-rank free group to a finite-rank abelian group. We also extend each Morita homomorphism to a crossed homomorphism from the mapping class group of once-bounded surface to a finite-rank abelian group. This improves on the author's previous results [Algebr. Geom. Topol. 7 (2007):1297-1326]. To prove the first result, we express the higher Johnson homomorphisms as coboundary maps in group cohomology. Our methods involve the topology of nilpotent homogeneous spaces and lattices in nilpotent Lie algebras. In particular, we develop a notion of the "polynomial straightening" of a singular homology chain in a nilpotent homogeneous space. △ Less

Submitted 25 October, 2009; originally announced October 2009.

Comments: 34 pages

MSC Class: 57N05; 20F28; 57R17

Journal ref: J. Topol. Anal., 05, 57 (2013)

Extended flux maps on surfaces and the contracted Johnson homomorphism

Authors: Matthew B. Day

Abstract: On a closed symplectic surface Sigma of genus two or more, we give a new construction of an extended flux map (a crossed homomorphism from the symplectomorphism group Symp(Sigma) to the cohomology group H^1(Sigma;R) that extends the flux homomorphism). This construction uses the topology of the Jacobian of the surface and a correction factor related to the Johnson homomorphism. For surfaces of g… ▽ More On a closed symplectic surface Sigma of genus two or more, we give a new construction of an extended flux map (a crossed homomorphism from the symplectomorphism group Symp(Sigma) to the cohomology group H^1(Sigma;R) that extends the flux homomorphism). This construction uses the topology of the Jacobian of the surface and a correction factor related to the Johnson homomorphism. For surfaces of genus three or more, we give another new construction of an extended flux map using hyperbolic geometry. △ Less

Submitted 3 September, 2009; v1 submitted 12 August, 2008; originally announced August 2008.

Comments: 45 pages, 5 figures; major rewrite, some arguments reworked, a theorem statement corrected

MSC Class: 57N05 (Primary) 57R17 (Secondary)

Symplectic structures on right-angled Artin groups: between the mapping class group and the symplectic group

Authors: Matthew B. Day

Abstract: We define a family of groups that include the mapping class group of a genus g surface with one boundary component and the integral symplectic group Sp(2g,Z). We then prove that these groups are finitely generated. These groups, which we call mapping class groups over graphs, are indexed over labeled simplicial graphs with 2g vertices. The mapping class group over the graph Gamma is defined to b… ▽ More We define a family of groups that include the mapping class group of a genus g surface with one boundary component and the integral symplectic group Sp(2g,Z). We then prove that these groups are finitely generated. These groups, which we call mapping class groups over graphs, are indexed over labeled simplicial graphs with 2g vertices. The mapping class group over the graph Gamma is defined to be a subgroup of the automorphism group of the right-angled Artin group A_Gamma of Gamma. We also prove that the kernel of the map Aut A_Gamma to Aut H_1(A_Gamma) is finitely generated, generalizing a theorem of Magnus. △ Less

Submitted 30 July, 2008; originally announced July 2008.

Comments: 45 pages

MSC Class: 20F36; 20F28

Journal ref: Geom. Topol. 13 (2009) 857-899

Peak reduction and finite presentations for automorphism groups of right-angled Artin groups

Authors: Matthew B. Day

Abstract: We generalize the peak-reduction algorithm (Whitehead's theorem) for free groups to a theorem about a general right-angled Artin group A_Gamma. As an application, we find a finite presentation for the automorphism group Aut A_Gamma that generalizes McCool's presentation for the automorphism group of a finite rank free group. We also give consider a stronger generalization of peak-reduction, givi… ▽ More We generalize the peak-reduction algorithm (Whitehead's theorem) for free groups to a theorem about a general right-angled Artin group A_Gamma. As an application, we find a finite presentation for the automorphism group Aut A_Gamma that generalizes McCool's presentation for the automorphism group of a finite rank free group. We also give consider a stronger generalization of peak-reduction, giving a counterexample and proving a special case. △ Less

Submitted 30 July, 2008; originally announced July 2008.

Comments: 41 pages

MSC Class: 20F36; 20F28

Journal ref: Geom. Topol. 13 (2009) 817-855

Extending Johnson's and Morita's homomorphisms to the mapping class group

Authors: Matthew B. Day

Abstract: We extend certain homomorphisms defined on the higher Torelli subgroups of the mapping class group to crossed homomorphisms defined on the entire mapping class group. In particular, for every $k\geq 2$, we construct a crossed homomorphism $ε_k$ which extends Morita's homomorphism $\tilde τ_k$ to the entire mapping class group. From this crossed homomorphism we also obtain a crossed homomorphism… ▽ More We extend certain homomorphisms defined on the higher Torelli subgroups of the mapping class group to crossed homomorphisms defined on the entire mapping class group. In particular, for every $k\geq 2$, we construct a crossed homomorphism $ε_k$ which extends Morita's homomorphism $\tilde τ_k$ to the entire mapping class group. From this crossed homomorphism we also obtain a crossed homomorphism extending the $k$th Johnson homomorphism $τ_k$ to the mapping class group. D. Johnson and S. Morita obtained their respective homomorphisms by considering the action of the mapping class group on the nilpotent truncations of the surface group; our approach is to mimic Morita's construction topologically by using nilmanifolds associated to these truncations. This allows us to take the ranges of these crossed homomorphisms to be certain finite-dimensional real vector spaces associated to these nilmanifolds. △ Less

Submitted 1 October, 2007; v1 submitted 5 February, 2007; originally announced February 2007.

Comments: 32 pages; cleaned up and minor corrections to proofs; updated to agree with version published by Alg. & Geom. Top at: http://msp.warwick.ac.uk/agt/2007/07/p050.xhtml

MSC Class: 57N05 (Primary); 57T15 (Secondary)

Journal ref: Algebr. Geom. Topol. 7 (2007) 1297-1326