DOCSLIB.ORG

THE WEIL ZETA FUNCTION and the IGUSA LOCAL ZETA FUNCTION 1. Introduction in the Next Four Lectures I Want to Discuss Two Zeta Fu

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
THE WEIL ZETA FUNCTION and the IGUSA LOCAL ZETA FUNCTION 1. Introduction in the Next Four Lectures I Want to Discuss Two Zeta Fu THE WEIL ZETA FUNCTION AND THE IGUSA LOCAL ZETA FUNCTION MARGARET M. ROBINSON Abstract. These are a set of notes and problem sets written for the Un- dergraduate Lecture Series section of ”Zeta Functions all the Way,” the 2006 topic of the Mentoring Program for Women in Mathematics at the Institute for Advanced Study. 1. Introduction In the next four lectures I want to discuss two zeta functions the Weil zeta function and the Igusa local zeta function which, in comparison to the zeta functions we just studied, are more algebraic. These zeta functions are both associated with a polynomial f(x1, x2, ..., xn) in n variables with coefficients, for simplicity, in the integers. First I am going to introduce the two generating functions, often called Poincar´eSeries, which are associated with these zeta functions. Then I will define each zeta function and compute examples of them for different polynomials. I hope that this way we can compare the two zeta functions easily. I will give you some problems to work on in the afternoons which are supposed to make the zeta functions come to life for you. I will also discuss what is known about the functions and what is not known about then. Finally, I hope to give you a feeling for how these two functions are related. I also want to thank Diane Meuser from Boston University for reading these notes and making many very helpful suggestions, e 1.1. Poincar´eSeries. Consider the unique finite field Fpe with p elements. To understand this Poincar´eseries and the associated Weil zeta function, one really needs to understand a lot about finite fields. So we will talk a lot more about finite fields. However, given a polynomial f(x1, x2, ..., xn) in n variables in the ring of polynomials Z[x1, x2, ..., xn] with coefficients in the integers, fix a prime p and consider f with coefficients reduced modulo p, so that it now has coefficients in the finite field Fp. To this polynomial, we associate the generating function ∞ X e PW (T ) = |Ne| T e=1 (n) where Ne = {(x1, x2, ..., xn) ∈ Fpe |f(x1, x2, ..., xn) = 0 in Fpe } for e > 0 and | · | denotes set cardinality. The generating function P (T ) turns out to be a rational function of T . The first part of the celebrated 1949 Weil conjectures (now theorems) was that the Weil zeta function should be a rational function. The rationality was proved by Bernie Dwork in 1960 using p-adic analysis and by showing that there is a nice relation between the |Ne|. The rationality of the Poincar´eseries follows right from the rationality of the zeta function. 1 2 MARGARET M. ROBINSON For the same polynomial we can also associate another generating function to it as ∞ X e PI (T ) = |Ne| T e=1 e (n) e where Ne = {(x1, x2, ..., xn) ∈ (Z/p Z) |f(x1, x2, ..., xn) ≡ 0 mod p } for e > 0 and an integer. The generating function PI (T ) is also a rational function of T . Its rationality was conjectured in problem 9 of the exercises at the end of Chapter 1, section 5 in the textbook Number Theory by Borevich and Shafarevich published in Russian in 1964 and in English in 1966. The rationality was settled by Igusa in 1974 when he showed that the associated Igusa local zeta function was rational. Igusa proved that the zeta function was rational using p-adic analysis and Hironaka’s resolution of singularities in characteristic 0. Hironaka won the Field’s Medal in 1964 for this result. en Note: Both |Ne| and |Ne| are less than or equal to p . Sometimes you will see P∞ −en e the series (almost always, in the Igusa case) defined as PW (T ) = e=0 |Ne|p T P∞ −en e or PI (T ) = e=0 |Ne|p T with |N0| = |N0| = 1. Using this definition, each series begins with the constant 1 for e = 0 and converges for |T | < 1. However, we are not really interested in the convergence properties of the series because they are both rational functions of T and are thus meromorphic functions on the whole complex plane. Example 1. If we take the simplest non-constant polynomial f(x) = x. We find Ne = Ne = {0} so that |Ne| = |Ne| = 1 and the two Poincar´eseries are identical: ∞ X T P (T ) = P (T ) = T e = . W I 1 − T e=1 e Example 2. For f(x1, x2) = x1x2, we can show that |Ne| = {p roots where e e x1 = 0 and x2 is free to be any of the p elements in Fpe } + {p − 1 roots where e (2) x2 = 0 and x1 is free to be anything besides 0} = 2p − 1 total roots in Fpe . The Weil Poincar´eseries for this polynomial is: ∞ X e e PW (T ) = (2p − 1)T e=1 ∞ ∞ X X = 2(pT )e − T e e=1 e=1 2pT T = − 1 − pT 1 − T (2p − 1)T − pT 2 = . (1 − T )(1 − pT ) On the other hand, when we compute |Ne| things are a little more complicated: |N1| = 2p − 1, |N2| = {p(|N1| − 1) roots where x1 and x2 are not both divisible by 2 2 e−1 p} + {p roots where they are } = 3p − 2p, so that |Ne| = {p (|N1| − 1) roots 2 where x1 and x2 not both congruent to 0 modulo p}+{p (|Ne−2|) roots where they e e−1 are }. With careful counting we get that |Ne| = (e + 1)p − ep . THE WEIL ZETA FUNCTION AND THE IGUSA LOCAL ZETA FUNCTION 3 The Igusa Poincar´eseries for this polynomial is: ∞ X e e−1 e PI (T ) = [(e + 1)p − ep ]T e=1 ∞ X = (e + 1)(pT )e − ep−1(pT )e e=1 ∞ ∞ X X = e(1 − p−1)(pT )e + (pT )e e=1 e=1 (1 − p−1)(pT ) pT = + (1 − pT )2 (1 − pT ) (2p − 1)T − p2T 2 = (1 − pT )2 Note: We express the Igusa series in this way so that the comparison with the Weil series is more direct. The usual form of the Igusa Poincar´eseries, as mentioned before, would be to begin the series at e = 0 with |N0| = 1 and to replace T above with p−2T so that the series converges for |T | < 1. Thus, later we will write the Igusa Poincar´eseries for this example as 1 − p−2T P (T ) = . I (1 − p−1T )2 Questions: Now, of course, in these two examples we were able to find a formula for |Ne| and |Ne| without too much trouble. 1) However, it is not at all clear how formulas for |N1| and |N1| depend on p. We know that for any p we could compute these values but finding a formula in p is not easy. See papers Serre [12] , Koblitz [7], and Koblitz [8]. 2) The Local-Global Principle, first articulated by H. Hasse in his PhD thesis, asks whether information about solutions in Fp or really in Qp, the p-adic numbers, for all primes p can be put together in some way to say something about solutions in the rational numbers. Results like the proof that there are infinitely many primes by considering the Euler product expansion of the Riemann zeta function. 3) What is involved in finding a formula for |Ne| and |Ne| as e grows? What can we say about |Ne| − |Ne|? 4) The fact that the Poincar´eseries are rational means that |Ne| and |Ne| have nice recursion formulas. These nice formulas are tied to underlying geometric char- acteristics of the polynomial which are encapsulated in the Weil Conjectures. 2. Weil zeta function For any polynomial with coefficients in the integers, fix a prime p and consider f(x1, x2, ..., xn) with coefficients reduced modulo p, so that it now has coefficients in Fp. We define the Weil zeta function by the following awkward looking expression: ∞ e X |Ne|T Z (T ) = exp( ). W e e=1 One of my friends says that he is always embarrassed when he has to explain why there is an exponential function in the formula for ZW (T ). But in addition 4 MARGARET M. ROBINSON to reasons of tradition, we will see that the zeta function takes on a particularly e simple form when this definition is used. For example, if |Ne| = α then X (αT )e Z (T ) = exp( ) W e e≥1 = exp(− log(1 − αT )) 1 = 1 − αT where we make use of the identity that ∞ X xe − log(1 − x) = . e e=1 The exponential function also allows the zeta function to have a nice multiplicative property with respect to the values of |Ne|. Suppose that |Ne| = Ae + Be (as happens when f(x) = g(x)h(x) where g and h have no common roots), then ∞ e ∞ e X AeT X BeT Z (T ) = exp( ) · exp( ). W e e e=1 e=1 e e e e e e So that if |Ne| = α1 +α2 +···+αm −β1 −β2 −· · ·−βn the properties of logarithms and exponenials mean that (1 − β1T )(1 − β2T ) ··· (1 − βnT ) ZW (T ) = . (1 − α1T )(1 − α2T ) ··· (1 − αmT ) We will spend most of our time investigating the zeta function as defined above but before we continue with that I want to mention that there is always a product form of the Weil zeta function which is analogous to the Euler product of the Riemann zeta function. Although in general we just know that the Weil zeta function is rational, for a projectively non-singular polynomial (whatever that is) the Weil conjectures tell us a lot more about the form of the rational function.
Load more

