On homological index (Q5952888)

Let \(X\) be an \(n\)-dimensional complex reduced analytic space with isolated singularities, and let \(E\to X\) be a linear fibre space that is an \(n\)-plane holomorphic bundle on \(X\) away from a finite number of singular points \(\text{sing}(E)\). For a section \(s\) of \(E\to X\) with isolated zeros, let \(\text{sing}(s)=\text{zero}(s)\cup\text{sing}(E)\). Consider the Koszul complex \(0\to \bigwedge^n(E)\to\bigwedge^{n-1}(E)\to\cdots\to\bigwedge^1(E)\to{\mathcal O}_X\to 0\), where the maps are the contraction maps by \(s\). Fix \(x_0\in\text{sing}(s)\). Then the \(i\)-th cohomology of the above complex has support in a small neighborhood of \(x_0\), and the coherence of \(H^i\) means that in a neighborhood \(U\) of \(x_0\) the following sequence is exact: \(\bigoplus_{k=0}^m{\mathcal O}_U@>\varphi>>H^i_{|U}\to 0\). Specializing further one can define the homological index by \(\text{Ind}_{\text{hom}}(s,x_0)=\sum_{i=0}^n(-1)^i\dim_{\mathbb C}H_{x_0}^i\). The author shows that this notion is well-defined and that the sum of all the homological indices of a given section is independent of the choice of section.