Grothendieck's Formula For The Zeta Function
Grothendieck proved an analogue of the Lefschetz fixed point formula for l-adic cohomology theory, and by applying it to the Frobenius automorphism F was able to prove the following formula for the zeta function.
where each polynomial Pi is the determinant of I − TF on the l-adic cohomology group Hi.
The rationality of the zeta function follows immediately. The functional equation for the zeta function follows from Poincaré duality for l-adic cohomology, and the relation with complex Betti numbers of a lift follows from a comparison theorem between l-adic and ordinary cohomology for complex varieties.
More generally, Grothendieck proved a similar formula for the zeta function of a sheaf F0:
as a product over cohomology groups:
The special case of the constant sheaf gives the usual zeta function.
Read more about this topic: Weil Conjectures
Famous quotes containing the words formula and/or function:
“For the myth is the foundation of life; it is the timeless schema, the pious formula into which life flows when it reproduces its traits out of the unconscious.”
—Thomas Mann (1875–1955)
“Of all the inhabitants of the inferno, none but Lucifer knows that hell is hell, and the secret function of purgatory is to make of heaven an effective reality.”
—Arnold Bennett (1867–1931)