 Grothendieck trace theorem

The Grothendieck trace theorem is a result in algebraic geometry and algebraic topology that connects the concepts of trace, a type of linear functional, with the notion of duality in the setting of coherent sheaves on a variety or topological space. While often discussed in various contexts, it is particularly notable in relation to étale cohomology and L-functions in number theory.