Δ-tame拟遗传代数

设(K,M,H)是上三角双模问题,Brüstle和Hille证明了(K,M,H)的矩阵范畴Mat(K,M)的投射生成子P的自同态代数的反代数A是拟遗传代数,而且代数A的Δ好模范畴与Mat(K,M)等价．本文基于双模问题的tame定理,证明了如果由上三角双模问题所对应的拟遗传代数A是Δ-tame表示型的,则F(Δ)具有齐次性质,即F(Δ)中的几乎所有的模都同构于它的Auslander-Reiten变换;进一步地,如果(K,M,H)是上三角双分双模问题,则A是Δ-tame表示型的当且仅当F(Δ)具有齐次性质．     

△-tame拟遗传代数

设(K,M,H)是上三角双模问题,Br(u)stle和Hille证明了(K,M,H)的矩阵范畴Mat(K,M)的投射生成子P的自同态代数的反代数A是拟遗传代数,而且代数A的△好模范畴与Mat(K,M)等价.本文基于双模问题的tame定理,证明了如果由上三角双模问题所对应的拟遗传代数A是△-tame表示型的,则F(△)具有齐次性质,即F(△)中的几乎所有的模都同构于它的Auslander-Reiten变换;进一步地,如果(K,M,H)是上三角双分双模问题,则A是△-tame表示型的当且仅当F(△)具有齐次性质.     

B(H)上Jordan同构的一个代数不变量:幂等元的集合*

令B(H)表示无限维复Hilbert空间H上的所有有界线性算子组成的代数, I(H)是B(H)中所有幂等元的集合.设Φ:B(H)→B(H) 是满射.证明了对任意的λÎ{-1,1,2,3,1/2,1/3}及A, BÎB(H),映射Φ满足条件A-λ BÎI(H)ÛΦ(A)-λΦ(B)ÎI(H)当且仅当Φ是 B(H)的Jordan环自同构,即存在H上的连续可逆线性或共轭线性算子 T, 使得Φ(A)=TAT^-1对所有的 AÎB(H)成立,或 Φ(A)=TA^*T^-1对所有的 AÎB(H)成立. 令i表示虚数单位,进而如果Φ也满足条件A-iBÎI(H)ÛΦ(A)-iΦ(B)ÎI(H),则Φ是自同构,或是反自同构.     

G-旋模型观测量代数间的C*-指标

在取值于有限群G的二维格子旋系统模型中, 可以定义场代数F. 群G的Double代数D(G), 进而由子群H决定的子Hopf代数D(G;H), 在F上有自然作用, 使得F成为模代数. 给出F的D(G; H)-不变子空间A_H的具体结构, 通过构造A_H到A_G的条件期望γ_G的拟基, 得到γ_G的C^*-指标, 等于子群H在G中的指标.     

Tubular 代数与仿射Kac-Moody 代数

在Tubular代数A的退化合成Lie代数L(A)₁^C上构造商代数,证明商代数同构于对应的仿射Kac-Moody 代数.还证明了由单模生成的退化合成Lie代数L(A)₁^C与 由实根模生成的Lie代数 L_re(A)₁^C 是一致的.     

L型Lie代数中元素的中心化子

研究L型Lie代数中元素的中心化子的构成, 得到L型代数L (A, α, δ)为半单代数的一个充分条件; 在单Lie代数L (A, α, δ)中Z (ω)=Fω成立的条件, 其中"ω∈L (A, α, δ), Z (ω)是ω在L (A, α, δ)中的中心化子.     

正合Borel子代数的旗导出的强共轭作用

设拟遗传代数A有强正合Borel子代数. 证明了对$A$的任意标准半单子代数S,均存在A的正合Borel子代数B, 使得S是B的极大半单子代数. 由正合Borel子代数构成的旗的最大长度等于A的半径与其Grothendick群的秩之差加1. 正合Borel子代数的共轭类惟一当且仅当A是basic代数;正合Borel子代数的共轭类个数为2当且仅当A是半单代数.非basic非半单拟遗传代数的正合Borel子代数的共轭类个数或者为0或者不小于3. 正合Borel子代数的内自同构群诱导出在A上的强共轭作用, 其全体的集合与$A$的全体极大半单子代数之集合的强轨道的集合一一对应. 所有正合Borel子代数彼此是基共轭的, 即若B与C均是A的正合Borel子代数, 则存在A的幂等元e及可逆元u, 使得eCe=u^-1eBeu.     

扩张代数的recollement

A是任意域k上的有限维代数. 证明了: 若无界导出模范畴D^-(Mod-A) 允许有关于有限维k-代数B和C的无界导出模范畴 D^-(Mod-B) 和D^-(Mod-C) 的对称的recollement 则A的平凡扩张代数T(A)的无界导出模范畴 也允许有如下对称的recollement:     

扩张下表示的不变性质

讨论半单Hopf代数上经cleft扩张后的代数表示的不变性质. 首先,解释了cleft扩张的概念,并给出cleft扩张和交叉积之间的联系(交叉积是解决问题的基本方法). 然后,利用这些关系证明了: 当k是代数闭域, H是一个有限维的半单k代数时, 对一个有限维k代数, 其H-cleft扩张下的代数表示型是不变的. 另一方面证明了: 当k是任意域, H是一个有限维的半单k-Hopf代数,对一个根是H稳定的k代数,其Nakayama性质在H-cleft扩张下也是不变的.     

