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:
“My formula for greatness in human beings is amor fati: that one wants to change nothing, neither forwards, nor backwards, nor in all eternity. Not merely to endure necessity, still less to hide it—all idealism is mendacity in the face of necessity—but rather to love it.”
—Friedrich Nietzsche (1844–1900)
“It is not the function of our Government to keep the citizen from falling into error; it is the function of the citizen to keep the Government from falling into error.”
—Robert H. [Houghwout] Jackson (1892–1954)