Abstract
The main result of this chapter is that \(\mathscr {E}_K^\dagger \)-valued rigid cohomology \(H^i_\mathrm {rig}(X/\mathscr {E}_K^\dagger ,\mathscr {E})\) is finite dimensional for any smooth scheme \(X/\mathscr {E}_K^\dagger \) and any \(\mathscr {E}\in F\text {-}\mathrm {Isoc}^\dagger (X/\mathscr {E}_K^\dagger )\), and moreover the base change of these vector spaces to \(\mathscr {E}_K\) coincides with classical rigid cohomology. After introducing the appropriate notion of a dagger algebra in our context, the key point is to prove a relative version of the p-adic local monodromy theorem for \((\varphi ,\nabla )\)-modules over Rbba rings attached to these dagger algebras, which we do by descending the corresponding result from affinoid algebras over \(\mathscr {E}_K\). Once certain other properties of \(\mathscr {E}_K^\dagger \)-valued rigid cohomology have been established, such as excision, a Gysin isomorphism&c. have been established, the eventual proof of finite dimensionality for smooth varieties proceeds in the usual way. Base change is proved simultaneously, and this then allows us to deduce results such as a Künneth formula from their counterparts over \(\mathscr {E}_K\).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Berthelot, P.: Cohomologie rigide et cohomologie ridige à supports propres, première partie. Preprint (1996)
Bosch, S.: Lectures on Formal and Rigid Geometry. No. 2105 in Lecture Notes in Mathematics. Springer-Verlag (2014)
Bosch, S., Günzer, U., Remmert, R.: Non-Archimedean Analysis. No. 261 in Grundlehren der Mathematischen Wissenschaften. Springer-Verlag (1984)
Gabber, O.: \(K\)-theory of Henselian local rings and henselian pairs. In: Algebraic \(K\)-Theory, Commutative Algebra, and Algebraic Geometry (Santa Margherita Ligure, 1989), Contemporary Mathematics, vol. 126, pp. 59–70. American Mathematical Society (1992)
Goss, D.: Basic Structures of Function Field Arithmetic. No. 35 in Ergebnisse der Mathematik und ihrer Grenzgebiete (3). Springer-Verlag (1996)
Grosse-Klöne, E.: Rigid analytic spaces with overconvergent structure sheaf. K. reine angew. Math. 519, 73–95 (2000)
Katz, N., Oda, T.: On the differentiation of De Rham cohomology classes with respect to parameters. J. Math. Kyoto Univ. 8(2), 199–213 (1968)
Kedlaya, K.: More étale covers of affine spaces in positive characteristic. J. Algebraic Geom. 14(1), 187–192 (2005)
Kedlaya, K.: Finiteness of rigid cohomology with coefficients. Duke Math. J. 134(1), 15–97 (2006)
Lang, S.: Algebra, Graduate Texts in Mathematics, vol. 211, 3rd edn. Springer-Verlag, New York (2002)
Matsuda, S.: Local indices of \(p\)-adic differential operators corresponding to Artin-Schreier-Witt coverings. Duke Math. J. 77(3), 607–625 (1995)
Monsky, P., Washnitzer, G.: Formal cohomology. I. Ann. Math. 88, 181–217 (1968)
Tsuzuki, N.: On the Gysin isomorphism of rigid cohomology. Hiroshima Math. J. 29(3), 479–527 (1999)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Lazda, C., Pál, A. (2016). Finiteness with Coefficients via a Local Monodromy Theorem. In: Rigid Cohomology over Laurent Series Fields. Algebra and Applications, vol 21. Springer, Cham. https://doi.org/10.1007/978-3-319-30951-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-30951-4_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-30950-7
Online ISBN: 978-3-319-30951-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)