[論文レビュー] Smoothly embedding Seifert fibered spaces in $S^4$

Ahmad Issa, Duncan McCoy|arXiv (Cornell University)|Oct 10, 2018

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

ひとこと要約

本稿では、ドナルドソンの定理とネウマン＝ジーベンマント・不変量を用いて、$S^4$ 内のセイフェルト被覆空間の滑らかな埋め込みの鋭い障害を確立する。正規化された中心的重み $e$ が $e \geq k/2$ を満たす場合、滑らかな埋め込みが発生するのは特定の対称的配置の特異ファイバーに限られることを示し、その結果を用いて、変異に関しての滑らかな二重にスライスな奇数のプレッツェル結び目を完全に分類する。

ABSTRACT

Using an obstruction based on Donaldson's theorem, we derive strong restrictions on when a Seifert fibered space $Y = F(e; \frac{p_1}{q_1}, \ldots, \frac{p_k}{q_k})$ over an orientable base surface $F$ can smoothly embed in $S^4$. This allows us to classify precisely when $Y$ smoothly embeds provided $e > k/2$, where $e$ is the normalized central weight and $k$ is the number of singular fibers. Based on these results and an analysis of the Neumann-Siebenmann invariant $\overlineμ$, we make some conjectures concerning Seifert fibered spaces which embed in $S^4$. Finally, we also provide some applications to doubly slice Montesinos links, including a classification of the smoothly doubly slice odd pretzel knots up to mutation.

研究の動機と目的

• オrientableな基底曲面上のセイフェルト被覆空間が $S^4$ に滑らかに埋め込まれるための必要十分条件を特定すること。
• ドナルドソンの定理と第一ホモロジー群の構造を用いて、強い滑らかな埋め込みの障害を導出すること。
• $e > k/2$ の場合に、$S^4$ に滑らかに埋め込まれるセイフェルト被覆空間を分類し、$e = k/2$ の場合に部分的に分類すること。
• 分類結果を応用して、変異に関しての滑らかな二重にスライスな奇数のプレッツェル結び目を特定すること。
• ネウマン＝ジーベンマント不変量 $\overline{\mu}$ が、位相的および滑らかな埋め込みを妨げる役割を果たすかを調査すること。

提案手法

• ドナルドソンの定理を用いて、セイフェルト被覆空間の特異ファイバーに、分割可能性条件を導出する。
• ねじれホモロジーが $G \oplus G$ に分解され、特異ファイバーが $e$ 個の類に二通りの分割を持つ場合に、そのようなセイフェルト被覆空間を分割可能と定義する。
• 各分割のうち、一つの類が $1 - 1/\operatorname{lcm}(p_1,\dots,p_k)$ に合計され、他のすべての類が 1 に合計され、かつ二つの分割間で部分集合の和が等しくならない条件を適用する。
• 特徴的部分集合のノルム和が消えない場合に、ネウマン＝ジーベンマント不変量 $\overline{\mu}$ を用いて埋め込みを妨げる。
• モンテスィノスリンクおよびプレッツェル結び目の二重全被覆を分析し、それらの位相的性質と $S^4$ 内の埋め込み障害との関係を明らかにする。
• 分割可能性条件と $\overline{\mu}$ 不変量を組み合わせて、特定の準代数的モンテスィノスリンクの埋め込みを除外する。

実験結果

リサーチクエスチョン

• RQ1 正規化された中心的重み $e$ が $e > k/2$ を満たす場合、$Y = F(e; \frac{p_1}{q_1}, \dots, \frac{p_k}{q_k})$ が $S^4$ に滑らかに埋め込まれる条件は何か？
• RQ2 滑らかな埋め込みにおける正規化された中心的重み $e$ の鋭い上界は何か？ また、その上界はいつ達成されるか？
• RQ3 どの奇数のプレッツェル結び目が滑らかに二重にスライス的であり、変異はその分類にどのように影響するか？
• RQ4 ネウマン＝ジーベンマント不変量 $\overline{\mu}$ は、$S^4$ 内のセイフェルト被覆空間の滑らかまたは位相的な埋め込みを妨げることができるか？
• RQ5 準代数的モンテスィノスリンクの二重全被覆は、$S^4$ に滑らかに埋め込まれるか？

主な発見

• セイフェルト被覆空間 $Y = F(e; \frac{p_1}{q_1}, \dots, \frac{p_k}{q_k})$ が $S^4$ に滑らかに埋め込まれるならば、$e \leq \frac{k+1}{2}$ であり、等号成立は特異ファイバーの特定の対称的配置に限る。
• $e = \frac{k+1}{2}$ のとき、$Y$ が $S^4$ に滑らかに埋め込まれるための必要十分条件は、$Y$ が $F(\frac{k+1}{2}; \frac{a}{a-1}, a, \frac{a}{a-1}, a, \dots)$ の形をしていることである（$a \geq 2$ なる整数）。
• $k$ が偶数で $e = \frac{k}{2}$ のとき、滑らかな埋め込みが成立するためには、$Y$ は $\{\frac{p}{q}, \frac{p}{p-q}\}$ および $\{\frac{r}{s}, \frac{r}{r-s}\}$ のようなペアを含み、$\frac{s}{r} + \frac{q}{p} = 1 - \frac{1}{pr}$ を満たす必要がある。
• 滑らかに二重にスライスな奇数のプレッツェル結び目の二重全被覆は、分割可能で $\overline{\mu} = 0$ を満たす必要があり、これにより変異に関して完全な分類が得られる。
• ネウマン＝ジーベンマント不変量 $\overline{\mu}$ が 0 になるのは、特徴的部分集合のノルム和が $e + \sum b_i$ に等しいときであり、プレッツェルの場合には $e = 0$ を強制するため、対称的ファイバー構造が生じる。
• 二重全被覆が $e \geq k$ または $e = k-1$ かつ $\frac{q_{k-1}}{p_{k-1}} + \frac{q_k}{p_k} < 1$ を要請する準代数的モンテスィノスリンクは、$S^4$ に局所的に平坦に位相的埋め込みができないため、このようなリンクは位相的に二重にスライス的ではない。