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 .
Articles by others on the same topic
There are currently no matching articles.