On infiniteness of integral overconvergent de Rham-Witt cohomology modulo torsion (Q2223775)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On infiniteness of integral overconvergent de Rham-Witt cohomology modulo torsion |
scientific article |
Statements
On infiniteness of integral overconvergent de Rham-Witt cohomology modulo torsion (English)
0 references
1 February 2021
0 references
Let \(k\) be a perfect field of positive characteristic \(p\), and let \(X\) be a smooth variety over \(k\). It has always been known that the integral overconvergent de Rham--Witt cohomology \(H^{\bullet}\left(X,W^{\dagger}\Omega^{\bullet}_{X/k}\right)\) of \(X\) is not always a finite \(W\left(k\right)\)-module. However, the overconvergent de Rham-Witt cohomology \(H^{\bullet}\left(X,W^{\dagger}\Omega^{\bullet}_{X/k}\right)\otimes\mathbb{Q}\) of \(X\) is isomorphic to its rigid cohomology; in particular, it is finite-dimensional as a \(\operatorname{Frac}\left(W\left(k\right)\right)\)-vector space. Therefore, one could hope that its integral overconvergent de Rham-Witt cohomology modulo torsion: \[ \overline{H}^{\bullet}\left(X,W^{\dagger}\Omega^{\bullet}_{X/k}\right)\coloneqq\operatorname{Im}\left(H^{\bullet}\left(X,W^{\dagger}\Omega^{\bullet}_{X/k}\right)\to H^{\bullet}\left(X,W^{\dagger}\Omega^{\bullet}_{X/k}\right)\otimes\mathbb{Q}\right) \] is a finite \(W\left(k\right)\)-module. This article shows that this is not true in general, for any such \(k\). The authors first demonstrate that for any \(a,b\geqslant2\) coprime integers prime to \(p\), and any \(\alpha\in k^{\times}\), if \(X\) denotes the affine smooth plane curve defined by the equation \(y^{a}+x^{b}+\alpha=0\), then \(\overline{H}^{\bullet}\left(X,W^{\dagger}\Omega^{\bullet}_{X/k}\right)\) is not finitely generated over \(W\left(k\right)\). Their theorem 3.5. goes even further. They prove, under a technical assumption, that the integral overconvergent de Rham-Witt cohomology modulo torsion of a wide family of \(C_{ab}\)-curves is also infinitely generated. Along the way, they give many tools to build new counterexamples out of known ones. Yet, they manage to give a finiteness result. When \(X\) is an affine smooth curve over \(k\) whose smooth compactification has genus \(0\), then \(\overline{H}^{\bullet}\left(X,W^{\dagger}\Omega^{\bullet}_{X/k}\right)\) is finitely generated over \(W\left(k\right)\). The aforementioned infiniteness results are however so general, that they conjecture that this is the only kind of affine smooth curves over \(k\) satisfying this finiteness property. The ending of the article also gives an infiniteness result for higher dimensional varieties. If \(X\) is a projective smooth variety over \(k\), and \(a\geqslant2\) is an integer prime to \(p\), then there exists a generically étale morphism \(f\colon Y\to X\) of degree \(a\) such that \(Y\) is smooth, and its integral overconvergent de Rham-Witt cohomology modulo torsion is not finitely generated. All these results predate the announcement by Abe and Crew that one cannot find an integral cohomology theory compatible with finite étale descent, whose rational cohomology computes rigid cohomology, and satisfying finiteness results. Nevertheless, this article will still be of interest for future readers, as it contains many practical tools, and explicit computations in \(p\)-adic cohomology. Also, their careful exposition of previously known results makes easy the understanding of their proofs. For instance, they recall the demonstration of a proposition by Denef and Vercauteren [\textit{J. Denef} and \textit{F. Vercauteren}, Finite Fields Appl. 12, No. 1, 78--102 (2006; Zbl 1104.11032)] whose ideas are needed in the article. This is also an interesting application of the many recent comparison theorems in \(p\)-adic cohomology, such as between integral Monsky--Washnitzer cohomology and integral overconvergent de Rham-Witt cohomology, or in the rational counterpart with rigid cohomology.
0 references
infiniteness
0 references
overconvergent de Rham-Witt cohomology
0 references
\(C_{ab}\)-curves
0 references
0 references
0 references