You are currently browsing the tag archive for the ‘scl’ tag.

Last Friday, Henry Wilton gave a talk at Caltech about his recent joint work with Sang-hyun Kim on polygonal words in free groups. Their work is motivated by the following well-known question of Gromov:

Question(Gromov): Let G be a one-ended word-hyperbolic group. Does G contain a subgroup isomorphic to the fundamental group of a closed hyperbolic surface?

Let me briefly say what “one-ended” and “word-hyperbolic” mean.

A group is said to be word-hyperbolic if it acts properly and cocompactly by isometries on a proper \delta-hyperbolic path metric space — i.e. a path metric space in which there is a constant \delta so that geodesic triangles in the metric space have the property that each side of the triangle is contained in the \delta-neighborhood of the union of the other two sides (colloquially, triangles are thin). This condition distills the essence of negative curvature in the large, and was shown by Gromov to be equivalent to several other conditions (eg. that the group satisfies a linear isoperimetric inequality; that every ultralimit of the group is an \mathbb{R}-tree). Free groups are hyperbolic; fundamental groups of closed manifolds with negative sectional curvature (eg surfaces with negative Euler characteristic) are word-hyperbolic; “random” groups are hyperbolic — and so on. In fact, it is an open question whether a group G that admits a finite K(G,1) is word hyperbolic if and only if it does not contain a copy of a Baumslag-Solitar group BS(m,n):=\langle x,y \; | \; x^{-1}y^{m}x = y^n \rangle for m,n \ne 0 (note that the group \mathbb{Z}\oplus \mathbb{Z} is the special case m=n=1); in any case, this is a very good heuristic for identifying the word-hyperbolic groups one typically meets in examples.

