Bücher der Reihe Annals of Mathematics Studies

This is a study of the theory of models with truth values in a compact Hausdorff topological space.

The description for this book, Knot Groups. Annals of Mathematics Studies. (AM-56), Volume 56, will be forthcoming.

This work offers a contribution in the geometric form of the theory of several complex variables. Since complex Grassmann manifolds serve as classifying spaces of complex vector bundles, the cohomology structure of a complex Grassmann manifold is of importance for the construction of Chern classes of complex vector bundles. The cohomology ring of a Grassmannian is therefore of interest in topology, differential geometry, algebraic geometry, and complex analysis. Wilhelm Stoll treats certain aspects of the complex analysis point of view.This work originated with questions in value distribution theory. Here analytic sets and differential forms rather than the corresponding homology and cohomology classes are considered. On the Grassmann manifold, the cohomology ring is isomorphic to the ring of differential forms invariant under the unitary group, and each cohomology class is determined by a family of analytic sets.

This work is a fresh presentation of the Ahlfors-Weyl theory of holomorphic curves that takes into account some recent developments in Nevanlinna theory and several complex variables. The treatment is differential geometric throughout, and assumes no previous acquaintance with the classical theory of Nevanlinna. The main emphasis is on holomorphic curves defined over Riemann surfaces, which admit a harmonic exhaustion, and the main theorems of the subject are proved for such surfaces. The author discusses several directions for further research.

Geometry of orthogonal spaces.

This book contains a valuable discussion of renormalization through the addition of counterterms to the Lagrangian, giving the first complete proof of the cancellation of all divergences in an arbitrary interaction. The author also introduces a new method of renormalizing an arbitrary Feynman amplitude, a method that is simpler than previous approaches and can be used to study the renormalized perturbation series in quantum field theory.

The description for this book, Degrees of Unsolvability. (AM-55), Volume 55, will be forthcoming.

The theory of characteristic classes provides a meeting ground for the various disciplines of differential topology, differential and algebraic geometry, cohomology, and fiber bundle theory. As such, it is a fundamental and an essential tool in the study of differentiable manifolds.In this volume, the authors provide a thorough introduction to characteristic classes, with detailed studies of Stiefel-Whitney classes, Chern classes, Pontrjagin classes, and the Euler class. Three appendices cover the basics of cohomology theory and the differential forms approach to characteristic classes, and provide an account of Bernoulli numbers.Based on lecture notes of John Milnor, which first appeared at Princeton University in 1957 and have been widely studied by graduate students of topology ever since, this published version has been completely revised and corrected.

Algebraic K-theory describes a branch of algebra that centers about two functors. K0 and K1, which assign to each associative ring an abelian group K0 or K1 respectively. Professor Milnor sets out, in the present work, to define and study an analogous functor K2, also from associative rings to abelian groups. Just as functors K0 and K1 are important to geometric topologists, K2 is now considered to have similar topological applications. The exposition includes, besides K-theory, a considerable amount of related arithmetic.

One of the most cited books in mathematics, John Milnor's exposition of Morse theory has been the most important book on the subject for more than forty years. Morse theory was developed in the 1920s by mathematician Marston Morse. (Morse was on the faculty of the Institute for Advanced Study, and Princeton published his Topological Methods in the Theory of Functions of a Complex Variable in the Annals of Mathematics Studies series in 1947.) One classical application of Morse theory includes the attempt to understand, with only limited information, the large-scale structure of an object. This kind of problem occurs in mathematical physics, dynamic systems, and mechanical engineering. Morse theory has received much attention in the last two decades as a result of a famous paper in which theoretical physicist Edward Witten relates Morse theory to quantum field theory. Milnor was awarded the Fields Medal (the mathematical equivalent of a Nobel Prize) in 1962 for his work in differential topology. He has since received the National Medal of Science (1967) and the Steele Prize from the American Mathematical Society twice (1982 and 2004) in recognition of his explanations of mathematical concepts across a wide range of scienti.c disciplines. The citation reads, "e;The phrase sublime elegance is rarely associated with mathematical exposition, but it applies to all of Milnor's writings. Reading his books, one is struck with the ease with which the subject is unfolding and it only becomes apparent after re.ection that this ease is the mark of a master.? Milnor has published five books with Princeton University Press.

