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:
““It’s hard enough to adjust [to the lack of control] in the beginning,” says a corporate vice president and single mother. “But then you realize that everything keeps changing, so you never regain control. I was just learning to take care of the belly-button stump, when it fell off. I had just learned to make formula really efficiently, when Sarah stopped using it.””
—Anne C. Weisberg (20th century)
“Our father has an even more important function than modeling manhood for us. He is also the authority to let us relax the requirements of the masculine model: if our father accepts us, then that declares us masculine enough to join the company of men. We, in effect, have our diploma in masculinity and can go on to develop other skills.”
—Frank Pittman (20th century)