On \(p\)-adic monodromy
type: Item
instance of: scholarly article
title: On \(p\)-adic monodromy
zbMATH Open document ID: 0748.14006
DOI: 10.1007/BF02571528
author: Jan Stienstra
author: M. van der Put
author: Bert van der Marel
published in: Mathematische Zeitschrift
publication date: 1992-09-27T00:00:00Z
full work available at URL: https://eudml.org/doc/174319
review text: Let \(f:X\to S\) be a smooth projective morphism of smooth schemes over an open part of \(\text{Spec} \mathbb{Z}\) with \(S=\text{Spec} A\) affine and \(H^ m(X,{\mathcal O}_ X)\) a free \(A\)-module for every \(m\). Section 2 of the paper recalls the construction and some properties of the sheaf \({\mathcal W}{\mathcal O}_ X\) of generalized Witt vectors on \(X\) and gives the important consequences of the above freeness hypothesis for the cohomology groups \(H^ m(X,{\mathcal W}{\mathcal O}_ X)\). There is a specialization homomorphism from \(H^ m(X,{\mathcal W}{\mathcal O}_ X)\) onto the cohomology group \(H^ m(X_ s,{\mathcal W}{\mathcal O}_{X_ s})\) of the sheaf of \(p\)-typical Witt vectors on the fiber of \(f\) at a closed point \(s\in S\) of characteristic \(p\). It is compatible with the Frobenius endomorphism \(F_ p\) on the cohomology groups. Thus one can overview all \(H^ m(X_ s,{\mathcal W}{\mathcal O}_{X_ s})\) \((s\in S)\) from \(H^ m(X,{\mathcal W}{\mathcal O}_ X)\). Choosing a basis for \(H^ m(X,{\mathcal O}_ X)\) and a lifting thereof in \(H^ m(X,{\mathcal W}{\mathcal O}_ X)\) one can associate with the Frobenius operator \(F_ p\) a Hasse-Witt matrix \(B_ p\) with entries in \(A\). Section 3 shows that via étale extension and \(p\)-adic completion of the open part of \(S\) where the matrix \(B_ p\) is invertible one can construct a ring \(R^{\text{ét}}\) such that \(H^ m(X\otimes R^{\text{ét}},{\mathcal W}{\mathcal O}_{X\otimes R^{\text{ét}}})\) has a \({\mathcal W}(R^{\text{ét}})\)-basis consisting of vectors fixed by \(F_ p\). The \(\mathbb{Z}_ p\)-span \(\Lambda\) of this new basis and the matrix, with entries in \(R^{\text{ét}}\), relating it to the original basis of \(H^ m(X,{\mathcal O}_ X)\) should be regarded as \(p\)-adic period lattice and \(p\)-adic period matrix. The main theoretical results of the paper express the action of Frobenius \(F_ p\) on \(H^ m(X_ s,{\mathcal W}{\mathcal O}_{X_ s})\) for every \(s\in S\) where \(B_ p\) is inverti…
Mathematics Subject Classification ID: 14F30
Mathematics Subject Classification ID: 14G20
Mathematics Subject Classification ID: 12H25
Mathematics Subject Classification ID: 13K05
Mathematics Subject Classification ID: 33C70
zbMATH DE Number: 59948
zbMATH Keywords: generalized Witt vectors
zbMATH Keywords: Hasse-Witt matrix
zbMATH Keywords: Picard-Fuchs differential equations
zbMATH Keywords: Gauss-Manin connection
zbMATH Keywords: \(p\)-adic monodromy
zbMATH Keywords: hypergeometric curves
MaRDI profile type: Publication
cites work: Formal groups arising from algebraic varieties
cites work: Q4085869
cites work: Q5593717
cites work: Q3769025
cites work: Q3901604
cites work: On variation of Hodge-Tate structures
cites work: Complexe de de\thinspace Rham-Witt et cohomologie cristalline
cites work: Les suites spectrales associées au complexe de De Rham-Witt
cites work: Q3215315
cites work: Vorlesungen über die Hypergeometrische Funktion
cites work: On the nilpotence of the hypergeometric equation
cites work: Q3972636
description: scientific article; zbMATH DE number 59948