This book presents a classification of all (complex)irreducible representations of a reductive group withconnected centre, over a finite field. To achieve this,the author uses etale intersection cohomology, anddetailed information on representations of Weylgroups.

New interest in modular forms of one complex variable has been caused chiefly by the work of Selberg and of Eichler. But there has been no introductory work covering the background of these developments. H. C. Gunning's book surveys techniques and problems; only the simpler cases are treated-modular forms of even weights without multipliers, the principal congruence subgroups, and the Hecke operators for the full modular group alone.

Written and revised by D. B. A. Epstein.

An especially timely work, the book is an introduction to the theory of p-adic L-functions originated by Kubota and Leopoldt in 1964 as p-adic analogues of the classical L-functions of Dirichlet.Professor Iwasawa reviews the classical results on Dirichlet's L-functions and sketches a proof for some of them. Next he defines generalized Bernoulli numbers and discusses some of their fundamental properties. Continuing, he defines p-adic L-functions, proves their existence and uniqueness, and treats p-adic logarithms and p-adic regulators. He proves a formula of Leopoldt for the values of p-adic L-functions at s=1. The formula was announced in 1964, but a proof has never before been published. Finally, he discusses some applications, especially the strong relationship with cyclotomic fields.

There is a sympathy of ideas among the fields of knot theory, infinite discrete group theory, and the topology of 3-manifolds. This book contains fifteen papers in which new results are proved in all three of these fields. These papers are dedicated to the memory of Ralph H. Fox, one of the world's leading topologists, by colleagues, former students, and friends.In knot theory, papers have been contributed by Goldsmith, Levine, Lomonaco, Perko, Trotter, and Whitten. Of these several are devoted to the study of branched covering spaces over knots and links, while others utilize the braid groups of Artin.Cossey and Smythe, Stallings, and Strasser address themselves to group theory. In his contribution Stallings describes the calculation of the groups In/In+1 where I is the augmentation ideal in a group ring RG. As a consequence, one has for each k an example of a k-generator l-relator group with no free homomorphs. In the third part, papers by Birman, Cappell, Milnor, Montesinos, Papakyriakopoulos, and Shalen comprise the treatment of 3-manifolds. Milnor gives, besides important new results, an exposition of certain aspects of our current knowledge regarding the 3- dimensional Brieskorn manifolds.

Since Poincare's time, topologists have been most concerned with three species of manifold. The most primitive of these--the TOP manifolds--remained rather mysterious until 1968, when Kirby discovered his now famous torus unfurling device. A period of rapid progress with TOP manifolds ensued, including, in 1969, Siebenmann's refutation of the Hauptvermutung and the Triangulation Conjecture. Here is the first connected account of Kirby's and Siebenmann's basic research in this area.The five sections of this book are introduced by three articles by the authors that initially appeared between 1968 and 1970. Appendices provide a full discussion of the classification of homotopy tori, including Casson's unpublished work and a consideration of periodicity in topological surgery.

Part explanation of important recent work, and part introduction to some of the techniques of modern partial differential equations, this monograph is a self-contained exposition of the Neumann problem for the Cauchy-Riemann complex and certain of its applications. The authors prove the main existence and regularity theorems in detail, assuming only a knowledge of the basic theory of differentiable manifolds and operators on Hilbert space. They discuss applications to the theory of several complex variables, examine the associated complex on the boundary, and outline other techniques relevant to these problems. In an appendix they develop the functional analysis of differential operators in terms of Sobolev spaces, to the extent it is required for the monograph.

This book presents a coherent account of the current status of etale homotopy theory, a topological theory introduced into abstract algebraic geometry by M. Artin and B. Mazur. Eric M. Friedlander presents many of his own applications of this theory to algebraic topology, finite Chevalley groups, and algebraic geometry. Of particular interest are the discussions concerning the Adams Conjecture, K-theories of finite fields, and Poincare duality. Because these applications have required repeated modifications of the original formulation of etale homotopy theory, the author provides a new treatment of the foundations which is more general and more precise than previous versions.One purpose of this book is to offer the basic techniques and results of etale homotopy theory to topologists and algebraic geometers who may then apply the theory in their own work. With a view to such future applications, the author has introduced a number of new constructions (function complexes, relative homology and cohomology, generalized cohomology) which have immediately proved applicable to algebraic K-theory.

