24
$\begingroup$

This is a question meant as a first step to get into reading more on Weil conjectures and standard conjectures. It is known that the standard conjectures on vanishing of cycles would imply the Weil conjectures. So, are there proofs of Weil conjectures in special cases using partial results on the standard conjectures? If so, which cases, and what are the references?

Background: Borcherds mentions here that Manin proved a few special cases in higher dimensions using motives.

$\endgroup$
0

3 Answers 3

21
$\begingroup$

Of course, there's Serre's Analogues kählériens de certaines conjectures de Weil, Annals 1960, where he deduces an analogue of the Weil-Riemann hypothesis over $\mathbb{C}$ using standard facts from Hodge theory. This is technically not an answer at all, but I thought I'd mention it since I had the (perhaps mistaken) impression that this was partly the inspiration for the standard conjectures.

The other more relevant comment is that one can give an elementary proof of the Weil conjecture for any smooth variety whose Grothendieck motive lies in the tensor category generated by curves. I should explain, especially in light of Minhyong's comments, that this could be understood as shorthand for saying the variety can built up from curves by taking products, taking images, blow ups along centres which of the same type, and so on. Actually, for such varieties, the Frobenius can be seen to act semisimply. I think this open in general. So perhaps there's some value in this.

$\endgroup$
1
  • 17
    $\begingroup$ If you believe the Tate conjectures, then every motive belongs to the tensor category generated by motives of curves. I recall from somewhere that Grothendieck had the idea to prove the Weil conjectures by covering varieties with products of curves; then Serre found a surface that couldn't be covered rationally by a product of curves (see Grothendieck-Serre correspondence, 31/3/1964). $\endgroup$ Jul 28, 2010 at 19:36
21
$\begingroup$

Weil's proofs for curves and abelian varieties essentially use special cases of the standard conjectures, and the framework of the standard conjectures (like many other conjectures of a motivic nature) is suggested by trying to generalize the abelian variety case (or if you like, the case of H^1) to general varieties (or if you like, to cohomology in higher degrees).

Deligne's proof for K3 surfaces uses a motivic relation between K3s and abelian varieties (which is most easily seen on the level of Hodge structures) to import the result for abelian varieties into the context of K3 surfaces. This is not so different in spirit to Manin's proof for unirational 3-folds, except that the relationship between the K3 and associated abelian variety (the so-called Kuga-Satake variety) is not quite as transparent.

[Added, in light of the comments by Donu Arapura and Tony Scholl below:] In the K3 example, it would be better to write "a conjectural motivic relation ... (which can be observed rigorously on the level of Hodge structures) ...".

$\endgroup$
4
  • 2
    $\begingroup$ For the sake of completeness: Here's the MR link for Deligne's proof for K3 surfaces: ams.org/mathscinet-getitem?mr=296076 $\endgroup$
    – Anweshi
    Jul 28, 2010 at 16:12
  • $\begingroup$ When you talk about the motivic relation between K3s and abelian varieties, I assume you mean at the level of absolute Hodge cycles. Isn't it unknown in general as to whether it's given by a genuine correspondence? $\endgroup$ Jul 28, 2010 at 18:05
  • 8
    $\begingroup$ Donu: In fact, Deligne explains in the introduction that his (quite miraculous) proof is inspired by motivic considerations, but that he does not construct an identity between motives. Apart from some trivial cases (eg Kummer surfaces) there are no proven identities between K3 motives and abelian variety motives, except in the absolute Hodge category - which doesn't behave well under reduction mod p. It is the rigidity of families that enables Deligne to get reduction mod p to work. One should read his proof in full - even if the result has been superceded by Weil I/II. $\endgroup$ Jul 28, 2010 at 19:21
  • 1
    $\begingroup$ Tony, thanks for shedding some light. I had wondered how Deligne got mod p consequences out of this very transcendental construction. I should look at it (one day...). $\endgroup$ Jul 28, 2010 at 19:49
16
$\begingroup$

The paper by Manin is MR0258836 Manin, Ju. I. Correspondences, motifs and monoidal transformations. Mat. Sb. (N.S.) 77 (119) 1968 475--507 where he uses motives to prove the Weil conjectures for unirational projective 3-folds.

$\endgroup$
8
  • 6
    $\begingroup$ It's a nice paper. But I have to disagree that Manin 'uses' motives in any real sense. What he uses are: A unirational three-fold $Y$ admits a generically finite proper map from a variety $X$ that is obtained from $P^3$ using a sequence of blow-up along smooth centers that are curves or points. From the computation of the cohomology of such a blow-up, $X$ satisfies the Weil conjecture. (Because, projective spaces and curves do.) Since the cohomology of $Y$ embeds into that of $X$, $Y$ satifies the Weil conjecture. $\endgroup$ Jul 28, 2010 at 15:38
  • 6
    $\begingroup$ I realize this is something of a hard line to take, but it seems to be mathematically more fruitful to be somewhat stricter when speaking of 'using motives' in a proof. At least, this stance sets up more interesting challenges to people working on motives. $\endgroup$ Jul 28, 2010 at 15:41
  • 3
    $\begingroup$ I agree with Minhyong's hard line stance, but want to add a comenstatory remark: the sense in which Manin uses motives, and the reason they appear in the title of his paper, is that he is using the idea that, since the Weil conjectures are essentially homological in nature, one can study them using the idea of cutting up spaces (in this case, cutting up a unirational 3-fold into pieces related to curves and projective spaces). This was always a basic idea of algebraic topology, but the idea of using it in algebraic geometry is part of the yoga of motives. (cont'd ...) $\endgroup$
    – Emerton
    Jul 28, 2010 at 15:47
  • 4
    $\begingroup$ I agree with Matthew in a philosphical sense. Even though they're unnecessary mathematically, the paper is inspired by the following two motivic ideas (in the notation I used above): (1)$Y$ is a direct summand of $X$; (2)$X$ is the sum of Tate motives and Tate twists of curves. $\endgroup$ Jul 28, 2010 at 15:55
  • 3
    $\begingroup$ @Emerton: algebraic topology = algebraic geometry? :) $\endgroup$ Jul 28, 2010 at 16:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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