On a p-adic invariant cycles theorem

DOI10.1515/CRELLE-2013-0117MaRDI QIDQ2634633zbMATH OpenOpenAlexFDO

Authors Bruno Chiarellotto, Robert F. Coleman, Valentina Di Proietto, Adrian Iovita

Publication date 18 February 2016

Published in Journal für die Reine und Angewandte Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1207.7110

zbMATH Keywords

invariant cycle theoremisocrystalmonodromy operatorrigid cohomologysemistable reduction

Mathematics Subject Classification ID

Algebraic cycles (14C25) (p)-adic cohomology, crystalline cohomology (14F30) Local ground fields in algebraic geometry (14G20)

Abstract: For a proper semistable curve $X$ over a DVR of mixed characteristics we reprove the "invariant cycles theorem" with trivial coefficients (see Chiarellotto, 1999) i.e. that the group of elements annihilated by the monodromy operator on the first de Rham cohomology group of the generic fiber of $X$ coincides with the first rigid cohomology group of its special fiber, without the hypothesis that the residue field of $calV$ is finite. This is done using the explicit description of the monodromy operator on the de Rham cohomology of the generic fiber of $X$ with coefficients convergent $F$-isocrystals given in Coleman and Iovita (2010). We apply these ideas to the case where the coefficients are unipotent convergent $F$-isocrystals defined on the special fiber (without log-structure): we show that the invariant cycles theorem does not hold in general in this setting. Moreover we give a sufficient condition for the non exactness.

Review text

Let \(V\) be a discrete valuation ring with perfect residue field \(k\) of characteristic \(p>0\) and with fraction field \(K\) of characteristic \(0\). It contains the fraction field \(K_0\) of \(W(k)\). Let \(X\) be a proper regular scheme over \(V\) with semistable reduction, with special fibre \(X_k\) and generic fibre \(X_K\). The theory of log schemes and log crystalline cohomology allows us to define on the de Rham cohomology groups \(H^i_{\mathrm{dR}}(X_K)\) of \(X_K\) a nilpotent monodromy operator \(N\). On the other hand, we have the rigid cohomology groups \(H^i_{\mathrm{rig}}(X_k/K_0)\) of \(X_k\) (which are finite dimensional \(K_0\)-vector spaces), together with a natural map \(H^i_{\mathrm{rig}}(X_k/K_0)\otimes_{K_0}K{\iota}{\longrightarrow} H^i_{\mathrm{dR}}(X_K)\). The composition \[ H^i_{\mathrm{rig}}(X_k/K_0)\otimes_{K_0}K{\iota}{\longrightarrow} H^i_{\mathrm{dR}}(X_K){N}{\longrightarrow} H^i_{\mathrm{dR}}(X_K) \] is know to be the zero map. A fundamental question now is whether this sequence is actually exact. If \(k\) is finite then this exactness would be implied by the correctness of the monodromy weight conjecture in this context. As this conjecture is known to be true for \(X\) of (relative) dimension \(1\) and \(2\), the exactness of the sequence is known accordingly. For \(i=1\) one even obtains (for such \(X\)) an exact sequence \[ 0\to H^1_{\mathrm{rig}}(X_k/K_0)\otimes_{K_0}K{\iota}{\longrightarrow} H^1_{\mathrm{dR}}(X_K){N}{\longrightarrow} H^1_{\mathrm{dR}}(X_K).\tag{cyc} \] In the case of relative dimension \(1\) (i.e. semistable curves), several alternative definitions of \(N\) acting on \(H^1_{\mathrm{dR}}(X_K)\) have been given in past, as well as versions with nontrivial coefficients (i.e. in log-\(F\)-isocrystals). In the present paper, using one of these alternative definitions, the exactness of (cyc) is proven without assuming that \(k\) be finite. Moreover, the question is studied for which class of nontrivial coefficients (assumed to be induced from convergent isocrystals on the special fibre \(X_k\)) exactness of the corresponding sequence analogous to (cyc) can be expected. For unipotent convergent isocrystals, a criterion for exactness of the sequence is given; it shows in particular that exactness often fails to hold.

Recommendations

• Rigid cohomology and invariant cycles for a semistable log scheme
• Spectral sequence of weights in Hyodo-Kato cohomology
• On the \(p\)-adic local invariant cycle theorem
• The Picard-Lefschetz formula for p-adic cohomology
• On nearby cycles and 𝒟-modules of log schemes in characteristic p>0

Cited in

(9)

• Rigid cohomology and invariant cycles for a semistable log scheme
• A combinatorial description of the monodromy of log curves
• Local acyclicity in \(p\)-adic cohomology
• scientific article; zbMATH DE number 4101358 (Why is no real title available?)
• On the \(p\)-adic local invariant cycle theorem
• Cycle classes in overconvergent rigid cohomology and a semistable Lefschetz $(1,1)$ theorem
• Weight-monodromy conjecture over equal characteristic local fields
• Invariant functions on p-divisible groups and the p-adic corona problem
• On cyclotomic units connected with p-adic characters

This page was built for publication: On a \(p\)-adic invariant cycles theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2634633)