Annals of Mathematics Studies – serie

The description for this book, The Calculi of Lambda Conversion. (AM-6), will be forthcoming.

This book gives a clear introductory account of equivariant cohomology, a central topic in algebraic topology. Equivariant cohomology is concerned with the algebraic topology of spaces with a group action, or in other words, with symmetries of spaces. First defined in the 1950s, it has been introduced into K-theory and algebraic geometry, but it is in algebraic topology that the concepts are the most transparent and the proofs are the simplest. One of the most useful applications of equivariant cohomology is the equivariant localization theorem of Atiyah-Bott and Berline-Vergne, which converts the integral of an equivariant differential form into a finite sum over the fixed point set of the group action, providing a powerful tool for computing integrals over a manifold. Because integrals and symmetries are ubiquitous, equivariant cohomology has found applications in diverse areas of mathematics and physics.Assuming readers have taken one semester of manifold theory and a year of algebraic topology, Loring Tu begins with the topological construction of equivariant cohomology, then develops the theory for smooth manifolds with the aid of differential forms. To keep the exposition simple, the equivariant localization theorem is proven only for a circle action. An appendix gives a proof of the equivariant de Rham theorem, demonstrating that equivariant cohomology can be computed using equivariant differential forms. Examples and calculations illustrate new concepts. Exercises include hints or solutions, making this book suitable for self-study.

Toric varieties are algebraic varieties arising from elementary geometric and combinatorial objects such as convex polytopes in Euclidean space with vertices on lattice points. Since many algebraic geometry notions such as singularities, birational maps, cycles, homology, intersection theory, and Riemann-Roch translate into simple facts about polytopes, toric varieties provide a marvelous source of examples in algebraic geometry. In the other direction, general facts from algebraic geometry have implications for such polytopes, such as to the problem of the number of lattice points they contain. In spite of the fact that toric varieties are very special in the spectrum of all algebraic varieties, they provide a remarkably useful testing ground for general theories. The aim of this mini-course is to develop the foundations of the study of toric varieties, with examples, and describe some of these relations and applications. The text concludes with Stanley's theorem characterizing the numbers of simplicies in each dimension in a convex simplicial polytope.Although some general theorems are quoted without proof, the concrete interpretations via simplicial geometry should make the text accessible to beginners in algebraic geometry.

The first part of this monograph is devoted to a characterization of hypergeometric-like functions, that is, twists of hypergeometric functions in n-variables. These are treated as an (n+1) dimensional vector space of multivalued locally holomorphic functions defined on the space of n+3 tuples of distinct points on the projective line P modulo, the diagonal section of Auto P=m. For n=1, the characterization may be regarded as a generalization of Riemann's classical theorem characterizing hypergeometric functions by their exponents at three singular points. This characterization permits the authors to compare monodromy groups corresponding to different parameters and to prove commensurability modulo inner automorphisms of PU(1,n). The book includes an investigation of elliptic and parabolic monodromy groups, as well as hyperbolic monodromy groups. The former play a role in the proof that a surprising number of lattices in PU(1,2) constructed as the fundamental groups of compact complex surfaces with constant holomorphic curvature are in fact conjugate to projective monodromy groups of hypergeometric functions.The characterization of hypergeometric-like functions by their exponents at the divisors "at infinity" permits one to prove generalizations in n-variables of the Kummer identities for n-1 involving quadratic and cubic changes of the variable.

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

