# Almost Sufficiently Large

Communicated by *Notices* Associate Editor Chikako Mese

## 1. The Engineer

Wolfgang Haken, one of the greatest and most original topologists of the 20th century, was born June 21, 1928, in Berlin, Germany. He obtained a PhD in mathematics at the University of Kiel in 1953, and then worked for almost a decade as an electrical engineer designing microwave devices at Siemens. While working there he solved what was perhaps the most fundamental unsolved problem in knot theory: the *unknot recognition problem* (hereafter URP)—i.e., the problem of giving an algorithm to determine whether a knot in is the unknot.

### 1.1. Knots and the URP

For our purposes a *knot* is a smooth embedded in Two knots . are *equivalent* if one may be moved to the other by a smooth isotopy. An *unknot* is any knot equivalent to a round circle in (e.g., a great circle in the round metric).

Some people find it difficult to understand why the URP is a difficult problem. Indeed, it is not easy to draw a diagram of an unknot that can’t be obviously simplified by moving one or two strands. But it is easy to be mislead if one thinks of knots that one can easily draw, that have maybe a dozen crossings or fewer. Maybe one gets a better sense of the complexity of the problem by contemplating the act of untangling a string of Christmas lights (or a long garden hose). Figure 1 is one of Haken’s examples of “complicated” unknots; the reader who can see easily how to begin to untangle it is a better topologist than I.

Unknots may be characterized in several ways:

- (1)
is an unknot if and only if or ;

- (2)
is an unknot if and only if it is the boundary of an embedded in .

Any knot in is the boundary of some compact oriented embedded surface (a so-called *Seifert surface*) for The least genus of a Seifert surface is called the .*genus* of the knot. Thus: a knot is the unknot if and only if its genus is zero.

### 1.2. Linear programming

Haken’s solution to the URP was revolutionary. It depends on the characterization of an unknot as one that bounds an embedded disk in its complement (a Seifert disk). Haken’s algorithm either finds such a disk, or certifies that none exists.

Let’s suppose we want to find a Seifert disk If it exists, it may be found among the set . of properly embedded surfaces in the knot complement The problem of course is that . is an enormously complicated set with little apparent structure. The key is to replace by a more manageable collection of surfaces, as follows. Choose a triangulation of A properly embedded surface . in is said to be *normal* with respect to if the intersection of with each tetrahedron of is a finite disjoint collection of triangles and quadrilaterals, each of which has the combinatorial form depicted in Figure 2.

There are seven combinatorially distinct triangles and quadrilaterals in each tetrahedron; thus a normal surface determines a nonnegative integral vector in where , is the number of tetrahedra in This enjoys the following rather miraculous properties: .

- (1)
any properly embedded surface may either be isotoped to be normal, or may be simplified by an operation (

*compression*—we shall discuss this in § 2) that reduces its topological complexity;- (2)
the set of vectors of the form for some normal surface is precisely the subset of satisfying a finite constructible set of integer linear equalities and inequalities; and

- (3)
normal surfaces may be recovered from their vectors; i.e., given we may recover with uniquely up to isotopy.

These properties, though easy to prove, have powerful consequences: they reduce topological questions about embedded surfaces in 3-manifolds—at least, the *incompressible* ones—to linear programming.

A Seifert disk for if one exists, may not be compressed (it is ,*incompressible*) so it may always be isotoped to be normal, and represented by a vector For any triangulation . the set consists of the integer lattice points in a finite union of rational convex polyhedral cones in projectivizing this cone gives a finite set of rational projective polyhedra. If a Seifert disk ; exists, one may be found so that the projectivization of is a vertex of one of these polyhedra. Thus the URP comes down to the (routine, though computationally expensive) problem of determining these polyhedra, enumerating their finite set of vertices, and checking whether any of these corresponds to the desired .

### 1.3. A “just so” story

The URP is not Haken’s best-known theorem in topology. In 1976, with the collaboration of Kenneth Appel, he proved the Four Color Theorem: the conjecture—first made in the 1850s—that one may label the vertices of a planar graph with at most four colors in such a way that no two adjacent vertices receive the same label. Famously (or perhaps notoriously) the proof depended essentially on the use of a computer. The argument proceeds by first constructing and certifying a finite *unavoidable set* of graphs: a collection of graphs with the property that any minimal counterexample must contain one of these as a subgraph. Next one shows that each of the graphs in this collection is *reducible*: it may be simplified to a new graph in such a way that if contains and , is the result of replacing in with then , may be four-colored if can. These two properties of a finite collection—unavoidability and reducibility—together show by induction that no minimal counterexample can exist, and therefore the Four Color Theorem is true.

The essential use of a computer for the verification of such a famous conjecture generated a storm of controversy, centered on the philosophical question of *surveyability*: whether one should accept the validity of a proof whose details, while humanly checkable one by one, were too numerous to be checkable in aggregate. If this strikes the contemporary reader as a rather frivolous point to get hung up on, it might be because the urgency of the controversy always had more to do with the sociology of mathematics than anything else.

Why was Haken able to solve such significant and long-standing problems when others failed? I do not know the answer, and probably it is unknowable.

