[論文レビュー] Hyperbolic knots are not generic

Yury Belousov, A. V. Malyutin|arXiv (Cornell University)|Aug 16, 2019

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

ひとこと要約

この論文は、交叉数が増加するにつれて、双曲的絡み目が素因数分解可能な絡み目の集合において一般化するという長年の予想を反証する。非自明な絡み目の図式における「解けない交叉」の概念を導入し、すべての非自明な絡み目図式が少なくとも一つの解けない交叉を含むことを証明することで、特に非自明な絡み目から導かれる送り絡み目が、n→∞の極限においても0に近づかない割合で残存することを示している。

ABSTRACT

We show that the proportion of hyperbolic knots among all of the prime knots of $n$ or fewer crossings does not converge to $1$ as $n$ approaches infinity. Moreover, we show that if $K$ is a nontrivial knot then the proportion of satellites of $K$ among all of the prime knots of $n$ or fewer crossings does not converge to $0$ as $n$ approaches infinity.

研究の動機と目的

• 素因数分解可能な絡み目の集合において、双曲的絡み目が交叉数の増加に伴い支配的になると広く信じられていた予想を反証すること。
• 任意の非自明な絡み目Kに対して、その素因数分解可能な送り絡み目の割合が、高次の交叉数の極限においても0に近づかないことを確立すること。
• すべての交叉が「解ける」状態にできないという構造的恒常性を保証する、トポロジー的障害「解けない交叉」を提供すること。
• 双曲的絡み目の割合が1に収束しないことを証明することで、絡み目理論における一般性に関する既存の結果を強化すること。
• 非自明な絡み目のすべてが弱性PTを満たすことを示す「解けない交叉補題」を用いて、tangleに基づく構成法をすべての素因数分解可能な絡み目に拡張すること。

提案手法

• 絡み目図式における「解けない交叉」の概念を導入：ある交叉が解けないとは、上／下のセグメントの投影を含む3次元球体が、そのtangleを自明なものにできないことを意味する。
• 絡み目の群のWirtinger提示を用いて、すべての交叉が解けると仮定すると、基本群がℤになることが示され、これは絡み目が自明であることを意味するが、これは非自明性に矛盾する。
• 補題1の証明：代数的トポロジーおよびリンク数の議論を用いて、すべての非自明な絡み目図式が少なくとも一つの解けない交叉を含むことを証明する。
• 系1の確立：すべての素因数分解可能な絡み目図式は弱性PTを満たす。つまり、局所的に自明なtangleの分子または分母閉包として分解可能である。
• これらの結果を[Mal18]および[Mal19]における送り絡み目の構成に適用し、解けない交叉の存在が送り絡み目の構成が素因数分解可能な送り絡み目を生むことを保証することを示す。
• 素因数分解可能な絡み目の数の増加率推定（λ = limsup √[n]Pₙ）を用いて、固定された非自明な絡み目Kの送り絡み目のlimsupにおける下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 n個以下の交叉を持つすべての素因数分解可能な絡み目の中で、双曲的絡み目の割合はn→∞のとき1に収束するか？
• RQ2 任意の非自明な絡み目Kに対して、n個以下の交叉を持つすべての素因数分解可能な絡み目の中で、Kの送り絡み目の割合はn→∞のとき0に近づくか？
• RQ3 非自明な絡み目図式における解けない交叉の存在は、自明なtangle分解に対する構造的障害を確立できるか？
• RQ4 固定された非自明な絡み目Kの送り絡み目のlimsupにおける下界は、n→∞のときどのように確立できるか？
• RQ5 弱性PTおよび解けない交叉条件は、素因数分解可能な絡み目図式の一般構造をどの程度制限するか？

主な発見

• n個以下の交叉を持つすべての素因数分解可能な絡み目の中で、双曲的絡み目の割合はn→∞のとき1に収束しない。これは広く知られた予想を反証するものである。
• 任意の非自明な絡み目Kに対して、n個以下の交叉を持つすべての素因数分解可能な絡み目の中で、Kの素因数分解可能な送り絡み目のlimsup割合は、10⁻²⁶ᶜʳ⁽ᴷ⁾以上で下から抑えられる。ここでcr(K)はKの交叉数を表す。
• Kが素因数分解可能であれば、その送り絡み目のlimsup割合は10⁻⁷ᶜʳ⁽ᴷ⁾以上で下から抑えられる。これは、送り絡み目の生成における構造的恒常性がより強いことを反映している。
• 定理1における下界により、liminf(Hₙ/Pₙ) < 1 − 1/(2×10¹⁷)が保証され、双曲的絡み目が漸近的分布を支配しないことを証明する。
• すべての非自明な絡み目図式に少なくとも一つの解けない交叉が存在することは、トポロジー的不変量であり、すべての交叉が「解ける」状態にできないことを防ぎ、自明なtangle分解を妨げる。
• 系1により、すべての素因数分解可能な絡み目が弱性PTを満たすことが確認され、過去の送り絡み目の構成における重要な仮定が正当化され、絡み目理論における一般性に関する議論の基盤が強化される。