No label defined (Q3154997)

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].