The aim of this project is to prove an index formula for characteristic cycles of étale sheaves conjectured by Takeshi Saito. Our strategy is to adapt methods of microlocal analysis of Kashiwara and Schapira to the context of derived algebraic geometry. In particular, we will construct characteristic cycles of motivic sheaves over derived schemes as well as a version of the Fourier transform of motivic sheaves over the cotangent complex.
DFG Programme
Collaborative Research Centres