[論文レビュー] Primitive disk complexes for lens spaces

Sangbum Cho, Yuya Koda|arXiv (Cornell University)|Jun 27, 2012

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

ひとこと要約

この論文は、レンズ空間 L(p,q) の genus 2 ヒーガード分解における原始的ディスク複体の組合せ的構造を完全に分類している。複体が可縮であるための必要十分条件は p ≡ ±1 (mod q) であり、p と q に応じてその位相的構造—木または2次元複体—を完全に記述している。また、補空間のハンドル体における共通の双対ディスクの数に基づいて、辺および2単体の種別について詳細に分類している。

ABSTRACT

For a genus two Heegaard splitting of a lens space, the primitive disk complex is defined to be the full subcomplex of the disk complex for one of the handlebodies of the splitting spanned by all vertices of primitive disks. In this work, we describe the complete combinatorial structure of the primitive disk complex for the genus two Heegaard splitting of each lens space. In particular, we find all lens spaces whose primitive disk complexes are contractible.

研究の動機と目的

• レンズ空間 L(p,q) の genus 2 ヒーガード分解における原始的ディスク複体の完全な組合せ的構造を特定すること。
• 原始的ディスク複体が可縮であるすべてのレンズ空間を同定すること。
• 補空間のハンドル体における共通の双対ディスクの数に基づいて、複体内の辺および2単体の種別を分類すること。
• 原始的ディスク複体が genus 2 ハンドル体の周囲のディスク複体にどのように埋め込まれるかを記述すること。

提案手法

• 原始的ディスク複体を、1つのハンドル体のディスク複体の部分複体として定義し、原始的ディスクに該当する頂点によって生成される完全部分複体とする。
• ランク2の自由群の代数的構造を用いて、原始的要素およびその双対ディスクを特徴付ける。
• 原始的ペア間の共通の双対ディスクの数（0, 1, 2）に基づいて辺を分類し、一意的な共通の双対ディスクを持つペアの数（1または3）に基づいて2単体を分類する。
• ハンドル体分解の理論およびディスクの交差に関する結果を応用して、複体の位相的型を分析する。
• 複体の可縮性を判定するための鍵となる基準として、条件 p ≡ ±1 (mod q) を用いる。
• 双対ペアによって生成される明示的なディスク列を構成し、連結性および成分構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 どのレンズ空間 L(p,q) に対して、genus 2 ヒーガード分解における原始的ディスク複体が可縮であるか？
• RQ2 各レンズ空間 L(p,q) に対して、原始的ディスク複体の完全な組合せ的構造は何か？
• RQ3 複体内の辺および2単体の種別は、補空間のハンドル体における共通の双対ディスクの数とどのように関係するか？
• RQ4 可縮である場合、原始的ディスク複体の位相的型（木、2次元複体など）は何か？
• RQ5 可縮でない場合、原始的ディスク複体の連結成分はいくつあるか？

主な発見

• L(p,q) に対して原始的ディスク複体が可縮であるのは、1 ≤ q ≤ p/2 において p ≡ ±1 (mod q) であるとき、かつそのときに限る。
• 可縮であり、かつ q ≠ 2 かつ p ≠ 2q+1 であるとき、複体はすべての頂点において無限の次数を持つ木である。
• 可縮であり、かつ q = 2 または p = 2q+1 であるとき、複体は2次元であり、すべての頂点は無限個の2単体に接続されている。
• L(5,2) の場合、すべての辺はちょうど1つの2単体に含まれており、複体は無限個の互いに素なまたは頂点で交わるバンドから構成される。
• 非可縮な場合、原始的ディスク複体は非連結であり、無限個の成分を持ち、各成分は木である。
• 非可縮の場合、すべての頂点は無限の次数を持ち、無限個のタイプ0およびタイプ1の辺に接続されている。