[論文レビュー] Remarks on Formal Knot Theory

Louis H. Kauffman|ArXiv.org|May 23, 2006

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

ひとこと要約

本稿は『形式的絡み目理論』の補足ガイドを提供し、状態和を用いたアレクサンダー多項式の再定式化と、量子トポロジーへの関連を検討する。ケーブル・ホモロジーはブラケット多項式のカテゴリフィケーションとして導入され、フロベニウス代数から構築された微分構造が、ライデマイスター移動に関して不変な位相的不変量を生むことを示す。

ABSTRACT

This paper is an introduction to the state sum model for the Alexander-Conway polynomial that was introduced in the the author's book "Formal Knot Theory" (Princeton University Press, 1983). The article outlines how Alexander's original definition of the polynomial as the determinant of a matrix associated with the link diagram can be reformulated as a state summation over combinatorial configurations of the diagram. Facts about the state model, the Clock Theorem (that makes this model tick) and relations with other state models such as the bracket polynomial, are discussed. The paper includes a miniature introduction to Khovanov homology. This paper will appear in the forthcoming Dover republication of Formal Knot Theory.

研究の動機と目的

• 『形式的絡み目理論』の原文に取り組む読者を対象に、概念的かつ計算的なガイドを提供すること。
• アレクサンダー多項式を状態和として再定式化し、組合せ的手法によってよりアクセスしやすくすること。
• ブラケット多項式モデルから、特にケーブル・ホモロジーを含む量子不変量の出現を検討すること。
• ライデマイスター移動に関して不変なホモロジーを持つ複体の構成に、フロベニウス代数が果たす役割を明確にすること。
• ケーブル・ホモロジーと絡み目フローリング・ホモロジーを比較し、組合せ的基礎と幾何的基礎の違いを強調すること。

提案手法

• リンク図における領域と交差関係から導かれる行列の行列式を用いて、アレクサンダー多項式を再定式化する。
• 行列式の展開を、各状態がそれぞれの領域における交差の選択に対応する状態和として表現する。
• ブラケット多項式の状態から複体を構成し、各状態におけるループに代数 $\mathcal{A}$ を割り当て、ループ数ごとにテンソル積を形成する。
• 滑らか化写像 $m$（ループの併合）と $\Delta$（ループの分割）を用いて、順序の規約に基づいた符号を含む微分を複体に定義する。
• 微分の二重作用 $d^2 = 0$ を保証するため、フロベニウス代数の公理——特に $\Delta \circ m = (m \otimes 1) \circ (1 \otimes \Delta) = (1 \otimes \Delta) \circ (m \otimes 1)$ — を課す。
• 基底 $\{1, X\}$、$X^2 = 0$、$\Delta(1) = 1 \otimes X + X \otimes 1$、$\Delta(X) = X \otimes X$ を持つ特定のフロベニウス代数を用い、ホモロジー理論を実現する。

実験結果

リサーチクエスチョン

• RQ1 アレクサンダー多項式は、その行列式表現から導かれる状態和としてどのように再定式化できるか？
• RQ2 ケーブル・ホモロジーの構成の背後にある代数的構造は何か？ そして、それが位相的不変性を保証する仕組みは？
• RQ3 ケーブル・ホモロジーにおける微分写像は、絡み目状態間の位相的コーボルディズムとどのように対応するか？
• RQ4 ブラケット多項式と、ケーブル・ホモロジーによるアレクサンダー多項式のカテゴリフィケーションの関係は？
• RQ5 なぜ絡み目フローリング・ホモロジーは、ケーブル・ホモロジーとは異なり、既知の純粋な組合せ的微分を持たないのか？

主な発見

• 三重巻きひねり結び目におけるアレクサンダー多項式は $\Delta \dot{=} x^2 - x + 1$ であり、領域と交差関係から導かれる行列の行列式によって計算される。
• アレクサンダー多項式の状態和による再定式化は、行列式展開から自然に生じ、各項がそれぞれの領域が境界の交差を選択する状態に対応する。
• ケーブル・ホモロジーは、$n$ 番目の段階が、$n$ 個のタイプ-A サイトを持つすべての状態 $S$ について $\mathcal{A}^{\otimes ||S||}$ の直和となる複体として構成される。
• 微分 $d$ は、符号付きの単一サイト再滑らか化写像の和として、$C_{n+1}(K)$ から $C_n(K)$ へ写像され、$d^2 = 0$ はフロベニウス代数の公理によって保証される。
• 基底 $\{1, X\}$、$X^2 = 0$、$\Delta(1) = 1 \otimes X + X \otimes 1$、$\Delta(X) = X \otimes X$ を持つ特定のフロベニウス代数は、必要な条件を満たし、位相的不変量を生成する。
• 絡み目フローリング・ホモロジーはアレクサンダー多項式をカテゴリフィケーションするが、現在のところその微分の組合せ的記述は不明であり、より複雑な幾何的手法に依存している。