×

\具有对合的分次超矩阵代数的(K)-理论分类。 (英语) Zbl 1453.16045号

本文主要结果的核心可以表述为“如果(Gamma)是一个阿贝尔群,则分次Grothendieck群(K^{mathrm{gr}}_0)完全分类了分次超矩阵代数(*\)-分次代数(a\),使得(1)(a \)的每个非平凡分次分量有一个幺正元素(即元素\(a),这样\(aa^*=a^*a=1))和(2)零成分\(a_0 \)”。也就是说,如果(R\)和(S\)是(A\)上的分次超矩阵代数(*\)-代数,并且(f:K^{mathrm{gr}}_0(R)到K^{mathrm{gr}}_00(S)是压缩的(mathbb{Z}[\Gamma]\)-模同构(即,(f\)保持了具有单半群的(K^{(\mathcal{V}^{\mathrm{gr}}(R)\)将有限生成的分次射影模的分次同构类作为正锥和(f)满足(f([R])leq[S]),然后显式地构造了分次代数(*)同构(varphi:R到S),使得(K^{mathrm{gr}}_0(varphi)=f\)。
一个(Gamma)分次环(A)连同对合(*:A到A)被称为一个(Gamma)分级环(*),如果(A_Gamma^*=A_{-\Gamma}\)对每个(Gamma\ in \Gamma\),其中(A_\Gamma^*=A_\Gamma中的A^*\mida^*\)。为了感兴趣的读者,一个(Gamma)-分次(*)-环可以等价地描述为Hopf代数(mathbb{Z}[\Gamma]\)上不一定是酉余模代数,以及余模代数(*:a\到a^{mathrm{op}}\)的同构由\(a\mapsto a\otimes S(\gamma)\)为所有\(a\ in a_\gamma\)和所有\(gamma\ in \gamma\)提供。如果一个(Gamma)-graded(*\)-ring(A\)是可交换的,并且每个齐次元素都有一个乘法逆,那么它就是一个(Gamma)-graded-field。
环是(Gamma)-graded(*\)-field(A\)上的分次超矩阵代数,如果(R\)是分次矩阵-(*\{垫}_{n_1}(A)\oplus\cdots\oplus\mathsf{垫}_{n_k}(A),具有适当的分级),使得包合物(R_nsubsteq R_{n+1})对于任何(n)都是分级的(*)-同态(不一定是幺正的)。
分次Grothendieck群\(K^{\mathrm{gr}}}_0\)被定义为半群\(\mathcal{V}^{\mathrm{gr}}(R)\)的群完备(见[D.奎伦,in:群的上同调与代数\(K\)理论。2007年7月1日至3日,中国杭州,国际暑期学校关于群上同调和代数理论的论文选集。马萨诸塞州萨默维尔:国际出版社;北京:高等教育出版社。413–478 (2010;Zbl 1198.19001号)]用于一般施工)。它既有一个天然的\(\mathbb{Z} _2\)-作用(对于分次(*\)域上的分次超矩阵代数来说,这变得微不足道)和自然(Gamma)作用。有人说,如果(K^{mathrm{gr}}_0)中的任何分次(*\)-代数(R\)和(S\)都是同构的,那么它在分次(*)-代数的类中完全分类(*\{Z} _2])\)-双模同构\(K^{mathrm{gr}}_0(R)\congK^{\mathrm}}_0(S)\)。
我们指出,主要结果中关于(A)的假设与同构是(*)-同构严格相关。通过将群(Gamma)视为平凡和/或忽略对合结构(*),作者在更一般的领域中恢复了一些已知结果(参见4.7到4.11的推论)。
作为最后一个应用,作者证明了如果(E)和(F)是可数的、行有限的、不退出的图,其中每个无限路都以汇或圈结束,如果(K)是一个(2)-真域和(*)-毕达哥拉斯域,那么Leavitt路代数是(L_K(E))和(L_K(F)\)只有当它们与分次代数同构(这是所谓广义强同构猜想的一个实例)时,才与分次环同构(如果有)。

MSC公司:

