Mathematics – Algebraic Geometry
Scientific paper
2008-02-11
Mathematics
Algebraic Geometry
10 pages
Scientific paper
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.
No associations
LandOfFree
A characterization of the overcoherence does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A characterization of the overcoherence, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A characterization of the overcoherence will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-624713