[論文レビュー] Twisted Alexander polynomials and symplectic structures

Stefan Friedl, Stefano Vidussi|arXiv (Cornell University)|Apr 18, 2006

Geometric and Algebraic Topology被引用数 4

ひとこと要約

本稿は、$S^1 \times N$ がシンプレクティック構造を持つのは、$N$ が円周に fibre する場合に限ることの強い証拠を提供する。$\pi_1(N)$ の有限群への全射準同型に関連するねじれアレクサンダー多項式を分析することで、シンプレクティックな $S^1 \times N$ は、これらの多項式がモニックであり、最大次数に達することを示しており、これはファイバード3次元多様体に特徴的な性質である。主要な結果として、プレツェル結び目 $(5,-3,5)$ の0-手術で得られる $N(P)$ に対して、$S^1 \times N(P)$ はシンプレクティック構造を持たないことが確認された。

ABSTRACT

Let N be a closed, oriented 3-manifold. A folklore conjecture states that S^1 x N admits a symplectic structure only if N admits a fibration over the circle. The purpose of this paper is to provide evidence to this conjecture studying suitable twisted Alexander polynomials of N, and showing that their behavior is the same as of those of fibered 3-manifolds. In particular, we will obtain new obstructions to the existence of symplectic structures and to the existence of symplectic forms representing certain cohomology classes of S^1 x N. As an application of these results we will show that S^1 x N(P) does not admit a symplectic structure, where N(P) is the 0-surgery along the pretzel knot P = (5,-3,5), answering a question of Peter Kronheimer.

研究の動機と目的

• 本稿は、$S^1 \times N$ がシンプレクティックであるのは、$N$ が $S^1$ に fibre する場合に限ることの証拠を提供することを目的とする。
• ねじれアレクサンダー多項式を用いて、$S^1 \times N$ にシンプレクティック構造が存在しない障害を同定することを目的とする。
• Kronheimer が通常のアレクサンダー多項式に基づいて得た障害を、ねじれ多項式によるより強い不変量へと拡張することを目的とする。
• Peter Kronheimer が提起した、プレツェル結び目 $P = (5,-3,5)$ に対して $S^1 \times N(P)$ がシンプレクティックであるか否かという問題を解決することを目的とする。

提案手法

• $G$ を有限群として、$\pi_1(N)$ から $G$ への全射 $\alpha$ に関連するねじれアレクサンダー多項式 $\Delta_{N,\phi}^\alpha$ を用いる。
• Seiberg-Witten 不変量とアレクサンダー多項式の間の Meng-Taubes 関係を適用し、Taubes がシンプレクティック4次元多様体に課す制約を多項式的条件に翻訳する。
• シンプレクティックな $S^1 \times N$ に対して、ねじれ多項式 $\Delta_{N,\phi}^\alpha$ がモニックであり、$|G|\|\phi\|_T + 2\,\text{div}\,\phi_G$ の次数に達することを確立する。これはファイバードの場合と一致する。
• $\mathbb{Z}[G]$-係数を用いた Mayer-Vietoris 列を用いて、表面と多様体のホモロジーを関連づけ、$H_1^\alpha$ 群の同型を証明する。
• 普遍係数定理と $p$-進還元を用いて、次数の等しさの下で $H_1^\alpha(S;\mathbb{Z}[G]) \cong H_1^\alpha(M;\mathbb{Z}[G])$ を示す。
• 包含写像 $i_+: H_1^\alpha(S;\mathbb{Z}[G]) \to H_1^\alpha(M;\mathbb{Z}[G])$ が同型であることを証明し、これは $\pi_1(S) \to \pi_1(M)$ の全射性を示唆する（予想的条件下で）。

実験結果

リサーチクエスチョン

• RQ1 $S^1 \times N$ がシンプレクティック構造を持つのは、$N$ が $S^1$ に fibre する場合に限るか？
• RQ2 ねじれアレクサンダー多項式は、通常のアレクサンダー多項式を超えてシンプレクティック障害を検出できるか？
• RQ3 $P = (5,-3,5)$ であるプレツェル結び目に対して、$S^1 \times N(P)$ はシンプレクティックか？（Kronheimer の障害は適用されない。）
• RQ4 シンプレクティックな $S^1 \times N$ のねじれアレクサンダー多項式は、ファイバードの場合と同一の次数およびモニック性条件を満たすか？
• RQ5 すべての有限商について $H_1^\alpha$ 群の同型が成り立つならば、$N$ はファイバリングするか？

主な発見

• シンプレクティックな $S^1 \times N$ に対して、ねじれアレクサンダー多項式 $\Delta_{N,\phi}^\alpha$ はモニックであり、$|G|\|\phi\|_T + 2\,\text{div}\,\phi_G$ の次数に達する。これはファイバードの場合と一致する。
• プレツェル結び目 $P = (5,-3,5)$ に対して、$S^1 \times N(P)$ はシンプレクティック構造を持たない。これは Kronheimer の質問を解決する。
• 次数の上限 $\deg \Delta_{N,\phi}^\alpha \leq |G|\|\phi\|_T + 2\,\text{div}\,\phi_G$ は、通常のアレクサンダー多項式に対する McMullen の不等式を一般化する。
• シンプレクティック仮定の下で、$H_1^\alpha(S;\mathbb{Z}[G]) \cong H_1^\alpha(M;\mathbb{Z}[G])$ が成り立ち、$\det(i_+) = 1$ を示唆する。
• もしすべての有限群 $G$ に対して $H_1^\alpha(S;\mathbb{Z}[G]) \to H_1^\alpha(M;\mathbb{Z}[G])$ が同型であるならば、$i_+: \pi_1(S) \to \pi_1(M)$ が全射であるという予想が、主な予想を示唆する。
• 12交差以下のすべての結び目について、予想1.1が成り立つ：$S^1 \times N(K)$ がシンプレクティックであるのは、$K$ がファイバードである場合に限る。