Bücher der Reihe Annals of Mathematics Studies

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 "e;M"e; attached to a Shimura curve "e;M"e; 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-Soule arithmetic Chow groups of "e;M"e;. 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 "e;M"e;. 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.

Resolution of singularities is a powerful and frequently used tool in algebraic geometry. In this book, Janos Kollar 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. Kollar 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 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.

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.

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 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 "e;mysterious functor"e; (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.

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.

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.

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.

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 Poincare 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. Poincare metrics are introduced and shown to be equivalent to the ambient formulation. Self-dual Poincare 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.

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.

The original goal that ultimately led to this volume was the construction of "e;motivic cohomology theory,"e; 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 "e;Milnor Conjecture"e; 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.

Introduces methods in the theory of partial differential equations derivable from a Lagrangian. This book develops a general theory of integral identities, the theory of "compatible currents," which extends the work of E Noether.

Surgery theory is the basis for the classification theory of manifolds. This title reflects on the accomplishments of surgery theory as well as its varied interactions with algebra, analysis, and geometry. It covers the topics that include applications of surgery, Wall's finiteness obstruction, algebraic surgery, and surgery in dimension four.

Applies model theoretic methods to the study of certain finite permutation groups, the automorphism groups of structures for a fixed finite language with a bounded number of orbits on 4-tuples. This book treats the general case by developing analogs of the model theoretic methods of geometric stability theory.

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.

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.

A collection of papers on mathematical aspects of nonlinear dispersive equations, including both expository and technical papers that reflect a number of 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.

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.

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.

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.

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.

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

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

Written for advanced undergraduate and first-year graduate students, this book aims to introduce students to a serious level of p-adic analysis with important implications for number theory. The main object is the study of G-series, that is, power series y=aij=0 Ajxj with coefficients in an algebraic number field K. These series satisfy a linear differential equation Ly=0 with LIK(x) [d/dx] and have non-zero radii of convergence for each imbedding of K into the complex numbers. They have the further property that the common denominators of the first s coefficients go to infinity geometrically with the index s. After presenting a review of valuation theory and elementary p-adic analysis together with an application to the congruence zeta function, this book offers a detailed study of the p-adic properties of formal power series solutions of linear differential equations. In particular, the p-adic radii of convergence and the p-adic growth of coefficients are studied. Recent work of Christol, Bombieri, Andre, and Dwork is treated and augmented. The book concludes with Chudnovsky's theorem: the analytic continuation of a G -series is again a G -series. This book will be indispensable for those wishing to study the work of Bombieri and Andre on global relations and for the study of the arithmetic properties of solutions of ordinary differential equations.

The description for this book, Contributions to Fourier Analysis. (AM-25), will be forthcoming.

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

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