Article contents
Log-isocristaux surconvergents et holonomie
Published online by Cambridge University Press:Â 24 September 2009
Abstract
Let đ± be a complete discrete valuation ring of unequal characteristic with perfect residue field. Let be a separated smooth formal đ±-scheme, đ” be a normal crossing divisor of , be the induced formal log-scheme over đ± and be the canonical morphism. Let X and Z be the special fibers of and đ”, T be a divisor of X and â° be a log-isocrystal on overconvergent along T, that is, a coherent left -module, locally projective of finite type over . We check the relative duality isomorphism: . We prove the isomorphism , which implies their holonomicity as -modules. We obtain the canonical morphism Ïâ° : uT,+(â°)ââ°(â Z). When â° is moreover an isocrystal on overconvergent along T, we prove that Ïâ° is an isomorphism.
- Type
- Research Article
- Information
- Copyright
- Copyright © Foundation Compositio Mathematica 2009
References
- 6
- Cited by