有限型不変量

有限型不変量についての詳細

数学の結び目理論において、有限型不変量は特に重要な役割を果たしています。これらの不変量は、結び目や絡み目の不変性を示すものであり、特異結び目においても適用可能な特性を持つことが特徴です。また、特異結び目が高次である場合には、その不変量が0になるという特性があります。

定義と概念

有限型不変量は、結び目の多項式不変量や量子不変量の係数として現れることが知られており、これらは全て有限型に分類されます。この概念は、1990年代初頭にヴィクトル・ヴァシリエフとミハイル・グサロフによって独立に導入され、現在では「ヴァシリエフ不変量」や「ヴァシリエフ-グサロフ不変量」として広く認知されています。

この不変量は組み合わせ的に定義され、結び目全体から生成された可換群をL0とし、その元は整数を係数とする結び目の形式的な有限和として表現されます。交差の周りに特異点が設けられた場合、その結び目の差は印を用いて表現され、このような特異結び目を「一次の特異結び目」と呼びます。

階層構造

一次の特異結び目全体から生成されるL0の部分群はL1と表記され、帰納的に定義されます。特異点の数を増やすことで、より高い次の特異結び目の集合が形成され、これをL2、L3と続けていきます。このようにして、階層的な構造が確立され、降鎖列L0 ⊃ L1 ⊃ L2 ⊃ ...が定まります。特異結び目の不変量の中で、特に重要なものは、Lm+1において0の値を持ちますが、Lmでは全域的に0とならないものが「m次の有限型不変量」と呼ばれます。

ヴァシリエフは、特異点を持つ空間内の閉曲線の集合を考え、そのコホモロジーを検討することによって、有限型不変量の定義に至りました。

特異結び目と不変量の関係

これらの可換群に属する結び目不変量は、特異点に対して先述した関係を適用することにより、特異結び目の不変量に拡張することが可能です。そして興味深いことに、m次の有限型不変量の値は特異点の並び方によってのみ決まります。すなわち、m次の特異結び目Kと、交差を交換した特異結び目K'に対して、K-K'は必ずm+1次の特異結び目として表すことができ、その結果、m次の有限型不変量vはKとK'に対して同じ値を取ることが確認できます。

具体例と性質

有限型不変量にはいくつかの具体的な例があります。0次の有限型不変量は単純に定数関数として表現され、1次の有限型不変量は枠付き結び目に対して存在しますが、他の結び目に対してはありません。2次の有限型不変量はアレクサンダーコンウェイ多項式の2次の係数の定数倍とされ、さらにジョーンズ多項式の特定の形においてはそのm次の項に対応します。絡み数についても、特定の二成分絡み目に対して2次の有限型不変量であることが知られています。

有限型不変量の集合は、次数m以下で範囲を指定すると、可換群としての性質を持つV(m)に分類され、昇鎖列V(0) ⊂ V(1) ⊂ V(2) ⊂ ... が形成されます。任意の有限型不変量はコンツェビッチ不変量Zを通じて復元可能であり、有限型不変量vにはウェイトシステムwvが存在して、v=wv·Zの関係が成立します。

関連項目

このように、有限型不変量は結び目理論において中心的な役割を担う概念であり、その理解はトポロジーや結び目の性質を深く理解する手助けになります。また、辞書的な文献や専門書においても、このテーマに関する知見が広く議論されています。

参考文献

• - 大槻知忠 『量子不変量』 日本評論社、1999年 (ISBN 4-535-78260-1)
• - 村上順 『結び目と量子群』 朝倉書店、2000年 (ISBN 4-254-11553-9)

もう一度検索