乘法酉算子的Kac-系统的刻画

设V为可分Hilbert空间H上的乘法酉算子,V对应B(H)的两个子代数A(V)和V在满足V₂=I的条件下,得到Baaj与Skandalis主要定理的充要条件：即V有Kac-系统当且仅当这两个C^*-代数乘积的线性闭包为紧算子空间;同时还得到一对量子群.     

不可分解性与链环数

设(K,M)是由有限维代数Λ诱导的线性矩阵问题,那么R(K,M) 中的一个n×n矩阵M是不可分解的当且仅当M的典范型中的链环数等于(M-dimn-1).另一方面,M的自同态环的维数等于K-dimn-σ( M).     

可递Lie代数胚1阶上同调群的局部化

对连通流形M上可递Lie代数胚A的任意一个向量丛F上的表示, 研究一个称作局部化的同调群的同态¡ ^k: H^k (A, F)→H^k (L_x, F_x), 其中L_x是在x∈M处的伴随Lie代数. 主要结果是: 当底流形M单连通或者H⁰(L_x, F_x)平凡时, ¡¹是单射, 即Lie代数胚A的1阶上同调群由在点x∈M处伴随Lie代数 的1阶上同调群完全决定.     

量子效应的下确界问题

Hilbert空间H上的一个量子效应A是满足0≤A≤I的正算子, 简称为效应A, 用E(H)表示所有效应构成的集合. Hilbert空间上两个效应的下确界问题是确定在何种条件下效应A和B∈E(H)的下确界A∧B存在.本文用算子谱理论的方法, 给出了两个效应A,B∈E(H)存在下确界A∧B的充分和必要的条件, 从而完全解决了该问题.     

Woronowicz C*代数交叉积的正则与协变表示

A是Woronowicz C^*代数, G是作用于其上的离散群, 主要证明了它们的交叉积代数A×_αG的正则表示和协变表示都对应于乘法酉算子,同时证明了正则协变的C^*代数也是一个对应乘法酉算子的Woronowicz C^*代数,最后给出了C(SU_q(2)×_αZ对应的乘法酉算子的一个明确表示.     

高维非Euclid几何的几个基本不等式

通过提出n维双曲空间Hⁿ中有限点集 Σ_n(H(A))共超球的概念和n维球面空间Sⁿ 中有限点集Σ_n(S(A))共超平面的概念,使得n维双曲空间Hⁿ(或球面空间Sⁿ)中共超球(或共超平面)的有限点集Σ_n(H(A))(或Σ_n(S(A)))的Cayley-Menger矩阵 (或的秩不超过n+2. 再利用特征根的方法,建立了n维双曲空间和球面空间中的杨-张型不等式、Neuberg-Pedoe型不等式以及度量加型不等式,这些几何不等式分别是n维双曲空间和球面空间中的基本不等式.另外,也提出了与此相关的一些问题和猜想.     

有限交换齐次循环群的增广商群的结构

令G是有限交换群, 并且它的Sylow p-子群是阶为p^r的循环群的直和,即G是一个有限交换齐次循环群. 令Δⁿ(G)表示增广理想Δ(G)的n次幂. 对每个自然数n本文给出了连续商群Q_n(G)=Δⁿ(G)/Δⁿ⁺¹(G)的结构, 并由此解决了有关这类有限交换群的Karpilovsky未解决问题.     

非正规 Cayley 图的两个充分条件及其应用

群G的Cayley图Cay(G, S)称为是正规的, 如果G的右正则表示R(G)在Cay(G, S)的全自同构群中正规. 给出了非正规 Cayley图的两个充分条件. 应用该结果, 构造了5个连通非正规Cayley图的无限类, 并决定了A₅的所有连通5度非正规 Cayley图,从而推广了徐明曜和徐尚进关于A₅的连通3、4度Cayley图正规性结果. 此外, 决定了A₅的所有连通5度非CI Cayley图.     

强Θ类算子生成的C*-代数及其K-理论

本文研究由强类算子T生成的C^*-代数,证明了C^*(T)的换子理想I(T)是一列*同构于C₀(Z⁰)上n阶矩阵代数的n齐次代数和的闭包,特别当T完全非正常时,I(T)与C₀(Z₀)K(l²)*同构。本文第二部分得到完全非正常强类算子的谱与其近似点谱相等的一些等价条件,并计算了由该类算子生成的C^*-代数的一些K群。     

Green公式和代数的遗传性

设Λ是有限域k上的有限维代数, 证明了在molΛ中Green公式成立当且仅当Λ是遗传代数.     

Gorenstein平坦(余挠)维数和Hopf作用

设H是域k上的有限维Hopf代数,A是左H-模代数.本文研究了Gorenstein平坦（余挠）维数在A-模范畴和A#H-模范畴之间的关系.利用可分函子的性质,证明了（1）设A是右凝聚环,若A#H/A可分且φ：A→A#H是可裂的（A,A）-双模同态,则l：Gwd（A）=l：Gwd（A#H）;（2）若A#H/A可分且φ：A→A#H是可裂的（A,A）-双模同态,则l：Gcd（A）=l：Gcd（A#H）,推广了斜群环上的结果.