Weil Conjectures for nonprojective algebraic varieties - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T07:39:15Z http://mathoverflow.net/feeds/question/6695 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/6695/weil-conjectures-for-nonprojective-algebraic-varieties Weil Conjectures for nonprojective algebraic varieties John McCarthy 2009-11-24T15:03:26Z 2010-01-27T09:19:07Z <p>If we replace projective variety with algebraic variety in the statement of the Weil conjectures what happens? To me it seems the statement still makes sense. But is it still true?</p> http://mathoverflow.net/questions/6695/weil-conjectures-for-nonprojective-algebraic-varieties/6698#6698 Answer by Ben Webster for Weil Conjectures for nonprojective algebraic varieties Ben Webster 2009-11-24T15:37:32Z 2009-11-24T15:37:32Z <p>As usually stated, most of the statements break. Try looking at $\mathbb{A}^1$ minus a point.</p> <p>There are still a lot of interesting things to say about the relationship between cohomology and point counting (the supertrace of the Frobenius on the compactly supported cohomology still gives you the number of points), but things like the functional equation and Riemann hypothesis depend heavily on Poincare duality, which, of course, fails pretty badly.</p> http://mathoverflow.net/questions/6695/weil-conjectures-for-nonprojective-algebraic-varieties/6777#6777 Answer by JS Milne for Weil Conjectures for nonprojective algebraic varieties JS Milne 2009-11-25T09:17:58Z 2009-11-25T09:17:58Z <p>Correctly restated, the conjectures hold for any variety $V$ (not necessarily complete or nonsingular) over a finite field $k$.</p> <p>Dwork proved that the zeta function $Z(V,t)$ of $V$ is a rational function of $t$.</p> <p>Grothendieck (et al.) expressed $Z(V,t)$ as the alternating product of the characteristic polynomials of the Frobenius map $F$ acting on the etale cohomology groups of $V$ with compact support.</p> <p>Deligne showed (Weil II) that for each positive integer $i$ and each eigenvalue $a$ of $F$ acting on the $i$th etale cohomology group of $V$ with compact support, there exists an integer $j\leq i$ such that all the complex conjugates of $a$ have absolute value $q^{j/2}$ where $q=|k|$.</p> <p>When $V$ is nonsingular and complete, these statements together with Poincare duality, give Weil's original conjectures.</p>