[論文レビュー] Higher-Order Polynomial Invariants of 3-Manifolds Giving Lower Bounds for the Thurston Norm

Shelly Harvey|ArXiv.org|Jul 1, 2002

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

ひとこと要約

本稿では、3次元多様体の基本群の有理導来系列から導かれる高次多項式不変量 δₙ(ψ) を導入し、コhomology類のThurstonノルムに対する計算可能な下界を提供する。これらの不変量は古典的なAlexander多項式を一般化し、特にSeiberg-Witten不変量が失敗する場合において、ファイブレーション構造、Seifertファイブレーション構造、およびX×S¹ 上のシンプレクティック構造に対するより強い障害を提供する。

ABSTRACT

We define an infinite sequence of new invariants, delta_n, of a group G that measure the size of the successive quotients of the derived series of G. In the case that G is the fundamental group of a 3-manifold, we obtain new 3-manifold invariants. These invariants are closely related to the topology of the 3-manifold. They give lower bounds for the Thurston norm which provide better estimates than the bound established by McMullen using the Alexander norm. We also show that the delta_n give obstructions to a 3-manifold fibering over S^1 and to a 3-manifold being Seifert fibered. Moreover, we show that the delta_n give computable algebraic obstructions to a 4-manifold of the form X x S^1 admitting a symplectic structure even when the obstructions given by the Seiberg-Witten invariants fail. There are also applications to the minimal ropelength and genera of knots and links in S^3.

研究の動機と目的

• π₁(X) の有理導来系列から得られる非可換環上の高次Alexanderモジュールを用いて、新たな代数的不変量 δₙ(ψ) を定義すること。
• これらの不変量がThurstonノルムの下界を提供することを確立し、McMullenのAlexanderノルム不等式を一般化すること。
• δₙ(ψ) を用いて、3次元多様体がS¹に沿ってファイブレーション可能であるか、またはSeifertファイブレーション構造を持つかどうかの計算可能な障害を提供すること。
• 古典的不変量（例：Seiberg-Witten不変量）が不成立である場合に、X×S¹ 形式の4次元多様体におけるシンプレクティック構造の障害を検出すること。
• δₙ(ψ) が従来の計算可能な不変量よりも顕著に鋭いThurstonノルムの推定値を提供できることを示すこと。

提案手法

• δₙ(ψ) を、π₁(X) の有理導来系列の連続する商 Gᵣ⁽ⁿ⁺¹⁾/Gᵣ⁽ⁿ⁺²⁾ に関連する高次Alexander多項式の次数として定義する。
• コhomology類 ψ ∈ H¹(X;ℤ) を、H₂(X,∂X;ℤ) 内の双対な曲面 F に同定するためにPoincaré双対性を用いる。
• Thurstonノルムの定義を適用する：||ψ||_T = inf{χ_*(F) | F は ψ に双対}、ここで各成分について χ_*(F) = max{−χ(F), 0} である。
• すべての n ≥ 0 に対して δₙ(ψ) ≤ ||ψ||_T が成り立ち、β₁(X) = 1 かつ X が S¹×S² または S¹×D² に同相でない場合を除き、等号が成立することを示す。
• Cochran-Orr-Teichner および Kronheimer-Mrowka の結果を用いて、Meng-Taubes定理およびSeiberg-Witten定理を介して δₙ(ψ) を X×S¹ 上のシンプレクティック構造と関連付ける。
• n ≥ 1 に対して δₙ(ψ) > δ₀(ψ) となる明示的な例を構成し、古典的不変量が不確かである場合でも、X×S¹ 上のシンプレクティック構造に対する新たな障害を示す。

実験結果

リサーチクエスチョン

• RQ1 高次不変量 δₙ(ψ) は、古典的なAlexanderノルムよりも厳密に良いThurstonノルムの下界を提供できるか？
• RQ2 δ₀(ψ) が捉えきれない範囲において、δₙ(ψ) はS¹へのファイブレーションの障害を検出できるか？
• RQ3 Seiberg-Witten不変量が不成立である場合に、δₙ(ψ) はX×S¹ 上のシンプレクティック構造の非存在を検出できるか？
• RQ4 δₙ(ψ) の増加度とX×S¹ 上のシンプレクティック構造の存在性との間に関係があるか？
• RQ5 δₙ(ψ) はnに関して非減少であり、X×S¹ がシンプレクティックであるとき、すべてのn ≥ 1 に対して ||ψ||_T = δₙ(ψ) が成り立つか？

主な発見

• すべての ψ ∈ H¹(X;ℤ) および n ≥ 0 に対して δₙ(ψ) ≤ ||ψ||_T が成り立ち、ψ がファイブレーション X → S¹ によって代表されるときには等号が成立する。
• n = 0 のとき、δ₀(ψ) はAlexanderノルム ||ψ||_A に等しくなるため、McMullenの不等式に対する新たな代数的証明が得られる。
• 不変量 δₙ(ψ) は、古典的不変量が失敗する場合でも、非ファイブレーション構造の3次元多様体や非Seifertファイブレーション多様体を検出できる。
• β₁(X) ≥ 2 のとき、ある n ≥ 1 に対して δₙ(ψ) > δ₀(ψ) ならば、X×S¹ はシンプレクティック構造をもたない。
• β₁(X) = 1 のとき、ある n ≥ 1 に対して δₙ(ψ) > δ₀(ψ) − 2 ならば、X×S¹ はシンプレクティック構造をもたない。
• 本稿では、Seiberg-Witten不変量では検出できないが、ある n ≥ 1 に対して δₙ(ψ) > δ₀(ψ) となる無限族の4次元多様体 X×S¹ を構成している。