[論文レビュー] Constrained knots in lens spaces

Fan Ye|arXiv (Cornell University)|Jul 8, 2020

Geometric and Algebraic Topology参考文献 43被引用数 5

ひとこと要約

本稿は、5つの整数でパラメータ化され、(1,1) 図におけるスピン$^{c}$ 構造の分布によって特徴づけられる、レンズ空間内の$(1,1)$ ホモトピー型の一種である制約付き絡み目（constrained knots）を導入し、分類する。この研究では、制約付き絡み目の knot Floer homology $̂{HFK}$ がスリムであることを証明し、$̂{HFK}$ と絡み目の群の表示を用いた完全な分類を提供する。また、$S^3$ 上の絡み目のスケーリングから得られる具体的な例や、双曲的補空間および単純な三角形分割を持つ例も含む。

ABSTRACT

In this paper, we study a special family of $(1,1)$ knots called constrained knots, which includes 2-bridge knots in the 3-sphere $S^3$ and simple knots in lens spaces. Constrained knots are parameterized by five integers and characterized by the distribution of spin$^c$ structures in the corresponding $(1,1)$ diagrams. The knot Floer homology $\widehat{HFK}$ of a constrained knot is thin. We obtain a complete classification of constrained knots based on the calculation of $\widehat{HFK}$ and presentations of knot groups. We provide many examples of constrained knots constructed from surgeries on links in $S^3$, which are related to 2-bridge knots and 1-bridge braids. We also show many examples of constrained knots whose knot complements are orientable hyperbolic 1-cusped manifolds with simple ideal triangulations.

研究の動機と目的

• レンズ空間内の新しい$(1,1)$ 結び目の族、すなわち制約付き絡み目を定義し、体系的に研究すること。
• 絡み目のフローエルホモロジー $\u0302{HFK}$ と絡み目の群の表示を用いて、制約付き絡み目の完全な分類を確立すること。
• $(1,1)$ 図におけるスピン$^{c}$ 構造の分布を用いて、制約付き絡み目を特徴づけること。
• $S^3$ 内の絡み目のスケーリングから得られる具体的な例を構成し、それらの幾何的性質を分析すること。
• 双曲的補空間が単純な理想三角形分割と可定向な1個のカスプを持つ制約付き絡み目を特定すること。

提案手法

• 整数の5つ組 $C(p,q,l,u,v)$ を用いて制約付き絡み目をパラメータ化する。ここで $p>1$, $\gcd(p,q)=1$, $l\in[2,p]$, $u>2v>0$, $\gcd(u,v)=1$, かつ $u$ は奇数とする。
• 標準的な $(\alpha_0,\beta_0)$ を用いたトーラス $T^2$ 上の二重に点をつけたヘーガード図を用い、$L(p,q)$ に対しては $\alpha_1=\alpha_0$, $\beta_1$ を $\beta_0$ と交差しないように変更し、$[\beta_1]=[\beta_0]$ とする。
• スピン$^{c}$ 構造の分布を用いて制約付き絡み目を特徴づける：$\mathfrak{s}_i = \mathfrak{s}_j$ となるのは、インデックス $i,j$ が $p_1 < \cdots < p_k$ で定義される特定の区間内にあるときである。
• $\u0302{HFK}$ を制約付き絡み目に適用し、それがスリムであることを証明する。ここでスリムとは、同次元要素においてマスロフとアレクサンドルのグレーディングの差が定数であることを意味する。
• 除去定理、ポアンカレ双対性、普遍係数定理を用いて、$H_1(E(K);\mathbb{Z})$ をミッドラインとロングチュードに結びつけ、 genus とファイバー性の計算を可能にする。
• 定理9.3と命題9.4を用いて、$\u0302{HFK}$ の幅とサーフェスノルムおよび genus の関係を示し、定理9.5を用いて、$\u0302{HFK}$ の最大ランクがファイバー性を検出できることを示す。

実験結果

リサーチクエスチョン

• RQ1 レンズ空間内の制約付き絡み目は、絡み目のフローエルホモロジーとスピン$^{c}$ 構造の分布を用いて、どのように完全に分類可能か？
• RQ2 パラメータ化 $C(p,q,l,u,v)$ と、$S^3$ 内の2-ブリッジ絡み目やレンズ空間内のシンプルな絡み目の既知の族との関係は何か？
• RQ3 どの制約付き絡み目が、単純な理想三角形分割と可定向な1個のカスプを持つ双曲的補空間を持つのか？
• RQ4 $\u0302{HFK}$ の幅と最大ランクは、制約付き絡み目の genus とファイバー性をどのように特定するか？
• RQ5 異なるパラメータセット $C(p,q,l,u,v)$ が同一の絡み目を表すための条件は何か？

主な発見

• 制約付き絡み目はパラメータ化 $C(p,q,l,u,v)$ によって完全に分類可能であり、$C(p_1,q_1,l_1,u_1,v_1)$ と $C(p_2,q_2,l_2,u_2,v_2)$ が同じ絡み目を表すのは、$p_1=p_2=p$, $q_1q_2\equiv 1\pmod{p}$, $l_1,l_2\in\{2,p\}$, かつ $(l_1,u_1,v_1)=(l_2,u_2,v_2)$ のときである。
• 任意の制約付き絡み目の knot Floer homology $\u0302{HFK}$ はスリムである。これは、同次元要素においてマスロフとアレクサンドルのグレーディングの差が定数であることを意味する。
• $C(1,0,1,u,v)$ の場合は、$S^3$ 内の2-ブリッジ絡み目にちょうど一致し、$C(p,q,l,1,0)$ の場合はレンズ空間内のシンプルな絡み目に一致する。
• $C(p,q,1,u,v)$ の場合は、レンズ空間内のコア絡み目と2-ブリッジ絡み目の連結和からなる。
• $S^3$ 内の絡み目のスケーリングから得られる、可定向な双曲的1個のカスプを持つ補空間と単純な理想三角形分割を持つ制約付き絡み目の例が構成された。
• 制約付き絡み目の genus $g(K)$ は、$g(K) = 1 + \frac{x([S]) - \gcd(d,p/d)}{2}$ で与えられる。ここで $x([S]) = \operatorname{width}(\u0302{HFK}) - p/d$, $d = \gcd(p,k)$, かつ $[K] = k[b]$ である。