If G is a finitely generated group, the ends of G really means the ends (as defined by Freudenthal) of the Cayley graph of G with respect to some finite generating set. Given a proper topological space X, the set of compact subsets of X gives rise to an inverse system of inclusions, where X-K' includes into X-K whenever K is a subset of K'. This inverse system defines an inverse system of maps of discrete spaces \pi_0(X-K') \to \pi_0(X-K), and the inverse limit of this system is a compact, totally disconnected space \mathcal{E}(X), called the space of ends of X. A proper topological space is canonically compactified by its set of ends; in fact, the compactification X \cup \mathcal{E}(X) is the “biggest” compactification of X by a totally disconnected space, in the sense that for any other compactification X \subset Y where Y-X is zero dimensional, there is a continuous map X \cup \mathcal{E}(X) \to Y which is the identity on X.

For a word-hyperbolic group G, the Cayley graph can be compactified by adding the ideal boundary \partial_\infty G, but this is typically not totally disconnected. In this case, the ends of G can be recovered as the components of \partial_\infty G.

A group G acts on its own ends \mathcal{E}(G). An elementary argument shows that the cardinality of \mathcal{E}(G) is one of 0,1,2,\infty (if a compact set V disconnects e_1,e_2,e_3 then infinitely many translates of V converging to e_1 separate e_3 from infinitely many other ends accumulating on e_1). A group has no ends if and only if it is finite. Stallings famously showed that a (finitely generated) group has at least 2 ends if and only if it admits a nontrivial description as an HNN extension or amalgamated free product over a finite group. One version of the argument proceeds more or less as follows, at least when G is finitely presented. Let M be an n-dimensional Riemannian manifold with fundamental group G, and let \tilde{M} denote the universal cover. We can identify the ends of G with the ends of \tilde{M}. Let V be a least (n-1-dimensional) area hypersurface in \tilde{M} amongst all hypersurfaces that separate some end from some other (here the hypothesis that G has at least two ends is used). Then every translate of V by an element of G is either equal to V or disjoint from it, or else one could use the Meeks-Yau “roundoff trick” to find a new V' with strictly lower area than V. The translates of V decompose \tilde{M} into pieces, and one can build a tree T whose vertices correspond to to components of \tilde{M} - G\cdot V, and whose edges correspond to the translates G\cdot V. The group G acts on this tree, with finite edge stabilizers (by the compactness of V), exhibiting G either as an HNN extension or an amalgamated product over the edge stabilizers. Note that the special case |\mathcal{E}(G)|=2 occurs if and only if G has a finite index subgroup which is isomorphic to \mathbb{Z}.

Free groups and virtually free groups do not contain closed surface subgroups; Gromov’s question more or less asks whether these are the only examples of word-hyperbolic groups with this property.

Kim and Wilton study Gromov’s question in a very, very concrete case, namely that case that G is the double of a free group F along a word w; i.e. G = F *_{\langle w \rangle } F (hereafter denoted D(w)). Such groups are known to be one-ended if and only if w is not contained in a proper free factor of F (it is clear that this condition is necessary), and to be hyperbolic if and only if w is not a proper power, by a result of Bestvina-Feighn. To see that this condition is necessary, observe that the double \mathbb{Z} *_{p\mathbb{Z}} \mathbb{Z} is isomorphic to the fundamental group of a Seifert fiber space, with base space a disk with two orbifold points of order p; such a group contains a \mathbb{Z}\oplus \mathbb{Z}. One might think that such groups are too simple to give an insight into Gromov’s question. However, these groups (or perhaps the slightly larger class of graphs of free groups with cyclic edge groups) are a critical case for at least two reasons:

  1. The “smaller” a group is, the less room there is inside it for a surface group; thus the “simplest” groups should have the best chance of being a counterexample to Gromov’s question.
  2. If G is word-hyperbolic and one-ended, one can try to find a surface subgroup by first looking for a graph of free groups H in G, and then looking for a surface group in H. Since a closed surface group is itself a graph of free groups, one cannot “miss” any surface groups this way.

Not too long ago, I found an interesting construction of surface groups in certain graphs of free groups with cyclic edge groups. In fact, I showed that every nontrivial element of H_2(G;\mathbb{Q}) in such a group is virtually represented by a sum of surface subgroups. Such surface subgroups are obtained by finding maps of surface groups into G which minimize the Gromov norm in their (projective) homology class. I think it is useful to extend Gromov’s question by making the following

Conjecture: Let G be a word-hyperbolic group, and let \alpha \in H_2(G;\mathbb{Q}) be nonzero. Then some multiple of \alpha is represented by a norm-minimizing surface (which is necessarily \pi_1-injective).

Note that this conjecture does not generalize to wider classes of groups. There are even examples of \text{CAT}(0) groups G with nonzero homology classes \alpha \in H_2(G;\mathbb{Q}) with positive, rational Gromov norm, for which there are no \pi_1-injective surfaces representing a multiple of \alpha at all.

It is time to define polygonal words in free groups.

Definition: Let F be free. Let X be a wedge of circles whose edges are free generators for F. A cyclically reduced word w in these generators is polygonal if there exists a van-Kampen graph \Gamma on a surface S such that:

  1. every complementary region is a disk whose boundary is a nontrivial (possibly negative) power of w;
  2. the (labelled) graph \Gamma immerses in X in a label preserving way;
  3. the Euler characteristic of S is strictly less than the number of disks.

The last condition rules out trivial examples; for example, the double of a single disk whose boundary is labeled by w^n. Notice that it is very important to allow both positive and negative powers of w as boundaries of complementary regions. In fact, if w is not in the commutator subgroup, then the sum of the powers over all complementary regions is necessarily zero (and if w is in the commutator subgroup, then D(w) has nontrivial H_2, so one already knows that there is a surface subgroup).

Condition 2. means that at each vertex of \Gamma, there is at most one oriented label corresponding to each generator of F or its inverse. This is really the crucial geometric property. If \Gamma,S is a van-Kampen graph as above, then a theorem of Marshall Hall implies that there is a finite cover of X into which \Gamma embeds (in fact, this observation underlies Stallings’s work on foldings of graphs). If we build a 2-complex Y with \pi_1(Y)=D(w) by attaching two ends of a cylinder to suitable loops in two copies of X, then a tubular neighborhood of \Gamma in S (i.e. what is sometimes called a “fatgraph” ) embeds in a finite cover \tilde{Y} of Y, and its double — a surface of strictly negative Euler characteristic — embeds as a closed surface in \tilde{Y}, and is therefore \pi_1-injective. Hence if w is polygonal, D(w) contains a surface subgroup.

Not every word is polygonal. Kim-Wilton discuss some interesting examples in their paper, including:

  1. suppose w is a cyclically reduced product of proper powers of the generators or their inverses (e.g a word like a^3b^7a^{-2}c^{13} but not a word like a^3bc^{-1}); then w is polygonal;
  2. a word of the form \prod_i a^{p_{2i-1}}(a^{p_{2i}})^b is polygonal if |p_i|>1 for each i;
  3. the word abab^2ab^3 is not polygonal.

To see 3, suppose there were a van-Kampen diagram with more disks than Euler characteristic. Then there must be some vertex of valence at least 3. Since w is positive, the complementary regions must have boundaries which alternate between positive and negative powers of w, so the degree of the vertex must be even. On the other hand, since \Gamma must immerse in a wedge of two circles, the degree of every vertex must be at most 4, so there is consequently some vertex of degree exactly 4. Since each a is isolated, at least 2 edges must be labelled b; hence exactly two. Hence exactly two edges are labelled a. But one of these must be incoming and one outgoing, and therefore these are adjacent, contrary to the fact that w does not contain a a^{\pm 2}.

1 above is quite striking to me. When w is in the commutator subgroup, one can consider van-Kampen diagrams as above without the injectivity property, but with the property that every power of w on the boundary of a disk is positive; call such a van-Kampen diagram monotone. It turns out that monotone van-Kampen diagrams always exist when w \in [F,F], and in fact that norm-minimizing surfaces representing powers of the generator of H_2(D(w)) are associated to certain monotone diagrams. The construction of such surfaces is an important step in the argument that stable commutator length (a kind of relative Gromov norm) is rational in free groups. In my paper scl, sails and surgery I showed that monomorphisms of free groups that send every generator to a power of that generator induce isometries of the \text{scl} norm; in other words, there is a natural correspondence between certain equivalence classes of monotone surfaces for an arbitrary word in [F,F] and for a word of the kind that Kim-Wilton show is polygonal (Note: Henry Wilton tells me that Brady, Forester and Martinez-Pedroza have independently shown that D(w) contains a surface group for such w, but I have not seen their preprint (though I would be very grateful to get a copy!)).

In any case, if not every word is polygonal, all is not lost. To show that D(w) contains a surface subgroup is suffices to show that D(w') contains a surface subgroup, where w and w' differ by an automorphism of F. Kim-Wilton conjecture that one can always find an automorphism \phi so that \phi(w) is polygonal. In fact, they make the following:

Conjecture (Kim-Wilton; tiling conjecture): A word w not contained in a proper free factor of shortest length (in a given generating set) in its orbit under \text{Aut}(F) is polygonal.

If true, this would give a positive answer to Gromov’s question for groups of the form D(w).

I am in Melbourne at the moment, in the middle of giving a lecture series, as part of the 2009 Clay-Mahler lectures (also see here). Yesterday I gave a lecture with the title “faces of the scl norm ball”, and I thought I would try to give a sense of what it was all about. This also gives me an excuse to fiddle around with images in wordpress.

One starts with a basic question: given an immersion of a circle in the plane, when is there an immersion of the disk in the plane that bounds the given immersion of a circle? I.e., given a immersion \gamma:S^1 \to \bf{R}^2, when is there an immersion f:D^2 \to \bf{R}^2 for which \partial f factors through \gamma? Obviously this depends on \gamma. Consider the following examples:

immersed_circlesThe first immersed circle obviously bounds an immersed disk; in fact, an embedded disk.

The second circle does not bound such a disk. One way to see this is to use the Gauss map, i.e. the map \gamma'/|\gamma'|:S^1 \to S^1 that takes each point on the circle to the unit tangent to its image under the immersion. The degree of the Gauss map for an embedded circle is \pm 1 (depending on a choice of orientation). If an immersed circle bounds an immersed disk, one can use this immersed disk to define a 1-parameter family of immersions, connecting the initial immersed circle to an embedded immersed circle; hence the degree of the Gauss map is aso \pm 1 for an immersed circle bounding an immersed disk; this rules out the second example.

The third example maps under the Gauss map with degree 1, and yet it does not bound an immersed disk. One must use a slightly more sophisticated invariant to see this. The immersed circle divides the plane up into regions. For each bounded region R, let \alpha:[0,1] \to \bf{R}^2 be an embedded arc, transverse to \gamma, that starts in the region R and ends up “far away” (ideally “at infinity”). The arc \alpha determines a homological intersection number that we denote \alpha \cap \gamma, where each point of intersection contributes \pm 1 depending on orientations. In this example, there are three bounded regions, which get the numbers 1, -1, 1 respectively:

immersions2If f:S \to \bf{R}^2 is any map of any oriented surface with one boundary component whose boundary factors through \gamma, then the (homological) degree with which S maps over each region complementary to the image of \gamma is the number we have just defined. Hence if \gamma bounds an immersed disk, these numbers must all be positive (or all negative, if we reverse orientation). This rules out the third example.

The complete answer of which immersed circles in the plane bound immersed disks was given by S. Blank, in his Ph.D. thesis at Brandeis in 1967 (unfortunately, this does not appear to be available online). The answer is in the form of an algorithm to decide the question. One such algorithm (not Blank’s, but related to it) is as follows. The image of \gamma cuts up the plane into regions R_i, and each region R_i gets an integer n_i. Take n_i “copies” of each region R_i, and think of these as pieces of a jigsaw puzzle. Try to glue them together along their edges so that they fit together nicely along \gamma and make a disk with smooth boundary. If you are successful, you have constructed an immersion. If you are not successful (after trying all possible ways of gluing the puzzle pieces together), no such immersion exists. This answer is a bit unsatisfying, since in the first place it does not give any insight into which loops bound and which don’t, and in the second place the algorithm is quite slow and impractial.

As usual, more insight can be gained by generalizing the question. Fix a compact oriented surface \Sigma and consider an immersed 1-manifold \Gamma: \coprod_i S^1 \to \Sigma. One would like to know which such 1-manifolds bound an immersion of a surface. One piece of subtlety is the fact that there are examples where \Gamma itself does not bound, but a finite cover of \Gamma (e.g. two copies of \Gamma) does bound. It is also useful to restrict the class of 1-manifolds that one considers. For the sake of concreteness then, let \Sigma be a hyperbolic surface with geodesic boundary, and let \Gamma be an oriented immersed geodesic 1-manifold in \Sigma. An immersion f:S \to \Sigma is said to virtually bound \Gamma if the map \partial f factors as a composition \partial S \to \coprod_i S^1 \to \Sigma where the second map is \Gamma, and where the first map is a covering map with some degree n(S). The fundamental question, then is:

Question: Which immersed geodesic 1-manifolds \Gamma in \Sigma are virtually bounded by an immersed surface?

It turns out that this question is unexpectedly connected to stable commutator length, symplectic rigidity, and several other geometric issues; I hope to explain how in the remainder of this post.

First, recall that if G is any group and g \in [G,G], the commutator length of g, denoted \text{cl}(g), is the smallest number of commutators in G whose product is equal to g, and the stable commutator length \text{scl}(g) is the limit \text{scl}(g) = \lim_{n \to \infty} \text{cl}(g^n)/n. One can geometrize this definition as follows. Let X be a space with \pi_1(X) = G, and let \gamma:S^1 \to X be a homotopy class of loop representing the conjugacy class of g. Then \text{scl}(g) = \inf_S -\chi^-(S)/2n(S) over all surfaces S (possibly with multiple boundary components) mapping to X whose boundary wraps a total of n(S) times around \gamma. One can extend this definition to 1-manifolds \Gamma:\coprod_i S^1 \to X in the obvious way, and one gets a definition of stable commutator length for formal sums of elements in G which represent 0 in homology. Let B_1(G) denote the vector space of real finite linear combinations of elements in G whose sum represents zero in (real group) homology (i.e. in the abelianization of G, tensored with \bf{R}). Let H be the subspace spanned by chains of the form g^n - ng and g - hgh^{-1}. Then \text{scl} descends to a (pseudo)-norm on the quotient B_1(G)/H which we denote hereafter by B_1^H(G) (H for homogeneous).

There is a dual definition of this norm, in terms of quasimorphisms.

Definition: Let G be a group. A function \phi:G \to \bf{R} is a homogeneous quasimorphism if there is a least non-negative real number D(\phi) (called the defect) so that for all g,h \in G and n \in \bf{Z} one has

  1. \phi(g^n) = n\phi(g) (homogeneity)
  2. |\phi(gh) - \phi(g) - \phi(h)| \le D(\phi) (quasimorphism)

A function satisfying the second condition but not the first is an (ordinary) quasimorphism. The vector space of quasimorphisms on G is denoted \widehat{Q}(G), and the vector subspace of homogeneous quasimorphisms is denoted Q(G). Given \phi \in \widehat{Q}(G), one can homogenize it, by defining \overline{\phi}(g) = \lim_{n \to \infty} \phi(g^n)/n. Then \overline{\phi} \in Q(G) and D(\overline{\phi}) \le 2D(\phi). A quasimorphism has defect zero if and only if it is a homomorphism (i.e. an element of H^1(G)) and D(\cdot) makes the quotient Q/H^1 into a Banach space.

Examples of quasimorphisms include the following:

  1. Let F be a free group on a generating set S. Let \sigma be a reduced word in S^* and for each reduced word w \in S^*, define C_\sigma(w) to be the number of copies of \sigma in w. If \overline{w} denotes the corresponding element of F, define C_\sigma(\overline{w}) = C_\sigma(w) (note this is well-defined, since each element of a free group has a unique reduced representative). Then define H_\sigma = C_\sigma - C_{\sigma^{-1}}. This quasimorphism is not yet homogeneous, but can be homogenized as above (this example is due to Brooks).
  2. Let M be a closed hyperbolic manifold, and let \alpha be a 1-form. For each g \in \pi_1(M) let \gamma_g be the geodesic representative in the free homotopy class of g. Then define \phi_\alpha(g) = \int_{\gamma_g} \alpha. By Stokes’ theorem, and some basic hyperbolic geometry, \phi_\alpha is a homogeneous quasimorphism with defect at most 2\pi \|d\alpha\|.
  3. Let \rho: G \to \text{Homeo}^+(S^1) be an orientation-preserving action of G on a circle. The group of homeomorphisms of the circle has a natural central extension \text{Homeo}^+(\bf{R})^{\bf{Z}}, the group of homeomorphisms of \bf{R} that commute with integer translation. The preimage of G in this extension is an extension \widehat{G}. Given g \in \text{Homeo}^+(\bf{R})^{\bf{Z}}, define \text{rot}(g) = \lim_{n \to \infty} (g^n(0) - 0)/n; this descends to a \bf{R}/\bf{Z}-valued function on \text{Homeo}^+(S^1), Poincare’s so-called rotation number. But on \widehat{G}, this function is a homogeneous quasimorphism, typically with defect 1.
  4. Similarly, the group \text{Sp}(2n,\bf{R}) has a universal cover \widetilde{\text{Sp}}(2n,\bf{R}) with deck group \bf{Z}. The symplectic group acts on the space \Lambda_n of Lagrangian subspaces in \bf{R}^{2n}. This is equal to the coset space \Lambda_n = U(n)/O(n), and we can therefore define a function \text{det}^2:\Lambda_n \to S^1. After picking a basepoint, one obtains an S^1-valued function on the symplectic group, which lifts to a real-valued function on its universal cover. This function is a quasimorphism on the covering group, whose homogenization is sometimes called the symplectic rotation number; see e.g. Barge-Ghys.

Quasimorphisms and stable commutator length are related by Bavard Duality:

Theorem (Bavard duality): Let G be a group, and let \sum t_i g_i \in B_1^H(G). Then there is an equality \text{scl}(\sum t_i g_i) = \sup_\phi \sum t_i \phi(g_i)/2D(\phi) where the supremum is taken over all homogeneous quasimorphisms.

This duality theorem shows that Q/H^1 with the defect norm is the dual of B_1^H with the \text{scl} norm. (this theorem is proved for elements g \in [G,G] by Bavard, and in generality in my monograph, which is a reference for the content of this post.)

What does this have to do with rigidity (or, for that matter, immersions)? Well, one sees from the examples (and many others) that homogeneous quasimorphisms arise from geometry — specifically, from hyperbolic geometry (negative curvature) and symplectic geometry (causal structures). One expects to find rigidity in extremal circumstances, and therefore one wants to understand, for a given chain C \in B_1^H(G), the set of extremal quasimorphisms for C, i.e. those homogeneous quasimorphisms \phi satisfying \text{scl}(C) = \phi(C)/2D(\phi). By the duality theorem, the space of such extremal quasimorphisms are a nonempty closed convex cone, dual to the set of hyperplanes in B_1^H that contain C/|C| and support the unit ball of the \text{scl} norm. The fewer supporting hyperplanes, the smaller the set of extremal quasimorphisms for C, and the more rigid such extremal quasimorphisms will be.

When F is a free group, the unit ball in the \text{scl} norm in B_1^H(F) is a rational polyhedron. Every nonzero chain C \in B_1^H(F) has a nonzero multiple C/|C| contained in the boundary of this polyhedron; let \pi_C denote the face of the polyhedron containing this multiple in its interior. The smaller the codimension of \pi_C, the smaller the dimension of the cone of extremal quasimorphisms for C, and the more rigidity we will see. The best circumstance is when \pi_C has codimension one, and an extremal quasimorphism for C is unique, up to scale, and elements of H^1.

An infinite dimensional polyhedron need not necessarily have any top dimensional faces; thus it is natural to ask: does the unit ball in B_1^H(F) have any top dimensional faces? and can one say anything about their geometric meaning? We have now done enough to motivate the following, which is the main theorem from my paper “Faces of the scl norm ball”:

Theorem: Let F be a free group. For every isomorphism F \to \pi_1(\Sigma) (up to conjugacy) where \Sigma is a compact oriented surface, there is a well-defined chain \partial \Sigma \in B_1^H(F). This satisfies the following properties:

  1. The projective class of \partial \Sigma intersects the interior of a codimension one face \pi_\Sigma of the \text{scl} norm ball
  2. The unique extremal quasimorphism dual to \pi_\Sigma (up to scale and elements of H^1) is the rotation quasimorphism \text{rot}_\Sigma (to be defined below) associated to any complete hyperbolic structure on \Sigma
  3. A homologically trivial geodesic 1-manifold \Gamma in \Sigma is virtually bounded by an immersed surface S in \Sigma if and only if the projective class of \Gamma (thought of as an element of B_1^H(F)) intersects \pi_\Sigma. Equivalently, if and only if \text{rot}_\Sigma is extremal for \Gamma. Equivalently, if and only if \text{scl}(\Gamma) = \text{rot}_\Sigma(\Gamma)/2.

It remains to give a definition of \text{rot}_\Sigma. In fact, we give two definitions.

First, a hyperbolic structure on \Sigma and the isomorphism F\to \pi_1(\Sigma) determines a representation F \to \text{PSL}(2,\bf{R}). This lifts to \widetilde{\text{SL}}(2,\bf{R}), since F is free. The composition with rotation number is a homogeneous quasimorphism on F, well-defined up to H^1. Note that because the image in \text{PSL}(2,\bf{R}) is discrete and torsion-free, this quasimorphism is integer valued (and has defect 1). This quasimorphism is \text{rot}_\Sigma.

Second, a geodesic 1-manifold \Gamma in \Sigma cuts the surface up into regions R_i. For each such region, let \alpha_i be an arc transverse to \Gamma, joining R_i to \partial \Sigma. Let (\alpha_i \cap \Gamma) denote the homological (signed) intersection number. Then define \text{rot}_\Sigma(\Gamma) = 1/2\pi \sum_i (\alpha_i \cap \Gamma) \text{area}(R_i).

We now show how 3 follows. Given \Gamma, we compute \text{scl}(\Gamma) = \inf_S -\chi^-(S)/2n(S) as above. Let S be such a surface, mapping to \Sigma. We adjust the map by a homotopy so that it is pleated; i.e. so that S is itself a hyperbolic surface, decomposed into ideal triangles, in such a way that the map is a (possibly orientation-reversing) isometry on each ideal triangle. By Gauss-Bonnet, we can calculate \text{area}(S) = -2\pi \chi^-(S) = \pi \sum_\Delta 1. On the other hand, \partial S wraps n(S) times around \Gamma (homologically) so \text{rot}_\Sigma(\Gamma) = \pi/2\pi n(S) \sum_\Delta \pm 1 where the sign in each case depends on whether the ideal triangle \Delta is mapped in with positive or negative orientation. Consequently \text{rot}_\Sigma(\Gamma)/2 \le -\chi^-(S)/2n(S) with equality if and only if the sign of every triangle is 1. This holds if and only if the map S \to \Sigma is an immersion; on the other hand, equality holds if and only if \text{rot}_\Sigma is extremal for \Gamma. This proves part 3 of the theorem above.

Incidentally, this fact gives a fast algorithm to determine whether \Gamma is the virtual boundary of an immersed surface. Stable commutator length in free groups can be computed in polynomial time in word length; likewise, the value of \text{rot}_\Sigma can be computed in polynomial time (see section 4.2 of my monograph for details). So one can determine whether \Gamma projectively intersects \pi_\Sigma, and therefore whether it is the virtual boundary of an immersed surface. In fact, these algorithms are quite practical, and run quickly (in a matter of seconds) on words of length 60 and longer in F_2.

One application to rigidity is a new proof of the following theorem:

Corollary (Goldman, Burger-Iozzi-Wienhard): Let \Sigma be a closed oriented surface of positive genus, and \rho:\pi_1(\Sigma) \to \text{Sp}(2n,\bf{R}) a Zariski dense representation. Let e_\rho \in H^2(\Sigma;\mathbb{Z}) be the Euler class associated to the action. Suppose that |e_\rho([\Sigma])| = -n\chi(\Sigma) (note: by a theorem of Domic and Toledo, one always has |e_\rho([\Sigma])| \le -n\chi(\Sigma)). Then \rho is discrete.

Here e_\rho is the first Chern class of the bundle associated to \rho. The proof is as follows: cut \Sigma along an essential loop \gamma into two subsurfaces \Sigma_i. One obtains homogeneous quasimorphisms on each group \pi_1(\Sigma_i) (i.e. the symplectic rotation number associated to \rho), and the hypothesis of the theorem easily implies that they are extremal for \partial \Sigma_i. Consequently the symplectic rotation number is equal to \text{rot}_{\Sigma_i}, at least on the commutator subgroup. But this latter quasimorphism takes only integral values; it follows that each element in \pi_1(\Sigma_i) fixes a Lagrangian subspace under \rho. But this implies that \rho is not dense, and since it is Zariski dense, it is discrete. (Notes: there are a couple of details under the rug here, but not many; furthermore, the hypothesis that \rho is Zariski dense is not necessary (but can be derived as a conclusion with more work), and one can just as easily treat representations of compact surface groups as closed ones; finally, Burger-Iozzi-Wienhard prove more than just this statement; for instance, they show that the space of maximal representations is always real semialgebraic, and describe it in some detail).

More abstractly, we have shown that extremal quasimorphisms on \partial \Sigma are unique. In other words, by prescribing the value of a quasimorphism on a single group element, one determines its values on the entire commutator subgroup. If such a quasimorphism arises from some geometric or dynamical context, this can be interpreted as a kind of rigidity theorem, of which the Corollary above is an example.

I have just uploaded a paper to the arXiv, entitled “Scl, sails and surgery”. The paper discusses a connection between stable commutator length in free groups and the geometry of sails. This is an interesting example of what sometimes happens in geometry, where a complicated topological problem in low dimensions can be translated into a “simple” geometric problem in high dimensions. Other examples include the Veronese embedding in Algebraic geometry (i.e. the embedding of one projective space into another taking a point with homogeneous co-ordinates x_i to the point whose homogeneous co-ordinates are the monomials of some fixed degree in the x_i), which lets one exhibit any projective variety as an intersection of a Veronese variety (whose geometry is understood very well) with a linear subspace.

In my paper, the fundamental problem is to compute stable commutator length in free groups, and more generally in free products of Abelian groups. Let’s focus on the case of a group G = A*B where A,B are free abelian of finite rank. A K(G,1) is just a wedge X:=K_A \vee K_B of tori of dimension equal to the ranks of A,B. Let \Gamma: \coprod_i S^1 \to X be a free homotopy class of 1-manifold in X, which is homologically trivial. Formally, we can think of \Gamma as a chain \sum_i g_i in B_1^H(G), the vector space of group 1-boundaries, modulo homogenization; i.e. quotiented by the subspace spanned by chains of the form g^n - ng and g-hgh^{-1}. One wants to find the simplest surface S mapping to X that rationally bounds \Gamma. I.e. we want to find a map f:S \to X such that \partial f:\partial S \to X factors through \Gamma, and so that the boundary \partial S wraps homologically n(S) times around each loop of \Gamma, in such a way as to infimize -\chi(S)/2n(S). This infimum, over all maps of all surfaces S of all possible genus, is the stable commutator length of the chain \sum_i g_i. Computing this quantity for all such finite chains is tantamount to understanding the bounded cohomology of a free group in dimension 2.

Given such a surface S, one can cut it up into simpler pieces, along the preimage of the basepoint K_A \cap K_B. Since S is a surface with boundary, these simpler pieces are surfaces with corners. In general, understanding how a surface can be assembled from an abstract collection of surfaces with corners is a hopeless task. When one tries to glue the pieces back together, one runs into trouble at the corners — how does one decide when a collection of surfaces “closes up” around a corner? The wrong decision leads to branch points; moreover, a decision made at one corner will propogate along an edge and lead to constraints on the choices one can make at other corners. This problem arises again and again in low-dimensional topology, and has several different (and not always equivalent) formulations and guises, including -

  • Given an abstract branched surface and a weight on that surface, when is there an unbranched surface carried by the abstract branched surface and realizing the weight?
  • Given a triangulation of a 3-manifold and a collection of normal surface types in each simplex satisfying the gluing constraints but *not*  necessarily satisfying the quadrilateral condition (i.e. there might be more than one quadrilateral type per simplex), when is there an immersed unbranched normal surface in the manifold realizing the weight?
  • Given an immersed curve in the plane, when is there an immersion from the disk to the plane whose boundary is the given curve?
  • Given a polyhedral surface (arising e.g. in computer graphics), how can one choose smooth approximations of the polygonal faces that mesh smoothly at the vertices?

I think of all these problems as examples of what I like to call the holonomy problem, since all of them can be reduced, in one way or another, to studying representations of fundamental groups of punctured surfaces into finite groups. The fortunate “accident” in this case is that every corner arises by intersecting a cut with a boundary edge of S. Consequently, one never wants to glue more than two pieces up at any corner, and the holonomy problem does not arise. Hence in principle, to understand the surface S one just needs to understand the pieces of S that can arise by cutting, and the ways in which they can be reassembled.

This is still not a complete solution of the problem, since infinitely many kinds of pieces can arise by cutting complicated surfaces S. The 1-manifold \Gamma decomposes into a collection of arcs in the tori K_A and K_B which we denote \tau_A,\tau_B respectively, and the surface S \cap K_A (hereafter abbreviated to S_A) has edges that alternate between elements of \tau_A, and edges mapping to K_A \cap K_B. Since K_A is a torus, handles of S_A mapping to K_A can be compressed, reducing the complexity of S_A, and thereby S, so one need only consider planar surfaces S_A.

Let C_2(A) denote the real vector space with basis the set of ordered pairs (t,t') of elements of \tau_A (not necessarily distinct), and C_1(A) the real vector space with basis the elements of \tau_A. A surface S_A determines a non-negative integral vector v(S_A) \in C_2(A), by counting the number of times a given pair of edges (t,t') appear in succession on one of the (oriented) boundary components of S_A. The vector v(S_A) satisfies two linear constraints. First, there is a map \partial: C_2(A) \to C_1(A) defined on a basis vector by \partial(t,t') = t - t'. The vector v(S_A) satisfies \partial v(S_A) = 0. Second, each element t \in \tau_A is a based loop in K_A, and therefore corresponds to an element in the free abelian group A. Define h:C_2(A) \to A \otimes \mathbb{R} on a basis vector by h(t,t') = t+t' (warning: the notation obscures the fact that \partial and h map to quite different vector spaces). Then h v(S_A)=0; moreover, a non-negative rational vector v \in C_2(A) satisfying \partial v = h v = 0 has a multiple of the form v(S_A) for some S_A as above. Denote the subspace of C_2(A) consisting of non-negative vectors in the kernel of \partial and h by V_A. This is a rational polyhedral cone — i.e. a cone with finitely many extremal rays, each spanned by a rational vector.

Although every integral v \in V_A is equal to v(S_A) for some S_A, many different S_A correspond to a given v. Moreover, if we are allowed to consider formal weighted sums of surfaces, then even more possibilities. In order to compute stable commutator length, we must determine, for a given vector v \in V_A, an expression v = \sum t_i v(S_i) where the t_i are positive real numbers, which minimizes \sum -t_i \chi_o(S_i). Here \chi_o(\cdot) denotes orbifold Euler characteristic of a surface with corners; each corner contributes -1/4 to \chi_o. The reason one counts complexity using this modified definition is that the result is additive: \chi(S) = \chi_o(S_A) + \chi_o(S_B). The contribution to \chi_o from corners is a linear function on V_A. Moreover, a component S_i with \chi(S_i) \le 0 can be covered by a surface of high genus and compressed (increasing \chi); so such a term can always be replaced by a formal sum 1/n S_i' for which \chi(S_i') = \chi(S_i). Thus the only nonlinear contribution to \chi_o comes from the surfaces S_i whose underlying topological surface is a disk.

Call a vector v \in V_A a disk vector if v = v(S_A) where S_A is topologically a disk (with corners). It turns out that the set of disk vectors \mathcal{D}_A has the following simple form: it is equal to the union of the integer lattice points contained in certain of the open faces of V_A (those satisfying a combinatorial criterion). Define the sail of V_A to be equal to the boundary of the convex hull of the polyhedron \mathcal{D}_A + V_A (where + here denotes Minkowski sum). The Klein function \kappa is the unique continuous function on V_A, linear on rays, that is equal to 1 exactly on the sail. Then \chi_o(v):= \max \sum t_i\chi_o(S_i) over expressions v = \sum t_i v(S_i) satisfies \chi_o(v) = \kappa(v) - |v|/2 where |\cdot| denotes L^1 norm. To calculate stable commutator length, one minimizes -\chi_o(v) - \chi_o(v') over (v,v') contained in a certain rational polyhedron in V_A \times V_B.

Sails are considered elsewhere by several authors; usually, people take \mathcal{D}_A to be the set of all integer vectors except the vertex of the cone, and the sail is therefore the boundary of the convex hull of this (simpler) set. Klein introduced sails as a higher-dimensional generalization of continued fractions: if V is a polyhedral cone in two dimensions (i.e. a sector in the plane, normalized so that one edge is the horizontal axis, say), the vertices of the sail are the continued fraction approximations of the boundary slope. Arnold has revived the study of such objects in recent years. They arise in many different interesting contexts, such as numerical analysis (especially diophantine approximation) and algebraic number theory. For example, let A \in \text{SL}(n,\mathbb{Z}) be a matrix with irreducible characteristic equation, and all eigenvalues real and positive. There is a basis for \mathbb{R}^n consisting of eigenvalues, spanning a convex cone V. The cone — and therefore its sail — is invariant under A; moreover, there is a \mathbb{Z}^{n-1} subgroup of \text{SL}(n,\mathbb{Z}) consisting of matrices with the same set of eigenvectors; this observation follows from Dirichlet’s theorem on the units in a number field, and is due to Tsuchihashi. This abelian group acts freely on the sail with quotient a (topological) torus of dimension n-1, together with a “canonical” cell decomposition. This connection between number theory and combinatorics is quite mysterious; for example, Arnold asks: which cell decompositions can arise? This is unknown even in the case n=3.

The most interesting aspect of this correspondence, between stable commutator length and sails, is that it allows one to introduce parameters. An element in a free group F_2 can be expressed as a word in letters a,b,a^{-1},b^{-1}, e.g. aab^{-1}b^{-1}a^{-1}a^{-1}a^{-1}bbbbab^{-1}b^{-1}, which is usually abbreviated with exponential notation, e.g. a^2b^{-2}a^{-3}b^4ab^{-2}. Having introduced this notation, one can think of the exponents as parameters, and study stable commutator length in families of words, e.g. a^{2+p}b^{-2+q}a^{-3-p}b^{4-q}ab^{-2}. Under the correspondence above, the parameters only affect the coefficients of the linear map h, and therefore one obtains families of polyhedral cones V_A(p,q,\cdots) whose extremal rays depend linearly on the exponent parameters. This lets one prove many facts about the stable commutator length spectrum in a free group, including:

Theorem: The image of a nonabelian free group of rank at least 4 under scl in \mathbb{R}/\mathbb{Z} is precisely \mathbb{Q}/\mathbb{Z}.

and

Theorem: For each n, the image of the free group F_n under scl contains a well-ordered sequence of values with ordinal type \omega^{\lfloor n/4 \rfloor}. The image of F_\infty contains a well-ordered sequence of values with ordinal type \omega^\omega.

One can also say things about the precise dependence of scl on parameters in particular families. More conjecturally, one would like to use this correspondence to say something about the statistical distribution of scl in free groups. Experimentally, this distribution appears to obey power laws, in the sense that a given (reduced) fraction p/q appears in certain infinite families of elements with frequency proportional to q^{-\delta} for some power \delta (which unfortunately depends in a rather opaque way on the family). Such power laws are reminiscent of Arnold tongues in dynamics, one of the best-known examples of phase locking of coupled nonlinear oscillators. Heuristically one expects such power laws to appear in the geometry of “random” sails — this is explained by the fact that the (affine) geometry of a sail depends only on its \text{SL}(n,\mathbb{Z}) orbit, and the existence of invariant measures on a natural moduli space; see e.g. Kontsevich and Suhov. The simplest example concerns the (1-dimensional) cone spanned by a random integral vector in \mathbb{Z}^2. The \text{SL}(2,\mathbb{Z}) orbit of such a vector depends only on the gcd of the two co-ordinates. As is easy to see, the probability distribution of the gcd of a random pair of integers p,q obeys a power law: \text{gcd}(p,q) = n with probability \zeta(2)^{-1}/n^2. The rigorous justification of the power laws observed in the scl spectrum of free groups remains the focus of current research by myself and my students.

The development and scope of modern biology is often held out as a fantastic opportunity for mathematicians. The accumulation of vast amounts of biological data, and the development of new tools for the manipulation of biological organisms at microscopic levels and with unprecedented accuracy, invites the development of new mathematical tools for their analysis and exploitation. I know of several examples of mathematicians who have dipped a toe, or sometimes some more substantial organ, into the water. But it has struck me that I know (personally) few mathematicians who believe they have something substantial to learn from the biologists, despite the existence of several famous historical examples.  This strikes me as odd; my instinctive feeling has always been that intellectual ruts develop so easily, so deeply, and so invisibly, that continual cross-fertilization of ideas is essential to escape ossification (if I may mix biological metaphors . . .)

It is not necessarily easy to come up with profound examples of biological ideas or principles that can be easily translated into mathematical ones, but it is sometimes possible to come up with suggestive ones. Let me try to give a tentative example.

Deoxiribonucleic acid (DNA) is a nucleic acid that contains the genetic blueprint for all known living things. This blueprint takes the form of a code — a molecule of DNA is a long polymer strand composed of simple units called nucleotides; such a molecule is typically imagined as a string in a four character alphabet \lbrace A,T,G,C \rbrace, which stand for the nucleotides Adenine, Thymine, Guanine, and Cytosine. These molecular strands like to arrange themselves in tightly bound oppositely aligned pairs, matching up nucleotides in one string with complementary nucleotides in the other, so that A matches with T, and C with G.

The geometry of a strand of DNA is very complicated — strands can be tangled, knotted, linked in complicated ways, and the fundamental interactions between strands (e.g. transcription, recombination) are facilitated or obstructed by mechanical processes depending on this geometry. Topology, especially knot theory, has been used in the study of some of these processes; the value of topological methods in this context include their robustness (fault-tolerance) and the discreteness of their invariants (similar virtues motivate some efforts to build topological quantum computers). A complete mathematical description of the salient biochemistry, mechanics, and semantic content of a configuration of DNA in a single cell is an unrealistic goal for the foreseeable future, and therefore attempts to model such systems depends on ignoring, or treating statistically, certain features of the system. One such framework ignores the ambient geometry entirely, and treats the system using symbolic, or combinatorial methods which have some of the flavor of geometric group theory.

One interesting approach is to consider a mapping from the alphabet of nucleotides to a standard generating set for F_2, the free group on two generators; for example, one can take the mapping T \to a, A \to A, C \to b, G \to B where a,b are free generators for F_2, and {}A,B denote their inverses. Then a pair of oppositely aligned strands of DNA translates into an edge of a van Kampen diagram — the “words” obtained by reading the letters along an edge on either side are inverse in F_2.

Strands of DNA in a configuration are not always paired along their lengths; sometimes junctions of three or more strands can form; certain mobile four-strand junctions, so-called “Holliday junctions”, perform important functions in the process of genetic recombination, and are found in a wide variety of organisms. A configuration of several strands with junctions of varying valences corresponds in the language of van Kampen diagrams to a fatgraph — i.e. a graph together with a choice of cyclic ordering of edges at each vertex — with edges labeled by inverse pairs of words in F_2 (note that this is quite different from the fatgraph model of proteins developed by Penner-Knudsen-Wiuf-Andersen). The energy landscape for branch migration (i.e. the process by which DNA strands separate or join along some segment) is very complicated, and it is challenging to model it thermodynamically. It is therefore not easy to predict in advance what kinds of fatgraphs are more or less likely to arise spontaneously in a prepared “soup” of free DNA strands.

As a thought experiment, consider the following “toy” model, which I do not suggest is physically realistic. We make the assumption that the energy cost of forming a junction of valence v is c(v-2) for some fixed constant c. Consequently, the energy of a configuration is proportional to -\chi, i.e. the negative of Euler characteristic of the underlying graph. Let w be a reduced word, representing an element of F_2, and imagine a soup containing some large number of copies of the strand of DNA corresponding to the string \dot{w}:=\cdots www \cdots. In thermodynamic equilibrium, the partition function has the form Z = \sum_i e^{-E_i/k_BT} where k_B is Boltzmann’s constant, T is temperature, and E_i is the energy of a configuration (which by hypothesis is proportional to -\chi). At low temperature, minimal energy configurations tend to dominate; these are those that minimize -\chi per unit “volume”. Topologically, a fatgraph corresponding to such a configuration can be thickened to a surface with boundary. The words along the edges determine a homotopy class of map from such a surface to a K(F_2,1) (e.g. a once-punctured torus) whose boundary components wrap multiply around the free homotopy class corresponding to the conjugacy class of w. The infimum of -\chi/2d where d is the winding degree on the boundary, taken over all configurations, is precisely the stable commutator length of w; see e.g. here for a definition.

Anyway, this example is perhaps a bit strained (and maybe it owes more to thermodynamics than to biology), but already it suggests a new mathematical object of study, namely the partition function Z as above, and one is already inclined to look for examples for which the partition function obeys a symmetry like that enjoyed by the Riemann zeta function, or to specialize temperature to other values, as in random matrix theory. The introduction of new methods into the study of a classical object — for example, the decision to use thermodynamic methods to organize the study of van Kampen diagrams — bends the focus of the investigation towards those examples and contexts where the methods and tools are most informative. Phenomena familiar in one context (power laws, frequency locking, phase transitions etc.) suggest new questions and modes of enquiry in another. Uninspired or predictable research programs can benefit tremendously from such infusions, whether the new methods are borrowed from other intellectual disciplines (biology, physics), or depend on new technology (computers), or new methods of indexing (google) or collaboration (polymath).

One of my intellectual heroes — Wolfgang Haken — worked for eight years in R+D for Siemens in Munich after completing his PhD. I have a conceit (unsubstantiated as far as I know by biographical facts) that his experience working for a big engineering firm colored his approach to mathematics, and made it possible for him to imagine using industrial-scale “engineering” tools (e.g. integer programming, exhaustive computer search of combinatorial possibilities) to solve two of the most significant “pure” mathematical open problems in topology at the time — the knot recognition problem, and the four-color theorem. It is an interesting exercise to try to imagine (fantastic) variations. If I sit down and decide to try to prove (for example) Cannon’s conjecture, I am liable to try minor variations on things I have tried before, appeal for my intuition to examples that I understand well, read papers by others working in similar ways on the problem, etc. If I imagine that I have been given a billion dollars to prove the conjecture, I am almost certain to prioritize the task in different ways, and to entertain (and perhaps create) much more ambitious or innovative research programs to tackle the task. This is the way in which I understand the following quote by John Dewey, which I used as the colophon of my first book:

Every great advance in science has issued from a new audacity of the imagination.

A basic reference for the background to this post is my monograph.

Let G be a group, and let [G,G] denote the commutator subgroup. Every element of [G,G] can be expressed as a product of commutators; the commutator length of an element g is the minimum number of commutators necessary, and is denoted \text{cl}(g). The stable commutator length is the growth rate of the commutator lengths of powers of an element; i.e. \text{scl}(g) = \lim_{n \to \infty} \text{cl}(g^n)/n. Recall that a group G is said to satisfy a law if there is a nontrivial word w in a free group F for which every homomorphism from F to G sends w to \text{id}.

The purpose of this post is to give a very short proof of the following proposition (modulo some background that I wanted to talk about anyway):

Proposition: Suppose G obeys a law. Then the stable commutator length vanishes identically on [G,G].

The proof depends on a duality between stable commutator length and a certain class of functions, called homogeneous quasimorphisms

Definition: A function \phi:G \to \mathbb{R} is a quasimorphism if there is some least number D(\phi)\ge 0 (called the defect) so that for any pair of elements g,h \in G there is an inequality |\phi(x) + \phi(y) - \phi(xy)| \le D(\phi). A quasimorphism is homogeneous if it satisfies \phi(g^n) = n\phi(g) for all integers n.

Note that a homogeneous quasimorphism with defect zero is a homomorphism (to \mathbb{R}). The defect satisfies the following formula:

Lemma: Let f be a homogeneous quasimorphism. Then D(\phi) = \sup_{g,h} \phi([g,h]).

A fundamental theorem, due to Bavard, is the following:

Theorem: (Bavard duality) There is an equality \text{scl}(g) = \sup_\phi \frac {\phi(g)} {2D(\phi)} where the supremum is taken over all homogeneous quasimorphisms with nonzero defect.

In particular, \text{scl} vanishes identically on [G,G] if and only if every homogeneous quasimorphism on G is a homomorphism.

One final ingredient is another geometric definition of \text{scl} in terms of Euler characteristic. Let X be a space with \pi_1(X) = G, and let \gamma:S^1 \to X be a free homotopy class representing a given conjugacy class g. If S is a compact, oriented surface without sphere or disk components, a map f:S \to X is admissible if the map on \partial S factors through \partial f:\partial S \to S^1 \to X, where the second map is \gamma. For an admissible map, define n(S) by the equality [\partial S] \to n(S) [S^1] in H_1(S^1;\mathbb{Z}) (i.e. n(S) is the degree with which \partial S wraps around \gamma). With this notation, one has the following:

Lemma: There is an equality \text{scl}(g) = \inf_S \frac {-\chi^-(S)} {2n(S)}.

Note: the function -\chi^- is the sum of -\chi over non-disk and non-sphere components of S. By hypothesis, there are none, so we could just write -\chi. However, it is worth writing -\chi^- and observing that for more general (orientable) surfaces, this function is equal to the function \rho defined in a previous post.

We now give the proof of the Proposition.

Proof. Suppose to the contrary that stable commutator length does not vanish on [G,G]. By Bavard duality, there is a homogeneous quasimorphism \phi with nonzero defect. Rescale \phi to have defect 1. Then for any \epsilon there are elements g,h with \phi([g,h]) \ge 1-\epsilon, and consequently \text{scl}([g,h]) \ge 1/2 - \epsilon/2 by Bavard duality. On the other hand, if X is a space with \pi_1(X)=G, and \gamma:S^1 \to X is a loop representing the conjugacy class of [g,h], there is a map f:S \to X from a once-punctured torus S to X whose boundary represents \gamma. The fundamental group of S is free on two generators x,y which map to the class of g,h respectively. If w is a word in x,y mapping to the identity in G, there is an essential loop \alpha in S that maps inessentially to X. There is a finite cover \widetilde{S} of S, of degree d depending on the word length of w, for which \alpha lifts to an embedded loop. This can be compressed to give a surface S' with -\chi^-(S') \le -\chi^-(\widetilde{S})-2. However, Euler characteristic is multiplicative under coverings, so -\chi^-(\widetilde{S}) = -\chi^-(S)\cdot d. On the other hand, n(S') = n(\widetilde{S})=d so \text{scl}([g,h]) \le 1/2 - 1/d. If G obeys a law, then d is fixed, but \epsilon can be made arbitrarily small. So G does not obey a law. qed.

As an experiment, I plan to spend the next five weeks documenting my current research on this blog. This research comprises several related projects, but most are concerned in one way or another with the general program of studying the geometry of a space by probing it with surfaces. Since I am nominally a topologist, these surfaces are real 2-manifolds, and I am usually interested in working in the homotopy category (or some rational “quotient” of it). I am especially concerned with surfaces with boundary, and even (occasionally) with corners. 

Since it is good to have a “big question” lurking somewhere in the background (for the purposes of motivation and advertising, if nothing else), I should admit from the start that I am interested in Gromov’s well-known question about surface subgroups, which asks:

Question (Gromov): Does every one-ended word-hyperbolic group contain a closed hyperbolic surface subgroup?

I don’t have strong feelings about whether the answer to this question is “yes” or “no”, but I do think the question can be sharpened usefully in many ways, and it is my intention to do so. Gromov’s question is certainly inspired by questions such as Waldhausen’s conjecture and the virtual fibration conjecture in 3-manifold topology, but it is hard to imagine that a proof of one of these conjectures would shed much light on Gromov’s question in general. At least one essential tool in 3-manifold topology — namely Dehn’s lemma — has no meaningful analogue in geometric group theory, and I think it is important to try to imagine different methods of constructing surface groups from “first principles”.

Another long-term project that informs much of my current research is the problem of understanding stable commutator length in free groups. The interested reader can learn something about this from my monograph (which can be downloaded from this page). I hope to explain why this is a fundamental and interesting problem, with rich structure and many potential applications.

Follow

Get every new post delivered to your Inbox.

Join 155 other followers