Number theory is one of the oldest and most appealing areas of mathematics. Computation has always played a role in number theory, a role which has increased dramatically in the last 20 or 30 years, both because of the advent of modern computers, and because of the discovery of surprising and powerful algorithms. As a consequence, algorithmic number theory has gradually emerged as an important and distinct field with connections to computer science and cryptography as well as other areas of mathematics. This 2008 text provides a comprehensive introduction to algorithmic number theory for beginning graduate students, written by the leading experts in the field. It includes several articles that cover the essential topics in this area, and in addition, there are contributions pointing in broader directions, including cryptography, computational class field theory, zeta functions and L-series, discrete logarithm algorithms, and quantum computing.

Serge Lang (1927-2005) was one of the top mathematicians of our time. He was born in Paris in 1927, and moved with his family to California, where he graduated from Beverly Hills High School in 1943. He subsequently graduated from California Institute of Technology in 1946, and received a doctorate from Princeton University in 1951 before holding faculty positions at the University of Chicago and Columbia University (1955-1971). At the time of his death he was professor emeritus of Mathematics at Yale University.
An excellent writer, Lang has made innumerable and invaluable contributions in diverse fields of mathematics. He was perhaps best known for his work in number theory and for his mathematics textbooks, including the influential "Algebra." He was also a member of the Bourbaki group.
He was honored with the Cole Prize by the American Mathematical Society as well as with the Prix Carriere by the French Academy of Sciences. These five volumes collect the majority of his research papers, which range over a variety of topics."

This basic introduction to number theory is ideal for those with no previous knowledge of the subject. The main topics of divisibility, congruences, and the distribution of prime numbers are covered. Of particular interest is the inclusion of a proof for one of the most famous results in mathematics, the prime number theorem. With many examples and exercises, and only requiring knowledge of a little calculus and algebra, this book will suit individuals with imagination and interest in following a mathematical argument to its conclusion.

From July 25-August 6, 1966 a Summer School on Local Fields was held in Driebergen (the Netherlands), organized by the Netherlands Universities Foundation for International Cooperation (NUFFIC) with financial support from NATO. The scientific organizing Committl!e consisted ofF. VANDER BLIJ, A. H. M. LEVELT, A. F. MaNNA, J. P. MuRRE and T. A. SPRINGER. The Summer School was attended by approximately 80 mathematicians from various countries. The contributions collected in the present book are all based on the talks given at the Summer School. It is hoped that the book will serve the same purpose as the Summer School: to provide an introduction to current research in Local Fields and related topics. July 1967 T. A. SPRINGER Contents ARnN, M. and B. MAZUR: Homotopy of Varieties in the Etale Topology 1 BAss, H: The Congruence Subgroup Problem 16 BRUHAT, F. et J. TITs: Groupes algebriques simples sur un corps local . 23 CASSELS, J. W. S. : Elliptic Curves over Local Fields 37 DwoRK, B. : On the Rationality of Zeta Functions and L-Series 40 MaNNA, A. F. : Linear Topological Spaces over Non-Archimedean Valued Fields . 56 NERON, A. : Modeles minimaux des espaces principaux homo genes sur les courbes elliptiques 66 RAYNAUD, M. : Passage au quotient par une relation d'equivalence plate . 78 REMMERT, R. : Algebraische Aspekte in der nichtarchimedischen Analysis . 86 SERRE, J. -P. : Sur les groupes de Galois attaches aux groupes p-divisibles . 118 SWINNERTON-DYER, P. : The Conjectures of Birch and Swinnerton- Dyer, and of Tate . 132 TATE, J. T.

This graduate-level textbook provides an elementary exposition of the theory of automorphic representations and L-functions for the general linear group in an adelic setting. Definitions are kept to a minimum and repeated when reintroduced so that the book is accessible from any entry point, and with no prior knowledge of representation theory. The book includes concrete examples of global and local representations of GL(n), and presents their associated L-functions. In Volume 1, the theory is developed from first principles for GL(1), then carefully extended to GL(2) with complete detailed proofs of key theorems. Several proofs are presented for the first time, including Jacquet's simple and elegant proof of the tensor product theorem. In Volume 2, the higher rank situation of GL(n) is given a detailed treatment. Containing numerous exercises by Xander Faber, this book will motivate students and researchers to begin working in this fertile field of research.