Here is a guess. Haken appears to have been unusually open-minded about the use of tools (linear programming, computers) that were not part of the traditional mathematical repertoire. Linear Programming was largely invented by economists, and plays a significant role in many highly applied fields such as network flow problems and supply chain management. And although the first computers were invented by mathematicians, arguably as a natural development of the formalization program of Hilbert as pursued, e.g., by Russell–Whitehead, Gödel, and others, their use as a theoretical tool did not conform to Courant’s description of mathematics as “an expression of the human mind reflect(ing) the active will, the contemplative reason, and the desire for aesthetic perfection.” Is it possible that Haken’s early career as an engineer made him more familiar with, and unprejudiced about tools such as these? What other tools, perspectives, metaphors, work-habits might prove of value to contemporary mathematicians if we were able to broaden our conception of our discipline enough to include them?

## 2. Hierarchies

Let’s take a closer look at incompressibility. If is an embedded two-sided surface in a closed 3-manifold a ,*compressing disk* for is a properly embedded disk in so that is an essential simple loop in (one that does not bound a disk in One may cut out an annular neighborhood of ). in and glue in two parallel copies of to produce a simpler surface, obtained from by *compression*. See Figure 3. If admits no compressing disk, it is *incompressible* (one also says is *essential*).

If is a compressing disk for the conjugacy class represented by , in is in the kernel of the inclusion map A remarkable theorem of Max Dehn gives the converse: if . is incompressible, then is injective.

It follows that in the universal cover the preimages of are properly embedded planes that cut up the universal cover into simply-connected complementary regions which each (universally) cover a component of A graph . with one vertex for each complementary region and one edge for each plane is in fact a tree (because is simply-connected), and by construction this tree comes with an action of for which the edge stabilizers are the conjugates of and the vertex stabilizers are the conjugates of of the components of .

Friedhelm Waldhausen introduced the term *sufficiently large* for an irreducible 3-manifold (one in which every smoothly embedded 2-sphere bounds a 3-ball) that satisfies the first (and therefore all) of the following equivalent conditions:

- (1)
contains an incompressible surface ;

- (2)
splits nontrivially as an amalgam or HNN extension ;

- (3)
acts nontrivially on a tree .

Cutting along produces a new (possibly disconnected) 3-manifold with boundary. There is a notion of essential surface in a manifold with boundary. If contains a surface of positive genus, then is nontrivial, and any embedded surface representing a nontrivial class may be repeatedly compressed or “boundary compressed” until it becomes essential. Thus is also sufficiently large, and may be cut along to produce and so on, unless it happens at some point that every boundary component is a 2-sphere, which implies (because of the irreducibility of that the resulting 3-manifold is a union of 3-balls. Technically, after two or more cuts, one should think of the result as a manifold “with corners,” and the 3-balls obtained at the end of the procedure have the structure of (combinatorial) polyhedra. )

Haken proved that this sequence of cuts—called a *hierarchy*—must indeed necessarily terminate in a union of 3-balls after an effectively computable number of steps, and therefore one may understand and prove theorems about sufficiently large 3-manifolds by induction. This has turned out to be an extremely powerful perspective on 3-manifold topology.

Over the years the terminology changed, so that “sufficiently large” manifolds began to be referred to as “Haken manifolds”; as a benchmark, Hempel’s book from 1976 8 uses the former term, whereas Jaco’s book from 1980 9 uses the latter. Thus a *Haken manifold* is an irreducible 3-manifold that contains an incompressible two-sided embedded surface.

### 2.1. Topological rigidity

One of the first major applications of the theory of hierarchies, due to Waldhausen 19, was the proof that Haken manifolds are “topologically rigid”: a homotopy equivalence between Haken manifolds (satisfying certain further conditions if the manifolds have boundary) is homotopic to a homeomorphism. Examples of (necessarily non-Haken) 3-manifolds for which this fails are Lens spaces (quotients of by cyclic isometry groups): the Lens spaces and are homotopy equivalent if and only if one of is congruent to a square mod but are homeomorphic if and only if , is congruent to mod Waldhausen straightens a homotopy equivalence surface by surface, reducing to the Alexander trick in the case of a ball. .

In the same paper Waldhausen showed that the universal cover of a Haken manifold is homeomorphic to a 3-ball. He went on to remark that “of those irreducible manifolds, known to me, which have infinite fundamental group and are not sufficiently large, some (and possibly all) have a finite cover which is sufficiently large” (19, page 87); the implication being that the universal covers of such manifolds are likewise homeomorphic to a 3-ball. If one interprets “(and possibly all)” as raising a question, this is the first appearance in print of what became known as the *Virtual Haken Conjecture* (hereafter VHC), the question of whether every irreducible 3-manifold with infinite fundamental group is finitely covered by a Haken manifold.

### 2.2. Geometrization

In the late 1970s 3-manifold topology was turned upside down by William Thurston’s *Geometrization Conjecture*—that every prime 3-manifold has a canonical decomposition along a (possibly empty) family of embedded essential tori into *geometric pieces*.

