Canonical integral structures on the de Rham cohomology of curves

DOI10.5802/AIF.2490MaRDI QIDQ848122zbMATH OpenOpenAlexFDO

Publication date 22 February 2010

Published in Annales de l’institut Fourier (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0806.2688, https://eudml.org/doc/10454

\(p\)-adic local Langlands arithmetic surfaces curve de Rham cohomology Grothendieck duality rational singularities simultaneous resolution of singularities

Mathematics Subject Classification ID

Curves over finite and local fields (11G20) (p)-adic cohomology, crystalline cohomology (14F30) de Rham cohomology and algebraic geometry (14F40) Local ground fields in algebraic geometry (14G20) Arithmetic ground fields for curves (14H25)

Abstract: For a smooth and proper curve X over the fraction field K of a discrete valuation ring R, we explain (under very mild hypotheses) how to equip the de Rham cohomology H^1_{dR}(X/K) with a canonical integral structure: i.e. an R-lattice which is functorial in finite (generically etale) K-morphisms of X and which is preserved by the cup-product auto-duality on H^1_{dR}(X/K). Our construction of this lattice uses a certain class of normal proper models of X and relative dualizing sheaves. We show that our lattice naturally contains the lattice furnished by the (truncated) de Rham complex of a regular proper R-model of X and that the index for this inclusion of lattices is a numerical invariant of X (we call it the de Rham conductor). Using work of Bloch and Liu-Saito, we prove that the de Rham conductor of X is bounded above by the Artin conductor, and bounded below by the Efficient conductor. We then study how the position of our canonical lattice inside the de Rham cohomology of X is affected by finite extension of scalars.

Review text

Let \(R\) be a complete discrete valuation ring and \(K\) its fraction field. Let \(X_K\) be a smooth and proper curve over \(K\). Under some mild hypothesis, the author explains how to give the de Rham cohomology \(H^1_{\mathrm{dR}}(X_K/K)\) a canonical integral structure. The problem is complicated by the fact that, when \(X_K\) does not have a good reduction, the (relative) de Rham cohomology of a proper and flat (even regular) model can in general be rather pathological (for functoriality and under duality). One of the motivations of studying this integral structure is to understand the completion of \(\lim_{n \to \infty} H^1_{\mathrm{dR}}(X(p^n)/\mathbb Q_p)\), where \(X(p^n)\) is the modular curve of level \(p^n\). This completion is related to \(p\)-adic local Langlands correspondence. More specifically, the author assumes that \(X_K\) has an admissible model that is a proper relative curve \(X\) over \(R\), which is normal with generic fiber isomorphic to \(X_K\), satisfying the following two conditions: (1) \(H^1(X, \mathcal O_X)\) is torsion-free, and (2) \(X\) has rational singularities, i.e. there exists a resolution of singularities \(\rho: X' \to X\) such that \(R^1\rho_* \mathcal O_{X'} = 0\). This hypothesis can be verified in many cases, for example modular curves. The key point of this paper is to use the relative dualizing sheaf \(\omega_{X/R}\) instead of the differential sheaf \(\Omega^1_{X/R}\). The author defines the integral structure of \(H^1_{\mathrm{dR}}(X_K/K)\) to be the hypercohomology of the complex \(\mathcal O_X \to \omega_{X/R}\); it is a finite and free \(R\)-module independent of the choice of the admissible model \(X\). Moreover, the author checks that the integral structure (together with the induced filtration) is canonical in the sense that it is functorial in finite (generically étale) \(K\)-morphisms of \(X_K\) and is preserved by cup-product auto-duality on \(H^1_{\mathrm{dR}}(X_K/K)\). The author also shows that the canonical lattice naturally contains the lattice furnished by the (truncated) de Rham complex of a regular proper \(R\)-model of \(X_K\) and that the length of the cokernel for this inclusion of lattices is a numerical invariant of \(X_K\) (which he calls the de Rham conductor \(\mathrm{dRcond}(X_K/K)\)). In relation with prior works, the author proves that \(\mathrm{dRcond}(X_K/K)\) is bounded above by \(\mathrm{Art}(X_K/K)\), defined by \textit{S. Bloch} [Duke Math. J. 54, 295--308 (1987; Zbl 0632.14018)], and is bounded below by \(\mathrm{Effcond}(X_K/K)\), defined by \textit{Q. Liu} and \textit{T. Saito} [J. Algebr. Geom. 9, No. 3, 409--424 (2000; Zbl 0992.14008)]. The author also studies how the position of canonical lattice inside the de Rham cohomology of \(X_K\) is affected by finite extension of scalars. This paper is very interesting and well written.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Canonical integral structures on the de Rham cohomology of curves

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