Leavitt path algebras with coefficients in a commutative ring
Mark Tomforde
备注：
26 pages, Version II comments: numerous typos corrected, changes made to exposition, an error in Lemma 6.1 corrected, the statement of Theorem 8.1 modified; Version III comments: typos corrected, more references added, this is the version to be published
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)$.
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.
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…
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.
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.
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.
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.
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 …
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.
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$.
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.
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.
We prove that the Bowen-Franks group classifies the Leavitt path algebras of purely infinite simple finite graphs over a regular supercoherent commutative ring with involution where $2$ is invertible, equipped with their standard involutions, up to matricial stabilization and involution preserving homotopy equivalence. We also consider a twisting of the standard involution on Leavitt path algebras and obtain partial results in the same direction for purely infinite simple graphs. Our tools are $K$-theoretic, and we prove several results about (Hermitian, bivariant) $K$-theory of Leavitt path a…
In this paper we study representations of ultragraph Leavitt path algebras via branching systems and, using partial skew ring theory, prove the reduction theorem for these algebras. We apply the reduction theorem to show that ultragraph Leavitt path algebras are semiprime and to completely describe faithfulness of the representations arising from branching systems, in terms of the dynamics of the branching systems. Furthermore, we study permutative representations and provide a sufficient criteria for a permutative representation of an ultragraph Leavitt path algebra to be equivalent to a repr…
Let R0 be a commutative associative ring (not necessarily unital), G a group and alpha a partial action by ideals that contain local units. We show that R0 is maximal commutative in the partial skew group ring R0*G if and only if R0 has the ideal intersection property in R0*G. From this we derive a criterion for simplicity of R0*G in terms of maximal commutativity and $G-$simplicity of R0 and apply this to two examples, namely to partial actions by clopen subsets of a compact set and to give a new proof of the simplicity criterion for Leavitt path algebras. A new proof of the Cuntz-Krieger uni…
Let $n\ge 2$, let $\mathcal{R}_n$ be the graph consisting of one vertex and $n$ loops and let $\mathcal{R}_{n^-}$ be its Cuntz splice. Let $L_n=L(\mathcal{R}_n)$ and $L_{n^-}=L(\mathcal{R}_{n^-})$ be the Leavitt path algebras over a unital ring $\ell$. Let $C_m$ be the cyclic group on $2\le m\le \infty$ elements. Equip $L_n$ and $L_{n^-}$ with their natural $C_m$-gradings. We show that under mild conditions on $\ell$, which are satisfied for example when $\ell$ is a field or a PID, there are no unital $C_m$-graded ring homomorphisms $L_n\to L_{n^-}$ nor in the opposite direction.
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 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…
This article is the first of two where we investigate to what extent homotopy invariant, excisive and matrix stable homology theories help one distinguish between the Leavitt path algebras $L(E)$ and $L(F)$ of graphs $E$ and $F$ over a commutative ground ring $\ell$. In this first article we consider Leavitt path algebras of general graphs over general ground rings; the second article will focus mostly on purely infinite simple unital Leavitt path algebras over a field. Bivariant algebraic $K$-theory $kk$ is the universal homology theory with the properties above; we prove a structure theorem …
The algebraic Cuntz-Pimsner rings are naturally $\mathbb{Z}$-graded rings that generalize both Leavitt path algebras and unperforated $\mathbb{Z}$-graded Steinberg algebras. We classify strongly, epsilon-strongly and nearly epsilon-strongly graded algebraic Cuntz-Pimsner rings up to graded isomorphism. As an application, we characterize noetherian and artinian fractional skew monoid rings by a single corner automorphism.
Let $G$ and $H$ be Hausdorff ample groupoids and let $R$ be a commutative unital ring. We show that if $G$ and $H$ are equivalent in the sense of Muhly-Renault-Williams, then the associated Steinberg algebras of locally constant $R$-valued functions with compact support are Morita equivalent. We deduce that collapsing a ``collapsible subgraph" of a directed graph in the sense of Crisp and Gow does not change the Morita-equivalence class of the associated Leavitt path $R$-algebra, and therefore a number of graphical constructions which yield Morita equivalent $C^*$-algebras also yield Morita eq…
We study relative Cohn path algebras, also known as Leavitt-Cohn path algebras, and we realize them as partial skew group rings (to do this we prove uniqueness theorems for relative Cohn path algebras). Furthermore, given any graph $E$ we define $E$-relative branching systems and prove how they induce representations of the associated relative Cohn path algebra. We give necessary and sufficient conditions for faithfulness of the representations associated to $E$-relative branching systems (this improves previous results known to Leavitt path algebras of row-finite graphs with no sinks). To pro…
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)$ …
Let $G$ be a group and $\ell$ a commutative unital $\ast$-ring with an element $λ\in \ell$ such that $λ+ λ^\ast = 1$. We introduce variants of hermitian bivariant $K$-theory for $\ast$-algebras equipped with a $G$-action or a $G$-grading. For any graph $E$ with finitely many vertices and any weight function $ω\colon E^1 \to G$, a distinguished triangle for $L(E)=L_\ell(E)$ in the hermitian $G$-graded bivariant $K$-theory category $kk^h_{G_{\mathrm{gr}}}$ is obtained, describing $L(E)$ as a cone of a matrix with coefficients in $\mathbb{Z}[G]$ associated to the incidence matrix of $E$ and the w…
In the present paper we prove that every 2-local inner derivation on the matrix ring over a commutative ring is an inner derivation and every derivation on an associative ring has an extension to a derivation on the matrix ring over this associative ring. We also develop a Jordan analog of the above method and prove that every 2-local inner derivation on the Jordan matrix ring over a commutative ring is a derivation.
