Hard Lefschetz Theorem in $p$-adic cohomology
In this short paper, we give a $p$-adic analogue of the Hard Leftschetz Theorem.
Source author record
Daniel Caro
Daniel Caro appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
9works
2topics
1close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
9 published item(s)
preprint2015arXiv
Overcoherence implies holonomicity
Let $\V$ be a mixed characteristic complete discrete valuation ring with perfect residue field. Let $\X$ be a smooth formal scheme over $\V$. We prove than a $\D ^†_{\X,\Q} $-module which is overcoherent after any change of basis is an holonomic $\D ^†_{\X,\Q} $-module. Furthermore, we check that this implies than a bounded complex $\E$ of $\D ^†_{\X,\,\Q}$-modules is overholonomic after any change of basis if and only if, for any integer $j$, $\mathcal{H} ^{j} (\E) $ is overholonomic after any change of basis.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
On Beilinson's equivalence for $p$-adic cohomology
In this short note, we show a p-adic analogue of Beilinson's equivalence comparing two derived categories: the derived category of holonomic modules and derived category of modules whose cohomologies are holonomic.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
On the stability by tensor products of complexes of arithmetic D-modules
Let $V$ be a complete discrete valued ring of mixed characteristic $(0,p)$, $K$ its field of fractions, $k$ its residue field which is supposed to be perfect. Let $X$ be a separated $k$-scheme of finite type and $Y$ be a smooth open of $X$. We check that the equivalence of categories $sp_{(Y,X),+}$ (from the category of overconvergent isocrystals on $(Y,X)/K$ to that of overcoherent isocrystals on $(Y,X)/K$) commutes with tensor products. Next, in Berthelot's theory of arithmetic $\mathcal{D}$-modules, we prove the stability under tensor products of the devissability in overconvergent isocrystals. With Frobenius structures, we get the stability under tensor products of the overholonomicity.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
On the stability of the overconvergence under the direct image by a proper smooth morphism
Up to a translation in the language of arithmetic $\D$-modules, we prove a conjecture of Berthelot on the preservation of the overconvergence under the direct image by a smooth proper morphism of varieties over a perfect field of characteristic $p>0$.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Sur la préservation de la cohérence par image inverse extraordinaire par une immersion fermée
Let $\mathcal{V}$ be a complete discrete valuation ring of unequal characteristic with perfect residue field, $u\colon \mathcal{Z} \hookrightarrow \mathfrak{X}$ be a closed immersion of smooth, quasi-compact, separated formal schemes over $\mathcal{V}$, $T$ be a divisor of $X$ such that $U:= T \cap Z$ is a divisor of $Z$, $\mathfrak{D}$ a strict normal crossing divisor of $\mathfrak{X}$ such that $u ^{-1} (\mathfrak{D})$ is a strict normal crossing divisor of $\mathcal{Z}$. We pose $\mathfrak{X} ^{\sharp}:= (\mathfrak{X}, \mathfrak{D})$, $\mathcal{Z} ^{\sharp}:= (\mathcal{Z}, u ^{-1}\mathfrak{D})$ and $u ^{\sharp}\colon \mathcal{Z} ^{\sharp} \hookrightarrow \mathfrak{X} ^{\sharp}$ the exact closed immersion of smooth logarithmic formal schemes over $\V$. Let $\mathcal{E} ^{(\bullet)} \in \smash{\underrightarrow{LD}} ^{\mathrm{b}}_{\mathbb{Q}, \mathrm{coh}} (\smash{\hat{\mathcal{D}}}_{\mathfrak{X} ^{\sharp}} ^{(\bullet)} (T))$ and $\mathcal{E} := \underrightarrow{\lim} ~ (\mathcal{E} ^{(\bullet)}) $ the corresponding objet of $D ^{\mathrm{b}}_{\mathrm{coh}}(\smash{\mathcal{D}} ^†_{\mathfrak{X} ^{\sharp}}(\hdag T)_{\mathbb{Q}})$. In this paper, we study sufficient conditions on $\mathcal{E}$ so that if $u ^{\sharp !} (\mathcal{E}) \in D ^{\mathrm{b}}_{\mathrm{coh}}(\smash{\mathcal{D}} ^†_{\mathcal{Z} ^{\sharp}}(\hdag U)_{\mathbb{Q}})$ then $u ^{\sharp (\bullet) !} (\mathcal{E} ^{(\bullet)}) \in \smash{\underrightarrow{LD}} ^{\mathrm{b}}_{\mathbb{Q}, \mathrm{coh}} (\smash{\hat{\mathcal{D}}}_{\mathcal{Z} ^{\sharp}} ^{(\bullet)} (U))$.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
The formalism of Grothendieck's six operations in p-adic cohomologies
Let $\mathcal{V}$ be a complete discrete valued ring of mixed characteristic $(0,p)$, $K$ its field of fractions, $k$ its residue field which is supposed to be perfect. Let $X$ be a separated $k$-scheme of finite type and $Y$ be an open subscheme of $X$. We construct the category $F\text{-}D ^\mathrm{b}_\mathrm{ovhol} (\mathcal{D} ^†_{(Y,X)/K})$ of overholonomy type over $(Y,X)/K$. We check that these categories satisfy a formalism of Grothendieck's six operations.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
On the stability of the holonomicity without Frobenius structure: the case of curves
By using Christol and Mebkhout's algebrization and finiteness theorem, we prove that in the case of smooth curves, Berthelot's strongest conjecture on the stability of holonomicity is still valid without Frobenius structure but under some non-Liouville type hypotheses.
0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv
Overholonomic arithmetical D-modules
Let $k$ be a perfect field of characteristic $p >0$, $U$ be a variety over $k$ and $F$ be a power of Frobenius. We construct the category of overholonomic arithmetical ($F$-)$\D$-modules over $U$ and the category of overholonomic ($F$-)complexes over $U$. We prove that overholonomic complexes over $U$ are stables by direct images, inverse images, extraordinary inverse images, extraordinary direct images, dual functors. Moreover, in the smooth case, we check that unit-root overconvergent $F$-isocrystals are overholonomic. In particular, they are holonomic.
0 citations0 reviewsNo code linkedOpen access