The book describes 4 main topics in current model theory and updates their most recent development and applications. The 4 topics are: 1) model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories; 4) model theory of real and complex exponentiation. The book addresses in particular young researchers in model theory, as well as more senior researchers in other branches of mathematics.

Written for advanced undergraduate and first-year graduate students, this book aims to introduce students to a serious level of "p"-adic analysis with important implications for number theory. The main object is the study of G-series, that is, power series y=aij=0 Ajxj with coefficients in an algebraic number field "K." These series satisfy a linear differential equation "Ly=0" with "LIK(x) d/dx]" and have non-zero radii of convergence for each imbedding of "K" into the complex numbers. They have the further property that the common denominators of the first s coefficients go to infinity geometrically with the index "s."

After presenting a review of valuation theory and elementary "p"-adic analysis together with an application to the congruence zeta function, this book offers a detailed study of the "p"-adic properties of formal power series solutions of linear differential equations. In particular, the "p"-adic radii of convergence and the "p"-adic growth of coefficients are studied. Recent work of Christol, Bombieri, Andre, and Dwork is treated and augmented. The book concludes with Chudnovsky's theorem: the analytic continuation of a "G "-series is again a "G "-series. This book will be indispensable for those wishing to study the work of Bombieri and Andre on global relations and for the study of the arithmetic properties of solutions of ordinary differential equations."

This impressive volume is dedicated to Mel Nathanson, a leading authoritative expert for several decades in the area of combinatorial and additive number theory. For several decades, Mel Nathanson's seminal ideas and results in combinatorial and additive number theory have influenced graduate students and researchers alike. The invited survey articles in this volume reflect the work of distinguished mathematicians in number theory, and represent a wide range of important topics in current research.

This text provides an introduction to the topic of transcendental numbers for undergraduate and graduate students. Chapters 1 to 18 can be used for an introductory course in transcendental numbers aimed at senior undergraduates and first-year graduate students. Since the Schneider-Lang theorem is the main focus, the reader must have a rudimentary background in complex analysis. Some of the essential features of elliptic curve theory are introduced and made accessible so that the student can savor the beauty of the primary applications. The later chapters include additional, more demanding topics including Baker's theorem and its applications to the transcendence of special values of L-series; applications of Schneider's theorem and Nesterenko's theorem as they apply to special values of modular forms; and the emerging theory of multiple zeta values. This book is ideal for undergraduates and graduate students, as well as non-expert researchers wishing to learn more about transcendental numbers. The text includes many helpful exercises intended to facilitate practical mastery.

The notes in this volume correspond to advanced courses held at the Centre de Recerca Matematica as part of the research program in Arithmetic Geometry in the 2009-2010 academic year.

The notes by Laurent Berger provide an introduction to "p"-adic Galois representations and Fontaine rings, which are especially useful for describing many local deformation rings at "p" that arise naturally in Galois deformation theory.

The notes by Gebhard Bockle offer a comprehensive course on Galois deformation theory, starting from the foundational results of Mazur and discussing in detail the theory of pseudo-representations and their deformations, local deformations at places l p and local deformations at "p" which are flat. In the last section, the results of Bockle and Kisin on presentations of global deformation rings over local ones are discussed.

The notes by Mladen Dimitrov present the basics of the arithmetic theory of Hilbert modular forms and varieties, with an emphasis on the study of the images of the attached Galois representations, on modularity lifting theorems over totally real number fields, and on the cohomology of Hilbert modular varieties with integral coefficients.

The notes by Lassina Dembele and John Voight describe methods for performing explicit computations in spaces of Hilbert modular forms. These methods depend on the Jacquet-Langlands correspondence and on computations in spaces of quaternionic modular forms, both for the case of definite and indefinite quaternion algebras. Several examples are given, and applications to modularity of Galois representations are discussed.

The notes by Tim Dokchitser describe the proof, obtained by the author in a joint project with Vladimir Dokchitser, of the parity conjecture for elliptic curves over number fields under the assumption of finiteness of the Tate-Shafarevich group. The statement of the Birch and Swinnerton-Dyer conjecture is included, as well as a detailed study of local and global root numbers of elliptic curves and their classification."

This textbook provides a readable account of the examples and fundamental results of groups from a theoretical and geometrical point of view. Topics on important examples of groups (like cyclic groups, permutation groups, group of arithmetical functions, matrix groups and linear groups), Lagrange's theorem, normal subgroups, factor groups, derived subgroup, homomorphism, isomorphism and automorphism of groups have been discussed in depth. Covering all major topics, this book is targeted to undergraduate students of mathematics with no prerequisite knowledge of the discussed topics. Each section ends with a set of worked-out problems and supplementary exercises to challenge the knowledge and ability of the reader.

