[論文レビュー] A proof of Tait's Conjecture on alternating-achiral knots

Nicola Ermotti, Cam Van Quach Hongler+1 more|arXiv (Cornell University)|Mar 16, 2011

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

ひとこと要約

本稿は、Taitの予想を、任意の交差数が偶数の非可逆的ねじれ結び目が、S³の向きを逆にする対合によって不変である2次元球面S²上の最小射影をもつことの証明により解決する。この対合は射影上にちょうど2つの固定点を持つ。証明は、結び目の最小射影をダイヤモンドとねじれバンド図形に分解する標準的構造に基づき、構造木を用いて記述され、フリーピング同値類および対合不変性の制約下で自己同型としての対称性を分析する。

ABSTRACT

In this paper we are interested in symmetries of alternating knots, more precisely in those related to achirality. We call the following statement Tait's Conjecture on alternating -achiral knots: Let K be an alternating -achiral knot. Then there exists a minimal projection Π of K in S^2 \subset S^3 and an involution ϕ:S^3 oS^3 such that: 1) ϕ reverses the orientation of $S^3$; 2) ϕ(S^2) = S^2; 3) ϕ (Π) = Π; 4) ϕ has two fixed points on Π and hence reverses the orientation of K. The purpose of this paper is to prove this statement.

研究の動機と目的

• 交差数が偶数の非可逆的結び目の幾何的実現に関するピーター・テイトの長年の予想を解決すること。
• 任意の交差数が偶数の非可逆的結び目が、S³の向きを逆にする対合によって不変で、射影上にちょうど2つの固定点を持つ最小射影をもつことの確立。
• 特に、最小射影における対称性の位数と可視性の観点から、+可逆的と−可逆的の違いを明確にすること。
• 交差数が偶数の結び目理論における対称性と同型条件を分析するための位相的枠組みを、構造木とチェッカーボードグラフを用いて提供すること。

提案手法

• ハセマン円を用いて、交差数が偶数の結び目の最小射影を、標準的成分（ダイヤモンドとねじれバンド図形）に分解する。
• 結び目Kの構造木A(K)を、成分をノード、接続関係をエッジとして表す標準的不変量として構成する。
• フリーピング定理を適用し、2つの最小射影がS²の向きを保つ微分同相写像とフリーピングによって同値であることを示す。
• 構造木A(K)の自己同型を用いてKの対称性を分析し、固定点をダイヤモンドまたはハセマン円として分類し、(A)、(B)、(C)の3つの場合に分ける。
• キーテーレムを用いて、問題を「−可逆的」であるならば、射影Πとその鏡像−ˆΠがフリーピングと向きを保つ写像によって同値であることを示すことに還元する。
• −可逆的の場合、このような同値性が最小射影上でフリーピングを用いずに実現可能であることを示し、これは、グローバルな対合に関して不変な射影が存在することを意味する。

実験結果

リサーチクエスチョン

• RQ1 任意の交差数が偶数の非可逆的結び目は、S³の向きを逆にする対合によって不変で、射影上にちょうど2つの固定点を持つ最小射影に表せるか？
• RQ2 −可逆的の対称性は常に最小射影上で可視的か、それともフリーピングが必要な場合があるか？
• RQ3 構造木A(K)とその自己同型は、交差数が偶数の結び目の可能な対称性をどのように分類するか、特に可逆的位数との関係において。
• RQ4 チェッカーボードグラフG(Π)とG*(Π)の同型性と、最小射影Πの可逆的タイプ（±）との関係は何か？
• RQ5 カウフマンの予想の反例は、常に+可逆的であり、−可逆的ではないのか？あるいは、それらの反例は、常に高い対称性位数2^a（a ≥ 2）を持つのか？

主な発見

• Taitの予想（交差数が偶数の非可逆的結び目）が証明された：任意のこのような結び目は、S² ⊂ S³ 上の最小射影Πと、S³の向きを逆にする対合φをもち、φ(S²) = S²、φ(Π) = Πであり、φはΠ上にちょうど2つの固定点を持つ。
• 証明により、−可逆的交差数が偶数の結び目において、対称性が最小射影上でフリーピングを用いずに実現可能であることが示された。これは、図形上で直接対合が可視的であることを意味する。
• 構造木A(K)は結び目の標準的不変量であり、−可逆的性に由来する自己同型は、以下のいずれかの固定点を持つ：(A) ダイヤモンド、(B) 2つのダイヤモンドに接するハセマン円、(C) 2つのバンド図形に接するハセマン円。
• カウフマンの予想（任意の交差数が偶数の非可逆的結び目は、同型なチェッカーボードグラフをもつ最小射影を持つ）が確認された：G(Π)がG*(Π)と+同型となるような射影が存在する。
• カウフマンの予想の反例（ダスバーグとフーガーディが構成）は、すべて+可逆的であり、−可逆的ではない。また、任意のa ≥ 2に対して、2^aの対称性位数を持つことができる。
• 本稿では、任意のa ≥ 2に対して、周期2^aの+可逆的で、準多面体的であり、カウフマンの予想の反例である交差数が偶数の結び目を構成し、カウフマン＝ジャブラの予想が誤りであることを示した。