Order of a meromorphic function along a hypersurface
ID: order-of-a-meromorphic-function-along-a-hypersurface
At a generic smooth point of an irreducible complex analytic hypersurface , a nonzero meromorphic function has the form , where is a reduced transverse local equation and is a holomorphic unit. The integer is its order along : positive for a zero and negative for a pole. The unique factorization domain property of the local ring of a complex manifold makes this independent of the equation and propagates it along . These orders are the coefficients of the principal divisor on a complex manifold of .
New to topics? Read the docs here!