This expanded textbook, now in its second edition, is a practical yet in depth guide to cryptography and its principles and practices. Now featuring a new section on quantum resistant cryptography in addition to expanded and revised content throughout, the book continues to place cryptography in real-world security situations using the hands-on information contained throughout the chapters. Prolific author Dr. Chuck Easttom lays out essential math skills and fully explains how to implement cryptographic algorithms in today's data protection landscape. Readers learn and test out how to use ciphers and hashes, generate random keys, handle VPN and Wi-Fi security, and encrypt VoIP, Email, and Web communications. The book also covers cryptanalysis, steganography, and cryptographic backdoors and includes a description of quantum computing and its impact on cryptography. This book is meant for those without a strong mathematics background with only just enough math to understand the algorithms given. The book contains a slide presentation, questions and answers, and exercises throughout. Presents new and updated coverage of cryptography including new content on quantum resistant cryptography; Covers the basic math needed for cryptography - number theory, discrete math, and algebra (abstract and linear); Includes a full suite of classroom materials including exercises, Q&A, and examples.

Serge Lang was an iconic figure in mathematics, both for his own important work and for the indelible impact he left on the field of mathematics, on his students, and on his colleagues. Over the course of his career, Lang traversed a tremendous amount of mathematical ground. As he moved from subject to subject, he found analogies that led to important questions in such areas as number theory, arithmetic geometry, and the theory of negatively curved spaces. Lang's conjectures will keep many mathematicians occupied far into the future. In the spirit of Lang's vast contribution to mathematics, this memorial volume contains articles by prominent mathematicians in a variety of areas of the field, namely Number Theory, Analysis, and Geometry, representing Lang's own breadth of interest and impact. A special introduction by John Tate includes a brief and fascinating account of the Serge Lang's life. This volume's group of 6 editors are also highly prominent mathematicians and were close to Serge Lang, both academically and personally. The volume is suitable to research mathematicians in the areas of Number Theory, Analysis, and Geometry.

The text that comprises this volume is a collection of surveys and original works from experts in the fields of algebraic number theory, analytic number theory, harmonic analysis, and hyperbolic geometry. A portion of the collected contributions have been developed from lectures given at the "International Conference on the Occasion of the 60th Birthday of S. J. Patterson," held at the University Gottingen, July 27-29 2009. Many of the included chapters have been contributed by invited participants.

This volume presents and investigates the most recent developments in various key topics in analytic number theory and several related areas of mathematics.

The volume is intended for graduate students and researchers of number theory as well as applied mathematicians interested in this broad field."

This text offers a collection of survey and research papers by leading specialists in the field documenting the current understanding of higher dimensional varieties. Recently, it has become clear that ideas from many branches of mathematics can be successfully employed in the study of rational and integral points. This book will be very valuable for researchers from these various fields who have an interest in arithmetic applications, specialists in arithmetic geometry itself, and graduate students wishing to pursue research in this area.

Arithmetic algebraic geometry is in a fascinating stage of growth, providing a rich variety of applications of new tools to both old and new problems. Representative of these recent developments is the notion of Arakelov geometry, a way of "completing" a variety over the ring of integers of a number field by adding fibres over the Archimedean places. Another is the appearance of the relations between arithmetic geometry and Nevanlinna theory, or more precisely between diophantine approximation theory and the value distribution theory of holomorphic maps. Research mathematicians and graduate students in algebraic geometry and number theory will find a valuable and lively view of the field in this state-of-the-art selection.

The present manuscript is an improved edition of a text that first appeared under the same title in Bonner Mathematische Schriften, no.26, and originated from a series of lectures given by the author in 1965/66 in Wolfgang Krull's seminar in Bonn. Its main goal is to provide the reader, acquainted with the basics of algebraic number theory, a quick and immediate access to class field theory. This script consists of three parts, the first of which discusses the cohomology of finite groups. The second part discusses local class field theory, and the third part concerns the class field theory of finite algebraic number fields.

This modern introduction to the foundations of logic and mathematics not only takes theory into account, but also treats in some detail applications that have a substantial impact on everyday life (loans and mortgages, bar codes, public-key cryptography). A first college-level introduction to logic, proofs, sets, number theory, and graph theory, and an excellent self-study reference and resource for instructors.

