Source author record

Daniel Caro

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.NT

Catalog footprint

Research overview

9works

2topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

Hard Lefschetz Theorem in $p$ -adic cohomology

In this short paper, we give a $p$ -adic analogue of the Hard Leftschetz Theorem.

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.

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.

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.

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$ .

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))$ .

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.

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.

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.

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.

Daniel Caro

Research overview

Is this your work?

9 publications

Hard Lefschetz Theorem in $p$ -adic cohomology

Overcoherence implies holonomicity

On Beilinson's equivalence for $p$ -adic cohomology

On the stability by tensor products of complexes of arithmetic D-modules

On the stability of the overconvergence under the direct image by a proper smooth morphism

Sur la préservation de la cohérence par image inverse extraordinaire par une immersion fermée

The formalism of Grothendieck's six operations in p-adic cohomologies

On the stability of the holonomicity without Frobenius structure: the case of curves

Overholonomic arithmetical D-modules

See the researcher in context

Building this map preview

Daniel Caro

Research overview

Is this your work?

9 publications

Hard Lefschetz Theorem in ppp-adic cohomology

Overcoherence implies holonomicity

On Beilinson's equivalence for ppp-adic cohomology

On the stability by tensor products of complexes of arithmetic D-modules

On the stability of the overconvergence under the direct image by a proper smooth morphism

Sur la préservation de la cohérence par image inverse extraordinaire par une immersion fermée

The formalism of Grothendieck's six operations in p-adic cohomologies

On the stability of the holonomicity without Frobenius structure: the case of curves

Overholonomic arithmetical D-modules

See the researcher in context

Building this map preview

Hard Lefschetz Theorem in $p$ -adic cohomology

On Beilinson's equivalence for $p$ -adic cohomology