Journal of Algebra最新文献

{"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}

{"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}

{"title":"The cohomology and deformations of O-operators on BiHom-associative algebras","authors":"Danli Huang,&nbsp;Ling Liu,&nbsp;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}

{"title":"Graph products of residually finite monoids are residually finite","authors":"Jung Won Cho ,&nbsp;Victoria Gould ,&nbsp;Nik Ruškuc ,&nbsp;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}

{"title":"Invariants and constructions of separable equivalences","authors":"Juxiang Sun ,&nbsp;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}

{"title":"Generating pairs for SL(n, Z)","authors":"Marston Conder ,&nbsp;Georgina Liversidge ,&nbsp;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>&gt;</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}

{"title":"Generalized identifiability of sums of squares","authors":"Giorgio Ottaviani ,&nbsp;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}

{"title":"Automorphism groups of axial algebras","authors":"I.B. Gorshkov ,&nbsp;J. McInroy ,&nbsp;T.M. Mudziiri Shumba ,&nbsp;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}

{"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}

{"title":"Linear independence for Cℓ(1) by using C2ℓ(1)","authors":"Mirko Primc ,&nbsp;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}