Porcupine-quotient graphs, the fourth primary color, and graded composition series of Leavitt path algebras

• Autores: Lia Vaš
• Localización: Publicacions matematiques, ISSN 0214-1493, Vol. 69, Nº 1, 2025, págs. 45-82
• Idioma: inglés
• DOI: 10.5565/publmat6912503
• Enlaces
  • Texto completo
• Resumen

  • If E is a directed graph, K is a field, and I is a graded ideal of the Leavitt path algebra LK(E), then I is completely determined by a pair (H, S) of two sets of vertices of E, called an admissible pair, and one writes I = I(H, S) in this case. The ideal I is graded isomorphic to the Leavitt path algebra of the porcupine graph of (H, S) and the quotient LK(E)/I is graded isomorphic to the Leavitt path algebra of the quotient graph of (H, S). We present a construction which generalizes both the porcupine and the quotient constructions and enables one to consider quotients of graded ideals: if (H, S) and (G, T) are admissible pairs such that (H, S) ≤ (G, T) (in the sense which orresponds exactly to I(H, S) ⊆ I(G, T)), we define the porcupine-quotient graph (G, T)/(H, S) such that its Leavitt path algebra is graded isomorphic to the quotient I(G, T)/I(H, S). Using the porcupine-quotient construction, the existence of a graded composition series of LK(E) is equivalent to the existence of a finite increasing chain of admissible pairs of E, starting with the trivial pair and ending with the improper pair, such that the quotient of two consecutive pairs is cofinal (a graph is cofinal exactly when its Leavitt path algebra is graded simple). We characterize the existence of such a chain with a set of conditions on E which also provides an algorithm for obtaining a composition series. The conditions are presented in terms of four types of vertices which are all terminal" in a certain sense. Three of the four types are often referred to as the three primary colors of Leavitt path algebras. The fourth primary color in the title of this paper refers to the fourth type of vertices. As a corollary of our results, every unital Leavitt path algebra has a graded composition series. We show that the existence of a composition series of E is equivalent to the existence of a suitably defined composition series of the graph monoid ME as well as a composition series of the talented monoid MΓE. We also show that an ideal of MΓ E is minimal exactly when it is generated by the element of MΓE corresponding to a terminal vertex. We characterize graphs E such that only one or only two out of three possible types (periodic, aperiodic, or incomparable) appear among the composition factors of MΓE.

• Referencias bibliográficas
  • G. Abrams, P. Ara, and M. Siles Molina, Leavitt Path Algebras, Lecture Notes in Math. 2191, Springer, London, 2017. DOI: 10.1007/978-1-4471-7344-1
  • G. Abrams and G. Aranda Pino, Purely infinite simple Leavitt path algebras, J. Pure Appl. Algebra 207(3) (2006), 553–563. DOI: 10.1016/j.jpaa.2005.10.010
  • P. Ara and K. R. Goodearl, Leavitt path algebras of separated graphs, J. Reine Angew. Math. 2012(669) (2012), 165–224. DOI: 10.1515/crelle.2011.146
  • P. Ara, R. Hazrat, H. Li, and A. Sims, Graded Steinberg algebras and their representations, Algebra Number Theory 12(1) (2018), 131–172. DOI:...
  • P. Ara and E. Pardo, Towards a K-theoretic characterization of graded isomorphisms between Leavitt path algebras, J. K-Theory 14(2) (2014),...
  • V. Cam, C. Gil Canto, M. Kanuni, and M. Siles Molina, Largest ideals in Leavitt path algebras, Mediterr. J. Math. 17(2) (2020), Paper no....
  • S. Eilers, E. Ruiz, and A. Sims, Amplified graph C∗-algebras II: Reconstruction, Proc. Amer. Math. Soc. Ser. B 9 (2022), 297–310. DOI: 10.1090/bproc/112
  • R. Hazrat, The graded Grothendieck group and the classification of Leavitt path algebras, Math. Ann. 355(1) (2013), 273–325. DOI: 10.1007/s00208-012-0791-3
  • R. Hazrat, Graded Rings and Graded Grothendieck Groups, London Math. Soc. Lecture Note Ser. 435, Cambridge University Press, Cambridge, 2016....
  • R. Hazrat, A. N. Sebandal, and J. P. Vilela, Graphs with disjoint cycles classification via the talented monoid, J. Algebra 593 (2022), 319–340....
  • R. Hazrat and L. Vaˇs, K-theory classification of graded ultramatricial algebras with involution, Forum Math. 31(2) (2019), 419–463. DOI:...
  • R. Hazrat and L. Vaˇs, Comparability in the graph monoid, New York J. Math. 26 (2020), 1375–1421.
  • K. M. Rangaswamy, Leavitt path algebras with finitely presented irreducible representations, J. Algebra 447 (2016), 624–648. DOI: 10.1016/j.jalgebra.2015.10.005
  • A. Sebandal and J. Vilela, The Jordan–H¨older theorem for monoids with group action, J. Algebra Appl. 22(4) (2023), Paper no. 2350088, 18...
  • M. Tomforde, Uniqueness theorems and ideal structure for Leavitt path algebras, J. Algebra (1) (2007), 270–299. DOI: 10.1016/j.jalgebra.2007.01.031
  • L. Vaˇs, Canonical traces and directly finite Leavitt path algebras, Algebr. Represent. Theory (3) (2015), 711–738. DOI: 10.1007/s10468-014-9513-8
  • L. Vaˇs, Simplicial and dimension groups with group action and their realization, Forum Math. 34(3) (2022), 565–604. DOI: 10.1515/forum-2020-0101
  • L. Vaˇs, Every graded ideal of a Leavitt path algebra is graded isomorphic to a Leavitt path algebra, Bull. Aust. Math. Soc. 105(2) (2022),...
  • L. Vaˇs, Graded irreducible representations of Leavitt path algebras: a new type and complete classification, J. Pure Appl. Algebra 227(3)...