Seiberg–Witten equation