Overconvergent log isocrystals and holonomicity

Daniel Caro

Published 2006-03-24, updated 2007-07-30Version 2

Let V be a complete discrete valuation ring of unequal characteristic with perfect residue field. Let X be smooth separated formal V-scheme, Z a strict normal crossing divisor of X and T a divisor of the special fiber of X. We study in this work isocrystals on the smooth log formal V-scheme associated to (X,Z) overconvergent along T.