The Riemann zeta function is one of the most studied objects in mathematics, and is of fundamental importance. In this book, based on his own research, Professor Motohashi shows that the function is closely bound with automorphic forms and that many results from there can be woven with techniques and ideas from analytic number theory to yield new insights into, and views of, the zeta function itself. The story starts with an elementary but unabridged treatment of the spectral resolution of the non-Euclidean Laplacian and the trace formulas. This is achieved by the use of standard tools from analysis rather than any heavy machinery, forging a substantial aid for beginners in spectral theory as well. These ideas are then utilized to unveil an image of the zeta-function, first perceived by the author, revealing it to be the main gem of a necklace composed of all automorphic L-functions. In this book, readers will find a detailed account of one of the most fascinating stories in the development of number theory, namely the fusion of two main fields in mathematics that were previously studied separately.

This book provides an introduction to some aspects of the analytic theory of automorphic forms on G=SL2(R) or the upper-half plane X, with respect to a discrete subgroup ^D*G of G of finite covolume. The point of view is inspired by the theory of infinite dimensional unitary representations of G; this is introduced in the last sections, making this connection explicit. The topics treated include the construction of fundamental domains, the notion of automorphic form on ^D*G\G and its relationship with the classical automorphic forms on X, Poincaré series, constant terms, cusp forms, finite dimensionality of the space of automorphic forms of a given type, compactness of certain convolution operators, Eisenstein series, unitary representations of G, and the spectral decomposition of L2(^D*G/G). The main prerequisites are some results in functional analysis (reviewed, with references) and some familiarity with the elementary theory of Lie groups and Lie algebras.

These lecture notes treat polynomial identity rings from both the combinatorial and structural points of view. The greater part of recent research in polynomial identity rings is about combinatorial questions, and the combinatorial part of the lecture notes gives an up-to-date account of recent research. On the other hand, the main structural results have been known for some time, and the emphasis there is on a presentation accessible to newcomers to the subject.

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003. The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed in the context of a broad variety of logic calculi.

In this stimulating book, Elliott demonstrates a method and a motivating philosophy that combine to cohere a large part of analytic number theory, including the hitherto nebulous study of arithmetic functions. Besides its application, the book also illustrates a way of thinking mathematically: The author weaves historical background into the narrative, while variant proofs illustrate obstructions, false steps and the development of insight in a manner reminiscent of Euler. He demonstrates how to formulate theorems as well as how to construct their proofs. Elementary notions from functional analysis, Fourier analysis, functional equations, and stability in mechanics are controlled by a geometric view and synthesized to provide an arithmetical analogue of classical harmonic analysis that is powerful enough to establish arithmetic propositions previously beyond reach. Connections with other branches of analysis are illustrated by over 250 exercises, topically arranged.

This volume comprises the proceedings of the 1995 Cardiff symposium on sieve methods, exponential sums, and their applications in number theory. Included are contributions from many leading international figures in this area which encompasses the main branches of analytic number theory. In particular, many of the papers reflect the interaction between the different fields of sieve theory, Dirichlet series (including the Riemann Zeta-function), and exponential sums, whilst displaying the subtle interplay between the additive and multiplicative aspects of the subjects. The fundamental problems discussed include recent work on Waring's problem, primes in arithmetical progressions, Goldbach numbers in short intervals, the ABC conjecture, and the moments of the Riemann Zeta-function.

The theory of sets of multiples, a subject which lies at the intersection of analytic and probabilistic number theory, has seen much development since the publication of 'Sequences' by Halberstam and Roth nearly thirty years ago. The area is rich in problems, many of them still unsolved or arising from current work. The author sets out to give a coherent, essentially self-contained account of the existing theory and at the same time to bring the reader to the frontiers of research. One of the fascinations of the theory is the variety of methods applicable to it, which include Fourier analysis, group theory, high and ultra-low moments, probability and elementary inequalities, as well as several branches of number theory. This Tract is the first devoted to the subject, and will be of value to number theorists, whether they be research workers or graduate students.

