Annals of Mathematics Studies

An essential companion to M. Vishik’s groundbreaking work in fluid mechanics

The incompressible Euler equations are a system of partial differential equations introduced by Leonhard Euler more than 250 years ago to describe the motion of an inviscid incompressible fluid. These equations can be derived from the classical conservations laws of mass and momentum under some very idealized assumptions. While they look simple compared to many other equations of mathematical physics, several fundamental mathematical questions about them are still unanswered. One is under which assumptions it can be rigorously proved that they determine the evolution of the fluid once we know its initial state and the forces acting on it. This book addresses a well-known case of this question in two space dimensions. Following the pioneering ideas of M. Vishik, the authors explain in detail the optimality of a celebrated theorem of V. Yudovich from the 1960s, which states that, in the vorticity formulation, the solution is unique if the initial vorticity and the acting force are bounded. In particular, the authors show that Yudovich’s theorem cannot be generalized to the L^p setting.

An examination of the symbiotic and productive relationship between fully nonlinear partial differential equations and generalized potential theories

In recent years, there has evolved a symbiotic and productive relationship between fully nonlinear partial differential equations and generalized potential theories. This book examines important aspects of this story. One main purpose is to prove comparison principles for nonlinear potential theories in Euclidian spaces straightforwardly from duality and monotonicity under the weakest possible notion of ellipticity. The book also shows how to deduce comparison principles for nonlinear differential operators, by marrying these two points of view, under the correspondence principle.

The authors explain that comparison principles are fundamental in both contexts, since they imply uniqueness for the Dirichlet problem. When combined with appropriate boundary geometries, yielding suitable barrier functions, they also give existence by Perron’s method. There are many opportunities for cross-fertilization and synergy. In potential theory, one is given a constraint set of 2-jets that determines its subharmonic functions. The constraint set also determines a family of compatible differential operators. Because there are many such operators, potential theory strengthens and simplifies the operator theory. Conversely, the set of operators associated with the constraint can influence the potential theory.

A new threshold for the existence of weak solutions to the incompressible Euler equations

To gain insight into the nature of turbulent fluids, mathematicians start from experimental facts, translate them into mathematical properties for solutions of the fundamental fluids PDEs, and construct solutions to these PDEs that exhibit turbulent properties. This book belongs to such a program, one that has brought convex integration techniques into hydrodynamics. Convex integration techniques have been used to produce solutions with precise regularity, which are necessary for the resolution of the Onsager conjecture for the 3D Euler equations, or solutions with intermittency, which are necessary for the construction of dissipative weak solutions for the Navier-Stokes equations. In this book, weak solutions to the 3D Euler equations are constructed for the first time with both non-negligible regularity and intermittency. These solutions enjoy a spatial regularity index in L^2 that can be taken as close as desired to 1/2, thus lying at the threshold of all known convex integration methods. This property matches the measured intermittent nature of turbulent flows. The construction of such solutions requires technology specifically adapted to the inhomogeneities inherent in intermittent solutions. The main technical contribution of this book is to develop convex integration techniques at the local rather than global level. This localization procedure functions as an ad hoc wavelet decomposition of the solution, carrying information about position, amplitude, and frequency in both Lagrangian and Eulerian coordinates.

A pioneering new nonlinear approach to a fundamental question in algebraic geometry

One of the crowning achievements of nineteenth-century mathematics was the proof that the geometry of lines in space uniquely determines the Cartesian coordinates, up to a linear ambiguity. What Determines an Algebraic Variety? develops a nonlinear version of this theory, offering the first nonlinear generalization of the seminal work of Veblen and Young in a century. While the book uses cutting-edge techniques, the statements of its theorems would have been understandable a century ago; despite this, the results are totally unexpected. Putting geometry first in algebraic geometry, the book provides a new perspective on a classical theorem of fundamental importance to a wide range of fields in mathematics.

Starting with basic observations, the book shows how to read off various properties of a variety from its geometry. The results get stronger as the dimension increases. The main result then says that a normal projective variety of dimension at least 4 over a field of characteristic 0 is completely determined by its Zariski topological space. There are many open questions in dimensions 2 and 3, and in positive characteristic.

A foundational account of a new construction in the p-adic Langlands correspondence

Motivated by the p-adic Langlands program, this book constructs stacks that algebraize Mazur’s formal deformation rings of local Galois representations. More precisely, it constructs Noetherian formal algebraic stacks over Spf Zp that parameterize étale (ϕ, Γ)-modules; the formal completions of these stacks at points in their special fibres recover the universal deformation rings of local Galois representations. These stacks are then used to show that all mod p representations of the absolute Galois group of a p-adic local field lift to characteristic zero, and indeed admit crystalline lifts. The book explicitly describes the irreducible components of the underlying reduced substacks and discusses the relationship between the geometry of these stacks and the Breuil–Mézard conjecture. Along the way, it proves a number of foundational results in p-adic Hodge theory that may be of independent interest.

New mathematical research in arithmetic dynamics

In The Arithmetic of Polynomial Dynamical Pairs, Charles Favre and Thomas Gauthier present new mathematical research in the field of arithmetic dynamics. Specifically, the authors study one-dimensional algebraic families of pairs given by a polynomial with a marked point. Combining tools from arithmetic geometry and holomorphic dynamics, they prove an “unlikely intersection” statement for such pairs, thereby demonstrating strong rigidity features for them. They further describe one-dimensional families in the moduli space of polynomials containing infinitely many postcritically finite parameters, proving the dynamical André-Oort conjecture for curves in this context, originally stated by Baker and DeMarco.

This is a reader-friendly invitation to a new and exciting research area that brings together sophisticated tools from many branches of mathematics.

A definitive proof of global nonlinear stability of Minkowski space-time as a solution of the Einstein-Klein-Gordon equations

This book provides a definitive proof of global nonlinear stability of Minkowski space-time as a solution of the Einstein-Klein-Gordon equations of general relativity. Along the way, a novel robust analytical framework is developed, which extends to more general matter models. Alexandru Ionescu and Benoît Pausader prove global regularity at an appropriate level of generality of the initial data, and then prove several important asymptotic properties of the resulting space-time, such as future geodesic completeness, peeling estimates of the Riemann curvature tensor, conservation laws for the ADM tensor, and Bondi energy identities and inequalities.

The book is self-contained, providing complete proofs and precise statements, which develop a refined theory for solutions of quasilinear Klein-Gordon and wave equations, including novel linear and bilinear estimates. Only mild decay assumptions are made on the scalar field and the initial metric is allowed to have nonisotropic decay consistent with the positive mass theorem. The framework incorporates analysis both in physical and Fourier space, and is compatible with previous results on other physical models such as water waves and plasma physics.

A groundbreaking contribution to number theory that unifies classical and modern results

This book develops a new theory of p-adic modular forms on modular curves, extending Katz's classical theory to the supersingular locus. The main novelty is to move to infinite level and extend coefficients to period sheaves coming from relative p-adic Hodge theory. This makes it possible to trivialize the Hodge bundle on the infinite-level modular curve by a "canonical differential" that restricts to the Katz canonical differential on the ordinary Igusa tower. Daniel Kriz defines generalized p-adic modular forms as sections of relative period sheaves transforming under the Galois group of the modular curve by weight characters. He introduces the fundamental de Rham period, measuring the position of the Hodge filtration in relative de Rham cohomology. This period can be viewed as a counterpart to Scholze's Hodge-Tate period, and the two periods satisfy a Legendre-type relation. Using these periods, Kriz constructs splittings of the Hodge filtration on the infinite-level modular curve, defining p-adic Maass-Shimura operators that act on generalized p-adic modular forms as weight-raising operators. Through analysis of the p-adic properties of these Maass-Shimura operators, he constructs new p-adic L-functions interpolating central critical Rankin-Selberg L-values, giving analogues of the p-adic L-functions of Katz, Bertolini-Darmon-Prasanna, and Liu-Zhang-Zhang for imaginary quadratic fields in which p is inert or ramified. These p-adic L-functions yield new p-adic Waldspurger formulas at special values.

An advanced treatment of surgery theory for graduate students and researchers

Surgery theory, a subfield of geometric topology, is the study of the classifications of manifolds. A Course on Surgery Theory offers a modern look at this important mathematical discipline and some of its applications. In this book, Stanley Chang and Shmuel Weinberger explain some of the triumphs of surgery theory during the past three decades, from both an algebraic and geometric point of view. They also provide an extensive treatment of basic ideas, main theorems, active applications, and recent literature. The authors methodically cover all aspects of surgery theory, connecting it to other relevant areas of mathematics, including geometry, homotopy theory, analysis, and algebra. Later chapters are self-contained, so readers can study them directly based on topic interest. Of significant use to high-dimensional topologists and researchers in noncommutative geometry and algebraic K-theory, A Course on Surgery Theory serves as an important resource for the mathematics community.

Essential mathematical insights into one of the most important and challenging open problems in general relativity—the stability of black holes

One of the major outstanding questions about black holes is whether they remain stable when subject to small perturbations. An affirmative answer to this question would provide strong theoretical support for the physical reality of black holes. In this book, Sergiu Klainerman and Jérémie Szeftel take a first important step toward solving the fundamental black hole stability problem in general relativity by establishing the stability of nonrotating black holes—or Schwarzschild spacetimes—under so-called polarized perturbations. This restriction ensures that the final state of evolution is itself a Schwarzschild space. Building on the remarkable advances made in the past fifteen years in establishing quantitative linear stability, Klainerman and Szeftel introduce a series of new ideas to deal with the strongly nonlinear, covariant features of the Einstein equations. Most preeminent among them is the general covariant modulation (GCM) procedure that allows them to determine the center of mass frame and the mass of the final black hole state. Essential reading for mathematicians and physicists alike, this book introduces a rich theoretical framework relevant to situations such as the full setting of the Kerr stability conjecture.

This monograph on the applications of cube complexes constitutes a breakthrough in the fields of geometric group theory and 3-manifold topology. Many fundamental new ideas and methodologies are presented here for the first time, including a cubical small-cancellation theory that generalizes ideas from the 1960s, a version of Dehn Filling that functions in the category of special cube complexes, and a variety of results about right-angled Artin groups. The book culminates by establishing a remarkable theorem about the nature of hyperbolic groups that are constructible as amalgams.

The applications described here include the virtual fibering of cusped hyperbolic 3-manifolds and the resolution of Baumslag's conjecture on the residual finiteness of one-relator groups with torsion. Most importantly, this work establishes a cubical program for resolving Thurston's conjectures on hyperbolic 3-manifolds, and validates this program in significant cases. Illustrated with more than 150 color figures, this book will interest graduate students and researchers working in geometry, algebra, and topology.

The first complete proof of Arnold diffusion—one of the most important problems in dynamical systems and mathematical physics

Arnold diffusion, which concerns the appearance of chaos in classical mechanics, is one of the most important problems in the fields of dynamical systems and mathematical physics. Since it was discovered by Vladimir Arnold in 1963, it has attracted the efforts of some of the most prominent researchers in mathematics. The question is whether a typical perturbation of a particular system will result in chaotic or unstable dynamical phenomena. In this groundbreaking book, Vadim Kaloshin and Ke Zhang provide the first complete proof of Arnold diffusion, demonstrating that that there is topological instability for typical perturbations of five-dimensional integrable systems (two and a half degrees of freedom).

