Dennis Gaitsgory - Böcker

A central concern of number theory is the study of local-to-global principles, which describe the behavior of a global field K in terms of the behavior of various completions of K. This book looks at a specific example of a local-to-global principle: Weil’s conjecture on the Tamagawa number of a semisimple algebraic group G over K. In the case where K is the function field of an algebraic curve X, this conjecture counts the number of G-bundles on X (global information) in terms of the reduction of G at the points of X (local information). The goal of this book is to give a conceptual proof of Weil’s conjecture, based on the geometry of the moduli stack of G-bundles. Inspired by ideas from algebraic topology, it introduces a theory of factorization homology in the setting ℓ-adic sheaves. Using this theory, Dennis Gaitsgory and Jacob Lurie articulate a different local-to-global principle: a product formula that expresses the cohomology of the moduli stack of G-bundles (a global object) as a tensor product of local factors.Using a version of the Grothendieck-Lefschetz trace formula, Gaitsgory and Lurie show that this product formula implies Weil’s conjecture. The proof of the product formula will appear in a sequel volume.

A central concern of number theory is the study of local-to-global principles, which describe the behavior of a global field K in terms of the behavior of various completions of K. This book looks at a specific example of a local-to-global principle: Weil’s conjecture on the Tamagawa number of a semisimple algebraic group G over K. In the case where K is the function field of an algebraic curve X, this conjecture counts the number of G-bundles on X (global information) in terms of the reduction of G at the points of X (local information). The goal of this book is to give a conceptual proof of Weil’s conjecture, based on the geometry of the moduli stack of G-bundles. Inspired by ideas from algebraic topology, it introduces a theory of factorization homology in the setting ℓ-adic sheaves. Using this theory, Dennis Gaitsgory and Jacob Lurie articulate a different local-to-global principle: a product formula that expresses the cohomology of the moduli stack of G-bundles (a global object) as a tensor product of local factors.Using a version of the Grothendieck-Lefschetz trace formula, Gaitsgory and Lurie show that this product formula implies Weil’s conjecture. The proof of the product formula will appear in a sequel volume.

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 ?-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 (?,2)-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 (?,2)-categories needed for the third part.