The invention of ideals by Dedekind in the 1870s was well ahead of its time, and proved to be the genesis of what today we would call algebraic number theory. His memoir 'Sur la Theorie des Nombres Entiers Algebriques' first appeared in instalments in the 'Bulletin des sciences mathematiques' in 1877. This is a translation of that work by John Stillwell, who also adds a detailed introduction that gives the historical background as well as outlining the mathematical obstructions that Dedekind was striving to overcome. Dedekind's memoir gives a candid account of his development of an elegant theory as well as providing blow-by-blow comments as he wrestled with the many difficulties encountered en route. A must for all number theorists.

This book, now in its 2nd edition, is devoted to the arithmetical theory of Siegel modular forms and their L-functions. The central object are L-functions of classical Siegel modular forms whose special values are studied using the Rankin-Selberg method and the action of certain differential operators on modular forms which have nice arithmetical properties.

A new method of p-adic interpolation of these critical values is presented. An important class of p-adic L-functions treated in the present book are p-adic L-functions of Siegel modular forms having logarithmic growth. The given construction of these p-adic L-functions uses precise algebraic properties of the arithmetical Shimura differential operator.

The book will be very useful for postgraduate students and for non-experts looking for a quick approach to a rapidly developing domain of algebraic number theory. This new edition is substantially revised to account for the new explanations that have emerged in the past 10 years of the main formulas for special L-values in terms of arithmetical theory of nearly holomorphic modular forms.

Yearning for the Impossible: The Surprising Truth of Mathematics, Second Edition explores the history of mathematics from the perspective of the creative tension between common sense and the "impossible" as the author follows the discovery or invention of new concepts that have marked mathematical progress. The author puts these creations into a broader context involving related "impossibilities" from art, literature, philosophy, and physics. This new edition contains many new exercises and commentaries, clearly discussing a wide range of challenging subjects.

The C.I.M.E. session in Diophantine Approximation, held in Cetraro (Italy) June 28 - July 6, 2000 focused on height theory, linear independence and transcendence in group varieties, Baker's method, approximations to algebraic numbers and applications to polynomial-exponential diophantine equations and to diophantine theory of linear recurrences. Very fine lectures by D. Masser, Y. Nesterenko, H.-P. Schlickewei, W.M. Schmidt and M. Walsschmidt have resulted giving a good overview of these topics, and describing central results, both classical and recent, emphasizing the new methods and ideas of the proofs rather than the details. They are addressed to a wide audience and do not require any prior specific knowledge.

In his first book, Philosophy of Arithmetic, Edmund Husserl provides a carefully worked out account of number as a categorial or formal feature of the objective world, and of arithmetic as a symbolic technique for mastering the infinite field of numbers for knowledge. It is a realist account of numbers and number relations that interweaves them into the basic structure of the universe and into our knowledge of reality. It provides an answer to the question of how arithmetic applies to reality, and gives an account of how, in general, formalized systems of symbols work in providing access to the world. The "appendices" to this book provide some of Husserl's subsequent discussions of how formalisms work, involving David Hilbert's program of completeness for arithmetic. "Completeness" is integrated into Husserl's own problematic of the "imaginary," and allows him to move beyond the analysis of "representations" in his understanding of the logic of mathematics.
Husserl's work here provides an alternative model of what "conceptual analysis" should be - minus the "linguistic turn," but inclusive of language and linguistic meaning. In the process, he provides case after case of "Phenomenological Analysis" - fortunately unencumbered by that title - of the convincing type that made Husserl's life and thought a fountainhead of much of the most important philosophical work of the twentieth Century in Europe. Many Husserlian themes to be developed at length in later writings first emerge here: Abstraction, internal time consciousness, polythetic acts, acts of higher order ('founded' acts), Gestalt qualities and their role in knowledge, formalization (as opposed to generalization), essence analysis, and so forth.
This volume is a window on a period of rich and illuminating philosophical activity that has been rendered generally inaccessible by the supposed "revolution" attributed to "Analytic Philosophy" so-called. Careful exposition and critique is given to every serious alternative account of number and number relations available at the time. Husserl's extensive and trenchant criticisms of Gottlob Frege's theory of number and arithmetic reach far beyond those most commonly referred to in the literature on their views.

