A trace formula for F-crystals (Q793802): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:14, 5 March 2024
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