Riemann introduced the concept of a "local system" on P1-{a finite set of points} nearly 140 years ago. His idea was to study nth order linear differential equations by studying the rank n local systems (of local holomorphic solutions) to which they gave rise. His first application was to study the classical Gauss hypergeometric function, which he did by studying rank-two local systems on P1- {0,1,infinity}. His investigation was successful, largely because any such (irreducible) local system is rigid in the sense that it is globally determined as soon as one knows separately each of its local monodromies. It became clear that luck played a role in Riemann's success: most local systems are not rigid. Yet many classical functions are solutions of differential equations whose local systems are rigid, including both of the standard nth order generalizations of the hypergeometric function, n F n-1's, and the Pochhammer hypergeometric functions.This book is devoted to constructing all (irreducible) rigid local systems on P1-{a finite set of points} and recognizing which collections of independently given local monodromies arise as the local monodromies of irreducible rigid local systems. Although the problems addressed here go back to Riemann, and seem to be problems in complex analysis, their solutions depend essentially on a great deal of very recent arithmetic algebraic geometry, including Grothendieck's etale cohomology theory, Deligne's proof of his far-reaching generalization of the original Weil Conjectures, the theory of perverse sheaves, and Laumon's work on the l-adic Fourier Transform.

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.

This work gives a full description of a method for analyzing the admissible complex representations of the general linear group G = Gl(N,F) of a non-Archimedean local field F in terms of the structure of these representations when they are restricted to certain compact open subgroups of G. The authors define a family of representations of these compact open subgroups, which they call simple types. The first example of a simple type, the "trivial type," is the trivial character of an Iwahori subgroup of G. The irreducible representations of G containing the trivial simple type are classified by the simple modules over a classical affine Hecke algebra. Via an isomorphism of Hecke algebras, this classification is transferred to the irreducible representations of G containing a given simple type. This leads to a complete classification of the irreduc-ible smooth representations of G, including an explicit description of the supercuspidal representations as induced representations. A special feature of this work is its virtually complete reliance on algebraic methods of a ring-theoretic kind. A full and accessible account of these methods is given here.

This book presents a new result in 3-dimensional topology. It is well known that any closed oriented 3-manifold can be obtained by surgery on a framed link in S 3. In Global Surgery Formula for the Casson-Walker Invariant, a function F of framed links in S 3 is described, and it is proven that F consistently defines an invariant, lamda (l), of closed oriented 3-manifolds. l is then expressed in terms of previously known invariants of 3-manifolds. For integral homology spheres, l is the invariant introduced by Casson in 1985, which allowed him to solve old and famous questions in 3-dimensional topology. l becomes simpler as the first Betti number increases. As an explicit function of Alexander polynomials and surgery coefficients of framed links, the function F extends in a natural way to framed links in rational homology spheres. It is proven that F describes the variation of l under any surgery starting from a rational homology sphere. Thus F yields a global surgery formula for the Casson invariant.

Measured geodesic laminations are a natural generalization of simple closed curves in surfaces, and they play a decisive role in various developments in two-and three-dimensional topology, geometry, and dynamical systems. This book presents a self-contained and comprehensive treatment of the rich combinatorial structure of the space of measured geodesic laminations in a fixed surface. Families of measured geodesic laminations are described by specifying a train track in the surface, and the space of measured geodesic laminations is analyzed by studying properties of train tracks in the surface. The material is developed from first principles, the techniques employed are essentially combinatorial, and only a minimal background is required on the part of the reader. Specifically, familiarity with elementary differential topology and hyperbolic geometry is assumed. The first chapter treats the basic theory of train tracks as discovered by W. P. Thurston, including recurrence, transverse recurrence, and the explicit construction of a measured geodesic lamination from a measured train track. The subsequent chapters develop certain material from R. C.Penner's thesis, including a natural equivalence relation on measured train tracks and standard models for the equivalence classes (which are used to analyze the topology and geometry of the space of measured geodesic laminations), a duality between transverse and tangential structures on a train track, and the explicit computation of the action of the mapping class group on the space of measured geodesic laminations in the surface.

This book describes an invariant, l, of oriented rational homology 3-spheres which is a generalization of work of Andrew Casson in the integer homology sphere case. Let R(X) denote the space of conjugacy classes of representations of p(X) into SU(2). Let (W,W,F) be a Heegaard splitting of a rational homology sphere M. Then l(M) is declared to be an appropriately defined intersection number of R(W) and R(W) inside R(F). The definition of this intersection number is a delicate task, as the spaces involved have singularities. A formula describing how l transforms under Dehn surgery is proved. The formula involves Alexander polynomials and Dedekind sums, and can be used to give a rather elementary proof of the existence of l. It is also shown that when M is a Z-homology sphere, l(M) determines the Rochlin invariant of M.