Some of the central topics in number theory, presnted in a simple and concise fashion. The author covers an amazing amount of material, despite a leisurely pace and emphasis on readability. His heartfelt enthusiasm enables readers to see what is magical about the subject. All the topics are presented in a refreshingly elegant and efficient manner with clever examples and interesting problems throughout. The text is suitable for a graduate course in analytic number theory.

The series is aimed specifically at publishing peer reviewed reviews and contributions presented at workshops and conferences. Each volume is associated with a particular conference, symposium or workshop. These events cover various topics within pure and applied mathematics and provide up-to-date coverage of new developments, methods and applications.

The circle method has its genesis in a paper of Hardy and Ramanujan (see [Hardy 1])in 1918concernedwiththepartitionfunction andtheproblemofrep- resenting numbers as sums ofsquares. Later, in a series of papers beginning in 1920entitled "some problems of'partitio numerorum", Hardy and Littlewood (see [Hardy 1]) created and developed systematically a new analytic method, the circle method in additive number theory. The most famous problems in ad- ditive number theory, namely Waring's problem and Goldbach's problem, are treated in their papers. The circle method is also called the Hardy-Littlewood method. Waring's problem may be described as follows: For every integer k 2 2, there is a number s= s( k) such that every positive integer N is representable as (1) where Xi arenon-negative integers. This assertion wasfirst proved by Hilbert [1] in 1909. Using their powerful circle method, Hardy and Littlewood obtained a deeper result on Waring's problem. They established an asymptotic formula for rs(N), the number of representations of N in the form (1), namely k 1 provided that 8 2 (k - 2)2 - +5. Here

A look at solving problems in three areas of classical elementary mathematics: equations and systems of equations of various kinds, algebraic inequalities, and elementary number theory, in particular divisibility and diophantine equations. In each topic, brief theoretical discussions are followed by carefully worked out examples of increasing difficulty, and by exercises which range from routine to rather more challenging problems. While it emphasizes some methods that are not usually covered in beginning university courses, the book nevertheless teaches techniques and skills which are useful beyond the specific topics covered here. With approximately 330 examples and 760 exercises.

Upon Ramanujans death in 1920, G. H. Hardy strongly urged that Ramanujans notebooks be published and edited. In 1957, the Tata Institute of Fundamental Research in Bombay finally published a photostat edition of the notebooks, but no editing was undertaken. In 1977, Berndt began the task of editing Ramanujans notebooks: proofs are provided to theorems not yet proven in previous literature, and many results are so startling as to be unique.

This is a substantially revised and updated introduction to arithmetic topics, both ancient and modern, that have been at the centre of interest in applications of number theory, particularly in cryptography. As such, no background in algebra or number theory is assumed, and the book begins with a discussion of the basic number theory that is needed. The approach taken is algorithmic, emphasising estimates of the efficiency of the techniques that arise from the theory, and one special feature is the inclusion of recent applications of the theory of elliptic curves. Extensive exercises and careful answers are an integral part all of the chapters.

The aim of this book is to illustrate by significant special examples three aspects of the theory of Diophantine approximations: the formal relationships that exist between counting processes and the functions entering the theory; the determination of these functions for numbers given as classical numbers; and certain asymptotic estimates holding almost everywhere.
Each chapter works out a special case of a much broader general theory, as yet unknown. Indications for this are given throughout the book, together with reference to current publications. The book may be used in a course in number theory, whose students will thus be put in contact with interesting but accessible problems on the ground floor of mathematics.

The present monograph further develops the study, via the techniques of combinatorial anabelian geometry, of the profinite fundamental groups of configuration spaces associated to hyperbolic curves over algebraically closed fields of characteristic zero. The starting point of the theory of the present monograph is a combinatorial anabelian result which allows one to reduce issues concerning the anabelian geometry of configuration spaces to issues concerning the anabelian geometry of hyperbolic curves, as well as to give purely group-theoretic characterizations of the cuspidal inertia subgroups of one-dimensional subquotients of the profinite fundamental group of a configuration space. We then turn to the study of tripod synchronization, i.e., of the phenomenon that an outer automorphism of the profinite fundamental group of a log configuration space associated to a stable log curve induces the same outer automorphism on certain subquotients of such a fundamental group determined by tripods [i.e., copies of the projective line minus three points]. The theory of tripod synchronization shows that such outer automorphisms exhibit somewhat different behavior from the behavior that occurs in the case of discrete fundamental groups and, moreover, may be applied to obtain various strong results concerning profinite Dehn multi-twists. In the final portion of the monograph, we develop a theory of localizability, on the dual graph of a stable log curve, for the condition that an outer automorphism of the profinite fundamental group of the stable log curve lift to an outer automorphism of the profinite fundamental group of a corresponding log configuration space. This localizability is combined with the theory of tripod synchronization to construct a purely combinatorial analogue of the natural outer surjection from the etale fundamental group of the moduli stack of hyperbolic curves over the field of rational numbers to the absolute Galois group of the field of rational numbers.

