[論文レビュー] Construction of spines of two-bridge link complements and upper bounds of their Matveev complexities

Masaharu Ishikawa, Keisuke Nemoto|arXiv (Cornell University)|Mar 12, 2015

Geometric and Algebraic Topology参考文献 10被引用数 3

ひとこと要約

本稿は、3次元球面内の2橋リンク補集合に対して明示的なほぼ単純なスポンを構成し、そのマトベエフ複雑度に対するタイトな上界を与える。2橋リンクの連分数表現とピロウケーススポンの分析を活用することで、正確な上界の公式を導出し、$[2,1,\ldots,1,2]$ の形をした無限族のリンクについてその正確な複雑度が $2n-2$ に等しいことを示した。この手法により、これらのリンクのミッドリアン-サイクル分岐被覆に対しても改善された上界が得られる。

ABSTRACT

We give upper bounds of the Matveev complexities of two-bridge link complements by constructing their spines explicitly. In particular, we determine the complexities for an infinite sequence of two-bridge links corresponding to the continued fractions of the form [2,1,...,1,2]. We also give upper bounds for the 3-manifolds obtained as meridian-cyclic branched coverings of the 3-sphere along two-bridge links.

研究の動機と目的

• 2橋リンク補集合のマトベエフ複雑度に対する明示的上界を、構成的スポン理論を用いて確立すること。
• 連分数 $[2,1,\ldots,1,2]$ を持つ無限列の2橋リンクについて、正確な複雑度を特定すること。
• 2橋リンクのミッドリアン-サイクル分岐被覆の複雑度に対する既存の上界を改善すること。
• 連分数分解に基づく2橋リンク補集合のスポンを体系的に構成するための方法を提供すること。

提案手法

• 著者らは、リンクをタングルに分解し、各タングルセグメントに対してピロウケーススポンを構築することで、2橋リンク補集合のほぼ単純スポンを構成する。
• 各 $a_i$ 回のねじれを持つタングルは、4つの穴を持つ球面と内部のディスクを持つスポン $A_i$ として表現され、これをピロウケースと呼ぶ。このスポンはタングルを多面体に収縮する。
• 全リンク補集合のスポンは、これらのピロウケースを境界成分に沿って貼り合わせることで得られ、ほぼ単純構造を保つ。
• 得られたスポンにおける真の頂点数は $\sum_{i=1}^{n}a_i + 2(n-3) - \sharp\{a_i=1\}$ として計算され、これが複雑度の上界として機能する。
• 無限族 $[2,1,\ldots,1,2]$ に対しては、この上界は $2n-2$ に簡略化され、体積および理想三角形分割の議論によりこれが正確な値であることが示される。
• この手法は、スポンを被覆に引き上げてミッドリアンディスクを追加することで分岐被覆へと拡張され、$p$ が奇数か偶数かに応じた補正項が付加される。

実験結果

リサーチクエスチョン

• RQ1 連分数 $[2,1,\ldots,1,2]$ を持つ2橋リンク補集合のマトベエフ複雑度は何か？
• RQ2 明示的なスポン構成により、2橋リンクのマトベエフ複雑度に対する既存の手法よりタイトな上界が得られるか？
• RQ3 2橋リンクのミッドリアン-サイクル分岐被覆の複雑度は、被覆次数 $d$ に従ってどのように変化するか？
• RQ4 構築されたスポンは、2橋リンク補集合の理想三角形分割における最小の理想単体数にどの程度近いか？
• RQ5 ハイパボリックな2橋リンクに対して、スポン構成から得られる上界は鋭いか？

主な発見

• 連分数 $[a_1,\ldots,a_n]$（ただし $a_i > 0$ かつ $a_1,a_n > 1$）を持つ2橋リンク補集合のマトベエフ複雑度は、$\sum_{i=1}^{n}a_i + 2(n-3) - \sharp\{a_i=1\}$ で上から抑えられる。
• 長さ $n$ の連分数 $[2,1,\ldots,1,2]$ を持つ無限族のリンクに対して、正確な複雑度は $2n-2$ であり、これは上界と一致する。
• 2橋リンクの $d$ 重ミッドリアン-サイクル分岐被覆の複雑度に対する上界は、$d\left(\sum_{i=1}^{n}a_i + 2(n-3) - \sharp\{a_i=1\}\right) + rd$ である。ここで $r=1$（$p$ が奇数のとき）かつ $r=3$（$p$ が偶数のとき）。
• 構築されたスポンは、真の頂点数と等しい数の理想単体をもつ位相的理想的三角形分割を生成し、これは従来の標準的分解からの結果よりもタイトな上界を与える。
• $[2,1,\ldots,1,2]$ の族に対して、この構成による上界はサクマとウィークスの標準的三角形分割によるものと一致し、この場合の最適性を確認する。
• 比較により、ペトロニアとヴェスニンの結果と照らし合わせて、この手法が分岐被覆に対する以前の上界を改善していることが示された。