Recent developments in diverse areas of mathematics suggest the study of a certain class of extensions of C*-algebras. Here, Ronald Douglas uses methods from homological algebra to study this collection of extensions. He first shows that equivalence classes of the extensions of the compact metrizable space X form an abelian group Ext (X). Second, he shows that the correspondence X Ext (X) defines a homotopy invariant covariant functor which can then be used to define a generalized homology theory. Establishing the periodicity of order two, the author shows, following Atiyah, that a concrete realization of K-homology is obtained.

The central theme of this study is Artin's braid group and the many ways that the notion of a braid has proved to be important in low-dimensional topology.In Chapter 1 the author is concerned with the concept of a braid as a group of motions of points in a manifold. She studies structural and algebraic properties of the braid groups of two manifolds, and derives systems of defining relations for the braid groups of the plane and sphere. In Chapter 2 she focuses on the connections between the classical braid group and the classical knot problem. After reviewing basic results she proceeds to an exploration of some possible implications of the Garside and Markov theorems.Chapter 3 offers discussion of matrix representations of the free group and of subgroups of the automorphism group of the free group. These ideas come to a focus in the difficult open question of whether Burau's matrix representation of the braid group is faithful. Chapter 4 is a broad view of recent results on the connections between braid groups and mapping class groups of surfaces. Chapter 5 contains a brief discussion of the theory of "e;plats."e; Research problems are included in an appendix.

The description for this book, K-Theory of Forms. (AM-98), Volume 98, will be forthcoming.

Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book, Introduction to Mathematical Logic, defined its subject for a generation. Originally published in Princeton's Annals of Mathematics Studies series, this book was revised in 1956 and reprinted a third time, in 1996, in the Princeton Landmarks in Mathematics series. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic. Church was one of the principal founders of the Association for Symbolic Logic; he founded the Journal of Symbolic Logic in 1936 and remained an editor until 1979 At his death in 1995, Church was still regarded as the greatest mathematical logician in the world.

Beginning with a general discussion of bordism, Professors Madsen and Milgram present the homotopy theory of the surgery classifying spaces and the classifying spaces for the various required bundle theories. The next part covers more recent work on the maps between these spaces and the properties of the PL and Top characteristic classes, and includes integrality theorems for topological and PL manifolds. Later chapters treat the integral cohomology of BPL and Btop. The authors conclude with a discussion of the PL and topological cobordism rings and a construction of the torsion-free generators.

Convolution and Equidistribution explores an important aspect of number theory--the theory of exponential sums over finite fields and their Mellin transforms--from a new, categorical point of view. The book presents fundamentally important results and a plethora of examples, opening up new directions in the subject. The finite-field Mellin transform (of a function on the multiplicative group of a finite field) is defined by summing that function against variable multiplicative characters. The basic question considered in the book is how the values of the Mellin transform are distributed (in a probabilistic sense), in cases where the input function is suitably algebro-geometric. This question is answered by the book's main theorem, using a mixture of geometric, categorical, and group-theoretic methods. By providing a new framework for studying Mellin transforms over finite fields, this book opens up a new way for researchers to further explore the subject.

One of the most exciting new subjects in Algebraic Number Theory and Arithmetic Algebraic Geometry is the theory of Euler systems. Euler systems are special collections of cohomology classes attached to p-adic Galois representations. Introduced by Victor Kolyvagin in the late 1980s in order to bound Selmer groups attached to p-adic representations, Euler systems have since been used to solve several key problems. These include certain cases of the Birch and Swinnerton-Dyer Conjecture and the Main Conjecture of Iwasawa Theory. Because Selmer groups play a central role in Arithmetic Algebraic Geometry, Euler systems should be a powerful tool in the future development of the field. Here, in the first book to appear on the subject, Karl Rubin presents a self-contained development of the theory of Euler systems. Rubin first reviews and develops the necessary facts from Galois cohomology. He then introduces Euler systems, states the main theorems, and develops examples and applications. The remainder of the book is devoted to the proofs of the main theorems as well as some further speculations. The book assumes a solid background in algebraic Number Theory, and is suitable as an advanced graduate text. As a research monograph it will also prove useful to number theorists and researchers in Arithmetic Algebraic Geometry.

