Invariant theory | Taubes's Gromov invariant | Rost invariant | Loop-invariant code motion | invariant theory |
An obstruction to the manifold version was formulated by Andrew Casson and Dennis Sullivan in 1967–9 (originally in the simply-connected case), using the Rochlin invariant and the cohomology group H3(M;Z/2Z).