Showing 1–35 of 35 results for author: Vogtmann, K

Handlebodies, Outer space, and tropical geometry

Authors: Rohini Ramadas, Rob Silversmith, Karen Vogtmann, Rebecca R. Winarski

Abstract: The moduli space of graphs $M_{g,n}^{\mathrm{trop}}$ is a polyhedral object that mimics the behavior of the moduli spaces $M_{g,n}$, $\overline{M}_{g,n}$ of (stable) Riemann surfaces; this relationship has been made precise in several different ways, which collectively identify $M_{g,n}^{\mathrm{trop}}$ as the "tropicalization" of $M_{g,n}$. We describe how this relationship lifts to some objects… ▽ More The moduli space of graphs $M_{g,n}^{\mathrm{trop}}$ is a polyhedral object that mimics the behavior of the moduli spaces $M_{g,n}$, $\overline{M}_{g,n}$ of (stable) Riemann surfaces; this relationship has been made precise in several different ways, which collectively identify $M_{g,n}^{\mathrm{trop}}$ as the "tropicalization" of $M_{g,n}$. We describe how this relationship lifts to some objects that live over $M_{g,n}$ (like Teichmüller space) and that live over $M_{g,n}^{\mathrm{trop}}$ (like the Culler-Vogtmann space $CV_{g,n}^*$). We introduce the notion of a stable complex handlebody, and show that $CV_{g,n}^*$ can be viewed as the tropicalization of a certain complex manifold $hT(V_{g,n})$ that parametrizes complex handlebodies. An important ingredient is our construction of a partial compactification $\overline{hT}(V_{g,n})\supset hT(V_{g,n})$, which we prove is a complex manifold with simple normal crossings boundary. When $n=0$, $hT(V_{g,n})$ coincides with the moduli space of Schottky groups, $\overline{hT}(V_{g,n})$ coincides with Gerritzen-Herrlich's extended Schottky space, and $CV_{g,0}^*$ is the simplicial completion of the original Outer space. The resulting picture fits together many familiar objects from geometric group theory and surface topology, including Harvey's curve complex, mapping class groups of surfaces and handlebodies, and augmented Teichmüller space. Many of the relationships between the objects that we see in this picture already exist in the literature, but we add some new ones, and generalize several existing relationships to include a number $n>0$ of punctures/leaves. △ Less

Submitted 3 July, 2025; originally announced July 2025.

Comments: 38 pages, comments welcome

The boundary of bordified Outer space

Authors: Karen Vogtmann

Abstract: We study the boundary of the "Jewel space" $\mathcal J_n$ constructed in arXiv:1709.01296. This is an equivariant deformation retract of Outer space $CV_n$ on which $Out(F_n)$ acts properly and cocompactly, and is homeomorphic to the Bestvina-Feighn bordification of $CV_n$. In the current paper we analyze the structure of the boundary of $\mathcal J_n$. We then use the desctiption of the simplicia… ▽ More We study the boundary of the "Jewel space" $\mathcal J_n$ constructed in arXiv:1709.01296. This is an equivariant deformation retract of Outer space $CV_n$ on which $Out(F_n)$ acts properly and cocompactly, and is homeomorphic to the Bestvina-Feighn bordification of $CV_n$. In the current paper we analyze the structure of the boundary of $\mathcal J_n$. We then use the desctiption of the simplicial closure $CV_n^*$ as the sphere complex of a connected sum of $n$ copies of $S^1\times S^2$ to prove that this boundary is homotopy equivalent to the subcomplex of $CV_n^*$ spanned by vertices at infinity. △ Less

Submitted 17 April, 2024; originally announced April 2024.

Comments: 10 pages, 1 figure

MSC Class: 20E36; 20F65; 57M07

Finite groups of untwisted outer automorphisms of RAAGs

Authors: Corey Bregman, Ruth Charney, Karen Vogtmann

Abstract: For any right-angled Artin group $A_Γ$, Charney--Stambaugh--Vogtmann showed that the subgroup $U^0(A_Γ) \leq\text{Out}(A_Γ)$ generated by Whitehead automorphisms and inversions acts properly and cocompactly on a contractible space $K_Γ$. In the present paper we show that any finite subgroup of $U^0(A_Γ)$ fixes a point of $K_Γ$. This generalizes the fact that any finite subgroup of… ▽ More For any right-angled Artin group $A_Γ$, Charney--Stambaugh--Vogtmann showed that the subgroup $U^0(A_Γ) \leq\text{Out}(A_Γ)$ generated by Whitehead automorphisms and inversions acts properly and cocompactly on a contractible space $K_Γ$. In the present paper we show that any finite subgroup of $U^0(A_Γ)$ fixes a point of $K_Γ$. This generalizes the fact that any finite subgroup of $\text{Out}(F_n)$ fixes a point of Outer Space, and implies that there are only finitely many conjugacy classes of finite subgroups in $U^0(A_Γ)$. △ Less

Submitted 15 March, 2024; v1 submitted 17 August, 2023; originally announced August 2023.

Comments: 30 pages, 6 figures. Minor edits. This is the final, accepted version, to appear in Algebraic and Geometric Topology

MSC Class: 20F65; 20F28; 20F36

The Euler characteristic of the moduli space of graphs

Authors: Michael Borinsky, Karen Vogtmann

Abstract: The moduli space of rank $n$ graphs, the outer automorphism group of the free group of rank $n$ and Kontsevich's Lie graph complex have the same rational cohomology. We show that the associated Euler characteristic grows like $-e^{-1/4}\,(n/e)^n/(n\log n)^2$ as $n$ goes to infinity, and thereby prove that the total dimension of this cohomology grows rapidly with $n$. The moduli space of rank $n$ graphs, the outer automorphism group of the free group of rank $n$ and Kontsevich's Lie graph complex have the same rational cohomology. We show that the associated Euler characteristic grows like $-e^{-1/4}\,(n/e)^n/(n\log n)^2$ as $n$ goes to infinity, and thereby prove that the total dimension of this cohomology grows rapidly with $n$. △ Less

