37
$\begingroup$

Every smooth closed orientable 4-manifold may be constructed via a handle decomposition. Before asking a couple of questions, I recall some well-known facts about handle-decompositions of 4-manifolds.

We can of course order the handles according to their index. Handles of index 0 and 1 form a connected 4-dimensional handlebody, whose boundary is a closed 3-manifold, diffeomorphic to a connected sum $\#_g(S^2\times S^1)$ of some $g$ copies of $S^2\times S^1$ (if $g=0$ we get $S^3$). Handles of index 2 are attached to some framed link $L\subset \#_g(S^2\times S^1)$. Since 3- and 4-handles also form a 1-dimensional handlebody, after the attaching of the 2-handles we must necessarily obtain a 4-manifold whose boundary is again diffeomorphic to $\#_h(S^2\times S^1)$, for some $h$ which is not necessarily equal to $g$. The new $\#_h(S^2\times S^1)$ is obtained by surgery along the framed link $L$.

Therefore, in some sense, constructing closed orientable 4-manifolds reduces to constructing framed links $L\subset \#_g(S^2\times S^1)$ that produce some $\#_h(S^2\times S^1)$ via surgery. Let us define the 3-dimensional hyperbolic volume of a handle decomposition as the Gromov norm of $(S^2\times S^1) \setminus L$ (which is in turn the sum of the hyperbolic volumes of its pieces according to geometrization, whence the name). Let us then define the 3-dimensional hyperbolic volume of a closed orientable 4-manifold as the infimum of all the hyperbolic 3-dimensional volumes among all its handle decompositions. The infimum is actually a minimum because the set of 3-dimensional hyperbolic volumes is well-ordered.

The general question is:

What can we say about the 3-dimensional hyperbolic volume of a closed 4-manifold?

A more specific one:

Which closed 4-manifolds have zero 3-dimensional hyperbolic volume?

which is equivalent to the following:

Which closed 4-manifolds admit a handle decomposition such that $\#_g(S^2\times S^1)\setminus L$ is a graph manifold?

Complex projetive plane belongs to this class, and also many doubles of 2-handlebodies: if you take any link $L\subset S^2\times S^1$ whose complement is a graph manifold, you can attach 2-handles to it, and then make the double of the resulting bounded 4-manifold. The resulting double has volume zero.

Finally, we have the following very specific question:

Is there a 4-manifold with positive 3-dimensional hyperbolic volume?

I would expect that most (all?) aspherical 4-manifolds have positive volume, and maybe also many simply connected ones, but I don't know the answer.

$\endgroup$
2
  • 1
    $\begingroup$ This question sounds a bit similar to what is written in the last lines of a recent article of Gromov and Guth : arxiv.org/abs/1103.3423 $\endgroup$ Commented Jul 11, 2011 at 9:01
  • 1
    $\begingroup$ I think this might be related to this question: mathoverflow.net/q/19974/1345 In particular, if the 3-dimensional volume is zero, I suspect that the manifold admits an F-structure, and the simplicial volume is zero (and likely minimal volume =0). The point is that the circle action on a Seifert manifold M extends over dehn fillings and attaching 2-handles along MxI. If all of the level sets of a Morse function on a 4-manifold are graph manifolds (and the complements of the 2-handles attaching maps), then I think that these local circle actions may be assembled to get an F-structure. $\endgroup$
    – Ian Agol
    Commented Apr 2, 2023 at 16:36

0

You must log in to answer this question.