SearcharxivSearch

arXiv subjects

Karen Vogtmann

Publications and source records attributed to Karen Vogtmann.

At least 19 recordsLinked to original sources

Handlebodies, Outer space, and tropical geometry

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 simply connected 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.

math.GT

The boundary of bordified Outer space

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.

math.GR

Finite groups of untwisted outer automorphisms of RAAGs

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_Γ)$.

math.GR

The Euler characteristic of the moduli space of graphs

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$.

math.AT

Computing Euler characteristics using quantum field theory

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.

math.GR

The complex of free factors of a free group

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$.

math.GT

Outer space for RAAGs

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_Γ$.

math.GR

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

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.

math.GR

Cube complexes and abelian subgroups of automorphism groups of RAAGs

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.

math.GR

On the bordification of outer space

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.

math.GR

Tethers and homology stability for surfaces

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.

math.GT

Assembling homology classes in automorphism groups of free groups

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.

math.AT

The topology and geometry of automorphism groups of free groups

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.

math.GR

Outer space for untwisted automorphisms of right-angled Artin groups

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 $Σ_Γ$.

math.GR

Higher hairy graph homology

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.

math.AT

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

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.

math.AT

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

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.

math.GR