\(D^\dagger (\infty)\)-affinité des schémas projectifs. (\(D^\dagger (\infty)\)-affinity of projective schemes.) (Q1271446): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: author (P16): Item:Q541751 |
||
Property / author | |||
Property / author: Christine Noot-Huyghe / rank | |||
Revision as of 02:00, 16 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(D^\dagger (\infty)\)-affinité des schémas projectifs. (\(D^\dagger (\infty)\)-affinity of projective schemes.) |
scientific article |
Statements
\(D^\dagger (\infty)\)-affinité des schémas projectifs. (\(D^\dagger (\infty)\)-affinity of projective schemes.) (English)
0 references
9 November 1998
0 references
Suppose \(X\) is a smooth projective \(p\)-adic formal scheme, \(U=X-D\) the complement of an ample divisor. Then Berthelot has defined a sheaf (on \(X)\) of overconvergent differential operators. Here it is shown that coherent modules over this sheaf satisfy the usual ``Theorem A'' and ``Theorem B''. Previously this was known for affine space (with its canonical compactification). The proof uses various filtrations and clever choices of integral models. At the end it is also shown that the category of coherent overconvergent \(D\)-modules is invariant under maps of compactifications \(f:(U,X) \to(U',X')\) with \(U=U'\).
0 references
\(D^\dag (\infty)\)-modules
0 references
vanishing theorems for \(D\)-modules
0 references
\(p\)-adic coefficients
0 references
\(p\)-adic formal scheme
0 references
coherent overconvergent \(D\)-modules
0 references