scientific article; zbMATH DE number 2127989

Publication date 14 January 2005

crystalline cohomology formal methods sheaves of differential operators vector bundles

Arithmetic ground fields (finite, local, global) and families or fibrations (14D10) Formal methods and deformations in algebraic geometry (14D15) Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) (p)-adic cohomology, crystalline cohomology (14F30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Review text

For a given prime number \(p\), let \(V\) be a discrete valuation ring of mixed characteristic \((0,p)\). Denote by \(K\) its field of fractions and by \(k\) its residue field, and assume that \(K\) contains a root of the equation \(X^{p-1}=-p\). Furthermore, let \(R= \operatorname{Spf}(V)\) the formal spectrum of \(V\) and consider an irreducible formal \(R\)-scheme \(S\) of finite cohomological dimension. Then, for any smooth and irreducible formal \(S\)-scheme \(X\) and for any vector bundle of finite rank over \(X\), the formal affine scheme \(T=\mathbb{W}(E)\) admits a natural protective compactification by a certain formal scheme \(Y\) with distinguished divisor \(\infty:=Y\setminus T\). For this \(p\)-adic set-up, there is a general theory of arithmetic \({\mathcal D}\)-modules developed by \textit{P. Berthelot} [Ann. Sci. Éc. Norm. Supér. 4, 29, No. 2, 185--272 (1996; Zbl 0886.14004)] in which a certain sheaf \({\mathcal D}^+_{Y/S,Q}(\infty)\), the so-called sheaf of arithmetic differential operators with overconvergent coefficients along the divisor \(\infty\), plays a crucial role. In the paper under review, the author develops a theory of Fourier transformations for arithmetic \({\mathcal D}\)-modules à la Berthelot, which is largely analoguous to the classical one for analytic \({\mathcal D}\)-modules, though technically much more subtle and involved. As the author points out, the present work provides both a generalization and an extension of previous results obtained in her unpublished doctoral dissertation from 1995 [\textit{C. Huyghe}, Construction et étude de la transformation de Fourier pour les \({\mathcal D}\)-modules arithmétiques, Thèse de Doctorat, Université de Rennes I, 1995]. As for the contents, the present article is divided into seven sections. Section 1, gives a brief summary of the relevant facts from Berthelot's theory of arithmetic \({\mathcal D}\)-modules with overconvergent coefficients along a divisor. In Section 2, the author constructs an equivalence between the category of coherent \({\mathcal D}^+_{Y/S,Q}(\infty)\)-modules and the category of coherent \(q_*{\mathcal D}^+_{Y/S,Q}(\infty)\)-modules, where \(q\) denotes the structural morphism of \(Y\) over the formal base scheme \(S\). In the sequel, this equivalence turns out to be fundamental for the proof of a comparison theoreme relating the author's formal Fourier transformation to the geometric Fourier transformation of Katz-Laumon [\textit{N. M. Katz} and \textit{G. Laumon}, Publ. Math., Inst. Hautes Étud. Sci. 62, 145--202 (1985; Zbl 0603.14015)]. The construction of the Fourier transformation for arithmetic \({\mathcal D}\)-modules is then carried out in Section 3 and in Section 4, where the framework of \(F\)-isocrystals is used to replace analytic arguments. Section 5 describes some fundamental properties of the author's concept of Fourier transformation for arithmetic \({\mathcal D}\)-modules, culminating in the comparison theorem mentioned above. First examples are then discussed in Section 6, mainly with a view toward the recent work of \textit{F. Baldassari} and \textit{P. Berthelot} [in: Geometric Aspects of Dwork Theory, 177--244 (2004; Zbl 1117.14022)] published in the same conference volume. The final Section 7 is devoted to an algebraic approach to the author's comparison theorem for formal and geometric Fourier transforms, thereby throwing a bridge to the earlier related work by N. Katz and G. Laumon. As the author points out, further results in this context will be presented in her forthcoming paper ``Transformation de Fourier des \({\mathcal D}\)-modules arithmétiques, II (in preparation). For the entire collection see [Zbl 1047.14001].

Recommendations

Cited in

(16)

This page was built for publication:

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