This proof realizes a plan John Mather announced in 2003 but was unable to complete before his death. Kaloshin and Zhang follow Mather's strategy but emphasize a more Hamiltonian approach, tying together normal forms theory, hyperbolic theory, Mather theory, and weak KAM theory. Offering a complete, clean, and modern explanation of the steps involved in the proof, and a clear account of background material, this book is designed to be accessible to students as well as researchers. The result is a critical contribution to mathematical physics and dynamical systems, especially Hamiltonian systems.

Berkeley Lectures on p-adic Geometry presents an important breakthrough in arithmetic geometry. In 2014, leading mathematician Peter Scholze delivered a series of lectures at the University of California, Berkeley, on new ideas in the theory of p-adic geometry. Building on his discovery of perfectoid spaces, Scholze introduced the concept of “diamonds,” which are to perfectoid spaces what algebraic spaces are to schemes. The introduction of diamonds, along with the development of a mixed-characteristic shtuka, set the stage for a critical advance in the discipline. In this book, Peter Scholze and Jared Weinstein show that the moduli space of mixed-characteristic shtukas is a diamond, raising the possibility of using the cohomology of such spaces to attack the Langlands conjectures for a reductive group over a p-adic field.

This book follows the informal style of the original Berkeley lectures, with one chapter per lecture. It explores p-adic and perfectoid spaces before laying out the newer theory of shtukas and their moduli spaces. Points of contact with other threads of the subject, including p-divisible groups, p-adic Hodge theory, and Rapoport-Zink spaces, are thoroughly explained. Berkeley Lectures on p-adic Geometry will be a useful resource for students and scholars working in arithmetic geometry and number theory.

Computability theory is a branch of mathematical logic and computer science that has become increasingly relevant in recent years. The field has developed growing connections in diverse areas of mathematics, with applications in topology, group theory, and other subfields.

In A Hierarchy of Turing Degrees, Rod Downey and Noam Greenberg introduce a new hierarchy that allows them to classify the combinatorics of constructions from many areas of computability theory, including algorithmic randomness, Turing degrees, effectively closed sets, and effective structure theory. This unifying hierarchy gives rise to new natural definability results for Turing degree classes, demonstrating how dynamic constructions become reflected in definability. Downey and Greenberg present numerous construction techniques involving high-level nonuniform arguments, and their self-contained work is appropriate for graduate students and researchers.

Blending traditional and modern research results in computability theory, A Hierarchy of Turing Degrees establishes novel directions in the field.

William Thurston (1946–2012) was one of the great mathematicians of the twentieth century. He was a visionary whose extraordinary ideas revolutionized a broad range of areas of mathematics, from foliations, contact structures, and Teichmüller theory to automorphisms of surfaces, hyperbolic geometry, geometrization of 3-manifolds, geometric group theory, and rational maps. In addition, he discovered connections between disciplines that led to astonishing breakthroughs in mathematical understanding as well as the creation of entirely new fields. His far-reaching questions and conjectures led to enormous progress by other researchers. In What's Next?, many of today's leading mathematicians describe recent advances and future directions inspired by Thurston's transformative ideas.

This book brings together papers delivered by his colleagues and former students at "What's Next? The Mathematical Legacy of Bill Thurston," a conference held in June 2014 at Cornell University. It discusses Thurston's fundamental contributions to topology, geometry, and dynamical systems and includes many deep and original contributions to the field. Incisive and wide-ranging, the book explores how he introduced new ways of thinking about and doing mathematics—innovations that have had a profound and lasting impact on the mathematical community as a whole—and also features two papers based on Thurston's unfinished work in dynamics.

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.

This book studies the interplay between the geometry and topology of locally symmetric spaces, and the arithmetic aspects of the special values of L-functions.

The authors study the cohomology of locally symmetric spaces for GL(N) where the cohomology groups are with coefficients in a local system attached to a finite-dimensional algebraic representation of GL(N). The image of the global cohomology in the cohomology of the Borel–Serre boundary is called Eisenstein cohomology, since at a transcendental level the cohomology classes may be described in terms of Eisenstein series and induced representations. However, because the groups are sheaf-theoretically defined, one can control their rationality and even integrality properties. A celebrated theorem by Langlands describes the constant term of an Eisenstein series in terms of automorphic L-functions. A cohomological interpretation of this theorem in terms of maps in Eisenstein cohomology allows the authors to study the rationality properties of the special values of Rankin–Selberg L-functions for GL(n) x GL(m), where n + m = N. The authors carry through the entire program with an eye toward generalizations.

This book should be of interest to advanced graduate students and researchers interested in number theory, automorphic forms, representation theory, and the cohomology of arithmetic groups.

Arithmetic and Geometry presents highlights of recent work in arithmetic algebraic geometry by some of the world's leading mathematicians. Together, these 2016 lectures—which were delivered in celebration of the tenth anniversary of the annual summer workshops in Alpbach, Austria—provide an introduction to high-level research on three topics: Shimura varieties, hyperelliptic continued fractions and generalized Jacobians, and Faltings height and L-functions. The book consists of notes, written by young researchers, on three sets of lectures or minicourses given at Alpbach.

The first course, taught by Peter Scholze, contains his recent results dealing with the local Langlands conjecture. The fundamental question is whether for a given datum there exists a so-called local Shimura variety. In some cases, they exist in the category of rigid analytic spaces; in others, one has to use Scholze's perfectoid spaces.

The second course, taught by Umberto Zannier, addresses the famous Pell equation—not in the classical setting but rather with the so-called polynomial Pell equation, where the integers are replaced by polynomials in one variable with complex coefficients, which leads to the study of hyperelliptic continued fractions and generalized Jacobians.

The third course, taught by Shou-Wu Zhang, originates in the Chowla–Selberg formula, which was taken up by Gross and Zagier to relate values of the L-function for elliptic curves with the height of Heegner points on the curves. Zhang, X. Yuan, and Wei Zhang prove the Gross–Zagier formula on Shimura curves and verify the Colmez conjecture on average.

This book describes the latest advances in the theory of mean field games, which are optimal control problems with a continuum of players, each of them interacting with the whole statistical distribution of a population. While it originated in economics, this theory now has applications in areas as diverse as mathematical finance, crowd phenomena, epidemiology, and cybersecurity.

Because mean field games concern the interactions of infinitely many players in an optimal control framework, one expects them to appear as the limit for Nash equilibria of differential games with finitely many players as the number of players tends to infinity. This book rigorously establishes this convergence, which has been an open problem until now. The limit of the system associated with differential games with finitely many players is described by the so-called master equation, a nonlocal transport equation in the space of measures. After defining a suitable notion of differentiability in the space of measures, the authors provide a complete self-contained analysis of the master equation. Their analysis includes the case of common noise problems in which all the players are affected by a common Brownian motion. They then go on to explain how to use the master equation to prove the mean field limit.

This groundbreaking book presents two important new results in mean field games that contribute to a unified theoretical framework for this exciting and fast-developing area of mathematics.

This book presents the complete proof of the Bloch-Kato conjecture and several related conjectures of Beilinson and Lichtenbaum in algebraic geometry. Brought together here for the first time, these conjectures describe the structure of étale cohomology and its relation to motivic cohomology and Chow groups.

Although the proof relies on the work of several people, it is credited primarily to Vladimir Voevodsky. The authors draw on a multitude of published and unpublished sources to explain the large-scale structure of Voevodsky’s proof and introduce the key figures behind its development. They proceed to describe the highly innovative geometric constructions of Markus Rost, including the construction of norm varieties, which play a crucial role in the proof. The book then addresses symmetric powers of motives and motivic cohomology operations.

Comprehensive and self-contained, The Norm Residue Theorem in Motivic Cohomology unites various components of the proof that until now were scattered across many sources of varying accessibility, often with differing hypotheses, definitions, and language.

A central concern of number theory is the study of local-to-global principles, which describe the behavior of a global field K in terms of the behavior of various completions of K. This book looks at a specific example of a local-to-global principle: Weil’s conjecture on the Tamagawa number of a semisimple algebraic group G over K. In the case where K is the function field of an algebraic curve X, this conjecture counts the number of G-bundles on X (global information) in terms of the reduction of G at the points of X (local information). The goal of this book is to give a conceptual proof of Weil’s conjecture, based on the geometry of the moduli stack of G-bundles. Inspired by ideas from algebraic topology, it introduces a theory of factorization homology in the setting ℓ-adic sheaves. Using this theory, Dennis Gaitsgory and Jacob Lurie articulate a different local-to-global principle: a product formula that expresses the cohomology of the moduli stack of G-bundles (a global object) as a tensor product of local factors.

Using a version of the Grothendieck-Lefschetz trace formula, Gaitsgory and Lurie show that this product formula implies Weil’s conjecture. The proof of the product formula will appear in a sequel volume.

Outer billiards provides a toy model for planetary motion and exhibits intricate and mysterious behavior even for seemingly simple examples. It is a dynamical system in which a particle in the plane moves around the outside of a convex shape according to a scheme that is reminiscent of ordinary billiards. The Plaid Model, which is a self-contained sequel to Richard Schwartz’s Outer Billiards on Kites, provides a combinatorial model for orbits of outer billiards on kites.

Schwartz relates these orbits to such topics as polytope exchange transformations, renormalization, continued fractions, corner percolation, and the Truchet tile system. The combinatorial model, called “the plaid model,” has a self-similar structure that blends geometry and elementary number theory. The results were discovered through computer experimentation and it seems that the conclusions would be extremely difficult to reach through traditional mathematics.

The book includes an extensive computer program that allows readers to explore the materials interactively and each theorem is accompanied by a computer demonstration.

This book offers a survey of recent developments in the analysis of shock reflection-diffraction, a detailed presentation of original mathematical proofs of von Neumann's conjectures for potential flow, and a collection of related results and new techniques in the analysis of partial differential equations (PDEs), as well as a set of fundamental open problems for further development.

Shock waves are fundamental in nature. They are governed by the Euler equations or their variants, generally in the form of nonlinear conservation laws—PDEs of divergence form. When a shock hits an obstacle, shock reflection-diffraction configurations take shape. To understand the fundamental issues involved, such as the structure and transition criteria of different configuration patterns, it is essential to establish the global existence, regularity, and structural stability of shock reflection-diffraction solutions. This involves dealing with several core difficulties in the analysis of nonlinear PDEs—mixed type, free boundaries, and corner singularities—that also arise in fundamental problems in diverse areas such as continuum mechanics, differential geometry, mathematical physics, and materials science. Presenting recently developed approaches and techniques, which will be useful for solving problems with similar difficulties, this book opens up new research opportunities.

Motivated by the theory of turbulence in fluids, the physicist and chemist Lars Onsager conjectured in 1949 that weak solutions to the incompressible Euler equations might fail to conserve energy if their spatial regularity was below 1/3-Hölder. In this book, Philip Isett uses the method of convex integration to achieve the best-known results regarding nonuniqueness of solutions and Onsager's conjecture. Focusing on the intuition behind the method, the ideas introduced now play a pivotal role in the ongoing study of weak solutions to fluid dynamics equations.

The construction itself—an intricate algorithm with hidden symmetries—mixes together transport equations, algebra, the method of nonstationary phase, underdetermined partial differential equations (PDEs), and specially designed high-frequency waves built using nonlinear phase functions. The powerful "Main Lemma"—used here to construct nonzero solutions with compact support in time and to prove nonuniqueness of solutions to the initial value problem—has been extended to a broad range of applications that are surveyed in the appendix. Appropriate for students and researchers studying nonlinear PDEs, this book aims to be as robust as possible and pinpoints the main difficulties that presently stand in the way of a full solution to Onsager's conjecture.

