摘要翻译：
设$\mathcal{P}$是一个完全光滑的形式$\mathcal{V}$-方案，$x$是在$x$中支持的$\mathcal{P}$，$\mathcal{E}\in f\text{-}D^\mathrm{b}_\mathrm{coh}(\D^\dag_{\mathcal{P},\mathbb{Q}}）$特殊纤维的闭子方案。我们检查$\mathcal{E}$是$\d^\dag_{\mathcal{P}，\mathbb{Q}}$-过一致当且仅当，对于任何形态学$F:\mathcal{P}'\到\mathcal{P}$的光滑形式$\mathcal{V}$-方案，$f^！(\mathcal{E}）$是$\d^\dag_{\mathcal{P}‘,\mathbb{Q}}$-一致。
---
英文标题：
《A characterization of the overcoherence》
---
作者：
Daniel Caro
---
最新提交年份：
2008
---
分类信息：

一级分类：Mathematics        数学
二级分类：Algebraic Geometry        代数几何
分类描述：Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology
代数簇，叠，束，格式，模空间，复几何，量子上同调
--

---
英文摘要：
  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.
---
PDF链接：
https://arxiv.org/pdf/0802.1260