Open manifolds, Ozsváth-Szabó invariants and exotic \(\mathbb R^4\)'s
type: Item
instance of: scholarly article
title: Open manifolds, Ozsváth-Szabó invariants and exotic \(\mathbb R^4\)'s
zbMATH Open document ID: 1206.57037
author: Siddhartha Gadgil
published in: Expositiones Mathematicae
publication date: 2010-07-20T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0408379
review text: The author defines a differential topology invariant for open 4-manifolds, end Floer homology \(HE(X,{\mathfrak s})\), and shows that the invariant is non-trivial. The homology \(HE(X,{\mathfrak s})\) is an abelian group valued invariant and \(HE({\mathbb R}^4,{\mathfrak s})=\{0\}\). Suppose that an open 4-manifold is given by an exhaustion of compact manifods \[ K_1\subset K_2\subset \cdots\subset K_i\subset \cdots=X. \] The cobordidms between \(K_i\) and \(K_j\) \((i<j)\) induce the homomorphisms \(F_{K_j-K_i}:HF_{\text{red}}(K_i,{\mathfrak s}_i)\to HF_{red}(K_j,{\mathfrak s}_j)\). The reduced Heegaard Floer theory was defined in [\textit{P. Ozsváth} and \textit{Z. Szabó}, Ann. Math. (2) 159, No. 3, 1027--1158 (2004; Zbl 1073.57009)]. Taking the direct limit of the directed system of these abelian groups, the author defines end Floer homology. However for the well-definedness the cobordisms require admissibility conditions for any cobordism between \(K_i\) and \(K_j\) for \(i<j\). For example a 1-handle is admissible and a 2-handle whose attaching circle is a primitive, non-torsion homology class in the 3-manifold is admissible. To prove the non-triviality of end Floer homology, the author prepares an open 4-manifold \(X=Y\cup N\times[0,1]\cup Q\sim {\mathbb R}^4\) (homeomorphism), where \(N\) is a contact 3-manifold and \(Y=K_1\) is obtained by surgery along a sphere in \(Y'\) that is a 4-ball attached by a 2-handle along a non-trivial slice knot. \(Q\) is a symplectic manifold, whose end is a Casson tower. The manifold \(X\) can be seen as an admissible exhaustion. There exists a non-trivial element \(z_1\in HF_{\text{red}}(\partial Y ,t_1)\). The maps \(F_{K_j-K_1}\) are non-zero, since the cobordisms in between are symplectic, so the maps make the images of \(z_1\) non-zero. This implies \(EH(X)\neq 0\).
reviewed by: Motoo Tange
Mathematics Subject Classification ID: 57R58
Mathematics Subject Classification ID: 53D35
Mathematics Subject Classification ID: 57M27
Mathematics Subject Classification ID: 57N10
zbMATH DE Number: 5757835
zbMATH Keywords: exotic \(\mathbb R^4\)
zbMATH Keywords: Heegaard Floer homology
zbMATH Keywords: end Floer homology
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2033407437
arXiv ID: math/0408379
cites work: TOPOLOGICAL CHARACTERIZATION OF STEIN MANIFOLDS OF DIMENSION >2
cites work: Q4288662
cites work: A few remarks about symplectic filling
cites work: Complexification of contact structures on 3-dimensional manifolds
cites work: Q4375270
cites work: On symplectic cobordisms
cites work: The topology of four-dimensional manifolds
cites work: Foliations and the topology of 3-manifolds. III
cites work: Witten's conjecture and Property P
cites work: Holomorphic triangle invariants and the topology of symplectic four-manifolds
cites work: Holomorphic disks and genus bounds
cites work: Holomorphic disks and topological invariants for closed three-manifolds
cites work: Holomorphic triangles and invariants for smooth four-manifolds
cites work: Handlebody construction of Stein surfaces
DOI: 10.1016/J.EXMATH.2009.09.002
description: scientific article