# Getting into Shapes: From Hyperbolic Geometry to Cube Complexes

A proof announced in March resolved the last of 23 questions about 3D shapes posed in 1982 by mathematician William Thurston, marking the end of an era in the study of "three-manifolds"

Notice that this method didn’t give us just one geodesic loop of length close to R. Any starting point and starting direction can be used in this process, and many of the water droplets will come back near the starting point, so in fact we can generate many such loops. This is a general principle of structure building using exponential mixing.

Exponential mixing “says that whatever structures you find in your manifold, you’ll find in abundance,” Calegari said.

Figure 8. A pair of pants (top); gluing together two pairs of paints (bottom left) produces a double torus (bottom right).
Image: Courtesy of the Simons Foundation

Kahn and Markovic used a similar approach to our loop-building exercise to build “pairs of pants” — surfaces topologically equivalent to a sphere with three holes (a waist hole and two leg holes, so to speak). Pairs of pants are the building blocks of all compact surfaces except the sphere and the torus — for example, gluing together two pairs of pants produces a double torus (see Figure 8).

Given any sufficiently large number R, Kahn and Markovic showed that it is possible to build lots of pairs of pants inside the manifold whose three cuffs each have a length close to R, and that are almost totally geodesic, meaning that each bit of the pants surface looks pretty much flat from the point of view of hyperbolic geometry.

They also showed that at each cuff of a pair of pants, there is another pair of pants emanating from the cuff in roughly the opposite direction. By sewing together these matching pants at the cuffs, Kahn and Markovic produced a large family of compact surfaces that are almost totally geodesic, with some slight buckling at the seams. Surfaces that are almost geodesic are known to be incompressible inside their three-manifold, so Kahn and Markovic’s construction proved the incompressible surface theorem.

Their methods also showed that a three-manifold has not just one incompressible surface, but “a rich structure of almost geodesic surfaces all over the place,” Calegari said.

Kahn and Markovic’s work earned them the 2012 Clay Research Award, presented annually by the Clay Mathematics Institute to recognize major mathematical breakthroughs.

“The techniques of Kahn and Markovic are as compelling as their results, and this body of work will undoubtedly inspire many more threads of inquiry than it ties off,” predicted Jeffrey Brock of Brown University, in an article on Kahn and Markovic’s work in late 2011.

A Hidden Structure
For mathematicians trying to prove the virtual Haken conjecture, Kahn and Markovic’s work created a starting point.

They showed that every manifold is guaranteed to contain an incompressible surface. But this surface may pass through itself, perhaps in many places, instead of being embedded. To get from Kahn and Markovic’s result to the virtual Haken conjecture, mathematicians would have to find a finite cover of the manifold in which, just as in the example of the six-petal and three-petal flowers, the surface lifts to a collection of surfaces that never intersect themselves (though they may intersect each other). If this could be done, each of these would be an embedded, incompressible surface in the cover, meaning the cover would be Haken.

But how, exactly, is such a cover to be found?

“There’s a big gap between Kahn and Markovic’s result and the virtual Haken conjecture,” Dunfield said. “Their finding was important, but at the time it wasn’t so clear whether it would be helpful in getting embedded surfaces.”

Kahn and Markovic’s result caught the attention of Daniel Wise, of McGill University in Montreal. Wise had, in a sense, made a career of figuring out when finite covers remove a topological object’s self-intersections, but he worked in the context of “cube complexes,” objects that are seemingly very different from three-manifolds. Kahn and Markovic’s findings allowed Wise to show other mathematicians that these two contexts are not so very far apart.

### Add a Comment

You must sign in or register as a ScientificAmerican.com member to submit a comment.
Click one of the buttons below to register using an existing Social Account.

## More from Scientific American

• News | 4 hours ago

### Jupiter's Moon Europa Spotted Spouting Water

• Reuters | 4 hours ago | 1

### U.S. 2012 Model-Year Vehicles Hit Record Fuel Efficiency

• Guest Blog | 4 hours ago

### How Much Nature Do We Have to Use?

• Cross-Check | 5 hours ago

### Celebrities Should Inform Women about Risks as Well as Benefits of Mammograms

• Observations | 5 hours ago

### Duck-billed Dinosaur Had Bizarre Rooster's Comb, Mummy Find Reveals

See what we're tweeting about

## Latest from SA Blog Network

• ### 5 Signs of Life on Mars - The Countdown, Episode 37

The Countdown | 2 hours ago
• ### Dog Farts Part 2: How to Make Dog Farts Less Stinky

MIND
Dog Spies | 3 hours ago
• ### How Much Nature Do We Have to Use?

Guest Blog | 4 hours ago
• ### Celebrities Should Inform Women about Risks as Well as Benefits of Mammograms

Cross-Check | 5 hours ago
• ### Duck-billed Dinosaur Had Bizarre Rooster's Comb, Mummy Find Reveals

Observations | 5 hours ago

Getting into Shapes: From Hyperbolic Geometry to Cube Complexes

X

### Give a Gift & Get a Gift - Free!

Give a 1 year subscription as low as \$14.99

X

X

###### Welcome, . Do you have an existing ScientificAmerican.com account?

Yes, please link my existing account with for quick, secure access.

No, I would like to create a new account with my profile information.

X

Are you sure?

X

### Institutional Access

It has been identified that the institution you are trying to access this article from has institutional site license access to Scientific American on nature.com. To access this article in its entirety through site license access, click below.

X

X