Derived Categories In Algebraic Geometry

This book consists of a series of introductory lectures on mirror symmetry and its surrounding topics. These lectures were provided by participants in the PIMS Superschool for Derived Categories and D-branes in July 2016. Together, they form a comprehensive introduction to the field that integrates perspectives from mathematicians and physicists alike. These proceedings provide a pleasant and broad introduction into modern research topics surrounding string theory and mirror symmetry that is approachable to readers new to the subjects. These topics include constructions of various mirror pairs, approaches to mirror symmetry, connections to homological algebra, and physical motivations. Of particular interest is the connection between GLSMs, D-branes, birational geometry, and derived categories, which is explained both from a physical and mathematical perspective. The introductory lectures provided herein highlight many features of this emerging field and give concrete connections between the physics and the math. Mathematical readers will come away with a broader perspective on this field and a bit of physical intuition, while physicists will gain an introductory overview of the developing mathematical realization of physical predictions.

Derived algebraic geometry is a far-reaching generalization of algebraic geometry. It has found numerous applications in various parts of mathematics, most prominently in representation theory. This volume develops the theory of ind-coherent sheaves in the context of derived algebraic geometry. Ind-coherent sheaves are a “renormalization” of quasi-coherent sheaves and provide a natural setting for Grothendieck-Serre duality as well as geometric incarnations of numerous categories of interest in representation theory. This volume consists of three parts and an appendix. The first part is a survey of homotopical algebra in the setting of $infty$-categories and the basics of derived algebraic geometry. The second part builds the theory of ind-coherent sheaves as a functor out of the category of correspondences and studies the relationship between ind-coherent and quasi-coherent sheaves. The third part sets up the general machinery of the $mathrm{(}infty, 2mathrm{)}$-category of correspondences needed for the second part. The category of correspondences, via the theory developed in the third part, provides a general framework for Grothendieck's six-functor formalism. The appendix provides the necessary background on $mathrm{(}infty, 2mathrm{)}$-categories needed for the third part.

The study of derived categories is a subject that attracts increasingly many mathematicians from various fields of mathematics, including abstract algebra, algebraic geometry, representation theory, and mathematical physics. The concept of the derived category of sheaves was invented by Grothendieck and Verdier in the 1960s as a tool to express important results in algebraic geometry such as the duality theorem. In the 1970s, Beilinson, Gelfand, and Gelfand discovered that a derived category of an algebraic variety may be equivalent to that of a finite-dimensional non-commutative algebra, and Mukai found that there are non-isomorphic algebraic varieties that have equivalent derived categories. In this way, the derived category provides a new concept that has many incarnations. In the 1990s, Bondal and Orlov uncovered an unexpected parallelism between the derived categories and the birational geometry. Kontsevich's homological mirror symmetry provided further motivation for the study of derived categories. This book contains the proceedings of a conference held at the University of Tokyo in January 2011 on the current status of the research on derived categories related to algebraic geometry. Most articles are survey papers on this rapidly developing field. The book is suitable for mathematicians who want to enter this exciting field. Some basic knowledge of algebraic geometry is assumed.

The first systematic exposition of the theory of derived categories, with key applications in commutative and noncommutative algebra.

This work is based on a course given at the Institut de Mathematiques de Jussieu, on the derived category of coherent sheaves on a smooth projective variety. It is aimed at students with a basic knowledge of algebraic geometry and contains full proofs and exercises that aid the reader.

An array of general ideas useful in a wide variety of fields. Starting from the foundations, this book illuminates the concepts of category, functor, natural transformation, and duality. It then turns to adjoint functors, which provide a description of universal constructions, an analysis of the representations of functors by sets of morphisms, and a means of manipulating direct and inverse limits. These categorical concepts are extensively illustrated in the remaining chapters, which include many applications of the basic existence theorem for adjoint functors. The categories of algebraic systems are constructed from certain adjoint-like data and characterised by Beck's theorem. After considering a variety of applications, the book continues with the construction and exploitation of Kan extensions. This second edition includes a number of revisions and additions, including new chapters on topics of active interest: symmetric monoidal categories and braided monoidal categories, and the coherence theorems for them, as well as 2-categories and the higher dimensional categories which have recently come into prominence.

EMAlgebra, Arithmetic, and Geometry: In Honor of Yu. I. ManinEM consists of invited expository and research articles on new developments arising from Manin’s outstanding contributions to mathematics.