Tamari lattices originated from weakenings or reinterpretations of the familar associativity law. This has been the subject of Dov Tamari's thesis at the Sorbonne in Paris in 1951 and the central theme of his subsequent mathematical work. Tamari lattices can be realized in terms of polytopes called associahedra, which in fact also appeared first in Tamari's thesis. By now these beautiful structures have made their appearance in many different areas of pure and applied mathematics, such as algebra, combinatorics, computer science, category theory, geometry, topology, and also in physics. Their interdisciplinary nature provides much fascination and value. On the occasion of Dov Tamari's centennial birthday, this book provides an introduction to topical research related to Tamari's work and ideas. Most of the articles collected in it are written in a way accessible to a wide audience of students and researchers in mathematics and mathematical physics and are accompanied by high quality illustrations.

The book introduces new techniques that imply rigorous lower bounds on the com plexity of some number-theoretic and cryptographic problems. It also establishes certain attractive pseudorandom properties of various cryptographic primitives. These methods and techniques are based on bounds of character sums and num bers of solutions of some polynomial equations over finite fields and residue rings. Other number theoretic techniques such as sieve methods and lattice reduction algorithms are used as well. The book also contains a number of open problems and proposals for further research. The emphasis is on obtaining unconditional rigorously proved statements. The bright side of this approach is that the results do not depend on any assumptions or conjectures. On the downside, the results are much weaker than those which are widely believed to be true. We obtain several lower bounds, exponential in terms of logp, on the degrees and orders of o polynomials; o algebraic functions; o Boolean functions; o linear recurrence sequences; coinciding with values of the discrete logarithm modulo a prime p at sufficiently many points (the number of points can be as small as pI/2+O: ). These functions are considered over the residue ring modulo p and over the residue ring modulo an arbitrary divisor d of p - 1. The case of d = 2 is of special interest since it corresponds to the representation of the rightmost bit of the discrete logarithm and defines whether the argument is a quadratic residue."

Combinatorial research has proceeded vigorously in Russia over the last few decades, based on both translated Western sources and original Russian material. The present volume extends the extremal approach to the solution of a large class of problems, including some that were hitherto regarded as exclusively algorithmic, and broadens the choice of theoretical bases for modelling real phenomena in order to solve practical problems. Audience: Graduate students of mathematics and engineering interested in the thematics of extremal problems and in the field of combinatorics in general. Can be used both as a textbook and as a reference handbook.

Sphere Packings is one of the most attractive and challenging subjects in mathematics. Almost 4 centuries ago, Kepler studied the densities of sphere packings and made his famous conjecture. In the course of centuries, many exciting results have been obtained, ingenious methods created, related challenging problems proposed, and many surprising connections with othe subjects found. Thus, though some of its original problems are still open, sphere packings has been developed into an important discipline. This book tries to give a full account of this fascinating subject, especially its local aspects, discrete aspects and its proof methods.

In 1996 the AMS awarded Goro Shimura the Steele Prize for Lifetime Achievement :" To Goro Shimura for his important and extensive work on arithmetical geometry and automorphic forms; concepts introduced by him were often seminal, and fertile ground for new developments, as witnessed by the many notations in number theory that carry his name and that have long been familiar to workers in the field.." 103 of Shimuras most important papers are collected in four volumes. Volume I contains his mathematical papers from 1954 to 1966 and some notes to the articles.

In 1996 the AMS awarded Goro Shimura the Steele Prize for Lifetime Achievement :" To Goro Shimura for his important and extensive work on arithmetical geometry and automorphic forms; concepts introduced by him were often seminal, and fertile ground for new developments, as witnessed by the many notations in number theory that carry his name and that have long been familiar to workers in the field." 103 of Shimuras most important papers are collected in four volumes. Volume II contains his mathematical papers from 1967 to 1977 and some notes to the articles.