Here a *geometric* 3-manifold is one admitting a complete Riemannian metric of finite volume modeled on one of the eight “3-dimensional geometries,” which refer to the possible homogeneous simply-connected complete Riemannian 3-manifolds which admit a transitive maximal unimodular group of isometries. Of these eight geometries, by far the most interesting and important is hyperbolic 3-space. A closed hyperbolic 3-manifold is necessarily irreducible, and furthermore its fundamental group is infinite but does not contain a subgroup; the geometrization conjecture implies that these necessary conditions are also sufficient. The fundamental group of a closed Haken manifold contains if and only if it contains an essential embedded torus; thus the conjecture says that a closed Haken manifold is hyperbolizable if and only if it contains no incompressible tori. Likewise, the conjecture says that a Haken manifold with boundary is hyperbolizable if and only if every incompressible torus is isotopic to a boundary component, and it is not *Seifert fibered* (roughly, a circle bundle over a surface orbifold).

Thurston gave an enormous amount of evidence for this conjecture, proving it for several classes of manifolds, including (most significantly) for Haken manifolds. Since every knot complement in is Haken, it follows from his proof that any knot falls into one of the following three classes:

- (1)
*torus knots*: those that lie on an unknotted torus in (such knot complements are Seifert fibered);- (2)
*satellites*: those that lie in an essential way in a solid torus neighborhood of a nontrivial knot (the boundary of the solid torus is essential but not boundary parallel); and- (3)
*hyperbolic knots*: those whose complements admit a complete hyperbolic structure.

The hyperbolization theorem for Haken manifolds proceeds by induction. Even the base step of the argument is rather subtle: one needs to “hyperbolize” the polyhedra into which a Haken manifold is decomposed by a hierarchy, or exhibit a combinatorial obstruction why it cannot be done.

Each such polyhedron can be thought of as a 3-ball together with a trivalent graph embedded in the boundary, and the goal is to find a hyperbolic metric on the 3-ball for which the edges of are geodesics, and the complementary regions are totally geodesic, and meet at right angles along One necessary condition concerns the dual graph . to it says that every loop : in of length 3 should be in the link of a vertex of and every loop of length 4 should be in the link of an edge of , .

To see why these conditions are necessary, let be a disk in bounding and suppose , is the closed 3-manifold obtained from by *reflection* in the sides. This means the following: if has faces we take copies of indexed by maps from to and glue two copies whose associated maps differ only at by identifying their respective copies of the face .

If has length 3 then 8 copies of fit together in to form a sphere; similarly, if has length 4 then 4 copies of fit together in to form a torus. Such spheres and tori will be essential unless the necessary condition holds; thus they are an obstruction to hyperbolization. If is not a tetrahedron, these necessary conditions turn out to be sufficient, and may be hyperbolized.

The induction step is rather complicated, depending on the quasiconformal deformation theory of hyperbolic structures on 3-manifolds with incompressible boundary, and we do not discuss it here. For details see, e.g., Misha Kapovich’s book 11.

### 2.3. On proof and progress in mathematics

Thurston’s proof of the hyperbolization theorem for Haken manifolds was written up and distributed as a series of preprints, only one of which was ever formally published. Far more influential than the details of the proof was the vision of 3-manifold theory implied by the geometrization conjecture, and a suite of associated conjectures and questions laid out in a famous *Bulletin* article 18.

This article contains few proofs and many examples. The geometrization conjecture and its proof for Haken manifolds is not the end but a starting point. One can take the conclusion of the conjecture as a hypothesis, and hyperbolic 3-manifolds as objects of interest in their own right. Apparently disparate fields—complex and quasiconformal analysis, bounded cohomology, arithmetic lattices, geometric group theory—are revealed as parts of a deeper and more unified whole.

The article ends with a list of 24 questions/projects, of which the geometrization conjecture was only the first, which dominated research in 3-manifolds for the next 30 years. One can see the formulation of this list as both an act of generosity, and of cultivation: it gifted the mathematical community at once with new tools, and new lands to explore with them.

An article Thurston wrote in 1994 17 explains:

I concentrated most of my attention on developing and presenting the infrastructure in what I wrote and in what I talked to people about …

The result has been that now quite a number of mathematicians have what was dramatically lacking in the beginning: a working understanding of the concepts and the infrastructure that are natural for this subject. There has been and there continues to be a great deal of thriving mathematical activity. By concentrating on building the infrastructure and explaining and publishing definitions and ways of thinking but being slow in stating or in publishing proofs of all the “theorems” I knew how to prove, I left room for many other people to pick up credit. …

What mathematicians most wanted and needed from me was to learn my ways of thinking, and not in fact to learn my proof of the geometrization conjecture for Haken manifolds. It is unlikely that the proof of the general geometrization conjecture will consist of pushing the same proof further.

Number 16 on the problem list is the Virtual Haken Conjecture (posed as a question). One may have viewed—I and many colleagues I knew did view—this conjecture as an intermediate step towards a possible approach to geometrization: given closed and irreducible with infinite if one knew , had a finite (regular) cover which was Haken, one could geometrize and then analyze the action of the deck group on to show that was geometric too (the details of how this argument might go emerged as a corollary of work of Dave Gabai in 1997 7).

