Book 269

The words "microdifferential systems in the complex domain" refer to seve- ral branches of mathematics: micro local analysis, linear partial differential equations, algebra, and complex analysis. The microlocal point of view first appeared in the study of propagation of singularities of differential equations, and is spreading now to other fields of mathematics such as algebraic geometry or algebraic topology. How- ever it seems that many analysts neglect very elementary tools of algebra, which forces them to confine themselves to the study of a single equation or particular square matrices, or to carryon heavy and non-intrinsic formula- tions when studying more general systems. On the other hand, many alge- braists ignore everything about partial differential equations, such as for example the "Cauchy problem", although it is a very natural and geometri- cal setting of "inverse image". Our aim will be to present to the analyst the algebraic methods which naturally appear in such problems, and to make available to the algebraist some topics from the theory of partial differential equations stressing its geometrical aspects.
Keeping this goal in mind, one can only remain at an elementary level.

Book 292

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.


Book 332

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.