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:
“Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.”
—Walter Pater (1839–1894)
“The information links are like nerves that pervade and help to animate the human organism. The sensors and monitors are analogous to the human senses that put us in touch with the world. Data bases correspond to memory; the information processors perform the function of human reasoning and comprehension. Once the postmodern infrastructure is reasonably integrated, it will greatly exceed human intelligence in reach, acuity, capacity, and precision.”
—Albert Borgman, U.S. educator, author. Crossing the Postmodern Divide, ch. 4, University of Chicago Press (1992)