Title: Introduction to Kedlaya's algorithm
Speaker: Nicolas Gurel
Carslaw 273, Friday 13 August
4:05-4:55PM

The zeta function of an algebraic variety, defined over a finite
field, can be expressed in terms of the action of a Frobenius operator
on a $p$-adic cohomology spaces : namely the Monsky-Washnizer
cohomology of the variety. Kedlaya's algorithm is based on an explicit
construction of this cohomology in the case of hyperelliptic curves. 
I will introduce the different objects used by the algorithm through 
a very simple example.