An undergraduate-level introduction to number theory, with the emphasis on fully explained proofs and examples. Exercises, together with their solutions are integrated into the text, and the first few chapters assume only basic school algebra. Elementary ideas about groups and rings are then used to study groups of units, quadratic residues and arithmetic functions with applications to enumeration and cryptography. The final part, suitable for third-year students, uses ideas from algebra, analysis, calculus and geometry to study Dirichlet series and sums of squares. In particular, the last chapter gives a concise account of Fermat's Last Theorem, from its origin in the ancient Babylonian and Greek study of Pythagorean triples to its recent proof by Andrew Wiles.

This book has grown out of a course of lectures I have given at the Eidgenossische Technische Hochschule, Zurich. Notes of those lectures, prepared for the most part by assistants, have appeared in German. This book follows the same general plan as those notes, though in style, and in text (for instance, Chapters III, V, VIII), and in attention to detail, it is rather different. Its purpose is to introduce the non-specialist to some of the fundamental results in the theory of numbers, to show how analytical methods of proof fit into the theory, and to prepare the ground for a subsequent inquiry into deeper questions. It is pub lished in this series because of the interest evinced by Professor Beno Eckmann. I have to acknowledge my indebtedness to Professor Carl Ludwig Siegel, who has read the book, both in manuscript and in print, and made a number of valuable criticisms and suggestions. Professor Raghavan Narasimhan has helped me, time and again, with illuminating comments. Dr. Harold Diamond has read the proofs, and helped me to remove obscurities. I have to thank them all. K.C."

After Pyatetski-Shapiro[PS1] and Satake [Sa1] introduced, independent of one another, an early form of the Jacobi Theory in 1969 (while not naming it as such), this theory was given a de?nite push by the book The Theory of Jacobi Forms by Eichler and Zagier in 1985. Now, there are some overview articles describing the developments in the theory of the Jacobigroupandits autom- phic forms, for instance by Skoruppa[Sk2], Berndt [Be5] and Kohnen [Ko]. We refertotheseformorehistoricaldetailsandmanymorenamesofauthorsactive inthistheory,whichstretchesnowfromnumbertheoryandalgebraicgeometry to theoretical physics. But let us only brie?y indicate several- sometimes very closely related - topics touched by Jacobi theory as we see it: * ?eldsofmeromorphicandrationalfunctionsontheuniversalellipticcurve resp. universal abelian variety * structure and projective embeddings of certain algebraic varieties and homogeneous spaces * correspondences between di?erent kinds of modular forms * L-functions associated to di?erent kinds of modular forms and autom- phic representations * induced representations * invariant di?erential operators * structure of Hecke algebras * determination of generalized Kac-Moody algebras and as a ? nal goal related to the here ?rst mentioned * mixed Shimura varieties and mixed motives. Now, letting completely aside the arithmetical and algebraic geometrical - proach to Jacobi forms developed and instrumentalized by Kramer [Kr], we ix x Introduction will treat here a certain representation theoretic point of view for the Jacobi theory parallel to the theory of Jacquet-Langlands [JL] for GL(2) as reported by Godement [Go2], Gelbart [Ge1] and, recently, Bump [Bu].

During the years 1903-1914, Ramanujan recorded many of his mathematical discoveries in notebooks without providing proofs. Although many of his results were already in the literature, more were not. Almost a decade after Ramanujan's death in 1920, G.N. Watson and B.M. Wilson began to edit his notebooks but never completed the task. A photostat edition, with no editing, was published by the Tata Institute of Fundamental Research in Bombay in 1957. This book is the second of four volumes devoted to the editing of Ramanujan's Notebooks. Part I, published in 1985, contains an account of Chapters 1-9 in the second notebook as well as a description of Ramanujan's quarterly reports. In this volume, we examine Chapters 10-15 in Ramanujan's second notebook. If a result is known, we provide references in the literature where proofs may be found; if a result is not known, we attempt to prove it. Not only are the results fascinating, but, for the most part, Ramanujan's methods remain a mystery. Much work still needs to be done. We hope readers will strive to discover Ramanujan's thoughts and further develop his beautiful ideas.