No label defined (Q4941242)

Let \(X\) be a topological space and let \(\mathcal A\) be a sheaf of unitary (but not necessarily commutative) rings on \(X\). Any coherent \(\mathcal A\)-module \(\mathcal M\) admits locally resolutions of arbitrary length with free \(\mathcal A\)-modules of finite rank, but in general such resolutions do not exist globally on \(X\). The author finds a way of glueing together the terms of these local resolutions in a global resolution. The terms of the new resolution however are no longer coherent \(\mathcal A\)-modules, but semi-simplicial systems of sheaves. The semi-simplicial systems of sheaves were introduced by O. Forster and K. Knorr in order to prove H. Grauert's theorem on direct images of analytic sheaves, and by J.-L. Verdier in relation to the natural topology on the hypercohomology groups of a complex of analytic sheaves. The author proves a set of interesting applications of these objects in the case of \(X\) complex manifold, and \({\mathcal A} = {\mathcal O}\), the sheaf of holomorphic functions on \(X\), \({\mathcal A} = {\mathcal D}\), the sheaf of differential operators with analytic coefficients on \(X\), and \({\mathcal A} = {\mathcal E}\), the sheaf of microdifferential operators on the cotangent bundle \(T^\ast X\). In those contexts, the interest of the construction consists in moving the complexity away from the module \(\mathcal M\) to the linking morphisms of the semi-simplicial systems, which are well-suited for computing global \(\mathbf {Ext}\) invariants.