ScalingStacks

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 ZZ in a complex manifold MM of dimension mm, the Poincaré residue map

(7.1) Res:H0​(M,KM⊗[Z])→H0​(Z,KZ)\Res:H^{0}(M,K_{M}\otimes[Z])\rightarrow H^{0}(Z,K_{Z})

can be defined as follows. Given a holomorphic mm form Ω\Omega on MM with a simple pole along ZZ, locally if we choose a defining function hh of ZZ, then h​Ωh\Omega is a holomorphic mm form, and we can write

(7.2) h​Ω=d​h∧Ω~h\Omega=dh\wedge\tilde{\Omega}

for some locally defined holomorphic m−1m-1 form Ω~\tilde{\Omega}. The Poincaré residue of Ω\Omega along ZZ is given by

(7.3) Res⁡(Ω)≡Ω~|Z\Res(\Omega)\equiv\tilde{\Omega}|_{Z}

It is straightforward to check that this does not depend on the choice of hh and Ω~\tilde{\Omega}, and gives rise to a well-defined holomorphic volume form ΩZ\Omega_{Z} globally on ZZ.

If we choose local holomorphic coordinates z1,⋯,zmz_{1},\cdots,z_{m} on MM, then we may write

(7.4) Ω=ghdz1∧⋯dzm.\Omega=\frac{g}{h}dz_{1}\wedge\cdots dz_{m}.

At a point on ZZ where ∂h∂z1≠0\frac{\partial h}{\partial z_{1}}\neq 0, we have then by definition

(7.5) Res⁡(Ω)=g∂h∂z1​d​z2∧⋯∧d​zm.\Res(\Omega)=\frac{g}{\frac{\partial h}{\partial z_{1}}}dz_{2}\wedge\cdots\wedge dz_{m}.

From the local expression one can see that if ZZ is an anti-canonical divisor in MM, and we pick a holomorphic volume form ΩM\Omega_{M} on M∖ZM\setminus Z with a simple pole along ZZ, and then Res⁡(ΩM)\Res(\Omega_{M}) gives a holomorphic volume form ΩZ\Omega_{Z} on ZZ.

A special case is when we have a globally defined holomorphic function h:M→ℂh:M\rightarrow\mathbb{C}, and we are given a holomorphic volume form Ω\Omega on MM, then for each w∈ℂw\in\mathbb{C}, we can apply the above construction to the meromorphic form (h−w)−1​Ω(h-w)^{-1}\Omega. In this way we obtain a nowhere vanishing section Ω′\Omega^{\prime} of the relative canonical bundle KM⊗(h∗​Kℂ)−1K_{M}\otimes(h^{*}K_{\mathbb{C}})^{-1}, on the set where hh is a submersion, and it satisfies the equation

(7.6) d​h∧Ω′=Ω.dh\wedge\Omega^{\prime}=\Omega.

We may also view Ω′\Omega^{\prime} as a holomorphic varying family of holomorphic volume forms on the fibers of hh.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.