×

关于有限约化群中的半单类和半单特征。 (英语。法语摘要) Zbl 1276.20009号

设(mathbf G)是在特征为(p)的有限域(mathbb F_q)上定义的一个单连通约化代数群,设(F\colon\mathbf G\to\mathbfG)表示与该结构对应的Frobenius自同态,设(G:=\mathbf-G^F)是(mathbf-G)的(F\)-不动点的子群。固定\(\mathbf G\)的最大环面\(\mathbf T\),用\(Y(\mathbf T)\)表示\(\mathbf T\)的共字符组,并放置\(V_\mathbb R:=\mathbb R\otimes_\mathbb Z Y(\mathbf T)\)。
提交人认为布劳尔复合体它是由汉弗莱斯(Humphreys)引入的,用于描述(G)的(p)-模表示,来源于相关的凹形几何。考虑欧氏空间(V_mathbb R\)中的超平面集,它们是相关仿射Weyl群中反射的反射超平面。空间中不位于任何这些超平面上的点集的连通分量是开放单纯形,称为壁龛布劳尔情结是由壁龛形成的开放式简单情结。在(mathbf G)是单连通的特殊情况下,Deriziotis证明了(mathbfG)中的(F)稳定半单类(因此,(G)中半单类)是由最大维数的Brauer复形的面参数化的。本文给出了含有不连续中心化子的点的面的描述(定理2.5),并计算了当(mathbf G)不是(mathrm D{2n})类型且具有素数阶基本群时,具有不连续中心点的(mathbfG)中的(F)-半单类的个数。
另一方面,利用K.Sorlin以前的工作构造了Gel'fand-Graev特征的(G\rtimes\langle\sigma\rangle\)的扩展,并利用(\sigma \)的拟中心半单或单幂自同构,作者证明了在一些假设下半简单字符(G)的扩展到全自同构群中的惯性群(operatorname{Aut}(G))。(回想一下,通过盖尔芬·格拉夫(Gel'fand-Graev)字符的阿尔维斯-库蒂斯(Alvis-Curtis)对偶性,半简单字符是图像的组成部分。)
让\(\mathrm{Irr}(G)\)表示\(G\)的不可约字符集,让\(\ mathrm{爱尔兰}_{p'}(G)\)是阶素数为\(p\)的不可约字符的子集。用\(|\mathrm表示{爱尔兰}_{p'}(G)|\)\(\mathrm)的基数{爱尔兰}_{p'}(G)\)。
约翰·麦凯猜测了这个等式{爱尔兰}_{p'}(G)|=|\mathrm{爱尔兰}_{p'}(\mathrm{N} (_G)(P) )|\),对于\(G\)的任何固定\(P\)-Sylow子群,其中\(\mathrm{N} G(_G)(P) \)表示\(G\)中\(P\)的归一化器。
作为上述结果的应用,作者证明了麦凯猜想在下列情况下保持为\(G\):
\当(mathbf G)是类型为(mathrm D_{2n+1})的简单单连通群时,
\当(mathbf G)是类型为(mathrm)的简单单连通群时{E} _6个\)(分别为{E} 7个\))。
Isaacs、Malle和Navarro将McKay猜想简化为一个新问题,即所谓的诱导McKay条件它涉及有限单群的完美中心扩张的性质。作者证明了归纳McKay条件在定义无扭曲和扭曲型单群的特征(p>3)时成立{E} _6个\)(定理分别为4.9和4.10)。
值得注意的是,最近,通过使用Maslowski的结果,B.斯帕斯[公牛.伦敦.数学社会.44,第3号,426-438(2012;Zbl 1251.20020号)]证明了Lie型的所有简单群都满足定义特征的归纳McKay条件。在非单纯形类型和非经典类型中,这重现了作者的结果。

MSC公司:

