• Aucun résultat trouvé

In this paper, we compare in one particular case, the arithmetic


Academic year: 2022

Partager "In this paper, we compare in one particular case, the arithmetic"


Texte intégral


In this paper, we compare in one particular case, the arithmetic D-modules in- troduced by Berthelot and the arithmetic D-modules introduced by Mebkhout and Narvaez-Macarro. We prove that there exists an equivalence of categories of coherent D-modules when you consider the arithmetic D-modules introduced by Berthelot on a projective smooth formal schemeX, over some discrete valuation ringRof mixed charac- teristics (0, p), that is endowed with an ample divisor, along which the coefficients of the differential operators are overconvergent. On the side of Mebkhout-Narvaez-Macarro, you have to look at differential operators over a smooth, affine, weakly formal scheme overR, whosep-adic completion is the complementary ofZ intoX. The equivalence of categories is given in one direction by taking global sections of the D-modules.



Documents relatifs

The schemes are con- structed by combing a discontinuous Galerkin approximation to the Vlasov equation together with a mixed finite element method for the Poisson problem.. We

We study the deformed Hermitian-Yang-Mills (dHYM) equa- tion, which is mirror to the special Lagrangian equation, from the vari- ational point of view via an infinite dimensional

Delano¨e [4] proved that the second boundary value problem for the Monge-Amp`ere equation has a unique smooth solution, provided that both domains are uniformly convex.. This result

Wodzicki showed that the regularity of the η-function of a Dirac type operator at zero—a necessary ingredient to define the η-invariant—follows as a special case from the vanishing

First introduced by Faddeev and Kashaev [7, 9], the quantum dilogarithm G b (x) and its variants S b (x) and g b (x) play a crucial role in the study of positive representations

In this paper, we will see that a surjective linear local automorphism θ of a von Neumann algebra N is a Jordan isomorphism. In case N is properly infinite, θ is an automorphism. On

We construct a cohomology theory on a category of finite digraphs (directed graphs), which is based on the universal calculus on the algebra of functions on the vertices of

We will need the following local law, eigenvalues rigidity, and edge universality results for covariance matrices with large support and satisfying condition (3.25).... Theorem