Asymptotic differential algebra seeks to understand the solutions of differential equations and their asymptotics from an algebraic point of view. The differential field of transseries plays a central role in the subject. Besides powers of the variable, these series may contain exponential and logarithmic terms. Over the last thirty years, transseries emerged variously as super-exact asymptotic expansions of return maps of analytic vector fields, in connection with Tarski's problem on the field of reals with exponentiation, and in mathematical physics. Their formal nature also makes them suitable for machine computations in computer algebra systems.

This self-contained book validates the intuition that the differential field of transseries is a universal domain for asymptotic differential algebra. It does so by establishing in the realm of transseries a complete elimination theory for systems of algebraic differential equations with asymptotic side conditions. Beginning with background chapters on valuations and differential algebra, the book goes on to develop the basic theory of valued differential fields, including a notion of differential-henselianity. Next, H-fields are singled out among ordered valued differential fields to provide an algebraic setting for the common properties of Hardy fields and the differential field of transseries. The study of their extensions culminates in an analogue of the algebraic closure of a field: the Newton-Liouville closure of an H-field. This paves the way to a quantifier elimination with interesting consequences.

This is the first book to present a complete characterization of Stein-Tomas type Fourier restriction estimates for large classes of smooth hypersurfaces in three dimensions, including all real-analytic hypersurfaces. The range of Lebesgue spaces for which these estimates are valid is described in terms of Newton polyhedra associated to the given surface.

Isroil Ikromov and Detlef Müller begin with Elias M. Stein's concept of Fourier restriction and some relations between the decay of the Fourier transform of the surface measure and Stein-Tomas type restriction estimates. Varchenko's ideas relating Fourier decay to associated Newton polyhedra are briefly explained, particularly the concept of adapted coordinates and the notion of height. It turns out that these classical tools essentially suffice already to treat the case where there exist linear adapted coordinates, and thus Ikromov and Müller concentrate on the remaining case. Here the notion of r-height is introduced, which proves to be the right new concept. They then describe decomposition techniques and related stopping time algorithms that allow to partition the given surface into various pieces, which can eventually be handled by means of oscillatory integral estimates. Different interpolation techniques are presented and used, from complex to more recent real methods by Bak and Seeger.

Fourier restriction plays an important role in several fields, in particular in real and harmonic analysis, number theory, and PDEs. This book will interest graduate students and researchers working in such fields.

The p-adic Simpson correspondence, recently initiated by Gerd Faltings, aims at describing all p-adic representations of the fundamental group of a proper smooth variety over a p-adic field in terms of linear algebra—namely Higgs bundles. This book undertakes a systematic development of the theory following two new approaches, one by Ahmed Abbes and Michel Gros, the other by Takeshi Tsuji. The authors mainly focus on generalized representations of the fundamental group that are p-adically close to the trivial representation.

The first approach relies on a new family of period rings built from the torsor of deformations of the variety over a universal p-adic thickening defined by J. M. Fontaine. The second approach introduces a crystalline-type topos and replaces the notion of Higgs bundles with that of Higgs isocrystals. The authors show the compatibility of the two constructions and the compatibility of the correspondence with the natural cohomologies. The last part of the volume contains results of wider interest in p-adic Hodge theory. The reader will find a concise introduction to Faltings' theory of almost étale extensions and a chapter devoted to the Faltings topos. Though this topos is the general framework for Faltings' approach in p-adic Hodge theory, it remains relatively unexplored. The authors present a new approach based on a generalization of P. Deligne's covanishing topos.

Over the field of real numbers, analytic geometry has long been in deep interaction with algebraic geometry, bringing the latter subject many of its topological insights. In recent decades, model theory has joined this work through the theory of o-minimality, providing finiteness and uniformity statements and new structural tools.

For non-archimedean fields, such as the p-adics, the Berkovich analytification provides a connected topology with many thoroughgoing analogies to the real topology on the set of complex points, and it has become an important tool in algebraic dynamics and many other areas of geometry.

This book lays down model-theoretic foundations for non-archimedean geometry. The methods combine o-minimality and stability theory. Definable types play a central role, serving first to define the notion of a point and then properties such as definable compactness.

Beyond the foundations, the main theorem constructs a deformation retraction from the full non-archimedean space of an algebraic variety to a rational polytope. This generalizes previous results of V. Berkovich, who used resolution of singularities methods.

No previous knowledge of non-archimedean geometry is assumed. Model-theoretic prerequisites are reviewed in the first sections.

In the earlier monograph Pseudo-reductive Groups, Brian Conrad, Ofer Gabber, and Gopal Prasad explored the general structure of pseudo-reductive groups. In this new book, Classification of Pseudo-reductive Groups, Conrad and Prasad go further to study the classification over an arbitrary field. An isomorphism theorem proved here determines the automorphism schemes of these groups. The book also gives a Tits-Witt type classification of isotropic groups and displays a cohomological obstruction to the existence of pseudo-split forms. Constructions based on regular degenerate quadratic forms and new techniques with central extensions provide insight into new phenomena in characteristic 2, which also leads to simplifications of the earlier work. A generalized standard construction is shown to account for all possibilities up to mild central extensions.

The results and methods developed in Classification of Pseudo-reductive Groups will interest mathematicians and graduate students who work with algebraic groups in number theory and algebraic geometry in positive characteristic.

Descent in Buildings begins with the resolution of a major open question about the local structure of Bruhat-Tits buildings. The authors then put their algebraic solution into a geometric context by developing a general fixed point theory for groups acting on buildings of arbitrary type, giving necessary and sufficient conditions for the residues fixed by a group to form a kind of subbuilding or "form" of the original building. At the center of this theory is the notion of a Tits index, a combinatorial version of the notion of an index in the relative theory of algebraic groups. These results are combined at the end to show that every exceptional Bruhat-Tits building arises as a form of a "residually pseudo-split" Bruhat-Tits building. The book concludes with a display of the Tits indices associated with each of these exceptional forms.

This is the third and final volume of a trilogy that began with Richard Weiss' The Structure of Spherical Buildings and The Structure of Affine Buildings.

This book develops a new theory of multi-parameter singular integrals associated with Carnot-Carathéodory balls. Brian Street first details the classical theory of Calderón-Zygmund singular integrals and applications to linear partial differential equations. He then outlines the theory of multi-parameter Carnot-Carathéodory geometry, where the main tool is a quantitative version of the classical theorem of Frobenius. Street then gives several examples of multi-parameter singular integrals arising naturally in various problems. The final chapter of the book develops a general theory of singular integrals that generalizes and unifies these examples. This is one of the first general theories of multi-parameter singular integrals that goes beyond the product theory of singular integrals and their analogs. Multi-parameter Singular Integrals will interest graduate students and researchers working in singular integrals and related fields.

Based on lectures given at Zhejiang University in Hangzhou, China, and Johns Hopkins University, this book introduces eigenfunctions on Riemannian manifolds. Christopher Sogge gives a proof of the sharp Weyl formula for the distribution of eigenvalues of Laplace-Beltrami operators, as well as an improved version of the Weyl formula, the Duistermaat-Guillemin theorem under natural assumptions on the geodesic flow. Sogge shows that there is quantum ergodicity of eigenfunctions if the geodesic flow is ergodic.

Sogge begins with a treatment of the Hadamard parametrix before proving the first main result, the sharp Weyl formula. He avoids the use of Tauberian estimates and instead relies on sup-norm estimates for eigenfunctions. The author also gives a rapid introduction to the stationary phase and the basics of the theory of pseudodifferential operators and microlocal analysis. These are used to prove the Duistermaat-Guillemin theorem. Turning to the related topic of quantum ergodicity, Sogge demonstrates that if the long-term geodesic flow is uniformly distributed, most eigenfunctions exhibit a similar behavior, in the sense that their mass becomes equidistributed as their frequencies go to infinity.

In this book, Claire Voisin provides an introduction to algebraic cycles on complex algebraic varieties, to the major conjectures relating them to cohomology, and even more precisely to Hodge structures on cohomology. The volume is intended for both students and researchers, and not only presents a survey of the geometric methods developed in the last thirty years to understand the famous Bloch-Beilinson conjectures, but also examines recent work by Voisin. The book focuses on two central objects: the diagonal of a variety—and the partial Bloch-Srinivas type decompositions it may have depending on the size of Chow groups—as well as its small diagonal, which is the right object to consider in order to understand the ring structure on Chow groups and cohomology. An exploration of a sampling of recent works by Voisin looks at the relation, conjectured in general by Bloch and Beilinson, between the coniveau of general complete intersections and their Chow groups and a very particular property satisfied by the Chow ring of K3 surfaces and conjecturally by hyper-Kähler manifolds. In particular, the book delves into arguments originating in Nori's work that have been further developed by others.

Since its introduction by Friedhelm Waldhausen in the 1970s, the algebraic K-theory of spaces has been recognized as the main tool for studying parametrized phenomena in the theory of manifolds. However, a full proof of the equivalence relating the two areas has not appeared until now. This book presents such a proof, essentially completing Waldhausen's program from more than thirty years ago.


The main result is a stable parametrized h-cobordism theorem, derived from a homotopy equivalence between a space of PL h-cobordisms on a space X and the classifying space of a category of simple maps of spaces having X as deformation retract. The smooth and topological results then follow by smoothing and triangulation theory.


The proof has two main parts. The essence of the first part is a "desingularization," improving arbitrary finite simplicial sets to polyhedra. The second part compares polyhedra with PL manifolds by a thickening procedure. Many of the techniques and results developed should be useful in other connections.

This book provides the mathematical foundations for the analysis of a class of degenerate elliptic operators defined on manifolds with corners, which arise in a variety of applications such as population genetics, mathematical finance, and economics. The results discussed in this book prove the uniqueness of the solution to the Martingale problem and therefore the existence of the associated Markov process.

Charles Epstein and Rafe Mazzeo use an "integral kernel method" to develop mathematical foundations for the study of such degenerate elliptic operators and the stochastic processes they define. The precise nature of the degeneracies of the principal symbol for these operators leads to solutions of the parabolic and elliptic problems that display novel regularity properties. Dually, the adjoint operator allows for rather dramatic singularities, such as measures supported on high codimensional strata of the boundary. Epstein and Mazzeo establish the uniqueness, existence, and sharp regularity properties for solutions to the homogeneous and inhomogeneous heat equations, as well as a complete analysis of the resolvent operator acting on Hölder spaces. They show that the semigroups defined by these operators have holomorphic extensions to the right half-plane. Epstein and Mazzeo also demonstrate precise asymptotic results for the long-time behavior of solutions to both the forward and backward Kolmogorov equations.

This comprehensive account of the Gross-Zagier formula on Shimura curves over totally real fields relates the heights of Heegner points on abelian varieties to the derivatives of L-series. The formula will have new applications for the Birch and Swinnerton-Dyer conjecture and Diophantine equations.


The book begins with a conceptual formulation of the Gross-Zagier formula in terms of incoherent quaternion algebras and incoherent automorphic representations with rational coefficients attached naturally to abelian varieties parametrized by Shimura curves. This is followed by a complete proof of its coherent analogue: the Waldspurger formula, which relates the periods of integrals and the special values of L-series by means of Weil representations. The Gross-Zagier formula is then reformulated in terms of incoherent Weil representations and Kudla's generating series. Using Arakelov theory and the modularity of Kudla's generating series, the proof of the Gross-Zagier formula is reduced to local formulas.