This book constitutes the refereed proceedings of the 5th International Algorithmic Number Theory Symposium, ANTS-V, held in Sydney, Australia, in July 2002.The 34 revised full papers presented together with 5 invited papers have gone through a thorough round of reviewing, selection and revision. The papers are organized in topical sections on number theory, arithmetic geometry, elliptic curves and CM, point counting, cryptography, function fields, discrete logarithms and factoring, Groebner bases, and complexity.

The number theoretic properties of curves of genus 2 are attracting increasing attention. This book provides new insights into this subject; much of the material here is entirely new, and none has appeared in book form before. Included is an explicit treatment of the Jacobian, which throws new light onto the geometry of the Kummer surface. The Mordell-Weil group can then be determined for many curves, and in many non-trivial cases all rational points can be found. The results exemplify the power of computer algebra in diophantine contexts, but computer expertise is not assumed in the main text. Number theorists, algebraic geometers and workers in related areas will find that this book offers unique insights into the arithmetic of curves of genus 2.

Dieses zweibAndige Werk handelt von Mathematik und ihrer Geschichte. Die sorgfAltige Analyse dessen, was die Alten bewiesen - meist sehr viel mehr, als sie ahnten -, fA1/4hrt zu einem besseren VerstAndnis der Geschichte und zu einer guten Motivation und einem ebenfalls besseren VerstAndnis heutiger Mathematik.
Der zweite Band beginnt mit der groAen Arbeit von Lagrange von 1770/71, die spAter Galois inspirierte. Um sie zu verstehen, benAtigt man den Begriff der Resultanten von Polynomen. Dieser wird bereitgestellt, zusammen mit Algorithmen zu ihrer Berechnung, die aus dem 20. Jahrhundert stammen. Zentral sind dann Arbeiten von Steinitz und Galois. FA1/4r diese wird transfiniten Methoden und Gruppen sowie der Geschichte beider Themen entsprechender Raum gewidmet. Viel gesagt wird auch A1/4ber die Kreisteilungspolynome. Um die Transzendenz von Pi zu beweisen, werden schlieAlich auch noch topologische Methoden behandelt.

Cohomology of Drinfeld Modular Varieties aims to provide an introduction to both the subject of the title and the Langlands correspondence for function fields. These varieties are the analogs for function fields of Shimura varieties over number fields. This present volume is devoted to the geometry of these varieties and to the local harmonic analysis needed to compute their cohomology. To keep the presentation as accessible as possible, the author considers the simpler case of function rather than number fields; nevertheless, many important features can still be illustrated. It will be welcomed by workers in number theory and representation theory.

Around 1994 R. Borcherds discovered a new type of meromorphic modular form on the orthogonal group $O(2,n)$. These "Borcherds products" have infinite product expansions analogous to the Dedekind eta-function. They arise as multiplicative liftings of elliptic modular forms on $(SL)_2(R)$. The fact that the zeros and poles of Borcherds products are explicitly given in terms of Heegner divisors makes them interesting for geometric and arithmetic applications. In the present text the Borcherds' construction is extended to Maass wave forms and is used to study the Chern classes of Heegner divisors. A converse theorem for the lifting is proved.

The decomposition of the space L2(G(Q)\G(A)), where G is a reductive group defined over Q and A is the ring of adeles of Q, is a deep problem at the intersection of number and group theory. Langlands reduced this decomposition to that of the (smaller) spaces of cuspidal automorphic forms for certain subgroups of G. This book describes this proof in detail. The starting point is the theory of automorphic forms, which can also serve as a first step towards understanding the Arthur-Selberg trace formula. To make the book reasonably self-contained, the authors also provide essential background in subjects such as: automorphic forms; Eisenstein series; Eisenstein pseudo-series, and their properties. It is thus also an introduction, suitable for graduate students, to the theory of automorphic forms, the first written using contemporary terminology. It will be welcomed by number theorists, representation theorists and all whose work involves the Langlands program.

