DOCSLIB.ORG

Remark on Weil's Conjectures

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Remark on Weil's Conjectures Remark on Weil’s conjectures Igor V. Nikolaev Abstract We introduce a cohomology theory for a class of projective varieties over a finite field coming from the canonical trace on a C∗-algebra at- tached to the variety. Using the cohomology, we prove the rationality, functional equation and the Betti numbers conjectures for the zeta function of the variety. Key words and phrases: Weil conjectures, Serre C∗-algebras MSC: 14F42 (motives); 46L85 (noncommutative topology) 1 Introduction The aim of our note is a cohomology theory for projective varieties over the field with q = pr elements. Such a cohomology comes from the canonical trace on a C∗-algebra attached to the variety V ; this theory will be called ∗ a trace cohomology and denoted by Htr(V ). The trace cohomology is much ∗ parallel to the ℓ-adic cohomology Het(V ; Qℓ), see [Grothendieck 1968] [3] and arXiv:1309.2551v4 [math.AG] 4 Aug 2016 [Hartshorne 1977, pp. 453-457] [4]. Unlike the ℓ-adic cohomology, it does not ∗ depend on a prime ℓ and the endomorphisms of Htr(V ) always have an in- teger trace. While the ℓ-adic cohomology counts isolated fixed points of the Frobenius endomorphism geometrically, the trace cohomology does it alge- braically, i.e. taking into account the index 1 of a fixed point. Moreover, ± ∗ the eigenvalues of Frobenius endomorphism on Het(V ; Qℓ) are complex alge- i braic numbers of the absolute value q 2 , yet such eigenvalues are real algebraic ∗ i on the trace cohomology Htr(V ). The cohomology groups Htr(V ) are truly concrete and simple; they can be found explicitly in many important special 1 cases, e.g. when V is an algebraic curve, see Section 4. We shall pass to a detailed construction. Denote by VC an n-dimensional projective variety over the field of com- plex numbers, such that the reduction of VC modulo the prime ideal over p is isomorphic to the variety V := V (Fq). (In other words, we assume that V can be lifted to the characteristic zero and the reduction modulo p is functo- rial; the corresponding category is described in [Hartshorne 2010, Theorem 22.1] [5].) Let B(VC, , σ) be the twisted homogeneous coordinate ring of L projective variety VC, where is the invertible sheaf of linear forms on VC L and σ an automorphism of VC, see [Stafford & van den Bergh 2001, p. 180] [14] for the details. The norm-closure of a self-adjoint representation of the ring B(VC, , σ) by the bounded linear operators on a Hilbert space L is a C∗-algebra, see e.g. [Murphy 1990] [7] for an introduction; we call H ∗ ∗ it a Serre C -algebra of VC and denote by . Let be the C -algebra of AV K all compact operators on . We shall write τ : R to denote H AV ⊗K → the canonical normalized trace on , i.e. a positive linear functional AV ⊗K of norm 1 such that τ(yx) = τ(xy) for all x, y V , see [Blackadar 1986, p. 31] [2]. Because is a crossed product∈ AC∗-algebra⊗K of the form AV V ∼= C(VC) ⋊ Z, one can use the Pimsner-Voiculescu six term exact se- quenceA for the crossed products, see e.g. [Blackadar 1986, p. 83] [2] for the details. Thus one gets the short exact sequence of the algebraic K-groups: i∗ 0 K0(C(VC)) K0( V ) K1(C(VC)) 0, where map i∗ is induced by → → A → → 0 the natural embedding of C(VC) into V . We have K0(C(VC)) = K (VC) and −1 0 A −1 ∼ K1(C(VC)) ∼= K (VC), where K and K are the topological K-groups of VC, see [Blackadar 1986, p. 80] [2]. By the Chern character formula, one gets 0 even −1 odd even K (VC) Q = H (VC; Q) and K (VC) Q = H (VC; Q), where H odd ⊗ ∼ ⊗ ∼ (H ) is the direct sum of even (odd, resp.) cohomology groups of VC. No- tice that K0( V ) ∼= K0( V ) because of a stability of the K0-group with respect to tensorA ⊗K products byA the algebra , see e.g. [Blackadar 1986, p. K 32] [2]. One gets the commutative diagram in Fig. 1, where τ∗ denotes a ∗ homomorphism induced on K0 by the canonical trace τ on the C -algebra even n 2i odd n 2i−1 V . Since H (VC) := i=0H (VC) and H (V ) := i=1H (VC), A ⊗K ⊕ ⊕ i one gets for each 0 i 2n an injective homomorphism τ : H (VC) R. ≤ ≤ ∗ −→ i Definition 1 By an i-th trace cohomology group Htr(V ) of variety V one understands the abelian subgroup of R defined by the map τ∗. i Notice that each endomorphism of Htr(V ) is given by a real number ω, such 2 even i∗ odd H (VC) Q K ( ) Q H (VC) Q ⊗ −→ 0 AV ⊗K ⊗ −→ ⊗ ❍ ✟ ❍ ✟ ❍ τ∗ ✟ ❍❍❥ ✟✙✟ ❄ R Figure 1: The trace cohomology. i i i that ωHtr(V ) Htr(V ); thus the ring End (Htr(V )) of all endomorphisms of i ⊆ i Htr(V ) is commutative. The End (Htr(V )) is a commutative subring of the i i ring End (H (VC)) of all endomorphisms of the cohomology group H (VC). Moreover, each regular map f : V V corresponds to an algebraic map → i fC : VC VC and, therefore, to an endomorphism ω End (Htr(V )). On → i ∈ i the other hand, it is easy to see that End (Htr(V )) = Z or End (Htr(V )) Q i ∼ i ⊗ is an algebraic number field. In the latter case Htr(V ) End (Htr(V )) Q, see [Manin 2004, Lemma 1.1.1] [6] for the case of quadratic⊂ fields. We s⊗hall write tr (ω) to denote the trace of an algebraic number ω End (Hi (V )). ∈ tr Our main results are as follows. Theorem 1 The cardinality of variety V (Fq) is given by the formula: 2n−1 V (F ) =1+ qn + ( 1)i tr (ω ), (1) | q | − i Xi=1 where ω End (Hi (V )) is generated by the Frobenius map of V (F ). i ∈ tr q |V (F r )| ∞ q r F Theorem 2 The zeta function ZV (t) := exp r=1 r t of V ( q) has the following properties: P P1(t)...P2n−1(t) (i) ZV (t)= is a rational function; P0(t)...P2n(t) χ(VC) 1 n χ(VC) (ii) Z (t) satisfies the functional equation Z = q 2 t Z (t), V V qnt ± V where χ(VC) is the Euler-Poincar´echaracteristic of VC; i (iii) deg Pi(t) = dim H (VC). Remark 1 Roughly speaking, theorem 2 says that the standard properties of the trace cohomology imply all Weil’s conjectures, except for an analog of i the Riemann hypothesis αij = q 2 for the roots αij of polynomials Pi(t), see [Weil 1949, p. 507] [15]; the| | latter property is proved in [10]. 3 The article is organized as follows. Section 2 contains some useful definitions and notation. Theorems 1 and 2 are proved in Section 3. We calculate the trace cohomology for the algebraic (and elliptic, in particular) curves in Section 4. 2 Preliminaries In this section we briefly review the twisted homogeneous coordinate rings and the Serre C∗-algebras associated to projective varieties, see [Artin & van den Bergh 1990] [1]) and [Stafford & van den Bergh 2001] [14] for a de- tailed account. The C∗-algebras and their K-theory are covered in [Murphy 1990] [7] and [Blackadar 1986] [2], respectively. The Serre C∗-algebras were introduced in [9]. 2.1 Twisted homogeneous coordinate rings Let V be a projective scheme over a field k, and let be the invertible sheaf (1) of linear forms on V . Recall, that the homogeneousL coordinate ring OV of V is a graded k-algebra, which is isomorphic to the algebra B(V, )= H0(V, ⊗n). (2) L L nM≥0 Denote by Coh the category of quasi-coherent sheaves on a scheme V and by Mod the category of graded left modules over a graded ring B. If M = M ⊕ n and Mn = 0 for n >> 0, then the graded module M is called right bounded. The direct limit M = lim Mα is called a torsion, if each Mα is a right bounded graded module. Denote by Tors the full subcategory of Mod of the torsion modules. The following result is basic about the graded ring B = B(V, ). L Lemma 1 ([Serre 1955] [11]) Mod (B) / Tors ∼= Coh (V ). Let σ be an automorphism of V . The pullback of sheaf along σ will be denoted by σ, i.e. σ(U) := (σU) for every U V . TheL graded k-algebra L L L ⊂ n−1 B(V, , σ)= H0(V, σ ... σ ). (3) L L⊗L ⊗ ⊗L nM≥0 is called a twisted homogeneous coordinate ring of scheme V ; notice that such a ring is non-commutative, unless σ is the trivial automorphism. The 4 σm multiplication of sections is defined by the rule ab = a b , whenever a Bm and b B . Given a pair (V, σ) consisting of a Noetherian⊗ scheme V and∈ an ∈ n automorphism σ of V , an invertible sheaf on V is called σ-ample, if for every n− coherent sheaf on V , the cohomology groupL Hq(V, σ ... σ 1 ) vanishes for q >F 0 and n >> 0. Notice, that if σ is trivial,L⊗L ⊗ this⊗L definition⊗F is equivalent to the usual definition of ample invertible sheaf [Serre 1955] [11]. A non-commutative generalization of the Serre theorem is as follows.
Load more

