For a smooth map between connected oriented closed manifolds of equal dimension and a volume form on , the topological degree is defined byThe standard area form on the unit sphere isSince , this gives
For a generic target value , its finite preimages solveWhen this has roots after the missing roots or poles at infinity are counted; when , a generic again gives degree . Holomorphic maps preserve orientation at regular preimages, so every local sign is positive. Hence
Using , the energy isBecause , both derivatives are tangent to and . Completing the square givesThe final integral is by the topological degree formula. ThusEquality holds exactly when the appropriate first-order Bogomolny equation is satisfied:with the sign chosen to match the degree.
Articles by others on the same topic
There are currently no matching articles.