コンツェビッチ不変量のソースを表示

[[数学]]の[[結び目理論]]において'''コンツェビッチ不変量'''(''Kontsevich invariant'')又は'''コンツェビッチ積分'''（''Kontsevich integral''）とは、反復積分によって定義される結び目または絡み目の[[結び目理論#結び目不変量|不変量]]である。全ての[[有限型不変量]]、特に[[量子不変量]]はコンツェビッチ不変量から復元されるため、'''普遍量子不変量'''と呼ばれることもある。

1990年代初頭に[[マキシム・コンツェビッチ]]が定義した。

この項では関連する概念として'''ヤコビ図'''についても述べる。

== ヤコビ図とコード図 ==
=== 定義 ===
[[File:JacobiDiag.png|240px|thumb|ヤコビ図の例]]
''X'' を円（ 1次元多様体の例）とする。オーダー ''n'' のヤコビ図(Jacobi diagram) ''G'' とは、右の図の例のような ''2n'' 個の頂点を持ち、部分グラフとして円(external circle)をひとつ持ち、それ以外の円の内部にもグラフ(inner graph)を持ち、次の条件を満たすグラフのことをいう。
#外部の円にのみ向きが付いている。
#頂点には、1 もしくは、3 の値が割り付けられている。内部グラフの次数 3 の頂点は接続する 3つの辺に時計方向、反時計方向に順序が対応している。次数 1 の頂点には、重複しないように外部の円に接続されていて、順序は外部の円により与えられる。
''G'' の辺を''コード(chord)''と呼ぶ。このヤコビ図全体から生成される可換群を以下の関係式で割った空間を <math>A(X)</math> と書く。
:(AS 関係式) [[ファイル:Jacobi_diagram_AS1.svg||middle|64px]]+[[ファイル:Jacobi_diagram_AS2.svg||middle|64px]]=0
:(IHX 関係式) [[ファイル:Jacobi_diagram_IHXI.svg||middle|64px]]=[[ファイル:Jacobi_diagram_IHXH.svg||middle|64px]]-[[ファイル:Jacobi_diagram_IHXX.svg||middle|64px]]
:(STU 関係式)[[ファイル:Jacobi_diagram_STUS.svg||middle|64px]]=[[ファイル:Jacobi_diagram_STUT.svg||middle|64px]]-[[ファイル:Jacobi_diagram_STUU.svg||middle|64px]]
:(FI 関係式)[[ファイル:Jacobi_diagram_FI.svg||middle|64px]]=0
図中で、実線の矢印は外部の円 ''X'' の一部を表し、破線はコードを表す。

3 の値を持つ頂点を持たないヤコビ図を、特に'''コード図'''(''chord diagram'')と呼ぶ。グラフ ''G'' の各連結成分が 3 の頂点を持つとき、STU 関係式を繰り返し適用してヤコビ図をコード図に変形することができる。コード図だけを考えるときには、上記の四種類の関係式は次の二つの関係式として表される。
:(四項関係式)[[ファイル:Jacobi_diagram_4T1.svg||middle|64px]]-[[ファイル:Jacobi_diagram_4T2.svg||middle|64px]]+[[ファイル:Jacobi_diagram_4T3.svg||middle|64px]]-[[ファイル:Jacobi_diagram_4T4.svg||middle|64px]]=0
:(FI 関係式)[[ファイル:Jacobi_diagram_FI.svg||middle|64px]]=0

=== 性質 ===
* 一価の頂点数と三価の頂点数の和の 1/2 によってヤコビ図の'''次数'''が定義される。これはヤコビ図をコード図に変形した際のコードの本数を表している。
* [[タングル#タングル(2)|タングル]]と同様に、上下方向への積み重ねを合成とし、並置をテンソル積として[[モノイド圏]]をなす。
** 特に <math>X</math> が線分 <math>I</math> であるとき、 <math>A(X)</math> は可換代数をなす。また、<math>A(S^1)</math> を[[連結和]]を積とする代数とみると <math>A(I)</math> と同型である。
* 次のウェイトシステムの節でも説明するように、ヤコビ図はリー代数から生成されるテンソル代数の表現を抽象化したものと見ることができる。これにより、[[ホップ代数]]の余積、余単位、対蹠によく似た操作を定めることができる。
* 結び目の[[有限型不変量]]とコード図は密接に関係し、''S''<sup>1</sup> 上の ''m'' 次のコード図から[[有限型不変量#定義|特異結び目]]を構成することができる。実際、あるコードの両端が十分に近いところを通るような ''S''<sup>1</sup> の埋め込みのコピーを二つ用意し、片方を交差交換して残りのものと差をとると特異点ができるので、全てのコードに対しても同様の操作を行えばよい。このような特異結び目は複数存在するが、それらは ''m''+1 次の特異結び目を法として同値である。即ち ''n'' 次の特異結び目から生成される空間を ''K''<sub>''n''</sub> と書くことにすると、''K''<sub>''m''</sub>/''K''<sub>''m''+1</sub> の元を一意に定める。

=== ウェイトシステム ===
ヤコビ図に数を対応させる写像を'''ウェイトシステム'''と呼ぶ。この対応をヤコビ図の空間 <math>A(X)</math> 上に拡張したものも同じ名前で呼ぶ。

* 特に、半単純[[リー代数]] ''g'' とその表現 ρ を固定したとき、ヤコビ図のコードに ''g'' の不変テンソルを「代入」し、ヤコビ図の台となる多様体 ''X'' に ρ を「代入」することでウェイトシステムが得られる。
** ヤコビ図の 3価の頂点がリー代数のブラケット積、 実線の矢印がρの表現空間、それに接続する1価の頂点がリー代数の作用とみなせる。
** IHX 関係式、STU 関係式はそれぞれヤコビ恒等式と表現の定義(ρ([''a'',''b''])''v''=ρ(''a'')ρ(''b'')''v''-ρ(''b'')ρ(''a'')''v'')に対応する。
* [[アレクサンダー多項式]]と[[ジョーンズ多項式]]の係数を関係付ける、メルビン-モートン予想の解決に本質的な役割を演じた<ref>D. Bar-Natan and S. Garoufalidis, ''On the Melvin-Morton-Rozansky Conjecture'', Inventiones Mathematicae 125 (1996) 103-133).</ref>。

=== 歴史 ===
ヤコビ図は 1990年代前半にコンツェビッチが反復積分による結び目の不変量を定義したときに[[ファインマン図]]の類似として導入された<ref>M. Kontsevich, ''Vassiliev's knot invariants'', Adv. in Sov. Math., 16(2) (1993) 137-150.</ref>。その際、特異結び目の特異点の引き戻しを弦(chord)で表し、即ちコード図のみを扱っていた。その後バル-ナタンが 1-3-価グラフとして定式化し、代数的な性質を調べた。彼の論文<ref>D. Bar-Natan, ''On the Vassiliev knot invariants'',Topology 34 (1995) 423-472.</ref>では「漢字図」(chinese character diagram)と呼ばれている箇所がある。その後コード図、ウェブ図、ファインマン図などと複数の呼称が用いられたが 2000年頃からヤコビ図(Jacobi diagram)という呼称が一般的になっている。これは、IHX 関係式が[[リー代数]]のヤコビ恒等式に相当することに由来する。

1990年代後半にグサロフと葉廣和夫が独立に定義したクラスパーによってさらに一般的な見地から解釈されている。

== コンツェビッチ不変量 ==
=== 定義 ===
''K'' を三次元空間 '''C'''&times; '''R''' に埋め込まれたモース[[結び目理論|結び目]]とする。つまり、''K'' を ''S''<sup>1</sup> から '''C'''&times; '''R''' への写像 ''s'' → (''z'' (''s''), ''h'' (''s'')) と書いたとき、''h'' の[[臨界点 (数学)|臨界点]]は全て孤立しているとする。さらに、''h'' の一つの臨界値に対して、その逆像は一点から成るとする。

==== 積分による定義 ====
次の式で定義される無限級数 ''Z'' (''K'') を結び目 ''K'' の'''コンツェビッチ積分'''、あるいはコンツェビッチ不変量という。
:<math>Z(K)=\sum^\infty_{m=0}\frac1{(2\pi\sqrt{-1})^m}\int_{-\infty<t_1<t_2<\dots<t_m<\infty}\sum_{p\in P}(-1)^{\sharp p\downarrow}D_p\wedge^m_{i=1}\frac{dz_i-dz^\prime_i}{z_i-z^\prime_i}</math>
:ここで
:*'''C'''&times;{ ''t''<sub>''i''</sub> } と ''K'' の共通部分から二点 ''z''<sub>''i''</sub> と ''z' ''<sub>''i''</sub> を選んで組にする。このような組の列 {(''z''<sub>''i''</sub> , ''z' ''<sub>''i''</sub>)}<sub>''i'' = 1,2,...,''m''</sub> 全てからなる集合が ''P''。
:* #''p''↓ は ''p'' に現れる 2''m'' 個の点のうち、そこで ''K'' が下向きになっているものの個数である。
:*''D''<sub>''p''</sub> は ''p'' の各点 (''z''<sub>''i''</sub> , ''z' ''<sub>''i''</sub> ) の逆像から得られるコード図。

右辺に現れる微分形式は [[KZ方程式]]に由来するものである。KZ方程式は[[配置空間]]に平坦な接続を定め、配置空間内のループ(=[[組み紐 (数学)|組み紐]])に沿った積分はループの微小変形で値を変えない。このことがコンツェビッチ積分が不変量であることに寄与している。

==== 組み合わせ的な定義 ====
''K'' を幾つかの水平面 '''C'''&times;{''t''<sub>''i''</sub> } で分割する。このとき、切断面において ''K'' の切り口は実軸上に並んでいるとして構わない。すると、''K'' は[[タングル#タングル(2)|タングル]]に対する合成とテンソル積を繰り返してできていると考えることができる。

''K'' を構成する基本的要素に対しては、以下のようにコンツェビッチ不変量 ''Z'' を定める。
* ''Z'' ([[File:Knot-crossing-plus.svg|middle|30px]]) = ([[File:Tangle_flip.svg|middle|24px]])·''e''<sup>t/2</sup>, ''Z'' ([[File:Knot-crossing-minus.svg|middle|30px]]) = ([[File:Tangle_flip.svg|middle|24px]])·''e''<sup>-t/2</sup>。ここで ''t'' は水平な一本のコードだけを持つコード図で、''e''<sup>''x''</sup> は形式的な指数写像。
* ''Z''([[File:Tangle_maximam.svg|middle|24px]]) = [[File:Tangle_maximam.svg|24px]] <math>\sharp</math> ''U''<sup>-1/2</sup>, ''Z''([[File:Tangle_minimum.svg|middle|24px]]) = [[File:Tangle_minimum.svg|24px]] <math>\sharp</math> ''U''<sup>-1/2</sup>。ここで ''U'' は極大点と極小点をそれぞれ二つもつ自明な結び目のコンツェビッチ不変量で <math>\sharp</math> は[[連結和]]。
* ''Z''([[File:Associate_tangle_positive.svg|middle|30px]]) は直接コンツェビッチ積分を計算することで得られる。この値を Φ と表記すると、 ''Z''([[File:Associate_tangle_negative.svg|middle|30px]]) = Φ<sup>-1</sup>。
そして、合成とテンソル積に対しては以下のようにコンツェビッチ不変量を定める。
* ''Z''(''s''·''u'')=''Z''(''s'')·''Z''(''u'')。
* ''Z''(''s'' &otimes; ''u'')=''Z''(''s'') &otimes; ''Z''(''u'')。
通常のタングルとは異なり、隣り合う端点との距離が等しいことを仮定しないことに注意すべきである(これにより、ここで扱うようなタングルを非結合的タングル、準タングルと呼ぶこともある)。準タングルはモノイド圏を成すが、モノイド積に関して (''a'' &otimes; ''b'')&otimes; ''c'' = ''a'' &otimes; (''b'' &otimes; ''c'') は成立しない。Φ はこの両辺の間の同型を与え、五角関係式([[モノイド圏#形式的定義|モノイド圏]]のコヒーレンス条件)をみたす。Φ(またはリー代数由来のウェイトシステムによる像)を'''[[ウラジーミル・ドリンフェルト|ドリンフェルト]]・アソシエータ''' と呼ぶこともある。上記の ''U'' や Φ は無限級数であり、一般の結び目に対する ''Z'' の値を求めることは低次の項を除いて非常に難しい。

=== 性質 ===
* 0次のヤコビ図は一種類しかないことから、コンツェビッチ不変量の 0次の値は結び目の交差交換で不変である。このことからコンツェビッチ不変量の係数自身が有限型不変量になる。
** 特に二次の係数は本質的に[[コンウェイ多項式|アレクサンダー-コンウェイ多項式]]である。
* 結び目に対するコンツェビッチ不変量の値は群的である。即ち、余積をΔで表すと Δ(''Z'' ( ''K'' )) =''Z'' ( ''K'' ) &otimes; ''Z'' ( ''K'' ) を満たす。これにより、ある <math>A(S^1)</math> の元 ''z''( ''K'' ) が存在して ''Z'' ( ''K'' ) = exp (''z'' (''K'' )) と書ける。''z'' ( ''K'' ) に現れるヤコビ図はすべて、幾つかの連結なループと <math>S^1</math> に接続するための「足」からなるので、''z'' ( ''K'' ) のことを'''ループ展開'''と呼ぶ。
* 結び目の完全不変量だと予想されている。

=== 有限型不変量に対する普遍性 ===
次数 ''m'' の有限型不変量 ''v'' から ''m'' 次のヤコビ図に対するウェイトシステム ''W''<sub>''v''</sub> を構成することができ、一方ウェイトシステム ''W'' に対して、 ''W''·''Z'' の ''m'' 次の係数は ''m'' 次の有限型不変量である。コンツェビッチ不変量は ''m'' 次の有限型不変量の空間と ''m'' 次のヤコビ図に対するウェイトシステムの空間の間の同型対応を与える(実際には商空間の間の同型となる。)。
* sl<sub>2</sub> から定まるウェイトシステムからは[[ジョーンズ多項式]]の係数、sl<sub>''n''</sub> の場合は[[ホンフリー多項式]]の係数が導かれる。
=== 歴史 ===
コンツェビッチ不変量はまずコンツェビッチによって反復積分の形で定義された。しかしその定義から、結び目を水平線で幾つかの部分に分割し、部分ごとに不変量の値を求めてもよいことが容易にわかる。実際、レ(Le) と村上順<ref>T. T. Q. Le and J. Murakami, ''The universal Vassiliev-Kontsevich invariant for framed oriented links'', Compo. Math. 102 (1996), 42-64.</ref>は、結び目の生成系である[[タングル]]を準タングルに拡張し、生成元ごとにコンツェビッチ不変量の値を計算することで組み合わせ的な定義を得た。同時に彼らは紐のねじれ(framing)に対応するコンツェビッチ不変量の値も定式化し、三次元多様体に対する普遍量子不変量への道を開いた(技術的な要請から、反復積分による定義ではヤコビ図(正確にはコード図)に FI 関係式が必要で、紐のねじれの情報は値に反映されなかった)。

コンツェビッチ不変量は本質的に無限級数であるため、その値を決定することは非常に難しい。実際自明な結び目に対する値が決定されたのは<ref>D. Bar-Natan, S. Garoufalidis, L. Rozansky and D. P. Thurston, ''Wheels, Wheeling, and the Kontsevich Integral of the Unknot'', Israel Journal of Mathematics 119 (2000) 217-237.</ref>においてである。

== 関連項目 ==
* [[トポロジー]]
* [[結び目理論]]
* [[マキシム・コンツェビッチ]]

== 出典 ==
{{reflist}}

== 参考文献 ==
* [[大槻知忠]] 『量子不変量』 [[日本評論社]]、[[1999年]] (ISBN 4-535-78260-1)
* [[村上順]] 『結び目と量子群』 [[朝倉書店]]、[[2000年]] (ISBN 4-254-11553-9)
* [[河野俊丈]] 『反復積分の幾何学』 [[シュプリンガー・ジャパン]]、[[2009年]] (ISBN 978-4431706694)

{{DEFAULTSORT:こんつえひつちふへんりよう}}
[[Category:結び目理論]]
[[Category:数学に関する記事]]