On the calculation of local terms in the Lefschetz-Verdier trace formula and its application to a conjecture of Deligne

DOI10.2307/2946574MaRDI QIDQ1197341zbMATH OpenOpenAlexWikidataFDO

Authors Richard Pink

Publication date 16 January 1993

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2946574

zbMATH Keywords

Lefschetz trace formularationality of the zeta functionresolution of singularities

Mathematics Subject Classification ID

Étale and other Grothendieck topologies and (co)homologies (14F20) Zeta functions and related questions in algebraic geometry (e.g., Birch-Swinnerton-Dyer conjecture) (14G10)

Review text

In \textit{B. Dwork}'s proof of the rationality of the zeta function of a variety over a finite field [see Am. J. Math. 82, 631--648 (1960; Zbl 0173.48501)], the Lefschetz trace formula shown by \textit{A. Grothendieck} [see Sém. Bourbaki 17 (1964/65), Exposé 279 (1966; Zbl 0199.24802)], plays an essential rôle. In order to obtain finer information one likes to split up the total cohomology using algebraic cycles and to describe the Galois representations on the factors. The splitting process is described in terms of correspondences and one wants to have a Lefschetz trace formula for the twist of a correspondence by the Frobenius, or more special, a Lefschetz trace formula for the twist by all sufficiently large powers of a fixed Frobenius. In this context \textit{P. Deligne} has conjectured a certain Lefschetz trace formula in terms of correspondences over a finite field. This is shown in the present paper assuming the resolution of singularities holds. It generalizes L. Illusie's proof in the one-dimensional case [see \textit{A. Grothendieck} and \textit{L. Illusie} in Sémin. Géométrie algébrique 1965-1966, SGA 5, Lect. Notes Math. 589, Exposé III, 73--137 (1977; Zbl 0355.14004)]. For the smooth case of an arbitrary dimension there is an independent proof by \textit{E. Shpiz} [``Deligne's conjecture in the constant coefficient case, Ph. D. Thesis (Harvard Univ. 1990)].

Recommendations

• Lefschetz-Verdier trace formula and a generalization of a theorem of Fujiwara
• scientific article; zbMATH DE number 3947276
• A quadratic refinement of the Grothendieck-Lefschetz-Verdier trace formula
• Local contribution to the Lefschetz fixed point formula
• Une formule des traces locale pour les algèbres de Lie p-adiques.
• A Lefschetz trace formula for \(p^n\)-torsion étale cohomology
• The Lefschetz trace formula for algebraic stacks
• scientific article; zbMATH DE number 125800
• On the Lefschetz trace formula for Lubin-Tate spaces
• Computation of the local generalized \(H\)-Lefschetz number

Cited in

(25)

• Miscellany on traces in \(\ell\)-adic cohomology: a survey
• Rigid geometry, Lefschetz-Verdier trace formula and Deligne's conjecture
• Polynomial maps over finite fields and residual finiteness of mapping tori of group endomorphisms
• Abelian varieties, \(\ell\)-adic representations, and \(\ell\)-independence
• Cohomological methods in intersection theory
• The (non-uniform) Hrushovski-Lang-Weil estimates
• Holomorphic Atiyah-Bott formula for correspondences
• Difference Galois theory and dynamics
• Ramification theory for varieties over a perfect field
• A proof of a generalization of Deligne’s conjecture
• A Lefschetz trace formula for \(p^n\)-torsion étale cohomology: a resume
• scientific article; zbMATH DE number 4006416 (Why is no real title available?)
• scientific article; zbMATH DE number 15172 (Why is no real title available?)
• The topological trace formula
• A quadratic refinement of the Grothendieck-Lefschetz-Verdier trace formula
• Automorphy and irreducibility of some \(l\)-adic representations
• Categorical traces and a relative Lefschetz-Verdier formula
• scientific article; zbMATH DE number 3893307 (Why is no real title available?)
• Intersection of a correspondence with a graph of Frobenius
• Complexes pondérés sur les compactifications de Baily-Borel: Le cas des variétés de Siegel
• Local terms for transversal intersections
• Trace maps in motivic homotopy and local terms
• Chronology and posterity of SGA 5
• Lefschetz-Verdier trace formula and a generalization of a theorem of Fujiwara
• The characteristic class and ramification of an \(\ell\)-adic étale sheaf

This page was built for publication: On the calculation of local terms in the Lefschetz-Verdier trace formula and its application to a conjecture of Deligne

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1197341)