[論文レビュー] Euclidean Geometric Invariants of Links in 3-sphere

Evgeniy Martyushev|ArXiv.org|Sep 15, 2004

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

ひとこと要約

本稿では、リンク群の SO(3) 表現から導かれる、3次元球面における新しいユークリッド幾何的リンク不変量を導入する。3次元球面の分岐被覆を構成し、その被覆空間を SO(3) 表現を用いてユークリッド3次元空間へ写像することで、不変量はアサイクロイク複体のねじれとして計算される。アーベル的表現の場合、不変量はアレクサンダー多項式に関連する。非アーベル的表現のトーラス紐結びに対しては、非アーベルリードマイスターねじれの二乗と一致する。

ABSTRACT

We present a new link invariant which depends on a representation of the link group in SO(3). The computer calculations indicate that an abelian version of this invariant is expressed in terms of the Alexander polynomial of the link. On the other hand, if we use non abelian representation, we get the squared non abelian Reidemeister torsion (at least for some torus knots).

研究の動機と目的

• リンク群の SO(3) 表現から導かれる幾何学的・代数的構造を用いて、3次元球面における新しいリンク不変量を定義すること。
• アーベル的場合に、この不変量が古典的不変量（アレクサンダー多項式）とどのように関係するかを確立すること。
• 非アーベル的表現のための不変量が、特に非アーベルリードマイスターねじれに相当するかを調査すること。
• 三角形分割と単体的移動を用いた計算フレームワークを提供すること。
• 三つ葉結びおよびトーラス紐結びにおける明示的計算を通じて、不変量と位相的不変量との間の予想される関係を検証すること。

提案手法

• リンクがその1次スケルトン上にあるような S³ の擬三角形分割を構成し、頂点および辺の配置がリンクに対して満たすべき条件を満たすようにする。
• Pachner型定理に従い、単体的移動（1↔2、2↔3、1↔4）を適用することで、位相的変化に対して不変であることを保証する。
• 与えられた群表現を用いてリンクに沿った S³ の分岐被覆を定義し、SO(3) 表現を用いて被覆空間を R³ へ写像する。
• 三角形分割と表現からアサイクロイクなチェーン複体を構築し、そのねじれを主な不変量として計算する。
• 境界写像の行列式を用いたねじれの公式を用いて不変量を計算し、三つ葉結びについて明示的な計算を行う。
• コンピュータプログラムを用いて、さまざまな表現に対する不変量を計算し、既知の不変量と比較する。

実験結果

リサーチクエスチョン

• RQ1 アーベル的バージョンの新しい不変量は、リンクのアレクサンダー多項式とどのように関係するか？
• RQ2 トーラス紐結びに対する非アーベル的バージョンの不変量は、非アーベルリードマイスターねじれの二乗と一致するか？
• RQ3 異なる三角形分割および単体的移動の間で、不変量が一貫して計算可能であり、位相的不変性が保証されるか？
• RQ4 SO(3) 表現から導かれるアサイクロイク複体のねじれの正確な代数的構造は何か？
• RQ5 トーラス紐結びに対して、表現パラメータ（回転角および回転軸など）の観点から、不変量の一般式は存在するか？

主な発見

• 三つ葉結びに対してアーベル的表現を用いた場合、不変量は $ I_{ ho}(3_{1}) = -\frac{(2-2\theta_{1})^{2}}{(1-2\theta_{1})^{4}} $ で与えられ、ここで $ \theta_{1} = \text{Re}(e^{i\theta_{1}}) $ であり、これはアレクサンダー多項式を含むと予想される形と一致する。
• 三つ葉結びに対して非アーベル的表現を用いた場合、不変量は正確に $ I_{\rho}(3_{1}) = 4 $ に評価され、ねじれ不変量との直接的な関係を示唆する。
• アーベル的バージョンの不変量は、1成分リンクに対して $ -|\nabla_{L}(e^{i\theta_{1}})|^{-4} \times (2-2\theta_{1})^{2} $ と予想され、N成分リンクに対しては $ -|\nabla_{L}(e^{i\theta_{1}}, \text{...}, e^{i\theta_{N}})|^{-4} $ と予想される。
• トーラス紐結び $ T(p,q) $ に対しては、非アーベル的不変量は $ I_{j,k}(T(p,q)) = \frac{1}{(pq)^{2}} \left(4\sin\frac{j\pi}{p}\sin\frac{k\pi}{q}\right)^{4} $ と予想され、既知の非アーベルリードマイスターねじれの二乗と一致する。
• 単体的移動の使用により、不変量が三角形分割に依存しないことが示され、位相的不変性が確認された。
• コンピュータ計算により、不変量が非アーベル的構造に敏感であることが支持され、画像の中心化部分群が自明である場合にのみねじれが非自明になることが示された。