[論文レビュー] Quandle homology and complex volume

Ayumu Inoue, Yuichi Kabaya|arXiv (Cornell University)|Dec 14, 2010

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

ひとこと要約

本稿では、単体的(quandle)ホモロジーを、双曲的リンクの複素体積をそのリンク図から直接図式的に計算できる新しいホモロジー理論として導入する。著者たちは、(quandle)ホモロジーから単体的(quandle)ホモロジーへの準同型を構成し、拡張されたブロッホ群と関連付けることで、リンク図のシャドー彩色を通じて複素体積 $ i(\mathrm{Vol} + i\mathrm{CS}) $ を計算するコサイクルを導出する。これにより、理想分割を必要としない完全に組み合わせ的な方法で、双曲的不変量を計算できる。

ABSTRACT

We introduce a new homology theory of quandles, called simplicial quandle homology, which is quite different from quandle homology developed by Carter et al. We construct a homomorphism from a quandle homology group to a simplicial quandle homology group. As an application, we obtain a method for computing the complex volume of a hyperbolic link only from its diagram.

研究の動機と目的

• quandleの新しいホモロジー理論—単体的(quandle)ホモロジー—を構築し、古典的(quandle)ホモロジーとは異なるものとする。
• 局所係数を伴う古典的(quandle)ホモロジーから単体的(quandle)ホモロジーへの準同型を確立する。
• quandleホモロジー不変量を、双曲的3次元多様体のチエージャー＝シュルン＝サイモンズ類および複素体積に関連付ける。
• リンク図のみを用いて、シャドー彩色データと組み合わせて、双曲的リンクの複素体積を図式的に計算する方法を提供する。
• 複素体積不変量が、明示的な理想分割を必要とせず、quandleコサイクルによる組み合わせ的計算で得られることを示す。

提案手法

• quandle構造を備えた単体的チェインに基づき、quandleのための新しいホモロジー理論である単体的(quandle)ホモロジー $ H^\Delta_n(X) $ を導入する。
• $ H^Q_n(X; \mathbb{Z}[X]) $ から $ H^\Delta_{n+1}(X) $ への準同型を構成し、これはリンク補空間の三角形分割に対応する幾何的意味を持つ。
• リンク群の $ \mathrm{PSL}(2,\mathbb{C}) $-表現を分類するため、$ \mathrm{PSL}(2,\mathbb{C}) $ 内の放物的要素のquandle $ \mathcal{P} $ を彩色quandleとして用いる。
• リンク図の弧と領域への写像としてのシャドー彩色を定義し、各彩色に対して $ H^Q_2(\mathcal{P}; \mathbb{Z}[\mathcal{P}]) $ に属するサイクル $ [C(\mathcal{S})] $ を関連付ける。
• 彩色から得られる単体の組み合わせ的フラットネスを用いて、$ H^Q_2(\mathcal{P}; \mathbb{Z}[\mathcal{P}]) \to \widehat{\mathcal{B}}(\mathbb{C}) $ への準同型を構成する。
• この写像をネウマンの写像 $ R: \widehat{\mathcal{B}}(\mathbb{C}) \to \mathbb{C}/\pi^2\mathbb{Z} $ と合成することで、複素体積不変量 $ \mathrm{cvol} $ を得る。

実験結果

リサーチクエスチョン

• RQ1 図式的な双曲的不変量（例：複素体積）の計算を可能にする、quandleホモロジー理論を新たに構築することは可能か？
• RQ2 quandleホモロジーは、双曲的リンク補空間のチエージャー＝シュルン＝サイモンズ類をどのように表現できるか？
• RQ3 リンク図とquandleコサイクルを用いて、双曲的リンクの複素体積 $ i(\mathrm{Vol} + i\mathrm{CS}) $ を直接計算することは可能か？
• RQ4 単体的(quandle)ホモロジー群 $ H^\Delta_3(\mathcal{P}) $ の幾何的意味は、$ \mathrm{PSL}(2,\mathbb{C}) $-作用の下での $ \mathbb{C}^2 \setminus \{0\} $ のホモロジーとどのように関係するか？
• RQ5 得られる複素体積不変量は、離散的で忠実な表現の共軛類にのみ依存し、三角形分割の選択に依存しないか？

主な発見

• 単体的(quandle)ホモロジー $ H^\Delta_n(X) $ は、quandle彩色からリンク補空間の三角形分割を構築するための新しい枠組みを提供する。
• $ H^Q_2(\mathcal{P}; \mathbb{Z}[\mathcal{P}]) $ から $ \widehat{\mathcal{B}}(\mathbb{C}) $ への準同型は、彩色から得られる3単体の組み合わせ的フラットネスを用いて構成される。
• 5_2結び目に対して、複素体積は $ i(2.82812 - i \cdot 3.02412) $ として計算され、既知の値と一致する。
• 複素体積不変量 $ \mathrm{cvol} $ は適切に定義されており、理想分割の選択に依存せず、離散的で忠実な表現の共軛類にのみ依存する。
• この方法は、リンク図と彩色データのみを用いて複素体積を直接計算でき、明示的な理想分割を必要としない。
• この方法で得られる三角形分割には、非理想頂点や負の向きの単体が含まれる可能性があり、標準的な理想分割とは異なる。