[論文レビュー] Singular branched covers of four-manifolds

Patricia Cahn, Alexandra Kjuchukova|arXiv (Cornell University)|Oct 31, 2017

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

ひとこと要約

本稿は、4次元多様体の不規則な二面体分岐被覆を調査し、結び目のコーン型特異点を持つ特異な分岐集合に注目する。被覆がホモトピー的に $\mathbb{CP}^2$ に同値であるとき、3重不規則二面体被覆 $Y \to S^4$ の唯一の特異点として現れるのはスライス結び目に限られることを示し、$\mathbb{CP}^2$ に微分同相である無限族の被覆を構成する。これにより、不変量 $\Xi_3$ を通じてスライス・リボン予想に対する新たな道具と障害が得られる。本研究では、三つ割り理論と特異点からのシグニATURE寄与を計算する組み合わせ的アルゴリズムを組み合わせる。

ABSTRACT

Consider a dihedral cover $f: Y o X$ with $X$ and $Y$ four-manifolds and $f$ branched along an oriented surface embedded in $X$ with isolated cone singularities. We prove that only a slice knot can arise as the unique singularity on an irregular dihedral cover $f: Y o S^4$ if $Y$ is homotopy equivalent to $\mathbb{CP}^2$ and construct an explicit infinite family of such covers with $Y$ diffeomorphic to $\mathbb{CP}^2$. An obstruction to a knot being homotopically ribbon arises in this setting, and we describe a class of potential counter-examples to the Slice-Ribbon Conjecture. Our tools include lifting a trisection of a singularly embedded surface in a four-manifold $X$ to obtain a trisection of the corresponding irregular dihedral branched cover of $X$, when such a cover exists. We also develop a combinatorial procedure to compute, using a formula by the second author, the contribution to the signature of the covering manifold which results from the presence of a singularity on the branching set.

研究の動機と目的

• 他の4次元多様体の不規則な二面体分岐被覆として現れる可能性のある4次元多様体を理解すること、特に分岐集合が孤立特異点を持つ場合に注目する。
• 不規則な二面体被覆における分岐集合上の特異点からのシグニATURE寄与を計算するための組み合わせ的手法を開発すること。
• 分岐集合が特異点を持つことを利用して、$Y \to S^4$ となる3重不規則二面体分岐被覆の明示的例を構成すること、ここで $Y$ は $\mathbb{CP}^2$ に微分同相である。
• 特異点として現れる結び目の不変量 $\Xi_3$ を分析することにより、スライス・リボン予想に対する新たな障害を提供すること。
• 特異に埋め込まれた曲面の4次元多様体への被覆に三つ割り理論を拡張すること。

提案手法

• 4次元多様体 $X$ に特異的に埋め込まれた曲面の三つ割りを、その対応する不規則な二面体分岐被覆 $Y \to X$ に持ち上げる（このような被覆が存在する場合に限る）。
• Kjuchukova (2016) が提示した公式を用いて、分岐集合上の特異点が被覆多様体のシグニATURE欠損に与える寄与を計算する。
• 二面体群 $D_p$ のモノドロミー作用を活用し、Seifert 曲面とアンカーパスに基づく組み合わせ的アルゴリズムを用いて、結び目図から不変量 $\Xi_p(\alpha)$ を計算する。
• 分岐集合 $B$ がコーン特異点を持つとき、$X - B$ 上の分岐していない被覆の完成として被覆多様体 $Y$ を構成する。
• 交差形式を計算し、三つ割り不変量を比較することで、構成された被覆が $\mathbb{CP}^2$ にホメオモーフィックであることを検証する。
• 特異点のリンクを結び目 $\alpha$ の二面体被覆として扱い、$p$-適切および有理的 $p$-適切な結び目を定義する。

実験結果

リサーチクエスチョン

• RQ1 ホモトピー的に $\mathbb{CP}^2$ に同値である $Y$ を持つ、$Y \to S^4$ となる3重不規則二面体分岐被覆において、唯一の特異点として現れる結び目はどれか？
• RQ2 $\Xi_3(\alpha)$ は非リボンスライス結び目を検出可能か？また、ホモトピー的にリボンな結び目では、どのような条件下で $\Xi_3(\alpha)$ が消えるか？
• RQ3 分岐集合が孤立したコーン特異点を持つ場合、4次元多様体の分岐被覆のシグニATUREはどのように計算できるか？
• RQ4 特に特異な分岐集合が存在する場合、基底4次元多様体の三つ割りと分岐被覆の三つ割りとの関係は何か？
• RQ5 $\Xi_p(\alpha)$ を計算するための組み合わせ的アルゴリズムは、有理ホモロジー球体被覆へ一般化可能か？

主な発見

• ホモトピー的に $\mathbb{CP}^2$ に同値である $Y$ を持つ3重不規則二面体分岐被覆 $Y \to S^4$ において、唯一の特異点として現れるのはスライス結び目に限られる。
• $Y$ が $\mathbb{CP}^2$ に微分同相である3重不規則二面体分岐被覆 $Y \to S^4$ の明示的無限族が構成された。
• $|\Xi_3(\alpha)| \neq 1$ である3-admissibleな結び目 $\alpha$ はホモトピー的にリボンにはなりえない。これはホモトピー的リボン性に対する新たな障害を提供する。
• $\Xi_3(\alpha)$ がすべての適切なスライス結び目で $|\Xi_3(\alpha)| = 1$ であるならば、これはスライス性の障害として機能する可能性がある。
• アンカーパスとモノドロミーを用いた組み合わせ的アルゴリズムが開発され、結び目図から $\Xi_p(\alpha)$ を計算可能となり、特異な分岐被覆のシグニATURE計算が可能になった。
• 基底4次元多様体の三つ割りは、分岐被覆の三つ割りに持ち上げられ、被覆が $\mathbb{CP}^2$ に微分同相であることを独立に検証する手がかりを与える。