The Gross-Zagier Formula on Shimura Curves will be of great use to students wishing to enter this area and to those already working in it.

Mumford-Tate groups are the fundamental symmetry groups of Hodge theory, a subject which rests at the center of contemporary complex algebraic geometry. This book is the first comprehensive exploration of Mumford-Tate groups and domains. Containing basic theory and a wealth of new views and results, it will become an essential resource for graduate students and researchers.


Although Mumford-Tate groups can be defined for general structures, their theory and use to date has mainly been in the classical case of abelian varieties. While the book does examine this area, it focuses on the nonclassical case. The general theory turns out to be very rich, such as in the unexpected connections of finite dimensional and infinite dimensional representation theory of real, semisimple Lie groups. The authors give the complete classification of Hodge representations, a topic that should become a standard in the finite-dimensional representation theory of noncompact, real, semisimple Lie groups. They also indicate that in the future, a connection seems ready to be made between Lie groups that admit discrete series representations and the study of automorphic cohomology on quotients of Mumford-Tate domains by arithmetic groups. Bringing together complex geometry, representation theory, and arithmetic, this book opens up a fresh perspective on an important subject.

This book addresses a basic question in differential geometry that was first considered by physicists Stanley Deser and Adam Schwimmer in 1993 in their study of conformal anomalies. The question concerns conformally invariant functionals on the space of Riemannian metrics over a given manifold. These functionals act on a metric by first constructing a Riemannian scalar out of it, and then integrating this scalar over the manifold. Suppose this integral remains invariant under conformal re-scalings of the underlying metric. What information can one then deduce about the Riemannian scalar? Deser and Schwimmer asserted that the Riemannian scalar must be a linear combination of three obvious candidates, each of which clearly satisfies the required property: a local conformal invariant, a divergence of a Riemannian vector field, and the Chern-Gauss-Bonnet integrand. This book provides a proof of this conjecture.


The result itself sheds light on the algebraic structure of conformal anomalies, which appear in many settings in theoretical physics. It also clarifies the geometric significance of the renormalized volume of asymptotically hyperbolic Einstein manifolds. The methods introduced here make an interesting connection between algebraic properties of local invariants--such as the classical Riemannian invariants and the more recently studied conformal invariants--and the study of global invariants, in this case conformally invariant integrals. Key tools used to establish this connection include the Fefferman-Graham ambient metric and the author's super divergence formula.

This book considers the so-called Unlikely Intersections, a topic that embraces well-known issues, such as Lang's and Manin-Mumford's, concerning torsion points in subvarieties of tori or abelian varieties. More generally, the book considers algebraic subgroups that meet a given subvariety in a set of unlikely dimension. The book is an expansion of the Hermann Weyl Lectures delivered by Umberto Zannier at the Institute for Advanced Study in Princeton in May 2010.


The book consists of four chapters and seven brief appendixes, the last six by David Masser. The first chapter considers multiplicative algebraic groups, presenting proofs of several developments, ranging from the origins to recent results, and discussing many applications and relations with other contexts. The second chapter considers an analogue in arithmetic and several applications of this. The third chapter introduces a new method for approaching some of these questions, and presents a detailed application of this (by Masser and the author) to a relative case of the Manin-Mumford issue. The fourth chapter focuses on the André-Oort conjecture (outlining work by Pila).

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.

This book makes a significant inroad into the unexpectedly difficult question of existence of Fréchet derivatives of Lipschitz maps of Banach spaces into higher dimensional spaces. Because the question turns out to be closely related to porous sets in Banach spaces, it provides a bridge between descriptive set theory and the classical topic of existence of derivatives of vector-valued Lipschitz functions. The topic is relevant to classical analysis and descriptive set theory on Banach spaces. The book opens several new research directions in this area of geometric nonlinear functional analysis.


The new methods developed here include a game approach to perturbational variational principles that is of independent interest. Detailed explanation of the underlying ideas and motivation behind the proofs of the new results on Fréchet differentiability of vector-valued functions should make these arguments accessible to a wider audience. The most important special case of the differentiability results, that Lipschitz mappings from a Hilbert space into the plane have points of Fréchet differentiability, is given its own chapter with a proof that is independent of much of the work done to prove more general results. The book raises several open questions concerning its two main topics.

This book develops and applies a theory of the ambient metric in conformal geometry. This is a Lorentz metric in n+2 dimensions that encodes a conformal class of metrics in n dimensions. The ambient metric has an alternate incarnation as the Poincaré metric, a metric in n+1 dimensions having the conformal manifold as its conformal infinity. In this realization, the construction has played a central role in the AdS/CFT correspondence in physics.


The existence and uniqueness of the ambient metric at the formal power series level is treated in detail. This includes the derivation of the ambient obstruction tensor and an explicit analysis of the special cases of conformally flat and conformally Einstein spaces. Poincaré metrics are introduced and shown to be equivalent to the ambient formulation. Self-dual Poincaré metrics in four dimensions are considered as a special case, leading to a formal power series proof of LeBrun's collar neighborhood theorem proved originally using twistor methods. Conformal curvature tensors are introduced and their fundamental properties are established. A jet isomorphism theorem is established for conformal geometry, resulting in a representation of the space of jets of conformal structures at a point in terms of conformal curvature tensors. The book concludes with a construction and characterization of scalar conformal invariants in terms of ambient curvature, applying results in parabolic invariant theory.

This book uses the hypoelliptic Laplacian to evaluate semisimple orbital integrals in a formalism that unifies index theory and the trace formula. The hypoelliptic Laplacian is a family of operators that is supposed to interpolate between the ordinary Laplacian and the geodesic flow. It is essentially the weighted sum of a harmonic oscillator along the fiber of the tangent bundle, and of the generator of the geodesic flow. In this book, semisimple orbital integrals associated with the heat kernel of the Casimir operator are shown to be invariant under a suitable hypoelliptic deformation, which is constructed using the Dirac operator of Kostant. Their explicit evaluation is obtained by localization on geodesics in the symmetric space, in a formula closely related to the Atiyah-Bott fixed point formulas. Orbital integrals associated with the wave kernel are also computed.


Estimates on the hypoelliptic heat kernel play a key role in the proofs, and are obtained by combining analytic, geometric, and probabilistic techniques. Analytic techniques emphasize the wavelike aspects of the hypoelliptic heat kernel, while geometrical considerations are needed to obtain proper control of the hypoelliptic heat kernel, especially in the localization process near the geodesics. Probabilistic techniques are especially relevant, because underlying the hypoelliptic deformation is a deformation of dynamical systems on the symmetric space, which interpolates between Brownian motion and the geodesic flow. The Malliavin calculus is used at critical stages of the proof.

Modular forms are tremendously important in various areas of mathematics, from number theory and algebraic geometry to combinatorics and lattices. Their Fourier coefficients, with Ramanujan's tau-function as a typical example, have deep arithmetic significance. Prior to this book, the fastest known algorithms for computing these Fourier coefficients took exponential time, except in some special cases. The case of elliptic curves (Schoof's algorithm) was at the birth of elliptic curve cryptography around 1985. This book gives an algorithm for computing coefficients of modular forms of level one in polynomial time. For example, Ramanujan's tau of a prime number p can be computed in time bounded by a fixed power of the logarithm of p. Such fast computation of Fourier coefficients is itself based on the main result of the book: the computation, in polynomial time, of Galois representations over finite fields attached to modular forms by the Langlands program. Because these Galois representations typically have a nonsolvable image, this result is a major step forward from explicit class field theory, and it could be described as the start of the explicit Langlands program.


The computation of the Galois representations uses their realization, following Shimura and Deligne, in the torsion subgroup of Jacobian varieties of modular curves. The main challenge is then to perform the necessary computations in time polynomial in the dimension of these highly nonlinear algebraic varieties. Exact computations involving systems of polynomial equations in many variables take exponential time. This is avoided by numerical approximations with a precision that suffices to derive exact results from them. Bounds for the required precision--in other words, bounds for the height of the rational numbers that describe the Galois representation to be computed--are obtained from Arakelov theory. Two types of approximations are treated: one using complex uniformization and another one using geometry over finite fields.


The book begins with a concise and concrete introduction that makes its accessible to readers without an extensive background in arithmetic geometry. And the book includes a chapter that describes actual computations.

Weyl group multiple Dirichlet series are generalizations of the Riemann zeta function. Like the Riemann zeta function, they are Dirichlet series with analytic continuation and functional equations, having applications to analytic number theory. By contrast, these Weyl group multiple Dirichlet series may be functions of several complex variables and their groups of functional equations may be arbitrary finite Weyl groups. Furthermore, their coefficients are multiplicative up to roots of unity, generalizing the notion of Euler products. This book proves foundational results about these series and develops their combinatorics.


These interesting functions may be described as Whittaker coefficients of Eisenstein series on metaplectic groups, but this characterization doesn't readily lead to an explicit description of the coefficients. The coefficients may be expressed as sums over Kashiwara crystals, which are combinatorial analogs of characters of irreducible representations of Lie groups. For Cartan Type A, there are two distinguished descriptions, and if these are known to be equal, the analytic properties of the Dirichlet series follow. Proving the equality of the two combinatorial definitions of the Weyl group multiple Dirichlet series requires the comparison of two sums of products of Gauss sums over lattice points in polytopes. Through a series of surprising combinatorial reductions, this is accomplished.


The book includes expository material about crystals, deformations of the Weyl character formula, and the Yang-Baxter equation.

Ramsey theory is a fast-growing area of combinatorics with deep connections to other fields of mathematics such as topological dynamics, ergodic theory, mathematical logic, and algebra. The area of Ramsey theory dealing with Ramsey-type phenomena in higher dimensions is particularly useful. Introduction to Ramsey Spaces presents in a systematic way a method for building higher-dimensional Ramsey spaces from basic one-dimensional principles. It is the first book-length treatment of this area of Ramsey theory, and emphasizes applications for related and surrounding fields of mathematics, such as set theory, combinatorics, real and functional analysis, and topology. In order to facilitate accessibility, the book gives the method in its axiomatic form with examples that cover many important parts of Ramsey theory both finite and infinite.


An exciting new direction for combinatorics, this book will interest graduate students and researchers working in mathematical subdisciplines requiring the mastery and practice of high-dimensional Ramsey theory.

This book studies the intersection cohomology of the Shimura varieties associated to unitary groups of any rank over Q. In general, these varieties are not compact. The intersection cohomology of the Shimura variety associated to a reductive group G carries commuting actions of the absolute Galois group of the reflex field and of the group G(Af) of finite adelic points of G. The second action can be studied on the set of complex points of the Shimura variety. In this book, Sophie Morel identifies the Galois action--at good places--on the G(Af)-isotypical components of the cohomology.


Morel uses the method developed by Langlands, Ihara, and Kottwitz, which is to compare the Grothendieck-Lefschetz fixed point formula and the Arthur-Selberg trace formula. The first problem, that of applying the fixed point formula to the intersection cohomology, is geometric in nature and is the object of the first chapter, which builds on Morel's previous work. She then turns to the group-theoretical problem of comparing these results with the trace formula, when G is a unitary group over Q. Applications are then given. In particular, the Galois representation on a G(Af)-isotypical component of the cohomology is identified at almost all places, modulo a non-explicit multiplicity. Morel also gives some results on base change from unitary groups to general linear groups.

