  In the setting of several commuting operators on a Hilbert space one defines
the notions of invertibility and Fredholmness in terms of the associated Koszul
complex. The index problem then consists of computing the Euler characteristic
of such a special type of Fredholm complex. In this paper we investigate
transformation rules for the index under the holomorphic functional calculus.
We distinguish between two different types of index results: 1) A global index
theorem which expresses the index in terms of the degree function of the
"symbol" and the locally constant index function of the "coordinates". 2) A
local index theorem which computes the Euler characteristic of a localized
Koszul complex near a common zero of the "symbol". Our results apply to the
example of Toeplitz operators acting on both Bergman spaces over pseudoconvex
domains and the Hardy space over the polydisc. The local index theorem is
fundamental for future investigations of determinants and torsion of Koszul
complexes.
