Lagrangianity for log extendable overconvergent F-isocrystals

2015/04/15 by Caro, Daniel
#Algebraic Geometry (math.AG) #FOS: Mathematics

paper · doi:10.48550/arxiv.1504.03969

Abstract

In the framework of Berthelot's theory of arithmetic D-modules, we prove that Berthelot's characteristic variety associated with a holonomic D-modules endowed with a Frobenius structure has pure dimension. As an application, we get the lagrangianity of the characteristic variety of a log extendable overconvergent F-isocrystal.

Related

• On logarithmic extension of overconvergent isocrystals
• Semistable reduction for overconvergent F-isocrystals, I: Unipotence and logarithmic extensions
• Cut-by-curves criterion for the log extendability of overconvergent isocrystals
• Overconvergent log isocrystals and holonomicity
• Sur l'holonomie de D-modules arithmétiques associés à des F-isocristaux surconvergents sur des courbes lisses