The results established in this book constitute a new departure in ergodic theory and a significant expansion of its scope. Traditional ergodic theorems focused on amenable groups, and relied on the existence of an asymptotically invariant sequence in the group, the resulting maximal inequalities based on covering arguments, and the transference principle. Here, Alexander Gorodnik and Amos Nevo develop a systematic general approach to the proof of ergodic theorems for a large class of non-amenable locally compact groups and their lattice subgroups. Simple general conditions on the spectral theory of the group and the regularity of the averaging sets are formulated, which suffice to guarantee convergence to the ergodic mean. In particular, this approach gives a complete solution to the problem of establishing mean and pointwise ergodic theorems for the natural averages on semisimple algebraic groups and on their discrete lattice subgroups. Furthermore, an explicit quantitative rate of convergence to the ergodic mean is established in many cases.


The topic of this volume lies at the intersection of several mathematical fields of fundamental importance. These include ergodic theory and dynamics of non-amenable groups, harmonic analysis on semisimple algebraic groups and their homogeneous spaces, quantitative non-Euclidean lattice point counting problems and their application to number theory, as well as equidistribution and non-commutative Diophantine approximation. Many examples and applications are provided in the text, demonstrating the usefulness of the results established.

Outer billiards is a basic dynamical system defined relative to a convex shape in the plane. B. H. Neumann introduced this system in the 1950s, and J. Moser popularized it as a toy model for celestial mechanics. All along, the so-called Moser-Neumann question has been one of the central problems in the field. This question asks whether or not one can have an outer billiards system with an unbounded orbit. The Moser-Neumann question is an idealized version of the question of whether, because of small disturbances in its orbit, the Earth can break out of its orbit and fly away from the Sun. In Outer Billiards on Kites, Richard Schwartz presents his affirmative solution to the Moser-Neumann problem. He shows that an outer billiards system can have an unbounded orbit when defined relative to any irrational kite. A kite is a quadrilateral having a diagonal that is a line of bilateral symmetry. The kite is irrational if the other diagonal divides the quadrilateral into two triangles whose areas are not rationally related. In addition to solving the basic problem, Schwartz relates outer billiards on kites to such topics as Diophantine approximation, the modular group, self-similar sets, polytope exchange maps, profinite completions of the integers, and solenoids--connections that together allow for a fairly complete analysis of the dynamical system.

Higher category theory is generally regarded as technical and forbidding, but part of it is considerably more tractable: the theory of infinity-categories, higher categories in which all higher morphisms are assumed to be invertible. In Higher Topos Theory, Jacob Lurie presents the foundations of this theory, using the language of weak Kan complexes introduced by Boardman and Vogt, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language. The result is a powerful theory with applications in many areas of mathematics.


The book's first five chapters give an exposition of the theory of infinity-categories that emphasizes their role as a generalization of ordinary categories. Many of the fundamental ideas from classical category theory are generalized to the infinity-categorical setting, such as limits and colimits, adjoint functors, ind-objects and pro-objects, locally accessible and presentable categories, Grothendieck fibrations, presheaves, and Yoneda's lemma. A sixth chapter presents an infinity-categorical version of the theory of Grothendieck topoi, introducing the notion of an infinity-topos, an infinity-category that resembles the infinity-category of topological spaces in the sense that it satisfies certain axioms that codify some of the basic principles of algebraic topology. A seventh and final chapter presents applications that illustrate connections between the theory of higher topoi and ideas from classical topology.

In 1970, Phillip Griffiths envisioned that points at infinity could be added to the classifying space D of polarized Hodge structures. In this book, Kazuya Kato and Sampei Usui realize this dream by creating a logarithmic Hodge theory. They use the logarithmic structures begun by Fontaine-Illusie to revive nilpotent orbits as a logarithmic Hodge structure.


The book focuses on two principal topics. First, Kato and Usui construct the fine moduli space of polarized logarithmic Hodge structures with additional structures. Even for a Hermitian symmetric domain D, the present theory is a refinement of the toroidal compactifications by Mumford et al. For general D, fine moduli spaces may have slits caused by Griffiths transversality at the boundary and be no longer locally compact. Second, Kato and Usui construct eight enlargements of D and describe their relations by a fundamental diagram, where four of these enlargements live in the Hodge theoretic area and the other four live in the algebra-group theoretic area. These two areas are connected by a continuous map given by the SL(2)-orbit theorem of Cattani-Kaplan-Schmid. This diagram is used for the construction in the first topic.

In The Structure of Affine Buildings, Richard Weiss gives a detailed presentation of the complete proof of the classification of Bruhat-Tits buildings first completed by Jacques Tits in 1986. The book includes numerous results about automorphisms, completions, and residues of these buildings. It also includes tables correlating the results in the locally finite case with the results of Tits's classification of absolutely simple algebraic groups defined over a local field. A companion to Weiss's The Structure of Spherical Buildings, The Structure of Affine Buildings is organized around the classification of spherical buildings and their root data as it is carried out in Tits and Weiss's Moufang Polygons.

This book presents the analytic foundations to the theory of the hypoelliptic Laplacian. The hypoelliptic Laplacian, a second-order operator acting on the cotangent bundle of a compact manifold, is supposed to interpolate between the classical Laplacian and the geodesic flow. Jean-Michel Bismut and Gilles Lebeau establish the basic functional analytic properties of this operator, which is also studied from the perspective of local index theory and analytic torsion.


The book shows that the hypoelliptic Laplacian provides a geometric version of the Fokker-Planck equations. The authors give the proper functional analytic setting in order to study this operator and develop a pseudodifferential calculus, which provides estimates on the hypoelliptic Laplacian's resolvent. When the deformation parameter tends to zero, the hypoelliptic Laplacian converges to the standard Hodge Laplacian of the base by a collapsing argument in which the fibers of the cotangent bundle collapse to a point. For the local index theory, small time asymptotics for the supertrace of the associated heat kernel are obtained.


The Ray-Singer analytic torsion of the hypoelliptic Laplacian as well as the associated Ray-Singer metrics on the determinant of the cohomology are studied in an equivariant setting, resulting in a key comparison formula between the elliptic and hypoelliptic analytic torsions.

Resolution of singularities is a powerful and frequently used tool in algebraic geometry. In this book, János Kollár provides a comprehensive treatment of the characteristic 0 case. He describes more than a dozen proofs for curves, many based on the original papers of Newton, Riemann, and Noether. Kollár goes back to the original sources and presents them in a modern context. He addresses three methods for surfaces, and gives a self-contained and entirely elementary proof of a strong and functorial resolution in all dimensions. Based on a series of lectures at Princeton University and written in an informal yet lucid style, this book is aimed at readers who are interested in both the historical roots of the modern methods and in a simple and transparent proof of this important theorem.

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.

This book describes the theory and applications of discrete orthogonal polynomials--polynomials that are orthogonal on a finite set. Unlike other books, Discrete Orthogonal Polynomials addresses completely general weight functions and presents a new methodology for handling the discrete weights case.

J. Baik, T. Kriecherbauer, K. T.-R. McLaughlin & P. D. Miller focus on asymptotic aspects of general, nonclassical discrete orthogonal polynomials and set out applications of current interest. Topics covered include the probability theory of discrete orthogonal polynomial ensembles and the continuum limit of the Toda lattice. The primary concern throughout is the asymptotic behavior of discrete orthogonal polynomials for general, nonclassical measures, in the joint limit where the degree increases as some fraction of the total number of points of collocation. The book formulates the orthogonality conditions defining these polynomials as a kind of Riemann-Hilbert problem and then generalizes the steepest descent method for such a problem to carry out the necessary asymptotic analysis.

This collection of new and original papers on mathematical aspects of nonlinear dispersive equations includes both expository and technical papers that reflect a number of recent advances in the field. The expository papers describe the state of the art and research directions. The technical papers concentrate on a specific problem and the related analysis and are addressed to active researchers.


The book deals with many topics that have been the focus of intensive research and, in several cases, significant progress in recent years, including hyperbolic conservation laws, Schrödinger operators, nonlinear Schrödinger and wave equations, and the Euler and Navier-Stokes equations.

Among the many differences between classical and p-adic objects, those related to differential equations occupy a special place. For example, a closed p-adic analytic one-form defined on a simply-connected domain does not necessarily have a primitive in the class of analytic functions. In the early 1980s, Robert Coleman discovered a way to construct primitives of analytic one-forms on certain smooth p-adic analytic curves in a bigger class of functions. Since then, there have been several attempts to generalize his ideas to smooth p-adic analytic spaces of higher dimension, but the spaces considered were invariably associated with algebraic varieties.


This book aims to show that every smooth p-adic analytic space is provided with a sheaf of functions that includes all analytic ones and satisfies a uniqueness property. It also contains local primitives of all closed one-forms with coefficients in the sheaf that, in the case considered by Coleman, coincide with those he constructed. In consequence, one constructs a parallel transport of local solutions of a unipotent differential equation and an integral of a closed one-form along a path so that both depend nontrivially on the homotopy class of the path.


Both the author's previous results on geometric properties of smooth p-adic analytic spaces and the theory of isocrystals are further developed in this book, which is aimed at graduate students and mathematicians working in the areas of non-Archimedean analytic geometry, number theory, and algebraic geometry.

Modular Forms and Special Cycles on Shimura Curves is a thorough study of the generating functions constructed from special cycles, both divisors and zero-cycles, on the arithmetic surface "M" attached to a Shimura curve "M" over the field of rational numbers. These generating functions are shown to be the q-expansions of modular forms and Siegel modular forms of genus two respectively, valued in the Gillet-Soulé arithmetic Chow groups of "M". The two types of generating functions are related via an arithmetic inner product formula. In addition, an analogue of the classical Siegel-Weil formula identifies the generating function for zero-cycles as the central derivative of a Siegel Eisenstein series. As an application, an arithmetic analogue of the Shimura-Waldspurger correspondence is constructed, carrying holomorphic cusp forms of weight 3/2 to classes in the Mordell-Weil group of "M". In certain cases, the nonvanishing of this correspondence is related to the central derivative of the standard L-function for a modular form of weight 2. These results depend on a novel mixture of modular forms and arithmetic geometry and should provide a paradigm for further investigations. The proofs involve a wide range of techniques, including arithmetic intersection theory, the arithmetic adjunction formula, representation densities of quadratic forms, deformation theory of p-divisible groups, p-adic uniformization, the Weil representation, the local and global theta correspondence, and the doubling integral representation of L-functions.

This volume studies the dynamics of iterated holomorphic mappings from a Riemann surface to itself, concentrating on the classical case of rational maps of the Riemann sphere. This subject is large and rapidly growing. These lectures are intended to introduce some key ideas in the field, and to form a basis for further study. The reader is assumed to be familiar with the rudiments of complex variable theory and of two-dimensional differential geometry, as well as some basic topics from topology. This third edition contains a number of minor additions and improvements: A historical survey has been added, the definition of Lattés map has been made more inclusive, and the écalle-Voronin theory of parabolic points is described. The résidu itératif is studied, and the material on two complex variables has been expanded. Recent results on effective computability have been added, and the references have been expanded and updated.


Written in his usual brilliant style, the author makes difficult mathematics look easy. This book is a very accessible source for much of what has been accomplished in the field.

