MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 3 deleted 320 characters in body; added 119 characters in body

The answer is yes. There's a version of Weil conjectures for all algebraic varieties, though you have to be a bit careful (if you're not projective

I don't know what Weil's orginal proof was, but proving the Riemann hypothesis is a bit different).

However, Weil conjectures for P^2 is extremely easy, it's pretty boring. If just connects the fact that since the cohomology of P^2 is 1 dimensional in degrees 0,2,4 to the fact generated by algebraic cycles. You just note that there are 1+q+q^2 points in P^2 .

For a good introduction, you can read J.S. Milne's notes on etale over F_q (which corresponds to the cohomology being one dimensional in degrees 0,2,4).

show/hide this revision's text 2 added 172 characters in body

The answer is yes. There's a version of Weil conjectures for all algebraic varieties, though you have to be a bit careful (if you're not projective, the Riemann hypothesis is a bit different).

However, for P^2, it's pretty boring. If just connects the fact that the cohomology is 1 dimensional in degrees 0,2,4 to the fact that there are 1+q+q^2 points in P^2.

For a good introduction, you can read J.S. Milne's notes on etale cohomology.

show/hide this revision's text 1

The answer is yes. There's a version of Weil conjectures for all algebraic varieties, though you have to be a bit careful (if you're not projective, the Riemann hypothesis is a bit different).

For a good introduction, you can read J.S. Milne's notes on etale cohomology.