DOCSLIB.ORG

The Weil Conjectures NAW 5/15 Nr

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Weil Conjectures NAW 5/15 Nr Frans Oort The Weil conjectures NAW 5/15 nr. 3 september 2014 211 Frans Oort Mathematisch Instituut Universiteit Utrecht [email protected] Geschiedenis The Weil conjectures As of 2003, the Abel Prize has been awarded yearly to one or more mathematicians. Up I expect that the first four pages can be un- to 2014, fourteen laureates have received this prize, which has often been described as the derstood by a general audience; the next two mathematician’s ‘Nobel prize’. In 2013 it was awarded to Pierre Deligne. This event was pages will convey some of the thrill of this celebrated by a presentation during a WONDER meeting in Delft, in December 2013. The present daring conjecture by Weil; the last two pages note of Frans Oort aims to give a part of that presentation, in particular a contemplation on the give ample references about recent work on ‘flow of mathematics’ which led to this great success: the main topic will be on the ‘pre-history’ the Weil conjectures. Excellent surveys are of the Weil conjectures. [20, 26, 33, 40], also see [8]. The fundamental problem in number theo- Below, we will discuss the history of this flow Counting points on varieties over finite fields ry is surely how to solve equations in inte- of ideas. This was considered by Gauss, DA 357 (Dis- gers. Since this question is still largely inac- quisitiones Arithmeticae), and in his famous cessible, we shall content ourselves with the Remark. Does this provide any progress for ‘Last Entry’ 146 in 1814 in his Tagebuch: the problem of solving polynomial congruences the solution of the classical RH? The answer modulo p. Nick Katz in [20] is negative in the strict sense: there is no im- plication pRH RH (and also no argument the ⇒ The Riemann Hypothesis (RH) has been in reverse way). However, it may give us confi- the focus of mathematical research ever since dence of being on the right track. Moreover, Bernhard Riemann stated this conjecture in tools have been developed, several techni- 1859. However, this problem will not be con- cal steps have been made, and above all the sidered here. From 1924 onward an analogue deep insight in arithmetic aspects of geom- of the RH has been studied, usually called the etry have proved to be a powerful aspect of characteristic p formulation. In order to avoid modern mathematics. any confusion we will refer to this by pRH (al- We discuss: though this is not standard). Basically, this Formulation of the (equivalent of the) RH − problem concerns solving equations over fi- by Emil Artin, and results by F.K. Schmidt, nite fields. We will see that the pRH answers Hasse and Weil proving this conjecture the question of counting the number of so- in special cases (algebraic curves and lutions to polynomial equations over all finite abelian varieties defined over finite fields). fields of the same characteristic at one stroke. We indicate how this motivated Andre´ Weil − This will be illustrated by an easy example, to to formulate his conjectures. be followed throughout the paper. In short sections we give references for re- − After fifty years Pierre Deligne placed the sults proved by Grothendieck with many crown on this impressive series of develop- of his co-workers, and finally by Deligne, Photo: IHES ments by proving the pRH in its full generality. proving the Weil conjectures. Pierre Deligne during his time at IHES 1 1 212 NAW 5/15 nr. 3 september 2014 The Weil conjectures Frans Oort number of rational points on several elliptic Euler series and the Riemann zeta function curves (in our terminology) over a prime field Euler studied in 1740 infinite series defined Fp were computed [11–12]. Also other math- as an infinite sum of positive numbers, and ematicians considered such cases. later Chebyshev studied this as a function of Let me take one simple example, which we a real variable s: will follow throughout our journey. Try to solve the equation ∞ 1 1 = , s , X ns Y 1 p s ∈ R 2 3 2 n=1 p − Y Y = X X , with x, y 2m . − − − ∈ F It is clear that over F2 there are exactly four where p runs through the set of all prime num- solutions given by x = 0, 1 and y = 0, 1; bers. Both sides converge for s > 1. note that 1 = +1 2. We can embed Riemann, who knew work by Euler and who − ∈ F the affine plane into the projective plane by knew the relation of this function with the the- (x, y) = [x:y:1]. We know that, adding the ory of prime numbers, wrote in 1859 his mas- ‘point at infinity’ [0:1:0] (the unique point at terpiece Über die Anzahl der Primzahlen unter ‘infinity’ on the line X = 0) we obtain an ellip- einer gegebenen Grösse [31]. Riemann con- 2 Emil Artin (1898–1962) tic curve D defined over K = 2 by the sidered the function ⊂ PK F homogeneous equation an ideal I Z[T1,...,Tm] such that R = ∞ 1 1 ⊂ ∼ 2 2 3 2 = ζ(s) = = , s , [T1,...,Tm]/I. Here are some examples: , Y Z YZ X X Z. X ns Y 1 p s ∈ C Z Z − − n=1 p − − Z[T ], Fp (where Fp = Z/p), Fp[T ], etc. We write our modest result as convergent for the real part of s greater than Lemma. Let R be an algebra of finite type over #(D( )) = 5. For any maximal ideal M R the residue F2 one, and he proved that this complex function Z ⊂ has an analytic continuation. He showed that class ring R/M is a finite field. How do we compute Nm := #(D(F2m )) for (the analytic continuation of) this function has For a ring R as above we define its ‘zeta all m >0? We will show that abstract zeros at all negative, even, integral values of ∈ Z theory gives a complete (and easy) answer s (the ‘trivial zeros’). Riemann then stated function’ by to this question (and in fact, the same his famous conjecture that for this function 1 ζ (s) = , method answers this question over any finite (called the zeta function by Riemann) (con- R Y 1 #(R/M) s M − field). tinued across the pole at s = 1) all ‘non-trivial − zeros’ should have real part with absolute val- 1 where this (Euler) product ranges over all max- Explanation. A finite field is a field with a ue equal to 2 (in this case ‘non-trivial zeros’ imal ideals M R, and where s is a complex finite number of elements. An example is the can be understood as zeros with imaginary ⊂ variable. E.g. see [38]. residue class ring Z/p, where p is a prime part not equal to zero). It is impressive to number (and indeed, as is easily proved, this read this paper by Riemann: concise, a mas- Examples. 1. In case R = we have the clas- is a field). However Z/4 is not a field: it has terpiece of technical skill. This conjecture, Z zero-divisors, the element 2 mod 4 does not if true, would give a insight in the distribu- sical Riemann zeta function have an inverse. General theory says that for tion of prime numbers. His idea, his conjec- ζZ(s) = ζ(s): any prime power q = pn, where p is a prime ture, now indicated by RH, has had an enor- number and n Z>0, there exists a finite mous impact on mathematics, and it still has ∈ any maximal ideal M R = is of the form field with q elements, and this field is unique this influence. ⊂ Z M = (p) Z, where p is a prime number, and up to isomorphism; it will be denoted by Fq, ⊂ in particular Fp = Z/p. Remark. These series were considered by Eu- An elliptic curve E over a field K is a non- ler, already in 1740, for positive integral values 1 ζZ(s) = 2 Y s singular algebraic curve E given by a of s. As far as I know Euler did not consider 1 #(R/M)− ⊂ PK M − K s cubic equation having at least one -rational this as a ‘function’ in , therefore I will not 1 ∞ 1 2 = = . point. The curve D P given by the homo- use the terminology ‘the Euler zeta-function’. Y 1 p s X ns ⊂ p − 1 geneous equation ZY 2 Z2Y = X3 ZX2 Dirichlet and Chebyshev studied such series − − − (over a field in which 11 = 0) is an example of as a function (of a complex or a real variable). 6 an elliptic curve. 2. For the ring of integers in a number field we Side remark: This equation considered The Dedekind and E. Artin zeta functions obtain what is now called the Dedekind zeta over F11 defines a curve on which (x = At the moment we have no idea how to prove function. 8 mod 11, y = 6 mod 11) is the (only) sin- (or disprove?) the Riemann Hypothesis for the 3. For a ring like R = Z[T ], or Fp[T ], we obtain gular point (a node). Riemann zeta function. a new type of zeta function. Remarkably enough, it might help to study First, we will follow a different line of de- a generalization. Let R be an algebra of fi- For these zeta functions (e.g. where Z is a velopment in history. nite type over Z. This means that there is subring of R) we hope we can extend classi- 2 2 Frans Oort The Weil conjectures NAW 5/15 nr.
Load more

