Equivariant Grothendieck-Riemann-Roch theorem via formal deformation theory
Abstract
We use the formalism of traces in higher categories to prove a common generalization of the holomorphic Atiyah-Bott fixed point formula and the Grothendieck-Riemann-Roch theorem. The proof is quite different from the original one proposed by Grothendieck et al.: it relies on the interplay between self dualities of quasi- and ind- coherent sheaves on $X$ and formal deformation theory of Gaitsgory-Rozenblyum. In particular, we give a description of the Todd class in terms of the difference of two formal group structures on the derived loop scheme $\mathcal LX$. The equivariant case is reduced to the non-equivariant one by a variant of the Atiyah-Bott localization theorem.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2019
- DOI:
- 10.48550/arXiv.1906.00172
- arXiv:
- arXiv:1906.00172
- Bibcode:
- 2019arXiv190600172K
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Mathematics - Category Theory
- E-Print:
- 54 pages