In 1996 the AMS awarded Goro Shimura the Steele Prize for Lifetime Achievement: "To Goro Shimura for his important and extensive work on arithmetical geometry and automorphic forms; concepts introduced by him were often seminal, and fertile ground for new developments, as witnessed by the many notations in number theory that carry his name and that have long been familiar to workers in the field." 103 of Shimuras most important papers are collected in four volumes. Volume III contains his mathematical papers from 1978 to 1988 and some notes to the articles.

In 1996 the AMS awarded Goro Shimura the Steele Prize for Lifetime Achievement: "To Goro Shimura for his important and extensive work on arithmetical geometry and automorphic forms; concepts introduced by him were often seminal, and fertile ground for new developments, as witnessed by the many notations in number theory that carry his name and that have long been familiar to workers in the field." 103 of Shimuras most important papers are collected in four volumes. Volume IV contains his mathematical papers from 1989 to 2001 and some notes to the articles.

Elliptic cohomology is an extremely beautiful theory with both geometric and arithmetic aspects. The former is explained by the fact that the theory is a quotient of oriented cobordism localised away from 2, the latter by the fact that the coefficients coincide with a ring of modular forms. The aim of the book is to construct this cohomology theory, and evaluate it on classifying spaces BG of finite groups G. This class of spaces is important, since (using ideas borrowed from 'Monstrous Moonshine') it is possible to give a bundle-theoretic definition of EU-(BG). Concluding chapters also discuss variants, generalisations and potential applications.

Serge Lang (1927-2005) was one of the top mathematicians of our time. He was born in Paris in 1927, and moved with his family to California, where he graduated from Beverly Hills High School in 1943. He subsequently graduated from California Institute of Technology in 1946, and received a doctorate from Princeton University in 1951 before holding faculty positions at the University of Chicago and Columbia University (1955-1971). At the time of his death he was professor emeritus of Mathematics at Yale University. An excellent writer, Lang has made innumerable and invaluable contributions in diverse fields of mathematics. He was perhaps best known for his work in number theory and for his mathematics textbooks, including the influential Algebra. He was also a member of the Bourbaki group. He was honored with the Cole Prize by the American Mathematical Society as well as with the Prix Carriere by the French Academy of Sciences. These five volumes collect the majority of his research papers, which range over a variety of topics.

Serge Lang (1927-2005) was one of the top mathematicians of our time. He was born in Paris in 1927, and moved with his family to California, where he graduated from Beverly Hills High School in 1943. He subsequently graduated from California Institute of Technology in 1946, and received a doctorate from Princeton University in 1951 before holding faculty positions at the University of Chicago and Columbia University (1955-1971). At the time of his death he was professor emeritus of Mathematics at Yale University. An excellent writer, Lang has made innumerable and invaluable contributions in diverse fields of mathematics. He was perhaps best known for his work in number theory and for his mathematics textbooks, including the influential Algebra. He was also a member of the Bourbaki group. He was honored with the Cole Prize by the American Mathematical Society as well as with the Prix Carriere by the French Academy of Sciences. These five volumes collect the majority of his research papers, which range over a variety of topics"

Edmund Hlawka is a leading number theorist whose work has had a lasting influence on modern number theory and other branches of mathematics. He has contributed to diophantine approximation, the geometry of numbers, uniform distributions, analytic number theory, discrete geometry, convexity, numerical integration, inequalities, differential equations and gas dynamics. Of particular importance are his findings in the geometry of numbers (especially the Minkowski-Hlawka theorem) and uniform distribution. This Selecta volume collects his most important articles, many of which were previously hard to find. It will provide a useful tool for researchers and graduate students working in the areas covered, and includes a general introduction by E. Hlawka.