Submitted 25 August, 2023; v1 submitted 3 January, 2023; originally announced January 2023.

Comments: 43 pages, v2: typos and a reference fixed; v3: corrected sign issue in section 5; v4: minor corrections, version to appear in Advances in Mathematics

MSC Class: 18G85; 20F65; 20F28; 14T99; 20J06

Journal ref: Advances in Mathematics Volume 432, 1 November 2023, 109290

The complex of free factors of a free group

Authors: Allen Hatcher, Karen Vogtmann

Abstract: This paper corrects an error in a proof in the original version of the paper published in 1998 in the Oxford Quarterly. The main theorem remains the same: The geometric realization of the partially ordered set of proper free factors in a finitely generated free group of rank $n$ is homotopy equivalent to a wedge of spheres of dimension $n-2$. This paper corrects an error in a proof in the original version of the paper published in 1998 in the Oxford Quarterly. The main theorem remains the same: The geometric realization of the partially ordered set of proper free factors in a finitely generated free group of rank $n$ is homotopy equivalent to a wedge of spheres of dimension $n-2$. △ Less

Submitted 29 March, 2022; originally announced March 2022.

Comments: This arXiv version contains a correction to Lemma 2.3 in the published version of the paper

Journal ref: Quart. J. Math. Oxford 49 (1998), 459-468

Computing Euler characteristics using quantum field theory

Authors: Michael Borinsky, Karen Vogtmann

Abstract: This paper explains how to use quantum field theory techniques to find formal power series that encode the virtual Euler characteristics of $\mathrm{Out}(F_n)$ and related graph complexes. Finding such power series was a necessary step in the asymptotic analysis of $χ(\mathrm{Out}(F_n))$ carried out in the authors' previous paper. This paper explains how to use quantum field theory techniques to find formal power series that encode the virtual Euler characteristics of $\mathrm{Out}(F_n)$ and related graph complexes. Finding such power series was a necessary step in the asymptotic analysis of $χ(\mathrm{Out}(F_n))$ carried out in the authors' previous paper. △ Less

Submitted 24 May, 2022; v1 submitted 17 February, 2022; originally announced February 2022.

Comments: 13 pages, many figures; v2: final accepted manuscript with corrected typos

MSC Class: 20F65 (Primary) 18G85; 20E36; 05C30 (Secondary)

Journal ref: in Geometric methods in group theory, R. Skipper and I. Chatterji (eds.), Séminaires et Congrès, vol. 34, Soc. Math. France, 2025, pp. 1-16

Outer space for RAAGs

Authors: Corey Bregman, Ruth Charney, Karen Vogtmann

Abstract: For any right-angled Artin group $A_Γ$ we construct a finite-dimensional space $\mathcal{O}_Γ$ on which the group $\text{Out}(A_Γ)$ of outer automorphisms of $A_Γ$ acts with finite point stabilizers. We prove that $\mathcal{O}_Γ$ is contractible, so that the quotient is a rational classifying space for $\text{Out}(A_Γ)$. The space $\mathcal{O}_Γ$ blends features of the symmetric space of lattices… ▽ More For any right-angled Artin group $A_Γ$ we construct a finite-dimensional space $\mathcal{O}_Γ$ on which the group $\text{Out}(A_Γ)$ of outer automorphisms of $A_Γ$ acts with finite point stabilizers. We prove that $\mathcal{O}_Γ$ is contractible, so that the quotient is a rational classifying space for $\text{Out}(A_Γ)$. The space $\mathcal{O}_Γ$ blends features of the symmetric space of lattices in $\mathbb{R}^n$ with those of Outer space for the free group $F_n$. Points in $\mathcal{O}_Γ$ are locally CAT(0) metric spaces that are homeomorphic (but not isometric) to certain locally CAT(0) cube complexes, marked by an isomorphism of their fundamental group with $A_Γ$. △ Less

Submitted 20 February, 2022; v1 submitted 19 July, 2020; originally announced July 2020.

Comments: 61 pages, 17 figures. Modified statement of the main theorem, changed exposition, added a figure

MSC Class: 20F65; 20F28; 20F36

The Euler characteristic of $\operatorname{Out}(F_n)$

Authors: Michael Borinsky, Karen Vogtmann

Abstract: We prove that the rational Euler characteristic of $\operatorname{Out}(F_n)$ is always negative and its asymptotic growth rate is $Γ(n- \frac32)/\sqrt{2π} \log^2 n$. This settles a 1987 conjecture of J. Smillie and the second author. We establish connections with the Lambert $W$-function and the zeta function. We prove that the rational Euler characteristic of $\operatorname{Out}(F_n)$ is always negative and its asymptotic growth rate is $Γ(n- \frac32)/\sqrt{2π} \log^2 n$. This settles a 1987 conjecture of J. Smillie and the second author. We establish connections with the Lambert $W$-function and the zeta function. △ Less

Submitted 13 July, 2020; v1 submitted 8 July, 2019; originally announced July 2019.

Comments: final version, to appear in Commentarii Math. Helv

MSC Class: 20F65 (Primary) 20E36; 05A16 (Secondary)

Journal ref: Comment. Math. Helv. 95 (2020), 703-748

Cube complexes and abelian subgroups of automorphism groups of RAAGs

Authors: Benjamin Millard, Karen Vogtmann

