The arithmetic properties of modular forms and elliptic curves lie at the heart of modern number theory. This book develops a generalisation of the method of Euler systems to a two-variable deformation ring. The resulting theory is then used to study the arithmetic of elliptic curves, in particular the Birch and Swinnerton-Dyer (BSD) formula. Three main steps are outlined: the first is to parametrise 'big' cohomology groups using (deformations of) modular symbols. Finiteness results for big Selmer groups are then established. Finally, at weight two, the arithmetic invariants of these Selmer groups allow the control of data from the BSD conjecture. As the first book on the subject, the material is introduced from scratch; both graduate students and professional number theorists will find this an ideal introduction. Material at the very forefront of current research is included, and numerical examples encourage the reader to interpret abstract theorems in concrete cases.

This volume contains the original lecture notes presented by A. Weil in which the concept of adeles was first introduced, in conjunction with various aspects of C.L. Siegel's work on quadratic forms. Serving as an introduction to the subject, these notes may also provide stimulation for further research.

The plan of this book had its inception in a course of lectures on arithmetical functions given by me in the summer of 1964 at the Forschungsinstitut fUr Mathematik of the Swiss Federal Institute of Technology, Zurich, at the invitation of Professor Beno Eckmann. My Introduction to Analytic Number Theory has appeared in the meanwhile, and this book may be looked upon as a sequel. It presupposes only a modicum of acquaintance with analysis and number theory. The arithmetical functions considered here are those associated with the distribution of prime numbers, as well as the partition function and the divisor function. Some of the problems posed by their asymptotic behaviour form the theme. They afford a glimpse of the variety of analytical methods used in the theory, and of the variety of problems that await solution. I owe a debt of gratitude to Professor Carl Ludwig Siegel, who has read the book in manuscript and given me the benefit of his criticism. I have improved the text in several places in response to his comments. I must thank Professor Raghavan Narasimhan for many stimulating discussions, and Mr. Henri Joris for the valuable assistance he has given me in checking the manuscript and correcting the proofs. K. Chandrasekharan July 1970 Contents Chapter I The prime number theorem and Selberg's method 1. Selberg's fonnula . . . . . . 1 2. A variant of Selberg's formula 6 12 3. Wirsing's inequality . . . . . 17 4. The prime number theorem. ."

The section conjecture in anabelian geometry, announced by Grothendieck in 1983, is concerned with a description of the set of rational points of a hyperbolic algebraic curve over a number field in terms of the arithmetic of its fundamental group. While the conjecture is still open today in 2012, its study has revealed interesting arithmetic for curves and opened connections, for example, to the question whether the Brauer-Manin obstruction is the only one against rational points on curves. This monograph begins by laying the foundations for the space of sections of the fundamental group extension of an algebraic variety. Then, arithmetic assumptions on the base field are imposed and the local-to-global approach is studied in detail. The monograph concludes by discussing analogues of the section conjecture created by varying the base field or the type of variety, or by using a characteristic quotient or its birational analogue in lieu of the fundamental group extension.

Among the modern methods used to study prime numbers, the 'sieve' has been one of the most efficient. Originally conceived by Linnik in 1941, the 'large sieve' has developed extensively since the 1960s, with a recent realization that the underlying principles were capable of applications going well beyond prime number theory. This book develops a general form of sieve inequality, and describes its varied applications, including the study of families of zeta functions of algebraic curves over finite fields; arithmetic properties of characteristic polynomials of random unimodular matrices; homological properties of random 3-manifolds; and the average number of primes dividing the denominators of rational points on elliptic curves. Also covered in detail are the tools of harmonic analysis used to implement the forms of the large sieve inequality, including the Riemann Hypothesis over finite fields, and Property (T) or Property (tau) for discrete groups.

This volume aims to present a straightforward and easily accessible survey of the analytic theory of quadratic forms. Written at an elementary level, the book provides a sound basis from which the reader can study advanced works and undertake original research. Roughly half a century ago C.L. Siegel discovered a new type of automorphic forms in several variables in connection with his famous work on the analytic theory of quadratic forms. Since then Siegel modular forms have been studied extensively because of their significance in both automorphic functions in several complex variables and number theory. The comprehensive theory of automorphic forms to subgroups of algebraic groups and the recent arithmetical theory of modular forms illustrate these two aspects in an illuminating manner. The text is based on the author's lectures given over a number of years and is intended for a one semester graduate course, although it can serve equally well for self study . The only prerequisites are a knowledge of algebra, number theory and complex analysis.

