Rigid geometry, Lefschetz-Verdier trace formula and Deligne's conjecture

摘要

In abstract algebraic geometry, the Lefschetz-Verdier trace formula expresses the global trace of an endomorphism induced on cohomology by a correspondence as a sum of local contributions, called local terms, near fixed points. Though the formula holds quite generally, the explicit calculation of local terms is very hard to carry out, and no good formula is known for general correspondences. Over the complex numbers a useful formula is known for a good class called weakly hyperbolic [G-M].