Let $K$ be any field, let $L_n$ denote the Leavitt algebra of type $(1,n-1)$ having coefficients in $K$, and let ${\rm M}_d(L_n)$ denote the ring of $d \times d$ matrices over $L_n$. In our main result, we show that ${\rm M}_d(L_n) \cong L_n$ if and only if $d$ and $n-1$ are coprime. We use this isomorphism to answer a question posed in \cite{PS} regarding isomorphisms between various C*-algebras. Furthermore, our result demonstrates that data about the $K_0$ structure is sufficient to distinguish up to isomorphism the algebras in an important class of purely infinite simple $K$-algebras.
The graph groupoids of directed graphs are topologically isomorphic if and only if there is a diagonal-preserving ring *-isomorphism between the Leavitt path algebras.
Hazrat gave a K-theoretic invariant for Leavitt path algebras as graded algebras. Hazrat conjectured that this invariant classifies Leavitt path algebras up to graded isomorphism, and proved the conjecture in some cases. In this paper, we prove that a weak version of the conjecture holds for all finite essential graphs.
We prove an algebraic version of the Gauge-Invariant Uniqueness Theorem, a result which gives information about the injectivity of certain homomorphisms between ${\mathbb Z}$-graded algebras. As our main application of this theorem, we obtain isomorphisms between the Leavitt path algebras of specified graphs. From these isomorphisms we are able to achieve two ends. First, we show that the $K_0$ groups of various sets of purely infinite simple Leavitt path algebras, together with the position of the identity element in $K_0$, classifies the algebras in these sets up to isomorphism. Second, we s…
We characterise when the Leavitt path algebras over $\mathbb{Z}$ of two arbitrary countable directed graphs are $*$-isomorphic by showing that two Leavitt path algebras over $\mathbb{Z}$ are $*$-isomorphic if and only if the corresponding graph groupoids are isomorphic (if and only if there is a diagonal preserving isomorphism between the corresponding graph $C^*$-algebras). We also prove that any $*$-homomorphism between two Leavitt path algebras over $\mathbb{Z}$ maps the diagonal to the diagonal. Both results hold for slight more general subrings of $\mathbb{C}$ than just $\mathbb{Z}$.
We show that the Leavitt path algebras $L_{2,\mathbb{Z}}$ and $L_{2-,\mathbb{Z}}$ are not isomorphic as $*$-algebras. There are two key ingredients in the proof. One is a partial algebraic translation of Matsumoto and Matui's result on diagonal preserving isomorphisms of Cuntz--Krieger algebras. The other is a complete description of the projections in $L_{\mathbb{Z}}(E)$ for $E$ a finite graph. This description is based on a generalization, due to Chris Smith, of the description of the unitaries in $L_{2,\mathbb{Z}}$ given by Brownlowe and the second named author. The techniques generalize to…
We realize Leavitt path algebras as partial skew group rings and give new proofs, based on partial skew group ring theory, of the Cuntz-Krieger uniqueness theorem and simplicity criteria for Leavitt path algebras.
In this work we realize Leavitt path algebras as partial skew groupoid rings. This yields a free path groupoid grading on Leavitt path algebras. Using this grading we characterize free path groupoid graded isomorphisms of Leavitt path algebras that preserves generators.
We realize Leavitt ultragraph path algebras as partial skew group rings. Using this realization we characterize artinian ultragraph path algebras and give simplicity criteria for these algebras.
We analyze in the context of Leavitt path algebras some graph operations introduced in the context of symbolic dynamics by Williams, Parry and Sullivan, and Franks. We show that these operations induce Morita equivalence of the corresponding Leavitt path algebras. As a consequence we obtain our two main results: the first gives sufficient conditions for which the Leavitt path algebras in a certain class are Morita equivalent, while the second gives sufficient conditions which yield isomorphisms. We discuss a possible approach to establishing whether or not these conditions are also in fact nec…
We relate two conjectures which have been raised for classification of Leavitt path algebras. For purely infinite simple unital Leavitt path algebras, it is conjectured that K_0 classifies them completely. For arbitrary Leavitt path algebras, it is conjectured that K^{\gr}_0 classifies them completely \cite{hazann}. We show that for two finite graphs with no sinks (which their associated Leavitt path algebras include the purely infinite simple ones) if their K^{\gr}_0-groups of their Leavitt path algebras are isomorphic then their K_0-groups are isomorphic as well.
We introduce a notion of ideal-related K-theory for rings, and use it to prove that if two complex Leavitt path algebras are Morita equivalent (respectively, isomorphic), then the ideal-related K-theories (respectively, the unital ideal-related K-theories) of the corresponding graph C*-algebras are isomorphic. This has consequences for the "Morita equivalence conjecture" and "isomorphism conjecture" for graph algebras, and allows us to prove that when E and F belong to specific collections of graphs whose C*-algebras are classified by ideal-related K-theory, Morita equivalence (respectively, i…
Suppose that $R$ is an associative unital ring and that $E=(E^0,E^1,r,s)$ is a directed graph. Utilizing results from graded ring theory we show, that the associated Leavitt path algebra $L_R(E)$ is simple if and only if $R$ is simple, $E^0$ has no nontrivial hereditary and saturated subset, and every cycle in $E$ has an exit. We also give a complete description of the center of a simple Leavitt path algebra.
A Leavitt labelled path algebra over a commutative unital ring is associated with a labelled space, generalizing Leavitt path algebras associated with graphs and ultragraphs as well as torsion-free commutative algebras generated by idempotents. We show that Leavitt labelled path algebras can be realized as partial skew group rings, Steinberg algebras, and Cuntz-Pimsner algebras. Via these realizations we obtain generalized uniqueness theorems, a description of diagonal preserving isomorphisms and we characterize simplicity of Leavitt labelled path algebras. In addition, we prove that a large c…
Given a directed graph E we describe a method for constructing a Leavitt path algebra $L_R(E)$ whose coefficients are in a commutative unital ring R. We prove versions of the Graded Uniqueness Theorem and Cuntz-Krieger Uniqueness Theorem for these Leavitt path algebras, giving proofs that both generalize and simplify the classical results for Leavitt path algebras over fields. We also analyze the ideal structure of $L_R(E)$, and we prove that if $K$ is a field, then $L_K(E) \cong K \otimes_\Z L_\Z(E)$.
In this article, we realize ultragraph Leavitt path algebras as Steinberg algebras. This realization allows us to use the groupoid approach to obtain structural results about these algebras. Using skew product groupoid, we show that ultragraph Leavitt path algebras are graded von Neumann regular rings. We characterize strongly graded ultragraph Leavitt path algebras and show that every ultragraph Leavitt path algebra is semiprimitive. Moreover, we characterize irreducible representations of ultragraph Leavitt path algebras. We also show that ultragraph Leavitt path algebras can be realized as …
We introduce certain functors from the category of commutative rings (and related categories) to that of $\mathbb{Z}$-algebras (not necessarily associative or commutative). One of the motivating examples is the Leavitt path algebra functor $R\mapsto L_R(E)$ for a given graph $E$. Our goal is to find "descending" isomorphism results of the type: if $\mathfrak{F},\mathcal{G}$ are algebra functors and $K\subset K'$ a field extension, under what conditions an isomorphism $\mathfrak{F}(K')\cong \mathcal{G}(K')$ of $K'$-algebras implies the existence of an isomorphism $\mathfrak{F}(K)\cong\mathcal{G…
For any countable graph $E$, we investigate the relationship between the Leavitt path algebra $L_{\C}(E)$ and the graph C*-algebra $C^*(E)$. For graphs $E$ and $F$, we examine ring homomorphisms, ring *-homomorphisms, algebra homomorphisms, and algebra *-homomorphisms between $L_{\C}(E)$ and $L_{\C}(F)$. We prove that in certain situations isomorphisms between $L_{\C}(E)$ and $L_{\C}(F)$ yield *-isomorphisms between the corresponding C*-algebras $C^*(E)$ and $C^*(F)$. Conversely, we show that *-isomorphisms between $C^*(E)$ and $C^*(F)$ produce isomorphisms between $L_{\C}(E)$ and $L_{\C}(F)$ …
We show that every graded ideal of a Leavitt path algebra is graded isomorphic to a Leavitt path algebra. It is known that a graded ideal $I$ of a Leavitt path algebra is isomorphic to the Leavitt path algebra of a graph, known as the generalized hedgehog graph, which is defined based on certain sets of vertices uniquely determined by $I$. However, this isomorphism may not be graded. We show that replacing the short "spines" of the generalized hedgehog graph with possibly fewer, but then necessarily longer spines, we obtain a graph (which we call the porcupine graph) such that its Leavitt path…
The aim of this work is the description of the isomorphism classes of all Leavitt path algebras coming from graphs satisfying Condition (Sing) with up to three vertices. In particular, this classification recovers the one achieved by Abrams et al. in the case of graphs whose Leavitt path algebras are purely infinite simple. The description of the isomorphism classes is given in terms of a series of invariants including the K_0 group, the socle, the number of loops with no exits and the number of hereditary and saturated subsets of the graph.
We provide a characterization of graded von Neumann regular rings involving the recently introduced class of nearly epsilon-strongly graded rings. As our main application, we generalize Hazrat's result that Leavitt path algebras over fields are graded von Neumann regular. More precisely, we show that a Leavitt path algebra $L_R(E)$ with coefficients in a unital ring $R$ is graded von Neumann regular if and only if $R$ is von Neumann regular. We also prove that both Leavitt path algebras and corner skew Laurent polynomial rings over von Neumann regular rings are semiprimitive and semiprime. The…
In sharp contrast to the Abrams-Rangaswamy Theorem that the only von Neumann regular Leavitt path algebras are exactly those associated to acyclic graphs, here we prove that the Leavitt path algebra of any arbitrary graph is a graded von Neumann regular ring. Several properties of Leavitt path algebras, such as triviality of the Jacobson radical, flatness of graded modules and finitely generated graded right (left) ideals being generated by an idempotent element, follow as a consequence of general theory of grade von Neumann regular rings.
Let $α=(A_g,α_g)_{g\in G}$ be a group-type partial action of a connected groupoid $G$ on a ring $A=\bigoplus_{z\in G_0}A_z$ and $B=A\star_αG$ the corresponding partial skew groupoid ring. In the first part of this paper we investigate the relation of several ring theoretic properties between $A$ and $B$. For the second part, using that every Leavitt path algebra is isomorphic to a partial skew groupoid ring obtained from a partial groupoid action $λ$, we characterize when $λ$ is group-type. In such a case, we obtain ring theoretic properties of Leavitt path algebras from the results on general…
We investigate conditions under which the endomorphism ring of the Leavitt path algebra $L_{K}(E)$ possesses various ring and module-theoretical properties such as being von Neumann regular, $π$-regular, strongly $π$-regular or self-injective. We also describe conditions under which $L_{K}(E)$ is continuous as well as automorphism invariant as a right $L_{K}(E)$-module.
Let E be an arbitrary directed graph and let K be any field. It is shown that the Leavitt path algebra A of the graph E over the field K is a Zorn ring if and only if the graph E satisfies the Condition (L), that is, every cycle in E has an exit. It is also shown that the Leavitt path algebra A is a weakly regular ring if and only if every homomorphic image of A is a Zorn ring. The corresponding statement for graph C*-algebras is also investigated.
In this paper, we give sharp bounds for the homological dimensions of the Leavitt path algebra $L_K(E)$ of a finite graph $E$ with coefficients in a commutative ring $K$, as well as establish a formula for calculating the homological dimensions of $L_K(E)$ when $K$ is a commutative unital algebra over a field.
We compute the monoid of isomorphism classes of finitely generated projective modules of a Leavitt path algebra over an arbitrary directed graph. Our result generalizes the result of Ara, Moreno, and Pardo in which they computed this monoid of a Leavitt path algebra over a countable row-finite directed graph.
We consider the ideal structure of Steinberg algebras over a commutative ring with identity. We focus on Hausdorff groupoids that are strongly effective in the sense that their reductions to closed subspaces of their unit spaces are all effective. For such a groupoid, we completely describe the ideal lattice of the associated Steinberg algebra over any commutative ring with identity. Our results are new even for the special case of Leavitt path algebras; so we describe explicitly what they say in this context, and give two concrete examples.
Let E be an arbitrary directed graph with no restrictions on the number of vertices and edges and let K be any field. We give necessary and sufficient conditions for the Leavitt path algebra L_K(E) to be of countable irreducible representation type, that is, we determine when L_K(E)has at most countably many distinct isomorphism classes of simple left L_K(E-modules. It is also shown that L_K(E) has dinitely many isomorphism classes of simple left modules if and only if L_K(E) is a semi-artinian von Neumann regular ring with at most finitely many ideals. Equivalent conditions on the graph E are…
The trace on matrix rings, along with the augmentation map and Kaplansky trace on group rings, are some of the many examples of linear functions on algebras that vanish on all commutators. We generalize and unify these examples by studying traces on (contracted) semigroup rings over commutative rings. We show that every such ring admits a minimal trace (i.e., one that vanishes only on sums of commutators), classify all minimal traces on these rings, and give applications to various classes of semigroup rings and quotients thereof. We then study traces on Leavitt path algebras (which are quotie…
We classify row-finite Leavitt path algebras associated to graphs with no more than two vertices. For the discussion we use the following invariants: decomposability, the $K_0$ group, $\det(N'_E)$ (included in the Franks invariants), the type, as well as the socle, the ideal generated by the vertices in cycles with no exits and the ideal generated by vertices in extreme cycles. The starting point is a simple linear algebraic result that determines when a Leavitt path algebra is IBN. An interesting result that we have found is that the ideal generated by extreme cycles is invariant under any is…
We give a one-to-one correspondence between ideals in the Steinberg algebra of a Hausdorff ample groupoid $G$, and certain families of ideals in the group algebras of isotropy groups in $G$. This generalises a known ideal correspondence theorem for Steinberg algebras of strongly effective groupoids. We use this to give a complete graph-theoretic description of the ideal lattice of Leavitt path algebras over arbitrary commutative rings, generalising the classification of ideals in Leavitt path algebras over fields.
Weighted Leavitt path algebras (wLpas) are a generalisation of Leavitt path algebras (with graphs of weight 1) and cover the algebras $L_K(n, n + k)$ constructed by Leavitt. Using Bergman's Diamond lemma, we give normal forms for elements of a weighted Leavitt path algebra. This allows us to produce a basis for a wLpa. Using the normal form we classify the wLpas which are domains, simple and graded simple rings. For a large class of weighted Leavitt path algebras we establish a local valuation and as a consequence we prove that these algebras are prime, semiprimitive and nonsingular but contra…
Let $G$ be a group with neutral element $e$ and let $S=\bigoplus_{g \in G}S_g$ be a $G$-graded ring. A necessary condition for $S$ to be noetherian is that the principal component $S_e$ is noetherian. The following partial converse is well-known: If $S$ is strongly-graded and $G$ is a polycyclic-by-finite group, then $S_e$ being noetherian implies that $S$ is noetherian. We will generalize the noetherianity result to the recently introduced class of epsilon-strongly graded rings. We will also provide results on the artinianity of epsilon-strongly graded rings. As our main application we obtain…
In this paper, we give a complete characterization of Leavitt path algebras which are graded $Σ$-$V$ rings, that is, rings over which a direct sum of arbitrary copies of any graded simple module is graded injective. Specifically, we show that a Leavitt path algebra $L$ over an arbitrary graph $E$ is a graded $Σ$-$V$ ring if and only if it is a subdirect product of matrix rings of arbitrary size but with finitely many non-zero entries over $K$ or $K[x,x^{-1}]$ with appropriate matrix gradings. We also obtain a graphical characterization of such a graded $Σ$-$V$ ring $L$% . When the graph $E$ is…
In this paper we give some sufficient and some necessary conditions for an étale groupoid algebra to be a prime ring. As an application we recover the known primeness results for inverse semigroup algebras and Leavitt path algebras. It turns out that primeness of the algebra is connected with the dynamical property of topological transitivity of the groupoid. We obtain analogous results for semiprimeness.
For any positive integer $n$ we describe the Leavitt path algebra of the Cayley graph $C_n$ corresponding to the cyclic group $\Z/n\Z$. Using a Kirchberg-Phillips-type realization result, we show that there are exactly four isomorphism classes of such Leavitt path algebras, arising as the algebras corresponding to the graphs $C_i$ ($3\leq i \leq 6$).
Let $R$ denote the purely infinite simple unital Leavitt path algebra $L(E)$. We completely determine the pairs of positive integers $(c,d)$ for which there is an isomorphism of matrix rings $M_c(R)\cong M_d(R)$, in terms of the order of $[1_R]$ in the Grothendieck group $K_0(R)$.
For a unital ring, it is an open question whether flatness of simple modules implies all modules are flat and thus the ring is von Neumann regular. The question was raised by Ramamurthi over 40 years ago who called such rings SF-rings (i.e., simple modules are flat). In this note we show that a SF Steinberg algebra of an ample Hausdorff groupoid, graded by an ordered group, has an aperiodic unit space. For graph groupoids this implies that the graphs are acyclic. Combining with the Abrams-Rangaswamy Theorem, it follows that SF Leavitt path algebras are regular, answering Ramamurthi's question …
Let $E$ be an arbitrary (countable) graph and let $R$ be a unital commutative ring. We analyze the ideal structure of the Leavitt path algebra $\lr$ introduced by Mark Tomforde. We first modify the definition of basic ideals and we then develop the ideal characterization of Mark Tomforde. We also give necessary and sufficient conditions for the primeness and the primitivity of $\lr$. Then by applying these results we determine prime graded basic ideals and left (or right) primitive graded ideals of $\lr$. In particular, we show that when $E$ satisfies Condition (K) and $R$ is a field, the set …
We give the necessary and sufficient condition for a separated Cohn-Leavitt path algebra of a finite digraph to have IBN. As a consequence, separated Cohn path algebras have IBN. We determine the non-stable K-theory of a corner ring in terms of the non-stable K-theory of the ambient ring. We give a necessary condition for a corner algebra of a separated Cohn-Leavitt path algebra of a finite graph to have IBN. We provide Morita equivalent rings which are non-IBN, but are of different types.
We identify largest ideals in Leavitt path algebras: the largest locally left/right artinian (which is the largest semisimple one), the largest locally left/right noetherian without minimal idempotents, the largest exchange, and the largest purely infinite. This last ideal is described as a direct sum of purely infinite simple pieces plus purely infinite non-simple and non-decomposable pieces. The invariance under ring isomorphisms of these ideals is also studied.
Let $R$ be a unital ring, let $E$ be a directed graph and recall that the Leavitt path algebra $L_R(E)$ carries a natural $\mathbb{Z}$-gradation. We show that $L_R(E)$ is strongly $\mathbb{Z}$-graded if and only if $E$ is row-finite, has no sink, and satisfies Condition (Y). Our result generalizes a recent result by Clark, Hazrat and Rigby, and the proof is short and self-contained.
Let $S$ be a partial groupoid, that is, a set with a partial binary operation. An $S$-graded ring $R$ is said to be graded von Neumann regular if $x\in xRx$ for every homogeneous element $x\in R.$ Under the assumption that $S$ is cancellative, we characterize $S$-graded rings which are graded von Neumann regular. If a ring is $S$-graded von Neumann regular, and if $S$ is cancellative, then $S$ is such that for every $s\in S,$ there exist $s^{-1}\in S$ and idempotent elements $e,$ $f\in S$ for which $es=sf=s,$ $fs^{-1}=s^{-1}e=s^{-1},$ $ss^{-1}=e$ and $s^{-1}s=f,$ which is a property enjoyed by…
For a commutative ring $R$ with unit we show that the Leavitt path algebra $L_R(E)$ of a graph $E$ embeds into $L_{2,R}$ precisely when $E$ is countable. Before proving this result we prove a generalised Cuntz-Krieger Uniqueness Theorem for Leavitt path algebras over $R$.
Given an arbitrary graph $E$ we investigate the relationship between $E$ and the groupoid $G_E$. We show that there is a lattice isomorphism between the lattice of pairs $(H, S)$, where $H$ is a hereditary and saturated set of vertices and $S$ is a set of breaking vertices {associated to $H $}, onto the lattice of open invariant subsets of $G_E^{(0)}$. We use this lattice isomorphism to characterize the decomposability of the Leavitt path algebra $L_K(E)$, where $K$ is a field. First we find a graph condition to characterise when an open invariant subset of $G_E^{(0)}$ is closed. Then we give …
For any field K and directed graph E, we completely describe the elements of the Leavitt path algebra L_K(E) which lie in the commutator subspace [L_K(E),L_K(E)]. We then use this result to classify all Leavitt path algebras L_K(E) that satisfy L_K(E)=[L_K(E),L_K(E)]. We also show that these Leavitt path algebras have the additional (unusual) property that all their Lie ideals are (ring-theoretic) ideals, and construct examples of such rings with various ideal structures.
In this paper we address the classification problem for purely infinite simple Leavitt path algebras of finite graphs over a field $\ell$. Each graph $E$ has associated a Leavitt path $\ell$-algebra $L(E)$. There is an open question which asks whether the pair $(K_0(L(E)), [1_{L(E)}])$, consisting of the Grothendieck group together with the class $[1_{L(E)}]$ of the identity, is a complete invariant for the classification, up to algebra isomorphism, of those Leavitt path algebras of finite graphs which are purely infinite simple. We show that $(K_0(L(E)), [1_{L(E)}])$ is a complete invariant f…
In this paper, we develop structure theory for graded regular graded self-injective rings and apply it in the context of Leavitt path algebras. We show that for a finite graph, graded regular graded self-injective Leavitt path algebras are of graded type I and these are precisely graded $Σ$-$V$ Leavitt path algebras.
