Sheaves and Functions Modulo p

Describes how to use coherent sheaves and cohomology to prove combinatorial and number theoretical identities over finite fields.