This volume forms the sequel to "On the stabilization of the trace formula", published by International Press of Boston, Inc., 2011

In the early years of the 1980s, while I was visiting the Institute for Ad vanced Study (lAS) at Princeton as a postdoctoral member, I got a fascinating view, studying congruence modulo a prime among elliptic modular forms, that an automorphic L-function of a given algebraic group G should have a canon ical p-adic counterpart of several variables. I immediately decided to find out the reason behind this phenomenon and to develop the theory of ordinary p-adic automorphic forms, allocating 10 to 15 years from that point, putting off the intended arithmetic study of Shimura varieties via L-functions and Eisenstein series (for which I visited lAS). Although it took more than 15 years, we now know (at least conjecturally) the exact number of variables for a given G, and it has been shown that this is a universal phenomenon valid for holomorphic automorphic forms on Shimura varieties and also for more general (nonholomorphic) cohomological automorphic forms on automorphic manifolds (in a markedly different way). When I was asked to give a series of lectures in the Automorphic Semester in the year 2000 at the Emile Borel Center (Centre Emile Borel) at the Poincare Institute in Paris, I chose to give an exposition of the theory of p-adic (ordinary) families of such automorphic forms p-adic analytically de pending on their weights, and this book is the outgrowth of the lectures given there.

Langlands program proposes fundamental relations that tie arithmetic information from number theory and algebraic geometry with analytic information from harmonic analysis and group representations. This title intends to provide an entry point into this exciting and challenging field.

This book outlines a functorial theory of integral models of (mixed) Shimura varieties and of their toroidal compactifications, for odd primes of good reduction. This is the integral version, developed in the author's thesis, of the theory invented by Deligne and Pink in the rational case. In addition, the author develops a theory of arithmetic Chern classes of integral automorphic vector bundles with singular metrics using the work of Burgos, Kramer and Kühn. The main application is calculating arithmetic volumes or "heights" of Shimura varieties of orthogonal type using Borcherds' famous modular forms with their striking product formula--an idea due to Bruinier-Burgos-Kühn and Kudla. This should be seen as an Arakelov analogue of the classical calculation of volumes of orthogonal locally symmetric spaces by Siegel and Weil. In the latter theory, the volumes are related to special values of (normalized) Siegel Eisenstein series. In this book, it is proved that the Arakelov analogues are related to special derivatives of such Eisenstein series. This result gives substantial evidence in the direction of Kudla's conjectures in arbitrary dimensions. The validity of the full set of conjectures of Kudla, in turn, would give a conceptual proof and far-reaching generalizations of the work of Gross and Zagier on the Birch and Swinnerton-Dyer conjecture. Titles in this series are co-published with the Centre de Recherches Mathématiques.

By studying the degeneration of abelian varieties with PEL structures, this book explains the compactifications of smooth integral models of all PEL-type Shimura varieties, providing the logical foundation for several exciting recent developments. The book is designed to be accessible to graduate students who have an understanding of schemes and abelian varieties. PEL-type Shimura varieties, which are natural generalizations of modular curves, are useful for studying the arithmetic properties of automorphic forms and automorphic representations, and they have played important roles in the development of the Langlands program. As with modular curves, it is desirable to have integral models of compactifications of PEL-type Shimura varieties that can be described in sufficient detail near the boundary. This book explains in detail the following topics about PEL-type Shimura varieties and their compactifications: A construction of smooth integral models of PEL-type Shimura varieties by defining and representing moduli problems of abelian schemes with PEL structures An analysis of the degeneration of abelian varieties with PEL structures into semiabelian schemes, over noetherian normal complete adic base rings A construction of toroidal and minimal compactifications of smooth integral models of PEL-type Shimura varieties, with detailed descriptions of their structure near the boundary Through these topics, the book generalizes the theory of degenerations of polarized abelian varieties and the application of that theory to the construction of toroidal and minimal compactifications of Siegel moduli schemes over the integers (as developed by Mumford, Faltings, and Chai).

This book formulates a new conjecture about quadratic periods of automorphic forms on quaternion algebras, which is an integral refinement of Shimura's algebraicity conjectures on these periods. It also provides a strategy to attack this conjecture by reformulating it in terms of integrality properties of the theta correspondence for quaternionic unitary groups. The methods and constructions of the book are expected to have applications to other problems related to periods, such as the Bloch-Beilinson conjecture about special values of $L$-functions and constructing geometric realizations of Langlands functoriality for automorphic forms on quaternion algebras.

This monograph is concerned with the Shimura variety attached to a quaternion algebra over a totally real number field. For any place of good (or moderately bad) reduction, the corresponding (semi-simple) local zeta function is expressed in terms of (semi-simple) local L-functions attached to automorphic representations. In an appendix a conjecture of Langlands and Rapoport on the reduction of a Shimura variety in a very general case is restated in a slightly stronger form. The reader is expected to be familiar with the basic concepts of algebraic geometry, algebraic number theory and the theory of automorphic representation.

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.

This book is a comprehensive treatise on the partial toroidal and minimal compactifications of the ordinary loci of PEL-type Shimura varieties and Kuga families, and on the canonical and subcanonical extensions of automorphic bundles. The results in this book serve as the logical foundation of several recent developments in the theory of p-adic automorphic forms; and of the author's work with Harris, Taylor, and Thorne on the construction of Galois representations without any polarizability conditions, which is a major breakthrough in the Langlands program.This book is important for active researchers and graduate students who need to understand the above-mentioned recent works, and is written with such users of the theory in mind, providing plenty of explanations and background materials, which should be helpful for people working in similar areas. It also contains precise internal and external references, and an index of notation and terminologies. These are useful for readers to quickly locate materials they need.