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."

Number theory, the branch of mathematics that studies the properties of the integers, is a repository of interesting and quite varied problems, sometimes impossibly difficult ones. In this book, the authors have gathered together a collection of problems from various topics in number theory that they find beautiful, intriguing, and from a certain point of view instructive.

Written by an authority with great practical and teaching experience in the field, this book addresses a number of topics in computational number theory. Chapters one through five form a homogenous subject matter suitable for a six-month or year-long course in computational number theory. The subsequent chapters deal with more miscellaneous subjects.

It is gratifying that this textbook is still sufficiently popular to warrant a third edition. I have used the opportunity to improve and enlarge the book. When the second edition was prepared, only two pages on algebraic geometry codes were added. These have now been removed and replaced by a relatively long chapter on this subject. Although it is still only an introduction, the chapter requires more mathematical background of the reader than the remainder of this book. One of the very interesting recent developments concerns binary codes defined by using codes over the alphabet 7l.4 There is so much interest in this area that a chapter on the essentials was added. Knowledge of this chapter will allow the reader to study recent literature on 7l. -codes. 4 Furthermore, some material has been added that appeared in my Springer Lec ture Notes 201, but was not included in earlier editions of this book, e. g. Generalized Reed-Solomon Codes and Generalized Reed-Muller Codes. In Chapter 2, a section on "Coding Gain" ( the engineer's justification for using error-correcting codes) was added. For the author, preparing this third edition was a most welcome return to mathematics after seven years of administration. For valuable discussions on the new material, I thank C.P.l.M.Baggen, I. M.Duursma, H.D.L.Hollmann, H. C. A. van Tilborg, and R. M. Wilson. A special word of thanks to R. A. Pellikaan for his assistance with Chapter 10."

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."

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.

A new edition of a classical treatment of elliptic and modular functions with some of their number-theoretic applications, this text offers an updated bibliography and an alternative treatment of the transformation formula for the Dedekind eta function. It covers many topics, such as Hecke's theory of entire forms with multiplicative Fourier coefficients, and the last chapter recounts Bohr's theory of equivalence of general Dirichlet series.

Neal Koblitz was a student of Nicholas M. Katz, under whom he received his Ph.D. in mathematics at Princeton in 1974. He spent the year 1974 -75 and the spring semester 1978 in Moscow, where he did research in p -adic analysis and also translated Yu. I. Manin's "Course in Mathematical Logic" (GTM 53). He taught at Harvard from 1975 to 1979, and since 1979 has been at the University of Washington in Seattle. He has published papers in number theory, algebraic geometry, and p-adic analysis, and he is the author of "p-adic Analysis: A Short Course on Recent Work" (Cambridge University Press and GTM 97: "Introduction to Elliptic Curves and Modular Forms (Springer-Verlag).

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."

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'.

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.

This book grew out of our lectures given in the Oberseminar on 'Cod ing Theory and Number Theory' at the Mathematics Institute of the Wiirzburg University in the Summer Semester, 2001. The coding the ory combines mathematical elegance and some engineering problems to an unusual degree. The major advantage of studying coding theory is the beauty of this particular combination of mathematics and engineering. In this book we wish to introduce some practical problems to the math ematician and to address these as an essential part of the development of modern number theory. The book consists of five chapters and an appendix. Chapter 1 may mostly be dropped from an introductory course of linear codes. In Chap ter 2 we discuss some relations between the number of solutions of a diagonal equation over finite fields and the weight distribution of cyclic codes. Chapter 3 begins by reviewing some basic facts from elliptic curves over finite fields and modular forms, and shows that the weight distribution of the Melas codes is represented by means of the trace of the Hecke operators acting on the space of cusp forms. Chapter 4 is a systematic study of the algebraic-geometric codes. For a long time, the study of algebraic curves over finite fields was the province of pure mathematicians. In the period 1977 - 1982, V. D. Goppa discovered an amazing connection between the theory of algebraic curves over fi nite fields and the theory of q-ary codes."

The pioneering work of French mathematician Pierre de Fermat has attracted the attention of mathematicians for over 350 years. This book was written in honor of the 400th anniversary of his birth, providing readers with an overview of the many properties of Fermat numbers and demonstrating their applications in areas such as number theory, probability theory, geometry, and signal processing. This book introduces a general mathematical audience to basic mathematical ideas and algebraic methods connected with the Fermat numbers.

The present book contains fourteen expository contributions on various topics connected to Number Theory, or Arithmetics, and its relationships to Theoreti cal Physics. The first part is mathematically oriented; it deals mostly with ellip tic curves, modular forms, zeta functions, Galois theory, Riemann surfaces, and p-adic analysis. The second part reports on matters with more direct physical interest, such as periodic and quasiperiodic lattices, or classical and quantum dynamical systems. The contribution of each author represents a short self-contained course on a specific subject. With very few prerequisites, the reader is offered a didactic exposition, which follows the author's original viewpoints, and often incorpo rates the most recent developments. As we shall explain below, there are strong relationships between the different chapters, even though every single contri bution can be read independently of the others. This volume originates in a meeting entitled Number Theory and Physics, which took place at the Centre de Physique, Les Houches (Haute-Savoie, France), on March 7 - 16, 1989. The aim of this interdisciplinary meeting was to gather physicists and mathematicians, and to give to members of both com munities the opportunity of exchanging ideas, and to benefit from each other's specific knowledge, in the area of Number Theory, and of its applications to the physical sciences. Physicists have been given, mostly through the program of lectures, an exposition of some of the basic methods and results of Num ber Theory which are the most actively used in their branch."