It is now some thirty years since Deligne first proved his general equidistribution theorem, thus establishing the fundamental result governing the statistical properties of suitably "pure" algebro-geometric families of character sums over finite fields (and of their associated L-functions). Roughly speaking, Deligne showed that any such family obeys a "generalized Sato-Tate law," and that figuring out which generalized Sato-Tate law applies to a given family amounts essentially to computing a certain complex semisimple (not necessarily connected) algebraic group, the "geometric monodromy group" attached to that family.


Up to now, nearly all techniques for determining geometric monodromy groups have relied, at least in part, on local information. In Moments, Monodromy, and Perversity, Nicholas Katz develops new techniques, which are resolutely global in nature. They are based on two vital ingredients, neither of which existed at the time of Deligne's original work on the subject. The first is the theory of perverse sheaves, pioneered by Goresky and MacPherson in the topological setting and then brilliantly transposed to algebraic geometry by Beilinson, Bernstein, Deligne, and Gabber. The second is Larsen's Alternative, which very nearly characterizes classical groups by their fourth moments. These new techniques, which are of great interest in their own right, are first developed and then used to calculate the geometric monodromy groups attached to some quite specific universal families of (L-functions attached to) character sums over finite fields.

This book presents an overview of recent developments in the area of localization for quasi-periodic lattice Schrödinger operators and the theory of quasi-periodicity in Hamiltonian evolution equations. The physical motivation of these models extends back to the works of Rudolph Peierls and Douglas R. Hofstadter, and the models themselves have been a focus of mathematical research for two decades. Jean Bourgain here sets forth the results and techniques that have been discovered in the last few years. He puts special emphasis on so-called "non-perturbative" methods and the important role of subharmonic function theory and semi-algebraic set methods. He describes various applications to the theory of differential equations and dynamical systems, in particular to the quantum kicked rotor and KAM theory for nonlinear Hamiltonian evolution equations.


Intended primarily for graduate students and researchers in the general area of dynamical systems and mathematical physics, the book provides a coherent account of a large body of work that is presently scattered in the literature. It does so in a refreshingly contained manner that seeks to convey the present technological "state of the art."

In recent years, considerable progress has been made in studying algebraic cycles using infinitesimal methods. These methods have usually been applied to Hodge-theoretic constructions such as the cycle class and the Abel-Jacobi map. Substantial advances have also occurred in the infinitesimal theory for subvarieties of a given smooth variety, centered around the normal bundle and the obstructions coming from the normal bundle's first cohomology group. Here, Mark Green and Phillip Griffiths set forth the initial stages of an infinitesimal theory for algebraic cycles.


The book aims in part to understand the geometric basis and the limitations of Spencer Bloch's beautiful formula for the tangent space to Chow groups. Bloch's formula is motivated by algebraic K-theory and involves differentials over Q. The theory developed here is characterized by the appearance of arithmetic considerations even in the local infinitesimal theory of algebraic cycles. The map from the tangent space to the Hilbert scheme to the tangent space to algebraic cycles passes through a variant of an interesting construction in commutative algebra due to Angéniol and Lejeune-Jalabert. The link between the theory given here and Bloch's formula arises from an interpretation of the Cousin flasque resolution of differentials over Q as the tangent sequence to the Gersten resolution in algebraic K-theory. The case of 0-cycles on a surface is used for illustrative purposes to avoid undue technical complications.

This book provides the first unified examination of the relationship between Radon transforms on symmetric spaces of compact type and the infinitesimal versions of two fundamental rigidity problems in Riemannian geometry. Its primary focus is the spectral rigidity problem: Can the metric of a given Riemannian symmetric space of compact type be characterized by means of the spectrum of its Laplacian? It also addresses a question rooted in the Blaschke problem: Is a Riemannian metric on a projective space whose geodesics are all closed and of the same length isometric to the canonical metric?


The authors comprehensively treat the results concerning Radon transforms and the infinitesimal versions of these two problems. Their main result implies that most Grassmannians are spectrally rigid to the first order. This is particularly important, for there are still few isospectrality results for positively curved spaces and these are the first such results for symmetric spaces of compact type of rank >1. The authors exploit the theory of overdetermined partial differential equations and harmonic analysis on symmetric spaces to provide criteria for infinitesimal rigidity that apply to a large class of spaces.


A substantial amount of basic material about Riemannian geometry, symmetric spaces, and Radon transforms is included in a clear and elegant presentation that will be useful to researchers and advanced students in differential geometry.

Kiyosi Itô's greatest contribution to probability theory may be his introduction of stochastic differential equations to explain the Kolmogorov-Feller theory of Markov processes. Starting with the geometric ideas that guided him, this book gives an account of Itô's program.


The modern theory of Markov processes was initiated by A. N. Kolmogorov. However, Kolmogorov's approach was too analytic to reveal the probabilistic foundations on which it rests. In particular, it hides the central role played by the simplest Markov processes: those with independent, identically distributed increments. To remedy this defect, Itô interpreted Kolmogorov's famous forward equation as an equation that describes the integral curve of a vector field on the space of probability measures. Thus, in order to show how Itô's thinking leads to his theory of stochastic integral equations, Stroock begins with an account of integral curves on the space of probability measures and then arrives at stochastic integral equations when he moves to a pathspace setting. In the first half of the book, everything is done in the context of general independent increment processes and without explicit use of Itô's stochastic integral calculus. In the second half, the author provides a systematic development of Itô's theory of stochastic integration: first for Brownian motion and then for continuous martingales. The final chapter presents Stratonovich's variation on Itô's theme and ends with an application to the characterization of the paths on which a diffusion is supported.


The book should be accessible to readers who have mastered the essentials of modern probability theory and should provide such readers with a reasonably thorough introduction to continuous-time, stochastic processes.

This book represents the first asymptotic analysis, via completely integrable techniques, of the initial value problem for the focusing nonlinear Schrödinger equation in the semiclassical asymptotic regime. This problem is a key model in nonlinear optical physics and has increasingly important applications in the telecommunications industry. The authors exploit complete integrability to establish pointwise asymptotics for this problem's solution in the semiclassical regime and explicit integration for the underlying nonlinear, elliptic, partial differential equations suspected of governing the semiclassical behavior. In doing so they also aim to explain the observed gradient catastrophe for the underlying nonlinear elliptic partial differential equations, and to set forth a detailed, pointwise asymptotic description of the violent oscillations that emerge following the gradient catastrophe.


To achieve this, the authors have extended the reach of two powerful analytical techniques that have arisen through the asymptotic analysis of integrable systems: the Lax-Levermore-Venakides variational approach to singular limits in integrable systems, and Deift and Zhou's nonlinear Steepest-Descent/Stationary Phase method for the analysis of Riemann-Hilbert problems. In particular, they introduce a systematic procedure for handling certain Riemann-Hilbert problems with poles accumulating on curves in the plane. This book, which includes an appendix on the use of the Fredholm theory for Riemann-Hilbert problems in the Hölder class, is intended for researchers and graduate students of applied mathematics and analysis, especially those with an interest in integrable systems, nonlinear waves, or complex analysis.

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 "simple" 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.

For hundreds of years, the study of elliptic curves has played a central role in mathematics. The past century in particular has seen huge progress in this study, from Mordell's theorem in 1922 to the work of Wiles and Taylor-Wiles in 1994. Nonetheless, there remain many fundamental questions where we do not even know what sort of answers to expect. This book explores two of them: What is the average rank of elliptic curves, and how does the rank vary in various kinds of families of elliptic curves?


Nicholas Katz answers these questions for families of ''big'' twists of elliptic curves in the function field case (with a growing constant field). The monodromy-theoretic methods he develops turn out to apply, still in the function field case, equally well to families of big twists of objects of all sorts, not just to elliptic curves.


The leisurely, lucid introduction gives the reader a clear picture of what is known and what is unknown at present, and situates the problems solved in this book within the broader context of the overall study of elliptic curves. The book's technical core makes use of, and explains, various advanced topics ranging from recent results in finite group theory to the machinery of l-adic cohomology and monodromy. Twisted L-Functions and Monodromy is essential reading for anyone interested in number theory and algebraic geometry.

Surgery theory, the basis for the classification theory of manifolds, is now about forty years old. The sixtieth birthday (on December 14, 1996) of C.T.C. Wall, a leading member of the subject's founding generation, led the editors of this volume to reflect on the extraordinary accomplishments of surgery theory as well as its current enormously varied interactions with algebra, analysis, and geometry.


Workers in many of these areas have often lamented the lack of a single source surveying surgery theory and its applications. Because no one person could write such a survey, the editors asked a variety of experts to report on the areas of current interest. This is the second of two volumes resulting from that collective effort. It will be useful to topologists, to other interested researchers, and to advanced students. The topics covered include current applications of surgery, Wall's finiteness obstruction, algebraic surgery, automorphisms and embeddings of manifolds, surgery theoretic methods for the study of group actions and stratified spaces, metrics of positive scalar curvature, and surgery in dimension four.


In addition to the editors, the contributors are S. Ferry, M. Weiss, B. Williams, T. Goodwillie, J. Klein, S. Weinberger, B. Hughes, S. Stolz, R. Kirby, L. Taylor, and F. Quinn.

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"--the "well generated triangulated categories"--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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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. Bökstedt, 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. Lück, 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.

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.

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.

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.

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, André, 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 André on global relations and for the study of the arithmetic properties of solutions of ordinary differential equations.

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.

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 aim of this book is to study harmonic maps, minimal and parallel mean curvature immersions in the presence of symmetry. In several instances, the latter permits reduction of the original elliptic variational problem to the qualitative study of certain ordinary differential equations: the authors' primary objective is to provide representative examples to illustrate these reduction methods and their associated analysis with geometric and topological applications.


The material covered by the book displays a solid interplay involving geometry, analysis and topology: in particular, it includes a basic presentation of 1-cohomogeneous equivariant differential geometry and of the theory of harmonic maps between spheres.

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.

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.

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.

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.

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 is concerned with two areas of mathematics, at first sight disjoint, and with some of the analogies and interactions between them. These areas are the theory of linear differential equations in one complex variable with polynomial coefficients, and the theory of one parameter families of exponential sums over finite fields. After reviewing some results from representation theory, the book discusses results about differential equations and their differential galois groups (G) and one-parameter families of exponential sums and their geometric monodromy groups (G). The final part of the book is devoted to comparison theorems relating G and G of suitably "corresponding" situations, which provide a systematic explanation of the remarkable "coincidences" found "by hand" in the hypergeometric case.

The purpose of this book is to develop the stable trace formula for unitary groups in three variables. The stable trace formula is then applied to obtain a classification of automorphic representations. This work represents the first case in which the stable trace formula has been worked out beyond the case of SL (2) and related groups. Many phenomena which will appear in the general case present themselves already for these unitary groups.

This book provides the first coherent account of the area of analysis that involves the Heisenberg group, quantization, the Weyl calculus, the metaplectic representation, wave packets, and related concepts. This circle of ideas comes principally from mathematical physics, partial differential equations, and Fourier analysis, and it illuminates all these subjects. The principal features of the book are as follows: a thorough treatment of the representations of the Heisenberg group, their associated integral transforms, and the metaplectic representation; an exposition of the Weyl calculus of pseudodifferential operators, with emphasis on ideas coming from harmonic analysis and physics; a discussion of wave packet transforms and their applications; and a new development of Howe's theory of the oscillator semigroup.

