No Arabic abstract
We define the surface complex for $3$-manifolds and embark on a case study in the arena of Seifert fibered spaces. The base orbifold of a Seifert fibered space captures some of the topology of the Seifert fibered space, so, not surprisingly, the surface complex of a Seifert fibered space always contains a subcomplex isomorphic to the curve complex of the base orbifold.
Using the mapping cone of a rational surgery, we give several obstructions for Seifert fibered surgeries, including obstructions on the Alexander polynomial, the knot Floer homology, the surgery coefficient and the Seifert and four-ball genus of the knot.
Kakimizu complex of a knot is a flag simplicial complex whose vertices correspond to minimal genus Seifert surfaces and edges to disjoint pairs of such surfaces. We discuss a general setting in which one can define a similar complex. We prove that this complex is contractible, which was conjectured by Kakimizu. More generally, the fixed-point set (in the Kakimizu complex) for any subgroup of an appropriate mapping class group is contractible or empty. Moreover, we prove that this fixed-point set is non-empty for finite subgroups, which implies the existence of symmetric Seifert surfaces.
In 1992, Osamu Kakimizu defined a complex that has become known as the Kakimizu complex of a knot. Vertices correspond to isotopy classes of minimal genus Seifert surfaces of the knot. Higher dimensional simplices correspond to collections of such classes of Seifert surfaces that admit disjoint representatives. We show that this complex is simply connected.
The Kakimizu complex is usually defined in the context of knots, where it is known to be quasi-Euclidean. We here generalize the definition of the Kakimizu complex to surfaces and 3-manifolds (with or without boundary). Interestingly, in the setting of surfaces, the complexes and the techniques turn out to replicate those used to study the Torelli group, {it i.e.,} the nonlinear subgroup of the mapping class group. Our main results are that the Kakimizu complexes of a surface are contractible and that they need not be quasi-Euclidean. It follows that there exist (product) $3$-manifolds whose Kakimizu complexes are not quasi-Euclidean.
This paper concerns twisted signature invariants of knots and 3-manifolds. In the fibered case, we reduce the computation of these invariants to the study of the intersection form and monodromy on the twisted homology of the fiber surface. Along the way, we use rings of power series to obtain new interpretations of the twisted Milnor pairing introduced by Kirk and Livingston. This allows us to relate these pairings to twisted Blanchfield pairings. Finally, we study the resulting signature invariants, all of which are twisted generalisations of the Levine-Tristram signature.