nLab Notes on geometric Langlands

Redirected from "mapping cones".

This entry is about the collection of notes

on the categorical geometric Langlands conjecture, which is formulated as an equivalence of stable (infinity,1)-categories of

and

where XX is a smooth complete curve over a field of characteristic zero, and GG is a reductive group and G G^\vee is its Langlands dual. (More precisely, the latter category should be replaced by some appropriate category of ind-coherent sheaves.)

See also

Contents

Foundational stuff

Studies some aspects of the symmetric monoidal (infinity,1)-category of dg-categories, including colimits, limits, and dualizable objects in it, and categories of modules over it.

An explicit description of filtered colimits in the (infinity,1)-category of (infinity,1)-categories.

A concise review of derived stacks and derived schemes in derived algebraic geometry (the version based on coconnective commutative dg-algebras).

A concise review of stable (infinity,1)-categories of quasi-coherent sheaves and perfect complexes on derived stacks.

On the stable (infinity,1)-category of ind-coherent sheaves on a derived stack, and the six operations in this setting.

Develops the theory of ind-schemes in derived algebraic geometry.

Studies crystals and D-modules in derived algebraic geometry.

rest of the contents to be filled in

Last revised on April 20, 2024 at 11:34:38. See the history of this page for a list of all contributions to it.