arXiv subjects
Publications and source records attributed to Daniel Caro.
Let $k$ be a perfect field of characteristic $p>0$. Within Berthelot's theory of arithmetic $\mathcal{D}$-modules, we construct a $p$-adic formalism of Grothendieck's six operations for quasi-projective schemes over the basis $\mathrm{Spec}\, k[[t]]$.
For smooth affine varieties in positive characteristic, we identify a slope obstruction to the injectivity of the comparison morphism from rigid cohomology to rationalised crystalline cohomology. This yields a negative answer to a question of Esnault--Kisin--Petrov concerning the injectivity of the de Rham-to-crystalline comparison map for smooth affine schemes over the Witt vectors that admit good compactifications. In contrast, we establish injectivity for certain subspaces defined by slope conditions as well as in cohomological degree one. For the latter case, we also prove the result with coefficients in $F$-able overholonomic $D$-modules leveraging a generalisation of Kedlaya's full faithfulness theorem. Beyond injectivity, we obtain various separation results for the affinoid topology on rigid and convergent cohomology. These results allow us to determine integral algebraic de Rham cohomology modulo torsion and to provide a more conceptual explanation for Ertl and Shiho's construction of varieties for which integral Monsky--Washnitzer cohomology modulo torsion is not finitely generated. Along the way, we prove a new integral comparison theorem between Monsky--Washnitzer cohomology and algebraic de Rham cohomology and we define fractional $p$-adic Tate twists, computing non-integral slopes of crystalline cohomology.
Let $k$ be a field of characteristic $p>0$ not necessarily perfect. Using Berthelot's theory of arithmetic $\mathcal{D}$-modules, we construct a $p$-adic formalism of Grothendieck's six operations for realizable $k$-schemes of finite type.
Let $k$ be a perfect field of characteristic $p>0$. Within Berthelot's theory of arithmetic $\mathcal{D}$-modules, we construct a $p$-adic formalism of Grothendieck's six operations for quasi-projective schemes over $\mathrm{Spec} k[[t]]$.
We introduce the notion of log $p$-smoothness which weakens that of log-smoothness and that of having locally $p$-bases. We extend Berthelot's construction of arithmetic $D$-modules and some properties in this context.
Let $\mathcal{V}$ be a complete discrete valuation ring of unequal characteristic with perfect residue field, $\mathcal{P}$ be a smooth, quasi-compact, separated formal scheme over $\mathcal{V}$, $\mathcal{Z}$ be a strict normal crossing divisor of $\mathcal{P}$ and $\mathcal{P}^\sharp := (\mathcal{P}, \mathcal{Z})$ the induced smooth formal log-scheme over $\mathcal{V}$. In Berthelot's theory of arithmetic $\mathcal{D}$-modules, we work with the inductive system of sheaves of rings $\smash{\hat{\mathcal{D}}}_{\mathcal{P} ^\sharp} ^{(\bullet)} := (\smash{\hat{\mathcal{D}}}_{\mathcal{P}^\sharp} ^{(m)})_{m\in \mathbb{N}}$, where $\smash{\hat{\mathcal{D}}}_{\mathcal{P}^{\sharp}} ^{(m)}$ is the $p$-adic completion of the ring of differential operators of level $m$ over $\mathcal{P}^{\sharp}$. Moreover, he introduced the sheaf $\mathcal{D} ^\dagger_{\mathcal{P} ^{\sharp},\mathbb{Q}}:=\underset{\underset{m}{\longrightarrow}}{\lim}\, \smash{\hat{\mathcal{D}}}_{\mathcal{P}} ^{(m)} \otimes_{\mathbb{Z}}\mathbb{Q}$ of differential operators over $\mathcal{P}$ of finite level. In this paper, we define the notion of overcoherence for complexes of $\smash{\hat{\mathcal{D}}}_{\mathcal{P} ^{\sharp}} ^{(\bullet)} $-modules and check that this notion is compatible to that of overcoherence for complexes of $\mathcal{D} ^\dagger_{\mathcal{P},\mathbb{Q}}$-modules.
Let k be a finite field of characteristic p>0. We construct a theory of weights for overholonomic complexes of arithmetic D-modules with Frobenius structure on varieties over k. The notion of weight behave like Deligne's one in the l-adic framework: first, the six operations preserve weights, and secondly, the intermediate extension of an immersion preserves pure complexes and weights.
In the framework of Berthelot's theory of arithmetic $\mathcal{D}$-modules, we introduce the notion of arithmetic $\mathcal{D}$-modules having potentially-unipotent monodromy. For example, from Kedlaya's semistable reduction theorem, overconvergent isocrystals with Frobenius structure have potentially unipotent monodromy. We construct some coefficients stable under Grothendieck's six operation, containing overconvergent isocrystals with Frobenius structure and whose object have potentially unipotent monodromy. On the other hand, we introduce the notion of arithmetic $\mathcal{D}$-modules having quasi-unipotent monodromy. These objects are overholonomic, contain the isocrystals having potentially unipotent monodromy and are stable under Grothendieck's six operations and under base change.
Within the framework of Berthelot's theory of arithmetic D-modules, we prove the p-adic analogue of Betti number estimates and we give some standard applications.
In the framework of Berthelot's theory of arithmetic $\mathcal{D}$-modules, we prove that Berthelot's characteristic variety associated with a holonomic $\mathcal{D}$-modules endowed with a Frobenius structure has pure dimension. As an application, we get the lagrangianity of the characteristic variety of a log extendable overconvergent $F$-isocrystal.
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.
In this short paper, we give a $p$-adic analogue of the Hard Leftschetz Theorem.
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.
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.
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$.
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))$.
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.
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.