But how to get started? Suppose is a closed irreducible 3-manifold. If the only thing we know about its fundamental group is that it is infinite, how do we construct any nontrivial finite cover of at all?

A curious chicken-and-egg situation emerges. Suppose one *already* knew to be hyperbolic (say). Because the group of isometries of hyperbolic 3-space is a matrix group, we may deduce is linear and therefore (by a well-known lemma of Atle Selberg) *residually finite*; this means that for every nontrivial element there is a finite index subgroup of that does not contain In particular, any hyperbolic 3-manifold admits .*many* finite coverings, and one can start to explore whether any Haken manifolds may be found among them. Turning the conventional view on its head, one could think of the geometrization conjecture itself as a stepping stone to the VHC.

As Thurston’s quote anticipates, the geometrization conjecture was proved round the turn of the millenium using tools from completely different fields (geometric PDE methods—specifically Ricci flow—and a deep analysis of its singularity formation) by Grisha Perelman 1213 (a short-cut to the Poincaré Conjecture spun off in a separate paper in 14). Thurston’s theorem for Haken manifolds (and for that matter, most of 3-manifold topology) plays almost no logical role in the argument.

## 3. Of LERF and RAAGs

After the work of Perelman the Virtual Haken Conjecture narrowed to the question of whether every closed hyperbolic 3-manifold has a finite cover that contains an incompressible embedded surface. This question factorizes naturally into two subquestions:

- (1)
does contain a subgroup isomorphic to for a closed surface (of genus at least and )?

- (2)
does every immersed surface injective on lift to an embedding in a finite cover?

Immersed surfaces in hyperbolic 3-manifolds come in two distinct kinds: those that are (virtual) fibers of a fibration of the manifold over the circle; and all the rest. This distinction exactly captures a key geometric property of -injective as a subgroup of If . is a (virtual) fiber, then is exponentially distorted in in the sense that one may write certain elements of , in terms of a (fixed) generating set for far more efficiently than they may be written in terms of a (fixed) generating set for On the other hand, if . is *not* a virtual fiber, is undistorted in translating elements of : back and forth between generating sets for and for does no more than multiply word length by a bounded multiplicative factor; one says in this situation that is a *quasiconvex* subgroup of .

Topologically, an incompressible immersed surface lifts to an embedded plane in the universal cover which is homeomorphic to , But geometrically, if one thinks of . conformally as the interior of the round unit ball in when , is a virtual fiber the plane becomes wilder and wilder near infinity, and limits to a sphere-filling (Peano) curve; whereas when is not a virtual fiber, the plane may be compactified to a closed disk in the closed unit ball whose boundary is a topological circle (technically, it enjoys the analytic regularity condition of being a *quasicircle*).

Work of Peter Scott from 1978 16 shows that the question of lifting an immersed surface to an embedding can be re-expressed in purely algebraic terms. A group -injective is said to be *LERF*—an acronym for “locally extended residually finite”—if every finitely generated subgroup is the intersection of some family of finite index subgroups of equivalently, if, for every ; there is a finite index subgroup of containing but not Weaker than LERF is .*QCERF*, or “quasiconvex extended residually finite,” which asks for the LERF property only for quasiconvex subgroups of (the analogous property for hyperbolic 3-manifolds with (torus) boundary is GFERF).

### 3.1. Nearly geodesic surfaces

How can one find (build?) injective surfaces in a hyperbolic 3-manifold? There are two problems: to find (build) the surface, and to show that it is An -injective.*embedded* 2-sided surface that is not has a simple essential loop in the kernel. For an immersed surface this is unknown (this is the so-called -injective*Simple Loop Conjecture*), and in general it seems very hard to give a purely topological criterion guaranteeing that an immersion is However it is possible to give a -injective.*geometric* criterion.

In Euclidean space, submanifolds that are nearly flat on a small scale may be badly distorted on a large scale. But in hyperbolic space, quasiconvexity is a *local* condition. Because hyperbolic space is negatively curved, geodesics diverge from each other exponentially quickly. This divergence dominates the behavior of normal geodesics to a submanifold whose extrinsic principal curvatures have absolute value bounded away from and (by comparison with the endpoint map at infinity) certifies that such submanifolds are , -injective.

In 2009 Jeremy Kahn and Vladimir Markovic announced their proof 10 that every hyperbolic 3-manifold contains (many!) immersed surfaces. In fact if -injective is a closed hyperbolic 3-manifold, if is arbitrary, and if is an arbitrary vector of length they showed one may find for any , an immersed surface with principal curvatures bounded in absolute value by so that , and the normal to at is The argument has two parts. Let’s fix a 3-manifold . and a real number Say that an immersed pair of pants . is *good* if the cuff lengths are all closed geodesics of length very close to and if the extrinsic curvature of , is very close to (i.e., it is very nearly totally geodesic). The first part of the argument uses ergodic theory (technically: exponential mixing of the frame flow) to demonstrate the existence of a proliferation of good pants: if is large enough (depending on then every geodesic ) of length close to is the boundary of some good pair of pants in many ways. The second part of the argument explains how to glue up these good pants in such a way that the resulting closed surface has extrinsic curvatures very close to and is therefore -injective.

