[論文レビュー] The number of primitive Vassiliev invariants up to degree 12

Jan Kneissler|ArXiv.org|Jun 18, 1997

Geometric and Algebraic Topology参考文献 4被引用数 26

ひとこと要約

本稿では、次数12までの独立な原始的有理数ヴァシリエフ不変量の数に対する上界と下界を計算するための効率的なアルゴリズムを提示する。これらのアルゴリズムを適用することで、次数≤12のすべてのこのような不変量が方向性に依存せず、リー代数soとglの表現から生じることを証明し、ヴォジェルによる連結3価図形（中国文字）のΛ加群の自由性に関する予想を反証する。

ABSTRACT

We present algorithms giving upper and lower bounds for the number of independent primitive rational Vassiliev invariants of degree m modulo those of degree m-1. The values have been calculated for the formerly unknown degrees m = 10, 11, 12. Upper and lower bounds coincide, which reveals that all Vassiliev invariants of degree smaller 13 are orientation insensitive and are coming from representations of Lie algebras so and gl. Furthermore, a conjecture of Vogel is falsified and it is shown that the Λ-module of connected trivalent diagrams (Chinese characters) is not free.

研究の動機と目的

• 次数m ≤ 12の独立な原始的有理数ヴァシリエフ不変量の数に対するきつい上界と下界を計算すること。
• 次数≤12のすべてのヴァシリエフ不変量が方向性に依存しないかどうかという長年の疑問を解決すること。
• ヴォジェルが提起した、連結3価図形のΛ加群の自由性に関する予想を検証し、反証すること。
• 図形的関係と代数的削減技術を用いて、原始的ヴァシリエフ不変量加群のランクを決定するための計算フレームワークを提供すること。

提案手法

• 不変量加群のランクの上界を計算するための2つのアルゴリズム（AとB）を開発し、既約置換と削減規則に基づく。
• 置換上の写像ρの作用を用いて境界写像φの核をモデル化し、F₂上の線形代数への問題の還元を行う。
• δ写像を逆順序（小さい置換から大きい置換へ）に再帰的に適用し、削減写像Δ(ρ(π))の値を効率的に計算する。
• F₂上でのガウスの消去法を用いて、得られた行列のランクとヌルティを計算し、次元の正確な計算を可能にする。
• メモリ制限を管理するための成分別計算戦略を採用し、一度に32成分ずつ処理する。
• チェックサムとエラー検出を用いて、大規模計算中のデータ整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 次数≤12のすべての原始的ヴァシリエフ不変量は方向性に依存しないか？
• RQ2 次数≤12のすべてのヴァシリエフ不変量は、リー代数soとglの表現から生じるか？
• RQ3 ヴォジェルの予想である、連結3価図形（中国文字）のΛ加群が自由であるという予想は正しいか？
• RQ4 次数12までに、原始的ヴァシリエフ不変量加群のランクに対するきつい上界と下界を計算できるか？
• RQ5 m = 10, 11, 12のとき、原始的ヴァシリエフ不変量の空間の正確な次元は何か？

主な発見

• 次数m = 10, 11, 12のとき、原始的ヴァシリエフ不変量加群のランクに対する上界と下界が一致し、正確な値が確認された。
• 次数≤12のすべてのヴァシリエフ不変量は方向性に依存せず、商空間のランクがリー代数表現からの期待される次元と一致することから確認された。
• 次数≤12の不変量は、すべての起源がリー代数soとglの表現に限定されることが確認された。
• ヴォジェルの予想である、連結3価図形のΛ加群が自由であるという仮定は、非自明な関係が存在することから反証された。
• アルゴリズムは、次数12までに原始的不変量の空間のランクを正常に計算でき、既約置換集合の次元は急激に増加する（例：m=12で389,668）。
• 計算により、図形複体のコホモロジーに位数2の要素が存在することが判明した。これは、2x=0だがx≠0である図形xの存在によって裏付けられている（A₁₀において）。