7.1.1. Poincaré residue [055K]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
7.1.1. Poincaré residue
We first recall some general facts about Poincaré residues. Given a smooth divisor in a complex manifold of dimension , the Poincaré residue map
| (7.1) |
can be defined as follows. Given a holomorphic form on with a simple pole along , locally if we choose a defining function of , then is a holomorphic form, and we can write
| (7.2) |
for some locally defined holomorphic form . The Poincaré residue of along is given by
| (7.3) |
It is straightforward to check that this does not depend on the choice of and , and gives rise to a well-defined holomorphic volume form globally on .
If we choose local holomorphic coordinates on , then we may write
| (7.4) |
At a point on where , we have then by definition
| (7.5) |
From the local expression one can see that if is an anti-canonical divisor in , and we pick a holomorphic volume form on with a simple pole along , and then gives a holomorphic volume form on .
A special case is when we have a globally defined holomorphic function , and we are given a holomorphic volume form on , then for each , we can apply the above construction to the meromorphic form . In this way we obtain a nowhere vanishing section of the relative canonical bundle , on the set where is a submersion, and it satisfies the equation
| (7.6) |
We may also view as a holomorphic varying family of holomorphic volume forms on the fibers of .