2010-10-18 13:15:50 8 Comments

Fix a dimension $n\geqslant 2$. Let $S= \{M_1,\ldots, M_k\}$ be a finite set of smooth compact $n$-manifold with boundary. Let us say that a smooth closed $n$-manifold is * generated * by $S$ if it may be obtained by gluing some copies of elements in $S$ via some arbitrary diffeomorphisms of their boundaries.

For instance:

- Every closed orientable surface is generated by a set of two objects: a disc and a pair-of-pants $P$,
- Waldhausen's graph manifolds are the 3-manifolds generated by $D^2\times S^1$ and $P\times S^1$,
- The 3-manifolds having Heegaard genus $g$ are those generated by the handlebody of genus $g$ alone,
- The exotic $n$-spheres with $n\geqslant 5$ are the manifolds generated by $D^n$ alone.

A natural question is the following:

Fix $n\geqslant 3$. Is there a finite set of compact smooth $n$-manifolds which generate all closed smooth $n$-manifolds?

I expect the answer to be ''no'', although I don't see an immediate proof. In particular, I expect some negative answers to both of these questions:

Is there a finite set of compact 3-manifolds which generate all hyperbolic 3-manifolds?

and

Is there a finite set of compact 4-manifolds which generate all simply connected 4-manifolds?

### Related Questions

#### Sponsored Content

#### 1 Answered Questions

### [SOLVED] Obstructions to realizing a balanced presentation as a 3-manifold group

**2018-03-08 01:54:19****user101010****185**View**7**Score**1**Answer- Tags: gt.geometric-topology curves-and-surfaces

#### 1 Answered Questions

### [SOLVED] What are the different ways of defining 3-manifolds?

**2016-03-09 10:34:13****Marek Mitros****461**View**11**Score**1**Answer- Tags: dg.differential-geometry 3-manifolds

#### 2 Answered Questions

### [SOLVED] Which closed 3-manifolds can be embedded in $R^4$?

**2016-02-29 12:39:09****Marek Mitros****920**View**14**Score**2**Answer- Tags: 3-manifolds

#### 2 Answered Questions

### [SOLVED] Gluing two 3 manifolds along their boundary

**2015-11-07 00:01:55****Berni Waterman****639**View**5**Score**2**Answer- Tags: at.algebraic-topology differential-topology 3-manifolds manifolds

#### 4 Answered Questions

### [SOLVED] How Many 4-Manifolds are Symplectic?

**2012-10-27 04:23:27****Chris Gerig****1825**View**14**Score**4**Answer- Tags: sg.symplectic-geometry dg.differential-geometry 4-manifolds soft-question

#### 1 Answered Questions

### [SOLVED] Heegaard genus of covers of cusped hyperbolic 3-manifold

**2013-06-30 16:20:56****Ian Agol****278**View**10**Score**1**Answer- Tags: hyperbolic-geometry 3-manifolds

#### 2 Answered Questions

### [SOLVED] Higher dimensional Heegaard splittings?

**2011-11-16 06:28:16****William****514**View**10**Score**2**Answer- Tags: at.algebraic-topology dg.differential-geometry gt.geometric-topology gn.general-topology

#### 1 Answered Questions

### [SOLVED] Can you flip the end of a large exotic $\mathbb{R}^4$

**2011-03-21 08:32:40****Kelly Davis****1650**View**27**Score**1**Answer- Tags: differential-topology smooth-manifolds 4-manifolds gt.geometric-topology open-problems

## 4 comments

## @michael freedman 2010-11-02 01:05:24

Thanks to Ian Agol for pointing out this question and a related one on levels of Morse functions - /30567/. In both case, for smooth manifold of dim $> 3$, as expected, there is no finite list of blocks ( or regular level components.) The idea is that one may define the "width" of a group, by representing the group G as the fundamental group of some complex K and then slicing K into "levels". The game to to arrange the slices so that the image of $\pi_1$ of each component of each level set maps a subgroup of small rank under the inclusion into $\pi_1(K)$. width( G) is defined as a Minmax over all slicings of all complexes K with $\pi_1 K = G$ of the rank of these image subgroups. I wrote a few pages to show that width( $\mathbb{Z}^k $) $= k-1$. The only slightly technical ingredient is Lusternick-Schnirelmann category. This answers negatively these finiteness questions since there are $d$ manifolds with $\pi_1 =\mathbb{Z}^k$ all $k$, as long as $d>3$. As soon as the notes are teXed, I can post them on the arxiv or math overflow.

## @Will Jagy 2010-11-02 01:48:59

If you put the teXed notes on any website and indicate enough of how we could find that, somebody (me for example) could edit your post by making a genuine link to the pdf or postscipt file or what have you. The arXiv would be fine.

## @Will Jagy 2010-11-02 01:58:26

That being said, MO does accept Latex in answer windows, there are just a few tricks such as triple backslashes in matrices. So if it is really short, you can paste in the code, or email the .tex file to Ian or me and we will figure it out.

## @Bruno Martelli 2010-11-06 15:38:58

Thank you, I would be very much interested in seeing these notes. As far as I understand, the question remains open if restricted to simply connected closed 4-manifolds.

## @Scott Morrison 2010-11-11 21:29:45

c.f. Michael's second answer below, with the link to the arXiv paper.

## @michael freedman 2010-11-11 01:48:57

I posted a paper on the arXiv, Group Width which answers this question for manifolds of dim $>3$ with sufficiently complicated fundamental group (there will be no finite set of blocks). As Greg Kuperberg said, there are many interesting variations which remain open and are a nice challenge to technique, e.g. the case of simply connected manifolds.