To get good enough estimates to control the distribution of good pants one needs to know a lot about the frame flow on a hyperbolic manifold. Negative curvature once more plays a key role. So this step of the argument depends essentially on knowing that the 3-manifold is hyperbolic (or, at least, negatively curved) and therefore builds on Perelman’s proof of geometrization.

### 3.2. Right-angled pentagons

Suppose we have a hyperbolic 3-manifold and an immersed, quasigeodesic surface -injective How may we find a finite cover in which a lift of . embeds (up to homotopy)? One dimension lower the analogous question is: given a hyperbolic surface and an immersed essential loop (let it be an immersed simple geodesic for simplicity) how may we find a finite cover in which a lift of embeds (up to homotopy)?

Peter Scott solved this problem in 1978, in the paper 16 cited above. His argument, on the face of it, has a rather ad hoc flavor, and depends on the fact that any surface with negative Euler characteristic admits a hyperbolic metric in which it may be tiled by regular right-angled pentagons. How does this help? Since is injective, there is an (infinite index) cover of with equal to the image of (which is infinite cyclic) in This cover is topologically an annulus, and . lifts to a curve which is homotopic to the core curve of this annulus, so that after a homotopy it may be taken to be *embedded*.

The tiling of by right-angled pentagons lifts to a tiling of and we may find a compact convex region , containing , entirely tiled by right-angled pentagons. To see this, let’s first lift all the way to the universal cover , and let , be the preimage of under so that , is a bi-infinite curve in stabilized by the deck group The convex hull . of is the intersection of all the (closed) half-spaces of that contain it. One may obtain a bigger (but still functorial) convex subset by taking the intersection of all the (closed) half-spaces of containing that are tiled perfectly by right-angled pentagons. There are “enough” such half-spaces that and are a finite Hausdorff distance apart; since both and are evidently invariant under the deck group, they project to convex subsets and in respectively, each of which may be seen to be compact.

Now, is not a closed surface, but (just as we did in § 2.2 in the base step for the inductive proof of hyperbolization for Haken manifolds) we may obtain a closed surface by reflecting in the sides of The surface . like , is tiled by right-angled regular pentagons, so their fundamental groups are commensurable in the group of isometries of the hyperbolic plane. Thus, one may find a common finite cover of both , and in which some lift of covers in and is therefore embedded.

### 3.3. RAAGs and cube complexes

Already in Scott’s paper he observed that the argument could be generalized to a quasiconvex in a 3-manifold group if one could find a 3-dimensional right-angled hyperbolic polyhedron for which is commensurable with the group generated by reflections in the sides of .

Unfortunately, 3-manifolds with this property are rare. One can get further by finding a suitable injection where is a higher-dimensional right-angled hyperbolic polyhedron, and in fact Ian Agol, Darren Long, and Alan Reid 3 used this idea to prove GFERF for the fundamental groups of the Bianchi manifolds—certain non-compact finite volume hyperbolic 3-manifolds important for number theory. But this trick has its limits: finite volume right-angled hyperbolic polyhedra do not exist in dimensions above 12 4 (compact ones do not exist above dimension 4).

Having learned since Thurston the profound importance of hyperbolic geometry for 3-manifold topology, mathematicians now had to unlearn it. What was ultimately most important in Scott’s argument about the right-angled hyperbolic pentagons was not their hyperbolicity per se, but their *right-angledness*.

A *right-angled Artin group*—or RAAG for short—is a group associated to a finite graph by taking one free generator for each vertex, and imposing the relations that two generators commute if and only if the associated vertices share an edge (and no other relations that do not follow from these). Starting around 2000, Dani Wise and his collaborators developed a program to prove that certain classes of groups are QCERF by showing that they contain a finite index subgroup that embeds suitably in a RAAG.

If is a RAAG then it is the fundamental group of a cell complex which is the union (in a natural way) of a torus for each of vertices of -tuple that span a clique. This cell complex may be built in a natural way from Euclidean cubes, all of side length which are glued isometrically along their faces. With this metric the universal cover , enjoys a form of nonpositive curvature expressed by saying that it is (these letters stand for Cartan, Alexandrov, and Topogonov, who all proved significant theorems in comparison geometry). Distance between parameterized geodesics in a space is a convex function, and this convexity, together with a proliferation of totally geodesic separating subspaces (obtained by gluing together codimension one cubes in the dual complex) lets one simulate Scott’s argument and separate quasiconvex subgroups.

Suppose may be exhibited as for some Euclidean cube complex whose universal cover is In 2008 Wise and Frédéric Haglund .5 gave a combinatorial criterion (called *special*) for a cube complex to immerse isometrically in for some RAAG thereby realizing , as a quasiconvex subgroup of If a finite cover of . is special, one says that (and by abuse of notation is “virtually special”; this is evidently good enough to show that ) is QCERF.

### 3.4. Cubulating 3-manifold groups

All well and good. But how on Earth to exhibit as for some locally cube complex?! Rather astonishingly, a cube complex of exactly the sort we need falls into our laps by feeding the Kahn–Markovic surfaces into a beautiful construction due to Micah Sage’ev 15.