These notes introduce a new class of algebraic curves on Hilbert modular surfaces. These curves are called twisted Teichmuller curves, because their construction is very reminiscent of Hirzebruch-Zagier cycles. These new objects are analyzed in detail and their main properties are described. In particular, the volume of twisted Teichmuller curves is calculated and their components are partially classified. The study of algebraic curves on Hilbert modular surfaces has been widely covered in the literature due to their arithmetic importance. Among these, twisted diagonals (Hirzebruch-Zagier cycles) are some of the most important examples.

Previous publications on the generalization of the Thomae formulae to "Zn" curves have emphasized the theory's implications in mathematical physics and depended heavily on applied mathematical techniques. This book redevelops these previous results demonstrating how they can be derived directly from the basic properties of theta functions as functions on compact Riemann surfaces.

"Generalizations of Thomae's Formulafor "Zn" Curves" includes several refocused proofs developed in a generalized context that is more accessible to researchers in related mathematical fields such as algebraic geometry, complex analysis, and number theory.

This book is intended for mathematicians with an interest in complex analysis, algebraic geometry or number theory as well as physicists studying conformal field theory."

V. I. Arnold reveals some unexpected connections between such apparently unrelated theories as Galois fields, dynamical systems, ergodic theory, statistics, chaos and the geometry of projective structures on finite sets. The author blends experimental results with examples and geometrical explorations to make these findings accessible to a broad range of mathematicians, from undergraduate students to experienced researchers.

The international symposium on number theory and analysis in memory of the late famous Chinese mathematician Prof. Hua Loo Keng was co-sponsored by the Institute of Mathematics, Academia Sinica and the University of Science and Technology of China. lt took place between August Ist and 7th of 1988 on the campus of Tsing Hua University, and some 150 mathematicians were pres- ent. The symposium was carried out in two separate sections: number theory and analysis. This is retlected in the publication ofa set oftwo volumes, the first one on Number Theory edited by Professor Wang Yuan and the second on Analysis by Professors Gong Sheng, Lu Qi-keng and Yang Lo. The distinguished list of main speakers and the contents of these two vol- umes reflect the high level of the mathematical activity throughout the seven days. W e pay special tribute to our main speakers professors Chuang, Conn, Ding, Drasin, Fitzgerald, Gaier, Gong, Grauert, Gu, Hejhal, Iyanaga, Karatsuba, Koranyi, Liao, Lu, Pan, Richert, Satake, Schmidt, Siu, Tatuzawa, Tsang, Vladimirov, Y. Wang, G. Y. Wang, Wustholz and Yang, who gave the excellent one hour lectures, and also to the participants who gave contributed talks on their own research work. The discussions among the mathematicians were always in a warm atmosphere. Our thanks go to professors Chern, Subbarao and Yau for their contributions to these proceedings.

This is an updated English translation of Cohomologie Galoisienne, published more than thirty years ago as one of the very first versions of Lecture Notes in Mathematics. It includes a reproduction of an influential paper by R. Steinberg, together with some new material and an expanded bibliography.

In recent years there has been an increasing interest in problems involving closed form evaluations of (and representations of the Riemann Zeta function at positive integer arguments as) various families of series associated with the Riemann Zeta function ((s), the Hurwitz Zeta function ((s, a), and their such extensions and generalizations as (for example) Lerch's transcendent (or the Hurwitz-Lerch Zeta function) iI>(z, s, a). Some of these developments have apparently stemmed from an over two-century-old theorem of Christian Goldbach (1690-1764), which was stated in a letter dated 1729 from Goldbach to Daniel Bernoulli (1700-1782), from recent rediscoveries of a fairly rapidly convergent series representation for ((3), which is actually contained in a 1772 paper by Leonhard Euler (1707-1783), and from another known series representation for ((3), which was used by Roger Apery (1916-1994) in 1978 in his celebrated proof of the irrationality of ((3). This book is motivated essentially by the fact that the theories and applications of the various methods and techniques used in dealing with many different families of series associated with the Riemann Zeta function and its aforementioned relatives are to be found so far only"in widely scattered journal articles. Thus our systematic (and unified) presentation of these results on the evaluation and representation of the Zeta and related functions is expected to fill a conspicuous gap in the existing books dealing exclusively with these Zeta functions."