Localization of differential operators and of higher order de Rham complexes

From MaRDI portal





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.











This page was built for publication: Localization of differential operators and of higher order de Rham complexes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1373402)