Invariants of Homology 3-Spheres

1 Homology 3-Spheres 1.1 Integral homology 3-spheres 1.1.1 Homotopy 3-spheres 1.1.2 Poincare homology sphere 1.1.3 Brieskorn homology spheres 1.1.4 Seifert fibered homology spheres 1.1.5 Dehn surgery on knots 1.1.6 Surgery on links 1.1.7 Connected sums and splicing 1.1.8 Splice decomposition 1.1.9 Plumbing 1.1.10 Links of singularities 1.1.11 Mutations 1.1.12 Branched covers 1.1.13 Heegaard splittings of homology spheres 1.2 Rational homology spheres 1.2.1 Spherical space forms 1.2.2 Dehn surgery 1.2.3 Seifert fibered manifolds 1.2.4 Links of singularities 1.2.5 Branched covers 2 Rokhlin Invariant 2.1 The Rokhlin theorem 2.2 Definition of the Rokhlin invariant 2.3 Properties of the Rokhlin invariant 2.3.1 Surgery formula for the Rokhlin invariant 2.3.2 Surgery on algebraically split links 2.3.3 Splicing and mutation 2.3.4 Rokhlin invariant of branched coverings 2.3.5 Birman-Craggs homomorphisms 2.3.6 Homology cobordism invariance 2.4 Seifert fibered and graph homology spheres 2.4.1 The algorithm 2.4.2 The formula 3 Casson Invariant 3.1 Definition of the Casson invariant 3.2 Construction of the Casson invariant 3.2.1 SU(2)-representation spaces 3.2.2 The intersection theory 3.2.3 Orientations 3.2.4 Independence of Heegaard splitting 3.2.5 Casson invariant for knots and property (1) 3.2.6 The difference cycle 3.2.7 Casson invariant for boundary links and property (2) 3.2.8 Casson invariant of a trefoil and property (0) 3.3 Comments and ramifications 3.3.1 Pillowcase 3.3.2 Perturbations 3.3.3 The connected sum formula 3.3.4 The integrality of Casson invariant 3.3.5 Casson invariant of algebraically split links 3.4 Properties of the Casson invariant 3.4.1 Splicing additivity 3.4.2 Mutation invariance 3.4.3 Casson invariant of branched coverings 3.4.4 Casson invariant of fibered knots 3.4.5 Finite type invariants 3.4.6 Further properties of the Casson invariant 3.5 Seifert fibered and graph homology spheres 3.5.1 Casson invariant of Brieskorn homology spheres 3.5.2 Casson invariant of Seifert fibered homology spheres 3.5.3 The Neumann-Wahl conjecture 3.6 Applications of the Casson invariant 3.6.1 Triangulating topological 4-manifolds 3.6.2 Amphicheiral homology spheres 3.6.3 Property P for knots 4 Invariants of Walker and Lescop 4.1 Definition of the Walker invariant 4.2 Construction of the Walker invariant 4.2.1 SU(2)-representation varieties 4.2.2 The intersection theory 4.2.3 The surgery formula 4.2.4 Combinatorial definition of the Walker invariant 4.3 The Lescop invariant 4.4 Properties of the Walker and Lescop invariants 4.4.1 The gluing formula 4.4.2 Branched covers 4.4.3 Seifert fibered manifolds 4.5 Casson type invariants from other Lie groups 5 Casson Invariant and Gauge Theory 5.1 Gauge theory in dimension 3 5.2 Chern-Simons function 5.3 The Casson invariant from gauge theory 5.3.1 Morse theory and Euler characteristic 5.3.2 Critical points of cs and spectral flow 5.3.3 Non-degenerate case 5.3.4 Perturbations 5.3.5 Morse type perturbations 5.3.6 Casson invariant and Seiberg-Witten equations 5.4 Casson-type invariants of knots 5.4.1 Representation varieties of knot groups 5.4.2 The invariants 5.5 Equivariant Casson invariant 5.5.1 Equivariant gauge theory 5.5.2 Definition of the invariants 5.5.3 Equivariant Casson and knot signatures 5.5.4 Applications 5.6 The SU(3)-Casson invariant 5.6.1 Some SU(3)-gauge theory 5.6.2 Definition of the invariant 5.6.3 Properties and computations 6 Instanton Floer Homology 6.1 Gauge theory in dimension 4 6.1.1 Gauge theory on closed 4-manifolds 6.1.2 Gauge theory on open 4-manifolds 6.1.3 Linear analysis 6.1.4 Non-linear analysis 6.2 Definition of the Floer homology 6.2.1 Review of the Morse theory 6.2.2 Floer homology of integral homology spheres 6.2.3 Functoriality with respect to cobordisms 6.3 Spectral flow formulas 6.3.1 The Atiyah-Patodi-Singer formula 6.3.2 The splitting formula 6.3.3 The Kirk-Klassen formula 6.4 Seifert fibered and graph homology spheres 6.4.1 The algorithm 6.4.2 The closed form formula 6.4.3 Graph homology spheres 6.5 Properties of the Floer homology 6.5.1 Orientation reversal 6.5.2 Floer homology of homology handles 6.5.3 The Floer exact triangle 6.5.4 Special boundary maps 6.5.5 The u-map in Floer homology 6.5.6 Integer graded Floer homology 6.5.7 Floer homology of connected sums 6.5.8 Functoriality with respect to diffeomorphisms 6.5.9 Mutation invariance 6.6 Floer homology in Donaldson theory 6.6.1 Donaldson invariants of closed 4-manifolds 6.6.2 Relative Donaldson polynomials 6.6.3 The gluing formula 6.7 Extending Floer homology 6.7.1 Equivariant Floer homology 6.7.2 Fukaya-Floer homology 6.7.3 Floers category and functor 6.7.4 The Atiyah-Floer conjecture 6.7.5 Floer homology of knots 6.7.6 Seiberg-Witten Floer homology 7 The Homology Cobordism Group 7.1 Homology cobordisms 7.1.1 Mazur homology spheres 7.1.2 Knot cobordisms and homology cobordisms 7.1.3 Ribbon concordances and ribbon knots 7.1.4 Branched coverings 7.2 The structure of the homology cobordism group 7.2.1 A classical approach 7.2.2 Infinite order elements 7.2.3 The mu-bar invariant 7.2.4 The Fukumoto-Furuta invariants 7.2.5 The homology cobordism group is infinitely generated 7.3 Applications of the homology cobordism group 7.3.1 Triangulating topological manifolds 7.3.2 Knot concordance group 7.3.3 PL-discs in contractible 4-manifolds 7.3.4 Constructing smooth manifolds References Index