16周50 分次环和模(结合环和代数)
16宽10 对合环;Lie、Jordan和其他非结合构造
16周99 具有附加结构的结合环和代数
16S88型 莱维特路代数
16D70型 模、双模和理想的结构和分类(16Gxx除外),结合代数中的直接和分解和对消
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] G.Abrams和G.Aranda Pino,图的Leavitt路代数,J.代数293(2005),第2期,319-334。;艾布拉姆斯,G。;Aranda Pino,G.,图的Leavitt路代数,J.代数,293,2,319-334(2005)·Zbl 1119.16011号
[2] G.Abrams、G.Aranda Pino、F.Perera和M.Siles Molina,Leavitt路代数的链条件,数学论坛。22(2010),第1期,95-114。;艾布拉姆斯,G。;阿兰达·皮诺,G。;佩雷拉,F。;Siles Molina,M.,莱维特路径代数的链条件,论坛数学。,22, 1, 95-114 (2010) ·Zbl 1194.16011号
[3] G.Abrams和M.Tomforde,图代数的同构和Morita等价,Trans。阿默尔。数学。Soc.363(2011),第7期,3733-3767。;艾布拉姆斯,G。;Tomforde,M.,图代数的同构和Morita等价,Trans。阿默尔。数学。Soc.,363,7,3733-3767(2011年)·Zbl 1230.16012号
[4] P.Ara,*-正则环上的矩阵环和伪秩函数,太平洋数学杂志。129(1987),第2期,209-241。;Ara,P.,《*-正则环上的矩阵环与伪秩函数》,太平洋数学杂志。,129, 2, 209-241 (1987) ·兹伯利0669.16012
[5] P.Ara,M.A.Moreno和E.Pardo,图代数的非稳定K-理论,代数。代表。理论10(2007),第2期,157-178。;Ara,P。;莫雷诺,硕士。;Pardo,E.,图代数的非稳定K-理论,代数。代表。理论,10,2,157-178(2007)·Zbl 1123.16006号
[6] G.Aranda Pino,K.Rangaswamy和L.Vaš,*-任意图的正则Leavitt路代数,数学学报。罪。(英文系列)28(2012),编号5,957-968。;阿兰达·皮诺,G。;Rangaswamy,K。;Vaš,L.,*-任意图的正则Leavitt路代数,Acta Math。罪。(英文版),28,5,957-968(2012)·Zbl 1279.16003号
[7] G.Aranda Pino和L.Vaš,Noetherian Leavitt路代数及其正则代数,Mediter。数学杂志。10(2013),第4期,1633-1656。;阿兰达·皮诺,G。;Vaš,L.,Noetherian Leavitt路代数及其正则代数,Mediter。数学杂志。,10, 4, 1633-1656 (2013) ·Zbl 1308.16004号
[8] A.A.Baranov,对合单结合代数和相应维群的直接极限的分类,《代数杂志》381(2013),73-95。;Baranov,A.A.,对合单结合代数和相应维群的直接极限的分类,J.代数,381,73-95(2013)·Zbl 1302.16037号
[9] S.K.Berberian、Baer*-rings、Grundlehren Math。威斯。195年,施普林格,纽约,1972年。;柏柏尔语,S.K.,贝尔语(1972年)·Zbl 0242.16008号
[10] S.K.小檗碱,贝尔环和贝尔环,预印本(1988)<element-citation publication-type=“other”>小檗碱、S.K.Baer rings和Baer\(*\)-rings 1988年预印https://www.ma.utexas.edu/mp_arc/c/03/03-181.pdf ·Zbl 0534.16011号
[11] K.R.Davidson,C^*-代数示例,Fields Inst.Monogr。6,美国数学学会,普罗维登斯,1996年。;Davidson,K.R.,C^*-代数示例(1996)·Zbl 0958.46029号
[12] G.A.Elliott,《关于半单有限维代数序列的归纳极限的分类》,《代数杂志》38(1976),第1期,第29-44页。;Elliott,G.A.,《关于半单有限维代数序列的归纳极限的分类》,J.Algebra,38,1,29-44(1976)·Zbl 0323.46063号
[13] J.Gabe,E.Ruiz,M.Tomforde和T.Whalen,《Leavitt路代数的K-theory:计算和分类》,J.Algebra 433(2015),35-72。;Gabe,J。;鲁伊斯,E。;托姆福德,M。;Whalen,T.,莱维特路径代数的K理论:计算和分类,代数杂志,433,35-72(2015)·Zbl 1319.16006号
[14] K.R.Gooderl,Von Neumann Regular Rings,第二版,Robert E.Krieger,Malabar,1991年。;Gooderl,K.R.,Von Neumann正则环(1991)·Zbl 0749.16001号
[15] K.R.Goodearl和D.E.Handelman,有限维半单实代数的环和C^*代数直接极限的分类,Mem。阿默尔。数学。Soc.69(1987),编号372,1-147。;Gooderl,K.R。;Handelman,D.E.,环的分类和有限维半单实代数的C^*-代数直接极限,Mem。阿默尔。数学。《社会学杂志》,69,372,1-147(1987)·Zbl 0629.46053号
[16] D.Handelman,应用于有限Baer环的协调,Trans。阿默尔。数学。《社会分类》235(1978),1-34。;Handelman,D.,应用于有限Baer环的协调,Trans。阿默尔。数学。学会,235,1-34(1978)·Zbl 0369.46053号
[17] R.Hazrat,分次Grothendieck群和Leavitt路代数的分类,数学。Ann.355(2013),第1期,273-325。;Hazrat,R.,分次Grothendieck群和Leavitt路代数的分类,数学。Ann.,355,1,273-325(2013)·Zbl 1262.16047号
[18] R.Hazrat,《Leavitt路代数的分级结构》,以色列数学杂志。195(2013),第2期,833-895。;Hazrat,R.,莱维特路径代数的分级结构,以色列数学杂志。,195, 2, 833-895 (2013) ·Zbl 1308.16005号
[19] R.Hazrat,分级环和分级Grothendieck群,伦敦数学。Soc.课堂讲稿Ser。435,剑桥大学出版社,剑桥,2016。;Hazrat,R.,分级环和分级Grothendieck群(2016)·Zbl 1390.13001号
[20] Z.Mesyan和L.Vaš,半群环和Leavitt路代数上的迹,Glasg。数学。J.58(2016),第1期,97-118。;Mesyan,Z。;Vaš,L.,半群环和Leavitt路代数上的迹,Glasg。数学。J.,58,1,97-118(2016)·Zbl 1350.16019号
[21] N.Prijatelj和I.Vidav,《关于特殊正则环》,密歇根数学。J.18(1971),213-221。;Prijatelj,N。;Vidav,I.,关于特殊\(*\)-正则环,密歇根数学。J.,18,213-221(1971)·Zbl 0216.33402号
[22] D.Quillen,高等代数K-理论。一、 代数K理论。I: 高等K理论(西雅图,1972年),《数学讲义》。341,柏林施普林格(1973),85-147。;Quillen,D.,《高等代数K-理论》。一、 代数K理论。一: 高等K理论,85-147(1973)·Zbl 0292.18004号
[23] E.Ruiz和M.Tomforde,无限图的酉单Leavitt路代数的分类,J.代数384(2013),45-83。;鲁伊斯,E。;Tomforde,M.,无限图的酉单Leavitt路代数的分类,J.代数,384,45-83(2013)·Zbl 1336.16005号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。