Many areas of active research within the broad field of number theory relate to properties of polynomials, and this volume displays the most recent and most interesting work on this theme. The 2006 Number Theory and Polynomials workshop in Bristol drew together international researchers with a variety of number-theoretic interests, and the book's contents reflect the quality of the meeting. Topics covered include recent work on the Schur-Siegel-Smyth trace problem, Mahler measure and its generalisations, the merit factor problem, Barker sequences, K3-surfaces, self-inversive polynomials, Newman's inequality, algorithms for sparse polynomials, the integer transfinite diameter, divisors of polynomials, non-linear recurrence sequences, polynomial ergodic averages, and the Hansen-Mullen primitivity conjecture. With surveys and expository articles presenting the latest research, this volume is essential for graduates and researchers looking for a snapshot of current progress in polynomials and number theory.

The goal of this book is to present local class field theory from the cohomo logical point of view, following the method inaugurated by Hochschild and developed by Artin-Tate. This theory is about extensions-primarily abelian-of "local" (i.e., complete for a discrete valuation) fields with finite residue field. For example, such fields are obtained by completing an algebraic number field; that is one of the aspects of "localisation." The chapters are grouped in "parts." There are three preliminary parts: the first two on the general theory of local fields, the third on group coho mology. Local class field theory, strictly speaking, does not appear until the fourth part. Here is a more precise outline of the contents of these four parts: The first contains basic definitions and results on discrete valuation rings, Dedekind domains (which are their "globalisation") and the completion process. The prerequisite for this part is a knowledge of elementary notions of algebra and topology, which may be found for instance in Bourbaki. The second part is concerned with ramification phenomena (different, discriminant, ramification groups, Artin representation). Just as in the first part, no assumptions are made here about the residue fields. It is in this setting that the "norm" map is studied; I have expressed the results in terms of "additive polynomials" and of "multiplicative polynomials," since using the language of algebraic geometry would have led me too far astray."

Kummer's work on cyclotomic fields paved the way for the development of algebraic number theory in general by Dedekind, Weber, Hensel, Hilbert, Takagi, Artin and others. However, the success of this general theory has tended to obscure special facts proved by Kummer about cyclotomic fields which lie deeper than the general theory. For a long period in the 20th century this aspect of Kummer's work seems to have been largely forgotten, except for a few papers, among which are those by Pollaczek [Po], Artin-Hasse [A-H] and Vandiver [Va]. In the mid 1950's, the theory of cyclotomic fields was taken up again by Iwasawa and Leopoldt. Iwasawa viewed cyclotomic fields as being analogues for number fields of the constant field extensions of algebraic geometry, and wrote a great sequence of papers investigating towers of cyclotomic fields, and more generally, Galois extensions of number fields whose Galois group is isomorphic to the additive group of p-adic integers. Leopoldt concentrated on a fixed cyclotomic field, and established various p-adic analogues of the classical complex analytic class number formulas. In particular, this led him to introduce, with Kubota, p-adic analogues of the complex L-functions attached to cyclotomic extensions of the rationals. Finally, in the late 1960's, Iwasawa [Iw 11] made the fundamental discovery that there was a close connection between his work on towers of cyclotomic fields and these p-adic L-functions of Leopoldt - Kubota.

Kummer's work on cyclotomic fields paved the way for the development of algebraic number theory in general by Dedekind, Weber, Hensel, Hilbert, Takagi, Artin and others. However, the success of this general theory has tended to obscure special facts proved by Kummer about cyclotomic fields which lie deeper than the general theory. For a long period in the 20th century this aspect of Kummer's work seems to have been largely forgotten, except for a few papers, among which are those by Pollaczek [Po], Artin-Hasse [A-H] and Vandiver [Va]. In the mid 1950's, the theory of cyclotomic fields was taken up again by Iwasawa and Leopoldt. Iwasawa viewed cyclotomic fields as being analogues for number fields of the constant field extensions of algebraic geometry, and wrote a great sequence of papers investigating towers of cyclotomic fields, and more generally, Galois extensions of number fields whose Galois group is isomorphic to the additive group of p-adic integers. Leopoldt concentrated on a fixed cyclotomic field, and established various p-adic analogues of the classical complex analytic class number formulas. In particular, this led him to introduce, with Kubota, p-adic analogues of the complex L-functions attached to cyclotomic extensions of the rationals. Finally, in the late 1960's, Iwasawa [Iw 1 I] . made the fundamental discovery that there was a close connection between his work on towers of cyclotomic fields and these p-adic L-functions of Leopoldt-Kubota.

