Abstract:
After reviewing some background from the ramification theory of etale sheaves, I will explain how to apply the formalism of category trace to cohomological correspondences. One application is a relative Lefschetz-Verdier formula for locally acyclic objects over a regular base, generalizing a result of Enlin Yang and Yigeng Zhao.