VH-Complexes and subgroups of the direct product of two free groups

In this post we turn to Bridson and Wise‘s proof of the following theorem of Baumslag and Roseblade described in our previous post.

Theorem. Every finitely presented subgroup of a direct product of two free groups {F\times F'} is either free or contains a finite index subgroup of the form {H\times H'} where {H\leq F} and {H'\leq F'}.

Central to the their proof is the construction of certain non-positively curved metric spaces whose fundamental groups are virtually the direct product of free groups. From there, it can be shown that finitely presented subgroups of the fundamental group exhibit the dichotomy given in the theorem. We begin by defining these spaces.

1. Square complexes

We will be working with square complexes. A square complex is a 2-dimensional CW complex in which every 2-cell is attached along a loop consisting of four (not necessarily distinct) 1-cells.

Every square complex can be metrized as a piecewise Euclidean metric space by treating each square as a Euclidean square. We wish to know when a square complex {X} is non-positively curved. To do this we use the link graph {Lk(X,v)} for a vertex {v} in {X}. The vertices of this graph correspond to half-edges incident at {v}, and two vertices are connected by an edge if these half-edges span a face in {X}.

2. VH-complexes

A VH-complex is a square complex in which every 1-cell can be labelled as either vertical or horizontal in such a manner so that the attaching loop of each 2-cell alternates between vertical and horizontal.

The labeling of the edges in a VH-complex induces a partition on the vertices in {Lk(X,v)} for each vertex {v\in X}. In particular this makes {Lk(X,v)} a bipartite graph. We will say a VH-complex is complete when {Lk(X,v)} is a complete bipartite graph for each {v\in X}. Intuitively, this means that if there is a vertical edge and a horizontal edge incident at a vertex then these edges must span a 2-cell in {X}.

Complete VH-complexes are non-positively curved when their 2-cells are metrized as Euclidean squares. This is because all reduced circuits in a complete bipartite graph are of even length greater than two. Thus such a complex satisfies Gromov’s link condition.

3. The fundamental group of a complete VH-complex

We can think about VH-complexes in terms of gates and corridors. Let {X_V} be the set of vertical edges in {X}. A gate is a connected component of {X_V}, while a corridor is a connected component of {X-X_V}. We will say a VH-complex is clean if the attaching map of each corridor is injective.

To each VH-complex {X} we can associate a graph {G_X} whose vertices correspond to gates and whose edges correspond to corridors in {X}. Note that this graph can have loops as a corridor may attach both ends to the same gate. When {X} is clean and complete, the attaching maps of corridors are particularly nice. Ultimately, this allows one to see that {X} has a covering space {\widehat{X}} such that {G_{\widehat{X}}} is a cover of {G_X}. This leads to the following theorem from Wise’s PhD thesis:

Theorem 1 . Let {X} be a complete VH-complex. If {X} is clean and connected, then there exists a finite sheeted covering space {\widehat{X}\rightarrow X} which is a product of graphs.

A corollary brings us into the context of the direct product of two free groups.

Corollary. If {X} is as above then for every vertex {v\in X} there exists a finite index subgroup {G^v} of {\pi_1(X,v)} such that {G^v=G^v_V\times G^v_H} where {G^v_V} consists of homotopy classes of loops in the vertical edges of {X} and {G^v_H} consists of homotopy classes of loops in the horizontal edges of {X}. Furthermore, both {G^v_V} and {G^v_H} are free.

4. The lollipop dichotomy

A lollipop is a finite connected graph with exactly one vertex of valence one and exactly one vertex of valence three. A VH pair of lollipops is a 1-dimensional VH-complex whose vertical and horizontal subgraphs are lollipops and intersect a single vertex of valence two. A morphism from a VH pair of lollipops to a VH-complex is called locally geodesic if it is a local isometry. Locally geodesic VH pairs of lollipops are an obstruction to a VH-complex being complete. The following theorem applies to nice VH-complexes; this essentially means the complex is free of dangling edges and unnecessary faces.

Theorem 3. Let {X} be a non-positively curved, compact VH-complex. If {X} is nice then either {X} is complete or {X} contains a locally geodesic pair VH pair of lollipops.

A morphism from a pair of VH lollipops to a VH-complex which is {\pi_1}-injective is called an essential pair of VH lollipops. The technical details of the following theorem require tower maps (see Bridson & Haeflinger), which the reader should think of as a akin to coverings.

Theorem 4. If {X} is a complete VH-complex and {S} is a finitely presented subgroup of {\pi_1(X,v)} then at least one of the following is true

  1. {S} is a free group;
  2. there exists a complete VH-complex {Y} and a {\pi_1}-injective tower max {\phi:Y\rightarrow X} such that {\phi_*(\pi_1Y)} is conjugate to {S};
  3. there is an essential pair of VH lollipops {\lambda:P\rightarrow X} such that {\lambda_*(\pi_1P)} is conjugate to a subgroup of {S}.

The hypotheses of the Corollary rule out option {(3)}. If we assume {S} is not free, the tower map allows us find a finite index subgroup of {S} with the same sort of decomposition as in the Corollary. After arguing that a change of basepoint produces an isomorphism on the subgroups {G_V} and {G_H}, we come the last theorem we need.

Theorem 5. If {X} is a clean, complete VH-complex and {S} is a finitely presented subgroup of {\pi_1(X,v)}, then either {S} is free or else {S} contains a subgroup {G_1\times G_2} of finite index where {G_1} consists of homotopy classes of vertical loops and {G_2} consists of homotopy classes of horizontal loops.

The theorem quoted at the start of this post is a special case of the above theorem: it is the instance where {X} is a product of two finite graphs with a single vertex.

As a concluding remark, we note that this style of argument doesn’t extend to subgroups of the direct product of more than two free groups as the tower maps argument breaks down for cubical complexes.


About berstein

berstein is the name under which participants in the Berstein Seminar - a mathematics seminar at Cornell - are blogging.
This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s