Singular support of coherent sheaves, and the geometric Langlands conjecture

Understand

We develop the notion of singular support of a coherent sheaf on a quasi-smooth DG scheme or stack and use it to formulate the Geometric Langlands Conjecture.