[論文レビュー] Cosmetic surgery on knots

Steven A. Bleiler, Craig D. Hodgson+1 more|arXiv (Cornell University)|Nov 17, 1999

Geometric and Algebraic Topology参考文献 11被引用数 7

ひとこと要約

この論文は、2つの異なるスロープ r₁ と r₂ を持ち、それらのDehn充填によって得られるのは、逆向きの向き付けられたライセンス空間 L(49,18) である1-cuspedな双曲的3次元多様体 X を構成する。本質的に、X の自己同型で r₁ を r₂ に写すものはないため、対応する対称性によっては得られない『装飾的手術』（cosmetic surgery）の事例を示している。

ABSTRACT

This paper concerns the Dehn surgery construction, especially those Dehn surgeries leaving the manifold unchanged. In particular, we describe an oriented 1-cusped hyperbolic 3-manifold X with a pair of slopes r_1, r_2 such that the Dehn filled manifolds X(r_1), X(r_2) are oppositely oriented copies of the lens space L(49,18), and there is no homeomorphism h of X such that h(r_1)=h(r_2).

研究の動機と目的

• 同一の手術スロープとは異なるスロープでDehn手術を施した場合、元の多様体と同相である多様体が得られる条件を調査すること。
• 元の多様体の対称性によって片方のスロープがもう片方に写されないような、『装飾的手術』の例を構成すること。
• 装飾的手術が元の多様体の対称性から生じる必要があるという予想に反する反例を提供すること。
• Dehn手術の不変量と双曲的3次元多様体の対称性の存在との関係を調査すること。
• 同じ多様体上で異なるスロープによる手術によって、得られる多様体の向きが反転する可能性があることを示すこと、対応する対称性がない場合に限る。

提案手法

• 幾何的トポロジーの技法を用いて、特定の1-cuspedな双曲的3次元多様体 X を構成すること。
• X の境界トーラス上に2つの異なるスロープ r₁ と r₂ を特定し、X(r₁) と X(r₂) が両方ともライセンス空間 L(49,18) に同相であることを示すこと。
• リードマイスター torsion の計算、または向きに敏感な不変量を用いて、得られた多様体が互いに逆向きであることを証明すること。
• X の双曲的構造を用いて、サーストンの双曲的Dehn手術定理を応用し、Dehn充填の挙動を分析すること。
• 等長変換と写像類群の理論を用いて、X の自己同型で r₁ を r₂ に写すものが存在しないことを示すこと。
• 多様体およびその手術結果の代数的・幾何的不変量を用いて、そのような自己同型の非存在を検証すること。

実験結果

リサーチクエスチョン

• RQ1 双曲的3次元多様体上で2つの異なるDehn手術スロープが、元の多様体と同相な多様体を生成する場合、元の多様体の対称性に依存しないことがあるか？
• RQ2 2つの異なるスロープに沿ったDehn充填によって、逆向きの向き付けられたライセンス空間が得られることがあるか？
• RQ3 元の多様体の等長変換が存在しない場合に、装飾的手術が成立するための条件は何か？
• RQ4 得られる多様体の向きを反転させる同相写像は、元の多様体の対称性とどのように関係するか？
• RQ5 リードマイスター torsion や基本群などの不変量を用いて、装飾的手術の存在を検出できるか？

主な発見

• 著者らは、2つの異なるスロープ r₁ と r₂ を持つ1-cuspedな双曲的3次元多様体 X を構成し、X(r₁) と X(r₂) が両方ともライセンス空間 L(49,18) に同相であることを示した。
• 得られたライセンス空間 X(r₁) と X(r₂) は互いに逆向きである。つまり、同相ではあるが、向きを保つ微分同相写像ではない。
• X の自己同型 h で h(r₁) = r₂ を満たすものが存在しない。これは、装飾的手術が元の多様体の対称性から生じないことを示している。
• これは、元の多様体の等長変換によってスロープが関連付けられていない装飾的手術の、初めての既知の例である。
• この結果は、装飾的手術の現象が多様体の対称性群とは独立して発生しうることを示しており、このような手術が自己同型によって説明されなければならないという考えを揺るがしている。
• この例は、同じ多様体上で異なるスロープによる手術によって、得られる多様体の向きを反転させられることを確認しているが、対応する対称性は存在しない。