The arithmetic Riemann-Roch Theorem has been shown recently by Bismut-Gillet-Soul. The proof mixes algebra, arithmetic, and analysis. The purpose of this book is to give a concise introduction to the necessary techniques, and to present a simplified and extended version of the proof. It should enable mathematicians with a background in arithmetic algebraic geometry to understand some basic techniques in the rapidly evolving field of Arakelov-theory.

Nilpotence and Periodicity in Stable Homotopy Theory describes some major advances made in algebraic topology in recent years, centering on the nilpotence and periodicity theorems, which were conjectured by the author in 1977 and proved by Devinatz, Hopkins, and Smith in 1985. During the last ten years a number of significant advances have been made in homotopy theory, and this book fills a real need for an up-to-date text on that topic. Ravenel's first few chapters are written with a general mathematical audience in mind. They survey both the ideas that lead up to the theorems and their applications to homotopy theory. The book begins with some elementary concepts of homotopy theory that are needed to state the problem. This includes such notions as homotopy, homotopy equivalence, CW-complex, and suspension. Next the machinery of complex cobordism, Morava K-theory, and formal group laws in characteristic p are introduced. The latter portion of the book provides specialists with a coherent and rigorous account of the proofs. It includes hitherto unpublished material on the smash product and chromatic convergence theorems and on modular representations of the symmetric group.

This collection brings together influential papers by mathematicians exploring the research frontiers of topology, one of the most important developments of modern mathematics. The papers cover a wide range of topological specialties, including tools for the analysis of group actions on manifolds, calculations of algebraic K-theory, a result on analytic structures on Lie group actions, a presentation of the significance of Dirac operators in smoothing theory, a discussion of the stable topology of 4-manifolds, an answer to the famous question about symmetries of simply connected manifolds, and a fresh perspective on the topological classification of linear transformations. The contributors include A. Adem, A. H. Assadi, M. Bokstedt, S. E. Cappell, R. Charney, M. W. Davis, P. J. Eccles, M. H. Freedman, I. Hambleton, J. C. Hausmann, S. Illman, G. Katz, M. Kreck, W. Luck, I. Madsen, R. J. Milgram, J. Morava, E. K. Pedersen, V. Puppe, F. Quinn, A. Ranicki, J. L. Shaneson, D. Sullivan, P. Teichner, Z. Wang, and S. Weinberger.

This book is a spectacular introduction to the modern mathematical discipline known as the Theory of Games. Harold Kuhn first presented these lectures at Princeton University in 1952. They succinctly convey the essence of the theory, in part through the prism of the most exciting developments at its frontiers half a century ago. Kuhn devotes considerable space to topics that, while not strictly the subject matter of game theory, are firmly bound to it. These are taken mainly from the geometry of convex sets and the theory of probability distributions. The book opens by addressing "matrix games," a name first introduced in these lectures as an abbreviation for two-person, zero-sum games in normal form with a finite number of pure strategies. It continues with a treatment of games in extensive form, using a model introduced by the author in 1950 that quickly supplanted von Neumann and Morgenstern's cumbersome approach. A final section deals with games that have an infinite number of pure strategies for the two players. Throughout, the theory is generously illustrated with examples, and exercises test the reader's understanding. A historical note caps off each chapter.For readers familiar with the calculus and with elementary matrix theory or vector analysis, this book offers an indispensable store of vital insights on a subject whose importance has only grown with the years.