Recommended publications
  • 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]
  • 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]
  • 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]
  • The Weil Conjectures for Elliptic Curves
    The Weil Conjectures for Elliptic Curves Gaurish Korpal Elliptic curves Definition Group structure Weil conjectures The Weil Conjectures for Elliptic Curves Zeta function Statement Counting points over finite fields Main lemma Gaurish Korpal An example The University of Arizona, Tucson December 10, 2020 Outline The Weil Conjectures for Elliptic Curves Gaurish Korpal 1 Elliptic curves Elliptic curves Definition Definition Group structure Group structure Weil conjectures Zeta function Statement Counting points 2 Weil conjectures over finite fields Zeta function Main lemma An example Statement 3 Counting points over finite fields Main lemma An example The Weil Conjectures for Elliptic Curves Gaurish Korpal Elliptic curves Definition Group structure Weil conjectures Zeta function Statement Counting points over finite fields Elliptic curves Main lemma An example Definition The Weil Conjectures for Elliptic Curves Since we won't be discussing any proofs in this seminar, it will be Gaurish Korpal sufficient to restrict ourselves to the following definition of elliptic Elliptic curves curves: Definition Group structure Elliptic curve Weil conjectures Zeta function An elliptic curve over a field K is a nonsingular projective plane curve Statement over K given by an affine equation of the form Counting points over finite fields 2 3 2 Main lemma y + a1xy + a3y = x + a2x + a4x + a6 An example with an extra point O = [0 : 1 : 0] at infinity. Therefore, in homegenous coordinates the equation will be: 2 2 3 2 2 3 Y Z + a1XYZ + a3YZ = X + a2X Z + a4XZ + a6Z where x = X =Z
    [Show full text]
  • A Course on the Weil Conjectures
    A course on the Weil conjectures Tam´asSzamuely Notes by Davide Lombardo Contents 1 Introduction to the Weil conjectures 2 1.1 Statement of the Weil conjectures . .4 1.2 A bit of history . .5 1.3 Grothendieck's proof of Conjectures 1.3 and 1.5 . .6 1.3.1 Proof of Conjecture 1.3 . .6 1.3.2 Proof of Conjecture 1.5 . .8 2 Diagonal hypersurfaces 9 2.1 Gauss & Jacobi sums . 10 2.2 Proof of the Riemann hypothesis for the Fermat curve . 12 3 A primer on ´etalecohomology 14 3.1 How to define a good cohomology theory for schemes . 14 3.1.1 Examples . 15 3.2 Comparison of ´etalecohomology with other cohomology theories . 15 3.3 Stalks of an ´etalesheaf . 16 3.4 Cohomology groups with coefficients in rings of characteristic 0 . 16 3.5 Operations on sheaves . 17 3.6 Cohomology with compact support . 18 3.7 Three basic theorems . 18 3.8 Conjecture 1.11: connection with topology . 19 4 Deligne's integrality theorem 20 4.1 Generalised zeta functions . 20 4.2 The integrality theorem . 21 4.3 An application: Esnault's theorem . 22 4.3.1 Cohomology with support in a closed subscheme . 23 4.3.2 Cycle map . 24 4.3.3 Correspondences . 25 4.3.4 Bloch's lemma . 25 4.3.5 Proof of Theorem 4.11 . 26 5 Katz's proof of the Riemann Hypothesis for hypersurfaces 27 5.1 Reminder on the arithmetic fundamental group . 29 5.2 Katz's proof . 30 1 6 Deligne's original proof of the Riemann Hypothesis 31 6.1 Reductions in the proof of the Weil Conjectures .
    [Show full text]
  • Etale Cohomology and the Weil Conjecture by Eberhard Freitag and Reinhardt Kiehl
    230 BOOK REVIEWS [K] A. Knapp, Representation theory of semisimple groups, Princeton Univ. Press, Princeton, New Jersey, 1986. [S] A. Selberg, Harmonic analysis and discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet series, J. Indian Math. Soc. 20(1956), 47-87. PAUL B. GARRETT UNIVERSITY OF MINNESOTA BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 22, Number 1, January 1990 © 1990 American Mathematical Society 0273-0979/90 $1.00 + $.25 per page Etale cohomology and the Weil conjecture by Eberhard Freitag and Reinhardt Kiehl. Springer-Verlag, Berlin, Heidelberg, New York, 1988, xviii + 317 pp., $98.00. ISBN 3-540-12175-7 It is now some sixteen years since Deligne's spectacular proof [De-Weil I] in June, 1973, of the "Riemann Hypothesis" for zeta functions of projective nonsingular varieties over finite fields com­ pleted the overall proof of the Weil Conjectures [We]. For an expository account of all this, see my survey article [Ka]. In the fall of 1973, Deligne formulated and proved [De-Weil II] a far-reaching generalization, which applied to arbitrary varieties over finite fields, and to quite general L-functions on them. It is this generalization, rather than Weil I itself, which has since proven an extremely powerful tool with all sorts of applications, from exponential sums to perverse sheaves. The book under review is devoted to giving a thorough ex­ position of Weil I, and of the background material concerning Grothendieck's theory of /-adic cohomology which that paper pre­ supposes. In this the authors succeed admirably. The book does not discuss Weil II at all, except for a two page summary (IV, 5) of some of its main results near the end.
    [Show full text]