[論文レビュー] Odd Order Group Actions on Alternating Knots

Keegan Boyle|arXiv (Cornell University)|Jun 10, 2019

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

ひとこと要約

本稿は、S³ 内の素数位の交代的で素数の交わりを持つ絡み目に対する奇素数位の群作用を、削減された交代的図形間のフライプ変換を分析することで調査する。任意のこのような作用が単一のフライプにホモトープであることを証明し、これにより、削減された交代的周期的または自由周期的図形の存在が導かれ、奇周期的交代的絡み目の商が再び交代的であることが確認される—フライプ分類と位相的ホモトピーを用いて、特殊な場合にその予想を解決する。

ABSTRACT

Let K be a an alternating prime knot in the 3-sphere. We investigate the category of flypes between reduced alternating diagrams for K. As a consequence, we show that any odd prime order action on K is isotopic through maps of pairs to a single flype. This implies that for any odd prime order action on K there is either a reduced alternating periodic diagram or a reduced alternating free periodic diagram. Finally, we deduce that the quotient of an odd periodic alternating knot is also alternating.

研究の動機と目的

• 削減された交代的図形に対するフライプ変換を用いて、S³ 内の素数の交代的で素数の交わりを持つ絡み目に対する奇素数位の群作用を分類すること。
• 奇周期的交代的絡み目の商が交代的であるという予想 1.1 を解決すること。
• このような絡み目に対して、削減された交代的周期的または自由周期的図形が存在することを確立すること。
• フライプを用いた図形的特徴付けを通じて、周期的および自由周期的作用を定式化すること。

提案手法

• 研究は、絡み目のタイプを保ちつつ図形構造を変更する図形的移動であるフライプのカテゴリーを用いる。
• 任意の (S³, K) のホメオモルフィズムがフライプの合成にホモトープであるというメンスコ・シスルウエイトの定理を適用する。
• 群作用のフライプ分解を構成し、位相的ホモトピーを用いて作用を単一のフライプに簡約する。
• 巡回群作用におけるフライプの軌道を分析し、奇素数位の場合は、非自明なフライプ列がループを形成しなければならず、結果として単一の生成フライプに帰着されることを示す。
• 図形平面内の奇数位の回転が自明であるという事実を活用し、フライプが非自明である場合を除き、自由周期的行動は排除される。
• 図形の切断とドメインの置換を用いて、作用が回転対称性または自由周期的構造に対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の素数の交代的で素数の交わりを持つ絡み目に対する奇素数位の群作用は、ホモトピーを除いて単一のフライプとして実現可能か？
• RQ2 すべての奇周期的交代的絡み目は、削減された交代的周期的図形を有するか？
• RQ3 すべての奇自由周期的交代的双曲的絡み目は、削減された交代的自由周期的図形を有するか？
• RQ4 奇周期的交代的絡み目の商は、必然的に交代的か？

主な発見

• 任意の素数の交代的で素数の交わりを持つ絡み目に対する奇素数位の作用は、ペアの写像のホモトピーを経て単一のフライプにホモトープである。
• 奇素数 p に対して、任意の p-周期的素数の交代的で素数の交わりを持つ絡み目は、削減された交代的周期的図形を有する。
• すべての奇自由周期的交代的双曲的絡み目は、削減された交代的自由周期的図形を有する。
• 奇周期的交代的素数の交わりを持つ絡み目の商は、再び交代的である。これは、予想 1.1 の奇数位の場合を確認する。
• 削減された交代的図形における交差数は、p-周期的絡み目では p の倍数でなければならない。
• 奇素数位の非自明なフライプ列は閉ループを形成しなければならず、これにより作用が単一のフライプによって生成されることを強制する。