[論文レビュー] Embeddings of non-simply-connected 4-manifolds in 7-space. I. Classification modulo knots

Diarmuid Crowley, A. Skopenkov|arXiv (Cornell University)|Nov 15, 2016

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

ひとこと要約

この論文は、H₁ が torsion-free である閉じた、連結で向きつけ可能な 4 次元多様体の ℝ⁷ への滑らかな埋め込みを、ホモトピー的同値と S⁴ の埋め込みとの連結和に関して完全かつ容易に計算可能な分類を提供する。分類には、Boéchat-Haefliger 不変量 κ(f) ∈ H₂、Seifert の双線形形式 λ(f): H₃ × H₃ → ℤ、および H₁ の商への値をとる β 不変量が用いられ、特に N = S¹ × S³ の場合に ℤ ⊕ ℤ における同値関係による商として明示的な幾何的対応が与えられる。

ABSTRACT

We work in the smooth category. Let $N$ be a closed connected orientable 4-manifold with torsion free $H_1$, where $H_q:=H_q(N;Z)$. Our main result is a complete readily calculable classification of embeddings $N o R^7$, up to the equivalence relation generated by isotopy and embedded connected sum with embeddings $S^4 o R^7$. Such a classification was already known only for $H_1=0$ by the work of Boéchat, Haefliger and Hudson from 1970. Our classification involves the Boéchat-Haefliger invariant $\varkappa(f)\in H_2$, Seifert bilinear form $λ(f):H_3 imes H_3 o Z$ and $β$-invariant $β(f)$ which assumes values in a quotient of $H_1$ defined by values of $\varkappa(f)$ and $λ(f)$. In particular, for $N=S^1 imes S^3$ we give a geometrically defined 1-1 correspondence between the set of equivalence classes of embeddings and an explicit quotient of the set $Z\oplus Z$. Our proof is based on development of Kreck modified surgery approach, involving some simpler reformulations, and also uses parametric connected sum.

研究の動機と目的

• 単連結でない場合（H₁ = 0 でない場合）の 4 次元多様体の ℝ⁷ への埋め込みの分類を単連結の場合を超えて拡張すること。
• H₁ が torsion-free である非単連結 4 次元多様体に対して完全かつ容易に計算可能な分類を提供すること。
• Boéchat-Haefliger 不変量を一般化し、非単連結な設定におけるホモトピー的同値類を捉えるために新しい β 不変量を導入すること。
• S¹ × S³ のような特定の多様体に対して、埋め込みの同値類と代数的不変量との間の幾何的対応を確立すること。
• パラメトリック連結和を用いて非自明な基本群を取り扱えるように、修正された surgery フレームワークを構築・適用すること。

提案手法

• 著者たちは、障害理論的計算を簡素化するために再定式化された Kreck の修正された surgery 理論を用いる。
• ホモトピー的同値に対する一次障害として、Boéchat-Haefliger 不変量 κ(f) ∈ H₂(N; ℤ) を定義する。
• Seifert の双線形形式 λ(f): H₃(N; ℤ) × H₃(N; ℤ) → ℤ を、リンクの情報を捉える二次不変量として用いる。
• κ と λ の情報を統合して、ホモトピー的同値類を区別するための、H₁(N; ℤ)/⟨κ(f), λ(f)⟩ 値をとる新しい β 不変量を構成する。
• S⁴ → ℝ⁷ 埋め込みとの連結和における不変量の加法性を保証するために、パラメトリック連結和操作を用いる。
• スピンおよびストリング束の同型、共通の Seifert 級、およびホモロジー代数による β 不変量の計算に関する補題に依拠して証明を展開する。

実験結果

リサーチクエスチョン

• RQ1 H₁ が torsion-free である非単連結 4 次元多様体の ℝ⁷ への埋め込みを、ホモトピー的同値と S⁴ 埋め込みとの連結和に関してどのように分類できるか。
• RQ2 H₁ が torsion-free の場合に、このような埋め込みを分類するために必要な十分な不変量は何か。
• RQ3 Boéchat-Haefliger 不変量と Seifert 形式を、追加の不変量を用いて非単連結な場合に拡張できるか。
• RQ4 S¹ × S³ のような多様体に対して、ホモトピー的同値類と代数的データとの間に幾何的かつ明示的な対応が存在するか。
• RQ5 パラメトリック連結和と修正された surgery 技法を、基本群が非自明な場合の埋め込み分類にどのように適合できるか。

主な発見

• H₁ が torsion-free である閉じた、向きつけ可能な 4 次元多様体 N に対して、N → ℝ⁷ の埋め込みは完全かつ明示的に計算可能に分類可能である。
• 埋め込みのホモトピー的同値類は、3 つの不変量によって決定される：κ(f) ∈ H₂、λ(f): H₃ × H₃ → ℤ、および β(f) ∈ H₁ / ⟨κ(f), λ(f)⟩。
• N = S¹ × S³ の場合、埋め込みのホモトピー的同値類と ℤ ⊕ ℤ の同値関係による商との間に 1 対 1 の幾何的対応が存在する。
• β 不変量は適切に定義されており、κ と λ の値から構成される H₁ の商への値をとる。
• 証明により、不変量がパラメトリック連結和に関して加法的であることが示され、同値関係と整合的であることが保証される。
• 2m < 3n + 4 の場合の 4 次元多様体の Knotting Problem における長年の空白を解消し、単連結の場合の先行結果を拡張する。