[論文レビュー] Invariants of links and 3-manifolds from graph configurations

Christine Lescop|arXiv (Cornell University)|Jan 27, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 7

ひとこと要約

この論文は、グラフ配置の配置空間積分を用いて、リンクおよび3次元多様体の位相的不変量を構成し、伝搬関数とポincare双対性を介してリンク数を一般化する。フレーム付きタングルの普遍的有限型不変量 Z を定義し、その函手的性質と不変性を証明することで、微分位相幾何学、グラフ配置、量子不変量の深い関係を確立する。

ABSTRACT

In this self-contained book, following Edward Witten, Maxim Kontsevich, Greg Kuperberg and Dylan Thurston, we define an invariant Z of framed links in rational homology 3-spheres, and we study its properties. The invariant Z, which is often called the perturbative expansion of the Chern-Simons theory, is valued in a graded space generated by Jacobi diagrams. It counts embeddings of this kind of unitrivalent graphs in the ambient manifold, in a sense that is explained in the book, using integrals over configuration spaces, or, in a dual way, algebraic intersections in the same configuration spaces. When the ambient manifold is the standard 3-sphere, the invariant Z is a universal Vassiliev link invariant studied by many authors including Guadagnini, Martellini and Mintchev, Bar-Natan, Bott and Taubes, Altschüler and Freidel, Thurston and Poirier... This book contains a more flexible definition of this invariant. We extend Z to a functor on a category of framed tangles in rational homology cylinders and we describe the behaviour of this functor under various operations including some cabling operations. We also compute iterated derivatives of our extended invariant with respect to the discrete derivatives associated to the main theories of finite type invariants. Together with recent results of Massuyeau and Moussard, our computations imply that the restriction of Z to rational homology 3-spheres (equipped with empty links) contains the same information as the Le-Murakami-Ohtsuki LMO invariant for these manifolds. They also imply that the degree one part of Z is the Casson-Walker invariant.

研究の動機と目的

• 3次元多様体内のグラフ配置を用いて、多様体間の写像の次数としてリンク数を一般化する。
• 配置空間積分を用いて、フレーム付きタングルの普遍的有限型不変量 Z を定義する。
• Z のアーモニック同相およびタングル合成に関する函手的性質と不変性を確立する。
• Poincaré双対性および伝搬形式を介して、不変量 Z をポントリャーギン類および有理不変量と関連付ける。
• 横断的チェインとコhomologyを用いて、Z の異常（β および α）の離散的代数的記述を提供する。

提案手法

• 3次元多様体内の点の配置空間を用いて、グラフ図式上の積分を定義する。
• サイクルに双対な伝搬形式を適用し、Poincaré双対性を介して不変量を定義する積分を導出する。
• 対角線のブロー・アップおよび配置空間のコンパクト化を用いて特異点を処理する。
• 配置空間内の部分多様体に双対な微分形式の積分を用いて、普遍不変量 Z を構成する。
• チューブ型近傍と、サポートが制御された閉形式を用いて、双対性同型を定義する。
• ホモロジー代数およびヤコビ図式におけるバイ代数構造を用いて、Z の代数的構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 3次元多様体内のグラフ配置を用いて、リンク数を高次不変量へ一般化する方法は何か？
• RQ2 配置空間積分が選択に依存しない位相的不変量を定義するための条件は何か？
• RQ3 Z はタングル合成およびアーモニック同相に対してどのように振る舞うか？
• RQ4 不変量の空間の代数的構造は何か？ また、ヤコビ図式および有限型不変量とどのように関係するか？
• RQ5 Z の異常（β および α）は、コhomological障害および横断的チェインとどのように関係するか？

主な発見

• 伝搬形式が同次的で、ある種の横断性条件を満たす限り、Z は選択に依存せず適切に定義される。
• 異常 β は H^1(M; R) 内の適切に定義されたコhomology類であることが示され、横断的チェインを用いた離散的代数的定義が与えられる。
• Z はフレーム付きロングタングルの圏上で函手的であり、Zf としてモノイダル函手に拡張可能である。
• この構成により、フレーム付きタングルの普遍的有限型不変量が得られ、ヤコビ図式の空間に値をとる。
• リンク写像の次数は、サイクルに双対な配置空間積分を用いて高次不変量へ一般化される。
• 部分多様体に α-双対な形式を用いて、Poincaré双対性同型を構成し、積分を介して代数的交差を定義可能となる。