an:01220347
Zbl 0910.14005
Huyghe, Christine
\(D^\dagger (\infty)\)-affinit?? des sch??mas projectifs. (\(D^\dagger (\infty)\)-affinity of projective schemes.)
FR
Ann. Inst. Fourier 48, No. 4, 913-956 (1998).
00052736
1998
j
14F30 14F10 14G20
\(D^\dag (\infty)\)-modules; vanishing theorems for \(D\)-modules; \(p\)-adic coefficients; \(p\)-adic formal scheme; coherent overconvergent \(D\)-modules
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'\).
G.Faltings (Bonn)