On April 25-27, 1989, over a hundred mathematicians, including eleven from abroad, gathered at the University of Illinois Conference Center at Allerton Park for a major conference on analytic number theory. The occa sion marked the seventieth birthday and impending (official) retirement of Paul T. Bateman, a prominent number theorist and member of the mathe matics faculty at the University of Illinois for almost forty years. For fifteen of these years, he served as head of the mathematics department. The conference featured a total of fifty-four talks, including ten in vited lectures by H. Delange, P. Erdos, H. Iwaniec, M. Knopp, M. Mendes France, H. L. Montgomery, C. Pomerance, W. Schmidt, H. Stark, and R. C. Vaughan. This volume represents the contents of thirty of these talks as well as two further contributions. The papers span a wide range of topics in number theory, with a majority in analytic number theory."

The small book by Shimura-Taniyama on the subject of complex multi is a classic. It gives the results obtained by them (and some by Weil) plication in the higher dimensional case, generalizing in a non-trivial way the method of Deuring for elliptic curves, by reduction mod p. Partly through the work of Shimura himself (cf. [Sh 1] [Sh 2], and [Sh 5]), and some others (Serre, Tate, Kubota, Ribet, Deligne etc.) it is possible today to make a more snappy and extensive presentation of the fundamental results than was possible in 1961. Several persons have found my lecture notes on this subject useful to them, and so I have decided to publish this short book to make them more widely available. Readers acquainted with the standard theory of abelian varieties, and who wish to get rapidly an idea of the fundamental facts of complex multi plication, are advised to look first at the two main theorems, Chapter 3, 6 and Chapter 4, 1, as well as the rest of Chapter 4. The applications of Chapter 6 could also be profitably read early. I am much indebted to N. Schappacher for a careful reading of the manu script resulting in a number of useful suggestions. S. LANG Contents CHAPTER 1 Analytic Complex Multiplication 4 I. Positive Definite Involutions . . . 6 2. CM Types and Subfields. . . . . 8 3. Application to Abelian Manifolds. 4. Construction of Abelian Manifolds with CM 14 21 5. Reflex of a CM Type . . . . .

This monograph on quantum wires and quantum devices is a companion vol ume to the author's Quantum Chaos and Mesoscopic Systems (Kluwer, Dordrecht, 1997). The goal of this work is to present to the reader the mathematical physics which has arisen in the study of these systems. The course which I have taken in this volume is to juxtapose the current work on the mathematical physics of quantum devices and the details behind the work so that the reader can gain an understanding of the physics, and where possible the open problems which re main in the development of a complete mathematical description of the devices. I have attempted to include sufficient background and references so that the reader can understand the limitations of the current methods and have direction to the original material for the research on the physics of these devices. As in the earlier volume, the monograph is a panoramic survey of the mathe matical physics of quantum wires and devices. Detailed proofs are kept to a min imum, with outlines of the principal steps and references to the primary sources as required. The survey is very broad to give a general development to a variety of problems in quantum devices, not a specialty volume."

"...the great feature of the book is that anyone can read it without excessive head scratching...You'll find plenty here to keep you occupied, amused, and informed. Buy, dip in, wallow." -IAN STEWART, NEW SCIENTIST "...a delightful look at numbers and their roles in everything from language to flowers to the imagination." -SCIENCE NEWS "...a fun and fascinating tour of numerical topics and concepts. It will have readers contemplating ideas they might never have thought were understandable or even possible." -WISCONSIN BOOKWATCH "This popularization of number theory looks like another classic." -LIBRARY JOURNAL

