Gaitsgory–Lin–Reeves 的阅读笔记.
AGKRRV
本文依赖于 AGKRRV.
相关笔记: AGKRRV
引言
1. 带 $\mathbb A^1$-作用的范畴
对于代数群 $H$, 有
$$
\mathsf{Mod}_{\mathsf{DGCat}}(\mathsf{QCoh}(H)) \simeq \mathsf{Comod}_{\mathsf{DGCat}}(\mathsf{Rep}(H)).
$$
远足代数的性质
本节将本文定义的远足代数与 V. Lafforgue 定义的代数作比较.