Categorical trace and relative Lefschetz-Verdier formula

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.