×

关于斯坦伯格表示的张量。 (英语) Zbl 1472.20094号

作者在以下环境中工作。设(k)是一个具有正特征的代数闭域,设(G)是(k)上的一个简单的单连通代数群格式。相对于最大环面(T),设(X)是基本权重为(varpi_i)、主导权重为(X_+)的权重格,并且\[X_r=\{\lambda\在X_+\mid 0\leq\langle\lambda中,\alpha^\vee\rangle<p^r,\;对于所有\alpha\text{简单根}\}\]对于X_+\中的每一个\(lambda\),都有\(G\)-modules \(nabla(\lambda)=\text{ind}^G_B\lambda_)、Weyl modules \。作者主要关注的是,当(G)模块良好的过滤,这意味着它有一个\(G\)-过滤,其部分的形式为\(nabla(\lambda)\),以及一个相关的概念良好\(p,r)\)-过滤定义见第1.2节。他们对良好过滤的关注源于S.Donkin的一个猜想。
猜想1。设(M)是有限维(G)模。则\(M\)具有良好的\((p,r)\)-过滤当且仅当\(\text{圣}_r\otimes M)具有良好的过滤性能。
其中\(\text{圣}_r=L((p^r-1)\sum_i\varpi_i)\)是\(r^\text{th}\)Steinberg模块特别是,作者注意到\[M\text{有一个好的}(p,r)\text{-过滤}\Rightarrow\text{圣}_r\otimes M\text{具有良好的过滤功能。}\]等于\(\text{圣}_r\otimes L(\lambda)\)对所有\(在X_+\中为\lambda\)具有良好的过滤性能。因此,它们显示了对\(\text的良好过滤{圣}_r\存在otimes L(\lambda)
(i)
\(p\geq 2h-4\)其中\(h\)是\(G\)的Coxeter数,
(ii)
\(G\)为2级,
(iii)
\(p\geq 3)和(lambda=\varpi_i)是基本权重,
(iv)
在各种情况下,当\(\text{rank}(G)\leq5\)。
结果(i)是对先前已知界的改进,即对(p\geq 2h-2)的语句。
在简要回顾了第2节中的定义和已知结果后,本文第3节为{圣}_r\有时M\)在以下方面具有良好的过滤广义Frobenius收缩函子,作者从中定义和投影函子[J.C.Jantzen先生代数群的表示。普罗维登斯,RI:美国数学学会(AMS)(2003;Zbl 1034.20041号)]. 这些条件在第4节中应用,以获得结果(i)和(ii)。同样在第4节中,作者建立了结果(iii),这实际上也适用于大多数组,当(p=2)。当(p=2)时,它可能不成立的情况是类型\(E_7)和\(E_8),作者列出了可能导致阻塞的基本权重。第(iv)点的结果跨越第5和第6节。在第5节中,作者使用计算机代数系统LiE和Magma来验证小素数和秩为3、4和5的群的结果。第6节重点讨论了当(p=2)和(G)为(A_5)或(E_7)类型时的情况,其中(A_5\)情况是主要焦点。由于本文之前的技术不足,因此在这些情况下使用了内部子模块结构的详细分析。作者乐观地认为,在这些情况下对他们的技术进行进一步研究,将有助于深入了解猜想1的一般情况。本文的结论是第7节,它定义了(G_r)的Hopf代数(k[G_r]\)和(G\)的Frobenius核的(r^\text{th}\)上的(G\-模结构,并考虑了何时{圣}_r\otimes k[G_r]\)具有良好的过滤性能。

MSC公司:

20G05年 线性代数群的表示理论
20世纪10年代 线性代数群的上同调理论
20世纪15年代 任意域上的线性代数群

软件:

岩浆LiE公司
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Andersen,HH,G/B上线团的第一个上同调群,发明。数学。,51, 287-296 (1979) ·Zbl 0417.20038号 ·doi:10.1007/BF01389921
[2] Andersen,HH,G/B上齐次向量丛上同调的Frobenius态射,数学年鉴,112113-121(1980)·Zbl 0421.20016 ·doi:10.2307/1971322
[3] Andersen,HH,p-过滤和Steinberg模块,J.代数,244664-683(2001)·Zbl 0989.20033号 ·doi:10.1006/jabr.2000.8745
[4] Andersen,HH,简化代数群的Steinberg联系类,Ark.Mat.,56,2,229-241(2018)·Zbl 1477.20079号 ·doi:10.4310/ARKIV.2018.v56.n2.a2
[5] 安徒生,HH;Jantzen,JC,代数群诱导表示的上同调,数学。年鉴,269487-525(1984)·Zbl 0529.20027 ·doi:10.1007/BF01450762
[6] Donkin,S.,有理模块过滤,数学。蔡司。,177, 1-8 (1981) ·Zbl 0455.20029号 ·doi:10.1007/BF01214334
[7] Donkin,S.,《关于代数群的倾斜模》,数学。宙特。,212, 39-60 (1993) ·兹伯利0798.20035 ·doi:10.1007/BF02571640
[8] Donkin,S.,关于无穷小子群坐标代数上半单群的伴随作用的注记,J.代数,519253-272(2019)·Zbl 1405.20034号 ·doi:10.1016/j.jalgebra.2018.11.001
[9] 加里波第,S。;RM Guralnick;Nakano,DK,全球不可约Weyl模,J.代数,477,69-87(2017)·兹比尔1427.20062 ·doi:10.1016/j.jalgebra.2016.11.038
[10] 格罗斯,M。;Kaneda,M.,《Frobenius和Steinberg模块合同》,阿肯色州材料,56,319-332(2018)·Zbl 1504.14080号 ·doi:10.4310/ARKIV.2018.v56.n2.a7
[11] J.E.Humphreys,《李代数和表示理论导论》,《数学研究生教材》,施普林格-弗拉格出版社,纽约,1972年·Zbl 0254.17004号
[12] J.C.Jantzen,Darstellungen halbeinfacher algebraischer Gruppen und zugeordnete kontravariante Formen,波恩。数学。Schr.公司。67(1973),v+124 pp·Zbl 0288.17004号
[13] J.C.Jantzen,经典李代数的第一个上同调群,in:有限群和有限维代数的表示理论(Bielefeld,1991),《数学进展》,第95卷,Birkhäuser,巴塞尔,1991年,第289-315页·Zbl 0749.17020号
[14] J.C.Jantzen,《代数群的表示》,第二版,《数学调查与专著》,第107卷,美国数学学会,普罗维登斯,RI,2003年·Zbl 1034.20041号
[15] 基迪特夫特,T。;Nakano,DK,关于有理G-模的良好(p,r)过滤,J.代数,423,702-725(2015)·Zbl 1312.20039号 ·doi:10.1016/j.jalgebra.2014.09.030
[16] 文学硕士van Leeuwen;科恩,AM;Lisser,B.,LiE,李群计算包(1992),阿姆斯特丹:荷兰计算机代数
[17] F.Lübeck,权重乘数表,http://www.math.rwth-aachen.de/弗兰克。Luebeck/chev/WMSmall/index.html·Zbl 1462.20007号
[18] W.Bosma,J.Cannon,C.Playout,《岩浆代数系统I:用户语言》,J.Symb。公司。3/4(1997),编号:24235-265·Zbl 0898.68039号
[19] Mathieu,O.,《G模块的过滤》,《科学年鉴》。Ecole标准。补充,23,625-644(1990)·Zbl 0748.20026号 ·doi:10.24033/asens.1615
[20] 巴沙尔,BJ;Scott,LL,《关于Weyl模块的p-过滤》,J.London Math。Soc.,91227-158(2015)·Zbl 1325.20039号 ·doi:10.1112/jlms/jdu067
[21] Pillen,C.,限制最大重量模的张量积,《通信代数》,213647-3661(1993)·Zbl 0792.17008号 ·doi:10.1080/00927879308824754
[22] Premet,AA;Suprunenko,ID,Weyl模和基本最大权辛群的不可约表示,《公共代数》,11309-1342(1983)·Zbl 0573.20040号 ·doi:10.1080/00927878308822907
[23] S.Riche,G.Williamson,倾斜模和p-正则基,阿斯特里斯克(2018),第397期,ix+184页·Zbl 1437.20001号
[24] Ringel,CM,在拟遗传代数上具有良好过滤的模类几乎具有分裂序列,Math。Z.,208,209-223(1991)·Zbl 0725.16011号 ·doi:10.1007/BF02571521
[25] L.L.Scott,特征p中的表示,in:有限群圣克鲁斯会议(加州大学,加州圣克鲁斯分校,1979年),Proc。交响乐。纯数学。,第37卷,美国。数学。Soc.,普罗维登斯,RI,1980年,第319-331页·Zbl 0458.20039号
[26] Sobaje,P.,On(P,r)-过滤和倾斜模块,Proc。阿默尔。数学。Soc.,146,5,1951-1961(2018)·Zbl 1428.2004年12月 ·doi:10.1090/proc/13926
[27] 佐治亚大学VIGRE代数组,《李型有限群的第一上同调:具有小主权的简单模》,《AMS汇刊》365(2013),1025-1050·Zbl 1295.20059号
[28] 威廉姆森,G.,舒伯特微积分和扭转爆炸,J.Amer。数学。Soc.,30,4,1023-1046(2017)·Zbl 1380.20015号 ·doi:10.1090/jams/868
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。