Abstract: We construct free abelian subgroups of the group $U(A_Γ)$ of untwisted outer automorphisms of a right-angled Artin group, thus giving lower bounds on the virtual cohomological dimension. The group $U(A_Γ)$ was previously studied by Charney, Stambaugh and the second author, who constructed a contractible cube complex on which it acts properly and cocompactly, giving an upper bound for the virtual c… ▽ More We construct free abelian subgroups of the group $U(A_Γ)$ of untwisted outer automorphisms of a right-angled Artin group, thus giving lower bounds on the virtual cohomological dimension. The group $U(A_Γ)$ was previously studied by Charney, Stambaugh and the second author, who constructed a contractible cube complex on which it acts properly and cocompactly, giving an upper bound for the virtual cohomological dimension. The ranks of our free abelian subgroups are equal to the dimensions of the principal cubes in this complex. These are often of maximal dimension, so that the upper and lower bounds agree. In many cases when the principal cubes are not of maximal dimension we show there is an invariant contractible subcomplex of strictly lower dimension. △ Less

Submitted 2 April, 2019; v1 submitted 3 February, 2019; originally announced February 2019.

Comments: Improvements in exposition, Lemma 4.27 added to clarify proof of Theorem 4.28, remark 3.8 about the definition of "compatibility" added

MSC Class: 20F65; 20F28; 20F36

Journal ref: Math. Proc. Camb. Phil. Soc. 170 (2021) 523-547

On the bordification of outer space

Authors: Kai-Uwe Bux, Peter Smillie, Karen Vogtmann

Abstract: We give a simple construction of an equivariant deformation retract of Outer space which is homeomorphic to the Bestvina-Feighn bordification. This results in a much easier proof that the bordification is (2n-5)-connected at infinity, and hence that $Out(F_n)$ is a virtual duality group. We give a simple construction of an equivariant deformation retract of Outer space which is homeomorphic to the Bestvina-Feighn bordification. This results in a much easier proof that the bordification is (2n-5)-connected at infinity, and hence that $Out(F_n)$ is a virtual duality group. △ Less

Submitted 16 February, 2018; v1 submitted 5 September, 2017; originally announced September 2017.

Comments: Accepted version, to appear in the Journal of the London MS. Section 7, giving the homeomorphism to the Bestvina-Feighn bordification, has been substantially revised

MSC Class: 20E36; 20F65; 57M07

The topology and geometry of automorphism groups of free groups

Authors: Karen Vogtmann

Abstract: In the 1970s Stallings showed that one could learn a great deal about free groups and their automorphisms by viewing the free groups as fundamental groups of graphs and modeling their automorphisms as homotopy equivalences of graphs. Further impetus for using graphs to study automorphism groups of free groups came from the introduction of a space of graphs, now known as Outer space, on which the g… ▽ More In the 1970s Stallings showed that one could learn a great deal about free groups and their automorphisms by viewing the free groups as fundamental groups of graphs and modeling their automorphisms as homotopy equivalences of graphs. Further impetus for using graphs to study automorphism groups of free groups came from the introduction of a space of graphs, now known as Outer space, on which the group $Out(F_n)$ acts nicely. The study of Outer space and its $Out(F_n)$ action continues to give new information about the structure of $Out(F_n)$, but has also found surprising connections to many other groups, spaces and seemingly unrelated topics, from phylogenetic trees to cyclic operads and modular forms. In this talk I will highlight various ways these ideas are currently evolving. △ Less

Submitted 26 October, 2016; originally announced October 2016.

Comments: Survey for Proceedings of the 2016 European Congress of Mathematicians

MSC Class: 20F65

Tethers and homology stability for surfaces

Authors: Allen Hatcher, Karen Vogtmann

Abstract: Homological stability for sequences of groups is often proved by studying the spectral sequence associated to the action of a typical group in the sequence on a highly-connected simplicial complex whose stabilizers are related to previous groups in the sequence. In the case of mapping class groups of manifolds, suitable simplicial complexes can be made using isotopy classes of various geometric ob… ▽ More Homological stability for sequences of groups is often proved by studying the spectral sequence associated to the action of a typical group in the sequence on a highly-connected simplicial complex whose stabilizers are related to previous groups in the sequence. In the case of mapping class groups of manifolds, suitable simplicial complexes can be made using isotopy classes of various geometric objects in the manifold. In this paper we focus on the case of surfaces and show that by using more refined geometric objects consisting of certain configurations of curves with arcs that tether these curves to the boundary, the stabilizers can be greatly simplified and consequently also the spectral sequence argument. We give a careful exposition of this program and its basic tools, then illustrate the method using braid groups before treating mapping class groups of orientable surfaces in full detail. △ Less

Submitted 7 April, 2017; v1 submitted 18 August, 2015; originally announced August 2015.

Comments: Version 3 includes various expositional improvements, some added remarks, and a new appendix giving an alternative proof of one proposition

Journal ref: Algebr. Geom. Topol. 17 (2017) 1871-1916

Contractbility of Outer space: reprise

Authors: Karen Vogtmann

Abstract: This note contains a newly streamlined version of the original proof that Outer space is contractible. This note contains a newly streamlined version of the original proof that Outer space is contractible. △ Less

Submitted 11 May, 2015; originally announced May 2015.

Comments: To appear in the proceedings of the Math Society of Japan Summer Institute 2014

Assembling homology classes in automorphism groups of free groups

Authors: James Conant, Allen Hatcher, Martin Kassabov, Karen Vogtmann

