×

图LP代数的根簇。 (英语) Zbl 1514.13024号

本文研究了由树图生成的一类Laurent现象(LP)代数,并证明了由树的顶点参数化的特殊种子集合的正性(定理1.1)。作者还构造了超T路径,并给出了一个组合公式,用于写下簇变量相对于每个特殊种子集合的正Laurent表达式(定理1.2)。
Laurent现象(LP)代数,由引入T.Lam公司P.皮利亚夫斯基【剑桥数学杂志,第4期,第121-162页(2016年;Zbl 1430.13036号)],是簇代数的推广。与簇代数类似,LP代数也由称为群集变量,它们被分组为大小相同的重叠集合,称为集群簇是由突变关联的,但LP代数中的突变不是由箭控制的,而是由多项式集合控制的。

更准确地说,让(R)是一个UFD,让(X_1,dots,X_n)是形式变量的集合。设\(\mathcal{F}:=\mathrm{Frac}(R)(X_1,\dots,X_n)\)。A类种子\(t)是一个集合((x_i,F_i){i=1}^n),其中(x_1,dots,x_n)构成了(mathcal,F})的超越基础,对于每个(i),(F_i是(R[x1,dotes,x_i-1},x{i+1},does,x_n]\)中的不可约多项式,不能被任何一个(x_j)整除。对于任何给定的种子(t)和任何索引(k),可以突变\(t),并获得一个新种子(t’=mu_k(t))(详见第3页)。现在从一个初始种子(t_0)开始,人们可以在任何有限的步骤中以所有可能的方式变异(t_0。
作者考虑的特殊LP代数族称为图LP代数,它们的构造如下。设\(\Gamma\)是一个无向图,其中顶点用\(1,2,\点,n\)标记,使得任何一对顶点之间最多有一条边。然后得出结论:(Gamma)的关联矩阵(c_{ij})是一个对称矩阵,其条目为(0)或(1);我们还通过约定定义了\(c{ii}=0\)。我们将两个形式变量\(A_i\)和\(X_i\)关联到\(\Gamma\)的每个顶点\(i\)。设\(R:=\mathbb{Z}[A_1,\dots,A_n]\)为系数环{答}_\Gamma是由初始种子生成的LP代数_{ij}X_j)\}\).
正如Lam和Pylayavskyy所证明的那样{答}_\Gamma)由\(\Gamma\)的连接子集参数化。要定义它们,请考虑矩阵\(mathfrak{N}=(N_{ij})\),其中\[n_{ij}=\left\{\begin{array}{ll}\frac{A_i+\sum_kc_{ik}X_k}{X_i}&\text{if\(i=j\)}\\-1&\text{if\(c_{ij}=1\)}\\0&\text{否则}。\结束{array}\右键。\]对于(Gamma)顶点的任何子集(S\subset\{1,2,\dots,n\}),我们定义(Y_S)为由(S\)索引的行和列所跨越的子矩阵的行列式。然后,\(\mathcal)中的任何非初始集群变量{答}_\对于某些(S),Gamma的形式为(Y_S),因此由(S)跨越的完整子图是连通的。
在Lam和Pylayavskyy的同一篇论文中,他们还证明了图LP代数中的种子可以由\(\Gamma\)的最大嵌套子图集合参数化。对于图\(\Gamma\)嵌套集合\(\mathcal{S}=\{S_1,S_2,\dotes,S_k\})是顶点集(\{1,2,\potes,n\}\)的子集集,满足以下条件之一:(1)对于任何\(i,j\),下列条件之一为真:\(S_i\子集S_j\)、\(S_i \ supset S_j\}\)是两两不相交的,那么它们中的每一个都是由\(\bigcup{j=1}^lS_{ij}\)中的顶点跨越的完整子图中的一个连接组件。嵌套集合\(\mathcal{S}=\{S_1,S_2,\dots,S_k\}\)称为最大如果\(\bigcup{i=1}^kS_i\)覆盖\(\Gamma\)中的所有顶点,并且没有任何其他嵌套集合包含\(\mathcal{S}\)作为适当的子集。请注意,任何最大嵌套集合的大小都与顶点集的大小相同。
现在给定(1,2,点,n)的子集(T),让(Gamma_T)是由(T)跨越的(Gamma)的完整子图。设\(\mathcal{S}\)是\(\Gamma_T\)的最大嵌套集合。定义\(C_{T,\mathcal{S}}:=\{X_i\}_{i\notinT}\cup\{Y_S\}__{S\in\mathcal{S}}\)。\(\mathcal中的所有簇{答}_\伽玛射线)的形式为(C_{T,\mathcal{S}}),用于选择\(T\)和\(\mathcal{S}\)。
作者考虑的图LP代数是与树图相关联的图。对于树图\(\Gamma\),有一个特殊的最大嵌套集合\(\mathcal{S} _v(_v)\)为每个顶点\(v\)定义。详细地说,设\(v\)是树图\(\Gamma\)的一个固定顶点(该数据相当于有根的树). 由于假设\(Gamma\)是树,对于任何其他顶点\(j),从\(v)到\(j。注意,\(v\)是关于这个偏序的唯一最大元素。现在,对于每个\(i\),我们定义\(i_i:=\{j\mid-j\leqi\}\)。然后\(\mathcal{S} _v(_v):=\{I_I\}_{I=1}^n)通过构造是\(\Gamma\)的最大嵌套集合。这又定义了一个集群\(C_v=\{Y_S\mid S\in\mathcal{S} _v(_v)\}\)图LP代数{答}_\伽马射线)。这些簇\(C_v \)称为根簇.
通过显式计算,作者证明了对于树图LP代数\(\mathcal{答}_\Gamma)和固定根簇\(C_v\),任何簇变量\(X_i\)(推论3.4)和任何簇变量\(Y_S\)(定理3.8)都可以用\(C_v\)中的簇变量表示为Laurent多项式积极的系数。这两个定理结合起来证明了第一个主要定理,即定理1.1。
对于Dynkin型A的簇代数,Schifler引入了T路,给出了一个组合公式,用以写出任意簇变量相对于固定簇的Laurent多项式展开式。在第四节中,作者将(A)型簇代数的T路推广到超T路径对于具有选定根簇(C_v)的树图LP图,利用这些超T路给出了任意簇变量(Y_S)相对于簇变量(C_v\)的Laurent多项式展开的组合公式,证明了另一个主要定理定理1.2。然而,超T路径的定义(定义4.3)有点复杂,读者需要一些时间才能完全理解该结构。
在最后一节中,作者讨论了一些可能的未来研究方向,以及将其结果推广到更一般的案例中的一些障碍。

