We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
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.
