[論文レビュー] Some knots with surgeries yielding lens spaces

John Berge|arXiv (Cornell University)|Feb 27, 2018

Geometric and Algebraic Topology被引用数 37

ひとこと要約

本稿では、S³ 内の絡み目の族を特定し、その Dehn 積分がレンズ空間を与えることを、 genus 2 のハンドル体とその補集合の両方で自由生成元を表す曲線による特徴付けを用いて行う。主な貢献は、二重原始的（double-primitive）と分類される、このような絡み目の完全なリストと、それに対応するレンズ空間 L(p,q) の明示的公式であり、計算的証拠により完全性が示唆されているが、未だ証明されていない。

ABSTRACT

This is a facsimile of the circa 1990 unpublished manuscript with the same title. All the original text, figures and tables are included; although text has been reset in \TeX, the original hand-drawn figures have been redrawn digitally, and the parameter $k$ in the original table of lens spaces has been replaced with the originally intended $λ$. And, of course, this abstract has been added.

研究の動機と目的

• S³ 内の整数スケールの Dehn 積分によってレンズ空間を与えるすべての絡み目を特徴付けること。
• 計算可能なスケール結果を持つ、このような絡み目の明示的族を提供すること。
• 二重原始的曲線とレンズ空間内の 1-ブリッジ絡み目との関係を調査すること。
• 与えられたレンズ空間がこのようなスケールから生じるかどうかを検証するための計算フレームワークを提供すること。

提案手法

• ∂H 上の単純閉曲線 k が、S³ 内の補い合う genus 2 のハンドル体 H と H′ における両方の π₁(H) と π₁(H′) の自由生成元を表すという条件を用いる。H と H′ は S³ 内で補い合う genus 2 のハンドル体である。
• 定理 1 を適用する：k がこの条件を満たすならば、k に対するある整数スケールがレンズ空間を与える。
• R-R 図と π₁(H) および π₁(H′) 内の語表現を用い、パラメータ (p, p′, m, m′, q, q′, n, n′) によって絡み目の種類を記述する。
• H₁(∂H) 内の [k] のホモロジー類を用いてレンズ空間不変量を導出し、L(p,q) の p と q を計算するために補題 3 を適用する。
• |π₁| < 1000 であるレンズ空間内の 1-ブリッジ絡み目について、リストに含まれない例が存在しないことを確認するためのコンピュータプログラムを用いる。
• p > 500 であるレンズ空間について、p = Aa + Bb と関係を用い、A, B, a, b に制約を課した計算的チェックを提供する。

実験結果

リサーチクエスチョン

• RQ1 S³ 内の整数スケールでレンズ空間を与えるすべての絡み目は、genus 2 のハンドル体の二重原始的条件によってカバーされるか？
• RQ2 このようなスケールから得られるレンズ空間 L(p,q) は、絡み目のパラメータから明示的に計算可能か？
• RQ3 4 つのパラメータ族から導かれるこの種の絡み目のリストは完全か？
• RQ4 S³ にスケールで戻るレンズ空間内のすべての絡み目は、0- または 1-ブリッジ絡み目でなければならないか？

主な発見

• 4 つのパラメータ族 (a)–(d) は、p = 22J² + cJ + d および q ≡ (11J + e)² mod p を満たすレンズ空間 L(p,q) を生成する S³ 内の絡み目を与える。
• 族 (a) に対しては、スケールが L(22J² + 9J + 1, (11J + 2)²) を与える。同様の公式が (b)、(c)、(d) に対しても導出される。
• スケール曲線 k のホモロジー類 H₁(∂H) 内では、族 (a) に対して (4J+1, 2J+1, 6J+1, -J) として明示的に計算される。他の族に対しても類似の式が与えられる。
• |π₁| < 1000 であるレンズ空間内の 1-ブリッジ絡み目をチェックするプログラムによる計算的証拠は、リストに含まれない例が存在しないことを示している。
• レンズ空間テーブルには、リストに含まれる絡み目から得られるすべての L(p,q)（トーラス絡み目およびそのキャブラを除く）で p ≤ 500 のものが含まれる。
• 本稿では、p > 500 であるレンズ空間 L(p,q) が、リストに含まれる絡み目から生じるかどうかを確認する方法を提供する。その際、B ≤ max{8, 2p/5} を満たす B に対して q ≡ ±B² mod p という合同条件をチェックする。