Free resolutions in multivariable operator theory. (Q1395795): Difference between revisions

Let \({\mathcal A}_d\) be the complex polynomial ring in \(d\) variables and \({\mathcal H}\) a contractive Hilbert \({\mathcal A}_d\)-module. It was proved in [\textit{W. Arveson}, J. Reine Angew. Math. 522, 173--236 (2000; Zbl 0951.47008); Acta Math. 181, 159--228 (1998; Zbl 0952.46035)] that the role of free objects for these modules is played by a specific subclass. Thus one can construct a free resolution, i.e., an exact sequence of partial isometries of the following form \[ \cdots@>\phi_2>> {\mathcal F}_1@> \phi_1>>{\mathcal F}_0 @>\phi_0>>{\mathcal H}\to 0. \] For a Hilbert space \({\mathcal C}_i\), the direct summand \(H^2_d\otimes {\mathcal C}_i\) of the free module \({\mathcal F}_i\) can be viewed as a space of holomorphic \({\mathcal C}_i\)-valued functions on the unit ball \(B_d\) in \(\mathbb{C}^d\). By a localization of the free resolution to a point \(\lambda\) in \(B_d\), a vector space complex of linear maps \[ \cdots @>\phi_3(\lambda)>> {\mathcal C}_2 @>\phi_2(\lambda)>>{\mathcal C}_1 @>\phi_1(\lambda)>>{\mathcal C}_0 \] is derived. The main result of the present paper states that the homology of the latter complex is isomorphic to the homology of the Koszul complex of the associated \(d\)-tuple \((\phi^1,\phi^2,\dots, \phi^d)\) of operators on \({\mathcal H}\), where \(\phi^i\) is the \(i\)th coordinate function of the Möbius transform \(\phi\) of \(B^d\) with \(\phi(\lambda)= 0\).