[论文解读] Sheaves on the alcoves I: Projectivity and wall crossing functors

Peter Fiebig, Martina Lanini|arXiv (Cornell University)|Apr 7, 2015

Algebraic structures and combinatorial models参考文献 10被引用 4

一句话总结

本文在根系的实向量空间中的壁间区域集合上引入了一类${\mathcal{Z}}$-模层的层范畴，建立了一个研究半单李代数在正特征下表示的框架。通过一种新颖的墙交叉函子构造，证明了该范畴中存在唯一（至同构）的不可约投射对象${\mathscr{B}}(A)$，这些对象具有韦尔玛旗且可满射到层尖点层${\mathscr{V}}(A)$，从而将其与贝比韦尔玛模的若尔当-霍尔德重数等表示论不变量联系起来。

ABSTRACT

This paper is the first in a series of papers in which we define and study a category of "sheaves of $\mathcal Z$-modules on the set of alcoves" that carries important information on the category of representations of semisimple Lie algebras in positive characteristics. Here, we define this category and study the structure of its projective objects using a new version of wall crossing functors.

研究动机与目标

• 定义壁间区域集合$\mathcal{A}$上的${\mathcal{Z}}$-模层范畴${\mathbf{C}}$，满足支撑条件与局部扩张条件。
• 建立范畴${\mathbf{C}}$中不可约投射对象${\mathscr{B}}(A)$的存在性与唯一性（至同构），这些对象可满射到标准层尖点层${\mathscr{V}}(A)$。
• 发展墙交叉函子的形式化理论，该理论保持投射性与韦尔玛旗性质，从而可从初始投射对象构造出所有此类投射对象。
• 为一系列论文奠定基础，将范畴${\mathbf{C}}$与表示理论联系起来，特别是正特征下单代数群的特征标。

提出的方法

• 范畴${\mathbf{C}}$被定义为壁间区域集合$\mathcal{A}$上${\mathcal{Z}}$-模层的全子范畴，受支撑条件与局部扩张条件的约束。
• 对每个仿射单反射$s$，构造了墙交叉函子$\vartheta_s$，通过涉及$s$-不变开子集的限制与扩张的层论构造作用于${\mathbf{C}}$中的层。
• 利用来自该层到${\mathbf{C}}$中任意其他对象的相容同态存在的准则，结合环境范畴中的Fitting分解，确立了某些层的投射性。
• 初始投射对象${\mathscr{B}}(A_{\lambda}^{-})$被构造为常层$\underline{{\mathcal{K}}_{\lambda}}$的平移，其余所有投射对象通过迭代应用墙交叉函子生成。
• 证明了墙交叉函子是正合且自伴的，从而保证了其作用下投射性得以保持。
• 通过证明墙交叉函子的像保持了具有韦尔玛旗的子范畴${\mathbf{B}}$，从而证明了${\mathscr{B}}(A)$具有韦尔玛旗。

实验结果

研究问题

• RQ1 如何定义壁间区域复形上的层范畴，使其能编码半单李代数在正特征下的表示论数据？
• RQ2 该范畴中投射对象的结构是什么？能否从一组最小初始投射对象出发，算法化地构造出所有投射对象？
• RQ3 墙交叉函子是否保持投射性与韦尔玛旗性质？能否用于生成所有不可约投射对象？
• RQ4 投射层${\mathscr{B}}(A)$的截面与正特征下贝比韦尔玛模的若尔当-霍尔德重数有何关系？
• RQ5 范畴${\mathbf{C}}$能否用于计算正特征域上单代数群的简单表示的特征标？

主要发现

• 对任意壁间区域$A$，在${\mathbf{C}}$中存在唯一（至同构）的不可约投射对象${\mathscr{B}}(A)$，其可满射到标准层尖点层${\mathscr{V}}(A)[\ell_{\lambda}(A)]$。
• 墙交叉函子$\vartheta_s$是正合且自伴的，保证了投射对象在$\vartheta_s$作用下的像仍为投射对象。
• 投射对象${\mathscr{B}}(A)$具有韦尔玛旗，即其存在一个滤子，其逐层商同构于韦尔玛模。
• 初始投射对象${\mathscr{B}}(A_{\lambda}^{-})$被构造为常层$\underline{{\mathcal{K}}_{\lambda}}$的平移，其余所有投射对象通过迭代应用墙交叉函子获得。
• 通过墙交叉函子构造${\mathscr{B}}(A)$意味着其截面编码了当域$k$的特征大于考绍尔数时贝比韦尔玛模的若尔当-霍尔德重数。
• 范畴${\mathbf{C}}$继承自${\mathcal{Z}}$-模层的环境范畴的正合结构，且${\mathbf{C}}$中的投射对象恰好是该正合结构下的投射对象。