×

有限型交换阶梯上持久性模块的矩阵方法。 (英语) Zbl 1456.55004号

域(K)上交换梯形上的持久性模(M)可以用形式的(K)-向量空间和(K)–线性映射的交换图来标识\[\开始{数组}{cccccc}W_1和\xleftrightarrow{\phi_1}和W_2和\xleaftrighartrow{\fhi_2}和\cdot&W_{n-1}&xleftrightarrow{\phi_{n-1}}&W_n\\\hspace{6pt}\uparrow{F_1}&&hspace}6pt}\ uparrow{F_2}&&空间{6pt}\uparrow{F_{n-1}\\V_1和\x左箭头{\psi_1}和V_2和\x右箭头{\psi_2}和\t&V_{n-1}&xleftrightarrow{\psi_{n-1}}&V_n\结束{数组}\]其中每个水平箭头都有一个指定的方向,即\(\左箭头\)或\(\右箭头\)。箭头的方向(\tau_i)必须与(psi_i)的方向相同,序列(\tau=(\tau_1,\tots,\tau_{n-1}))称为阶梯的方向。在Z字形持久同源语言中,图中的每一水平行都是一个(τ)模[G.卡尔森V.de Silva(德席尔瓦),找到。计算。数学。10,第4期,367–405(2010年;兹比尔1204.68242)]. 任何这样的模都可以写成形式为\({\mathbb I}[a,b]\)的区间\(\tau\)-模的直和,其中\。在此基础上,从图的底行到顶行的映射确定了矩阵(Phi(M))。在假设(n\leq 4)的前提下,作者提出了一种Smith范式风格的简化算法(Phi(M))。然后可以从结果矩阵中提取\(M\)的持久性图。

MSC公司:

55N31号 持久同源性及其应用,拓扑数据分析
55-08 代数拓扑问题的计算方法
16G20峰会 箭图和偏序集的表示
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Assem,I.,Simson,D.,Skowronñski,A.:结合代数表示理论的要素1,表示理论的技术。剑桥大学出版社,剑桥(2006)·Zbl 1092.16001号 ·doi:10.1017/CBO9780511614309
[2] Carlsson,G.,de Silva,V.:曲折的坚持。已找到。计算。数学。10, 367-405 (2010) ·Zbl 1204.68242号 ·doi:10.1007/s10208-010-9066-0
[3] Carlsson,G.,de Silva,V.,Morozov,D.:锯齿形持久同调和实值函数。程序。Ann 25号交响乐团。计算。几何。ACM(2009)·Zbl 1380.68385号
[4] Carlsson,G.,Zomordian,A.:多维持久性理论。离散计算。几何。42(1), 71-93 (2009) ·Zbl 1187.55004号 ·doi:10.1007/s00454-009-9176-0
[5] Chistov,A.,Ivanyos,G.,Karpinski,M.:有限维代数上模的多项式时间算法。1997年符号和代数计算国际研讨会论文集。ACM(1997)·Zbl 0918.16001号
[6] Crawley-Boevey,W.W.:关于驯服代数和bocses。程序。伦敦。数学。Soc.3451-483(1988)·Zbl 0661.16026号 ·doi:10.1112/plms/s3-56.3.451
[7] Edelsbrunner,H.,Letscher,D.,Zomordian,A.:拓扑持久性和简化。离散计算。几何。28, 511-533 (2002) ·Zbl 1011.68152号 ·doi:10.1007/s00454-002-2885-2
[8] Escolar,E.G.,Hiraoka,Y.:有限类型交换阶梯上的持久性模块。离散计算。几何。55, 100-157 (2016) ·Zbl 1411.16011号 ·doi:10.1007/s00454-015-9746-2
[9] Gabriel,P.:Unzerlegbare Darstellungen I.手稿数学。6, 71-103 (1972) ·Zbl 0232.08001号 ·doi:10.1007/BF01298413
[10] Green,E.L.,Heath,L.S.,Struble,C.A.:构造同态空间和自同态环。J.塞姆。计算。32, 101-117 (2001) ·Zbl 1045.16007号 ·doi:10.1006/jsco.2001.0454
[11] Lux,K.M.,Szõke,M.:计算有限维代数上的模的分解。实验数学。16(1), 1-6 (2007) ·Zbl 1131.16024号 ·doi:10.1080/10586458.2007.10128988
[12] Lux,K.M.,Szőke,M.:计算有限维代数上模之间的同态空间。实验数学。12(1), 91-98 (2003) ·Zbl 1048.16029号 ·网址:10.1080/10586458.2003.10504714
[13] Rojter,A.V.:矩阵问题和BOCS的表示。表征理论I,数学课堂讲稿831,第288-324页。柏林施普林格(1980)·Zbl 0473.18006号
[14] Zomorodian,A.,Carlsson,G.:计算持久同源性。离散计算。几何。33(2), 249-274 (2005) ·Zbl 1069.55003号 ·doi:10.1007/s00454-004-1146-y
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。