×

对\(\mathfrak)不可约表示的恒等式的共字符有界{sl}_2(\mathbb{C})\)。 (英语) Zbl 1517.16023号

让\(L=\mathfrak{sl}_2(mathbb{C})是复数上的三维简单李代数。本文作者研究了(L)的不可约f.d.表示的多项式恒等式的数值不变量。(L)表示的恒等式首先由于。P.拉兹米斯洛夫【Transl.,Ser.2,Am.Math.Soc.140,101-109(1988;Zbl 0658.17014号);代数翻译,作品集。,dedic。O.余。Shmidt,Moskva 1982,139-150(1982)],另见[于。P.拉兹米斯洛夫代数的恒等式及其表示。Transl.公司。A.M.Shtern的《俄文》。Transl.公司。编辑:Simeon Ivanov。普罗维登斯,RI:美国数学学会(1994;兹比尔0827.17001)]. 在研究特征0中的多项式恒等式时,可以只考虑多线性恒等式。给定度的多重线性恒等式在对称群(S_n)上形成一个模,并应用(S_n的表示理论来研究恒等式的理想。另一种等效的方法通常要好得多。众所周知,(S_n)的表示和一般线性群的多项式表示{总账}_ m(\mathbb{C})\)是用相同的术语描述的,并且是相互“对偶”的。设\(\rho\)是\(L\)的不可约表示,设\(I(L,\rho)\)是(\rho \)的理想恒等式。换句话说,这是对((V,L)(或(V,rho))的弱恒等式的理想,其中\(rho\冒号L\到V\)。作者研究了(I(L,rho))的共字符序列。本文的主要定理指出,在“非恒等式”的多线性部分的分解中出现的唯一非零不可约模对应于最多三个部分的划分。如果\(\dim V=d\),则这些重数由\(3^{d-2}\)限定。
应该注意的是,如果考虑2阶全矩阵代数的普通恒等式,那么它的余元没有有界重数。(尽管对于每一个PI代数(A),出现在其协变量中的不可约模的重数是多项式有界的。)作者证明了在情况\(\dim V=d\)下,存在一个重数,即\(\ge d-1\);因此,我们不能期望任何统一(独立于\(d))界限。

MSC公司:

16R30型 迹环和不变量理论(结合环和代数)
16兰特 \(T)-理想、恒等式、结合环和代数的变种
17B01型 恒等式,自由李(超)代数
17对20 单、半单、约化(超)代数
20立方 有限对称群的表示
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Aljadeff E,Giambruno A,Procesi C,Regev A.多项式恒等式环和有限维代数。AMS学术讨论会出版物:第66卷。美国罗得岛州普罗维登斯:美国数学学会,2020年·Zbl 1471.16001号
[2] Berele A,Regev A.钩杨图在P.I.代数中的应用。代数杂志1983;82: 559-567. ·Zbl 0517.16013号
[3] da Silva Macedo DL,Koshlukov P.弱多项式恒等式和PI指数非整性的余维增长。2020年爱丁堡数学学会会刊;63: 929-949. ·Zbl 1468.17005号
[4] Domokos M.矩阵值sl2(C)的伴随物。arXiv:2112.06882。
[5] Domokos M,Drensky V.3×3不对称矩阵李代数弱多项式恒等式的共特征。2020年数学进展;374:论文编号:107343·Zbl 1459.16023号
[6] Drensky V.T-理想的余维和相对自由代数的Hilbert级数。代数杂志1984;91: 1-17. ·Zbl 0552.16006号
[7] Drensky V.自由代数和PI-代数。Springer-Verlag,新加坡,2000年·Zbl 0936.16001号
[8] Drensky V.弱多项式恒等式及其应用。数学传播2021;29: 291-324. ·Zbl 1487.16030号
[9] Formanek E.不变量和泛型矩阵环。代数杂志1984;89: 178-223. ·Zbl 0549.16008号
[10] Gordienko AS。李代数表示的多项式恒等式的余维。2013年美国数学学会会刊;141:3369-3382·兹比尔1337.17008
[11] 麦克唐纳IG。对称函数和霍尔多项式。牛津:牛津大学出版社(克拉伦登出版社),1979年,第二版,1995年·Zbl 0487.20007号
[12] Procesi C.使用2×2矩阵进行计算。代数杂志1984;87: 342-359. ·兹伯利0537.16013
[13] 拉兹米斯洛夫·尤普。特征零域上二阶矩阵代数恒等式的有限基。代数i Logika 1973;12:83-113(俄语。英语翻译:代数和逻辑1973;12:47-63)·Zbl 0282.17003号
[14] 拉兹米斯洛夫·尤普。关于卡普兰斯基的一个问题。Izvestiya Akademii Nauk SSSR 1973;Seriya Matematicheskaya 37:483-501(俄语,英语翻译:Math.USSR.Izv.1973;7:479-496)·Zbl 0314.16016号
[15] 拉兹米斯洛夫·尤普。特征零域上简单三维李代数表示恒等式的有限基性质。包含:代数、工作集、。,迪迪奇。O.Yu。莫斯科施密特1982139-150(俄语)。英语翻译:美国数学学会翻译:1988年第二辑;140:101-109)·Zbl 0531.17007号
[16] 拉兹米斯洛夫·尤普。代数的恒等式及其表示。莫斯科,瑙卡,1989年。(俄语。英语翻译:数学专著翻译138,普罗维登斯,RI,美国:AMS,1994)·Zbl 0827.17001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。