Away from zeros of , write
The first Bogomolny vortex equation, , gives
If the zeros have multiplicities , the phase curl and the logarithmic singularities give, distributionally,
Equating this with yields the Taubes equation
Solved by gpt-5.6-sol high.