Skip to main content
1 of 2
Will Sawin
  • 148.5k
  • 9
  • 324
  • 563

Deligne proved the hard Lefschetz theorem as a consequence of the Weil conjectures, not vice versa.

The RH of the Weil conjectures is a statement about the Weil zeta function. For the projective line, this is easy to prove without étale cohomology at all, only by counting points.

But of course you could ask for a proof that the eigenvalues of Frobenius on $H^i$ have size $q^{i/2}$ (Deligne's RH) in this special case. This is indeed much easier than the general case!

Since $Y$ is connected, it's straightforward to check from the definitions that $H^0 (Y, \mathbb Q_\ell) =\mathbb Q_\ell$, with trivial Frobenius action. So this verifies the $i=1$ case since $q^{0/2}=1$.

Next one checks that $H^1(Y,\mathbb Q_\ell)=0$, which vacuously verifies the $i=1$ case. Probably the easiest way to do this is to use the relation between the first étale cohomology and the étale fundamental group, and show the étale fundamental group is trivial by Riemann-Hurwitz.

Finally, using the Poincaré duality $H^0(Y,\mathbb Q_\ell) \times H^2(Y, \mathbb Q_\ell) \to \mathbb Q_\ell(-1)$ (not $\mathbb Q_\ell(2)$), one sees that $H^2(Y,\mathbb Q_\ell) \cong \mathbb Q_\ell(-1)$ and thus the unique Frobenius eigenvalue on it is $q$, verifying the $i=2$ cases since $q^{2/2}=1$.

Whether that explains where the $1/2$ comes in sufficiently well is up to you! If not, I would look at the case of abelian varieties, where $H^1$ is nontrivial, and the RH can be proved by the theory of endomorphisms of abelian varieties.

Will Sawin
  • 148.5k
  • 9
  • 324
  • 563