例外组的格林函数表
在本页上,我们提供了一些包含格林函数的数据文件来自伴随简单代数的Lie型无扭曲有限群具有良好特征的特殊类型的群体。
以下文件可以读入GAP3公司和间隙4.数据以参数形式给出问
其中描述了定义群的有限域的顺序。
如果在GAP会话中,变量问
阅读前绑定其中一个数据文件,然后问
将专门用于此读取数据时的值。如果问
它将是未绑定的在分离器
具有名称“q”
.
数据存储在GAP记录中,可以按以下方式访问:
.表[i][j]
- 在q中作为多项式的格林函数的值。指数i对应于格林函数,j对应于单幂函数类。
.charInfo[i]
- 格林函数编号i的标记。这是一对描述Levi子组的类型和标签相对Weyl群中的共轭类。(我们实际上提供了广义格林函数,但只有最后一个G2、F4和E8型中的函数与普通绿色不对应功能。)
.classInfo[j]
- 对单极类编号j的描述。给定为一对,几何类的标签和有理类的计数器。
.class长度[j]
- 唯一类数j的大小
问
.
.GF订单
- 组的顺序。也作为多项式
问
.
数据
单击文件名以查看或下载数据。正确的列给出了包含数据的GAP记录的名称。在E8型中是否有两个此类记录的数据相关,如果问
是一致的分别为模3的1或2。
工具书类
这些数据是使用[1节中给出的算法(重新)计算的24]. 输入是[2]中给出的广义Springer对应[3]中Weyl群的字符表。事实上,上述算法从[1]中没有得到作为类函数的(广义)格林函数而是某些函数的线性组合,这些函数支持对应于一个几何单势类的有理类。对于我们隐式使用原始引用的这些函数的值所有这些表格都是第一次确定的。有关更多详细信息请参阅调查[4]和其中给出的参考文献。
[1]卢斯蒂格,G。,字符滑轮。V(V),数学高级。,61(2)(1986),103--155.
[2]斯波尔滕斯坦,N。,关于例外的广义Springer对应组,在里面代数小组和相关主题(京都/名古屋,1983),出版社,高级纯数学研究生。,6,阿姆斯特丹(1985),317--338.
[三]Geck,M.、Hiss,G.、Lübeck,F.、Malle,G.和Pfeiffer,G。,CHEVIE——通用计算和处理系统字符表,申请。代数工程通信计算。,7(三)(1996),175--210
(李理论中的计算方法(Essen,1994)).
[4]T·肖吉。,有限域上约化群的格林函数,在里面阿卡塔代表大会有限团体(加利福尼亚州阿卡塔,1986年),阿默尔。数学。Soc公司。,程序。交响乐。纯数学。,47,罗得岛州普罗维登斯(1987),289--301.