迹猜想 [迹猜想]

陈述

自守层范畴上 Frobenius 的迹等同于自守函数的空间. $$ \operatorname{Tr}(\mathrm{Frob}_*,\mathsf{Shv}_{\mathrm{Nilp}}(\mathrm{Bun}_G)) \simeq \operatorname{Func}_{\mathrm{c}}(\mathrm{Bun}_G (\mathbb F_q)). $$