First let’s work one dimension lower and consider a proper configuration of lines in the plane. If the lines are disjoint, is dual to a tree with one edge for each line in and one vertex for each complementary region. If the lines cross in general position, is dual to a 2-dimensional complex whose cells are squares. This complex is not typically if there are three lines ; that intersect in pairs, these intersections give rise to three squares that share a common vertex with an “atom” of positive curvature, violating the condition. This can be ameliorated by going up a dimension: we may fill in the three squares with a 3-dimensional cube in the obvious way; and likewise, for every configuration of lines that pairwise intersect we may help ourselves to an The resulting complex -cube. will be and if there is an upper bound on the size of the cliques in the incidence graph of , it will be finite dimensional. If the configuration , is invariant under the action of a group then , acts (combinatorially) on and under the right circumstances, some finite index subgroup of will act freely with quotient .

The Kahn–Markovic construction gives rise to a large but finite collection of almost totally geodesic immersed surfaces in a hyperbolic 3-manifold Lifting to the universal cover one obtains a proper collection . of almost totally geodesic planes in hyperbolic 3-space. Roughly speaking, one may obtain a cube complex with one for each -cube of planes in -tuple that mutually intersect. Elementary coarse properties of hyperbolic geometry imply that is finite dimensional, and that acts on it effectively and properly.

### 3.5. The long goodbye

Thus things stood in March 2012: the VHC was “reduced” to Wise’s conjecture, that every locally cube complex with (word)-hyperbolic was virtually special. In a blog post 20 written March 6 2012, Henry Wilton wrote that

(Wise’s conjecture is) such a remarkable conjecture that it’s difficult to believe it’s true, but it’s also a win–win in the sense that either a positive or a negative answer would be a huge advance in geometric group theory …implausible or not, I think this conjecture is already a major open problem.

In a remarkable development, only six days later Ian Agol announced a proof of Wise’s conjecture (and, consequently, of the VHC) in a talk at the Institut Henri Poincaré in Paris. Two weeks later Agol gave lectures outlining the details of his argument in a workshop at the IHP, and his preprint (containing an appendix written jointly with Daniel Groves and Jason Manning) was posted to the arXiv on April 12.

It is beyond the scope of this article to explain the main ideas of the argument, except to say that one first constructs an *infinite* regular cover of in which the “hyperplanes” (which correspond in a suitable way to the quasiconvex subgroups to be separated) are compact, two-sided and embedded, and then one builds a finite cover of “modeled” (in some sense) on and that the construction of ; rests on a certain technical tool in geometric group theory (hyperbolic Dehn surgery) with origins in hyperbolic 3-manifold topology and the work of Thurston.

Combined with work of Wise and previous work of Agol and others, Agol’s work resolved most of the remaining problems (numbers 15–18) on Thurston’s list, marking the end of an era in 3-manifold topology.

What determines which questions become central in a field? What constitutes progress, and how can we recognize it when we see it? Academic research, whatever else it is, is a social activity, and the forces that shape social activities are complicated and have an enormous psychological component. Fashion, value-judgments, familiarity, taste all play a role.

Agol has been unusually thoughtful about the social psychology of mathematical practice, sometimes describing conjectures with which he wrestled over many years as “friends” whose company he was pleased to spend so much time with. He writes 2:

Mathematicians use part of the social wiring of the brain to engage with mathematical ideas and objects. I certainly feel like this for myself, where the figure 8 knot complement plays the role in my mind that a celebrity (like Bob Dylan) might in others. I think this helps us engage with abstract mathematics, which can be socially isolating because there’s very few that we can communicate with about these ideas on a regular basis. I don’t think this is special to mathematics, for example astronomers might have a social connection to the Andromeda Galaxy.

The long and meandering route that led from the resolution of one conjecture (the URP) to another (the VHC) winds in and out of topology, geometry, combinatorics, group theory, PDE, and many other fields. Along the way objects and theories emerged, grew, evolved; seedlings transplanted to foreign soils became established and bore brave new fruit. If one could plot progress over time (if one could even agree on an axis along which to measure it) the graph would be the Devil’s Staircase. Headway, when it came, came suddenly, like a fire alarm or the finale of Beethoven’s Fifth Symphony, and caught most of us naked and napping.

A partial entity-relationship graph of the situation might look like Figure 4.

Is the situation as irreducibly complex and muddled as the graph suggests, or might there be some hitherto undreamed of principle that would untangle the skeins of this picture like one of Haken’s unknots and let us really see clear to the bottom of the well?

Wolfgang Haken died in his home in Champaign, Illinois, on October 2, 2022, at the age of 94.

## Acknowledgment

I would like to thank Christine Magnotta and the anonymous referees for encouragement and valuable feedback on earlier drafts.

## References

- [1]
- Ian Agol,
*The virtual Haken conjecture*, Doc. Math.**18**(2013), 1045–1087. With an appendix by Agol, Daniel Groves, and Jason Manning. MR3104553,## Show rawAMSref

`\bib{Agol}{article}{ author={Agol, Ian}, title={The virtual Haken conjecture}, note={With an appendix by Agol, Daniel Groves, and Jason Manning}, journal={Doc. Math.}, volume={18}, date={2013}, pages={1045--1087}, issn={1431-0635}, review={\MR {3104553}}, }`