Abstract: The observation that a graph of rank $n$ can be assembled from graphs of smaller rank $k$ with $s$ leaves by pairing the leaves together leads to a process for assembling homology classes for $Out(F_n)$ and $Aut(F_n)$ from classes for groups $Γ_{k,s}$, where the $Γ_{k,s}$ generalize $Out(F_k)=Γ_{k,0}$ and $Aut(F_k)=Γ_{k,1}$. The symmetric group $Σ_s$ acts on $H_*(Γ_{k,s})$ by permuting leaves, and… ▽ More The observation that a graph of rank $n$ can be assembled from graphs of smaller rank $k$ with $s$ leaves by pairing the leaves together leads to a process for assembling homology classes for $Out(F_n)$ and $Aut(F_n)$ from classes for groups $Γ_{k,s}$, where the $Γ_{k,s}$ generalize $Out(F_k)=Γ_{k,0}$ and $Aut(F_k)=Γ_{k,1}$. The symmetric group $Σ_s$ acts on $H_*(Γ_{k,s})$ by permuting leaves, and for trivial rational coefficients we compute the $Σ_s$-module structure on $H_*(Γ_{k,s})$ completely for $k \leq 2$. Assembling these classes then produces all the known nontrivial rational homology classes for $Aut(F_n)$ and $Out(F_n)$ with the possible exception of classes for $n=7$ recently discovered by L. Bartholdi. It also produces an enormous number of candidates for other nontrivial classes, some old and some new, but we limit the number of these which can be nontrivial using the representation theory of symmetric groups. We gain new insight into some of the most promising candidates by finding small subgroups of $Aut(F_n)$ and $Out(F_n)$ which support them and by finding geometric representations for the candidate classes as maps of closed manifolds into the moduli space of graphs. Finally, our results have implications for the homology of the Lie algebra of symplectic derivations. △ Less

Submitted 22 February, 2017; v1 submitted 10 January, 2015; originally announced January 2015.

Comments: Final version for Commentarii Math. Helv

MSC Class: 20J06; 20F65; 20F28

Journal ref: Comment. Math. Helv. 91 (2016), no.4, 751-806

Higher hairy graph homology

Authors: Jim Conant, Martin Kassabov, Karen Vogtmann

Abstract: We study the hairy graph homology of a cyclic operad; in particular we show how to assemble corresponding hairy graph cohomology classes to form cocycles for ordinary graph homology, as defined by Kontsevich. We identify the part of hairy graph homology coming from graphs with cyclic fundamental group as the dihedral homology of a related associative algebra with involution. For the operads Comm,… ▽ More We study the hairy graph homology of a cyclic operad; in particular we show how to assemble corresponding hairy graph cohomology classes to form cocycles for ordinary graph homology, as defined by Kontsevich. We identify the part of hairy graph homology coming from graphs with cyclic fundamental group as the dihedral homology of a related associative algebra with involution. For the operads Comm, Assoc and Lie we compute this algebra explicitly, enabling us to apply known results on dihedral homology to the computation of hairy graph homology. In addition we determine the image in hairy graph homology of the trace map defined in [CKV], as a symplectic representation. For the operad Lie assembling hairy graph cohomology classes yields all known non-trivial rational homology of Out(F_n). The hairy graph homology of Lie is also useful for constructing elements of the cokernel of the Johnson homomomorphism of a once-punctured surface. △ Less

Submitted 17 August, 2013; originally announced August 2013.

Outer space for untwisted automorphisms of right-angled Artin groups

Authors: Ruth Charney, Nathaniel Stambaugh, Karen Vogtmann

Abstract: For a right-angled Artin group $A_Γ$, the untwisted outer automorphism group $U(A_Γ)$ is the subgroup of $Out(A_Γ)$ generated by all of the Laurence-Servatius generators except twists (where a {\em twist} is an automorphisms of the form $v\mapsto vw$ with $vw=wv$). We define a space $Σ_Γ$ on which $U(A_Γ)$ acts properly and prove that $Σ_Γ$ is contractible, providing a geometric model for… ▽ More For a right-angled Artin group $A_Γ$, the untwisted outer automorphism group $U(A_Γ)$ is the subgroup of $Out(A_Γ)$ generated by all of the Laurence-Servatius generators except twists (where a {\em twist} is an automorphisms of the form $v\mapsto vw$ with $vw=wv$). We define a space $Σ_Γ$ on which $U(A_Γ)$ acts properly and prove that $Σ_Γ$ is contractible, providing a geometric model for $U(A_Γ)$ and its subgroups. We also propose a geometric model for all of $Out(A_Γ)$ defined by allowing more general markings and metrics on points of $Σ_Γ$. △ Less

Submitted 31 March, 2016; v1 submitted 19 December, 2012; originally announced December 2012.

Comments: Example section added, introduction modified. Final version, to appear in Geometry and Topology

MSC Class: 20F65; 20F28; 20F36

Journal ref: Geom. Topol. 21 (2017) 1131-1178

Actions of arithmetic groups on homology spheres and acyclic homology manifolds

Authors: M. R. Bridson, F. Grunewald, K. Vogtmann

Abstract: We establish lower bounds on the dimensions in which arithmetic groups with torsion can act on acyclic manifolds and homology spheres. The bounds rely on the existence of elementary p-groups in the groups concerned. In some cases, including Sp(2n,Z), the bounds we obtain are sharp: if X is a generalized Z/3-homology sphere of dimension less than 2n-1 or a Z/3-acyclic Z/3-homology manifold of dimen… ▽ More We establish lower bounds on the dimensions in which arithmetic groups with torsion can act on acyclic manifolds and homology spheres. The bounds rely on the existence of elementary p-groups in the groups concerned. In some cases, including Sp(2n,Z), the bounds we obtain are sharp: if X is a generalized Z/3-homology sphere of dimension less than 2n-1 or a Z/3-acyclic Z/3-homology manifold of dimension less than 2n, and if n \geq 3, then any action of Sp(2n,Z) by homeomorphisms on X is trivial; if n = 2, then every action of Sp(2n,Z) on X factors through the abelianization of Sp(4,Z), which is Z/2. △ Less

Submitted 13 June, 2013; v1 submitted 12 July, 2012; originally announced July 2012.

Comments: Final version, to appear in Math Zeitschrift

MSC Class: 57S25; 53C24; 20F65; 20G30

Hairy graphs and the unstable homology of Mod(g,s), Out(F_n) and Aut(F_n)

Authors: James Conant, Martin Kassabov, Karen Vogtmann

