Введение
В математике, гиперболическая операция Дена — это операция, посредством которой можно получить дополнительные гиперболические 3-многообразия из заданного куспенда гиперболического 3-многообразия. Гиперболическая операция Дена существует только в третьем измерении и отличает гиперболическую геометрию в трех измерениях от других измерений. Такая операция часто также называется гиперболическим заполнением Дена, так как операция Дена в строгом смысле относится к операции «сверление и заполнение» на зацеплении, которая состоит из высверливания окрестности зацепления и последующего заполнения твердыми торами. Гиперболическая операция Дена на самом деле включает только «заполнение». Мы будем считать, что гиперболический 3-многообраз полный. Предположим, что M — куспенда гиперболический 3-многообраз с n куспами. M можно рассматривать, топологически, как внутреннюю часть компактного многообразия с торальной границей. Предположим, что мы выбрали меридиан и долготу для каждого граничного тора, то есть простые замкнутые кривые, являющиеся образующими фундаментальной группы тора. Пусть обозначает многообразие, полученное из M путем заполнения i-го граничного тора твердым тором с использованием наклона , где каждая пара и — взаимно простые целые числа. Мы допускаем, что может быть равно бесконечности, что означает, что мы не заполняем этот кусп, то есть выполняем «пустое» заполнение Дена. Итак, M = . Мы наделяем пространство H конечного объема гиперболических 3-многообразий геометрической топологией. Теорема Турстона об гиперболической операции Дена гласит: является гиперболическим, пока для i-го куспа для каждого i избегается конечное множество исключительных наклонов . сходится к M в H при всех , для всех , соответствующих непустым заполнениям Дена. Эта теорема принадлежит Уильяму Турстону и является фундаментальной для теории гиперболических 3-многообразий. Она показывает, что нетривиальные пределы существуют в H. Исследование Троельса Йоргенсена показывает, что все нетривиальные пределы возникают путем заполнения Дена, как в теореме. Другой важный результат Турстона заключается в том, что объем уменьшается при гиперболическом заполнении Дена. Теорема утверждает, что объем уменьшается при топологическом заполнении Дена, при условии, конечно, что заполненный Деном многообраз является гиперболическим. Доказательство опирается на основные свойства нормы Громова. Йоргенсен также показал, что функция объема на этом пространстве является непрерывной и собственной функцией. Таким образом, по предыдущим результатам, нетривиальные пределы в H переходят в нетривиальные пределы в множестве объемов. Фактически, можно сделать вывод, как и Турстон, что множество объемов конечного объема гиперболических 3-многообразий имеет ординальный тип . Этот результат известен как теорема Турстона — Йоргенсена. Дальнейшие работы по характеризации этого множества были выполнены Громовым. Узел восьмерки и (2, 3, 7)-претцельный узел — единственные два узла, дополнения которых, как известно, имеют более 6 исключительных операций; у них 10 и 7 соответственно. Камерон Гордон предположил, что 10 — наибольшее возможное количество исключительных операций для любого гиперболического дополнения узла. Это было доказано Марком Лакенби и Робом Мейерхоффом, которые показали, что число исключительных наклонов равно 10 для любого компактного ориентируемого 3-многообразия с границей в виде тора и конечным внутренним гиперболическим объемом. Их доказательство опирается на доказательство гипотезы геометризации, предложенной Григорием Перельманом, и на компьютерную помощь. В настоящее время неизвестно, является ли узел восьмерки единственным, достигающим границы в 10. Одна из гипотез заключается в том, что граница (за исключением двух упомянутых узлов) равна 6. Аголь показал, что существует лишь конечное число случаев, в которых число исключительных наклонов равно 9 или 10.
We equip the space H of finite volume hyperbolic 3 manifolds with the geometric topology. Thurston's hyperbolic Dehn surgery theorem states: is hyperbolic as long as a finite set of exceptional slopes is avoided for the i th cusp for each i. converges to M in H as all for all corresponding to non empty Dehn fillings
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. 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. Jørgensen also showed that the volume function on this space is a continuous, 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 type This result is known as the Thurston Jørgensen theorem. Further work characterizing this set was done by Gromov. The figure eight knot and the ( 2, 3, 7) pretzel knot are the only two knots whose complements are known to have more than 6 exceptional surgeries; they have 10 and 7, respectively. Cameron Gordon conjectured that 10 is the largest possible number of exceptional surgeries of any hyperbolic knot complement. This was proved by Marc Lackenby and Rob Meyerhoff, who show that the number of exceptional slopes is 10 for any compact orientable 3 manifold with boundary a torus and interior finite volume hyperbolic. Their proof relies on the proof of the geometrization conjecture originated by Grigori Perelman and on computer assistance. It is currently unknown whether the figure eight knot is the only one that achieves the bound of 10. One conjecture is that the bound (except for the two knots mentioned) is 6. Agol has shown that there are only finitely many cases in which the number of exceptional slopes is 9 or 10.