[論文レビュー] Problems on invariants of knots and 3-manifolds

Jørgen Ellegaard Andersen, Nikos Askitas+58 more|ArXiv.org|Jun 9, 2004

Geometric and Algebraic Topology参考文献 100被引用数 7

ひとこと要約

この論文は、2001年京都市カンファレンスから得られた126の未解決問題を体系的にまとめ、解説したものである。ジョーンズ多項式やアレクサンダー多項式、バシリエフおよび有限型不変量、コンツェビッチおよびLMO不変量、スケイン加群、クエンドル、量子不変量といった基礎的不変量を、歴史的・技術的文脈を詳細に含めて調査している。主たる貢献は、分野の最先端を把握し、今後の研究を導く包括的かつ解説的な問題リストの構築である。

ABSTRACT

This is a list of open problems on invariants of knots and 3-manifolds with expositions of their history, background, significance, or importance. This list was made by editing open problems given in problem sessions in the workshop and seminars on `Invariants of Knots and 3-Manifolds' held at Kyoto in 2001.

研究の動機と目的

• 2001年京都市カンファレンスおよびセミナーから生じた、ねじれおよび3次元多様体の不変量に関する未解決問題を収集・文脈化すること。
• 研究者が主要な課題を特定できるように、各問題の歴史的発展、意義、技術的背景についての詳細な解説を提供すること。
• ねじれおよび3次元多様体の不変量分野の現在の最先端をマップし、低次元位相幾何学および数理物理学分野における今後の研究方向を導くこと。
• 定期的な更新を伴うオンラインリポジトリを維持することで、継続的な進展を促進すること。
• 編集者への連絡手段を通じて、部分的または完全な解決を報告する研究者を奨励すること。

提案手法

• 2001年9月に京都市大学数理研究所で開催された52件の講演（ワークショップで25件、セミナーで27件）から未解決問題を収集すること。
• 貢献者に、単に未解決問題を提示するだけでなく、その歴史的発展、意義、技術的背景についての詳細な解説を提供してもらうこと。
• 寄稿された資料を編集・統合し、相互参照および文脈的ノートを加えた一貫性のある解説的問題リストにすること。
• テーマ別セクションに問題を整理：多項式不変量、有限型不変量、コンツェビッチおよびLMO不変量、スケイン加群、クエンドル、ブレード群、量子不変量、TQFT、および状態和不変量。
• 既存の問題リスト（例：[Jon00], [Kir97], [Mor88]）からの問題を含め、既存分野における未解決の問いを強調すること。
• 定期的な更新を伴うオンラインでのリスト維持と、研究者がメールで解決を提出できる仕組みの提供。

実験結果

リサーチクエスチョン

• RQ1 ジョーンズ多項式は、自明なねじれとすべての非自明なねじれを区別できるか？
• RQ2 バシリエフの有限型不変量は、すべてのねじれを区別できるか？ あるいは、同一の有限型不変量を持つ非自明なねじれが存在するか？
• RQ3 コンツェビッチ不変量はねじれを完全に分類できるか？ また、代数的または幾何学的に特徴づけられるか？
• RQ4 LMO不変量は、すべての整数ホモロジー3次元球面を区別できるか？
• RQ5 一般のグラフ（四面体の場合を除く）に対して、qスピンネット評価の母関数は何か？

主な発見

• ジョーンズ多項式は、自明なねじれを区別できると予想されているが、未だ証明されていない。自明なねじれのジョーンズ多項式は1であることは既知である。
• LMO不変量は有限型であることが知られており、強力な不変量であるが、すべての整数ホモロジー3次元球面を区別できるかどうかは未解決のままである。
• qスピンネット評価の母関数については、q=1および四面体グラフの場合に公式が存在するが、一般の公式は不明であり、階乗を量子階乗に置き換える試みも失敗している。
• ヴラディミール・トゥラエフの予想では、3次元多様体Mに対してペア(H, Δ(t))が(H₁(M), Δ_M(t))として現れるための必要十分条件は、Δ(t) = t^k Δ(t⁻¹)を満たし、kが偶数でΔ(1) = ±|Tor H|であることである。この予想はH = ℤおよびH = ℤ × (ℤ/nℤ)（n ≥ 2）の場合には成立することが知られている。
• 素数の交代的アキシャルねじれに対しては、行列式が2つの平方数の和として奇数個の和で表されなければならない。しかし、行列式が1, 9, 49であるようなこのような素数の交代的アキシャルねじれは存在せず、他のn > 2000に対してもその存在は未解決のままである。
• 2本のストリングリンクの群𝒞₂は、非可換かつ非冪零であることが知られているが、可解であるか、あるいは自由部分群を含むかは未だ不明である。