- [2]
- I. Agol,
*personal communication*. - [3]
- I. Agol, D. D. Long, and A. W. Reid,
*The Bianchi groups are separable on geometrically finite subgroups*, Ann. of Math. (2)**153**(2001), no. 3, 599–621, DOI 10.2307/2661363. MR1836283,## Show rawAMSref

`\bib{Agol_Long_Reid}{article}{ author={Agol, I.}, author={Long, D. D.}, author={Reid, A. W.}, title={The Bianchi groups are separable on geometrically finite subgroups}, journal={Ann. of Math. (2)}, volume={153}, date={2001}, number={3}, pages={599--621}, issn={0003-486X}, review={\MR {1836283}}, doi={10.2307/2661363}, }`

- [4]
- Guillaume Dufour,
*Notes on right-angled Coxeter polyhedra in hyperbolic spaces*, Geom. Dedicata**147**(2010), 277–282, DOI 10.1007/s10711-009-9454-2. MR2660580,## Show rawAMSref

`\bib{Dufour}{article}{ author={Dufour, Guillaume}, title={Notes on right-angled Coxeter polyhedra in hyperbolic spaces}, journal={Geom. Dedicata}, volume={147}, date={2010}, pages={277--282}, issn={0046-5755}, review={\MR {2660580}}, doi={10.1007/s10711-009-9454-2}, }`

- [5]
- Frédéric Haglund and Daniel T. Wise,
*Special cube complexes*, Geom. Funct. Anal.**17**(2008), no. 5, 1551–1620, DOI 10.1007/s00039-007-0629-4. MR2377497,## Show rawAMSref

`\bib{Haglund_Wise}{article}{ author={Haglund, Fr\'{e}d\'{e}ric}, author={Wise, Daniel T.}, title={Special cube complexes}, journal={Geom. Funct. Anal.}, volume={17}, date={2008}, number={5}, pages={1551--1620}, issn={1016-443X}, review={\MR {2377497}}, doi={10.1007/s00039-007-0629-4}, }`

- [6]
- Wolfgang Haken,
*Theorie der Normalflächen*(German), Acta Math.**105**(1961), 245–375, DOI 10.1007/BF02559591. MR141106,## Show rawAMSref

`\bib{Haken_knot}{article}{ author={Haken, Wolfgang}, title={Theorie der Normalfl\"{a}chen}, language={German}, journal={Acta Math.}, volume={105}, date={1961}, pages={245--375}, issn={0001-5962}, review={\MR {141106}}, doi={10.1007/BF02559591}, }`

- [7]
- David Gabai,
*On the geometric and topological rigidity of hyperbolic -manifolds*, J. Amer. Math. Soc.**10**(1997), no. 1, 37–74, DOI 10.1090/S0894-0347-97-00206-3. MR1354958,## Show rawAMSref

`\bib{Gabai}{article}{ author={Gabai, David}, title={On the geometric and topological rigidity of hyperbolic $3$-manifolds}, journal={J. Amer. Math. Soc.}, volume={10}, date={1997}, number={1}, pages={37--74}, issn={0894-0347}, review={\MR {1354958}}, doi={10.1090/S0894-0347-97-00206-3}, }`

- [8]
- John Hempel,
*-Manifolds*, Annals of Mathematics Studies, No. 86, Princeton University Press, Princeton, N. J.; University of Tokyo Press, Tokyo, 1976. MR0415619,## Show rawAMSref

`\bib{Hempel}{book}{ author={Hempel, John}, title={$3$-Manifolds}, series={Annals of Mathematics Studies, No. 86}, publisher={Princeton University Press, Princeton, N. J.; University of Tokyo Press, Tokyo}, date={1976}, pages={xii+195}, review={\MR {0415619}}, }`

- [9]
- William Jaco,
*Lectures on three-manifold topology*, CBMS Regional Conference Series in Mathematics, vol. 43, American Mathematical Society, Providence, R.I., 1980. MR565450,## Show rawAMSref

`\bib{Jaco}{book}{ author={Jaco, William}, title={Lectures on three-manifold topology}, series={CBMS Regional Conference Series in Mathematics}, volume={43}, publisher={American Mathematical Society, Providence, R.I.}, date={1980}, pages={xii+251}, isbn={0-8218-1693-4}, review={\MR {565450}}, }`

- [10]
- Jeremy Kahn and Vladimir Markovic,
*Immersing almost geodesic surfaces in a closed hyperbolic three manifold*, Ann. of Math. (2)**175**(2012), no. 3, 1127–1190, DOI 10.4007/annals.2012.175.3.4. MR2912704,## Show rawAMSref

`\bib{Kahn_Markovic}{article}{ author={Kahn, Jeremy}, author={Markovic, Vladimir}, title={Immersing almost geodesic surfaces in a closed hyperbolic three manifold}, journal={Ann. of Math. (2)}, volume={175}, date={2012}, number={3}, pages={1127--1190}, issn={0003-486X}, review={\MR {2912704}}, doi={10.4007/annals.2012.175.3.4}, }`

