Localization of differential operators and of higher order de Rham complexes (Q1373402): Difference between revisions

Let \(K\) be a commutative ring with unit \(A\) be a commutative, associative \(K\)-algebra with unit, \(S\) be a multiplicative part of \(A\), \(\mathbb{N}^\infty_+ \doteq \text{inv} \lim_{n>0} \mathbb{N}^n_+\), \(A\)-\({\mathcal M}od\) be the category of \(A\)-modules and \({\mathcal D} {\mathcal I} {\mathcal F} {\mathcal F}_A\) be the category whose objects are \(A\)-modules and whose morphisms are differential operations of any (finite) order between them. By using the localization functor \(\text{Loc}_S: A\)-\({\mathcal M}od\to A_S\)-\({\mathcal M}od\) which is extended to a functor \({\mathcal D}{\mathcal I}{\mathcal F}{\mathcal F}_A\to{\mathcal D}{\mathcal I}{\mathcal F}{\mathcal F}_{A_S}\), the author builds in this paper for any multiplicative part \(S\) of \(A\) and \(\sigma \in \mathbb{N}^\infty_+\) a complex called the \(S\)-localized de Rham complex of type \(\sigma\) of \(A/K\), \((dR_{\sigma, A/K})_S\). The main result of the paper realizes an isomorphism of complexes in \({\mathcal D} {\mathcal I} {\mathcal F} {\mathcal F}_{A_S}\) of the previous complex with the higher de Rham complex of type \(\sigma\) in \(A_S\)-\({\mathcal M}od\), \(dR_\sigma(A_S\)-\({\mathcal M}od)\). The author considers this result as preliminar result for the study of the cohomological invariants provided by these higher de Rham complexes for singular varieties.