Abstract: We study a family of Lie algebras {hO} which are defined for cyclic operads O. Using his graph homology theory, Kontsevich identified the homology of two of these Lie algebras (corresponding to the Lie and associative operads) with the cohomology of outer automorphism groups of free groups and mapping class groups of punctured surfaces, respectively. In this paper we introduce a hairy graph homolo… ▽ More We study a family of Lie algebras {hO} which are defined for cyclic operads O. Using his graph homology theory, Kontsevich identified the homology of two of these Lie algebras (corresponding to the Lie and associative operads) with the cohomology of outer automorphism groups of free groups and mapping class groups of punctured surfaces, respectively. In this paper we introduce a hairy graph homology theory for O. We show that the homology of hO embeds in hairy graph homology via a trace map which generalizes the trace map defined by S. Morita. For the Lie operad we use the trace map to find large new summands of the abelianization of hO which are related to classical modular forms for SL(2,Z). Using cusp forms we construct new cycles for the unstable homology of Out(F_n), and using Eisenstein series we find new cycles for Aut(F_n). For the associative operad we compute the first homology of the hairy graph complex by adapting an argument of Morita, Sakasai and Suzuki, who determined the complete abelianization of hO in the associative case. △ Less

Submitted 13 September, 2012; v1 submitted 25 July, 2011; originally announced July 2011.

Comments: Some typos fixed. In an earlier version, we had made a conjecture about the image of the trace map, which we have proven and will be included in a future paper. Some comments in this paper have been changed to reflect this. To appear in J. Top

MSC Class: 17B56; 20J06; 55R40

The Dehn functions of Out(F_n) and Aut(F_n)

Authors: Martin R. Bridson, Karen Vogtmann

Abstract: For n > 2, the Dehn functions of Aut(F_n) and Out(F_n) are exponential. Hatcher and Vogtmann proved that they are at most exponential, and the complementary lower bound in the case n=3 was established by Bridson and Vogtmann. Handel and Mosher completed the proof by reducing the lower bound for n>4 to the case n=3. In this note we give a shorter, more direct proof of this last reduction. For n > 2, the Dehn functions of Aut(F_n) and Out(F_n) are exponential. Hatcher and Vogtmann proved that they are at most exponential, and the complementary lower bound in the case n=3 was established by Bridson and Vogtmann. Handel and Mosher completed the proof by reducing the lower bound for n>4 to the case n=3. In this note we give a shorter, more direct proof of this last reduction. △ Less

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

Comments: Final version, to appear in Annales de l'Institut Fourier

MSC Class: 20F65; 20F28; 53C24; 57S25

Abelian covers of graphs and maps between outer automorphism groups of free groups

Authors: Martin R. Bridson, Karen Vogtmann

