有限维Leavitt路代数的分次双代数结构①

2023-06-25 05:16蒋秋晴王正攀
关键词:有向图底图同态

蒋秋晴, 王正攀

西南大学 数学与统计学院,重庆 400715

Leavitt代数是文献[1]给出的不满足基数不变性的一个典型例子, 一般记作LK(1,n), 其中n是正整数, K是一个域. Leavitt路代数是基于有向图定义的满足一定生成关系的一类代数, 是Leavitt代数的自然推广, 由文献[2-3]各自独立引入. Leavitt路代数与Bergman代数、 图C*-代数、 半群等若干类代数有着密切联系, 近些年受到了广泛关注, 有限维Leavitt路代数是一类半单代数[4-8].

Hopf代数的分类, 是代数学者长期关注的重要问题, 近年来, Hopf代数也在组合研究领域中崭露头角[9]. 有限维半单代数上有丰富的Hopf代数结构[10-11], 相关研究在Hopf代数的分类中举足轻重, 有向图也是研究Hopf代数分类问题的手段之一[12-13]. 有限维Leavitt路代数作为半单代数自然也有Hopf代数结构, 但Leavitt路代数同时具有整数分次结构(Z-分次结构)[14], 其上是否具有Z-分次的Hopf代数结构尚不清楚, 本文给出了有限维Leavitt路代数具有Z-分次双代数结构的充要条件.

(a) 结合性:m(I⊗m)=m(m⊗I);

(b) 单位性:m(I⊗μ)=s2,m(μ⊗I)=s1;

(c) 余结合性: (I⊗Δ)Δ=(Δ⊗I)Δ;

(d) 余单位性:s2(I⊗)Δ=I=s1(⊗I)Δ;

则称B是一个K-双代数, 记μ(1K)=1, 则1是B的单位元[15]. 若B=⨁n∈ZBn是K-双代数, 且满足:

(i)BiBj⊆Bi+j(∀i,j∈Z);

(ii) ΔBn⊆⨁i+j=nBi⊗Bj(∀n,i,j∈Z);

则称B是Z-分次K-双代数.

r′(e)=r(e)r′(e*)=s(e)s′(e)=s(e)s′(e*)=r(e)

(V)uv=δu,vv(∀u,v∈Γ0);

(E1)s(e)e=er(e)=e(∀e∈Γ1);

(E2)r(e)e*=e*s(e)=e*(∀e∈Γ1);

(CK1)e*e′=δe,e′r(e)(∀e,e′∈Γ1);

称Γ为LK(Γ)的底图. 对∀v∈Γ0,e∈Γ1, 定义

deg(v)=0 deg(e)=1 deg(e*)=-1

则LK(Γ)形成Z-分次K-双代数.

一些简单的底图上的Leavitt路代数同构于我们熟知的若干代数. 例如, 全矩阵代数Mn(K)同构于LK(Γ1), 其中n为正整数,Γ1为有向n-线性图, 即由n个顶点、n-1条首尾相连的边形成的有向图. 又如, 劳伦多项式代数K[x,x-1]同构于LK(Γ2), 其中(Γ2)0={v}, (Γ2)1={e}, 且s(e)=r(e)=v. 再如, Leavitt代数LK(1,n)同构于LK(Γ3), 其中n为大于1的正整数, 且(Γ3)0={v}, (Γ3)1={e1, …,en}, 对∀i=1,…,n, 有s(ei)=r(ei)=v.

另外, 有限维Leavitt路代数含有单位元, 且同构于某一个分块矩阵代数[5,16].

引理2若Leavitt路代数LK(Γ)是有限维K-代数, 则必存在Γ′是有限个有限线性图的并, 使得LK(Γ)≃LK(Γ′).

引理3若Γ是有限个有限线性图的并, 则B={ρ,ρ*:ρ∈Path(Γ)}是LK(Γ)的一个K-基.

定理1有限维Leavitt路代数形成Z-分次双代数当且仅当其底图含有孤立点.

证据引理2、 引理3, 假设Γ是有限个有限线性图的并, 且B是由Γ的路径形成的LK(Γ)的K-基.

必要性已知LK(Γ)具有Z-分次双代数结构. 因为是代数同态, 所以

(v)=1

且对∀v∈Γ0, 有(vv)=(v)(v)=(v), 即(v)∈{0, 1}. 故存在唯一的u∈Γ0, 使得对∀v∈Γ0, 有(v)=δuv. 下证u是孤立点, 否则, 必存在e∈Γ1, 使得s(e)=u或r(e)=u. 不妨假设s(e)=u. 注意到u≠r(e), 有(ee*)=(e)(e*)=(u)=1, 即(e)≠0. 另一方面(e)=(er(e))=(e)(r(e))=0, 矛盾. 因此,u为孤立点.

充分性若Γ含孤立点, 令B=B1∪ + B2, 其中B1={v1, …,vt}为Γ的孤立点集. 任取β∈B{vt}, 定义

(vt)=1(β)=0

(1)

以下仅需分别验证双代数的定义中的(c),(d),(e)3条.

(d)任取vi∈B1, 有

任取β∈B2, 有

即s1(⊗I)Δ=I=s2(I⊗)Δ.

任取β∈B2, 基于(1)式可得

即(Δ⊗I)Δ=(I⊗Δ)Δ.

Δ是代数同态. 任取λ,γ∈B, 若λ,γ∈B1, 则

即Δ(λγ)=Δ(λ)Δ(γ). 若λ,γ∈B2, 当λγ=0时, 显然Δ(λγ)=0=Δ(λ)Δ(γ); 当λγ≠0时, 则存在κ∈B2使得κ=λγ, 且

即Δ(λγ)=Δ(κ)=Δ(λ)Δ(γ). 当λ,γ不同时在B1或B2时, 显然Δ(λγ)=0=Δ(λ)Δ(γ). 总之, 对∀λ,γ∈B, Δ(λγ)=Δ(λ)Δ(γ).

综上所述, (LK(Γ),m,μ, Δ,)可形成Z-分次双代数.

猜你喜欢
有向图底图同态
一种基于实际GIS底图的精准计费方式探究
有向图的Roman k-控制
关于半模同态的分解*
拉回和推出的若干注记
科研院所底图管理模式转型研究
超欧拉和双有向迹的强积有向图
关于超欧拉的幂有向图
一种基于LWE的同态加密方案
企业底图档案的归档管理
HES:一种更小公钥的同态加密算法