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 partial skew groupoid rings. Several examples that illustrate the results on Leavitt path algebras are presented.
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.
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…
The author has previously associated to each commutative ring with unit $R$ and étale groupoid $\mathscr G$ with locally compact, Hausdorff and totally disconnected unit space an $R$-algebra $R\mathscr G$. In this paper we characterize when $R\mathscr G$ is Noetherian and when it is Artinian. As corollaries, we extend the characterization of Abrams, Aranda~Pino and Siles~Molina of finite dimensional and of Noetherian Leavitt path algebras over a field to arbitrary commutative coefficient rings and we recover the characterization of Okniński of Noetherian inverse semigroup algebras and of Zelma…
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.
When the theory of Leavitt path algebras was already quite advanced, it was discovered that some of the more difficult questions were susceptible to a new approach using topological groupoids. The main result that makes this possible is that the Leavitt path algebra of a graph is graded isomorphic to the Steinberg algebra of the graph's boundary path groupoid. This expository paper has three parts: Part 1 is on the Steinberg algebra of a groupoid, Part 2 is on the path space and boundary path groupoid of a graph, and Part 3 is on the Leavitt path algebra of a graph. It is a self-contained refe…
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.
For a field $F$ of characteristic not 2 and a directed row-finite graph $Γ$ let $L(Γ)$ be the Leavitt path algebra with the standard involution $*.$ We study the Lie algebra $K=K(L(Γ),*)$ of $*-$skew-symmetric elements and find necessary and sufficient conditions for the Lie algebra $[K,K]$ to be simple.
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.
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 G be a locally compact, Hausdorff groupoid in which s is a local homeomorphism and the unit space is totally disconnected. Assume there is a continuous cocycle c from G into a discrete group $Γ$. We show that the collection A(G) of locally-constant, compactly supported functions on G is a dense *-subalgebra of C_c(G) and that it is universal for algebraic representations of the collection of compact open bisections of G. We also show that if G is the groupoid associated to a row-finite graph or k-graph with no sources, then A(G) is isomorphic to the associated Leavitt path algebra or Kumji…
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 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 …
For an ample groupoid $\mathcal{G}$ and a unit $x$ of $\mathcal{G}$, Steinberg constructed the induction and restriction functors between the category of modules over the Steinberg algebra $A_R(\mathcal{G})$ and the category of modules over the isotropy group algebra $R\mathcal{G}_x$. In this paper, we prove a graded version of these functors and related results for the graded Steinberg algebra of a graded ample groupoid. As an application, the spectral simple and graded simple modules over the Leavitt path algebra $L_K(E)$ are classified. In particular, we show that many of previously known s…
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.
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 …
We investigate the algebra of a Hausdorff ample groupoid, introduced by Steinberg, over a commutative semiring S. In particular, we obtain a complete characterization of congruence-simpleness for such Steinberg algebras, extending the well-known characterizations when S is a field or a commutative ring. We also provide a criterion for the Steinberg algebra of the graph groupoid associated to an arbitrary graph to be congruence-simple. Motivated by a result of Clark and Sims, we show that, over the Boolean semifield, the natural homomorphism from the Leavitt path algebra to the Steinberg algebr…
In this paper, we show that a unital simple Steinberg algebra is central, and a nonunital simple Steinberg algebra has zero center. We identify the fields $K$ and Hausdorff ample groupoids $\mathcal{G}$ for which the simple Steinberg algebra $A_K(\mathcal{G})$ yields a simple Lie algebra $[A_K(\mathcal{G}), A_K(\mathcal{G})]$. We apply the obtained results on simple Leavitt path algebras, simple Kumjian-Pask algebras and simple Exel-Pardo algebras to determine their associated Lie algebras are simple. In particular, we give easily computable criteria to determine which Lie algebras of the form…
Given an arbitrary graph, we describe the center of its Leavitt path algebra over a commutative unital ring. Our proof uses the Steinberg algebra model of the Leavitt path algebra. A key ingredient is a characterization of compact open invariant subsets of the unit space of the graph groupoid in terms of the underlying graph: an open invariant subset is compact if and only if its associated hereditary and saturated set of vertices satisfies Condition (F). We also give a basis of the center. Its cardinality depends on the number of minimal compact open invariant subsets of the unit space.
We show that the endomorphism ring of any nonzero finitely generated projective module over the Leavitt path algebra $L_K(E)$ of an arbitrary graph $E$ with coefficients in a field $K$ is isomorphic to a Steinberg algebra. This yields in particular that every nonzero corner of the Leavitt path algebra of an arbitrary graph is isomorphic to a Steinberg algebra. This in its turn gives that every $K$-algebra with local units which is Morita equivalent to the Leavitt path algebra of a row-countable graph is isomorphic to a Steinberg algebra. Moreover, we prove that a corner by a projection of a $C…
Given a partial (resp. a global) action $α$ of a connected finite groupoid $G$ on a ring $A$, we determine necessary and sufficient conditions for the partial (resp. global) skew groupoid ring $A\star_α G$ to be a separable extension of $A$.
This paper studies simplicity, primitivity and semiprimitivity of algebras associated to étale groupoids. Applications to inverse semigroup algebras are presented. The results also recover the semiprimitivity of Leavitt path algebras and can be used to recover the known primitivity criterion for Leavitt path algebras.
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…
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.
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 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…
An ultragraph gives rise to a labelled graph with some particular properties. In this paper we describe the algebras associated to such labelled graphs as groupoid algebras. More precisely, we show that the known groupoid algebra realization of ultragraph C*-algebras is only valid for ultragraphs for which the range of each edge is finite, and we extend this realization to any ultragraph (including ultragraphs with sinks). Using our machinery, we characterize the shift space associated to an ultragraph as the tight spectrum of the inverse semigroup associated to the ultragraph (viewed as a lab…
In this paper, we are interested in the study of the existence of connections between partial groupoid actions and partial group actions. Precisely, we prove that there exists a datum connecting a partial action of a connected groupoid and a partial action of any of its isotropy groups. Furthermore, it will be proved that under a suitable condition the partial skew groupoid ring corresponding to a partial action by a connected groupoid is isomorphic to a specific partial skew group ring. We also present a Morita theory and a Galois theory related to these partial actions as well as considerati…
We show the reduced $C^*$-algebra of a graded ample groupoid is a strongly graded $C^*$-algebra if and only if the corresponding Steinberg algebra is a strongly graded ring. We apply this result to get a theorem about the Leavitt path algebra and $C^*$-algebra of an arbitrary graph.
We introduce a graded homology theory for graded étale groupoids. For $\mathbb Z$-graded groupoids, we establish an exact sequence relating the graded zeroth-homology to non-graded one. Specialising to the arbitrary graph groupoids, we prove that the graded zeroth homology group with constant coefficients $\mathbb Z$ is isomorphic to the graded Grothendieck group of the associated Leavitt path algebra. To do this, we consider the diagonal algebra of the Leavitt path algebra of the covering graph of the original graph and construct the group isomorphism directly. Considering the trivial grading…
In this paper, we investigate primeness of groupoid graded rings. We provide a set of necessary and sufficient conditions for primeness of a nearly-epsilon strongly groupoid graded ring. Furthermore, we apply our main result to get a characterization of prime partial skew groupoid rings, and in particular of prime groupoid rings, thereby generalizing a classical result by Connell and partially generalizing recent results by Steinberg.
In this article, we introduce the concept of partial groupoid actions on R- semicategories as well as we give criteria for existence of a globalization of it. This point of view is a generalization of the notions of partial groupoid actions on rings and partial group action on an R-semicategory. We also define the notions of partial skew groupoid category, smash product and describe functorial relations between them, in particular we show that the smash product is a Galois covering of its associated skew groupoid category.
Work of Jean Renault shows that, for topologically principal étale groupoids, a diagonal-preserving isomorphism of reduced $C^*$-algebras yields an isomorphism of groupoids. Several authors have proved analogues of this result for ample groupoid algebras over integral domains under suitable hypotheses. In this paper, we extend the known results by allowing more general coefficient rings and by weakening the hypotheses on the groupoids. Our approach has the additional feature that we only need to impose conditions on one of the two groupoids. Applications are given to Leavitt path algebras.
Given a partial action $α$ of a connected groupoid $\mathcal{G}$ on an associative ring $A$ we investigate under what conditions the partial skew groupoid ring $A\star_α\mathcal{G}$ can be realized as a partial skew group ring. In such a case applications concerning to the separability, semisimplicity and Frobenius property of the ring extension $A\subset A\star_α\mathcal{G}$ as well as to the artinianity of $A\star_α\mathcal{G}$ are given.
If $E$ is a directed graph and $K$ is a field, the Leavitt path algebra $L_K(E)$ of $E$ over $K$ is naturally graded by the group of integers $\mathbb Z.$ We formulate properties of the graph $E$ which are equivalent with $L_K(E)$ being a crossed product, a skew group ring, or a group ring with respect to this natural grading. We state this main result so that the algebra properties of $L_K(E)$ are also characterized in terms of the pre-ordered group properties of the Grothendieck $\mathbb Z$-group of $L_K(E)$. If $E$ has finitely many vertices, we characterize when $L_K(E)$ is strongly graded…
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 how to reconstruct a graded ample Hausdorff groupoid with topologically principal neutrally graded component from the ring structure of its graded Steinberg algebra over any commutative integral domain with 1, together with the embedding of the canonical abelian subring of functions supported on the unit space. We deduce that diagonal-preserving ring isomorphism of Leavitt path algebras implies $C^*$-isomorphism of $C^*$-algebras for graphs $E$ and $F$ in which every cycle has an exit.
Given an action $φ$ of of inverse semigroup $S$ on a ring $A$ (with domain of $φ(s)$ denoted by $D_{s^*}$) we show that if the ideals $D_e$, with $e$ an idempotent, are unital, then the skew inverse semigroup ring $A\rtimes S$ can be realized as the convolution algebra of an ample groupoid with coefficients in a sheaf of rings. Conversely, we show that the convolution algebra of an ample groupoid with coefficients in a sheaf of rings is isomorphic to a skew inverse semigroup ring of this sort. We recover known results in the literature for Steinberg algebras over a field as special cases.
Motivated by some alternatives to the classical logical model of boolean algebra, this paper deals with algebraic structures which extend skew lattices by locally invertible elements. Following the meme of the Ehresmann-Schein-Nambooripad theorem, we consider a groupoid (small category of isomorphisms) in which the set of objects carries the structure of a skew lattice. The objects act on the morphisms by left and right restriction and extension mappings of the morphisms, imitating those of an inductive groupoid. Conditions are placed on the actions, from which pseudoproducts may be defined. T…
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…
We study strongly graded groupoids, which are topological groupoids $\mathcal G$ equipped with a continuous, surjective functor $κ: \mathcal G \to Γ$, to a discrete group $Γ$, such that $κ^{-1}(γ)κ^{-1}(δ) = κ^{-1}(γδ)$, for all $γ, δ\in Γ$. We introduce the category of graded $\mathcal G$-sheaves, and prove an analogue of Dade's Theorem: $\mathcal G$ is strongly graded if and only if every graded $\mathcal G$-sheaf is induced by a $\mathcal G_ε$-sheaf. The Steinberg algebra of a graded ample groupoid is graded, and we prove that the algebra is strongly graded if and only if the groupoid is. 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…
We show that if a groupoid graded ring has a certain nonzero ideal property and the principal component of the ring is commutative, then the intersection of a nonzero twosided ideal of the ring with the commutant of the principal component of the ring is nonzero. Furthermore, we show that for a skew groupoid ring with commutative principal component, the principal component is maximal commutative if and only if it is intersected nontrivially by each nonzero ideal of the skew groupoid ring. We also determine the center of strongly groupoid graded rings in terms of an action on the ring induced …
The author has previously associated to each commutative ring with unit $\Bbbk$ and étale groupoid $\mathscr G$ with locally compact, Hausdorff, totally disconnected unit space a $\Bbbk$-algebra $\Bbbk\mathscr G$. The algebra $\Bbbk\mathscr G$ need not be unital, but it always has local units. The class of groupoid algebras includes group algebras, inverse semigroup algebras and Leavitt path algebras. In this paper we show that the category of unitary $\Bbbk\mathscr G$-modules is equivalent to the category of sheaves of $\Bbbk$-modules over $\mathscr G$. As a consequence we obtain a new proof …
Let $α= \{ α_g : R_{g^{-1}} \rightarrow R_g \}_{g \in \textrm{mor}(G)}$ be a partial action of a groupoid $G$ on a non-associative ring $R$ and let $S = R \star_α G$ be the associated partial skew groupoid ring. We show that if $α$ is global and unital, then $S$ is left (right) artinian if and only if $R$ is left (right) artinian and $R_g = \{ 0 \},$ for all but finitely many $g \in \textrm{mor}(G)$. We use this result to prove that if $α$ is unital and $R$ is alternative, then $S$ is left (right) artinian if and only if $R$ is left (right) artinian and $R_g = \{ 0 \},$ for all but finitely ma…
We study the category of left unital graded modules over the Steinberg algebra of a graded ample Hausdorff groupoid. In the first part of the paper, we show that this category is isomorphic to the category of unital left modules over the Steinberg algebra of the skew-product groupoid arising from the grading. To do this, we show that the Steinberg algebra of the skew product is graded isomorphic to a natural generalisation of the the Cohen-Montgomery smash product of the Steinberg algebra of the underlying groupoid with the grading group. In the second part of the paper, we study the minimal (…
We extend the classical construction by Noether of crossed product algebras, defined by finite Galois field extensions, to cover the case of separable (but not necessarily finite or normal) field extensions. This leads us naturally to consider non-unital groupoid graded rings of a particular type that we call object unital. We determine when such rings are strongly graded, crossed products, skew groupoid rings and twisted groupoid rings. We also obtain necessary and sufficient criteria for when object unital groupoid graded rings are separable over their principal component, thereby generalizi…
Given a graded ample Hausdorff groupoid, we realise its graded Steinberg algebra as a partial skew inverse semigroup ring. We use this to show that for a partial action of a discrete group on a locally compact Hausdorff topological space, the Steinberg algebra of the associated groupoid is graded isomorphic to the corresponding partial skew group ring. We show that there is a one-to-one correspondence between the open invariant subsets of the topological space and the graded ideals of the partial skew group ring. We also consider the algebraic version of the partial $C^{*}$-algebra of an abeli…
Let $(X,\bullet )$ be a groupoid (binary algebra) and $Bin(X\dot{)}$ denote the collection of all groupoids defined on $X$. We introduce two methods of factorization for this binary system under the binary groupoid product \textquotedblleft $\diamond $\textquotedblright\ in the semigroup $\left( Bin\left( X\right) ,\diamond \right) $. We conclude that a strong non-idempotent groupoid can be represented as a product of its \textit{% similar-} and \textit{signature-} derived factors. Moreover, we show that a groupoid with the orientation property is a product of its \textit{orient-} and \textit{…
We study Steinberg algebras constructed from ample Hausdorff groupoids over commutative integral domains with identity. We reconstruct (graded) groupoids from (graded) Steinberg algebras and use this to characterise when there is a diagonal-preserving (graded) isomorphism between two (graded) Steinberg algebras. We apply this characterisation to groupoids of directed graphs in order to study diagonal-preserving (graded) isomorphisms of Leavitt path algebras and graph $C^*$-algebras.
Kaplansky introduced the notions of CCR and GCR $C^*$-algebras because they have a tractable representation theory. Many years later, he introduced the notions of CCR and GCR rings. In this paper we characterize when the algebra of an ample groupoid over a field is CCR and GCR. The results turn out to be exact analogues of the corresponding characterization of locally compact groupoids with CCR and GCR $C^*$-algebras. As a consequence, we classify the CCR and GCR Leavitt path algebras.
We study the interplay between Steinberg algebras and partial skew rings: For a partial action of a group in a Hausdorff, locally compact, totally disconnected topological space, we realize the associated partial skew group ring as a Steinberg algebra (over the transformation groupoid attached to the partial action). We then apply this realization to characterize diagonal preserving isomorphisms of partial skew group rings, over commutative algebras, in terms of continuous orbit equivalence of the associated partial actions. Finally, we show that any Steinberg algebra, associated to a Hausdorf…
