Pub Date : 2024-08-30DOI: 10.1016/j.jalgebra.2024.08.010
Vasily A. Dolgushev
-shadows [8] are tantalizing objects that can be thought of as approximations of elements of the mysterious Grothendieck-Teichmueller group introduced by V. Drinfeld in 1990. -shadows form a groupoid whose objects are finite index subgroups of the pure braid group , that are normal in . The goal of this paper is to describe the action of -shadows on Grothendieck's child's drawings and show that this action agrees with that of . We discuss the hierarchy of orbits of child's drawings with respect to the actions of , , and the absolute Galois group of rationals. We prove that the monodromy group and the passport of a child's drawing are invariant with respect to the action of the subgroupoid of charming -shadows. We use the action of -shadows on child's drawings to prove that every Abelian child's drawing admits a Belyi pair defined over . Finally, we describe selected examples of non-Abelian child's drawings.
{"title":"The action of GT-shadows on child's drawings","authors":"Vasily A. Dolgushev","doi":"10.1016/j.jalgebra.2024.08.010","DOIUrl":"10.1016/j.jalgebra.2024.08.010","url":null,"abstract":"<div><p><span><math><mi>GT</mi></math></span>-shadows <span><span>[8]</span></span> are tantalizing objects that can be thought of as approximations of elements of the mysterious Grothendieck-Teichmueller group <span><math><mover><mrow><mi>GT</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></math></span> introduced by V. Drinfeld in 1990. <span><math><mi>GT</mi></math></span>-shadows form a groupoid <span><math><mi>GTSh</mi></math></span> whose objects are finite index subgroups of the pure braid group <span><math><msub><mrow><mi>PB</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>, that are normal in <span><math><msub><mrow><mi>B</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>. The goal of this paper is to describe the action of <span><math><mi>GT</mi></math></span>-shadows on Grothendieck's child's drawings and show that this action agrees with that of <span><math><mover><mrow><mi>GT</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></math></span>. We discuss the hierarchy of orbits of child's drawings with respect to the actions of <span><math><mi>GTSh</mi></math></span>, <span><math><mover><mrow><mi>GT</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></math></span>, and the absolute Galois group <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>Q</mi></mrow></msub></math></span> of rationals. We prove that the monodromy group and the passport of a child's drawing are invariant with respect to the action of the subgroupoid <span><math><msup><mrow><mi>GTSh</mi></mrow><mrow><mo>♡</mo></mrow></msup></math></span> of charming <span><math><mi>GT</mi></math></span>-shadows. We use the action of <span><math><mi>GT</mi></math></span>-shadows on child's drawings to prove that every Abelian child's drawing admits a Belyi pair defined over <span><math><mi>Q</mi></math></span>. Finally, we describe selected examples of non-Abelian child's drawings.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142150737","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-30DOI: 10.1016/j.jalgebra.2024.08.018
Ryo Takahashi
Let R be a commutative noetherian ring. Denote by the bounded derived category of finitely generated R-modules. Extending the notion of a proxy small object of in the sense of Dwyer, Greenlees, Iyengar and Pollitz, we introduce the notion of a proxy small thick subcategory of . When R is a locally dominant ring, we give a complete classification of the proxy small thick subcategories of in terms of pairs of specialization-closed subsets of Spec R and Sing R.
设 R 是交换诺特环。用 Db(R) 表示有限生成的 R 模块的有界派生范畴。从 Dwyer、Greenlees、Iyengar 和 Pollitz 的意义上扩展了 Db(R) 的代理小对象的概念,我们引入了 Db(R) 的代理小厚子类的概念。当 R 是局部显环时,我们给出了 Db(R) 的代理小厚子类的完整分类,即 Spec R 和 Sing R 的成对特化封闭子集。
{"title":"Proxy small thick subcategories of derived categories","authors":"Ryo Takahashi","doi":"10.1016/j.jalgebra.2024.08.018","DOIUrl":"10.1016/j.jalgebra.2024.08.018","url":null,"abstract":"<div><p>Let <em>R</em> be a commutative noetherian ring. Denote by <span><math><msup><mrow><mi>D</mi></mrow><mrow><mi>b</mi></mrow></msup><mo>(</mo><mi>R</mi><mo>)</mo></math></span> the bounded derived category of finitely generated <em>R</em>-modules. Extending the notion of a proxy small object of <span><math><msup><mrow><mi>D</mi></mrow><mrow><mi>b</mi></mrow></msup><mo>(</mo><mi>R</mi><mo>)</mo></math></span> in the sense of Dwyer, Greenlees, Iyengar and Pollitz, we introduce the notion of a proxy small thick subcategory of <span><math><msup><mrow><mi>D</mi></mrow><mrow><mi>b</mi></mrow></msup><mo>(</mo><mi>R</mi><mo>)</mo></math></span>. When <em>R</em> is a locally dominant ring, we give a complete classification of the proxy small thick subcategories of <span><math><msup><mrow><mi>D</mi></mrow><mrow><mi>b</mi></mrow></msup><mo>(</mo><mi>R</mi><mo>)</mo></math></span> in terms of pairs of specialization-closed subsets of Spec <em>R</em> and Sing <em>R</em>.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162678","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-30DOI: 10.1016/j.jalgebra.2024.07.056
Danli Huang, Ling Liu, Jiafeng Lü
We first generalize the cohomology of -operators on BiHom-associative algebras by construct a graded Lie-algebra, in which the Maurer-Cartan elements are characterized by the given -operator, and show that the cohomology represents the Hochschild cohomology of a certain BiHom-associative algebra with coefficients in a bimodule. Next, we study the linear and formal deformations of -operators on BiHom-associative algebras, which are controlled by the Hochschild cohomology. Finally, as applications, we introduce the deformations of BiHom-associative r-matrices and infinitesimal BiHom-bialgebras on certain regular BiHom-associative algebras.
首先,我们通过构建一个分级李代数,其中的毛勒-卡尔坦元素由给定的 O 运算符表征,从而概括出 BiHom-associative 代数上 O 运算符的同调,并证明该同调代表了具有双模子系数的某个 BiHom-associative 代数的霍赫希尔德同调。接下来,我们研究了 O 操作数在 BiHom-associative 代数上的线性变形和形式变形,这些变形都受霍赫希尔德同调的控制。最后,作为应用,我们介绍了 BiHom-associative r 矩和无穷小 BiHom 双桥在某些正则 BiHom-associative 对象上的变形。
{"title":"The cohomology and deformations of O-operators on BiHom-associative algebras","authors":"Danli Huang, Ling Liu, Jiafeng Lü","doi":"10.1016/j.jalgebra.2024.07.056","DOIUrl":"10.1016/j.jalgebra.2024.07.056","url":null,"abstract":"<div><p>We first generalize the cohomology of <span><math><mi>O</mi></math></span>-operators on BiHom-associative algebras by construct a graded Lie-algebra, in which the Maurer-Cartan elements are characterized by the given <span><math><mi>O</mi></math></span>-operator, and show that the cohomology represents the Hochschild cohomology of a certain BiHom-associative algebra with coefficients in a bimodule. Next, we study the linear and formal deformations of <span><math><mi>O</mi></math></span>-operators on BiHom-associative algebras, which are controlled by the Hochschild cohomology. Finally, as applications, we introduce the deformations of BiHom-associative <strong>r</strong>-matrices and infinitesimal BiHom-bialgebras on certain regular BiHom-associative algebras.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142136922","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-30DOI: 10.1016/j.jalgebra.2024.07.057
Jung Won Cho , Victoria Gould , Nik Ruškuc , Dandan Yang
We show that any graph product of residually finite monoids is residually finite. As a special case we obtain that any free product of residually finite monoids is residually finite. The corresponding results for graph products of semigroups follow.
{"title":"Graph products of residually finite monoids are residually finite","authors":"Jung Won Cho , Victoria Gould , Nik Ruškuc , Dandan Yang","doi":"10.1016/j.jalgebra.2024.07.057","DOIUrl":"10.1016/j.jalgebra.2024.07.057","url":null,"abstract":"<div><p>We show that any graph product of residually finite monoids is residually finite. As a special case we obtain that any free product of residually finite monoids is residually finite. The corresponding results for graph products of semigroups follow.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162685","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-30DOI: 10.1016/j.jalgebra.2024.07.055
Juxiang Sun , Guoqiang Zhao
In this paper, we first establish relationships between Gorenstein projective modules linked by the separable equivalence of rings, and prove that Gorenstein, CM-finite and CM-free algebras are invariant under separable equivalences. Secondly, we provide a new method to produce separable equivalences. As applications, the following results are obtained. Let Λ and Γ be Artin algebras such that Λ is separably equivalent to Γ. (1) For representation-finite algebras Λ and Γ, their Auslander algebras are separably equivalent; (2) For CM-finite algebras Λ and Γ, the endomorphism algebras of their representative generators are separably equivalent. Finally, we discuss when tilted algebras are invariant under separable equivalences, and give an example to illustrate it.
在本文中,我们首先建立了由环的可分离等价联系起来的戈伦斯坦射影模块之间的关系,并证明了戈伦斯坦、CM 有限和无 CM 的代数在可分离等价下是不变的。其次,我们提供了一种产生可分离等价的新方法。作为应用,我们得到了以下结果。设Λ和Γ是阿廷代数,且Λ与Γ是可分离等价的。(1) 对于表示有限的代数式Λ和Γ,它们的奥斯兰德代数式是可分离等价的;(2) 对于 CM 有限的代数式Λ和Γ,它们的代表生成器的内定态代数式是可分离等价的。最后,我们将讨论倾斜代数在可分离等价下何时不变,并给出一个例子加以说明。
{"title":"Invariants and constructions of separable equivalences","authors":"Juxiang Sun , Guoqiang Zhao","doi":"10.1016/j.jalgebra.2024.07.055","DOIUrl":"10.1016/j.jalgebra.2024.07.055","url":null,"abstract":"<div><p>In this paper, we first establish relationships between Gorenstein projective modules linked by the separable equivalence of rings, and prove that Gorenstein, CM-finite and CM-free algebras are invariant under separable equivalences. Secondly, we provide a new method to produce separable equivalences. As applications, the following results are obtained. Let Λ and Γ be Artin algebras such that Λ is separably equivalent to Γ. (1) For representation-finite algebras Λ and Γ, their Auslander algebras are separably equivalent; (2) For CM-finite algebras Λ and Γ, the endomorphism algebras of their representative generators are separably equivalent. Finally, we discuss when tilted algebras are invariant under separable equivalences, and give an example to illustrate it.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162780","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
It is well known that for all , the group has a finite presentation given by its transvections, subject to the Steinberg relations. Also by a 1962 theorem of Trott, if n is odd then is generated by two elements, one of infinite order, and by the combined work of Tamburini, J.S. Wilson and Vsemirnov and others (from 1993 to 2021), it is now known that is generated by two elements of orders 2 and 3 precisely when . On the other hand, little appears to be known about 2-generator presentations for for . In this paper, some finite 2-generator presentations are given for , which as far as the authors are aware, are the only 2-generator finite presentations known for . Also some new generating pairs are given for for . In particular, some of these extend Trott's 1962 theorem by showing that is generated by two elements, one of order 2 and the other of infinite order, for all .
{"title":"Generating pairs for SL(n, Z)","authors":"Marston Conder , Georgina Liversidge , Maxim Vsemirnov","doi":"10.1016/j.jalgebra.2024.08.008","DOIUrl":"10.1016/j.jalgebra.2024.08.008","url":null,"abstract":"<div><p>It is well known that for all <span><math><mi>n</mi><mo>≥</mo><mn>3</mn></math></span>, the group <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> has a finite presentation given by its <span><math><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>−</mo><mi>n</mi></math></span> transvections, subject to the Steinberg relations. Also by a 1962 theorem of Trott, if <em>n</em> is odd then <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> is generated by two elements, one of infinite order, and by the combined work of Tamburini, J.S. Wilson and Vsemirnov and others (from 1993 to 2021), it is now known that <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> is generated by two elements of orders 2 and 3 precisely when <span><math><mi>n</mi><mo>≥</mo><mn>5</mn></math></span>. On the other hand, little appears to be known about 2-generator presentations for <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> for <span><math><mi>n</mi><mo>≥</mo><mn>3</mn></math></span>. In this paper, some finite 2-generator presentations are given for <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mn>3</mn><mo>,</mo><mi>Z</mi><mo>)</mo></math></span>, which as far as the authors are aware, are the only 2-generator finite presentations known for <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mn>3</mn><mo>,</mo><mi>Z</mi><mo>)</mo></math></span>. Also some new generating pairs are given for <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> for <span><math><mi>n</mi><mo>≥</mo><mn>3</mn></math></span>. In particular, some of these extend Trott's 1962 theorem by showing that <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> is generated by two elements, one of order 2 and the other of infinite order, for all <span><math><mi>n</mi><mo>></mo><mn>2</mn></math></span>.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0021869324004629/pdfft?md5=656d74ef20d0e8104f0cd832d1d8bd92&pid=1-s2.0-S0021869324004629-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142129703","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-22DOI: 10.1016/j.jalgebra.2024.07.052
Giorgio Ottaviani , Ettore Teixeira Turatti
Let f be a homogeneous polynomial of even degree d. We study the decompositions where . The minimal number of summands r is called the 2-rank of f, so that the polynomials having 2-rank equal to 1 are exactly the squares. Such decompositions are never unique and they are divided into -orbits, the problem becomes counting how many different -orbits of decomposition exist. We say that f is -identifiable if there is a unique -orbit. We give sufficient conditions for generic and specific -identifiability. Moreover, we show the generic -identifiability of ternary forms.
让 f 是偶数阶 d 的同次多项式。我们研究分解 f=∑i=1rfi2 其中 degfi=d/2 的分解。和的最小数目 r 称为 f 的 2-秩,因此 2-秩等于 1 的多项式正是正方形。这种分解从来都不是唯一的,它们被分为 O(r)-orbits ,问题是要计算存在多少个不同的 O(r)-orbits 分解。如果存在唯一的 O(r)-orbit ,我们就说 f 是 O(r)-identifiable 的。我们给出了一般和特殊 O(r)-identifiability 的充分条件。此外,我们还展示了三元形式的一般 O(r)-identifiability 。
{"title":"Generalized identifiability of sums of squares","authors":"Giorgio Ottaviani , Ettore Teixeira Turatti","doi":"10.1016/j.jalgebra.2024.07.052","DOIUrl":"10.1016/j.jalgebra.2024.07.052","url":null,"abstract":"<div><p>Let <em>f</em> be a homogeneous polynomial of even degree <em>d</em>. We study the decompositions <span><math><mi>f</mi><mo>=</mo><msubsup><mrow><mo>∑</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>r</mi></mrow></msubsup><msubsup><mrow><mi>f</mi></mrow><mrow><mi>i</mi></mrow><mrow><mn>2</mn></mrow></msubsup></math></span> where <span><math><mi>deg</mi><mo></mo><msub><mrow><mi>f</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>=</mo><mi>d</mi><mo>/</mo><mn>2</mn></math></span>. The minimal number of summands <em>r</em> is called the 2-rank of <em>f</em>, so that the polynomials having 2-rank equal to 1 are exactly the squares. Such decompositions are never unique and they are divided into <span><math><mi>O</mi><mo>(</mo><mi>r</mi><mo>)</mo></math></span>-orbits, the problem becomes counting how many different <span><math><mi>O</mi><mo>(</mo><mi>r</mi><mo>)</mo></math></span>-orbits of decomposition exist. We say that <em>f</em> is <span><math><mi>O</mi><mo>(</mo><mi>r</mi><mo>)</mo></math></span>-identifiable if there is a unique <span><math><mi>O</mi><mo>(</mo><mi>r</mi><mo>)</mo></math></span>-orbit. We give sufficient conditions for generic and specific <span><math><mi>O</mi><mo>(</mo><mi>r</mi><mo>)</mo></math></span>-identifiability. Moreover, we show the generic <span><math><mi>O</mi><mo>(</mo><mi>r</mi><mo>)</mo></math></span>-identifiability of ternary forms.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0021869324004496/pdfft?md5=d156824f16e82cf31b6b574e41ec038a&pid=1-s2.0-S0021869324004496-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142094790","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-22DOI: 10.1016/j.jalgebra.2024.08.007
I.B. Gorshkov , J. McInroy , T.M. Mudziiri Shumba , S. Shpectorov
Axial algebras are a class of commutative non-associative algebras which have a natural group of automorphisms, called the Miyamoto group. The motivating example is the Griess algebra which has the Monster sporadic simple group as its Miyamoto group. Previously, using an expansion algorithm, about 200 examples of axial algebras in the same class as the Griess algebra have been constructed in dimensions up to about 300. In this list, we see many reoccurring dimensions which suggests that there may be some unexpected isomorphisms. Such isomorphisms can be found when the full automorphism groups of the algebras are known. Hence, in this paper, we develop methods for computing the full automorphism groups of axial algebras and apply them to a number of examples of dimensions up to 151.
{"title":"Automorphism groups of axial algebras","authors":"I.B. Gorshkov , J. McInroy , T.M. Mudziiri Shumba , S. Shpectorov","doi":"10.1016/j.jalgebra.2024.08.007","DOIUrl":"10.1016/j.jalgebra.2024.08.007","url":null,"abstract":"<div><p>Axial algebras are a class of commutative non-associative algebras which have a natural group of automorphisms, called the Miyamoto group. The motivating example is the Griess algebra which has the Monster sporadic simple group as its Miyamoto group. Previously, using an expansion algorithm, about 200 examples of axial algebras in the same class as the Griess algebra have been constructed in dimensions up to about 300. In this list, we see many reoccurring dimensions which suggests that there may be some unexpected isomorphisms. Such isomorphisms can be found when the full automorphism groups of the algebras are known. Hence, in this paper, we develop methods for computing the full automorphism groups of axial algebras and apply them to a number of examples of dimensions up to 151.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0021869324004617/pdfft?md5=7f04aa5b3a392fa6a2bedfa8a4e68002&pid=1-s2.0-S0021869324004617-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142094800","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-21DOI: 10.1016/j.jalgebra.2024.07.047
Duncan Laurie
We construct Young wall models for the crystal bases of level 1 irreducible highest weight representations and Fock space representations of quantum affine algebras in types , and . In each case, Young walls consist of coloured blocks stacked inside the relevant Young wall pattern which satisfy a certain combinatorial condition. Moreover the crystal structure is described entirely in terms of adding and removing blocks.
{"title":"Young wall realizations of level 1 irreducible highest weight and Fock space crystals of quantum affine algebras in type E","authors":"Duncan Laurie","doi":"10.1016/j.jalgebra.2024.07.047","DOIUrl":"10.1016/j.jalgebra.2024.07.047","url":null,"abstract":"<div><p>We construct Young wall models for the crystal bases of level 1 irreducible highest weight representations and Fock space representations of quantum affine algebras in types <span><math><msubsup><mrow><mi>E</mi></mrow><mrow><mn>6</mn></mrow><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msubsup></math></span>, <span><math><msubsup><mrow><mi>E</mi></mrow><mrow><mn>7</mn></mrow><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msubsup></math></span> and <span><math><msubsup><mrow><mi>E</mi></mrow><mrow><mn>8</mn></mrow><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msubsup></math></span>. In each case, Young walls consist of coloured blocks stacked inside the relevant Young wall pattern which satisfy a certain combinatorial condition. Moreover the crystal structure is described entirely in terms of adding and removing blocks.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0021869324004435/pdfft?md5=6b79cb729bc707ce4fc305a109a070ec&pid=1-s2.0-S0021869324004435-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142050362","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-21DOI: 10.1016/j.jalgebra.2024.08.003
Mirko Primc , Goran Trupčević
In this note we prove linear independence of the combinatorial spanning set for standard -module by establishing a connection with the combinatorial basis of Feigin-Stoyanovsky's type subspace of -module . It should be noted that the proof of linear independence for the basis of is obtained by using simple currents and intertwining operators in the vertex operator algebra .
{"title":"Linear independence for Cℓ(1) by using C2ℓ(1)","authors":"Mirko Primc , Goran Trupčević","doi":"10.1016/j.jalgebra.2024.08.003","DOIUrl":"10.1016/j.jalgebra.2024.08.003","url":null,"abstract":"<div><p>In this note we prove linear independence of the combinatorial spanning set for standard <span><math><msubsup><mrow><mi>C</mi></mrow><mrow><mi>ℓ</mi></mrow><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msubsup></math></span>-module <span><math><mi>L</mi><mo>(</mo><mi>k</mi><msub><mrow><mi>Λ</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>)</mo></math></span> by establishing a connection with the combinatorial basis of Feigin-Stoyanovsky's type subspace <span><math><mi>W</mi><mo>(</mo><mi>k</mi><msub><mrow><mi>Λ</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>)</mo></math></span> of <span><math><msubsup><mrow><mi>C</mi></mrow><mrow><mn>2</mn><mi>ℓ</mi></mrow><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msubsup></math></span>-module <span><math><mi>L</mi><mo>(</mo><mi>k</mi><msub><mrow><mi>Λ</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>)</mo></math></span>. It should be noted that the proof of linear independence for the basis of <span><math><mi>W</mi><mo>(</mo><mi>k</mi><msub><mrow><mi>Λ</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>)</mo></math></span> is obtained by using simple currents and intertwining operators in the vertex operator algebra <span><math><mi>L</mi><mo>(</mo><mi>k</mi><msub><mrow><mi>Λ</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>)</mo></math></span>.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142040539","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}