A characterization of the overcoherence

Simple item page
dc.creatorCaro, Daniel
dc.date2008-02-11
dc.date.accessioned2026-07-07T09:19:47Z
dc.date.available2026-07-07T09:19:47Z
dc.descriptionLet $\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 ^†_{\mathcal{P},\mathbb{Q}})$ with support in $X$. We check that $\mathcal{E}$ is $\D ^†_{\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 ^†_{\mathcal{P}', \mathbb{Q}}$-coherent.
dc.description10 pages
dc.identifierhttps://arxiv.org/abs/0802.1260
dc.identifierhttp://arxiv.org/abs/0802.1260
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/154518
dc.subjectAlgebraic Geometry
dc.subject14F30
dc.titleA characterization of the overcoherence
dc.typetext

Files

Collections

arXiv