[論文レビュー] Extending finite group actions on surfaces over $S^3$

Chao Wang, Shicheng Wang+2 more|arXiv (Cornell University)|Sep 6, 2012

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

ひとこと要約

本稿は、3次元球面 $S^3$ への非絡み付き埋め込みを介して拡張可能な、種数-$g$ の曲面に作用する有限、アーベル、巡回群作用の最大位数を調査する。幾何的位相とオーロイド理論を用いて、$Σ_g$ に作用可能な有限群作用の最大位数が $12(g-1)$ であることを証明し、これは $g = 2, 3, 4, 5, 6, 9, 11, 17, 25, 97, 121, 241, 601$ の特定の $g$ のみで達成される。さらに、$AE_g = 2g+2$、$CE_g = 2g+2$（$g$ が偶数のとき）、$2g-2$（$g$ が奇数のとき）が、すべて非絡み付き埋め込みによって実現されることを示した。

ABSTRACT

Let $OE_g$ (resp. $CE_g$ and $AE_g$) and resp. $OE^o_g$ be the maximum order of finite (resp. cyclic and abelian) groups $G$ acting on the closed orientable surfaces $Σ_g$ which extend over $(S^3, Σ_g)$ among all embeddings $Σ_g o S^3$ and resp. unknotted embeddings $Σ_g o S^3$. It is known that $OE^o_g\le 12(g-1)$, and we show that $12(g-1)$ is reached for an unknotted embedding $Σ_g o S^3$ if and only if $g = 2$, 3, 4, 5, 6, 9, 11, 17, 25, 97, 121, 241, 601. Moreover $AE_g$ is $2g+2$; and $CE_g$ is $2g+2$ for even $g$, and $2g-2$ for odd $g$. Efforts are made to see intuitively how these maximal symmetries are embedded into the symmetries of the 3-sphere.

研究の動機と目的

• 種数-$g$ の曲面に作用する有限群作用の最大位数を、非絡み付き埋め込みを介して $S^3$ に拡張可能である場合に特定すること。
• $Σ_g$ に拡張可能なアーベルおよび巡回群作用の最大位数を特徴づけること。
• 最大の有限群作用が位数 $12(g-1)$ であるようなすべての種数 $g$ を特定すること。
• 手術と被覆空間を用いた直感的な幾何的構成により、$(S^3, \Sigma_g)$ の大きな対称性を提供すること。
• 拡張可能な作用と 3 次元球面の対称性との関係を、特にオーロイド理論とハンドル体理論を通じて明確にすること。

提案手法

• ハンドル体オーロイド理論を用いて $V_g$ の対称性を分析し、拡張可能な群作用の上限を導出する。
• リーマン＝フリューオイツの公式と位相的不変量を用いて、可能な群の位数を制約する。
• ボロメアンの輪や三葉結び目などの $S^3$ 内のリンクへの $-1$-手術を用いて、$Σ_g$ 上の明示的な群作用を構成する。
• 被覆写像を用いて、$S^3/Q$ や $S^3/I^*$ などの球面的 3 次元多様体からの作用を $S^3$ に持ち上げ、拡張可能な作用を実現する。
• 基本群の準同型が全射であることを利用して、曲面の逆像が連結で種数 $g$ をもつことを保証する。
• 有限群 $SO(4)$ の部分群、たとえば $\mathbf{O \times O}$ および $\mathbf{O \times J}$ の $S^3$ 上の作用を分析し、最大対称性を持つ曲面を構成する。

実験結果

リサーチクエスチョン

• RQ1 どの種数 $g$ に対して、非絡み付き埋め込みを介して拡張可能な有限群作用の最大位数 $12(g-1)$ が達成されるか？
• RQ2 拡張可能なアーベル群作用の最大位数は何か？ そして、どの $g$ に対して達成されるか？
• RQ3 拡張可能な巡回群作用の最大位数は何か？ そして、$g$ の偶奇に依存するか？
• RQ4 すべての最大の拡張可能な群作用が非絡み付き埋め込みによって実現可能か？ また、すべての $g$ に対して $OE_g = OE^o_g$ が成り立つか？
• RQ5 $S^3$ の対称性は、手術や被覆空間などの幾何的構成を通じて、埋め込まれた曲面 $\Sigma_g$ の対称性をどのように誘導・拡張するか？

主な発見

• 非絡み付き埋め込みを介して拡張可能な有限群作用の最大位数は $12(g-1)$ であり、これは $g \in \{2, 3, 4, 5, 6, 9, 11, 17, 25, 97, 121, 241, 601\}$ のときのみ達成される。
• 非絡み付き埋め込みによって実現可能な拡張可能なアーベル群作用の最大位数は $2g+2$ であり、すべての $g$ に対して達成される。
• 巡回群作用の最大位数は、$g$ が偶数のとき $2g+2$、奇数のとき $2g-2$ であり、両方の値が非絡み付き埋め込みによって実現される。
• ボロメアンの輪への $-1$-手術による明示的構成により、$Σ_9$ 上に位数 96 の拡張可能な作用が得られ、$12(9-1)$ を達成する。
• $\mathbf{O \times O}$ の $1152 = 12(97-1)$ の位数の作用が $S^3$ 上にあり、$Σ_{97}$ 上に拡張可能な作用を誘導し、$g=97$ に対して境界が確認される。
• $\mathbf{O \times J}$ の $2880 = 12(241-1)$ の位数の作用が $S^3$ 上にあり、$Σ_{241}$ 上に拡張可能な作用を誘導し、$g=241$ に対して境界が確認される。