In low-dimensional topology there have been a bunch of invariants defined, and Seiberg-Witten Theory seems to make its appearance in [a lot of] them:

1) *Heegaard Floer homology* = SW Floer homology (Kutluhan, Lee, Taubes)

2) *Embedded Contact homology* = SW Floer homology (Taubes)

3) *Gromov-Witten invariant* = 4-dimensional SW-invariant (Taubes)

4) *Turaev torsion* = 3-dimensional SW-invariant (Turaev)

5) *Milnor torsion* (hence *Alexander invariant*) = 3-dimensional SW-invariant (Meng, Taubes)

6) *Donaldson-Smith standard surface count* = 4-dimensional SW-invariant (Usher)

7) *Casson invariant* (hence *integral Theta divisor*) = 3-dimensional SW-invariant (Lim)

8) *Poincare Invariant* = SW-invariant for algebraic surfaces (Okonek, et al.)

Conjectured:

8) *Heegaard Floer closed 4-manifold invariant* = SW-invariant (Ozsvath, Szabo)

*Analog of (1) above in dimension 4

9) *Lagrangian matching invariant* = SW-invariant (Perutz)

*Analog of (6) above for broken Lefschetz fibrations

10) *Near-symplectic Gromov-Witten count* = SW-invariant (Taubes)

*Analog of (4) above for near-symplectic manifolds, counting holomorphic curves in the complement of the degenerate circles of the near-symplectic form -- but this invariant hasn't really been defined yet

**Does/should it stop there?** Are there constructions out there that Seiberg-Witten Theory could possibly have a link with?