Abstract: We explore the existence of homomorphisms between outer automorphism groups of free groups Out(F_n) \to Out(F_m). We prove that if n > 8 is even and n \neq m \leq 2n, or n is odd and n \neq m \leq 2n - 2, then all such homomorphisms have finite image; in fact they factor through det: Out(F_n) \to Z/2. In contrast, if m = r^n(n - 1) + 1 with r coprime to (n - 1), then there exists an embedding Out(… ▽ More We explore the existence of homomorphisms between outer automorphism groups of free groups Out(F_n) \to Out(F_m). We prove that if n > 8 is even and n \neq m \leq 2n, or n is odd and n \neq m \leq 2n - 2, then all such homomorphisms have finite image; in fact they factor through det: Out(F_n) \to Z/2. In contrast, if m = r^n(n - 1) + 1 with r coprime to (n - 1), then there exists an embedding Out(F_n) \to Out(F_m). In order to prove this last statement, we determine when the action of Out(F_n) by homotopy equivalences on a graph of genus n can be lifted to an action on a normal covering with abelian Galois group. △ Less

Submitted 28 July, 2011; v1 submitted 15 July, 2010; originally announced July 2010.

Comments: Final version, to appear in Mathematische Annalen. Minor errors and typos corrected, including range of n in Theorem B

MSC Class: 20F65; 20F28; 53C24; 57S25

Subgroups and quotient groups of automorphism groups of RAAGs

Authors: Ruth Charney, Karen Vogtmann

Abstract: We study subgroups and quotients of outer automorphism groups of right-angled Artin groups (RAAGs). We prove that for all RAAGS, the outer automorphism group is residually finite and, for a large class of RAAGs, it satisfies the Tits alternative. We also investigate which of these automorphism groups contain non-abelian solvable subgroups. We study subgroups and quotients of outer automorphism groups of right-angled Artin groups (RAAGs). We prove that for all RAAGS, the outer automorphism group is residually finite and, for a large class of RAAGs, it satisfies the Tits alternative. We also investigate which of these automorphism groups contain non-abelian solvable subgroups. △ Less

Submitted 23 March, 2010; v1 submitted 13 September, 2009; originally announced September 2009.

Comments: 19 pages, 4 figures. Typos corrected, improvements in exposition.

MSC Class: 20F36

Automorphisms of two-dimensional RAAGs and partially symmetric automorphisms of free groups

Authors: Kai-Uwe Bux, Ruth Charney, Karen Vogtmann

Abstract: We compute the virtual cohomological dimension (VCD) of the group of partially symmetric outer automorphisms of a free group. We use this to obtain new upper and lower bounds on the VCD of the outer automorphism group of a two-dimensional right-angled Artin group. In the case of a right-angled group with defining graph a tree, the bounds agree. We compute the virtual cohomological dimension (VCD) of the group of partially symmetric outer automorphisms of a free group. We use this to obtain new upper and lower bounds on the VCD of the outer automorphism group of a two-dimensional right-angled Artin group. In the case of a right-angled group with defining graph a tree, the bounds agree. △ Less

Submitted 14 April, 2008; originally announced April 2008.

Comments: 13 pages, 4 figures

MSC Class: 20F36

Actions of automorphism groups of free groups on homology spheres and acyclic manifolds

Authors: Martin R. Bridson, Karen Vogtmann

Abstract: For n at least 3, let SAut(F_n) denote the unique subgroup of index two in the automorphism group of a free group. The standard linear action of SL(n,Z) on R^n induces non-trivial actions of SAut(F_n) on R^n and on S^{n-1}. We prove that SAut(F_n) admits no non-trivial actions by homeomorphisms on acyclic manifolds or spheres of smaller dimension. Indeed, SAut(F_n) cannot act non-trivially on any… ▽ More For n at least 3, let SAut(F_n) denote the unique subgroup of index two in the automorphism group of a free group. The standard linear action of SL(n,Z) on R^n induces non-trivial actions of SAut(F_n) on R^n and on S^{n-1}. We prove that SAut(F_n) admits no non-trivial actions by homeomorphisms on acyclic manifolds or spheres of smaller dimension. Indeed, SAut(F_n) cannot act non-trivially on any generalized Z_2-homology sphere of dimension less than n-1, nor on any Z_2-acyclic Z_2-homology manifold of dimension less than n. It follows that SL(n,Z) cannot act non-trivially on such spaces either. When n is even, we obtain similar results with Z_3 coefficients. △ Less

Submitted 6 December, 2010; v1 submitted 13 March, 2008; originally announced March 2008.

Comments: Typos corrected, reference and thanks added. Final version, to appear in Commetarii. Math. Helv

MSC Class: 20F6; 20F28; 53C24; 57S25

Automorphisms of higher-dimensional right-angled Artin groups

Authors: Ruth Charney, Karen Vogtmann

Abstract: We study the algebraic structure of the automorphism group of a general right-angled Artin group. We show that this group is virtually torsion-free and has finite virtual cohomological dimension. This generalizes results proved by the authors and John Crisp (arXiv:math/0610980) for two-dimensional right-angled Artin groups. We study the algebraic structure of the automorphism group of a general right-angled Artin group. We show that this group is virtually torsion-free and has finite virtual cohomological dimension. This generalizes results proved by the authors and John Crisp (arXiv:math/0610980) for two-dimensional right-angled Artin groups. △ Less

Submitted 3 July, 2008; v1 submitted 17 September, 2007; originally announced September 2007.

Comments: 9 pages

MSC Class: 20F36

A presentation for Aut(F_n)

Authors: Heather Armstrong, Bradley Forrest, Karen Vogtmann

Abstract: We study the action of the group Aut(F_n) of automorphisms of a finitely generated free group on the degree 2 subcomplex of the spine of Auter space. Hatcher and Vogtmann showed that this subcomplex is simply connected, and we use the method described by K. S. Brown to deduce a new presentation of Aut(F_n). We study the action of the group Aut(F_n) of automorphisms of a finitely generated free group on the degree 2 subcomplex of the spine of Auter space. Hatcher and Vogtmann showed that this subcomplex is simply connected, and we use the method described by K. S. Brown to deduce a new presentation of Aut(F_n). △ Less

Submitted 5 September, 2007; v1 submitted 31 January, 2007; originally announced January 2007.

Comments: Missing relation added. Final version to appear in Journal of Group Theory

MSC Class: 20F05; 20F28

Automorphisms of two-dimensional right-angled Artin groups

Authors: Ruth Charney, John Crisp, Karen Vogtmann

Abstract: We study the outer automorphism group of a right-angled Artin group A_G in the case where the defining graph G is connected and triangle-free. We give an algebraic description of Out(A_G) in terms of maximal join subgraphs in G and prove that the Tits' alternative holds for Out(A_G). We construct an analogue of outer space for Out(A_G) and prove that it is finite dimensional, contractible, and h… ▽ More We study the outer automorphism group of a right-angled Artin group A_G in the case where the defining graph G is connected and triangle-free. We give an algebraic description of Out(A_G) in terms of maximal join subgraphs in G and prove that the Tits' alternative holds for Out(A_G). We construct an analogue of outer space for Out(A_G) and prove that it is finite dimensional, contractible, and has a proper action of Out(A_G). We show that Out(A_G) has finite virtual cohomological dimension, give upper and lower bounds on this dimension and construct a spine for outer space realizing the most general upper bound. △ Less

Submitted 5 May, 2007; v1 submitted 31 October, 2006; originally announced October 2006.

Comments: Bounds on vcd improved, proof of Tits' alternative added, expository improvements, typos corrected

MSC Class: 20F36

Journal ref: Geom. Topol. 11 (2007) 2227-2264

Morita classes in the homology of Aut(F_n) vanish after one stabilization

Authors: James Conant, Karen Vogtmann

Abstract: There is a series of cycles in the rational homology of the groups Out(F_n), first discovered by S. Morita, which have an elementary description in terms of finite graphs. The first two of these give nontrivial homology classes, and it is conjectured that they are all nontrivial. These cycles have natural lifts to the homology of Aut(F_n), which is stably trivial by a recent result of Galatius.… ▽ More There is a series of cycles in the rational homology of the groups Out(F_n), first discovered by S. Morita, which have an elementary description in terms of finite graphs. The first two of these give nontrivial homology classes, and it is conjectured that they are all nontrivial. These cycles have natural lifts to the homology of Aut(F_n), which is stably trivial by a recent result of Galatius. We show that in fact a single application of the stabilization map from Aut(F_n) to Aut(F_(n+1)) kills the Morita classes, so that they disappear immediately after they appear. △ Less

Submitted 1 June, 2007; v1 submitted 20 June, 2006; originally announced June 2006.

Comments: 17 pages, 9 figures. Expository changes and typos corrected. This version to appear in Groups, Geometry and Dynamics

MSC Class: 20J06

Erratum to: Homology stability for outer automorphism groups of free groups

Authors: Allen Hatcher, Karen Vogtmann, Nathalie Wahl

Abstract: We correct the proof of Theorem 5 of the paper Homology stability for outer automorphism groups of free groups, by the first two authors. We correct the proof of Theorem 5 of the paper Homology stability for outer automorphism groups of free groups, by the first two authors. △ Less

Submitted 24 March, 2006; originally announced March 2006.

Comments: 7 pages, 3 figures

MSC Class: 20F65; 20F28; 57M07

Journal ref: Algebr. Geom. Topol. 6 (2006) 573-579

Automorphism groups of free groups, surface groups and free abelian groups

Authors: Martin R Bridson, Karen Vogtmann

Abstract: The group of 2-by-2 matrices with integer entries and determinant $\pm > 1$ can be identified either with the group of outer automorphisms of a rank two free group or with the group of isotopy classes of homeomorphisms of a 2-dimensional torus. Thus this group is the beginning of three natural sequences of groups, namely the general linear groups ${\rm{GL}}(n,\Z)$, the groups of outer automorphi… ▽ More The group of 2-by-2 matrices with integer entries and determinant $\pm > 1$ can be identified either with the group of outer automorphisms of a rank two free group or with the group of isotopy classes of homeomorphisms of a 2-dimensional torus. Thus this group is the beginning of three natural sequences of groups, namely the general linear groups ${\rm{GL}}(n,\Z)$, the groups of outer automorphisms of free groups of rank $n\geq 2$, and the mapping class groups of closed orientable surfaces of genus $g\geq 1$. Much of the work on mapping class groups and automorphisms of free groups is motivated by the idea that these sequences of groups are strongly analogous. In this article we highlight a few of the most striking similarities and differences between these series of groups and present a list of open problems motivated by this philosophy. △ Less

Submitted 29 July, 2005; originally announced July 2005.

Comments: 24 pages. To appear in "Problems on mapping class groups and related topics", Proc. Symp. Pure and Applied Math. (B. Farb, ed.)

MSC Class: 20F28; 20F66 (20E05; 20F34; 20J06; 57M07; 57M50)

Morita classes in the homology of automorphism groups of free groups

Authors: James Conant, Karen Vogtmann

Abstract: Using Kontsevich's identification of the homology of the Lie algebra l_infty with the cohomology of Out(F_r), Morita defined a sequence of 4k-dimensional classes mu_k in the unstable rational homology of Out(F_{2k+2}). He showed by a computer calculation that the first of these is non-trivial, so coincides with the unique non-trivial rational homology class for Out(F_4). Using the "forested grap… ▽ More Using Kontsevich's identification of the homology of the Lie algebra l_infty with the cohomology of Out(F_r), Morita defined a sequence of 4k-dimensional classes mu_k in the unstable rational homology of Out(F_{2k+2}). He showed by a computer calculation that the first of these is non-trivial, so coincides with the unique non-trivial rational homology class for Out(F_4). Using the "forested graph complex" introduced in [Algebr. Geom. Topol. 3 (2003) 1167--1224], we reinterpret and generalize Morita's cycles, obtaining an unstable cycle for every connected odd-valent graph. (Morita has independently found similar generalizations of these cycles.) The description of Morita's original cycles becomes quite simple in this interpretation, and we are able to show that the second Morita cycle also gives a nontrivial homology class. Finally, we view things from the point of view of a different chain complex, one which is associated to Bestvina and Feighn's bordification of outer space. We construct cycles which appear to be the same as the Morita cycles constructed in the first part of the paper. In this setting, a further generalization becomes apparent, giving cycles for objects more general than odd-valent graphs. Some of these cycles lie in the stable range. We also observe that these cycles lift to cycles for Aut(F_r). △ Less

Submitted 11 December, 2004; v1 submitted 19 June, 2004; originally announced June 2004.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol8/paper40.abs.html

MSC Class: 20J06; 20F65; 20F28

Journal ref: Geom. Topol. 8 (2004) 1471-1499

Homology stability for outer automorphism groups of free groups

Authors: Allen Hatcher, Karen Vogtmann

Abstract: We prove that the quotient map from Aut(F_n) to Out(F_n) induces an isomorphism on homology in dimension i for n at least 2i+4. This corrects an earlier proof by the first author and significantly improves the stability range. In the course of the proof, we also prove homology stability for a sequence of groups which are natural analogs of mapping class groups of surfaces with punctures. In part… ▽ More We prove that the quotient map from Aut(F_n) to Out(F_n) induces an isomorphism on homology in dimension i for n at least 2i+4. This corrects an earlier proof by the first author and significantly improves the stability range. In the course of the proof, we also prove homology stability for a sequence of groups which are natural analogs of mapping class groups of surfaces with punctures. In particular, this leads to a slight improvement on the known stability range for Aut(F_n), showing that its i-th homology is independent of n for n at least 2i+2. △ Less

Submitted 29 December, 2004; v1 submitted 18 June, 2004; originally announced June 2004.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol4/agt-4-54.abs.html

MSC Class: 20F65; 20F28; 57M07

Journal ref: Algebr. Geom. Topol. 4 (2004) 1253-1272

Cut vertices in commutative graphs

Authors: James Conant, Ferenc Gerlits, Karen Vogtmann

Abstract: The homology of Kontsevich's commutative graph complex parameterizes finite type invariants of odd dimensional manifolds. This {\it graph homology} is also the twisted homology of Outer Space modulo its boundary, so gives a nice point of contact between geometric group theory and quantum topology. In this paper we give two different proofs (one algebraic, one geometric) that the commutative grap… ▽ More The homology of Kontsevich's commutative graph complex parameterizes finite type invariants of odd dimensional manifolds. This {\it graph homology} is also the twisted homology of Outer Space modulo its boundary, so gives a nice point of contact between geometric group theory and quantum topology. In this paper we give two different proofs (one algebraic, one geometric) that the commutative graph complex is quasi-isomorphic to the quotient complex obtained by modding out by graphs with cut vertices. This quotient complex has the advantage of being smaller and hence more practical for computations. In addition, it supports a Lie bialgebra structure coming from a bracket and cobracket we defined in a previous paper. As an application, we compute the rational homology groups of the commutative graph complex up to rank 7. △ Less

Submitted 1 December, 2004; v1 submitted 28 July, 2003; originally announced July 2003.

Comments: Final version. To appear in Oxford Quarterly Journal. Programs and data are available with the version one source of this paper

MSC Class: 05C25; 57M15

Journal ref: Q. J. Math. 56 (2005), no. 3, 321--336

Homomorphisms from automorphism groups of free groups

Authors: Martin R Bridson, Karen Vogtmann

Abstract: The automorphism group of a finitely generated free group is the normal closure of a single element of order 2. If $m$ is less than $n$ then a homomorphism $Aut(F_n)\to Aut(F_m)$ can have cardinality at most 2. More generally, this is true of homomorphisms from $\Aut(F_n)$ to any group that does not contain an isomorphic copy of the symmetric group $S_{n+1}$. Strong constraints are also obtained… ▽ More The automorphism group of a finitely generated free group is the normal closure of a single element of order 2. If $m$ is less than $n$ then a homomorphism $Aut(F_n)\to Aut(F_m)$ can have cardinality at most 2. More generally, this is true of homomorphisms from $\Aut(F_n)$ to any group that does not contain an isomorphic copy of the symmetric group $S_{n+1}$. Strong constraints are also obtained on maps to groups that do not contain a copy of $W_n= (\Bbb Z/2)^n\rtimes S_n$, or of $\Bbb Z^{n-1}$. These results place constraints on how $\Aut(F_n)$ can act. For example, if $n\ge 3$ then any action of $\Aut(F_n)$ on the circle (by homeomorphisms) factors through $\text{\rm{det}}:Aut(F_n) \to \Bbb Z_2$ . △ Less

Submitted 16 September, 2002; originally announced September 2002.

Comments: 10 Pages, to appear in J. London Math. Soc

MSC Class: 20F65; 20F28

On a theorem of Kontsevich

Authors: James Conant, Karen Vogtmann

Abstract: In two seminal papers M. Kontsevich introduced graph homology as a tool to compute the homology of three infinite dimensional Lie algebras, associated to the three operads `commutative,' `associative' and `Lie.' We generalize his theorem to all cyclic operads, in the process giving a more careful treatment of the construction than in Kontsevich's original papers. We also give a more explicit tre… ▽ More In two seminal papers M. Kontsevich introduced graph homology as a tool to compute the homology of three infinite dimensional Lie algebras, associated to the three operads `commutative,' `associative' and `Lie.' We generalize his theorem to all cyclic operads, in the process giving a more careful treatment of the construction than in Kontsevich's original papers. We also give a more explicit treatment of the isomorphisms of graph homologies with the homology of moduli space and Out(F_r) outlined by Kontsevich. In [`Infinitesimal operations on chain complexes of graphs', Mathematische Annalen, 327 (2003) 545-573] we defined a Lie bracket and cobracket on the commutative graph complex, which was extended in [James Conant, `Fusion and fission in graph complexes', Pac. J. 209 (2003), 219-230] to the case of all cyclic operads. These operations form a Lie bi-algebra on a natural subcomplex. We show that in the associative and Lie cases the subcomplex on which the bi-algebra structure exists carries all of the homology, and we explain why the subcomplex in the commutative case does not. △ Less

Submitted 13 December, 2003; v1 submitted 22 August, 2002; originally announced August 2002.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol3/agt-3-42.abs.html

MSC Class: 17B62; 17B63; 17B70; 20F28; 57M07; 57M15; 57M27

Journal ref: Algebr. Geom. Topol. 3 (2003) 1167-1224

Infinitesimal Operations on Complexes of Graphs

Authors: Jim Conant, Karen Vogtmann

Abstract: In two seminal papers Kontsevich used a construction called_graph homology_ as a bridge between certain infinite dimensional Lie algebras and various topological objects, including moduli spaces of curves, the group of outer automorphisms of a free group, and invariants of odd dimensional manifolds. In this paper, we show that Kontsevich's graph complexes, which include graph complexes studied e… ▽ More In two seminal papers Kontsevich used a construction called_graph homology_ as a bridge between certain infinite dimensional Lie algebras and various topological objects, including moduli spaces of curves, the group of outer automorphisms of a free group, and invariants of odd dimensional manifolds. In this paper, we show that Kontsevich's graph complexes, which include graph complexes studied earlier by Culler and Vogtmann and by Penner, have a rich algebraic structure. We define a Lie bracket and cobracket on graph complexes, and in fact show that they are Batalin-Vilkovisky algebras, and therefore Gerstenhaber algebras. We also find natural subcomplexes on which the bracket and cobracket are compatible as a Lie bialgebra. Kontsevich's graph complex construction was generalized to the context of operads by Ginzburg and Kapranov, with later generalizations by Getzler-Kapranov and Markl. In [CoV], we show that Kontsevich's results in fact extend to general cyclic operads. For some operads, including the examples associated to moduli space and outer automorphism groups of free groups, the subcomplex on which we have a Lie bi-algebra structure is quasi-isomorphic to the entire connected graph complex. In the present paper we show that all of the new algebraic operations canonically vanish when the homology functor is applied, and we expect that the resulting constraints will be useful in studying the homology of the mapping class group, finite type manifold invariants and the homology of Out(F_n). △ Less

Submitted 1 August, 2003; v1 submitted 19 November, 2001; originally announced November 2001.

Comments: In this final revision, we settle one of the conjectures from the original paper. We also eliminate the discussion of "symmetric Jacobi algebras," dealing only with Lie algebras instead. To appear in Math. Annalen

MSC Class: 17B62; 17B63; 17B70; 20F28; 57M07; 57M15; 57M27

Journal ref: Math. Ann. 327 (2003), no. 3, 545--573