The subject matter of this work is an area of Lorentzian geometry which has not been heretofore much investigated: Do there exist Lorentzian manifolds all of whose light-like geodesics are periodic? A surprising fact is that such manifolds exist in abundance in (2 + 1)-dimensions (though in higher dimensions they are quite rare). This book is concerned with the deformation theory of M2,1 (which furnishes almost all the known examples of these objects). It also has a section describing conformal invariants of these objects, the most interesting being the determinant of a two dimensional "Floquet operator," invented by Paneitz and Segal.

A general principle, discovered by Robert Langlands and named by him the "functoriality principle," predicts relations between automorphic forms on arithmetic subgroups of different reductive groups. Langlands functoriality relates the eigenvalues of Hecke operators acting on the automorphic forms on two groups (or the local factors of the "automorphic representations" generated by them). In the few instances where such relations have been probed, they have led to deep arithmetic consequences.


This book studies one of the simplest general problems in the theory, that of relating automorphic forms on arithmetic subgroups of GL(n,E) and GL(n,F) when E/F is a cyclic extension of number fields. (This is known as the base change problem for GL(n).) The problem is attacked and solved by means of the trace formula. The book relies on deep and technical results obtained by several authors during the last twenty years. It could not serve as an introduction to them, but, by giving complete references to the published literature, the authors have made the work useful to a reader who does not know all the aspects of the theory of automorphic forms.

A classic treatment of the hypoelliptic calculus on Heisenberg Manifolds

The classical pseudodifferential calculus is well adapted to detailed study of elliptic operators such as the Laplacian associated to the De Rham complex. This book develops a full asymptotic calculus adapted to certain second order operators which are hypoelliptic but not elliptic. The motivating example is the operator _b associated to the ∂_b-complex on a CR-manifold. Like the Laplacian, _b is a natural operator of intrinsic interest, a prototype of a general class, and a test case. Principal terms of parametrices and other operators associated to _b are calculated on both the symbol side and the kernel side. It is hoped that this viewpoint on pseudodifferential operators will be fruitful in attacking other nonelliptic problems, including more degenerate cases of _b.

Princeton University Press is proud to have published the Annals of Mathematics Studies since 1940. One of the oldest and most respected series in science publishing, it has included many of the most important and influential mathematical works of the twentieth century. The series continues this tradition as Princeton University Press publishes the major works of the twenty-first century.

To mark the continued success of the series, all books are again available in paperback.

This book is an expanded version of the Hermann Weyl Lectures given at the Institute for Advanced Study in January 1986. It outlines some of what is now known about irreducible unitary representations of real reductive groups, providing fairly complete definitions and references, and sketches (at least) of most proofs.


The first half of the book is devoted to the three more or less understood constructions of such representations: parabolic induction, complementary series, and cohomological parabolic induction. This culminates in the description of all irreducible unitary representation of the general linear groups. For other groups, one expects to need a new construction, giving "unipotent representations." The latter half of the book explains the evidence for that expectation and suggests a partial definition of unipotent representations.

Using only the very elementary framework of finite probability spaces, this book treats a number of topics in the modern theory of stochastic processes. This is made possible by using a small amount of Abraham Robinson's nonstandard analysis and not attempting to convert the results into conventional form.

The study of exponential sums over finite fields, begun by Gauss nearly two centuries ago, has been completely transformed in recent years by advances in algebraic geometry, culminating in Deligne's work on the Weil Conjectures. It now appears as a very attractive mixture of algebraic geometry, representation theory, and the sheaf-theoretic incarnations of such standard constructions of classical analysis as convolution and Fourier transform. The book is simultaneously an account of some of these ideas, techniques, and results, and an account of their application to concrete equidistribution questions concerning Kloosterman sums and Gauss sums.

On Knots is a journey through the theory of knots, starting from the simplest combinatorial ideas--ideas arising from the representation of weaving patterns. From this beginning, topological invariants are constructed directly: first linking numbers, then the Conway polynomial and skein theory. This paves the way for later discussion of the recently discovered Jones and generalized polynomials. The central chapter, Chapter Six, is a miscellany of topics and recreations. Here the reader will find the quaternions and the belt trick, a devilish rope trick, Alhambra mosaics, Fibonacci trees, the topology of DNA, and the author's geometric interpretation of the generalized Jones Polynomial.



Then come branched covering spaces, the Alexander polynomial, signature theorems, the work of Casson and Gordon on slice knots, and a chapter on knots and algebraic singularities.The book concludes with an appendix about generalized polynomials.

The theory of exterior differential systems provides a framework for systematically addressing the typically non-linear, and frequently overdetermined, partial differential equations that arise in differential geometry. Adaptation of the techniques of microlocalization to differential systems have led to recent activity on the foundations of the theory; in particular, the fundamental role of the characteristic variety in geometric problems is now clearly established. In this book the general theory is explained in a relatively quick and concrete manner, and then this general theory is applied to the recent developments in the classical problem of isometric embeddings of Riemannian manifolds.

This book contains accounts of talks held at a symposium in honor
of John C. Moore in October 1983 at Princeton University, The work
includes papers in classical homotopy theory, homological algebra,
rational homotopy theory, algebraic K-theory of spaces, and other
subjects.

Based on seven lecture series given by leading experts at a summer school at Peking University, in Beijing, in 1984. this book surveys recent developments in the areas of harmonic analysis most closely related to the theory of singular integrals, real-variable methods, and applications to several complex variables and partial differential equations. The different lecture series are closely interrelated; each contains a substantial amount of background material, as well as new results not previously published. The contributors to the volume are R. R. Coifman and Yves Meyer, Robert Fcfferman,
Carlos K. Kenig, Steven G. Krantz, Alexander Nagel, E. M. Stein, and Stephen Wainger.

Group theory and topology are closely related. The region of their interaction, combining the logical clarity of algebra with the depths of geometric intuition, is the subject of Combinatorial Group Theory and Topology. The work includes papers from a conference held in July 1984 at Alta Lodge, Utah.



Contributors to the book include Roger Alperin, Hyman Bass, Max Benson, Joan S. Birman, Andrew J. Casson, Marshall Cohen, Donald J. Collins, Robert Craggs, Michael Dyer, Beno Eckmann, Stephen M. Gersten, Jane Gilman, Robert H. Gilman, Narain D. Gupta, John Hempel, James Howie, Roger Lyndon, Martin Lustig, Lee P. Neuwirth, Andrew J. Nicas, N. Patterson, John G. Ratcliffe, Frank Rimlinger, Caroline Series, John R. Stallings, C. W. Stark, and A. Royce Wolf.

This book gives a new foundation for the theory of links in 3-space modeled on the modern developmentby Jaco, Shalen, Johannson, Thurston et al. of the theory of 3-manifolds. The basic construction is a method of obtaining any link by "splicing" links of the simplest kinds, namely those whose exteriors are Seifert fibered or hyperbolic. This approach to link theory is particularly attractive since most invariants of links are additive under splicing.


Specially distinguished from this viewpoint is the class of links, none of whose splice components is hyperbolic. It includes all links constructed by cabling and connected sums, in particular all links of singularities of complex plane curves. One of the main contributions of this monograph is the calculation of invariants of these classes of links, such as the Alexander polynomials, monodromy, and Seifert forms.

This book discusses some aspects of the theory of partial differential equations from the viewpoint of probability theory. It is intended not only for specialists in partial differential equations or probability theory but also for specialists in asymptotic methods and in functional analysis. It is also of interest to physicists who use functional integrals in their research. The work contains results that have not previously appeared in book form, including research contributions of the author.

This work is a comprehensive treatment of recent developments in the study of elliptic curves and their moduli spaces. The arithmetic study of the moduli spaces began with Jacobi's "Fundamenta Nova" in 1829, and the modern theory was erected by Eichler-Shimura, Igusa, and Deligne-Rapoport. In the past decade mathematicians have made further substantial progress in the field. This book gives a complete account of that progress, including not only the work of the authors, but also that of Deligne and Drinfeld.

This book presents a classification of all (complex)
irreducible representations of a reductive group with
connected centre, over a finite field. To achieve this,
the author uses etale intersection cohomology, and
detailed information on representations of Weyl
groups.

A classic treatment of transcendental algebraic geometry from the acclaimed Annals of Mathematics Studies series

Princeton University Press is proud to have published the Annals of Mathematics Studies since 1940. One of the oldest and most respected series in science publishing, it has included many of the most important and influential mathematical works of the twentieth century. The series continues this tradition as Princeton University Press publishes the major works of the twenty-first century.

To mark the continued success of the series, all books are available in paperback and as ebooks.

A classic treatment of multiple integrals in the calculus of variations and nonlinear elliptic systems from the acclaimed Annals of Mathematics Studies series

Princeton University Press is proud to have published the Annals of Mathematics Studies since 1940. One of the oldest and most respected series in science publishing, it has included many of the most important and influential mathematical works of the twentieth century. The series continues this tradition as Princeton University Press publishes the major works of the twenty-first century.

To mark the continued success of the series, all books are available in paperback and as ebooks.

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.

A classic treatment of minimal submanifolds from the acclaimed Annals of Mathematics Studies series

Princeton University Press is proud to have published the Annals of Mathematics Studies since 1940. One of the oldest and most respected series in science publishing, it has included many of the most important and influential mathematical works of the twentieth century. The series continues this tradition as Princeton University Press publishes the major works of the twenty-first century.

To mark the continued success of the series, all books are available in paperback and as ebooks.

This collection of papers constitutes a wide-ranging survey of recent developments in differential geometry and its interactions with other fields, especially partial differential equations and mathematical physics. This area of mathematics was the subject of a special program at the Institute for Advanced Study in Princeton during the academic year 1979-1980; the papers in this volume were contributed by the speakers in the sequence of seminars organized by Shing-Tung Yau for this program. Both survey articles and articles presenting new results are included. The articles on differential geometry and partial differential equations include a general survey article by the editor on the relationship of the two fields and more specialized articles on topics including harmonic mappings, isoperimetric and Poincaré inequalities, metrics with specified curvature properties, the Monge-Arnpere equation, L2 harmonic forms and cohomology, manifolds of positive curvature, isometric embedding, and Kraumlhler manifolds and metrics. The articles on differential geometry and mathematical physics cover such topics as renormalization, instantons, gauge fields and the Yang-Mills equation, nonlinear evolution equations, incompleteness of space-times, black holes, and quantum gravity. A feature of special interest is the inclusion of a list of more than one hundred unsolved research problems compiled by the editor with comments and bibliographical information.

In this book the authors give the first necessary and sufficient conditions for the uniform convergence a.s. of random Fourier series on locally compact Abelian groups and on compact non-Abelian groups. They also obtain many related results. For example, whenever a random Fourier series converges uniformly a.s. it also satisfies the central limit theorem. The methods developed are used to study some questions in harmonic analysis that are not intrinsically random. For example, a new characterization of Sidon sets is derived.

The major results depend heavily on the Dudley-Fernique necessary and sufficient condition for the continuity of stationary Gaussian processes and on recent work on sums of independent Banach space valued random variables. It is noteworthy that the proofs for the Abelian case immediately extend to the non-Abelian case once the proper definition of random Fourier series is made. In doing this the authors obtain new results on sums of independent random matrices with elements in a Banach space. The final chapter of the book suggests several directions for further research.

