[論文レビュー] The vanishing of the contact invariant in the presence of torsion

Paolo Ghiggini, Ko Honda+1 more|ArXiv.org|Jun 12, 2007

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

ひとこと要約

この論文は、閉じた3次元多様体に正の $2\pi$- torsion を持つtight接触構造が備わっている場合、Heegaard Floer homologyにおけるOzsváth-Szabó接触不変量が消えることを証明する。sutured Floer homologyにおける相対接触不変量と接触(+1)- surgery を用いて、このような torsion は手術後の不変量が非ゼロであると、overtwisted性を引き起こし、結果として不変量が消えることを示し、重要な非埋め込み可能性基準を確立する。

ABSTRACT

We prove that the Ozsvath-Szabo contact invariant of a closed contact 3-manifold with positive Giroux torsion vanishes.

研究の動機と目的

• 閉じた3次元多様体において正の $2\pi$- torsion を持つ場合のOzsváth-Szabó接触不変量の消滅定理を確立すること。
• torsion がtight接触構造を区別する役割を果たし、symplectic fillability を妨げる仕組みをより深く理解すること。
• sutured Floer homologyにおける相対接触不変量と接触手術技法を用いて、消滅結果を証明すること。
• Ghiggini (2006) が提起した、$2\pi$- torsion が存在する場合の接触不変量の消滅に関する予想を確認すること。

提案手法

• 境界が凸であるコンパクトな接触3次元多様体に対して、sutured Floer homology $SFH(-N, -\Gamma)$ における相対接触不変量を用いる。
• 境界の傾きが $-1$ と $-2$ の基本的スライスに属する、無限大傾きを持つLegendrian曲線 $L$ に対して接触(+1)- surgery を適用する。
• 接触手術における接触不変量の自然性を用い、写像 $\Phi: SFH(-N, -\Gamma) \to SFH(-N', -\Gamma')$ が $\Phi(c(N,\Gamma,\xi)) = c(N',\Gamma',\xi')$ を満たすことを保証する。
• 基本的スライスを $(S^3, \xi_{\text{std}})$ に埋め込み、Legendrian曲線 $L$ が $tb = -1$ のununknot に写されるようにする。
• $S^3$ におけるこのようなununknot に対する接触(+1)- surgery は、$S^1 \times S^2$ 上にtight接触構造を導き、不変量が非ゼロであることを用いて、コバリアズム写像の単射性を示す。
• 2\pi$- torsion 領域での手術が、overtwisted構造を生成することを示し、これにより定理2により不変量が消えることが導かれる。

実験結果

リサーチクエスチョン

• RQ1 正の $2\pi$- torsion を持つ閉じた接触3次元多様体に対して、Ozsváth-Szabó接触不変量は消えるか？
• RQ2 sutured Floer homologyにおける相対接触不変量は、torsion 領域での接触手術によって生じるovertwisted性を検出できるか？
• RQ3 接触(+1)- surgery において接触不変量は自然か？ そして、この自然性は消滅定理の証明にどのように寄与するか？
• RQ4 標準接触構造を備えた $S^3$ に基本的スライスを埋め込むことで、手術後の像における不変量の非ゼロ性を導くことができるか？

主な発見

• 任意の正の $2\pi$- torsion を持つ閉じた接触3次元多様体 $(M,\xi)$ に対して、Ozsváth-Szabó接触不変量 $c(M,\xi) \in \widehat{HF}(-M)$ は消える。
• 境界の傾きが $-1$ と $-2$ の基本的スライスに属する、無限大傾きを持つLegendrian曲線に対する接触(+1)- surgery は、$N' = (S^1 \times D^2) \# (S^1 \times D^2)$ 上にovertwisted接触構造をもたらす。
• 手術によって誘導されるコバリアズム写像 $\Phi: SFH(-N, -\Gamma, \mathfrak{s}) \to SFH(-N', -\Gamma', \mathfrak{s}')$ は、相対Spin $c$-構造 $\mathfrak{s}$ に対応する $\mathbb{Z}$-和成分上で単射である。
• 接触不変量 $c(N, \Gamma, \zeta_1)$ は、その像がovertwisted構造の不変量に写されるため、$\Phi$ による像がゼロであるため消える。
• この結果により、正の $2\pi$- torsion を持つ接触多様体は強くsymplectically fillableでないことが確認され、Eliashberg の予想とGayの結果を支持する。
• 証明は、基本的スライスを $(S^3, \xi_{\text{std}})$ に埋め込むことに依存しており、その像となるununknot に対する手術により、tight構造で非ゼロ不変量を持つことが保証され、写像の単射性が得られる。