Rigid geometry, Lefschetz-Verdier trace formula and Deligne’s conjecture. (English) Zbl 0920.14005

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 A. Grothendieck, and Exposé III B, 138-203 (1977; Zbl 0354.14006) by L. Illusie]. For a proper statement of (1), it is necessary to use rigid geometry.


14F20 Étale and other Grothendieck topologies and (co)homologies
14G20 Local ground fields in algebraic geometry
14G15 Finite ground fields in algebraic geometry
Full Text: DOI


[1] Artin, M., Grothendieck, A., Verdier, J.L.: Théorie des topos et cohomologie étale des schémas, Lecture Notes in Math., vol. 269, 270, 305, Springer Verlag, Berlin Heidelberg New York · Zbl 0234.00007
[2] Berkovich, V.G.: étale cohomology for non-archimedean analytic spaces, Inst. Hautes Études Sci. Publ. Math. 5-161 (1993) · Zbl 0804.32019
[3] Bourbaki, N., Topologie generale (1971), Paris: Hermann, Paris · Zbl 0249.54001
[4] Deligne, P., Théoremè de finitude, SGA 41/2, Lecture Notes in Math., vol. 569, 233-261 (1977), Berlin Heidelberg New York: Springer Verlag, Berlin Heidelberg New York
[5] Elkik, R., Solutions d’équations a coefficients dans un anneau hensélian, Ann. scient. Éc. Norm. Sup. no. 4e série tome, 6, 553-604 (1973) · Zbl 0327.14001
[6] Ekedahl, T.; Carrier, P., On the Adic Formalism, The Grothendieck Festshrift, vol. II, 197-218 (1990), Boston Basel Berlin: Birkhäuser, Boston Basel Berlin · Zbl 0821.14010
[7] Flicker, Y., Kazhdan, D.A.: Geometric Ramanujan conjecture and Drinfeld reciprocity law, In: Number theory, Trace formulas and discrete groups, Academic Press, 1989, pp. 201-218 · Zbl 0674.10025
[8] Fujiwara, K., Theory of tubular neighborhood in etale topology, Duke Math. J., 80, 15-57 (1995) · Zbl 0872.14014
[9] Grothendieck, A., Dieudonné, J.: Eléments de Géométrie Algébrique II, Étude globale élémentaire de quelques classes de morphismes, Inst. Hautes Études Sci. Publ. Math., vol. 8, 1961
[10] Goresky, M., MacPherson, R.: Local contribution to the Lefschetz Fixed Point Formula, preprint · Zbl 0786.55001
[11] Gruson, L.; Raynaud, M., Critès de platitude et de projectivité, Invent. Math., 13, 1-89 (1971) · Zbl 0227.14010
[12] Illusie, L., Formule de Lefschetz, Calculs de termes locaux, SGA5, 74-203 (1977), Berlin Heidelberg New York: Springer Verlag, Berlin Heidelberg New York
[13] Illusie, L.: Exposé I, autour du théorème de monodromie locale, prépublications, Université de Paris-Sud, lOrsay · Zbl 0837.14013
[14] Illusie, L., Travaux de J.L. Verdier, L’enseigment Mathematique, 36, 369-391 (1990) · Zbl 0719.01012
[15] Jannsen, U., Continuous etale cohomology, Math. Ann., 280, 2, 207-245 (1988) · Zbl 0649.14011
[16] Laumon, G.: prepublications (1991), Université de Paris-Sud, Orsay
[17] Pink, R., On the calculation of local terms in the Lefschetz-Verdier trace formula and its application to a conjecture of Deligne, Ann. of Math., 135, 483-525 (1992) · Zbl 0769.14007
[18] Raynaud, M.: Géométrie analytic rigide, d’après Tate, Kiehl, Bull. Soc. Math. France Mémoir 39-40. 319-327 (1974) · Zbl 0299.14003
[19] Shpiz, E.: Deligne’s conjecture in the constant coefficient case, preprint (1990)
[20] Tate, J., Rigid Analytic Spaces, Invent. Math., 12, 257-289 (1971) · Zbl 0212.25601
[21] Verdier, J. L., The Lefschetz fixed point theorem in etale cohomology, Proceedings of a conference on local fields (1967), Berlin Heidelberg New York: Springer Verlag, Berlin Heidelberg New York · Zbl 0169.52401
[22] Zink, T.: The Lefschetz trace formula for an open algebraic surface, In: Automorphic Forms, Shimura varieties and L-functions, vol. II (L. Clozel and J.S. Milne, eds.), Perspectives in Math., 1989, pp. 337-376 · Zbl 0759.14013
[23] Zariski, O.; Samuel, P., Commutative algebraII (1975), Berlin Heidelberg New York: Springer Verlag, Berlin Heidelberg New York
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.