## @Joseph O'Rourke 2010-11-11 02:00:50

Here is the link: arxiv.org/abs/1011.2460 .

## @Greg Kuperberg 2010-10-18 19:52:01

It is not entirely clear in the question whether a "block" is a manifold with smooth boundary, or perhaps a manifold that is allowed to have ridges or more complicated corners. Let's assume that the boundary has to be smooth and that the blocks have to be glued along connected boundary components, because at the other extreme you can make any PL manifold from copies of a simplex.

If so, then Ian Agol's comment explains everything in dimension 3. As he explained, it's Ian's theorem that there is a non-Haken manifold $M$ of Heegaard genus $g' \ge g$ for every $g$. And, it follows from work of Scharlemann-Thompson and Casson-Gordon that a Morse function on such an $M$ must have a level set with a connected component of genus $\ge g'$. (And equality is trivial because a Heegaard surface is always a fattest Morse level set.)

If you have your blocks, you can always arrange them as a collection of "cups", i.e., you can pick a relative Morse function which is $0$ on every boundary component and negative in the interior. Then you can glue the boundary components of the blocks in pairs with "caps", which are copies of $\Sigma \times I$ with increasing Morse functions that begin at $0$ on their boundaries. (Or, equivalently, you could have a bipartite collection of blocks.) Since you can reuse the same Morse function on each cap or cup of a given type, having finitely many types implies a global bound on the genus of a connected component of a level set.

## @Greg Kuperberg 2010-10-18 20:04:01

On the other hand, I don't see a complete argument using TQFTs, because even if you have finitely many block types you could still get large values for a TQFT invariant.

## @Greg Kuperberg 2010-10-18 20:39:53

I think that it's an interesting question whether you can make finitely many blocks with ridges but not corners.

## @Bruno Martelli 2010-10-19 07:09:51

I think you can do this in dimension 3. In jtopol.oxfordjournals.org/content/1/3/703.refs Costantino and Thurston define a universal set of cusped hypebolic manifolds that are constructed from copies of a single block $B$ with ridges. The block $B$ (also used in other papers by Agol, Minsky and others) is a 3-handlebody having 6 closed embedded curves as ridges. It is a hyperbolic manifold with geodesic boundary consisting of 4 pair of pants and having 6 annular cusps (the ridges). It is obtained by mirroring a checkerboard-coloured regular ideal octahedron along black triangles.

## @Greg Kuperberg 2010-10-19 07:41:14

Constantino and D. Thurston, to be precise. It seems that there is a lot left in this question. Even if one found an argument in higher dimensions, you could still ask for which $k$ could the blocks avoid $\le k$-dimensional faces.

## @Dylan Thurston 2010-10-20 12:15:47

Hmm, interesting. I wonder if the block we described is the "simplest" in some sense. In 3-D, the elementary block needs to have positive hyperbolic volume in some suitable sense. The paper was motivated by 4-manifolds, and that block can be filled in to give a block for 4-manifolds that can be used to avoid 0-faces. (Also, note the spelling of Costantino's name.)

## @HJRW 2010-10-18 15:19:07

As Bruno rightly points out, my first answer (below) is nonsense. So let me try to say something else vaguely useful.

In the Spring, I heard Ian Biringer talk about his recent work with Juan Souto. I'm pretty sure he stated the following theorem:

Theorem:Let $\epsilon>0$ and $r\in\mathbb{N}$. There are finitely many hyperbolic 3-manifolds with boundary $M_1,\ldots,M_k$ with the property that any hyperbolic 3-manifold $M$with injectivity radius greater than $\epsilon$and $\mathrm{rank}\pi_1M\leq r$ can be obtained by gluing the $M_i$ together along their boundaries.This would imply that there is a finite generating set of blocks for hyperbolic manifolds with appropriate restrictions on the injectivity radius and rank. I believe the proof is non-constructive, so one doesn't actually know what the $M_i$ are.

Poking around on the archive and Ian's web page, I don't see the result in question, so I'm at a loss to provide a reference! But if this sounds useful, then no doubt one could contact Ian or Juan and get the details.

I'm somewhat out of my comfort zone here, but I think this is right.

The figure-8 knot complement $M_8$ is

universal, meaning that every closed 3-manifold arises as a Dehn filling on a finite-sheeted covering space of $M_8$.~~So the family $\lbrace M_8, D^2\times S^1\rbrace$ generates all 3-manifolds.~~I don't have time to look at the references right now, but I'll try to get back to it later.

## @Bruno Martelli 2010-10-18 15:26:48

You are right that $M_8$ is universal, but its coverings are not obtained by gluing copies of $M_8$. If you construct a manifold by gluing copies of $M_8$ then you never get a hyperbolic manifold, because it contains many incompressible tori. (On the other hand, all coverings of $M_8$ are hyperbolic.)

## @Bruno Martelli 2010-10-18 15:32:15

It might be worth saying that if $S= \{M_1,\ldots , M_k\}$ consists of manifolds with toric boundaries, then any hyperbolic manifold generated by $S$ has volume not bigger than the maximum Gromov norm of the $M_i$'s. Therefore you cannot get all hyperbolic 3-manifolds with finitely many cusped ones. Things however are more complicate if we admit (as we do) higher-genus boundary.

## @Greg Kuperberg 2010-10-18 15:56:40

He's not allowing gluing with ridges, only gluing along boundary.