Rigid geometry, Lefschetz-Verdier trace formula and Deligne's conjecture (Q1359165): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q756201 |
||
Property / reviewed by | |||
Property / reviewed by: Q1298102 / rank | |||
Revision as of 20:56, 20 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Rigid geometry, Lefschetz-Verdier trace formula and Deligne's conjecture |
scientific article |
Statements
Rigid geometry, Lefschetz-Verdier trace formula and Deligne's conjecture (English)
0 references
28 August 1997
0 references
The author shows among other results the Deligne conjecture \[ \text{Lef(Fr}^{n }\cdot b,K) =\sum_{D\in\Pi_{0}(\text{Fix Fr}^{n}\cdot b)} \text{ naive.loc}_{p}( \text{Fr}^{n}\cdot b,K)\tag{1} \] for \(U\) an open subset of a proper scheme \(X\), for \(b: V\to U\times_{k}U\) a correspondence (\(k\) the algebraic closure of a finite field) for \(K\) an element of the derived category \(D^{b}_{c}(U,\overline{\mathbb Q}_{l})\) of bounded complexes with constructible cohomology sheaves, for the corresponding Frobenius map Fr and if \(n\) is suitably large. Here Lef means the global trace, naive.loc means the naive local term (as an important property this term vanishes if the fiber of \(K\) is zero), and Fr means the geometric Frobenius over \(\mathbb{F}_q\). This result follows by upgrading in stages the Lefschetz-Verdier trace formula as found in Sémin. Géom. Algebr. 1965-66, SGA5, Lect. Notes Math. 589 [Exposé III, 73-137 (1977; Zbl 0355.14004) by \textit{A. Grothendieck}, and Exposé III B, 138-203 (1977; Zbl 0354.14006) by \textit{L. Illusie}]. For a proper statement of (1), it is necessary to use rigid geometry.
0 references
Lefschetz-Verdier trace formula
0 references
Deligne conjecture
0 references
rigid geometry
0 references
proper scheme
0 references
constructible cohomology sheaves
0 references
Frobenius map
0 references
positive characteristic
0 references