In the summer of 1991 the Department of Mathematics and Statistics of the Universite de Montreal was fortunate to host the NATO Advanced Study Institute "Algebras and Orders" as its 30th Seminaire de mathematiques superieures (SMS), a summer school with a long tradition and well-established reputation. This book contains the contributions of the invited speakers. Universal algebra- which established itself only in the 1930's- grew from traditional algebra (e.g., groups, modules, rings and lattices) and logic (e.g., propositional calculus, model theory and the theory of relations). It started by extending results from these fields but by now it is a well-established and dynamic discipline in its own right. One of the objectives of the ASI was to cover a broad spectrum of topics in this field, and to put in evidence the natural links to, and interactions with, boolean algebra, lattice theory, topology, graphs, relations, automata, theoretical computer science and (partial) orders. The theory of orders is a relatively young and vigorous discipline sharing certain topics as well as many researchers and meetings with universal algebra and lattice theory. W. Taylor surveyed the abstract clone theory which formalizes the process of compos ing operations (i.e., the formation of term operations) of an algebra as a special category with countably many objects, and leading naturally to the interpretation and equivalence of varieties."

Numbers ... , natural, rational, real, complex, p-adic .... What do you know about p-adic numbers? Probably, you have never used any p-adic (nonrational) number before now. I was in the same situation few years ago. p-adic numbers were considered as an exotic part of pure mathematics without any application. I have also used only real and complex numbers in my investigations in functional analysis and its applications to the quantum field theory and I was sure that these number fields can be a basis of every physical model generated by nature. But recently new models of the quantum physics were proposed on the basis of p-adic numbers field Qp. What are p-adic numbers, p-adic analysis, p-adic physics, p-adic probability? p-adic numbers were introduced by K. Hensel (1904) in connection with problems of the pure theory of numbers. The construction of Qp is very similar to the construction of (p is a fixed prime number, p = 2,3,5, ... ,127, ... ). Both these number fields are completions of the field of rational numbers Q. But another valuation 1 . Ip is introduced on Q instead of the usual real valuation 1 . I* We get an infinite sequence of non isomorphic completions of Q : Q2, Q3, ... , Q127, ... , IR = Qoo* These fields are the only possibilities to com plete Q according to the famous theorem of Ostrowsky.

Solutions of equations in integers is the central problem of number theory and is the focus of this book. The amount of material is suitable for a one-semester course. The author has tried to avoid the ad hoc proofs in favor of unifying ideas that work in many situations. There are exercises at the end of almost every section, so that each new idea or proof receives immediate reinforcement.

This volume contains edited versions of 11 contributions given by main speakers at the NATO Advanced Study Institute on lReal and Complex Dynamical Systems in Hiller0d, Denmark, June 20th - July 2nd, 1993. The vision of the institute was to illustrate the interplay between two important fields of Mathematics: Real Dynamical Systems and Complex Dynamical Systems. The interaction between these two fields has been growing over the years. Problems in Real Dynamical Systems have recently been solved using complex tools in the real or by extension to the complex. In return, problems in Complex Dynamical Systems have been settled using results from Real Dynamical Systems. The programme of the institute was to examine the state of the art of central parts of both Real and Complex Dynamical Systems, to reinforce contact between the two aspects of the theory and to make recent progress in each accessible to a larger group of mathematicians.

Robert A. Rankin, one of the world's foremost authorities on modular forms and a founding editor of The Ramanujan Journal, died on January 27, 2001, at the age of 85. Rankin had broad interests and contributed fundamental papers in a wide variety of areas within number theory, geometry, analysis, and algebra. To commemorate Rankin's life and work, the editors have collected together 25 papers by several eminent mathematicians reflecting Rankin's extensive range of interests within number theory. Many of these papers reflect Rankin's primary focus in modular forms. It is the editors' fervent hope that mathematicians will be stimulated by these papers and gain a greater appreciation for Rankin's contributions to mathematics.
This volume would be an inspiration to students and researchers in the areas of number theory and modular forms.

2 Triangle Groups: An Introduction 279 3 Elementary Shimura Curves 281 4 Examples of Shimura Curves 282 5 Congruence Zeta Functions 283 6 Diophantine Properties of Shimura Curves 284 7 Klein Quartic 285 8 Supersingular Points 289 Towers of Elkies 9 289 7. CRYPTOGRAPHY AND APPLICATIONS 291 1 Introduction 291 Discrete Logarithm Problem 2 291 Curves for Public-Key Cryptosystems 3 295 Hyperelliptic Curve Cryptosystems 4 297 CM-Method 5 299 6 Cryptographic Exponent 300 7 Constructive Descent 302 8 Gaudry and Harley Algorithm 306 9 Picard Jacobians 307 Drinfeld Module Based Public Key Cryptosystems 10 308 11 Drinfeld Modules and One Way Functions 308 12 Shimura's Map 309 13 Modular Jacobians of Genus 2 Curves 310 Modular Jacobian Surfaces 14 312 15 Modular Curves of Genus Two 313 16 Hecke Operators 314 8. REFERENCES 317 345 Index Xll Preface The history of counting points on curves over finite fields is very ex- tensive, starting with the work of Gauss in 1801 and continuing with the work of Artin, Schmidt, Hasse and Weil in their study of curves and the related zeta functions Zx(t), where m Zx(t) = exp (2: N t ) m m 2': 1 m with N = #X(F qm). If X is a curve of genus g, Weil's conjectures m state that L(t) Zx(t) = (1 - t)(l - qt) where L(t) = rr~!l (1 - O'.

