Residues and differential operators on schemes (Q1974867): Difference between revisions
From MaRDI portal
Set profile property. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: alg-geom/9602011 / rank | |||
Normal rank |
Revision as of 00:26, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Residues and differential operators on schemes |
scientific article |
Statements
Residues and differential operators on schemes (English)
0 references
27 March 2000
0 references
Let \(X\) be a finite type scheme over a perfect field \(k\) (of any characteristic). The author gives a new construction of the residue complex \(K_X^\bullet\) using Beilinson completion algebras (BCAs). The functorial properties of \({K}_X^\bullet\) with respect to étale, finite or proper morphisms and the duality theorem are proved from properties of BCAs. The construction reveals some new properties of \(K_X^\bullet\). For an \({\mathcal O}_X\)-module \(M\), let Dual \(M = {{\mathcal H}om}_{{\mathcal O}_X}^\bullet (M, K_X^\bullet)\) be the dual complex. The authors prove the existence of a dual differential operator \(\text{Dual}(d)\): \(\text{Dual }N \rightarrow \text{Dual } M\) for any differential operator \(d:M\to N\) and give explicit formulas for \(\text{Dual}(d)\) in terms of differential operators and residues. These are used in the applications to de Rham homology and intersection cohomology \(D\)-modules. The de Rham residue complex \(F_X^\bullet= \text{Dual }\Omega _{X/k}^\bullet\) is obtained from the de Rham complex \({\Omega} _{X/k}^\bullet\). The construction is generalised to formal schemes also. As an application it is shown that the de Rham homology is a contravariant functor on the small étale site \(X_{\text{et}}\). The final application is a description of the intersection cohomology \(D\)-module \(L(X,Y)\) of an integral curve \(X\) embedded in a smooth variety \(Y\) of dimension \(n>1\) (characteristic 0) obtained using BCAs and algebraic residues instead of complex geometry.
0 references
residue complex
0 references
differential operators
0 references
intersection cohomology
0 references
Beilinson completion algebras
0 references
de Rham homology
0 references