This volume is devoted to the Brauer group of a commutative ring and related invariants. Part I presents a new self-contained exposition of the Brauer group of a commutative ring. Included is a systematic development of the theory of Grothendieck topologies and etale cohomology, and discussion of topics such as Gabber's theorem and the theory of Taylor's big Brauer group of algebras without a unit. Part II presents a systematic development of the Galois theory of Hopf algebras with special emphasis on the group of Galois objects of a cocommutative Hopf algebra. The development of the theory is carried out in such a way that the connection to the theory of the Brauer group in Part I is made clear. Recent developments are considered and examples are included.

The Brauer-Long group of a Hopf algebra over a commutative ring is discussed in Part III. This provides a link between the first two parts of the volume and is the first time this topic has been discussed in a monograph.

Audience: Researchers whose work involves group theory. The first two parts, in particular, can be recommended for supplementary, graduate course use. "

The 13 chapters of this book centre around the proof of Theorem 1 of Faltings' paper "Diophantine approximation on abelian varieties," Ann. Math.133 (1991) and together give an approach to the proof that is accessible to Ph.D-level students in number theory and algebraic geometry. Each chapter is based on an instructional lecture given by its author ata special conference for graduate students, on the topic of Faltings' paper.

This volume has grown out of lectures given by Professor Pfister over many years. The emphasis here is placed on results about quadratic forms that give rise to interconnections between number theory, algebra, algebraic geometry and topology. Topics discussed include Hilbert's 17th problem, the Tsen-Lang theory of quasi algebraically closed fields, the level of topological spaces and systems of quadratic forms over arbitrary fields. Whenever possible proofs are short and elegant, and the author's aim was to make this book as self-contained as possible. This is a gem of a book bringing together thirty years' worth of results that are certain to interest anyone whose research touches on quadratic forms.

It isn't that they can't see the solution. It is Approach your problems from the right end and begin with the answers. Then one day, that they can't see the problem. perhaps you will find the final question. O. K. Chesterton. The Scandal of Father 'The Hermit Clad in Crane Feathers' in R. Brown 'The point of a Pin'. van Oulik's The Chinese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging subdisciplines as "experimental mathematics," "CFD," "completely integrable systems," "chaos, synergetics and large-scale order," which are almost impossible to fit into the existing classification schemes. They draw upon widely different sections of mathematics."

Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not' grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory arid the struc ture of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging subdisciplines as "completely integrable systems," "chaos, synergetics and large-5cale order," which are almost impossible to fit into the existing classification schemes. They draw upon widely different sections of mathematics. This program, Mathematics and Its Applications, is devoted to such (new) interrelations as exampla gratia: - a central concept which plays an important role in several different mathe matical and/or scientific specialized areas; - new applications of the results and ideas from one area of scientific en deavor into another; - influences which the results, problems and concepts of one field of enquiry have and have had on the development of another."

This is the fourteenth annual volume arising from the Seminaire de Theorie des Nombres de Paris. As with previous volumes the whole spectrum of number theory is discussed, with many contributions from some of the world's leading figures. The very latest research developments are covered and much of the work presented here will not be found elsewhere. Also included are surveys that will serve to guide the reader through the extensive published literature. This will be a necessary addition to the libraries of all workers in number theory.

There is now a large body of theory concerning algebraic varieties over finite fields, and many conjectures exist in this area that are of great interest to researchers in number theory and algebraic geometry. This book is concerned with the arithmetic of diagonal hypersurfaces over finite fields, with special focus on the Tate conjecture and the Lichtenbaum-Milne formula for the central value of the L-function. It combines theoretical and numerical work, and includes tables of Picard numbers. Although this book is aimed at experts, the authors have included some background material to help non-specialists gain access to the results.