Free resolutions in multivariable operator theory

Let be the complex polynomial ring in d variables. A contractive -module is Hilbert space equipped with an action such that for any ,

||z₁ξ₁+z₂ξ++z_dξ_d||²||ξ₁||²+||ξ₂||²++||ξ_d||².

Such objects have been shown to be useful for modeling d-tuples of mutually commuting operators acting on a Hilbert space. There is a subclass of the category of contractive modules whose members play the role of free objects. Given a contractive -module, one can construct a free resolution, i.e. an exact sequence of partial isometries of the following form:

(*)

where is a free module for each i0. The notion of a localization of a free resolution will be defined, in which for each λB_d there is a vector space complex of linear maps derived from (*):

We shall show that the homology of this complex is isomorphic to the homology of the Koszul complex of the d-tuple (¹,²,…,^d), of where ⁱ is the ith coordinate function of a Möbius transform on B_d such that (λ)=0.