Hyperbolic Dehn surgery
4450009
153517384
2007-08-25T08:24:51Z
Zaslav
88809
Link name change.
In [[mathematics]], '''hyperbolic Dehn surgery''' refers to an operation by which one can obtain further [[hyperbolic 3-manifold]]s from a given cusped hyperbolic 3-manifold. Hyperbolic Dehn surgery exists only in dimension three and is the main reason which distinguishes [[hyperbolic geometry]] in three dimensions from other dimensions.
Such an operation is often also called '''hyperbolic Dehn filling''', as [[Dehn surgery]] proper refers to a "drill and fill" operation on a link which consists of ''drilling'' out a neighborhood of the link and then ''filling'' back in with solid tori. Hyperbolic Dehn surgery actually only involves "filling".
Note that we will generally assume that a hyperbolic 3-manifold is complete, except when we are explicitly discussing deformations of hyperbolic structures, in which case incomplete hyperbolic metrics arise necessarily as a consequence of [[Mostow rigidity]].
Suppose ''M'' is a cusped hyperbolic 3-manifold with ''n'' cusps. ''M'' can be thought of, topologically, as the interior of a compact manifold with toral boundary. Suppose we have chosen a meridian and longitude for each boundary torus, i.e. simple closed curves that are generators for the fundamental group of the torus. Let <math>M(u_1, u_2, \dots, u_n)</math> denote the manifold obtained from M by filling in the ''i''-th boundary torus with a solid torus using the slope <math>u_i = p_i/q_i</math> where each pair <math>p_i</math> and <math>q_i</math> are coprime integers. We allow a <math>u_i</math> to be <math>\infty</math> which means we do not fill in that cusp, i.e. do the "empty" Dehn filling. So ''M'' = <math>M(\infty, \dots, \infty)</math>.
We equip the space ''H'' of finite volume hyperbolic 3-manifolds with the [[The geometric topology|geometric topology]].
'''Thurston's hyperbolic Dehn surgery theorem''' states: <math>M(u_1, u_2, \dots, u_n)</math> is hyperbolic as long as a finite set of slopes <math>E_i</math> is avoided for the ''i''-th cusp for each ''i''. In addition, <math>M(u_1, u_2, \dots, u_n)</math> converges to ''M'' in ''H'' as all <math>p_i^2+q_i^2 \rightarrow \infty</math> for all <math>p_i/q_i</math> corresponding to non-empty Dehn fillings <math>u_i</math>.
This theorem is due to [[William Thurston]] and fundamental to the theory of hyperbolic 3-manifolds. It shows that nontrivial limits exist in ''H''. Troels Jorgensen's study of the geometric topology further shows that all nontrivial limits arise by Dehn filling as in the theorem.
Another important result by Thurston is that volume decreases under hyperbolic Dehn filling. In fact, the theorem states that volume decreases under topological Dehn filling, assuming of course that the Dehn-filled manifold is hyperbolic. The proof relies on basic properties of the [[Gromov norm]].
Jorgensen also showed that the volume function on this space is a [[continuous function|continuous]], [[proper map|proper]] function. Thus by the previous results, nontrivial limits in ''H'' are taken to nontrivial limits in the set of volumes. In fact, one can further conclude, as did Thurston, that the set of volumes of finite volume hyperbolic 3-manifolds has [[ordinal|ordinal type]] <math>\omega^\omega</math>.
==References==
*William Thurston, [http://www.msri.org/publications/books/gt3m/ ''The geometry and topology of 3-manifolds''], Princeton lecture notes (1978-1981).
[[Category:3-manifolds]][[Category: hyperbolic geometry]]