Sheaves and Functions Modulo p: Lectures on the Woods Hole Trace Formula

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 Böckle and Pink with the aim of introducing the sheaves-functions dictiona...