Samuel multiplicity and Fredholm theory (Q2480861): Difference between revisions

A commutative \(n\)-tuple of bounded linear operators on a Banach space \(X\) is said to be Fredholm if all cohomology groups \(H^p(T,X)\) (\(p=0,\dots,n\)) of its Koszul complex \(K^{\bullet}(T,X)\) are finite-dimensional. The Fredholm index of \(T\) is defined as the Euler characteristic \(\text{ind}(T)=\sum_{p=0}^n(-1)^p\dim H^p(T,X)\) of its Koszul complex. In the paper under review, it is proven that, for a given Fredholm \(n\)-tuple \(T\), the limits \(c_p(T)=\lim_{k\to\infty}\dim H^p(T^k,X)/k^n\) exist and coincide with the generic dimensions of \(H^p(z-T,X)\) near \(z=0\). Using the fact that \(\text{ind} (T^k)=k^n\text{ind}(T)\), it is shown that \(\text{ind}(T)=\sum_{p=0}^n(-1)^pc_p(T)\). The results are obtained by combining methods from commutative algebra and complex analytic geometry.