[論文レビュー] Longitudinal Mapping Knot Invariant for SU(2)

W. Edwin Clark, Masahico Saito|arXiv (Cornell University)|Feb 24, 2018

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

ひとこと要約

本稿は、SU(2)を位相的群として用いた結び目の縦断的写像不変量を導入し、Eisermannの結び目彩色多項式を有限群から無限群に一般化する。この不変量と一般化されたアレクサンダー準結びの1-タングルのクエンドル彩色との間の関係を確立し、トーラス結び目 T(2,n)、その鏡像、および図8文字結びに対して明示的に計算する。その結果、結び目群を超える非自明な位相的情報を捉えていることが示された。

ABSTRACT

The knot coloring polynomial defined by Eisermann for a finite pointed group is generalized to an infinite pointed group as the longitudinal mapping invariant of a knot. In turn this can be thought of as a generalization of the quandle 2-cocycle invariant for finite quandles. If the group is a topological group then this invariant can be thought of a topological generalization of the 2-cocycle invariant. The longitudinal mapping invariant is based on a meridian-longitude pair in the knot group. We also give an interpretation of the invariant in terms of quandle colorings of a 1-tangle for generalized Alexander quandles without use of a meridian-longitude pair in the knot group. The invariant values are concretely evaluated for the torus knots $T(2,n)$, their mirror images, and the figure eight knot for the group $SU(2)$.

研究の動機と目的

• Eisermannの有限群結び目彩色多項式を、特にSU(2)を含む無限位相群へと縦断的写像不変量として一般化すること。
• 結び目群からSU(2)へのホモモルフィズムで、固定された縁辺像を持つものについて、クエンドル2-コサイクル不変量の位相的類似を提供すること。
• 一般化されたアレクサンダー準結びを用いて、縦断的写像不変量と1-タングルのクエンドル彩色との間の同値性を確立し、縁辺-縦断的ペアに依存しないようにすること。
• 主な結び目であるトーラス結び目 T(2,n)、その鏡像、および図8文字結びに対して、不変量を明示的に計算すること。

提案手法

• 群の準同型 $\rho: \pi_1(S^3 \setminus K) \to G$ で $\rho(m_K) = x$ を満たすものに対して、$\mathcal{L}_{G}^{x}(K)$ を、中心化群 $C(x) \cap G'$ への写像として定義する。ここで $G = \mathrm{SU}(2)$ である。
• Eisermannのクエンドル $\mathrm{Eis}(G,x)$ と、$f_x(g) = x^{-1}gx$ を用いた一般化されたアレクサンダークエンドル $\mathrm{GAlex}(G', f_x)$ との同型を用いて、不変量をタングル彩色の観点から再定式化する。
• クエンドル被覆の上昇性質を活用し、$Q = x^G$ を通じた結び目の彩色と、$\tilde{Q} = \mathrm{Eis}(G,x)$ を通じた1-タングルの彩色を関連付ける。
• 内部表現および自己同型群の構造を用いて、不変量が基本点の選択に依存せず、適切に定義されることを保証する。
• SU(2)が完全群（自身の交換子群に等しい）であり、非中心元が群を生成することを用いて、不変量が非退化であることを保証する。
• タングル彩色枠組みと関係 $\tilde{C}(n) = (x, \mathcal{L}(C))$ を用いて、$T(2,n)$、$m(T(2,n))$、および図8文字結びに対して、明示的な計算により不変量を評価する。

実験結果

リサーチクエスチョン

• RQ1 有限群の結び目彩色多項式は、SU(2)のような無限位相群へ意味的に拡張可能か？
• RQ2 無限群の設定において、縦断的写像不変量はクエンドル2-コサイクル不変量とどのように関係するか？
• RQ3 結び目群の縁辺-縦断的ペアに依存せずに、不変量を計算できるか？
• RQ4 トーラス結び目 $T(2,n)$ および図8文字結びについて、SU(2)における縦断的写像不変量の明示的値は何か？
• RQ5 不変量は、結び目群や標準的クエンドル不変量では区別できない結び目を区別できるほど十分に強いか？

主な発見

• トーラス結び目 $T(2,n)$、その鏡像 $m(T(2,n))$、および図8文字結びに対して、縦断的写像不変量 $\mathcal{L}_{\mathrm{SU}(2)}^{x}(K)$ は $\mathrm{SU}(2)$ 内に値をとるwell-definedな不変量である。
• 奇数 $n \geq 3$ のトーラス結び目 $T(2,n)$ に対して、不変量は $x$ の共轭類に値をとり、$x \neq \pm 1$ のとき非自明な像をとる。
• 奇数 $n$ のとき、不変量は $T(2,n)$ とその鏡像 $m(T(2,n))$ を区別でき、 chirality（手型）に敏感であることが示された。
• 図8文字結び $4_1$ に対して、不変量は非自明であり、トーラス結び目とは異なり、独自の位相的データを捉えていることが示された。
• 不変量は、一般化されたアレクサンダークエンドル $\mathrm{GAlex}(\mathrm{SU}(2)', f_x)$ に対するクエンドル彩色写像 $\Psi_Q^e(K)$ と同値であり、縁辺-縦断的ペアに依存しないタングルベースの計算手法を提供する。
• この構成により、縦断的写像不変量が、群準同型係数が無限大であっても有効な2-コサイクル不変量の位相的一般化であることが確認された。