[論文レビュー] Integral Expressions for the Vassiliev Knot Invariants

Dylan P. Thurston|arXiv (Cornell University)|Jan 25, 1999

Geometric and Algebraic Topology参考文献 14被引用数 69

ひとこと要約

この論文は、配置空間積分を用いてバシリエフ絡み目の不変量を位相的に根拠づけたきめ細やかな構成を提供し、新しい関手的コンパクト化を用いて収束性と不変性を証明する。これらの積分が有理数値不変量を生じることを示し、チンカチョン図と関連づける。物理的導出に依存しない、自己完結的で数学的に厳密な代替手法を提供する。

ABSTRACT

It has been folklore for several years in the knot theory community that certain integrals on configuration space, originally motivated by perturbation theory for the Chern-Simons field theory, converge and yield knot invariants. This was proposed independently by Gaudagnini, Martellini, and Mintchev and Bar-Natan. The analytic difficulties involved in proving convergence and invariance were reportedly worked out by Bar-Natan, Kontsevich, and Axelrod and Singer. But I know of no elementary exposition of this fact. ... This thesis is an attempt to remedy this lack. I adopt an almost exclusively topological point of view, rarely mentioning Chern-Simons theory. There are also a few new results in this thesis. These include a new construction of the functorial compactification of configuration space (Section 3.2) as well as some variations on the integrals. For a suitable choice of this variation, the integral reduces to counting tinkertoy diagrams (Section 4.5). In particular, the invariants constructed take values in Q.

研究の動機と目的

• 物理学的・高レベルの技術的扱いに起因するギャップを埋めるために、バシリエフ絡み目の不変量を生じる配置空間積分の数学的に厳密で初等的な解説を提供すること。
• 境界項と収束性の精密な解析を可能にする、新しい関手的コンパクト化による配置空間の構成。
• 積分が $\mathbb{Q}$ に値をとる絡み目の不変量を生じることを示し、特に特定の選択肢においてチンカチョン図の数え上げと等価であることを示すこと。
• チェーン＝シモンズ場理論に依存せずに、これらの不変量の位相的起源を明確にすることで、トポロジストにとってのフレームワークの可視化を図ること。
• 高次のバシリエフ不変量の収束性と不変性を示す長年の解析的・位相的課題を解決すること。

提案手法

• $\mathbb{R}^3$ における絡み目の埋め込み上に $n$ 個の相異なる点を持つ配置空間 $C^{0}_{n}(\text{Knot})$ を用い、絡み目の埋め込みを通じて $C^{0}_{n}(\mathbb{R}^3)$ への写像を定義する。
• 方向形式 $\phi_{ij}: C^{0}_{2}(\mathbb{R}^3) \to S^2$ を $\phi_{ij}(x_i,x_j) = \frac{x_j - x_i}{|x_j - x_i|}$ で定義し、$S^2$ 上の2形式を配置空間上の閉形式に引き戻す。
• グラフ $\Gamma$ に関連する写像 $\phi_\Gamma$ を用いて、これらの2形式の外積を引き戻し、チェーン写像を形成する配置空間上の積分を構成する。
• 特異点と境界項を扱うために、配置空間の関手的コンパクト化を導入し、積分の収束を保証する。
• グラフ上の行列式ラインバンドルによる向き理論を適用し、コンパクト化された配置空間上の閉かつ-compactly な微分形式 $\theta_{\Gamma,o,t}$ を定義する。
• コンパクト化された配置空間上で $\theta_{\Gamma,o,t}$ を積分すると、ラベル付けに依存せず $\mathbb{Q}$ に値をとる絡み目の不変量が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 配置空間積分がバシリエフ不変量に対して厳密に定義され、収束することがどのように示せるか？
• RQ2 これらの積分が絡み目のアバント・ホモトピーに関して不変であるという位相的メカニズムは何か？
• RQ3 これらの積分をチンカチョン図や重み系といった組合せ的不変量と明示的に関連づけることは可能か？
• RQ4 配置空間の関手的コンパクト化が境界項と特異点の問題をどのように解決するか？
• RQ5 なぜこれらの積分が有理数値不変量を生じるのか？また、この文脈におけるグラフ上の向き理論の役割は何か？

主な発見

• 主な面における境界項のキャンセルにより、押し出し写像と面解析を用いて、配置空間積分の収束性と絡み目の不変量としての性質が示された。
• これらの積分によって構成された不変量は $\mathbb{Q}$ に値をとる。これは、チンカチョン図の観点から表現された際の有理数性を示すことによって、重要な結果として確立された。
• 積分における適切な変化の選択により、結果がチンカチョン図の数え上げに正確に還元され、組合せ論的解釈が得られた。
• 特異な構造の分岐的性質を明確に扱える、新しい関手的コンパクト化による配置空間の構成がなされた。
• 配置空間のチェーンの向きはグラフ上の行列式ラインバンドルによって定義され、異なるラベル付けや選択に対しても一貫性を保つ。
• 境界項（隠れた面および異常な面）が適切な条件下で消えることにより、積分がアバント・ホモトピーに関して不変であることが示された（第5および第6節で証明済み）。