Frobenius 核分块的几何模型

基于 Steinberg 关于特征正数字段上连通约化代数群 $G$ 的单表示张量积公式的几何对应，并遵循 Arkhipov--Bezrukavnikov--Braverman--Gaitsgory--Mirkovi\'c 的一个想法，我们定义并开启研究 $G$ 的朗兰兹对偶群的仿射 Grassmannian 上的一些反常层范畴，这些范畴应为 $G$ 的 Frobenius 核 $G_1$ 的表示分块提供几何模型。特别地，我们证明这些范畴具有足够的投射与内射对象，它们与某些倾斜反常层密切相关，并且它们在适当的广义意义下是最高权范畴。