In this paper, we extend the theory of sutured Floer homology developed by the author [13; 14]. We first prove an adjunction inequality and then define a poly-tope P(M, gamma) in H~(2)(M, (partial deriv)M; R) that is spanned by the Spin~(c)-structures which support nonzero Floer homology groups. If (M, gamma) -> (M', gamma') is a taut surface decomposition, then an affine map projects P(M', gamma') onto a face of P(M, gamma); moreover, if H_(2)(M) velence 0, then every face of P(M, gamma) can be obtained in this way for some surface decomposition. We show that if (M, gamma) is reduced, horizontally prime and H_(2)(M) velence 0, then P(M, gamma) is maximal dimensional in H~(2)(M, (partial deriv)M;R). This implies that if rk(SFH(M, gamma)) < 2~(k+1), then (M, gamma) has depth at most 2k. Moreover, SFH acts as a complexity for balanced sutured manifolds. In particular, the rank of the top term of knot Floer homology bounds the topological complexity of the knot complement, in addition to simply detecting fibred knots.
展开▼
