[論文レビュー] The Theta Divisor and Three-Manifold Invariants

Peter Ozsváth, Zoltán Szabó|ArXiv.org|Jun 26, 2000

Geometric and Algebraic Topology参考文献 15被引用数 5

ひとこと要約

この論文は、リーマン面のθ除数とヘーガード分割を用いて、正の1次ベッチ数を持つ向き付けられた3次元多様体のための新しい位相的不変量θを導入する。この不変量は、ヤコビアン内のラグランジュトーラスと退化計量の符号付き交差数として定義され、選択に依存せず、有限台持ち、セイバーグ・ウィッテン理論と関連している。主な結果として、スペクトルフロー公式におけるμ = ±2であることが示された。

ABSTRACT

In this paper we study an invariant for oriented three-manifolds with $b_1>0$, which is defined using Heegaard splittings and the theta divisor of a Riemann surface. The paper is divided into two parts, the first of which gives the definition of the invariant, and the second of which identifies it with more classical (torsion) invariants of three-manifolds. Its close relationship with Seiberg-Witten theory is also addressed.

研究の動機と目的

• 1次ベッチ数b₁(Y) > 0を満たす向き付けられた3次元多様体Yに対して、ヘーガード分割とリーマン面のθ除数を用いて新しい位相的不変量θを定義すること。
• θがヘーガード分割、計量、摂動の選択に依存せず、well-definedであること、かつ一意的であることの確立。
• θが古典的な torsion 不変量および3次元におけるセイバーグ・ウィッテン理論とどのように関係するかを明らかにすること。
• スペクトルフローとアティヤ・シンガーの指数定理を用いて、モデルケースで不変量を明示的に計算すること。
• スペクトルフロー公式SF(D(s)) = μ · #(H ∩ Θ)における普遍定数μの値を特定し、それが genus に依存せず±2であることを示すこと。

提案手法

• リーマン面Σの genus g に対して、アーベル・ジャコビ写像Sym^{g−1}(Σ) → Jの像としてθ除数を定義する。
• Σを境界とするハンドル体Uに対し、UのホモロジーにS¹を値とする写像を介してヤコビアンJ内にラグランジュトーラスL(U)を関連付ける。
• t=0でU₀-許容的、t=1でU₁-許容的となるΣ上の1パラメータ族の計量h_tを構成し、写像Θ: [0,1] × Sym^{g−1}(Σ) → Jを誘導する。
• L₀とL₁を小刻みに変形して横断的になるようにし、Θ(h_s)(D) ∈ L₀かつΘ(h_t)(D) ∈ L₁を満たす点(s,t,D)の符号付き数としてθ(𝔰)を定義する。
• ヤコビアンの被覆空間を用いて連結性の曖昧さを解消し、preimageのリンク数を用いて符号付き数を定義する。
• 2パラメータ族の計量と接続を、S¹×S²のg重接続体上で構成し、アティヤ・シンガーの指数定理を適用することで、スペクトルフロー公式におけるμを計算する。

実験結果

リサーチクエスチョン

• RQ1 b₁(Y) > 0を満たす3次元多様体に対して、θ除数とヘーガード分割を用いて新しい不変量を定義できるか？
• RQ2 この不変量θは、ヘーガード分割、計量、摂動の選択に依存せず、well-definedかつ一意的か？
• RQ3 不変量θは、古典的な torsion 不変量およびセイバーグ・ウィッテン理論とどのように関係するか？
• RQ4 スペクトルフロー公式SF(D(s)) = μ · #(H ∩ Θ)における普遍定数μの値は何か？
• RQ5 不変量θは、θ(𝔰) = θ(𝔰̄)およびθ_Y(𝔰) = (−1)^{b₁+1}θ_{−Y}(𝔰)といった対称性を満たすか？

主な発見

• 不変量θ: Spin^c(Y) → ℤは、ヘーガード分割、計量、摂動の選択に依存せず、well-definedかつ一意的である。
• 不変量θは、θ(𝔰) = θ(𝔰̄)およびθ_Y(𝔰) = (−1)^{b₁+1}θ_{−Y}(𝔰)を満たし、複素共役および方向反転における対称性を反映している。
• 任意のb₁(Y) > 0を満たすYに対して、θ(𝔰) ≠ 0を満たすSpin^c構造は有限個であるため、不変量は有限台を持つ。
• スペクトルフロー公式SF(D(s)) = μ · #(H ∩ Θ)はμ = ±2で成立し、ヘーガード面のgenusに依存しない。
• S¹×S²のg重接続体と2パラメータ族の接続を用いたモデルケースの計算により、アティヤ・シンガーの指数定理を用いてμ = ±2が確認された。
• 不変量θは、アーベル・ジャコビ写像のpreimageのリンク数として、ヤコビアンの被覆空間に引き上げることで幾何学的に解釈できる。