D4^（3）型仿射Chevalley代数的理想

设R是具有恒等元的可换环,J.F.Hurley在1969年与1981年分别对有限维复单李代数及k=1的仿射李代数L研究了相应的Chevalley代数L_R=RL_z的理想结构。本文用D.Mitzman获得的对k=2,3型仿射李代数之Chevalley基,推广Hurley的结果,给出了R上D_4~((3))型仿射Chevalley代数L_R的理想结构。用正合列C→RC_0→L_R→L_R→0,它归结为loop代数L_R=L(g,σ)R的理想结构,我们得到: 设2,3不是R中的零因子,P=R[t~3;t~(-3)]并记L_p=L_R,则对L_p的任一非零理想I,必存在P中理想J,使得6JL_pIJL_p,特别当R是特征零的域时,则I=JL_P(该结果与Kac在1983年得到的结果一致)。     

关于仿射超代数U_k

H.Garland对仿射李代数g(A)的普遍包络代数U(g(A))构造了一个Z-形式U_z,从而对任何域K,定义了g(A)的仿射超代数U_k([2]).本文对U_k,进一步定义适当的不可约U_k-模L(λ),从而如[6]中那样,证明了L(λ)与支配权λ之间的一一对应.此外,对J.E.Humphreys在U_k中定义的子代数u_n(n∈Z~ )获得了一组基.     

仿射李代数g_K(■)的一族Chevalley群G~λ(k)之U.C.E.

设g(A)是单李代数,G_v(K)是有限维不可约g(A)-模V相应的域K上Chevalley群。在K>4及(Φ,|K|)≠(A_1,9)时,Steinberg给出了所有G_v(K)的一个普遍中心扩张(简记为U.C.E.) 对仿射李代数g(?),当Char K=0,Morita给出了与g(?)相应的一族Chevalley群F_v((?),K)的U.C.E.本文将Morita的结果推广到CharK≠2及(Φ,K)≠(A_1,9),对Garland定义的一族Chevalley群G~λ(K),给出了它们的U.C.E.     

关于仿射超代数U_k

H.Garland对仿射李代数g(A)的普遍包络代数U(g(A))构造了一个Z-形式U_Z,从而对任何域K,定义了g(A)的仿射超代数U_k([2])。本文对U_k,进一步定义适当的不可约U_k—模L(λ),从而如[6]中那样,证明了L(λ)与支配权λ之间的一一对应。此外,对J.E.Humphreys在巩中定义的子代数u_n(n∈Z~+)获得了一组基。     

仿射Chevalley代数的中心

设R是具有恒等元的可换环,在[1]、[2]中.J.F.Hurley对R上Chevalley代数gR=Rg.计算了它们的中心. 本文,对仿射李代数g(A)[3].我们得到了R上仿射Chevllcy代数g_R=Rg_(A)[4]的中心C_R:C_R=Rh_C_R (R-模直和)其中:h_是张成g(A)的一维中心之生成元C_R是R上loop代数R[t,t~(-1)]g_z的中心由此知道.在中心扩张:0→Rh_→g_R→R[t,t~(-1)]g_z→0中,若对环R作适当限制,则Rh_就是g_R的中心,这一结果.与[5]中获得的关于g_R的全部“理想”结构是一致的;若去掉对环R的限制,则Rh_被真正包含在g_R的中心C_R里.