Proceedings of the NATO Advanced Study Institute, Banff Centre, Canada, April 27-May 5, 1988

Diophantine problems represent some of the strongest aesthetic attractions to algebraic geometry. They consist in giving criteria for the existence of solutions of algebraic equations in rings and fields, and eventually for the number of such solutions. The fundamental ring of interest is the ring of ordinary integers Z, and the fundamental field of interest is the field Q of rational numbers. One discovers rapidly that to have all the technical freedom needed in handling general problems, one must consider rings and fields of finite type over the integers and rationals. Furthermore, one is led to consider also finite fields, p-adic fields (including the real and complex numbers) as representing a localization of the problems under consideration. We shall deal with global problems, all of which will be of a qualitative nature. On the one hand we have curves defined over say the rational numbers. Ifthe curve is affine one may ask for its points in Z, and thanks to Siegel, one can classify all curves which have infinitely many integral points. This problem is treated in Chapter VII. One may ask also for those which have infinitely many rational points, and for this, there is only Mordell's conjecture that if the genus is :;;; 2, then there is only a finite number of rational points.

This book is mainly devoted to some computational and algorithmic problems in finite fields such as, for example, polynomial factorization, finding irreducible and primitive polynomials, the distribution of these primitive polynomials and of primitive points on elliptic curves, constructing bases of various types and new applications of finite fields to other areas of mathematics. For completeness we in clude two special chapters on some recent advances and applications of the theory of congruences (optimal coefficients, congruential pseudo-random number gener ators, modular arithmetic, etc.) and computational number theory (primality testing, factoring integers, computation in algebraic number theory, etc.). The problems considered here have many applications in Computer Science, Cod ing Theory, Cryptography, Numerical Methods, and so on. There are a few books devoted to more general questions, but the results contained in this book have not till now been collected under one cover. In the present work the author has attempted to point out new links among different areas of the theory of finite fields. It contains many very important results which previously could be found only in widely scattered and hardly available conference proceedings and journals. In particular, we extensively review results which originally appeared only in Russian, and are not well known to mathematicians outside the former USSR."

The Lerch zeta-function is the first monograph on this topic, which is a generalization of the classic Riemann, and Hurwitz zeta-functions. Although analytic results have been presented previously in various monographs on zeta-functions, this is the first book containing both analytic and probability theory of Lerch zeta-functions.

The book starts with classical analytical theory (Euler gamma-functions, functional equation, mean square). The majority of the presented results are new: on approximate functional equations and its applications and on zero distribution (zero-free regions, number of nontrivial zeros etc). Special attention is given to limit theorems in the sense of the weak convergence of probability measures for the Lerch zeta-function. From limit theorems in the space of analytic functions the universitality and functional independence is derived. In this respect the book continues the research of the first author presented in the monograph Limit Theorems for the Riemann zeta-function.

This book will be useful to researchers and graduate students working in analytic and probabilistic number theory, and can also be used as a textbook for postgraduate students.

The common solutions of a finite number of polynomial equations in a finite number of variables constitute an algebraic variety. The degrees of freedom of a moving point on the variety is the dimension of the variety. A one-dimensional variety is a curve and a two-dimensional variety is a surface. A three-dimensional variety may be called asolid. Most points of a variety are simple points. Singularities are special points, or points of multiplicity greater than one. Points of multiplicity two are double points, points of multiplicity three are tripie points, and so on. A nodal point of a curve is a double point where the curve crosses itself, such as the alpha curve. A cusp is a double point where the curve has a beak. The vertex of a cone provides an example of a surface singularity. A reversible change of variables gives abirational transformation of a variety. Singularities of a variety may be resolved by birational transformations.