[論文レビュー] Generalized Takahashi manifolds

Michele Mulazzani, Andreĭ Vesnin|ArXiv.org|Jun 15, 2001

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

ひとこと要約

本稿では、$S^3$ 内の $n$ 重回転対称性をもつ $2nm$ 成分のリンクに対するドーナツ細工によって得られる 3 次元多様体として、一般化された高橋多様体を導入する。これらの多様体の基本群に対してバランスの取れた群表示を提供し、すべての二橋素数 Knot の巡回的分岐被覆を含むことを示している。主な貢献は、一般化された周期的高橋多様体を用いた、これらの被覆の単純かつ明示的な細工表示の確立である。

ABSTRACT

We introduce a family of closed 3-dimensional manifolds, which are a generalization of certain manifolds studied by M. Takahashi. The manifolds are represented by Dehn surgery with rational coefficients on the 3-sphere, along an n-periodic 2n-component link. A presentation of their fundamental group is obtained, and covering properties of these manifolds are studied. In particular, this family of manifolds includes the whole class of cyclic branched coverings of two-bridge knots. As a consequence we obtain a simple explicit surgery presentation for this important class of manifolds.

研究の動機と目的

• ドーナツ細工を用いた $n$ 重回転対称性をもつ $2nm$ 成分のリンクに対する新しい 3 次元多様体族の導入により、高橋多様体を一般化すること。
• ウィルティングル計算と総回り関係を用いて、これらの一般化された多様体の基本群に対するバランスの取れた群表示を導出すること。
• 一般化された周期的高橋多様体が、レンズ空間の直和の $n$ 重巡回的分岐被覆として特徴付けられること。
• 一般化された周期的高橋多様体族が、すべての genus 1 の二橋素数 Knot の巡回的分岐被覆を含むこと。
• 一般化された枠組みを用いて、二橋素数 Knot の巡回的分岐被覆の基本群に対する明示的な巡回的表示を提供すること。

提案手法

• 各 $k=1,\dots,n$ に対し、$m$ 個の互いに分離したでなしの輪の列を形成する $2n$ 個のサブファミリーをもつ $S^3$ 内のリンク族 ${\mathcal{L}}_{n,m}$ を定義する。
• $S^3$ に対して、$\mathcal{L}_{n,m}$ の交互な成分に有理数係数 $p_{k,j}/q_{k,j}$ と $r_{k,j}/s_{k,j}$ を割り当ててドーナツ細工を行う。
• ウィルティングルアルゴリズムを適用し、それぞれの成分に対応するミリディアンに付随する生成子 $x_{k,j}, y_{k,j}$ を用いて、$\pi_1(S^3 \setminus {\mathcal{L}}_{n,m})$ の表示を得る。
• 各成分の総回りを計算し、ドーナツ細工の関係を用いて生成子を削除し、$2nm$ 個の生成子と $2nm$ 個の関係を持つバランスの取れた表示を導出する。
• 関係を簡略化するための補助生成子 $b_{k,j}, d_{k,j}$ を導入し、変数を段階的に削除することで、最終的に $x_k = d_{k,1}$ で表される群の表示を得る。
• $m=2$ の場合、得られる群表示が巡回的になることを示し、二橋素数 Knot の $n$ 重巡回的分岐被覆の基本群に対する巡回的表示が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 高橋多様体は、統一的な細工枠組みを用いて、すべての二橋素数 Knot の巡回的分岐被覆を含むように一般化可能か？
• RQ2 $n$ 重対称性をもつ $2nm$ 成分のリンクに対するドーナツ細工によって得られる一般化された高橋多様体の基本群の構造は何か？
• RQ3 これらの多様体の被覆性質は、レンズ空間の $n$ 重巡回的分岐被覆といった既知の構成とどのように関係するか？
• RQ4 この一般化を用いて、二橋素数 Knot の巡回的分岐被覆の基本群に対する明示的な巡回的表示を導出可能か？
• RQ5 一般化された周期的高橋多様体は、3 次元多様体分類においてどのような位相的意味を持つのか？

主な発見

• 一般化された高橋多様体 $T_{n,m}(p_{k,j}/q_{k,j}; r_{k,j}/s_{k,j})$ の基本群は、定理 1 に明示的に与えられた $2nm$ 個の生成子と $2nm$ 個の関係を持つバランスの取れた表示をもつ。
• $m=1$ の場合、構成は元の高橋多様体を回復し、基本群の表示は $b_k^{-s} d_k b_k^s = 1$ および $b_k = d_k^q d_{k+1}^{-q}$ を含む既知の形に簡略化される。
• $m=2$ の場合、$T_{n,2}(1/q_1,1/q_2;1/s_1,1/s_2)$ の基本群は、$n$ 番目の添え字を法として、5 つの連続する生成子を含む単一の関係を持つ巡回的表示をもつ。
• 一般化された周期的高橋多様体が、分岐点としての Knot の上に、2 つのレンズ空間の直和の $n$ 重巡回的分岐被覆であることが、定理 6 で示された。
• すべての genus 1 の二橋素数 Knot の巡回的分岐被覆が、一般化された周期的高橋多様体族に含まれることが、系 9 で確立された。
• 特定のパrameter の選択により、既知の関係が得られるように、図 8 Knot（$4_1$）や $8_{12}$ などの二橋素数 Knot の $n$ 重巡回的分岐被覆の基本群に対する明示的な巡回的表示が導出された。