%0 Journal Article
%T A characterization of the overcoherence
%A Daniel Caro
%J Mathematics
%D 2008
%I arXiv
%X Let $\mathcal{P}$ be a proper smooth formal $\mathcal{V}$-scheme, $X$ a closed subscheme of the special fiber of $\mathcal{P}$, $\mathcal{E} \in F\text{-}D ^\mathrm{b}_\mathrm{coh} (\D ^\dag_{\mathcal{P},\mathbb{Q}})$ with support in $X$. We check that $\mathcal{E}$ is $\D ^\dag _{\mathcal{P},\mathbb{Q}}$-overcoherent if and only if, for any morphism $f : \mathcal{P}' \to \mathcal{P}$ of smooth formal $\mathcal{V}$-schemes, $f ^! (\mathcal{E}) $ is $\D ^\dag_{\mathcal{P}', \mathbb{Q}}$-coherent.
%U http://arxiv.org/abs/0802.1260v1