20立方 Lie型有限群的表示
20G05年 线性代数群的表示理论
20G40型 有限域上的线性代数群
20E45型 群的共轭类
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Bonnafé,C.,《加拿大列维集团联合政府报告》。数学杂志。,56, 2, 246-276 (2004) ·Zbl 1080.20037号 ·doi:10.4153/CJM-2004-012-0
[2] Bonnafé,Cédric,还原群中的拟孤立元,《公共代数》,33,7,2315-2337(2005)·Zbl 1096.20037号 ·doi:10.1081/AGB-200063602
[3] Bonnafé,Cédric,Sur les caractères des groupes réductilfs finisácenter non-connexe:applications aux groupes spe ciaux linéaires et unitaires,阿斯特里斯克,306(2006)·兹比尔1157.20022
[4] Bourbaki,N.,李群和李代数。第4-6章(2002年)·Zbl 0672.22001
[5] 布鲁纳特,O。;Himstedt,F.,《关于相对于定义特征的等变双射》,《J.代数》,334,1,150-174(2011)·Zbl 1252.20009号 ·doi:10.1016/j.jalgebra.2011.03.001
[6] Brunat,Olivier,《关于定义特征中的归纳McKay条件》,《数学》。Z.,263,2,411-424(2009)·Zbl 1186.20014号 ·doi:10.1007/s00209-008-0423-5
[7] Brunat,Olivier,有限约化群中的计数字符,J.Lond。数学。Soc.(2),81,3,544-562(2010)·Zbl 1251.20017号 ·doi:10.1112/jlms/jdq001
[8] Carter,R.W.,Lie型简单群(1972)·Zbl 0723.20006号
[9] Carter,R.W.,Lie型有限群(1985)·Zbl 0567.20023号
[10] Deligne,P。;Lusztig,G.,有限域上约化群的表示,数学年鉴。(2), 103, 1, 103-161 (1976) ·Zbl 0336.20029号 ·doi:10.2307/1971021
[11] Deriziotis,D.I.,Chevalley群的Brauer复合体,J.代数,70,1,261-269(1981)·Zbl 0475.20034号 ·doi:10.1016/0021-8693(81)90258-1
[12] Digne,F。;Lehrer,G.I。;Michel,J.,具有非连通中心的归约群的有理点群的性质,J.Reine Angew。数学。,425, 155-192 (1992) ·Zbl 0739.20018号
[13] Digne,F。;Lehrer,G.I。;Michel,J.,On(Gel^{prime})fand-Graev特征与中心断开,J.Reine Angew。数学。,491, 131-147 (1997) ·Zbl 0880.20033号
[14] Digne,F。;Michel,J.,Lie型有限群的表示,21(1991)·Zbl 0815.20014号
[15] 迪涅,F。;Michel,J.,《非连接组》,《科学年鉴》。埃科尔规范。补充(4),27,3,345-406(1994)·Zbl 0846.20040号
[16] 弗朗索瓦·迪涅;Michel,Jean,Points fixes des automorphismes quasi-semi-simples,C.R.Math。阿卡德。科学。巴黎,334,12,1055-1060(2002)·Zbl 1001.20043号 ·doi:10.1016/S1631-073X(02)02407-X
[17] 戈伦斯坦,D。;里昂,R。;Solomon,R.,有限单群的分类,第3号,40(1991)·Zbl 0816.20016号
[18] Humphreys,James E.,Chevalley群的普通和模块表示法(1976)·Zbl 0341.20037号
[19] Isaacs,I.M.,有限群的特征理论(1976)·Zbl 0337.20005号
[20] Isaacs,I.M。;马勒,G。;纳瓦罗,G.,麦凯猜想的一个约化定理,发明。数学。,170, 33-101 (2007) ·Zbl 1138.20010号 ·doi:10.1007/s00222-007-0057-y
[21] Malle,Gunter,广义Deligne-Losztig字符,J.代数,159,1,64-97(1993)·Zbl 0812.20024号 ·doi:10.1006/jabr.1993.1147
[22] Maslowski,J.,《Lie型群中的等变特征双宾语》(2010)
[23] Sorlin、Karine、Eléments réguliers et représentations de Gelfand-Graev des groupes réductilfs non-connexes、Bull。社会数学。法国,132,2157-199(2004年)·Zbl 1059.20017号
[24] Späth,B.,定义特征的归纳McKay条件,预印本·Zbl 1251.20020号
[25] Springer,T.A.,线性代数群(2009)·Zbl 1202.20048号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。