[論文レビュー] Cube number can detect chirality and Legendrian type of knots

Ben McCarty|arXiv (Cornell University)|Jun 24, 2010

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

ひとこと要約

本稿では、7交差以下のすべてのねじれを有するねずみのねじれを検出できる knot 不変量としての立方体数を導入している。特に、回転数が異なる (5,2)-ねじれトーラスねじれの Legendrian 型を区別する。また、Legendrian フロントに投影される最小サイズの立方体図として定義される Legendrian 立方体数は、標準的不変量が失敗する場合でも、Legendrian 同相型を区別できる。これは、グリッド図への組み合わせ的移動を用いて最小性を証明することで示されている。

ABSTRACT

For a knot K the cube number is a knot invariant defined to be the smallest n for which there is a cube diagram of size n for K. We will show that the cube number detects chirality in all cases computed thus far, and distinguishes certain legendrian knots.

研究の動機と目的

• ねじれのねじれを検出できる新たな不変量としての立方体数の確立を目的とする。
• Legendrian 立方体数を定義し、Legendrian ねじれ型を区別する可能性のある不変量として調査することを目的とする。
• 立方体図が Legendrian 構造に自然な幾何的適合性を欠いているにもかかわらず、Legendrian 同相型の違いを検出できるかを検討することを目的とする。
• (p,2)-トーラスねじれに対して、Legendrian 立方体数が最大および最小回転数型を区別するという予想を検証することを目的とする。
• 計算的および組み合わせ的手段を用いて、最小グリッド図およびその立方体図への上昇を分析することを目的とする。

提案手法

• 立方体図を、各座標平面への射影が特定のマークおよび交差条件を満たす n×n×n グリッド内の 3 次元ラティス埋め込みとして定義する。
• グリッド図の X-湾曲分解を用いて、立方体図における z-立方体湾曲に上昇させ、方向性の適合性を保証する。
• 巡回置換および交換移動を用いて、トーラス上のグリッド図を変形し、ねじれ型を保存するとともに、最小性の分析を可能にする。
• 特定のねじれに対して、立方体数が弧指数に等しいことを確立する。既知の最小グリッド図を出発点として用いる。
• コンピュータによる検証を用いて、特に r = -3 および r = 3 の (5,2)-トーラスねじれに対して、異なる最小グリッド図の数を数える。
• 最小グリッド図がすべての巡回置換において避けられない Type 1 構成を含むならば、その Legendrian 立方体数は弧指数を上回ることを証明する。

実験結果

リサーチクエスチョン

• RQ1 立方体数は、7交点以下のすべてのねじれを有するねじれを検出できるか、特に 7 交点以下のねじれを有するねじれに対してねじれを検出できるか？
• RQ2 回転数が異なる (p,2)-トーラスねじれの Legendrian 同相型に対して、Legendrian 立方体数はそれらを区別できるか？
• RQ3 同じ位相的型と弧指数を有するが、異なる Legendrian 立方体数を有する Legendrian ねじれは存在するか？
• RQ4 標準的グリッド図は、任意の最小図から交換および巡回置換移動によって到達可能か？
• RQ5 グリッド図に Type 1 構成が存在するかどうかと、対応する立方体図の最小性との間に、体系的な関係があるか？

主な発見

• Rolfsen の表における最初の十二個のねじれのうち、八つのねじれに対して立方体数はねじれを検出しており、残りの四つに対しても反例は見つかっていない。
• (5,2)-トーラスねじれに対して、Legendrian 立方体数は左巻きの Legendrian 型（r = -3 および r = 3）を区別しており、cℓ(Kmin) > α(T5,2) かつ cℓ(Kmax) = α(T5,2) が成り立つ。
• コンピュータプログラムにより、r = -3 の (5,2)-トーラスねじれに対して、最小グリッド図が 49 種類に限られ、すべて巡回置換によって到達可能であり、すべてが少なくとも一つの Type 1 構成を保持していることが確認された。
• Conjecture 5.2 を仮定すると、(p,2)-トーラスねじれに対して、cℓ(Kmax) < cℓ(Kmin) であるという予想は証明された。
• (7,2)-トーラスねじれに対して、立方体数は tb=0 および r=±5 の Legendrian 型を区別しており、両者とも同じ弧指数を有するにもかかわらず、立方体数が異なる。
• 本研究により、立方体数が常に Legendrian 型を検出できるとは限らないことが示された。同様の弧指数および位相的型を有するが、異なる Legendrian 不変量を持つ (p,2)-トーラスねじれでも、立方体数が等しい場合がある。