The rationality part of the Weil conjecture is not easy to prove
(originally due to Dwork), unless one uses etale cohomology and in
particular, the Lefschetz-Grothendieck trace formula. So maybe you can
reserve this for graduate study. For general varieties, the Riemann
Hyp part of the Weil conj is much more difficult than the rationality
part, but for curves, it's possible to give an elementary proof using
only geometry. The reason Weil could prove his conjecture for curves,
even before the invention of etale cohomology, I guess, is that for
curves, the only interesting cohomology group is H^1, and the Jacobian
of a curve tells us all info of its H^1. More precisely, the Tate
module of the Jacobian (viewed as the "Lie algebra" of this group
variety) can be identified with H_1, the dual of H^1. You may remember
that, in my talks in Zheda last summer, we discussed Tate modules of
elliptic curves but not etale cohomology, and that was enough to prove
the Weil conj in this case.
good luck for both of you!
--
You received this message because you are subscribed to the Google Groups "Prof. Shiu-chun Wong's Cocktail Seminar" group.
To post to this group, send email to cocktai...@googlegroups.com.
To unsubscribe from this group, send email to cocktailsemin...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/cocktailseminar?hl=en.