Deligne's proof of the Weil conjecture is difficult.

On the other hand, there are some "simpler" proofs of the Weil conjecture in the case of algebraic curves.

For instance, in GTM52, one see it eventually reduced to the Hodge index theorem, which is the geometric input.

And there even exists some elementary proofs, by Bombieri or Stephanov.

So what I am asking is, will there be some "simple" proofs of the Weil conjecture for algebraic surfaces, at least for some special classes of them? And in that case, what can be the geometric inputs, without using the Standard Conjecture?


This is a somewhat subjective topic, but a lot of people believe that the answer is "no". There are various reasons why the RH for curves is much easier than the general case.

One is that for curves, one can replace $\ell$-adic cohomology with the Jacobian. In higher-dimensions the geometric objects underlying $\ell$-adic cohomology groups are motives.

Another is that in dimension 1, RH is equivalent to the estimate on the number of rational points $|\#X(\mathbb{F}_{q^r}) -q^r| = O(q^{r/2})$. This is exactly what Stepanov and Bombieri proved. But in dimension d>1 the main error term comes from the cohomology in dimension $2d-1$, and so a point-counting estimate does not give you any more information than the Lang-Weil estimate $|\#X(\mathbb{F}_{q^r}) -q^{dr}| = O(q^{(2d-1)r/2})$ - which is proved by reduction to curves.

There are some special cases where RH is equivalent to a point-counting estimate - for example, (smooth projective) hypersurfaces, where the only interesting cohomology is in the middle dimension. Katz asked a long time ago whether one could give an elementary proof in this case, and Bombieri also thought about it. (I recently found how to deduce the general RH from the case of hypersurfaces, so a different proof of this special case would certainly be interesting.)

Taking a step back, you can also ask for "simpler" proofs of the other parts of the Weil conjectures. The proof of the rationality of the zeta function for curves is very simple, just using Riemann-Roch. As far as I know, there are no simple proofs in dimension > 1, although a while back Fesenko mentioned in a paper that his adelic methods would give a non-cohomological proof of rationality for surfaces.


Deligne (La conjecture de Weil pour les surfaces $K3$. (French) Invent. Math. 15 (1972), 206--226 MR0296076 ) gave a proof for K3 surfaces shortly before his proof of the general case, but it is not exactly easy. Manin also proved a few specisl cases in higher dimensions using motives.

In general, one expects an easy proof whenever there is an easy description of the l-adic cohomology groups. The zeroth cohomology is trivial to describe, the first can be described in terms of the Picard variety, and the cohomology above the middle dimension can be reduced to the rest using Poincare duality. For curves this gives you all the cohomology, but in higher dimensions it does not, which is why the case of curves is so much easier. There are many cases in higher dimensions, such as abelian varieties, where one can somehow describe the cohomology, and in these cases there is again an elementary proof. There are also numerous trivial variations of known cases, such as products of curves or Kummer surfaces or rational surfaces, that can be done easily because the cohomology is known.

For surfaces the only "unknown" cohomology is the second cohmology. It is conceivable that one could get at this by mumbling something about the Brauer group in order to get a proof in this case, but this would probably end up as difficult as the general case.


I've tried to extend my proof (with Stohr, Proc LMS 52, 1986) to smooth surfaces in P^3, where as Scholl pointed out in his answer, it's equivalent to a point counting inequality. Unfortunately I have only very limited success so far (see AMS Cont Math 324). I think it can be done.


I proved it for Zariski Surfaces in 1970. See chapter 1 of my book with Jeff Lang. Zariski Lives!!!

Blass, Piotr; Lang, Jeffrey (1987), Zariski surfaces and differential equations in characteristic p>0, Monographs and Textbooks in Pure and Applied Mathematics 106, New York: Marcel Dekker Inc., ISBN 978-0-8247-7637-4, MR 879599

  • 6
    $\begingroup$ Perhaps you could point to the specific result in the book that you say you proved, and/or say a few helpful words on how your result answers the question. (Imagine this question being in a seminar; you probably wouldn't just say, "I proved it in my book" and leave it at that, but say something enlightening as well.) $\endgroup$ – Todd Trimble Oct 26 '14 at 0:19
  • $\begingroup$ Cf my ph d thesis $\endgroup$ – piotrblassphd Nov 14 '16 at 23:03
  • 1
    $\begingroup$ @piotrblassphd Welcome to MathOverflow, Profesor Blass! $\endgroup$ – user99720 Nov 15 '16 at 2:08
  • $\begingroup$ @Harambe Is he inventor of the world wide web ? Really ? $\endgroup$ – lanse7pty Nov 15 '16 at 5:50

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.