A trace formula for F-crystals (Q793802)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A trace formula for F-crystals |
scientific article |
Statements
A trace formula for F-crystals (English)
0 references
1985
0 references
Let X be a smooth and proper curve over the finite field k, and let E be an F-crystal on X. In this paper the method of \textit{P. Monsky} [Ann. Math., II. Ser. 93, 315-343 (1971; Zbl 0213.475)] is adapted to prove a Lefschetz formula for the trace of F acting on the crystalline cohomology \(H^*(X/W,E)\), where W is the ring of Witt vectors of k, provided that char(k)\(\neq 2\). There is also discussion of a wider class of systems of coefficients for which the result is valid; namely, ''F-crystals with logarithmic singularities'', in which the underlying differential equation of E (on a smooth lifting of X to W) is permitted to have regular singular points.
0 references
F-crystal on proper curve
0 references
crystalline cohomology
0 references
F-crystals with logarithmic singularities
0 references