Recommended publications
  • The Work of Pierre Deligne
    THE WORK OF PIERRE DELIGNE W.T. GOWERS 1. Introduction Pierre Deligne is indisputably one of the world's greatest mathematicians. He has re- ceived many major awards, including the Fields Medal in 1978, the Crafoord Prize in 1988, the Balzan Prize in 2004, and the Wolf Prize in 2008. While one never knows who will win the Abel Prize in any given year, it was virtually inevitable that Deligne would win it in due course, so today's announcement is about as small a surprise as such announcements can be. This is the third time I have been asked to present to a general audience the work of the winner of the Abel Prize, and my assignment this year is by some way the most difficult of the three. Two years ago, I talked about John Milnor, whose work in geometry could be illustrated by several pictures. Last year, the winner was Endre Szemer´edi,who has solved several problems with statements that are relatively simple to explain (even if the proofs were very hard). But Deligne's work, though it certainly has geometrical aspects, is not geometrical in a sense that lends itself to pictorial explanations, and the statements of his results are far from elementary. So I am forced to be somewhat impressionistic in my description of his work and to spend most of my time discussing the background to it rather than the work itself. 2. The Ramanujan conjecture One of the results that Deligne is famous for is solving a conjecture of Ramanujan. This conjecture is not the obvious logical starting point for an account of Deligne's work, but its solution is the most concrete of his major results and therefore the easiest to explain.
    [Show full text]
  • Etale and Crystalline Companions, I
    ETALE´ AND CRYSTALLINE COMPANIONS, I KIRAN S. KEDLAYA Abstract. Let X be a smooth scheme over a finite field of characteristic p. Consider the coefficient objects of locally constant rank on X in ℓ-adic Weil cohomology: these are lisse Weil sheaves in ´etale cohomology when ℓ 6= p, and overconvergent F -isocrystals in rigid cohomology when ℓ = p. Using the Langlands correspondence for global function fields in both the ´etale and crystalline settings (work of Lafforgue and Abe, respectively), one sees that on a curve, any coefficient object in one category has “companions” in the other categories with matching characteristic polynomials of Frobenius at closed points. A similar statement is expected for general X; building on work of Deligne, Drinfeld showed that any ´etale coefficient object has ´etale companions. We adapt Drinfeld’s method to show that any crystalline coefficient object has ´etale companions; this has been shown independently by Abe–Esnault. We also prove some auxiliary results relevant for the construction of crystalline companions of ´etale coefficient objects; this subject will be pursued in a subsequent paper. 0. Introduction 0.1. Coefficients, companions, and conjectures. Throughout this introduction (but not beyond; see §1.1), let k be a finite field of characteristic p and let X be a smooth scheme over k. When studying the cohomology of motives over X, one typically fixes a prime ℓ =6 p and considers ´etale cohomology with ℓ-adic coefficients; in this setting, the natural coefficient objects of locally constant rank are the lisse Weil Qℓ-sheaves. However, ´etale cohomology with p-adic coefficients behaves poorly in characteristic p; for ℓ = p, the correct choice for a Weil cohomology with ℓ-adic coefficients is Berthelot’s rigid cohomology, wherein the natural coefficient objects of locally constant rank are the overconvergent F -isocrystals.
    [Show full text]
  • DENINGER COHOMOLOGY THEORIES Readers Who Know What the Standard Conjectures Are Should Skip to Section 0.6. 0.1. Schemes. We
    DENINGER COHOMOLOGY THEORIES TAYLOR DUPUY Abstract. A brief explanation of Denninger's cohomological formalism which gives a conditional proof Riemann Hypothesis. These notes are based on a talk given in the University of New Mexico Geometry Seminar in Spring 2012. The notes are in the same spirit of Osserman and Ile's surveys of the Weil conjectures [Oss08] [Ile04]. Readers who know what the standard conjectures are should skip to section 0.6. 0.1. Schemes. We will use the following notation: CRing = Category of Commutative Rings with Unit; SchZ = Category of Schemes over Z; 2 Recall that there is a contravariant functor which assigns to every ring a space (scheme) CRing Sch A Spec A 2 Where Spec(A) = f primes ideals of A not including A where the closed sets are generated by the sets of the form V (f) = fP 2 Spec(A) : f(P) = 0g; f 2 A: By \f(P ) = 000 we means f ≡ 0 mod P . If X = Spec(A) we let jXj := closed points of X = maximal ideals of A i.e. x 2 jXj if and only if fxg = fxg. The overline here denote the closure of the set in the topology and a singleton in Spec(A) being closed is equivalent to x being a maximal ideal. 1 Another word for a closed point is a geometric point. If a point is not closed it is called generic, and the set of generic points are in one-to-one correspondence with closed subspaces where the associated closed subspace associated to a generic point x is fxg.
    [Show full text]
  • Introduction to L-Functions: the Artin Cliffhanger…
    Introduction to L-functions: The Artin Cliffhanger. Artin L-functions Let K=k be a Galois extension of number fields, V a finite-dimensional C-vector space and (ρ, V ) be a representation of Gal(K=k). (unramified) If p ⊂ k is unramified in K and p ⊂ P ⊂ K, put −1 −s Lp(s; ρ) = det IV − Nk=Q(p) ρ (σP) : Depends only on conjugacy class of σP (i.e., only on p), not on P. (general) If G acts on V and H subgroup of G, then V H = fv 2 V : h(v) = v; 8h 2 Hg : IP With ρjV IP : Gal(K=k) ! GL V . −1 −s Lp(s; ρ) = det I − Nk=Q(p) ρjV IP (σP) : Definition For Re(s) > 1, the Artin L-function belonging to ρ is defined by Y L(s; ρ) = Lp(s; ρ): p⊂k Artin’s Conjecture Conjecture (Artin’s Conjecture) If ρ is a non-trivial irreducible representation, then L(s; ρ) has an analytic continuation to the whole complex plane. We can prove meromorphic. Proof. (1) Use Brauer’s Theorem: X χ = ni Ind (χi ) ; i with χi one-dimensional characters of subgroups and ni 2 Z. (2) Use Properties (4) and (5). (3) L (s; χi ) is meromorphic (Hecke L-function). Introduction to L-functions: Hasse-Weil L-functions Paul Voutier CIMPA-ICTP Research School, Nesin Mathematics Village June 2017 A “formal” zeta function Let Nm, m = 1; 2;::: be a sequence of complex numbers. 1 m ! X Nmu Z(u) = exp m m=1 With some sequences, if we have an Euler product, this does look more like zeta functions we have seen.
    [Show full text]
  • Annual Report 2017-2018
    Annual Review 2017 | 2018 ONTENTS C 1 Overview 1 2 Profile 4 3 Research 6 4 Events 9 5 Personnel 13 6 Mentoring 17 7 Structures 18 APPENDICES R1 Highlighted Papers 20 R2 Complete List of Papers 23 E1 HIMR-run Events 29 E2 HIMR-sponsored Events 31 E3 Focused Research Events 39 E4 Future Events 54 P1 Fellows Joining in 2017|2018 59 P2 Fellows Leaving since September 2017 60 P3 Fellows Moving with 3-year Extensions 62 P4 Future Fellows 63 M1 Mentoring Programme 64 1. Overview This has been another excellent year for the Heilbronn Institute, which is now firmly established as a major national mathematical research centre. HIMR has developed a strong brand and is increasingly influential in the UK mathematics community. There is currently an outstanding cohort of Heilbronn Research Fellows doing first-rate research. Recruitment of new Fellows has been most encouraging, as is the fact that many distinguished academic mathematicians continue to work with the Institute. The research culture at HIMR is excellent. Members have expressed a high level of satisfaction. This is especially the case with the Fellows, many of whom have chosen to continue their relationships with the Institute. Our new Fellows come from leading mathematics departments and have excellent academic credentials. Those who left have moved to high-profile groups, including several to permanent academic positions. We currently have 29 Fellows, hosted by 6 universities. We are encouraged by the fact that of the 9 Fellows joining us this year, 5 are women. The achievements of our Fellows this year again range from winning prestigious prizes to publishing in the elite mathematical journals and organising major mathematical meetings.
    [Show full text]
  • THE WEIL CONJECTURES I Arxiv:1807.10810V2 [Math.AG] 26
    THE WEIL CONJECTURES I By Pierre Deligne (translated by Evgeny Goncharov) [email protected],∗ [email protected] I attempted to write the full translation of this article to make the remarkable proof of Pierre Deligne available to a greater number of people. Overviews of the proofs can be found elsewhere. I especially recommend the notes of James Milne on Etale Cohomology that also contain a justifica- tion for the theory underlying this article and proofs of the results used by Deligne. The footnotes are mostly claims that some details appear in Milne, clarifications of some of the terminology or my personal struggles. I have also made a thorough overview of the proof together with more detailed explanations - https: // arxiv. org/ abs/ 1807. 10812 . Enjoy! Abstract In this article I prove the Weil conjecture about the eigenvalues of Frobenius endomor- phisms. The precise formulation is given in (1.6). I tried to make the demonstration as geometric and elementary as possible and included reminders: only the results of paragraphs 3, 6, 7 and 8 are original. In the article following this one I will give various refinements of the intermediate results and the applications, including the hard Lefschetz theorem (on the iterated cup products by the cohomology class of a hyperplane section). The text faithfully follows from the six lectures given at Cambridge in July 1973. I thank N.Katz for allowing me to use his notes. Contents 1 The theory of Grothendieck: a cohomological interpretation of L-functions 2 2 The theory of Grothendieck: Poincare duality 7 arXiv:1807.10810v2 [math.AG] 26 Jan 2019 3 The main lemma (La majoration fondamentale) 10 4 Lefschetz theory: local theory 13 5 Lefschetz theory: global theory 15 6 The rationality theorem 20 7 Completion of the proof of (1.7) 23 8 First applications 26 ∗Cambridge University, Center for Mathematical Sciences, Wilberforce Road, Cambridge, UK yNational Research University Higher School of Economics (NRU HSE), Usacheva 6, Moscow, Russia.
    [Show full text]
  • The Role of the Ramanujan Conjecture in Analytic Number Theory
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 50, Number 2, April 2013, Pages 267–320 S 0273-0979(2013)01404-6 Article electronically published on January 14, 2013 THE ROLE OF THE RAMANUJAN CONJECTURE IN ANALYTIC NUMBER THEORY VALENTIN BLOMER AND FARRELL BRUMLEY Dedicated to the 125th birthday of Srinivasa Ramanujan Abstract. We discuss progress towards the Ramanujan conjecture for the group GLn and its relation to various other topics in analytic number theory. Contents 1. Introduction 267 2. Background on Maaß forms 270 3. The Ramanujan conjecture for Maaß forms 276 4. The Ramanujan conjecture for GLn 283 5. Numerical improvements towards the Ramanujan conjecture and applications 290 6. L-functions 294 7. Techniques over Q 298 8. Techniques over number fields 302 9. Perspectives 305 J.-P. Serre’s 1981 letter to J.-M. Deshouillers 307 Acknowledgments 313 About the authors 313 References 313 1. Introduction In a remarkable article [111], published in 1916, Ramanujan considered the func- tion ∞ ∞ Δ(z)=(2π)12e2πiz (1 − e2πinz)24 =(2π)12 τ(n)e2πinz, n=1 n=1 where z ∈ H = {z ∈ C |z>0} is in the upper half-plane. The right hand side is understood as a definition for the arithmetic function τ(n) that nowadays bears Received by the editors June 8, 2012. 2010 Mathematics Subject Classification. Primary 11F70. Key words and phrases. Ramanujan conjecture, L-functions, number fields, non-vanishing, functoriality. The first author was supported by the Volkswagen Foundation and a Starting Grant of the European Research Council. The second author is partially supported by the ANR grant ArShiFo ANR-BLANC-114-2010 and by the Advanced Research Grant 228304 from the European Research Council.
    [Show full text]
  • Henri Darmon
    Henri Darmon Address: Dept of Math, McGill University, Burnside Hall, Montreal, PQ. E-mail: [email protected] Web Page: http://www.math.mcgill.ca/darmon Telephone: Work (514) 398-2263 Home: (514) 481-0174 Born: Oct. 22, 1965, in Paris, France. Citizenship: Canadian, French, and Swiss. Education: 1987. B.Sc. Mathematics and Computer Science, McGill University. 1991. Ph.D. Mathematics, Harvard University. Thesis: Refined class number formulas for derivatives of L-series. University Positions: 1991-1994. Princeton University, Instructor. 1994-1996. Princeton University, Assistant Professor. 1994-1997. McGill University, Assistant Professor. 1997-2000. McGill University, Associate Professor. 2000- . McGill University, Professor. 2005-2019. James McGill Professor, McGill University. Other positions: 1991-1994. Cercheur hors Qu´ebec, CICMA. 1994- . Chercheur Universitaire, CICMA. 1998- . Director, CICMA (Centre Interuniversitaire en Calcul Math´ematique Alg´ebrique). 1999- . Member, CRM (Centre de Recherches Math´ematiques). 2005-2014. External member, European network in Arithmetic Geometry. Visiting Positions: 1991. IHES, Paris. 1995. Universit´a di Pavia. 1996. Visiting member, MSRI, Berkeley. 1996. Visiting professor and guest lecturer, University of Barcelona. 1997. Visiting Professor, Universit´e Paris VI (Jussieu). 1997. Visitor, Institut Henri Poincar´e. 1998. Visiting Professor and NachDiplom lecturer, ETH, Zuric¨ h. 1999. Visiting professor, Universit`a di Pavia. 2001. Visiting professor, Universit`a di Padova. 2001. Korea Institute for Advanced Study. 2002. Visiting professor, RIMS and Saga University (Japan). 1 2003. Visiting Professor, Universit´e Paris VI, Paris. 2003. Visiting professor, Princeton University. 2004. Visiting Professor, Universit´e Paris VI, Paris. 2006. Visiting Professor, CRM, Barcelona, Spain. 2008. Visiting Professor, Universit´e Paris-Sud (Orsay).
    [Show full text]
  • Hasse-Weil Zeta-Function in a Special Case
    Universit´eParis-Sud 11 Universiteit Leiden Master Erasmus Mundus ALGANT HASSE-WEIL ZETA-FUNCTION IN A SPECIAL CASE Weidong ZHUANG Advisor: Professor M. Harris 1 HASSE-WEIL ZETA-FUNCTION IN A SPECIAL CASE WEIDONG ZHUANG I sincerely thank Prof. M. Harris for guiding me to this fantastic topic. I wish to thank all those people who have helped me when I am studying for the thesis. I also appreciate ERASMUS MUNDUS ALGANT, especially Universit´eParis-Sud 11 and Universiteit Leiden for all conveniences afforded. 2 Contents 1. Introduction 3 2. Preliminaries 5 2.1. Elliptic curves 5 2.2. Moduli space with level structure in good reduction 5 2.3. Moduli space with level structure in bad reduction 6 3. Basics of representations 7 3.1. Representations of GL2 7 3.2. Weil group 10 3.3. The Bernstein center 11 4. Harmonic analysis 12 4.1. Basics of integration 12 4.2. Character of representations 13 4.3. Selberg trace formula 14 5. Advanced tools 15 5.1. Crystalline cohomology 15 5.2. Nearby cycles 17 5.3. Base change 18 5.4. Counting points over finite fields 21 6. The semi-simple trace and semi-simple local factor 22 6.1. Basics of the semi-simple trace and semi-simple local factor 23 6.2. Nearby cycles 24 6.3. The semi-simple trace of Frobenius as a twisted orbital integral 27 6.4. Lefschetz number 29 7. The Hasse-Weil zeta-function 31 7.1. Contributions from the boundary 31 7.2. The Arthur-Selberg Trace formula 32 7.3.
    [Show full text]
  • Motives and Motivic L-Functions
    Motives and Motivic L-functions Christopher Elliott December 6, 2010 1 Introduction This report aims to be an exposition of the theory of L-functions from the motivic point of view. The classical theory of pure motives provides a category consisting of `universal cohomology theories' for smooth projective varieties defined over { for instance { number fields. Attached to every motive we can define a function which is holomorphic on a subdomain of C which at least conjecturally satisfies similar properties to the Riemann zeta function: for instance meromorphic continuation and functional equation. The properties of this function are expected to encode deep arithmetic properties of the underlying variety. In particular, we will discuss a conjecture of Deligne and its more general forms due to Beilinson and others, that relates certain \special" values of the L-function { values at integer points { to a subtle arithmetic invariant called the regulator, vastly generalising the analytic class number formula. Finally I aim to describe potentially fruitful ways in which these exciting conjectures might be rephrased or reinterpreted, at least to make things clearer to me. There are several sources from which I have drawn ideas and material. In particular, the book [1] is a very good exposition of the theory of pure motives. For the material on L-functions, and in particular the Deligne and Beilinson conjectures, I referred to the surveys [9], [11] and [4] heavily. In particular, my approach to the Deligne conjecture follows the survey [11] of Schneider closely. Finally, when I motivate the definition of the motivic L-function I use the ideas and motivation in the introduction to the note [5] of Kim heavily.
    [Show full text]
  • Deligne's Proof of the Weil-Conjecture
    Deligne's Proof of the Weil-conjecture Prof. Dr. Uwe Jannsen Winter Term 2015/16 Inhaltsverzeichnis 0 Introduction 3 1 Rationality of the zeta function 9 2 Constructible sheaves 14 3 Constructible Z`-sheaves 21 4 Cohomology with compact support 24 5 The Frobenius-endomorphism 27 6 Deligne's theorem: Formulation and first reductions 32 7 Weights and determinant weights 36 8 Cohomology of curves and L-series 42 9 Purity of real Q`-sheaves 44 10 The formalism of nearby cycles and vanishing cycles 46 11 Cohomology of affine and projective spaces, and the purity theorem 55 12 Local Lefschetz theory 59 13 Proof of Deligne's theorem 74 14 Existence and global properties of Lefschetz pencils 86 0 Introduction The Riemann zeta-function is defined by the sum and product X 1 Y 1 ζ(s) = = (s 2 C) ns 1 − p−s n≥1 p which converge for Re(s) > 1. The expression as a product, where p runs over the rational prime numbers, is generally attributed to Euler, and is therefore known as Euler product formula with terms the Euler factors. Formally the last equation is easily achieved by the unique decomposition of natural numbers as a product of prime numbers and by the geometric series expansion 1 1 X = p−ms : 1 − p−s m=0 The { to this day unproved { Riemann hypothesis states that all non-trivial zeros of ζ(s) 1 should lie on the line Re(s) = 2 . This is more generally conjectured for the Dedekind zeta functions X 1 Y 1 ζ (s) = = : K Nas 1 − Np−s a⊂OK p Here K is a number field, i.e., a finite extension of Q, a runs through the ideals =6 0 of the ring OK of the integers of K, p runs through the prime ideals =6 0, and Na = jOK =aj, where jMj denotes the cardinality numbers of a finite set M.
    [Show full text]
  • The Riemann Hypothesis for Varieties Over Finite Fields
    The Riemann Hypothesis for Varieties over Finite Fields Sander Mack-Crane 16 July 2015 Abstract We discuss the Weil conjectures, especially the Riemann hypothesis, for varieties over finite fields. Particular detail is devoted to the proof of the Riemann hypothesis for cubic threefolds in projective 4-space, as given by Bombieri and Swinnerton-Dyer. The main idea is to relate the number of points on a cubic threefold to the trace of Frobenius on an associated abelian variety, and we develop the necessary machinery of abelian varieties. 1 Introduction The Weil conjectures are a set of conjectures (now proven) describing the number of points of varieties over finite fields, as encoded in the zeta function of the variety. They give an analog in finite fields of both the Riemann hypothesis of analytic number theory and the cohomology theory of complex varieties. We will introduce both of these perspectives in turn, partly following [2]. But first, we review an element of algebraic geometry that is essential for our discussion. 1.1 Fields of Definition In the classical setting, let n Ak = f(a1,..., an) j ai 2 kg be n-dimensional affine space over a field k, f fig ⊂ k[x1,..., xn] some set of polynomials, and n n V = V( fi) = f(a1,..., an) 2 Ak j fi(a1,..., an) = 0 for all ig ⊂ Ak the variety defined by the polynomials f fig. For any extension K of k, we have k[x0,..., xn] ⊂ K[x0,..., xn], and in particular our polynomials fi defining X are in K[x0,..., xn].
    [Show full text]