交叉积群代数有限维数问题的一点注记

设G是一个有限群,k是一个代数闭域且k的特征不整除G的阶.Λ是一个扭kG-模代数,Λ*G是一个交叉积代数.该文证明Λ*G和Λ具有相同的有限维数,且同时满足有限维数猜想定理.     

(AF)代数的稳定同构定理

O.Bratteli推广J.Glimm的一致超有限(UHF)代数,而引入(AF)代表.虽然Bratteli也给出(AF)代数的同构定理,但这个定理使用起来并不容易.G.A.Elliott引入维数群的概念,在[3,4]中,均谈到这样的稳定同构定理: 设A,B是(AF)代数,G(A),G(B)分别是A,B的维数群,则G(A)序同构于G(B),必须且只须,A K*同构于B K,这里K是可分Hilbert空间中全连续算子全体的c~*-代数.     

斜群代数的截断代数和平凡扩张

主要讨论有限群G=N×MSL(3,C)的McKay箭图,及其对应的斜群代数∧V*G的截断箭图和截断代数的性质,证明了当3|(n+1),3|r时,其特殊截断代数的平凡扩张与斜群代数∧V*G同构.     

斐波那契数列在表示论中的几类范畴化及其在复杂度上的应用

本文给出斐波那契数列和广义斐波那契数列在代数表示论中的范畴化的几个例子.作为应用,利用斐波那契数列的指数增长性的方法证明外代数的斜群代数的有限生成模范畴modΛV*G的子范畴并不一定保持复杂度.     

T-函子与超曲面

本文通过讨论\textbf{T}-函子在不变理想上的作用,首先证明了\textbf{T}-函子在不稳定代数范畴中只能降低嵌入维数,并推导出\textbf{T}-functor在不稳定代数范畴中保持超曲面的结论. 把上面结果应用到不变式理论,我们用新方法证明了下面的结论:当一个有限群的不变式为超曲面时,它稳定子群的不变式仍然是超曲面. 最后文章通过几个反例指出当一个群的稳定子群或者Sylow $p$-子群的不变式为超曲面时,该群本身的不变式不一定是超曲面.     

关于单纯代数群的李代数的限制上同调群

设g是特征数p>2,3的代数闭域k上的单连通单纯代数群的李代数,V是有限维限制g-模,本文得到了关于限制上同调群H_*~1(g,V)的维数估计式,证明了当V的权都不是根或0时,H_*~1(g,V)=0。特别,当g=sl(2,k)和V是不可约(限制)g-模时,进一步决定了H_*~1(g,V)的结构,情况与特征数为0时相反,它们不总是为0。     

扭平凡扩张与表示维数

设k是代数闭域,∧是k上基本有限维连通Koszul自入射代数.本文首先证明:如果∧满足有限生成(FG)假设,那么存在∧的k-代数自同构σ0使得关于∧-双模D∧~(σ0)的扭平凡扩张T(∧~(σ0))=∧×D∧~(σ0)亦满足FG假设.由此得到,在∧满足FG假设的条件下,(1)T(A~(σ0))的表示维数大于等于∧的复杂度加2;(2)设G是∧的k-代数自同构群Aut_k(∧)的有限子群,且其阶在∧中可逆.如果对于任意的g∈G都有σ0g=gσ0,那么斜群代数∧*G的扭平凡扩张代数T((∧*G)~(σ0))的表示维数大于等于∧的复杂度加2.     

扭平凡扩张与表示维数北大核心CSCD

设k是代数闭域,∧是k上基本有限维连通Koszul自入射代数.本文首先证明:如果∧满足有限生成(FG)假设,那么存在∧的k-代数自同构σ0使得关于∧-双模D∧^(σ0)的扭平凡扩张T(∧^(σ0))=∧×D∧^(σ0)亦满足FG假设.由此得到,在∧满足FG假设的条件下,(1)T(A^(σ0))的表示维数大于等于∧的复杂度加2;(2)设G是∧的k-代数自同构群Aut_k(∧)的有限子群,且其阶在∧中可逆.如果对于任意的g∈G都有σ0g=gσ0,那么斜群代数∧*G的扭平凡扩张代数T((∧*G)^(σ0))的表示维数大于等于∧的复杂度加2.     

Gorenstein子范畴与相对奇点范畴

令A是阿贝尔范畴, T是A的一个自正交子范畴, 且T中每个对象均有有限投射维数和内射维数. 假设左Gorenstein子范畴lG(T)等于T的右正交类,且右Gorenstein子范畴rG(T)等于T的左正交类,我们证明了Gorenstein子范畴$G(T)$等于T的左正交类与T的右正交类之交,并且证明了它们的稳定范畴三角等价于A关于T的相对奇点范畴.作为应用,令$R$是有有限左自内射维数的左诺特环, $_RC_s$是半对偶化双模,且所有内射左$R$-模的平坦维数的上确界有限, 我们证明了 若$\mbox{}_RC$有有限内射（平坦）维数且$C$的右正交类包含$R$,则存在从$C$-Gorenstein投射模与关于$C$的Bass类的交到关于$C$-投射模的相对奇点范畴间的三角等价,推广了某些经典的结果.     

迹稳定秩1的C*-代数的稳定有限性与弱迹稳定秩1

主要给出了迹稳定秩1的C*-代数的稳定有限性,证明了如果A是有单位元迹稳定秩1的C*-代数,则A是稳定有限的,引入了弱迹稳定秩1的定义,并且证明了如果有单位元的C*-代数A是迹稳定秩1的,则A是弱迹稳定秩1的.对于单的具有SP性质的有单位元的C*-代数A,如果A是弱迹稳定秩1的,则A是迹稳定秩1的.同时给出了迹稳定秩1的C*-代数的一个等价条件,证明了一个有单位元的可分的C*-代数A是迹稳定秩1的,等价于A=(t4)limn→∞(An,Pn),其中tsr(AN)=1.