|
|
Line 1: |
Line 1: |
| {{about|the theory of algebraic varieties over finite fields||Weil conjecture (disambiguation){{!}}Weil conjecture}}
| | Hi, everybody! My name is Betty. <br>It is a little about myself: I live in Austria, my city of Feuermuhl. <br>It's called often Eastern or cultural capital of UPPER AUSTRIA. I've married 1 years ago.<br>I have two children - a son (Owen) and the daughter (Anderson). We all like Amateur geology.<br><br>my weblog ... [http://cincinnati.windowsinohio.com Window Installation cincinnati Ohio] |
| | |
| In [[mathematics]], the '''Weil conjectures''' were some highly influential proposals by {{harvs|txt|authorlink=André Weil|first=André |last=Weil|year=1949}} on the [[generating function]]s (known as [[local zeta-function]]s) derived from counting the number of points on [[algebraic variety|algebraic varieties]] over [[finite field]]s.
| |
| | |
| A variety ''V'' over a finite field with ''q'' elements has a finite number of [[rational point]]s, as well as points over every finite field with ''q''<sup>''k''</sup> elements containing that field. The generating function has coefficients derived from the numbers ''N''<sub>''k''</sub> of points over the (essentially unique) field with ''q''<sup>''k''</sup> elements.
| |
| | |
| Weil conjectured that such ''zeta-functions'' should be [[rational function]]s, should satisfy a form of [[functional equation]], and should have their zeroes in restricted places. The last two parts were quite consciously modeled on the [[Riemann zeta function]] and [[Riemann hypothesis]].
| |
| The rationality was proved by {{harvtxt|Dwork|1960}}, the functional equation by {{harvtxt|Grothendieck|1965}}, and the analogue of the Riemann hypothesis was proved by {{harvtxt|Deligne|1974}}
| |
| | |
| ==Background and history==
| |
| The earliest antecedent of the Weil conjectures is by [[Carl Friedrich Gauss]] and appears in section VII of his ''[[Disquisitiones Arithmeticae]]'' {{harv|Mazur|1974}}, concerned with [[roots of unity]] and [[Gaussian period]]s. In article 358, he moves on from the periods that build up towers of quadratic extensions, for the construction of regular polygons; and assumes that ''p'' is a prime number such that {{nowrap|''p'' − 1}} is divisible by 3. Then there is a [[cyclic cubic field]] inside the cyclotomic field of ''p''th roots of unity, and a [[normal integral basis]] of periods for the integers of this field (an instance of the [[Hilbert–Speiser theorem]]). Gauss constructs the order-3 periods, corresponding to the [[cyclic group]] ('''Z'''/''p'''''Z''')<sup>×</sup> of non-zero residues modulo ''p'' under multiplication and its unique subgroup of index three. Gauss lets <math>\mathfrak{R}</math>, <math>\mathfrak{R}'</math>, and <math>\mathfrak{R}''</math> be its cosets. Taking the periods (sums of roots of unity) corresponding to these cosets applied to exp(2π''i''/''p''), he notes that these periods have a multiplication table that is accessible to calculation. Products are linear combinations of the periods, and he determines the coefficients. He sets, for example, <math>(\mathfrak{R}\mathfrak{R})</math> equal to the number of elements of '''Z'''/''p'''''Z''' which are in <math>\mathfrak{R}</math> and which, after being increased by one, are also in <math>\mathfrak{R}</math>. He proves that this number and related ones are the coefficients of the products of the periods. To see the relation of these sets to the Weil conjectures, notice that if α and {{nowrap|α + 1}} are both in <math>\mathfrak{R}</math>, then there exist ''x'' and ''y'' in '''Z'''/''p'''''Z''' such that {{nowrap begin}}''x''<sup>3</sup> = α{{nowrap end}} and {{nowrap begin}}''y''<sup>3</sup> = α + 1{{nowrap end}}; consequently, {{nowrap begin}}''x''<sup>3</sup> + 1 = ''y''<sup>3</sup>{{nowrap end}}. Therefore <math>(\mathfrak{R}\mathfrak{R})</math> is the number of solutions to {{nowrap begin}}''x''<sup>3</sup> + 1 = ''y''<sup>3</sup>{{nowrap end}} in the finite field '''Z'''/''p'''''Z'''. The other coefficients have similar interpretations. Gauss's determination of the coefficients of the products of the periods therefore counts the number of points on these [[elliptic curve]]s, and as a byproduct he proves the analog of the Riemann hypothesis.
| |
| | |
| The Weil conjectures in the special case of [[algebraic curve]]s were conjectured by {{harvtxt|Artin|1924}}. The case of curves over finite fields was proved by Weil, finishing the project started by [[Hasse's theorem on elliptic curves]] over finite fields. Their interest was obvious enough from within [[number theory]]: they implied upper bounds for [[exponential sum]]s, a basic concern in [[analytic number theory]].{{harv|Moreno|2001}}
| |
| | |
| What was really eye-catching, from the point of view of other mathematical areas, was the proposed connection with [[algebraic topology]]. Given that finite fields are ''discrete'' in nature, and topology speaks only about the ''continuous'', the detailed formulation of Weil (based on working out some examples) was striking and novel. It suggested that geometry over finite fields should fit into well-known patterns relating to [[Betti number]]s, the [[Lefschetz fixed-point theorem]] and so on.
| |
| | |
| The analogy with topology suggested that a new homological theory be set up applying within [[algebraic geometry]]. This took two decades (it was a central aim of the work and school of [[Alexander Grothendieck]]) building up on initial suggestions from [[Jean-Pierre Serre|Serre]]. The rationality part of the conjectures was proved first by {{harvs|txt|authorlink=Bernard Dwork|first=Bernard |last=Dwork|year=1960}}, using [[p-adic number|''p''-adic]] methods. {{harvtxt|Grothendieck|1965}} and his collaborators established the rationality conjecture, the functional equation and the link to Betti numbers by using the properties of [[étale cohomology]], a new cohomology theory developed by Grothendieck and Artin for attacking the Weil conjectures, as outlined in {{harvtxt|Grothendieck|1960}}.
| |
| Of the four conjectures the analogue of the Riemann hypothesis was the hardest to prove. Motivated by the proof of {{harvtxt|Serre|1960}} of an analogue of the Weil conjectures for [[Kähler manifold]]s, Grothendieck envisioned a proof based on his [[standard conjectures on algebraic cycles]] {{harv|Kleiman|1968}}. However, Grothendieck's standard conjectures remain open (except for the [[hard Lefschetz theorem]], which was proved by Deligne by extending his work on the Weil conjectures), and the analogue of the Riemann hypothesis was proved by {{harvs|txt|authorlink=Pierre Deligne|last=Deligne|year=1974}}, using the étale cohomology theory but circumventing the use of standard conjectures by an ingenious argument.
| |
| | |
| {{harvtxt|Deligne|1980}} found and proved a generalization of the Weil conjectures, bounding the weights of the pushforward of a sheaf.
| |
| | |
| ==Statement of the Weil conjectures==
| |
| | |
| Suppose that ''X'' is a [[non-singular]] ''n''-dimensional [[projective algebraic variety]] over the field '''F'''<sub>''q''</sub> with ''q'' elements. The '''zeta function''' ζ(''X'', ''s'') of ''X'' is by definition
| |
| | |
| :<math>\zeta(X, s) = \exp\left(\sum_{m = 1}^\infty \frac{N_m}{m} (q^{-s})^m\right)</math> | |
| | |
| where ''N''<sub>''m''</sub> is the number of points of ''X'' defined over the degree ''m'' extension '''F'''<sub>''q''<sup>''m''</sup></sub> of '''F'''<sub>''q''</sub>.
| |
| | |
| The Weil conjectures state:
| |
| | |
| #(Rationality) ζ(''X'', ''s'') is a ''[[rational function]]'' of {{nowrap begin}}''T'' = ''q''<sup>−s</sup>{{nowrap end}}. More precisely, ζ(''X'', ''s'') can be written as a finite alternating product <dl><dd><math>\textstyle\prod_{i=0}^{2n} P_i(q^{-s})^{(-1)^{i+1}} = \frac{P_1(T)\dotsb P_{2n-1}(T)}{P_0(T)\dotsb P_{2n}(T)},</math></dl> where each ''P''<sub>''i''</sub>(''T'') is an integral polynomial. Furthermore, {{nowrap begin}}''P''<sub>0</sub>(''T'') = 1 − T{{nowrap end}}, {{nowrap begin}}''P''<sub>2''n''</sub>(''T'') = 1 − ''q''<sup>''n''</sup>''T''{{nowrap end}}, and for {{nowrap|1 ≤ i ≤ 2n − 1}}, ''P''<sub>''i''</sub>(''T'') factors over '''C''' as <math>\textstyle\prod_j (1 - \alpha_{ij}T)</math> for some numbers α<sub>''ij''</sub>.
| |
| #(Functional equation and Poincaré duality) The zeta function satisfies <dl><dd><math>\zeta(X,n-s)=\pm q^{\frac{nE}{2}-Es}\zeta(X,s)</math></dl> or equivalently <dl><dd><math>\zeta(X,q^{-n}T^{-1})=\pm q^{\frac{nE}{2}}T^E\zeta(X,T)</math></dl> where ''E'' is the [[Euler characteristic]] of ''X''. In particular, for each ''i'', the numbers α<sub>2''n''-''i'',1</sub>, α<sub>2''n''-''i'',2</sub>, … equal the numbers ''q''<sup>''n''</sup>/α<sub>''i'',1</sub>, ''q''<sup>''n''</sup>/α<sub>''i'',2</sub>, … in some order.
| |
| #(Riemann hypothesis) |α<sub>''i,j''</sub>| = ''q''<sup>''i''/2</sup> for all {{nowrap|1 ≤ ''i'' ≤ 2''n'' − 1}} and all ''j''. This implies that all zeros of ''P''<sub>''k''</sub>(''T'') lie on the "critical line" of complex numbers ''s'' with real part ''k''/2.
| |
| #(Betti numbers) If ''X'' is a (good) "[[reduction mod p|reduction mod ''p'']]" of a [[non-singular]] projective variety ''Y'' defined over a number field embedded in the field of complex numbers, then the degree of ''P''<sub>''i''</sub> is the ''i''<sup>th</sup> [[Betti number]] of the space of complex points of ''Y''.
| |
| | |
| ==Examples==
| |
| ===The projective line===
| |
| The simplest example (other than a point) is to take ''X'' to be the projective line. The number of points of ''X'' over a field with ''q''<sup>''m''</sup> elements is just ''N''<sub>''m''</sub> = ''q''<sup>''m''</sup> + 1 (where the "+ 1" comes from the "[[point at infinity]]"). The zeta function is just
| |
| | |
| :1/(1 − ''q''<sup>−''s''</sup>)(1 − ''q''<sup>1−''s''</sup>).
| |
| | |
| It is easy to check all parts of the Weil conjectures directly. For example, the corresponding complex variety is the [[Riemann sphere]] and its initial Betti numbers are 1, 0, 1.
| |
| | |
| ===Projective space===
| |
| It is not much harder to do ''n'' dimensional projective space. | |
| The number of points of ''X'' over a field with ''q''<sup>''m''</sup> elements is
| |
| just ''N''<sub>''m''</sub> = 1 + ''q''<sup>''m''</sup> + ''q''<sup>2''m''</sup> + ... + ''q''<sup>''nm''</sup>. The zeta function is just
| |
| | |
| :1/(1 − ''q''<sup>−''s''</sup>)(1 − ''q''<sup>1−''s''</sup>)(1 − ''q''<sup>2−''s''</sup>) ... (1 − ''q''<sup>''n''−''s''</sup>).
| |
| | |
| It is again easy to check all parts of the Weil conjectures directly. ([[Complex projective space]] gives the relevant Betti numbers, which nearly determine the answer.)
| |
| | |
| The number of points on the projective line and projective space are so easy to calculate because they can be written as disjoint unions of a finite number of copies of affine spaces. It is also easy to prove the Weil conjectures for other spaces, such as Grassmannians and flag varieties, which have the same "paving" property.
| |
| | |
| ===Elliptic curves===
| |
| These give the first non-trivial cases of the Weil conjectures (proved by Hasse).
| |
| If ''E'' is an elliptic curve over a finite field with ''q'' elements, then the number of points of ''E'' defined over the field with ''q<sup>m</sup>'' elements is 1 − α<sup>''m''</sup>− β<sup>''m''</sup> + ''q''<sup>''m''</sup>,
| |
| where α and β are complex conjugates with absolute value √''q''.
| |
| The zeta function is
| |
| | |
| : ζ(''E'',''s'') = (1 − α''q''<sup>−''s''</sup>)(1 − β''q''<sup>−''s''</sup>) / (1 − ''q''<sup>−''s''</sup>)(1 − ''q''<sup>1−''s''</sup>).
| |
| | |
| ==Weil cohomology==
| |
| | |
| Weil suggested that the conjectures would follow from the existence of a suitable "[[Weil cohomology theory]]" for varieties over finite fields, similar to the usual cohomology with rational coefficients for complex varieties.
| |
| His idea was that if ''F'' is the [[Frobenius automorphism]] over the finite field, then the number of points of the variety ''X'' over the field of order ''q''<sup>''m''</sup> is the number of fixed points of ''F''<sup>''m''</sup> (acting on all points of the variety ''X'' defined over the algebraic closure). In algebraic topology the number of fixed points of an automorphism can be worked out using the [[Lefschetz fixed point theorem]], given as an alternating sum of traces on the [[cohomology group]]s. So if there were similar cohomology groups for varieties over finite fields, then the zeta function could be expressed in terms of them.
| |
| | |
| The first problem with this is that the coefficient field for a Weil cohomology theory cannot be the rational numbers. To see this consider the case of a [[supersingular]] [[elliptic curve]] over a finite field of characteristic ''p''. The endomorphism ring of this is an order in a [[quaternion algebra]] over the rationals, and should act on the first cohomology group, which should be a 2 dimensional vector space over the coefficient field by analogy with the case of a complex elliptic curve. However a quaternion algebra over the rationals cannot act on a 2 dimensional vector space over the rationals. The same argument eliminates the possibility of the coefficient field being the reals or the ''p''-adic numbers, because the quaternion algebra is still a division algebra over these fields. However it does not eliminate the possibility that the coefficient field is the field of ''l''-adic numbers for some prime ''l'' ≠ ''p'', because over these fields the division algebra splits and becomes a matrix algebra, which can act on a 2-dimensional vector space. Grothendieck and [[Michael Artin]] managed to construct suitable cohomology theories over the field of ''l''-adic numbers for each prime ''l'' ≠ ''p'', called [[l-adic cohomology]].
| |
| | |
| ==Grothendieck's formula for the zeta function==
| |
| Grothendieck proved an analogue of the Lefschetz fixed point formula for ''l''-adic cohomology theory, and by applying it to the Frobenius automorphism ''F'' was able to prove the following formula for the zeta function.
| |
| :<math>\zeta(s)=\frac{P_1(T)\cdots P_{2n-1}(T)}{P_0(T)P_2(T)\cdots P_{2n}(T)}</math>
| |
| where each polynomial ''P''<sub>''i''</sub> is the determinant of ''I − TF'' on the ''l''-adic cohomology group ''H''<sup>''i''</sup>.
| |
| | |
| The rationality of the zeta function follows immediately. The functional equation for the zeta function follows from Poincaré duality for ''l''-adic cohomology, and the relation with complex Betti numbers of a lift follows from a comparison theorem between ''l''-adic and ordinary cohomology for complex varieties.
| |
| | |
| More generally, Grothendieck proved a similar formula for the zeta function of a sheaf ''F''<sub>0</sub>:
| |
| :<math>Z(X_0, F_0, t) = \prod_{x\in |X_0|}\det(1-F^*_xt^{deg(x)}|F_0)^{-1}</math>
| |
| as a product over cohomology groups:
| |
| :<math>Z(X_0, F_0, t) = \prod_{i}\det(1-F^* t|H^i_c(F))^{(-1)^{i+1}}</math>
| |
| The special case of the constant sheaf gives the usual zeta function.
| |
| | |
| ==Deligne's first proof==
| |
| {{harvtxt|Verdier|1974}}, {{harvtxt|Serre|1975}}, {{harvtxt|Katz|1976}} and {{harvtxt|Freitag|Kiehl|1988}} gave expository accounts of the first proof {{harvtxt|Deligne|1974}}. Much of the background in ''l''-adic cohomology is described in {{harv|Deligne|1977}}.
| |
| | |
| Deligne's first proof of the Weil conjectures used the following steps:
| |
| | |
| ===Use of Lefschetz pencils===
| |
| *Grothendieck expressed the zeta function in terms of the trace of Frobenius on ''l''-adic cohomology groups, so the Weil conjectures for a ''d''-dimensional variety ''V'' over a finite field with ''q'' elements depend on showing that the eigenvalues α of Frobenius acting on the ''i'''th ''l''-adic cohomology group ''H''<sup>''i''</sup>(''V'') of ''V'' have absolute values |α|=''q''<sup>''i''/2</sup> (for an embedding of the algebraic elements of '''Q'''<sub>''l''</sub> into the complex numbers).
| |
| *After [[blowing up]] ''V'' and extending the base field, one may assume that the variety ''V'' has a morphism onto the projective line '''P'''<sup>1</sup>, with a finite number of singular fibers with very mild (quadratic) singularities. The theory of monodromy of [[Lefschetz pencil]]s, introduced for complex varieties (and ordinary cohomology) by {{harvtxt|Lefschetz|1924}}, and extended by {{harvtxt|Grothendieck|1972}} and {{harvtxt|Deligne|Katz|1973}} to ''l''-adic cohomology, relates the cohomology of ''V'' to that of its fibers. The relation depends on the space ''E''<sub>''x''</sub> of '''vanishing cycles''', the subspace of the cohomology ''H''<sup>''d''−1</sup>(''V''<sub>''x''</sub>) of a non-singular fiber ''V''<sub>''x''</sub>, spanned by classes that vanish on singular fibers.
| |
| *The [[Leray spectral sequence]] relates the middle cohomology group of ''V'' to the cohomology of the fiber and base. The hard part to deal with is more or less a group ''H''<sup>1</sup>(''P''<sup>1</sup>, ''j''<sub>*</sub>''E'') = ''H''{{su|p=1|b=c}}(''U'',''E''), where ''U'' is the points the projective line with non-singular fibers, and ''j'' is the inclusion of ''U'' into the projective line, and ''E'' is the sheaf with fibers the spaces ''E''<sub>''x''</sub> of vanishing cycles.
| |
| | |
| ===The key estimate===
| |
| The heart of Deligne's proof is to show that the sheaf ''E'' over ''U'' is pure, in other words to find the absolute values of the eigenvalues of Frobenius on its stalks. This is done by studying the zeta functions of the even powers ''E''<sup>''k''</sup> of ''E'' and applying Grothendieck's formula for the zeta functions as alternating products over cohomology groups. The crucial idea of considering even ''k'' powers of ''E'' was inspired by the paper {{harvs|txt|authorlink=Robert Alexander Rankin|last=Rankin|year=1939}}, who used a similar idea with ''k''=2 for bounding the [[Ramanujan tau function]]. {{harvtxt|Langlands|1970|loc=section 8}} pointed out that a generalization of Rankin's result for higher even values of ''k'' would imply the [[Ramanujan conjecture]], and Deligne realized that in the case of zeta functions of varieties, Grothendieck's theory of zeta functions of sheaves provided an analogue of this generalization.
| |
| *The poles of the zeta function of ''E''<sup>''k''</sup> are found using Grothendieck's formula
| |
| ::<math>Z(U,E^k,T) = \frac{\det(1-F^* T|H^1_c(E^k))}{\det(1-F^* T|H^0_c(E^k))\det(1-F^* T|H^2_c(E^k))}</math>
| |
| :and calculating the cohomology groups in the denominator explicitly. The ''H''{{su|p=0|b=c}} term is usually just 1 as ''U'' is usually not compact, and the ''H''{{su|p=2|b=c}} can be calculated explicitly as follows. Poincaré duality relates ''H''{{su|p=2|b=c}}(''E''<sup>''k''</sup>) to ''H''{{su|p=0|}}(''E''<sup>''k''</sup>), which is in turn the space of covariants of the monodromy group, which is the geometric fundamental group of ''U'' acting on the fiber of ''E''<sup>''k''</sup> at a point. The fiber of ''E'' has a bilinear form induced by [[cup product]], which is antisymmetric if ''d'' is even, and makes ''E'' into a symplectic space. (This is a little inaccurate: Deligne did later show that ''E''∩''E''<sup>⊥</sup> = 0 by using the [[hard Lefschetz theorem]], this requires the Weil conjectures, and the proof of the Weil conjectures really has to use a slightly more complicated argument with ''E''/''E''∩''E''<sup>⊥</sup> rather than ''E''.) An argument of Kazhdan and Margulis shows that the image of the monodromy group acting on ''E'', given by the [[Picard–Lefschetz formula]], is Zariski dense in a symplectic group and therefore has the same invariants, which are well known from classical invariant theory. Keeping track of the action of Frobenius in this calculation shows that its eigenvalues are all ''q''<sup>''k''(''d''−1)/2+1</sup>, so the zeta function of ''Z''(''E''<sup>''k''</sup>,''T'') has poles only at ''T''=1/''q''<sup>''k''(''d''−1)''/2+1</sup>.
| |
| *The Euler product for the zeta function of ''E''<sup>''k''</sup> is
| |
| ::<math>Z(E^k,T) = \prod_x \frac{1}{Z(E^k_x,T)}</math>
| |
| :If ''k'' is '''even''' then all the coefficients of the factors on the right (considered as power series in ''T'') are '''non-negative'''; this follows by writing
| |
| ::<math>\frac{1}{\det(1-T^{deg(x)}F_x|E^k)} =\exp\left(\sum_{n>0}\frac{T^n}{n}\text{Trace}(F_x^n|E)^k\right) </math>
| |
| :and using the fact that the traces of powers of ''F'' are rational, so their ''k'' powers are non-negative as ''k'' is even. Deligne proves the rationality of the traces by relating them to numbers of points of varieties, which are always (rational) integers.
| |
| *The powers series for ''Z''(''E''<sup>''k''</sup>, ''T'') converges for ''T'' less than the absolute value 1/''q''<sup>''k''(''d''−1)/2+1</sup> of its only possible pole. When ''k'' is even the coefficients of all its Euler factors are non-negative, so that each of the Euler factors has coefficients bounded by a constant times the coefficients of ''Z''(''E''<sup>''k''</sup>, ''T'') and therefore converges on the same region and has no poles in this region. So for ''k'' even the polynomials ''Z''(''E''{{su|p=''k''|b=''x''}}, ''T'') have no zeros in this region, or in other words the eigenvalues of Frobenius on the stalks of ''E''<sup>''k''</sup> have absolute value at most ''q''<sup>''k''(''d''−1)''/2+1</sup>.
| |
| *This estimate can be used to find the absolute value of any eigenvalue α of Frobenius on a fiber of ''E'' as follows. For any integer ''k'', α<sup>''k''</sup> is an eigenvalue of Frobenius on a stalk of ''E''<sup>''k''</sup>, which for ''k'' even is bounded by ''q''<sup>1+''k''(''d''−1)/2</sup>. So
| |
| ::<math>|\alpha^k|\le q^{k(d-1)/2 +1}</math>
| |
| :As this is true for arbitrarily large even ''k'', this implies that
| |
| ::<math>|\alpha|\le q^{(d-1)/2 }.</math>
| |
| :[[Poincaré duality]] then implies that
| |
| ::<math>|\alpha|=q^{(d-1)/2 }.</math>
| |
| | |
| ===Completion of the proof===
| |
| The deduction of the Riemann hypothesis from this estimate is mostly a fairly straightforward use of standard techniques and is done as follows.
| |
| *The eigenvalues of Frobenius on ''H''{{su|p=1|b=c}}(''U'',''E'') can now be estimated as they are the zeros of the zeta function of the sheaf ''E''. This zeta function can be written as an Euler product of zeta functions of the stalks of ''E'', and using the estimate for the eigenvalues on these stalks shows that this product converges for |''T''|<''q''<sup>−''d''/2−1/2</sup>, so that there are no zeros of the zeta function in this region. This implies that the eigenvalues of Frobenius on ''E'' are at most ''q''<sup>''d''/2+1/2</sup> in absolute value (in fact it will soon be seen that they have absolute value exactly ''q''<sup>''d''/2</sup>). This step of the argument is very similar to the usual proof that the Riemann zeta function has no zeros with real part greater than 1, by writing it as an Euler product.
| |
| *The conclusion of this is that the eigenvalues α of the Frobenius of a variety of even dimension ''d'' on the middle cohomology group satisfy
| |
| ::<math> |\alpha| \le q^{d/2+1/2}</math>
| |
| :To obtain the Riemann hypothesis one needs to eliminate the 1/2 from the exponent. This can be done as follows. Applying this estimate to any even power ''V''<sup>''k''</sup> of ''V'' and using the [[Künneth formula]] shows that the eigenvalues of Frobenius on the middle cohomology of a variety ''V'' of any dimension ''d'' satisfy
| |
| ::<math> |\alpha^k| \le q^{kd/2+1/2}</math>
| |
| :As this is true for arbitrarily large even ''k'', this implies that
| |
| ::<math>|\alpha| \le q^{d/2}</math>
| |
| :[[Poincaré duality]] then implies that
| |
| ::<math>|\alpha| = q^{d/2}.</math>
| |
| *This proves the Weil conjectures for the middle cohomology of a variety. The Weil conjectures for the cohomology below the middle dimension follow from this by applying the [[weak Lefschetz theorem]], and the conjectures for cohomology above the middle dimension then follow from Poincaré duality.
| |
| | |
| ==Deligne's second proof==
| |
| {{harvtxt|Deligne|1980}} found and proved a generalization of the Weil conjectures, bounding the weights of the pushforward of a sheaf. In practice it is this generalization rather than the original Weil conjectures that is mostly used in applications, such as the [[hard Lefschetz theorem]]. Much of the second proof is a rearrangement of the ideas of his first proof. The main extra idea needed is an argument closely related to the theorem of Hadamard and de la Vallée Poussin, used by Deligne to show that various ''L''-series do not have zeros with real part 1.
| |
| | |
| A constructible sheaf on a variety over a finite field is called pure of weight β if for all points ''x'' the eigenvalues of the Frobenius at ''x'' all have absolute value ''N''(''x'')<sup>β/2</sup>, and is called mixed of weight ≤β if it can be written as repeated extensions by pure sheaves with weights ≤β.
| |
| | |
| Deligne's theorem states that if ''f'' is a morphism of schemes of finite type over a finite field, then ''R''<sup>''i''</sup>''f''<sub>!</sub> takes mixed sheaves of weight ≤β to mixed sheaves of weight ≤β+i.
| |
| | |
| The original Weil conjectures follow by taking ''f'' to be a morphism from a smooth projective variety to a point and considering the constant sheaf '''Q'''<sub>''l''</sub> on the variety. This gives an upper bound on the absolute values of the eigenvalues of Frobenius, and Poincaré duality then shows that this is also a lower bound.
| |
| | |
| In general ''R''<sup>''i''</sup>''f''<sub>!</sub> does not take pure sheaves to pure sheaves. However it does when a suitable form of Poincaré duality holds, for example if ''f'' is smooth and proper, or if one works with [[perverse sheaf|perverse sheaves]] rather than sheaves as in {{harvtxt|Beilinson|Bernstein|Deligne|1982}}.
| |
| | |
| Inspired by the work of {{harvtxt|Witten|1982}} on [[Morse theory]], {{harvtxt|Laumon|1987}} found another proof, using Deligne's [[Fourier–Deligne transform|''l''-adic Fourier transform]], which allowed him to simplify Deligne's proof by avoiding the use of the method of Hadamard and de la Vallée Poussin. His proof generalizes the classical calculation of the absolute value of [[Gauss sum]]s using the fact that the norm of a Fourier transform has a simple relation to the norm of the original function. {{harvtxt|Kiehl|Weissauer|2001}} used Laumon's proof as the basis for their exposition of Deligne's theorem. {{harvtxt|Katz|2001}} gave a further simplification of Laumon's proof, using monodromy in the spirit of Deligne's first proof. {{harvtxt|Kedlaya|2006}} gave another proof using the Fourier transform, replacing etale cohomology with [[rigid cohomology]].
| |
| | |
| ==Applications==
| |
| *{{harvtxt|Deligne|1980}} was able to prove the [[hard Lefschetz theorem]] (part of Grothendieck's [[standard conjectures]]) using his second proof of the Weil conjectures.
| |
| *{{harvtxt|Deligne|1971}} had previously shown that the [[Ramanujan-Petersson conjecture]] follows from the Weil conjectures.
| |
| *{{harvtxt|Deligne|1974|loc=section 8}} used the Weil conjectures to prove estimates for exponential sums.
| |
| | |
| ==References==
| |
| *{{Citation | last1=Artin | first1=Emil | author1-link=Emil Artin | title=Quadratische Körper im Gebiete der höheren Kongruenzen. II. Analytischer Teil | doi=10.1007/BF01181075 | year=1924 | journal=[[Mathematische Zeitschrift]] | issn=0025-5874 | pages=207–246 | volume=19 | issue=1}}
| |
| *{{Citation | last1=Beilinson | first1=A. A. | author1-link=Alexander Beilinson | last2=Bernstein | first2=Joseph | author2-link=Joseph Bernstein | last3=Deligne | first3=Pierre | author3-link=Pierre Deligne | title=Analysis and topology on singular spaces, I (Luminy, 1981) | publisher=[[Société Mathématique de France]] | location=Paris | series=Astérisque | mr=751966 | year=1982 | volume=100 | chapter=Faisceaux pervers | pages=5–171}}
| |
| *{{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | title=Séminaire Bourbaki vol. 1968/69 Exposés 347-363 | url=http://www.numdam.org/item?id=SB_1968-1969__11__139_0 | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture Notes in Mathematics | isbn=978-3-540-05356-9 | doi=10.1007/BFb0058801 | year=1971 | volume=179 | chapter=Formes modulaires et représentations l-adiques }}
| |
| *{{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | title=La conjecture de Weil. I | url=http://www.numdam.org/item?id=PMIHES_1974__43__273_0 | mr=0340258 | year=1974 | journal=[[Publications Mathématiques de l'IHÉS]] | issn=1618-1913 | issue=43 | pages=273–307}}
| |
| * {{citation
| |
| | editor-last=Deligne
| |
| | editor-first=Pierre
| |
| | editor-link=Pierre Deligne
| |
| | title=Séminaire de Géométrie Algébrique du Bois Marie — Cohomologie étale (SGA 4<sup>1</sub>⁄<sub>2</sub>)
| |
| | series=Lecture notes in mathematics
| |
| | publisher=[[Springer-Verlag]]
| |
| | place=Berlin
| |
| | year=1977
| |
| | isbn=978-0-387-08066-6
| |
| | language=French
| |
| | url=http://modular.fas.harvard.edu/sga/sga/4.5/index.html
| |
| |doi=10.1007/BFb0091516
| |
| | volume=569
| |
| | issue=569
| |
| }}
| |
| *{{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | title=La conjecture de Weil. II | url=http://www.numdam.org/item?id=PMIHES_1980__52__137_0 | mr=601520 | year=1980 | journal=[[Publications Mathématiques de l'IHÉS]] | issn=1618-1913 | issue=52 | pages=137–252}}
| |
| *{{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | last2=Katz | first2=Nicholas | author2-link=Nicholas Katz | title=Groupes de monodromie en géométrie algébrique. II | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture Notes in Mathematics, Vol. 340 | isbn=978-3-540-06433-6 | doi=10.1007/BFb0060505 | mr=0354657 | year=1973 | volume=340}}
| |
| *{{Citation | last1=Dwork | first1=Bernard | author1-link=Bernard Dwork | title=On the rationality of the zeta function of an algebraic variety | jstor=2372974 | mr=0140494 | year=1960 | journal=[[American Journal of Mathematics]] | issn=0002-9327 | volume=82 | pages=631–648 | doi=10.2307/2372974 | issue=3 | publisher=American Journal of Mathematics, Vol. 82, No. 3}}
| |
| *{{Citation | last1=Freitag | first1=Eberhard | last2=Kiehl | first2=Reinhardt | title=Étale cohomology and the Weil conjecture | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)] | isbn=978-3-540-12175-6 | mr=926276 | year=1988 | volume=13}}
| |
| *{{Citation | last1=Grothendieck | first1=Alexander | author1-link=Alexander Grothendieck | title=Proc. Internat. Congress Math. (Edinburgh, 1958) | publisher=[[Cambridge University Press]] | mr=0130879 | year=1960 | chapter=The cohomology theory of abstract algebraic varieties | pages=103–118|url=http://grothendieckcircle.org/}}
| |
| *{{Citation | last1=Grothendieck | first1=Alexander | author1-link=Alexander Grothendieck | title=Séminaire Bourbaki | url=http://www.numdam.org/item?id=SB_1964-1966__9__41_0 | publisher=[[Société Mathématique de France]] | location=Paris | mr=1608788 | year=1995 | volume=9 | chapter=Formule de Lefschetz et rationalité des fonctions L | pages=41–55|origyear=1965}}
| |
| *{{Citation | last1=Grothendieck | first1=Alexander | author1-link=Alexander Grothendieck | title=Groupes de monodromie en géométrie algébrique. I | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture Notes in Mathematics, Vol. 288 | isbn=978-3-540-05987-5 | doi=10.1007/BFb0068688 | mr=0354656 | year=1972 | volume=288}}
| |
| *{{citation|authorlink=Nick Katz|last=Katz|first= Nicholas M.|chapter=An overview of Deligne's proof of the Riemann hypothesis for varieties over finite fields|title= Mathematical developments arising from Hilbert problems |series=Proc. Sympos. Pure Math.|volume=XXVIII, |pages= 275–305|publisher= Amer. Math. Soc.|place= Providence, R. I.|year= 1976|mr=0424822}}
| |
| *{{Citation | last1=Katz | first1=Nicholas | author1-link=Nicholas Katz | title=L-functions and monodromy: four lectures on Weil II | url=http://www.math.princeton.edu/~nmk/ | doi=10.1006/aima.2000.1979 | mr=1831948 | year=2001 | journal= Adv. Math. | volume=160 | issue=1 | pages=81–132}}
| |
| *{{Citation | last1=Katz | first1=Nicholas M. | last2=Messing | first2=William | title=Some consequences of the Riemann hypothesis for varieties over finite fields | doi=10.1007/BF01405203 | mr=0332791 | year=1974 | journal=[[Inventiones Mathematicae]] | issn=0020-9910 | volume=23 | pages=73–77}}
| |
| *{{Citation | last1=Kedlaya | first1=Kiran S. | title=Fourier transforms and ''p''-adic `Weil II' | doi=10.1112/S0010437X06002338 | mr=2278753 | year=2006 | journal=Compositio Mathematica | issn=0010-437X | volume=142 | issue=6 | pages=1426–1450}}
| |
| *{{Citation | last1=Kiehl | first1=Reinhardt | last2=Weissauer | first2=Rainer | title=Weil conjectures, perverse sheaves and l'adic Fourier transform | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics] | isbn=978-3-540-41457-5 | mr=1855066 | year=2001 | volume=42}}
| |
| *{{Citation | last1=Kleiman | first1=Steven L. | author1-link=Steven Kleiman | title=Dix esposés sur la cohomologie des schémas | publisher=North-Holland | location=Amsterdam | mr=0292838 | year=1968 | chapter=Algebraic cycles and the Weil conjectures | pages=359–386}}
| |
| *{{Citation | last1=Langlands | first1=R. P. | title=Lectures in modern analysis and applications, III | url=http://publications.ias.edu/rpl/section/21 | publisher=[[Springer-Verlag]] | location=Berlin, New York | series= Lecture Notes in Math | isbn=978-3-540-05284-5 | doi=10.1007/BFb0079065 | mr=0302614 | year=1970 | volume=170 | chapter=Problems in the theory of automorphic forms | pages=18–61}}
| |
| *{{Citation | last1=Laumon | first1=G. | title=Transformation de Fourier, constantes d'équations fonctionnelles et conjecture de Weil | url=http://www.numdam.org/item?id=PMIHES_1987__65__131_0 | mr=908218 | year=1987 | journal=[[Publications Mathématiques de l'IHÉS]] | issn=1618-1913 | issue=65 | pages=131–210}}
| |
| * {{Citation | last1=Lefschetz | first1=Solomon | title=L'Analysis situs et la géométrie algébrique | publisher=Gauthier-Villars | language=French | series=Collection de Monographies publiée sous la Direction de M. Emile Borel | location=Paris | year=1924}} Reprinted in {{Citation | last1=Lefschetz | first1=Solomon | title=Selected papers | publisher=Chelsea Publishing Co. | location=New York | isbn=978-0-8284-0234-7 | mr=0299447 | year=1971}}
| |
| * {{Citation | last1=Mazur | first1=Barry | author-link=Barry Mazur | chapter=Eigenvalues of Frobenius acting on algebraic varieties over finite fields | year=1974 | editor-last=Hartshorne | editor-first=Robin | editor-link=Robin Hartshorne | title=Algebraic Geometry, Arcata 1974 | series=Proceedings of symposia in pure mathematics | volume=29 | isbn=0-8218-1429-X }}
| |
| *{{eom|id=b/b110720|title=Bombieri-Weil bound|first=O. |last=Moreno}}
| |
| *{{Citation | last1=Rankin | first1=Robert A. | title=Contributions to the theory of Ramanujan's function τ and similar arithmetical functions. II. The order of the Fourier coefficients of integral modular forms | doi=10.1017/S0305004100021101 | mr=0000411 | year=1939 | journal=Proc. Cambridge Philos. Soc. | volume=35 | pages=357–372 | last2=Hardy | first2=G. H. | issue=3}}
| |
| *{{Citation | last1=Serre | first1=Jean-Pierre | author1-link=Jean-Pierre Serre | title=Analogues kählériens de certaines conjectures de Weil | jstor=1970088 | mr=0112163 | year=1960 | journal=[[Annals of Mathematics|Annals of Mathematics. Second Series]] | issn=0003-486X | volume=71 | pages=392–394 | doi=10.2307/1970088 | issue=2 | publisher=The Annals of Mathematics, Vol. 71, No. 2}}
| |
| *{{Citation | last1=Serre | first1=Jean-Pierre | author1-link=Jean-Pierre Serre | title=Séminaire Bourbaki vol. 1973/74 Exposés 436–452 | series=Lecture Notes in Mathematics | isbn=978-3-540-07023-8 | url=http://www.numdam.org/numdam-bin/item?id=SB_1973-1974__16__190_0|doi=10.1007/BFb0066371 | year=1975 | volume=431 | chapter=Valeurs propers des endomorphismes de Frobenius [d'après P. Deligne] | pages=190–204}}
| |
| *{{Citation | last1=Verdier | first1=Jean-Louis | author1-link=Jean-Louis Verdier | title=Séminaire Bourbaki vol. 1972/73 Exposés 418–435 | url=http://www.numdam.org/item?id=SB_1972-1973__15__98_0 | publisher=Springer Berlin / Heidelberg | series=Lecture Notes in Mathematics | isbn=978-3-540-06796-2 | doi=10.1007/BFb0057304 | year=1974 | volume=383 | chapter=Indépendance par rapport a ℓ des polynômes caractéristiques des endomorphismes de frobenius de la cohomologie ℓ-adique | pages=98–115}}
| |
| *{{Citation | last1=Weil | first1=André | author1-link=André Weil | title=Numbers of solutions of equations in finite fields | url=http://www.ams.org/bull/1949-55-05/S0002-9904-1949-09219-4/home.html | doi=10.1090/S0002-9904-1949-09219-4 | mr=0029393 | year=1949 | journal=[[Bulletin of the American Mathematical Society]] | issn=0002-9904 | volume=55 | pages=497–508 | issue=5}} Reprinted in Oeuvres Scientifiques/Collected Papers by André Weil ISBN 0-387-90330-5
| |
| *{{Citation | last1=Witten | first1=Edward | author1-link=Edward Witten | title=Supersymmetry and Morse theory | url=http://projecteuclid.org/getRecord?id=euclid.jdg/1214437492 | mr=683171 | year=1982 | journal=Journal of Differential Geometry | issn=0022-040X | volume=17 | issue=4 | pages=661–692}}
| |
| | |
| {{L-functions-footer}}
| |
| | |
| [[Category:Topological methods of algebraic geometry]]
| |
| [[Category:Theorems in number theory]]
| |
| [[Category:Conjectures]]
| |
| [[Category:History of mathematics]]
| |
| [[Category:Number theory]]
| |
| [[Category:Homological algebra]]
| |
| [[Category:Zeta and L-functions]]
| |
| [[Category:Fixed points (mathematics)]]
| |
| [[Category:Finite fields]]
| |
| | |
| [[fi:Weilin lause]]
| |