Triviality of the $J_4$-equivalence among homology 3-spheres

Quentin Faes

We prove that all homology 3-spheres are $J_4$-equivalent, i.e. that any homology 3-sphere can be obtained from one another by twisting one of its Heegaard splittings by an element…