Recommended publications
  • Arithmetic Equivalence and Isospectrality
    ARITHMETIC EQUIVALENCE AND ISOSPECTRALITY ANDREW V.SUTHERLAND ABSTRACT. In these lecture notes we give an introduction to the theory of arithmetic equivalence, a notion originally introduced in a number theoretic setting to refer to number fields with the same zeta function. Gassmann established a direct relationship between arithmetic equivalence and a purely group theoretic notion of equivalence that has since been exploited in several other areas of mathematics, most notably in the spectral theory of Riemannian manifolds by Sunada. We will explicate these results and discuss some applications and generalizations. 1. AN INTRODUCTION TO ARITHMETIC EQUIVALENCE AND ISOSPECTRALITY Let K be a number field (a finite extension of Q), and let OK be its ring of integers (the integral closure of Z in K). The Dedekind zeta function of K is defined by the Dirichlet series X s Y s 1 ζK (s) := N(I)− = (1 N(p)− )− I OK p − ⊆ where the sum ranges over nonzero OK -ideals, the product ranges over nonzero prime ideals, and N(I) := [OK : I] is the absolute norm. For K = Q the Dedekind zeta function ζQ(s) is simply the : P s Riemann zeta function ζ(s) = n 1 n− . As with the Riemann zeta function, the Dirichlet series (and corresponding Euler product) defining≥ the Dedekind zeta function converges absolutely and uniformly to a nonzero holomorphic function on Re(s) > 1, and ζK (s) extends to a meromorphic function on C and satisfies a functional equation, as shown by Hecke [25]. The Dedekind zeta function encodes many features of the number field K: it has a simple pole at s = 1 whose residue is intimately related to several invariants of K, including its class number, and as with the Riemann zeta function, the zeros of ζK (s) are intimately related to the distribution of prime ideals in OK .
    [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]
  • 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]
  • On $ P $-Adic String Amplitudes in the Limit $ P $ Approaches To
    On p-adic string amplitudes in the limit p approaches to one M. Bocardo-Gaspara1, H. Garc´ıa-Compe´anb2, W. A. Z´u˜niga-Galindoa3 Centro de Investigaci´on y de Estudios Avanzados del Instituto Polit´ecnico Nacional aDepartamento de Matem´aticas, Unidad Quer´etaro Libramiento Norponiente #2000, Fracc. Real de Juriquilla. Santiago de Quer´etaro, Qro. 76230, M´exico bDepartamento de F´ısica, P.O. Box 14-740, CP. 07000, M´exico D.F., M´exico. Abstract In this article we discuss the limit p approaches to one of tree-level p-adic open string amplitudes and its connections with the topological zeta functions. There is empirical evidence that p-adic strings are related to the ordinary strings in the p → 1 limit. Previously, we established that p-adic Koba-Nielsen string amplitudes are finite sums of multivariate Igusa’s local zeta functions, conse- quently, they are convergent integrals that admit meromorphic continuations as rational functions. The meromorphic continuation of local zeta functions has been used for several authors to regularize parametric Feynman amplitudes in field and string theories. Denef and Loeser established that the limit p → 1 of a Igusa’s local zeta function gives rise to an object called topological zeta func- tion. By using Denef-Loeser’s theory of topological zeta functions, we show that limit p → 1 of tree-level p-adic string amplitudes give rise to certain amplitudes, that we have named Denef-Loeser string amplitudes. Gerasimov and Shatashvili showed that in limit p → 1 the well-known non-local effective Lagrangian (repro- ducing the tree-level p-adic string amplitudes) gives rise to a simple Lagrangian with a logarithmic potential.
    [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]
  • International Conference on Number Theory and Discrete Mathematics (ONLINE) (ICNTDM) 11 - 14, DECEMBER-2020
    International Conference on Number Theory and Discrete Mathematics (ONLINE) (ICNTDM) 11 - 14, DECEMBER-2020 Organised by RAMANUJAN MATHEMATICAL SOCIETY Hosted by DEPARTMENT OF MATHEMATICS RAJAGIRI SCHOOL OF ENGINEERING & TECHNOLOGY (AUTONOMOUS) Kochi, India International Conference on Number Theory and Discrete Mathematics PREFACE The International Conference on Number Theory and Discrete Mathematics (ICNTDM), organised by the Ramanujan Mathematical Society (RMS), and hosted by the Rajagiri School of Engineering and Technology (RSET), Cochin is a tribute to the legendary Indian mathematician Srinivasa Ramanujan who prematurely passed away a hundred years ago on 26th April 1920 leaving a lasting legacy. Conceived as any usual conference as early as June 2019, the ICNTDM was compelled to switch to online mode due to the pandemic, like most events round the globe this year. The International Academic Programme Committee, consisting of distinguished mathematicians from India and abroad, lent us a helping hand every possible way, in all aspects of the conference. As a result, we were able to evolve a strong line up of reputed speakers from India, Austria, Canada, China, France, Hungary, Japan, Russia, Slovenia, UK and USA, giving 23 plenary talks and 11 invited talks, in addition to the 39 speakers in the contributed session. This booklet consists of abstracts of all these talks and two invited articles; one describing the various academic activities that RMS is engaged in, tracing history from its momentous beginning in 1985, and a second article on Srinivasa Ramanujan. It is very appropriate to record here that, in conjunction with the pronouncement of the year 2012 { the 125th birth anniversary year of Ramanujan { as the `National Mathematics Year', RMS heralded an excellent initiative of translating the cele- brated book `The Man Who Knew Infinity' into many Indian languages.
    [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]