D-modules arithmétiques associés aux isocristaux surconvergents. Cas lisse

Simple item page
dc.creatorCaro, Daniel
dc.date2005-10-20
dc.date.accessioned2026-07-07T06:47:41Z
dc.date.available2026-07-07T06:47:41Z
dc.descriptionLet $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $\mathcal{P}$ a separated smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $X$ a smooth closed subscheme of $P$, $T$ a divisor in $P$ such that $T_X = T \cap X$ is a divisor in $X$ and $\smash{\D}^†_{\mathcal{P}}(\hdag T)$ the weak completion of the sheaf of differential operators on $\mathcal{P}$ with overconvergent singularities along $T$. We construct a fully faithful functor denoted by $ \sp_{X \hookrightarrow \mathcal{P},T,+}$ from the category of isocrystal on $X \setminus T_X$ overconvergent along $T_X$ into the category of coherent $\smash{\D}^†_{\mathcal{P}}(\hdag T) \otimes_\mathbb{Z} \mathbb{Q} $-modules with support in $X$. Next, we prove the commutation of $ \sp_{X \hookrightarrow \mathcal{P},T,+}$ with (extraordinary) inverse images and dual functors. These properties are compatible with Frobenius.
dc.description62 pages
dc.identifierhttps://arxiv.org/abs/math/0510422
dc.identifierhttp://arxiv.org/abs/math/0510422
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/103736
dc.subjectAlgebraic Geometry
dc.subject14F10; 14F30
dc.titleD-modules arithmétiques associés aux isocristaux surconvergents. Cas lisse
dc.typetext

Files

Collections

arXiv