\(D^\dagger (\infty)\)-affinité des schémas projectifs. (\(D^\dagger (\infty)\)-affinity of projective schemes.) (Q1271446): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2317246488 / rank | |||
Normal rank |
Revision as of 23:18, 19 March 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