Away from a zero of , the first Bogomolny vortex equation gives
Substitution into the second equation, with , gives
Now set . The Gaussian curvature formula gives
Therefore implies
which is exactly the vortex equation.
The metric
is the pullback of the Poincare disc model metric under . It consequently has away from the origin. Comparing it with gives the Witten hyperbolic vortex
Putting gives winding number . A gauge choice with positive radial factor is
and then
Write . Up to a total derivative, the covariant-gradient identity and completion of the magnetic and potential terms give
For positive flux, equality in the Bogomolny bound therefore gives the Bogomolny vortex equations
The opposite simultaneous signs describe negative winding.
For the orientation , the Hodge star operator is
Thus
A radial vortex of winding has
with , , , and equations
For , put . Away from zeros, the first vortex equation gives
Since
the field satisfies the Liouville equation
For holomorphic , direct use of the Cauchy-Riemann equations verifies
Choosing gives the radial Witten hyperbolic vortex
For these reduce to
Since ,
This directly verifies the Abelian Higgs vortex flux relation for unit winding.