In 1920, Pierre Fatou expressed the conjecture that--except for special cases--all critical points of a rational map of the Riemann sphere tend to periodic orbits under iteration. This conjecture remains the main open problem in the dynamics of iterated maps. For the logistic family x- ax(1-x), it can be interpreted to mean that for a dense set of parameters "e;a,"e; an attracting periodic orbit exists. The same question appears naturally in science, where the logistic family is used to construct models in physics, ecology, and economics. In this book, Jacek Graczyk and Grzegorz Swiatek provide a rigorous proof of the Real Fatou Conjecture. In spite of the apparently elementary nature of the problem, its solution requires advanced tools of complex analysis. The authors have written a self-contained and complete version of the argument, accessible to someone with no knowledge of complex dynamics and only basic familiarity with interval maps. The book will thus be useful to specialists in real dynamics as well as to graduate students.

Many parallels between complex dynamics and hyperbolic geometry have emerged in the past decade. Building on work of Sullivan and Thurston, this book gives a unified treatment of the construction of fixed-points for renormalization and the construction of hyperbolic 3- manifolds fibering over the circle. Both subjects are studied via geometric limits and rigidity. This approach shows open hyperbolic manifolds are inflexible, and yields quantitative counterparts to Mostow rigidity. In complex dynamics, it motivates the construction of towers of quadratic-like maps, and leads to a quantitative proof of convergence of renormalization.

The first two chapters of this book offer a modern, self-contained exposition of the elementary theory of triangulated categories and their quotients. The simple, elegant presentation of these known results makes these chapters eminently suitable as a text for graduate students. The remainder of the book is devoted to new research, providing, among other material, some remarkable improvements on Brown's classical representability theorem. In addition, the author introduces a class of triangulated categories"e;--the "e;well generated triangulated categories"e;--and studies their properties. This exercise is particularly worthwhile in that many examples of triangulated categories are well generated, and the book proves several powerful theorems for this broad class. These chapters will interest researchers in the fields of algebra, algebraic geometry, homotopy theory, and mathematical physics.

This book aims first to prove the local Langlands conjecture for GLn over a p-adic field and, second, to identify the action of the decomposition group at a prime of bad reduction on the l-adic cohomology of the "e;simple"e; Shimura varieties. These two problems go hand in hand. The results represent a major advance in algebraic number theory, finally proving the conjecture first proposed in Langlands's 1969 Washington lecture as a non-abelian generalization of local class field theory. The local Langlands conjecture for GLn(K), where K is a p-adic field, asserts the existence of a correspondence, with certain formal properties, relating n-dimensional representations of the Galois group of K with the representation theory of the locally compact group GLn(K). This book constructs a candidate for such a local Langlands correspondence on the vanishing cycles attached to the bad reduction over the integer ring of K of a certain family of Shimura varieties. And it proves that this is roughly compatible with the global Galois correspondence realized on the cohomology of the same Shimura varieties. The local Langlands conjecture is obtained as a corollary. Certain techniques developed in this book should extend to more general Shimura varieties, providing new instances of the local Langlands conjecture. Moreover, the geometry of the special fibers is strictly analogous to that of Shimura curves and can be expected to have applications to a variety of questions in number theory.

This book proves an analogue of William Thurston's celebrated hyperbolic Dehn surgery theorem in the context of complex hyperbolic discrete groups, and then derives two main geometric consequences from it. The first is the construction of large numbers of closed real hyperbolic 3-manifolds which bound complex hyperbolic orbifolds--the only known examples of closed manifolds that simultaneously have these two kinds of geometric structures. The second is a complete understanding of the structure of complex hyperbolic reflection triangle groups in cases where the angle is small. In an accessible and straightforward manner, Richard Evan Schwartz also presents a large amount of useful information on complex hyperbolic geometry and discrete groups. Schwartz relies on elementary proofs and avoids quotations of preexisting technical material as much as possible. For this reason, this book will benefit graduate students seeking entry into this emerging area of research, as well as researchers in allied fields such as Kleinian groups and CR geometry.