A classic treatment of complex variables from the acclaimed Annals of Mathematics Studies series

Princeton University Press is proud to have published the Annals of Mathematics Studies since 1940. One of the oldest and most respected series in science publishing, it has included many of the most important and influential mathematical works of the twentieth century. The series continues this tradition as Princeton University Press publishes the major works of the twenty-first century.

To mark the continued success of the series, all books are available in paperback and as ebooks.

The theory of Toeplitz operators has come to resemble more and more in recent years the classical theory of pseudodifferential operators. For instance, Toeplitz operators possess a symbolic calculus analogous to the usual symbolic calculus, and by symbolic means one can construct parametrices for Toeplitz operators and create new Toeplitz operators out of old ones by functional operations.



If P is a self-adjoint pseudodifferential operator on a compact manifold with an elliptic symbol that is of order greater than zero, then it has a discrete spectrum. Also, it is well known that the asymptotic behavior of its eigenvalues is closely related to the behavior of the bicharacteristic flow generated by its symbol.



It is natural to ask if similar results are true for Toeplitz operators. In the course of answering this question, the authors explore in depth the analogies between Toeplitz operators and pseudodifferential operators and show that both can be viewed as the "quantized" objects associated with functions on compact contact manifolds.

A classic treatment of K-theory of forms from the acclaimed Annals of Mathematics Studies series

Princeton University Press is proud to have published the Annals of Mathematics Studies since 1940. One of the oldest and most respected series in science publishing, it has included many of the most important and influential mathematical works of the twentieth century. The series continues this tradition as Princeton University Press publishes the major works of the twenty-first century.

To mark the continued success of the series, all books are available in paperback and as ebooks.

A classic treatment of Riemann surfaces from the acclaimed Annals of Mathematics Studies series

Princeton University Press is proud to have published the Annals of Mathematics Studies since 1940. One of the oldest and most respected series in science publishing, it has included many of the most important and influential mathematical works of the twentieth century. The series continues this tradition as Princeton University Press publishes the major works of the twenty-first century.

To mark the continued success of the series, all books are available in paperback and as ebooks.

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.

Based on a seminar sponsored by the Institute for Advanced Study in 1977-1978, this set of papers introduces micro-local analysis concisely and clearly to mathematicians with an analytical background. The papers treat the theory of microfunctions and applications such as boundary values of elliptic partial differential equations, propagation of singularities in the vicinity of degenerate characteristics, holonomic systems, Feynman integrals from the hyperfunction point of view, and harmonic analysis on Lie groups.

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.

Singularities of solutions of differential equations forms the common theme of these papers taken from a seminar held at the Institute for Advanced Study in Princeton in 1977-1978. While some of the lectures were devoted to the analysis of singularities, others focused on applications in spectral theory. As an introduction to the subject, this volume treats current research in the field in such a way that it can be studied with profit by the non-specialist.

The theory of infinite loop spaces has been the center of much recent activity in algebraic topology. Frank Adams surveys this extensive work for researchers and students. Among the major topics covered are generalized cohomology theories and spectra; infinite-loop space machines in the sense of Boadman-Vogt, May, and Segal; localization and group completion; the transfer; the Adams conjecture and several proofs of it; and the recent theories of Adams and Priddy and of Madsen, Snaith, and Tornehave.

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.

Since Poincaré'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.

The application by Fadeev and Pavlov of the Lax-Phillips scattering theory to the automorphic wave equation led Professors Lax and Phillips to reexamine this development within the framework of their theory. This volume sets forth the results of that work in the form of new or more straightforward treatments of the spectral theory of the Laplace-Beltrami operator over fundamental domains of finite area; the meromorphic character over the whole complex plane of the Eisenstein series; and the Selberg trace formula.



CONTENTS: 1. Introduction. 2. An abstract scattering theory. 3. A modified theory for second order equations with an indefinite energy form. 4. The Laplace-Beltrami operator for the modular group. 5. The automorphic wave equation. 6. Incoming and outgoing subspaces for the automorphic wave equations. 7. The scattering matrix for the automorphic wave equation. 8. The general case. 9. The Selberg trace formula.

The present monograph grew out of the fifth set of Hermann Weyl Lectures, given by Professor Griffiths at the Institute for Advanced Study, Princeton, in fall 1974.



In Chapter 1 the author discusses Emile Borel's proof and the classical Jensen theorem, order of growth of entire analytic sets, order functions for entire holomorphic mappings, classical indicators of orders of growth, and entire functions and varieties of finite order.



Chapter 2 is devoted to the appearance of curvature, and Chapter 3 considers the defect relations. The author considers the lemma on the logarithmic derivative, R. Nevanlinna's proof of the defect relation, and refinements of the classical case.

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.

This volume investigates the interplay between the classical theory of automorphic forms and the modern theory of representations of adele groups. Interpreting important recent contributions of Jacquet and Langlands, the author presents new and previously inaccessible results, and systematically develops explicit consequences and connections with the classical theory. The underlying theme is the decomposition of the regular representation of the adele group of GL(2). A detailed proof of the celebrated trace formula of Selberg is included, with a discussion of the possible range of applicability of this formula. Throughout the work the author emphasizes new examples and problems that remain open within the general theory.



TABLE OF CONTENTS: 1. The Classical Theory 2. Automorphic Forms and the Decomposition of L2(PSL(2,R) 3. Automorphic Forms as Functions on the Adele Group of GL(2) 4. The Representations of GL(2) over Local and Global Fields 5. Cusp Forms and Representations of the Adele Group of GL(2) 6. Hecke Theory for GL(2) 7. The Construction of a Special Class of Automorphic Forms 8. Eisenstein Series and the Continuous Spectrum 9. The Trace Formula for GL(2) 10. Automorphic Forms on a Quaternion Algebr?

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 "plats." Research problems are included in an appendix.

In this book Professor Lusztig solves an interesting problem by entirely new methods: specifically, the use of cohomology of buildings and related complexes.

The book gives an explicit construction of one distinguished member, D(V), of the discrete series of GLn (Fq), where V is the n-dimensional F-vector space on which GLn(Fq) acts. This is a p-adic representation; more precisely D(V) is a free module of rank (q--1) (q2—1)...(qn-1—1) over the ring of Witt vectors WF of F.

In Chapter 1 the author studies the homology of partially ordered sets, and proves some vanishing theorems for the homology of some partially ordered sets associated to geometric structures. Chapter 2 is a study of the representation △ of the affine group over a finite field. In Chapter 3 D(V) is defined, and its restriction to parabolic subgroups is determined. In Chapter 4 the author computes the character of D(V), and shows how to obtain other members of the discrete series by applying Galois automorphisms to D(V). Applications are in Chapter 5. As one of the main applications of his study the author gives a precise analysis of a Brauer lifting of the standard representation of GLn(Fq).

The intention of the authors is to examine the relationship between piecewise linear structure and differential structure: a relationship, they assert, that can be understood as a homotopy obstruction theory, and, hence, can be studied by using the traditional techniques of algebraic topology.



Thus the book attacks the problem of existence and classification (up to isotopy) of differential structures compatible with a given combinatorial structure on a manifold. The problem is completely "solved" in the sense that it is reduced to standard problems of algebraic topology.



The first part of the book is purely geometrical; it proves that every smoothing of the product of a manifold M and an interval is derived from an essentially unique smoothing of M. In the second part this result is used to translate the classification of smoothings into the problem of putting a linear structure on the tangent microbundle of M. This in turn is converted to the homotopy problem of classifying maps from M into a certain space PL/O. The set of equivalence classes of smoothings on M is given a natural abelian group structure.

Study 79 contains a collection of papers presented at the Conference on Discontinuous Groups and Ricmann Surfaces at the University of Maryland, May 21-25, 1973. The papers, by leading authorities, deal mainly with Fuchsian and Kleinian groups, Teichmüller spaces, Jacobian varieties, and quasiconformal mappings. These topics are intertwined, representing a common meeting of algebra, geometry, and analysis.

Locally symmetric spaces are generalizations of spaces of constant curvature. In this book the author presents the proof of a remarkable phenomenon, which he calls "strong rigidity": this is a stronger form of the deformation rigidity that has been investigated by Selberg, Calabi-Vesentini, Weil, Borel, and Raghunathan.



The proof combines the theory of semi-simple Lie groups, discrete subgroups, the geometry of E. Cartan's symmetric Riemannian spaces, elements of ergodic theory, and the fundamental theorem of projective geometry as applied to Tit's geometries. In his proof the author introduces two new notions having independent interest: one is "pseudo-isometries"; the other is a notion of a quasi-conformal mapping over the division algebra K (K equals real, complex, quaternion, or Cayley numbers). The author attempts to make the account accessible to readers with diverse backgrounds, and the book contains capsule descriptions of the various theories that enter the proof.

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.

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.

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.

In this monograph the authors redevelop the theory systematically using two different approaches. A general mechanism for the deformation of structures on manifolds was developed by Donald Spencer ten years ago. A new version of that theory, based on the differential calculus in the analytic spaces of Grothendieck, was recently given by B. Malgrange. The first approach adopts Malgrange's idea in defining jet sheaves and linear operators, although the brackets and the non-linear theory arc treated in an essentially different manner. The second approach is based on the theory of derivations, and its relationship to the first is clearly explained. The introduction describes examples of Lie equations and known integrability theorems, and gives applications of the theory to be developed in the following chapters and in the subsequent volume.

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.

A survey, thorough and timely, of the singularities of two-dimensional normal complex analytic varieties, the volume summarizes the results obtained since Hirzebruch's thesis (1953) and presents new contributions. First, the singularity is resolved and shown to be classified by its resolution; then, resolutions are classed by the use of spaces with nilpotents; finally, the spaces with nilpotents are determined by means of the local ring structure of the singularity.

Five papers by distinguished American and European mathematicians describe some current trends in mathematics in the perspective of the recent past and in terms of expectations for the future. Among the subjects discussed are algebraic groups, quadratic forms, topological aspects of global analysis, variants of the index theorem, and partial differential equations.

In essence the proceedings of the 1967 meeting in Baton Rouge, the volume offers significant papers in the topology of infinite dimensional linear spaces, fixed point theory in infinite dimensional spaces, infinite dimensional differential topology, and infinite dimensional pointset topology. Later results of the contributors underscore the basic soundness of this selection, which includes survey and expository papers, as well as reports of continuing research.

Part exposition and part presentation of new results, this monograph deals with that area of mathematics which has both combinatorial group theory and mathematical logic in common. Its main topics are the word problem for groups, the conjugacy problem for groups, and the isomorphism problem for groups. The presentation depends on previous results of J. L. Britton, which, with other factual background, are treated in detail.

In this volume, the author covers profinite groups and their cohomology, Galois cohomology, and local class field theory, and concludes with a treatment of duality. His objective is to present effectively that body of material upon which all modern research in Diophantine geometry and higher arithmetic is based, and to do so in a manner that emphasizes the many interesting lines of inquiry leading from these foundations.

Intended for researchers in Riemann surfaces, this volume summarizes a significant portion of the work done in the field during the years 1966 to 1971.

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.

This work deals with an extension of the classical Littlewood-Paley theory in the context of symmetric diffusion semigroups. In this general setting there are applications to a variety of problems, such as those arising in the study of the expansions coming from second order elliptic operators. A review of background material in Lie groups and martingale theory is included to make the monograph more accessible to the student.

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.