2011/03/08 by Daniel Caro, Caro, Daniel
Mathematics · #Algebraic Geometry (math.AG) #FOS: Mathematics #Number Theory (math.NT) #math.AG #math.NT
paper · pdf · doi:10.48550/arxiv.1103.1579
32 pages, in French
arxiv created 2015/01/29 · arxiv updated 2015/01/30
Let \V be a mixed characteristic complete discrete valuation ring with perfect residue field. Let \X be a smooth formal scheme over \V. We prove than a \D ^†\X,\Q -module which is overcoherent after any change of basis is an holonomic \D ^†\X,\Q -module. Furthermore, we check that this implies than a bounded complex \E of \D ^†\X, \Q-modules is overholonomic after any change of basis if and only if, for any integer j, H j (\E) is overholonomic after any change of basis.