In this monograph p-adic period domains are associated to arbitrary reductive groups. Using the concept of rigid-analytic period maps the relation of p-adic period domains to moduli space of p-divisible groups is investigated. In addition, non-archimedean uniformization theorems for general Shimura varieties are established. The exposition includes background material on Grothendieck's "mysterious functor" (Fontaine theory), on moduli problems of p-divisible groups, on rigid analytic spaces, and on the theory of Shimura varieties, as well as an exposition of some aspects of Drinfelds' original construction. In addition, the material is illustrated throughout the book with numerous examples.

Addressing researchers and graduate students in the active meeting ground of analysis, geometry, and dynamics, this book presents a study of renormalization of quadratic polynomials and a rapid introduction to techniques in complex dynamics. Its central concern is the structure of an infinitely renormalizable quadratic polynomial f(z) = z2 + c. As discovered by Feigenbaum, such a mapping exhibits a repetition of form at infinitely many scales. Drawing on universal estimates in hyperbolic geometry, this work gives an analysis of the limiting forms that can occur and develops a rigidity criterion for the polynomial f. This criterion supports general conjectures about the behavior of rational maps and the structure of the Mandelbrot set. The course of the main argument entails many facets of modern complex dynamics. Included are foundational results in geometric function theory, quasiconformal mappings, and hyperbolic geometry. Most of the tools are discussed in the setting of general polynomials and rational maps.

In the first two chapters of this book, the reader will find a complete and systematic exposition of the theory of hyperfunctions on totally real submanifolds of multidimensional complex space, in particular of hyperfunction theory in real space. The book provides precise definitions of the hypo-analytic wave-front set and of the Fourier-Bros-Iagolnitzer transform of a hyperfunction. These are used to prove a very general version of the famed Theorem of the Edge of the Wedge. The last two chapters define the hyperfunction solutions on a general (smooth) hypo-analytic manifold, of which particular examples are the real analytic manifolds and the embedded CR manifolds. The main results here are the invariance of the spaces of hyperfunction solutions and the transversal smoothness of every hyperfunction solution. From this follows the uniqueness of solutions in the Cauchy problem with initial data on a maximally real submanifold, and the fact that the support of any solution is the union of orbits of the structure.

This book offers a self-contained account of the 3-manifold invariants arising from the original Jones polynomial. These are the Witten-Reshetikhin-Turaev and the Turaev-Viro invariants. Starting from the Kauffman bracket model for the Jones polynomial and the diagrammatic Temperley-Lieb algebra, higher-order polynomial invariants of links are constructed and combined to form the 3-manifold invariants. The methods in this book are based on a recoupling theory for the Temperley-Lieb algebra. This recoupling theory is a q-deformation of the SU(2) spin networks of Roger Penrose. The recoupling theory is developed in a purely combinatorial and elementary manner. Calculations are based on a reformulation of the Kirillov-Reshetikhin shadow world, leading to expressions for all the invariants in terms of state summations on 2-cell complexes. Extensive tables of the invariants are included. Manifolds in these tables are recognized by surgery presentations and by means of 3-gems (graph encoded 3-manifolds) in an approach pioneered by Sostenes Lins.The appendices include information about gems, examples of distinct manifolds with the same invariants, and applications to the Turaev-Viro invariant and to the Crane-Yetter invariant of 4-manifolds.

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.

The fifteen articles composing this volume focus on recent developments in complex analysis. Written by well-known researchers in complex analysis and related fields, they cover a wide spectrum of research using the methods of partial differential equations as well as differential and algebraic geometry. The topics include invariants of manifolds, the complex Neumann problem, complex dynamics, Ricci flows, the Abel-Radon transforms, the action of the Ricci curvature operator, locally symmetric manifolds, the maximum principle, very ampleness criterion, integrability of elliptic systems, and contact geometry. Among the contributions are survey articles, which are especially suitable for readers looking for a comprehensive, well-presented introduction to the most recent important developments in the field. The contributors are R. Bott, M. Christ, J. P. D'Angelo, P. Eyssidieux, C. Fefferman, J. E. Fornaess, H. Grauert, R. S. Hamilton, G. M. Henkin, N. Mok, A. M. Nadel, L. Nirenberg, N. Sibony, Y.-T. Siu, F. Treves, and S. M. Webster.

