Seiberg–Witten invariant