Categories and sheaves appear almost frequently in contemporary advanced mathematics. This book covers categories, homological algebra and sheaves in a systematic manner starting from scratch and continuing with full proofs to the most recent results in the literature, and sometimes beyond. The authors present the general theory of categories and functors, emphasizing inductive and projective limits, tensor categories, representable functors, ind-objects and localization.

Constructible and perverse sheaves are the algebraic counterpart of the decomposition of a singular space into smooth manifolds. This introduction to the subject can be regarded as a textbook on modern algebraic topology, treating the cohomology of spaces with sheaf (as opposed to constant) coefficients. The author helps readers progress quickly from the basic theory to current research questions, thoroughly supported along the way by examples and exercises.

Sheaf Theory is modern, active field of mathematics at the intersection of algebraic topology, algebraic geometry and partial differential equations. This volume offers a comprehensive and self-contained treatment of Sheaf Theory from the basis up, with emphasis on the microlocal point of view. From the reviews: "Clearly and precisely written, and contains many interesting ideas: it describes a whole, largely new branch of mathematics." –Bulletin of the L.M.S.

This volume is based on the lecture notes of six courses delivered at a Cimpa Summer School in Temuco, Chile, in January 2001. Leading experts contribute with introductory articles covering a broad area in probability and its applications, such as mathematical physics and mathematics of finance. Written at graduate level, the lectures touch the latest advances on each subject, ranging from classical probability theory to modern developments. Thus the book will appeal to students, teachers and researchers working in probability theory or related fields.

This book explains techniques that are essential in almost all branches of modern geometry such as algebraic geometry, complex geometry, or non-archimedian geometry. It uses the most accessible case, real and complex manifolds, as a model. The author especially emphasizes the difference between local and global questions. Cohomology theory of sheaves is introduced and its usage is illustrated by many examples.

The book provides a detailed introduction to the theory of connections on principal sheaves in the framework of Abstract Differential Geometry (ADG). This is a new approach to differential geometry based on sheaf theoretic methods, without use of ordinary calculus. This point of view complies with the demand of contemporary physics to cope with non-smooth models of physical phenomena and spaces with singularities. Starting with a brief survey of the required sheaf theory and cohomology, the exposition then moves on to differential triads (the abstraction of smooth manifolds) and Lie sheaves of groups (the abstraction of Lie groups). Having laid the groundwork, the main part of the book is devoted to the theory of connections on principal sheaves, incorporating connections on vector and associated sheaves. Topics such as the moduli sheaf of connections, classification of principal sheaves, curvature, flat connections and flat sheaves, Chern-Weil theory, are also treated. The study brings to light fundamental notions and tools of the standard differential geometry which are susceptible of the present abstraction, and whose role remains unexploited in the classical context, because of the abundance of means therein. However, most of the latter are nonsensical in ADG.

This text exposes the basic features of cohomology of sheaves and its applications. The general theory of sheaves is very limited and no essential result is obtainable without turn ing to particular classes of topological spaces. The most satis factory general class is that of locally compact spaces and it is the study of such spaces which occupies the central part of this text. The fundamental concepts in the study of locally compact spaces is cohomology with compact support and a particular class of sheaves,the so-called soft sheaves. This class plays a double role as the basic vehicle for the internal theory and is the key to applications in analysis. The basic example of a soft sheaf is the sheaf of smooth functions on ~n or more generally on any smooth manifold. A rather large effort has been made to demon strate the relevance of sheaf theory in even the most elementary analysis. This process has been reversed in order to base the fundamental calculations in sheaf theory on elementary analysis.

The equivariant derived category of sheaves is introduced. All usual functors on sheaves are extended to the equivariant situation. Some applications to the equivariant intersection cohomology are given. The theory may be useful to specialists in representation theory, algebraic geometry or topology.

Since its inception around 1980, the theory of perverse sheaves has been a vital tool of fundamental importance in geometric representation theory. This book, which aims to make this theory accessible to students and researchers, is divided into two parts. The first six chapters give a comprehensive account of constructible and perverse sheaves on complex algebraic varieties, including such topics as Artin's vanishing theorem, smooth descent, and the nearby cycles functor. This part of the book also has a chapter on the equivariant derived category, and brief surveys of side topics including étale and ℓ-adic sheaves, D-modules, and algebraic stacks. The last four chapters of the book show how to put this machinery to work in the context of selected topics in geometric representation theory: Kazhdan-Lusztig theory; Springer theory; the geometric Satake equivalence; and canonical bases for quantum groups. Recent developments such as the p-canonical basis are also discussed. The book has more than 250 exercises, many of which focus on explicit calculations with concrete examples. It also features a 4-page “Quick Reference” that summarizes the most commonly used facts for computations, similar to a table of integrals in a calculus textbook.