MSC公司:

13层60 簇代数
2016年5月 群和代数的组合方面
05C70号 具有特殊属性的边子集(因子分解、匹配、分区、覆盖和打包等)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 有限型簇代数的Bazier-Matte、V’eronique和Chapelier-Laget、Nathan和Douville、Guillaume和Mousavand、Kaveh和Thomas、Hugh和Yildrm、Emine、{ABHY}结合面体和牛顿多项式
[2] 布里奇兰德、汤姆、散点图、,{H} 全部代数与稳定性条件,代数几何,4,5,523-561,(2017)·Zbl 1388.16013号 ·doi:10.14231/2017-027
[3] Buan,Aslak Bakke和Marsh,Robert和Reineke,Markus和Reiten,Idun和Todorov,Gordana,倾斜理论和集群组合学,数学进展,204,2,572-618,(2006)·Zbl 1127.16011号 ·doi:10.1016/j.aim.2005.06.003
[4] Chapoton,Fr’ed’eric,广义结合面体的计数性质,《联合体的Lotharingien de Combinatoire》,51,第B51b条,16页,(2004)·Zbl 1160.05342号
[5] Chapoton,Fr’ed’eric和Fomin,Sergey和Zelevinsky,Andrei,广义结合面体的多面体实现,加拿大数学公报。加拿大数学公报,45,4,537-566,(2002)·兹比尔1018.52007 ·doi:10.4153/CBM-2002-054-1
[6] Fock,Vladimir V.和Goncharov,Alexander B.,《集群集成、量化和二对数》,《科学年鉴》。Quatri\`eme S\'erie,42,6,865-930,(2009)·Zbl 1180.53081号 ·doi:10.24033/asens.2112
[7] Fock,V.V.和Goncharov,A.B.,《星团系综、量子化和双对数》。{II}。{T} 他交织器、代数、算术和几何:荣誉{Y} 美国。{一} ●●●●。 {M} 亚宁, {五} 其他。{I},程序。数学。,269655-673,(2009),Birkh“auser Boston,马萨诸塞州波士顿·Zbl 1225.53070号 ·doi:10.1007/978-0-8176-4745-2_15
[8] Fomin、Sergey和Thurston、Dylan、Cluster代数和三角曲面,{P} 艺术{II}:{五十} ambda公司长度,《美国数学学会回忆录》,2551223,v+97页,(2018)·Zbl 07000309号 ·doi:10.1090/memo/1223
[9] Fomin,Sergey和Zelevensky,Andrei,簇代数。{我}。{F} 基础《美国数学学会杂志》,第15、2、497-529页,(2002年)·Zbl 1021.16017号 ·doi:10.1090/S0894-0347-01-00385-X
[10] Fordy,Allan P.和Hone,Andrew,《离散可积系统和{P} 伊森来自簇映射的代数,数学物理中的通信,325,2527-584,(2014)·Zbl 1344.37076号 ·doi:10.1007/s00220-013-1867-y
[11] 塞巴斯蒂·弗朗哥{a} n个,二分场理论:来自{D} -膜散射振幅探测,高能物理杂志,2012年,11,141页,49页,(2012)·兹比尔1397.81239 ·doi:10.1007/JHEP11(2012)141
[12] Gekhtman,Michael和Shapiro,Michael和Vainstein,Alek,簇代数和{W} 爱尔兰{P} 埃特森形式,杜克数学杂志,127,2,291-311,(2005)·Zbl 1079.53124号 ·doi:10.1215/S0012-7094-04-12723-X
[13] Gekhtman、Michael和Shapiro、Michael and Vainshtein、Alek、Cluster代数和{P} 伊森几何、数学。调查专题。,167,xvi+246,(2010),美国。数学。佛罗里达州普罗维登斯Soc·Zbl 1217.13001号 ·doi:10.1090/surv/167
[14] Gross,Mark and Hacking,Paul and Keel,Sean,簇代数的双有理几何,代数几何,2,2137-175,(2015)·Zbl 1322.14032号 ·doi:10.14231/AG-2015-007
[15] Gunawan,Emily和Musiker,Gregg,{(T\)}型簇代数的路径公式和原子基,SIGMA。对称性、可积性和几何。方法与应用,11060,46页,(2015)·Zbl 1350.13023号 ·doi:10.3842/SIGMA.2015.060
[16] Ingalls,Colin和Thomas,Hugh,非交叉分割和箭袋表示,Compositio Mathematica,145,6,1533-1562,(2009)·兹比尔1182.16012 ·doi:10.1112/S0010437X09004023
[17] Keller,Bernhard,集群代数,箭矢表示和三角范畴,三角范畴,伦敦数学。Soc.课堂讲稿Ser。,37576-160(2010),剑桥大学出版社,剑桥·Zbl 1215.16012号 ·doi:10.1017/CBO9781139107075.004
[18] Keller,Bernhard,对的周期性猜想{D} 伊金图表,数学年鉴。第二辑,177,111-170,(2013)·Zbl 1320.17007号 ·doi:10.4007/年鉴.2013.177.1.3
[19] Lam,Thomas和Pylayavskyy,Pavlo,Laurent现象代数,剑桥数学杂志,4,1,121-162,(2016)·Zbl 1430.13036号 ·doi:10.4310/CJM.2016.v4.n1.a2
[20] Lam,Thomas和Pylyavskyy,Pavlo,线性{五十} 金现象代数,国际数学研究通告。IMRN,2016,10,3163-3203,(2016)·Zbl 1404.13028号 ·doi:10.1093/imrn/rnv237
[21] Musiker、Gregg和Ovenhouse、Nicholas和Zhang、Sylvester W.,《装饰超级的扩张公式》-{T} 艾奇姆\“uller空间,SIGMA。对称性,可积性和几何。方法和应用,17,080,34页,(2021)·Zbl 1484.30048号 ·doi:10.3842/SIGMA.2021.080
[22] Musiker、Gregg和Schifler、Ralf,《簇展开公式和完美匹配》,《代数组合学杂志》。《国际期刊》,32,2,187-209,(2010)·Zbl 1246.13035号 ·doi:10.1007/s10801-009-0210-3
[23] Musiker,Gregg和Schifler,Ralf和Williams,Lauren,《曲面簇代数的正性》,《数学进展》,227,6,2241-2308,(2011)·Zbl 1331.13017号 ·doi:10.1016/j.aim.2011.04.018
[24] Reiten,Idun,倾斜理论和拟倾斜代数{一} 国际性的 {C} 女歌手第页,共页{M} 无神论者, {V} ol。{二}({B} 厄林1998年),《数学文献》,第3卷,第二附加卷,109-120,(1998年)·Zbl 0906.16002号
[25] Schifler,Ralf,A集群扩展公式({\(A_n\)}案例),组合数学电子杂志,15,1,64,9页,(2008)·Zbl 1184.13064号 ·数字对象标识代码:10.37236/788
[26] Schifler,Ralf,关于由未穿孔曲面产生的簇代数。{II},《数学进展》,223,61885-1923,(2010)·Zbl 1238.13029号 ·doi:10.1016/j.aim.2009.10.015
[27] Schifler,Ralf和Thomas,Hugh,《关于由未穿孔曲面产生的簇代数》,《国际数学研究通告》。IMRN,2009,17,3160-3189,(2009)·Zbl 1171.30019号 ·doi:10.1093/imrn/rnp047
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。