Overholonomicity of overconvergent $F$-isocrystals over smooth varieties
Algebraic Geometry
2008-03-17 v1
Abstract
We prove the overholonomicity of overconvergent -isocrystals over smooth varieties. This implies that the notions of overholonomicity and devissability in overconvergent -isocrystals are equivalent. Then the overholonomicity is stable under tensor products. So, the overholonomicity gives a -adic cohomology stable under Grothendieck's cohomological operations.
Keywords
Cite
@article{arxiv.0803.2105,
title = {Overholonomicity of overconvergent $F$-isocrystals over smooth varieties},
author = {Daniel Caro and Nobuo Tsuzuki},
journal= {arXiv preprint arXiv:0803.2105},
year = {2008}
}
Comments
41 pages