The Woods Hole trace formula is a Lefschetz fixed-point theorem for coherent cohomology on algebraic varieties. It leads to a version of the sheaves-functions dictionary of Deligne, relating characteristic-p-valued functions on the rational points of varieties over finite fields to coherent modules equipped with a Frobenius structure. This book begins with a short introduction to the homological theory of crystals of Bockle and Pink with the aim of introducing the sheaves-functions dictionary as quickly as possible, illustrated with elementary examples and classical applications....
The Woods Hole trace formula is a Lefschetz fixed-point theorem for coherent cohomology on algebraic varieties. It leads to a version of the sheaves-f...