- [11]
- Michael Kapovich,
*Hyperbolic manifolds and discrete groups*, Progress in Mathematics, vol. 183, Birkhäuser Boston, Inc., Boston, MA, 2001. MR1792613,## Show rawAMSref

`\bib{Kapovich}{book}{ author={Kapovich, Michael}, title={Hyperbolic manifolds and discrete groups}, series={Progress in Mathematics}, volume={183}, publisher={Birkh\"{a}user Boston, Inc., Boston, MA}, date={2001}, pages={xxvi+467}, isbn={0-8176-3904-7}, review={\MR {1792613}}, }`

- [12]
- G. Perelman,
*The entropy formula for the Ricci flow and its geometric applications*, arXiv:math/0211159. - [13]
- G. Perelman,
*Ricci flow with surgery on three-manifolds*, arXiv:math/0303109. - [14]
- G. Perelman,
*Finite extinction time for the solutions to the Ricci flow on certain three-manifolds*, arXiv:math/0307245. - [15]
- Michah Sageev,
*Ends of group pairs and non-positively curved cube complexes*, Proc. London Math. Soc. (3)**71**(1995), no. 3, 585–617, DOI 10.1112/plms/s3-71.3.585. MR1347406,## Show rawAMSref

`\bib{Sageev}{article}{ author={Sageev, Michah}, title={Ends of group pairs and non-positively curved cube complexes}, journal={Proc. London Math. Soc. (3)}, volume={71}, date={1995}, number={3}, pages={585--617}, issn={0024-6115}, review={\MR {1347406}}, doi={10.1112/plms/s3-71.3.585}, }`

- [16]
- Peter Scott,
*Subgroups of surface groups are almost geometric*, J. London Math. Soc. (2)**17**(1978), no. 3, 555–565, DOI 10.1112/jlms/s2-17.3.555. MR494062,## Show rawAMSref

`\bib{Scott}{article}{ author={Scott, Peter}, title={Subgroups of surface groups are almost geometric}, journal={J. London Math. Soc. (2)}, volume={17}, date={1978}, number={3}, pages={555--565}, issn={0024-6107}, review={\MR {494062}}, doi={10.1112/jlms/s2-17.3.555}, }`

- [17]
- William P. Thurston,
*On proof and progress in mathematics*, Bull. Amer. Math. Soc. (N.S.)**30**(1994), no. 2, 161–177, DOI 10.1090/S0273-0979-1994-00502-6. MR1249357,## Show rawAMSref

`\bib{Thurston_proof}{article}{ author={Thurston, William P.}, title={On proof and progress in mathematics}, journal={Bull. Amer. Math. Soc. (N.S.)}, volume={30}, date={1994}, number={2}, pages={161--177}, issn={0273-0979}, review={\MR {1249357}}, doi={10.1090/S0273-0979-1994-00502-6}, }`

- [18]
- William P. Thurston,
*Three-dimensional manifolds, Kleinian groups and hyperbolic geometry*, Bull. Amer. Math. Soc. (N.S.)**6**(1982), no. 3, 357–381, DOI 10.1090/S0273-0979-1982-15003-0. MR648524,## Show rawAMSref

`\bib{Thurston}{article}{ author={Thurston, William P.}, title={Three-dimensional manifolds, Kleinian groups and hyperbolic geometry}, journal={Bull. Amer. Math. Soc. (N.S.)}, volume={6}, date={1982}, number={3}, pages={357--381}, issn={0273-0979}, review={\MR {648524}}, doi={10.1090/S0273-0979-1982-15003-0}, }`

- [19]
- Friedhelm Waldhausen,
*On irreducible which are sufficiently large -manifolds*, Ann. of Math. (2)**87**(1968), 56–88, DOI 10.2307/1970594. MR224099,## Show rawAMSref

`\bib{Waldhausen}{article}{ author={Waldhausen, Friedhelm}, title={On irreducible $3$-manifolds which are sufficiently large}, journal={Ann. of Math. (2)}, volume={87}, date={1968}, pages={56--88}, issn={0003-486X}, review={\MR {224099}}, doi={10.2307/1970594}, }`

- [20]
- H. Wilton,
*Wise’s Conjecture*, blog post, https://ldtopology.wordpress.com/2012/03/06/wises-conjecture/. - [21]
- Daniel T. Wise,
*The structure of groups with a quasiconvex hierarchy*, Annals of Mathematics Studies, vol. 209, Princeton University Press, Princeton, NJ, [2021] ©2021. MR4298722,## Show rawAMSref

`\bib{Wise}{book}{ author={Wise, Daniel T.}, title={The structure of groups with a quasiconvex hierarchy}, series={Annals of Mathematics Studies}, volume={209}, publisher={Princeton University Press, Princeton, NJ}, date={[2021] \copyright 2021}, pages={x+357}, isbn={[9780691170442]}, isbn={[9780691170459]}, isbn={[9780691213507]}, review={\MR {4298722}}, }`

## Credits

The opening image is courtesy of Olivier Vandeginste via Getty.

Figure 1 is courtesy of Cameron Gordon.

Figures 2, 3, and 4 are courtesy of the author.

Photo of the author is courtesy of the author.