Multidimensional Residues and Applications

Abstract

One of the problems in the theory of multidimensional residues is the problem of studying and computing integrals of the form

$$\int_\gamma {\omega ,} $$

((1))

where ω is a closed differential form of degree p on a complex analytic manifold X with a singularity on an analytic set S⊂ X, and where γ is a compact p-dimensional cycle in X\S. A special case of this problem is computing the integral (1) when ω is a holomorphic (meromorphic) form of degree p = n = dim_c X; in local coordinates the form can be written as ω = f(z) dz = f(z ₁, ...,z _n )dz ₁ ∧ ... ∧ dz _n , where f is a holomorphic (meromorphic) function. According to the Stokes formula, the integral (1) depends only on the homology class¹ [γ] ∈ H _p (X\S) and the De Rham cohomology class [ω] ∈ H ^P(X\S). Thus in integral (1) the cycle γ can be replaced by a cycle γ₁ homologous to it (γ₁ ~γ) in X\S and the form ω can be replaced by a cohomologous form ω₁(ω₁ ~ ω) which may perhaps be simpler; for example, it could have poles of first order on S (see § 1, Subsection 4). If γ_j is a basis for the p-dimensional homology of the manifold X\S, then by Stokes formula for any compact cycle γ ∈ Z _p (X\S) the integral (1) is equal to

$$\int_\gamma \omega = \sum\limits_j {k_j \int_{y_j } {\omega ,} } $$

((2))

where the k _j are the coefficients of the cycle γ as a combination of the basis elements γ _j , γ ~ Σ _j k _j γ _{j. Formula (2) shows that the problem of computing integral (1) can be reduced t}

• 1) studying the homology group H _p (X\S) (finding its dimension and a basis);

• 2) determining the coefficients of the cycle γ with respect to a basis;

• 3) computing the integrals over the cycles in the basis.