The original goal that ultimately led to this volume was the construction of "motivic cohomology theory," whose existence was conjectured by A. Beilinson and S. Lichtenbaum. This is achieved in the book's fourth paper, using results of the other papers whose additional role is to contribute to our understanding of various properties of algebraic cycles. The material presented provides the foundations for the recent proof of the celebrated "Milnor Conjecture" by Vladimir Voevodsky. The theory of sheaves of relative cycles is developed in the first paper of this volume. The theory of presheaves with transfers and more specifically homotopy invariant presheaves with transfers is the main theme of the second paper. The Friedlander-Lawson moving lemma for families of algebraic cycles appears in the third paper in which a bivariant theory called bivariant cycle cohomology is constructed. The fifth and last paper in the volume gives a proof of the fact that bivariant cycle cohomology groups are canonically isomorphic (in appropriate cases) to Bloch's higher Chow groups, thereby providing a link between the authors' theory and Bloch's original approach to motivic (co-)homology.

Surgery theory, the basis for the classification theory of manifolds, is now about forty years old. There have been some extraordinary accomplishments in that time, which have led to enormously varied interactions with algebra, analysis, and geometry. Workers in many of these areas have often lamented the lack of a single source that surveys surgery theory and its applications. Indeed, no one person could write such a survey. The sixtieth birthday of C. T. C. Wall, one of the leaders of the founding generation of surgery theory, provided an opportunity to rectify the situation and produce a comprehensive book on the subject. Experts have written state-of-the-art reports that will be of broad interest to all those interested in topology, not only graduate students and mathematicians, but mathematical physicists as well. Contributors include J. Milnor, S. Novikov, W. Browder, T. Lance, E. Brown, M. Kreck, J. Klein, M. Davis, J. Davis, I. Hambleton, L. Taylor, C. Stark, E. Pedersen, W. Mio, J. Levine, K. Orr, J. Roe, J. Milgram, and C. Thomas.

This book introduces new methods in the theory of partial differential equations derivable from a Lagrangian. These methods constitute, in part, an extension to partial differential equations of the methods of symplectic geometry and Hamilton-Jacobi theory for Lagrangian systems of ordinary differential equations. A distinguishing characteristic of this approach is that one considers, at once, entire families of solutions of the Euler-Lagrange equations, rather than restricting attention to single solutions at a time. The second part of the book develops a general theory of integral identities, the theory of "compatible currents," which extends the work of E. Noether. Finally, the third part introduces a new general definition of hyperbolicity, based on a quadratic form associated with the Lagrangian, which overcomes the obstacles arising from singularities of the characteristic variety that were encountered in previous approaches. On the basis of the new definition, the domain-of-dependence theorem and stability properties of solutions are derived. Applications to continuum mechanics are discussed throughout the book.The last chapter is devoted to the electrodynamics of nonlinear continuous media.

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 this, one of the first books to appear in English on the theory of numbers, the eminent mathematician Hermann Weyl explores fundamental concepts in arithmetic. The book begins with the definitions and properties of algebraic fields, which are relied upon throughout. The theory of divisibility is then discussed, from an axiomatic viewpoint, rather than by the use of ideals. There follows an introduction to p-adic numbers and their uses, which are so important in modern number theory, and the book culminates with an extensive examination of algebraic number fields. Weyl's own modest hope, that the work "will be of some use," has more than been fulfilled, for the book's clarity, succinctness, and importance rank it as a masterpiece of mathematical exposition.

The description for this book, Advances in Game Theory. (AM-52), will be forthcoming.

The description for this book, Contributions to the Theory of Nonlinear Oscillations (AM-36), Volume III, will be forthcoming.

The description for this book, Automata Studies. (AM-34), will be forthcoming.