Noetherian Leavitt path algebras and their regular algebras.

DOI10.1007/S00009-013-0320-YMaRDI QIDQ382045zbMATH OpenOpenAlexFDO

Authors Gonzalo Aranda Pino, Lia Vaš

Publication date 18 November 2013

Published in Mediterranean Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1311.1064

zbMATH Keywords

Leavitt path algebrasnonstable \(K\)-theoryregular algebrasrings of quotients

Mathematics Subject Classification ID

Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70) von Neumann regular rings and generalizations (associative algebraic aspects) (16E50) Representations of quivers and partially ordered sets (16G20) Rings with involution; Lie, Jordan and other nonassociative structures (16W10) General theory of (C^*)-algebras (46L05)

Abstract: In the past, it has been shown that the Leavitt path algebra $L(E)=L_K(E)$ of a graph $E$ over a field $K$ is left and right noetherian if and only if the graph $E$ is finite and no cycle of $E$ has an exit. If $Q(E)=Q_K(E)$ denotes the regular algebra over $L(E),$ we prove that these conditions are further equivalent with any of the following: $L(E)$ contains no infinite set of orthogonal idempotents, $L(E)$ has finite uniform dimension, $L(E)$ is directly finite, $Q(E)$ is directly finite, $Q(E)$ is unit-regular, and a few more equivalences. In addition, if the involution on $K$ is positive definite, these conditions are equivalent with the following: the involution ${}^{a}st$ extends from $L(E)$ to $Q(E),$ $Q(E)$ is ${}^{a}st$-regular, $Q(E)$ is finite, $Q(E)$ is the maximal (total or classical) symmetric ring of quotients of $L(E),$ every finitely generated nonsingular $L(E)$-module is projective, and the matrix ring $M_n(L(E))$ is strongly Baer for every $n$. It may not be surprising that a noetherian Leavitt path algebra has these properties, but a more interesting fact is that these properties hold only if a Leavitt path algebra is noetherian. Using some of these equivalences, we give a specific description of the inverse of the isomorphism $V(L(E))ightarrowV(Q(E))$ of monoids of equivalence classes of finitely generated projective modules for noetherian Leavitt path algebras. We also prove that two noetherian Leavitt path algebras are isomorphic as rings if and only if they are isomorphic as ${}^{a}st$-algebras. This answers in affirmative the Isomorphism Conjecture for the class of noetherian Leavitt path algebras: if $L_{mathbbC}(E)$ and $L_{mathbbC}(F)$ are noetherian Leavitt path algebras, then $L_{mathbbC}(E)cong{L}_{mathbbC}(F)$ as rings implies $C^{\ast }(E)cong{C}^{\ast }(F)$ as ${}^{a}st$-algebras.

Review text

Leavitt path algebras have been introduced in [\textit{G. Abrams} and \textit{G. Aranda Pino}, J. Algebra 293, No. 2, 319-334 (2005; Zbl 1119.16011)] and in [\textit{P. Ara} et al., Algebr. Represent. Theory 10, No. 2, 157-178 (2007; Zbl 1123.16006)]. They are algebraic analogues of Cuntz-Krieger graph \(C^*\)-algebras of directed graphs [\textit{J. Cuntz} and \textit{W. Krieger}, Invent. Math. 56, 251-268 (1980; Zbl 0434.46045)] and also provide an interesting generalization of the algebras investigated by \textit{W. G. Leavitt} [Trans. Am. Math. Soc. 103, 113-130 (1962; Zbl 0112.02701)]. The authors study several natural properties of the regular algebra \(Q(E)\) of the directed graph \(E\) introduced by \textit{M. Brustenga} and the reviewer [in J. Algebra 309, No. 1, 207-235 (2007; Zbl 1119.16012)], showing that these properties are all equivalent to the statement that \(E\) is a finite graph such that no cycle in \(E\) has an exit. They refer to a graph satisfying the latter property as a no-exit graph. It is already known that the finite graphs satisfying the no-exit property are precisely those for which the Leavitt path algebra \(L(E)\) is Noetherian. Let \(E\) be a finite graph. Amongst the properties of \(Q(E)\) which the authors show to be equivalent to \(E\) being a no-exit graph, we mention (a) \(Q(E)\) is unit-regular; (b) \(Q(E)\) is directly finite; (c) \(Q(E)\) is left and right self-injective; (d) \(Q(E)\) is semisimple; (e) \(Q(E)\) is \(*\)-regular (in case the underlying field \(K\) is endowed with a positive definite involution). In the last part of the paper the authors relate \(Q(E)\) with the theory of rings of quotients, and they discuss the isomorphism conjectures for Leavitt path algebras and graph \(C^*\)-algebras, giving a positive answer to these conjectures for the finite no-exit graphs.

Recommendations

• Regularity conditions for arbitrary Leavitt path algebras.
• Graded chain conditions and Leavitt path algebras of no-exit graphs
• \(*\)-regular Leavitt path algebras of arbitrary graphs.
• Leavitt path algebras are graded von Neumann regular rings.

Cites work

• \(*\)-regular Leavitt path algebras of arbitrary graphs.
• A simplification of Morita's construction of total right rings of quotients for a class of rings.
• Chain conditions for Leavitt path algebras
• Coordination Applied to Finite Baer ∗ Rings
• Coproducts and Some Universal Ring Constructions
• Dimension and torsion theories for a class of Baer *-rings.
• scientific article; zbMATH DE number 51523 (Why is no real title available?)
• scientific article; zbMATH DE number 3463819 (Why is no real title available?)
• scientific article; zbMATH DE number 1236965 (Why is no real title available?)
• Isomorphism and Morita equivalence of graph algebras.
• Leavitt path algebras and direct limits
• Locally finite Leavitt path algebras.
• Module theory over Leavitt path algebras and \(K\)-theory.
• Nonstable \(K\)-theory for graph algebras.
• On Isomorphisms of C ∗ -Algebras
• On regular rings with involution
• On Rings of Which Any One-Sided Quotient Rings are Two-Sided
• Perfect symmetric rings of quotients.
• Perspectivity and cancellation in regular rings
• Regularity conditions for arbitrary Leavitt path algebras.
• Rings of quotients of incidence algebras and path algebras.
• The maximal symmetric ring of quotients
• The regular algebra of a quiver.
• The Regular Ring and the Maximal Ring of Quotients of a Finite Baer *-Ring
• Two-Sided Localization of Bimodules
• Uniqueness theorems and ideal structure for Leavitt path algebras

Cited in

(13)

• Chain conditions for epsilon-strongly graded rings with applications to Leavitt path algebras
• Chain conditions for graph C*-algebras
• Canonical traces and directly finite Leavitt path algebras.
• \(K\)-theory classification of graded ultramatricial algebras with involution
• Prime spectrum and primitive Leavitt path algebras
• Leavitt path algebras are graded von Neumann regular rings.
• Graded chain conditions and Leavitt path algebras of no-exit graphs
• A note on the regular ideals of Leavitt path algebras
• Generalized quasi-Baer *-rings and Banach *-algebras
• Leavitt path algebras over a poset of fields
• On the homological dimensions of Leavitt path algebras with coefficients in commutative rings
• Morita equivalence and Morita invariant properties: applications in the context of Leavitt path algebras
• Strongly semihereditary rings and rings with dimension.

This page was built for publication: Noetherian Leavitt path algebras and their regular algebras.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q382045)