Estimates for Hilbertian Koszul homology (Q935040)

In the paper under review, the author gives the following estimates for Hilbertian Koszul homology: for any Fredholm tuple \(\widetilde{T}=(T_1,\dots,T_n)\) of commuting operators on a Hilbert space, there exist \(e_0,e_1,\dots,e_n\in\mathbb{Z}\) and a constant \(C>0\) such that for all \(i=0,1,\dots,n\) and \(k=(k_1,\dots,k_n)\in\mathbb{N}^n\), \[ k_1\cdots k_n\cdot e_i\leq\dim(H_i(K(\widetilde{T}^k)))\leq k_1\cdots k_n\Bigl(e_i+{C\over\min k_j}\Bigr), \] where \(H_i(K(\widetilde{T}^k))\;(i=0,1,\dots,n)\) are the homology groups of the Koszul complex \(K(\widetilde{T}^k)\) of \(\widetilde{T}^k=(T_1^{k_1},\dots,T_n^{k_n})\). The proof combines several techniques of pure commutative algebra (a notion of correction modules is introduced and studied) and from sheaf theory. Certain arguments refine those of \textit{J. Eschmeier} [Math. Ann. 339, No.~1, 21--35 (2007; Zbl 1152.47005)].