arXiv subjects

Roozbeh Hazrat

Publications and source records attributed to Roozbeh Hazrat.

At least 37 records · Page 2Linked to original sources

arXiv2023

Unital algebras being Morita equivalent to weighted Leavitt path algebras

In this article, we describe the endomorphism ring of a finitely generated progenerator module of a weighted Leavitt path algebra $L_{K}(E, w)$ of a finite vertex weighted graph $(E, w)$. Contrary to the case of Leavitt path algebras, we show that a (full) corner of a weighted Leavitt path algebra is, in general, not isomorphic to a weighted Leavitt path algebra. However, using the above result, we show that for every full idempotent $ε$ in $L_{K}(E, w)$, there exists a positive integer $n$ such that $M_n(εL_{K}(E, w) ε)$ is isomorphic to the weighted Leavitt path algebra of a weighted graph explicitly constructed from $(E, w)$. We then completely describe unital algebras being Morita equivalent to weighted Leavitt path algebras of vertex weighted graphs. In particular, we characterize unital algebras being Morita equivalent to sandpile algebras.

math.RA↗

arXiv2023

Baer and Baer *-ring characterizations of Leavitt path algebras

We characterize Leavitt path algebras which are Rickart, Baer, and Baer $*$-rings in terms of the properties of the underlying graph. In order to treat non-unital Leavitt path algebras as well, we generalize these annihilator-related properties to locally unital rings and provide a more general characterizations of Leavitt path algebras which are locally Rickart, locally Baer, and locally Baer $*$-rings. Leavitt path algebras are also graded rings and we formulate the graded versions of these annihilator-related properties and characterize Leavitt path algebras having those properties as well. Our characterizations provide a quick way to generate a wide variety of examples of rings. For example, creating a Baer and not a Baer $*$-ring, a Rickart $*$-ring which is not Baer, or a Baer and not a Rickart $*$-ring, is straightforward using the graph-theoretic properties from our results. In addition, our characterizations showcase more properties which distinguish behavior of Leavitt path algebras from their $C^*$-algebra counterparts. For example, while a graph $C^*$-algebra is Baer (and a Baer $*$-ring) if and only if the underlying graph is finite and acyclic, a Leavitt path algebra is Baer if and only if the graph is finite and no cycle has an exit, and it is a Baer $*$-ring if and only if the graph is a finite disjoint union of graphs which are finite and acyclic or loops.

math.RA↗

arXiv2023

Comparability in the graph monoid

Let $Γ$ be the infinite cyclic group on a generator $x.$ To avoid confusion when working with $\mathbb Z$-modules which also have an additional $\mathbb Z$-action, we consider the $\mathbb Z$-action to be a $Γ$-action instead. Starting from a directed graph $E$, one can define a cancellative commutative monoid $M_E^Γ$ with a $Γ$-action which agrees with the monoid structure and a natural order. The order and the action enable one to label each nonzero element as being exactly one of the following: comparable (periodic or aperiodic) or incomparable. We comprehensively pair up these element features with the graph-theoretic properties of the generators of the element. We also characterize graphs such that every element of $M_E^Γ$ is comparable, periodic, graphs such that every nonzero element of $M_E^Γ$ is aperiodic, incomparable, graphs such that no nonzero element of $M_E^Γ$ is periodic, and graphs such that no element of $M_E^Γ$ is aperiodic. The Graded Classification Conjecture can be formulated to state that $M_E^Γ$ is a complete invariant of the Leavitt path algebra $L_K(E)$ of $E$ over a field $K.$ Our characterizations indicate that the Graded Classification Conjecture may have a positive answer since the properties of $E$ are well reflected by the structure of $M_E^Γ.$ Our work also implies that some results of [R. Hazrat, H. Li, The talented monoid of a Leavitt path algebra, J. Algebra, 547 (2020) 430-455] hold without requiring the graph to be row-finite.

math.RA↗

arXiv2023

Distinguishing Leavitt algebras among Leavitt path algebras of finite graphs by Serre property

Two unanswered questions in the heart of the theory of Leavitt path algebras are whether Grothendieck group $K_0$ is a complete invariant for the class of unital purely infinite simple algebras and, a weaker question, whether $L_2$ (the Leavitt path algebra associated to a vertex with two loops) and its Cuntz splice algebra $L_{2-}$ are isomorphic. The positive answer to the first question implies the latter. In this short paper, we raise and investigate another question, the so-called Serre's conjecture, which sits in between of the above two questions: The positive answer to the classification question implies Serre's conjecture which in turn implies $L_2 \cong L_{2-}$. Along the way, we give new easy to construct algebras having stable free but not free modules.

math.RA↗

arXiv2022

Graded Semigroups

We systematically develop a theory of graded semigroups, that is semigroups S partitioned by groups G, in a manner compatible with the multiplication on S. We define a smash product S#G, and show that when S has local units, the category S#G-Mod of sets admitting an S#G-action is isomorphic to the category S-Gr of graded sets admitting an appropriate S-action. We also show that when S is an inverse semigroup, it is strongly graded if and only if S-Gr is naturally equivalent to S_1-Mod, where S_1 is the partition of S corresponding to the identity element 1 of G. These results are analogous to well-known theorems of Cohen/Montgomery and Dade for graded rings. Moreover, we show that graded Morita equivalence implies Morita equivalence for semigroups with local units, evincing the wealth of information encoded by the grading of a semigroup. We also give a graded Vagner-Preston theorem, provide numerous examples of naturally-occurring graded semigroups, and explore connections between graded semigroups, graded rings, and graded groupoids. In particular, we introduce graded Rees matrix semigroups, and relate them to smash product semigroups. We pay special attention to graded graph inverse semigroups, and characterise those that produce strongly graded Leavitt path algebras.

math.RA↗

arXiv2022

Connections between Abelian sandpile models and the $K$-theory of weighted Leavitt path algebras

In our main result, we establish that any conical sandpile monoid $M = SP(G)$ of a directed sandpile graph $G$ can be realised as the $\mathcal{V}$-monoid of a weighted Leavitt path algebra $L_K(E,w)$, and consequently, the sandpile group as the Grothendieck group $K_0(L_K(E,w))$. We show how to explicitly construct $(E,w)$ from $G$. Additionally, we describe the conical sandpile monoids which arise as the $\mathcal{V}$-monoid of a standard (i.e., unweighted) Leavitt path algebra.

math.RA↗

arXiv2022

Crossed product Leavitt path algebras

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 in terms of the properties of $K_0^Γ(L_K(E)).$ Our proof also provides an alternative to the known proof of the equivalence $L_K(E)$ is strongly graded if and only if $E$ has no sinks for a finite graph $E.$ We also show that, if unital, the algebra $L_K(E)$ is strongly graded and graded unit-regular if and only if $L_K(E)$ is a crossed product. In the process of showing the main result, we obtain conditions on a group $Γ$ and a $Γ$-graded division ring $K$ equivalent with the requirements that a $Γ$-graded matrix ring $R$ over $K$ is strongly graded, a crossed product, a skew group ring, or a group ring. We characterize these properties also in terms of the action of the group $Γ$ on the Grothendieck $Γ$-group $K_0^Γ(R).$

math.RA↗

arXiv2021

Graphs with disjoint cycles, classification via the talented monoid

We characterise directed graphs consisting of disjoint cycles via their talented monoids. We show that a graph $E$ consists of disjoint cycles precisely when its talented monoid $T_E$ has a certain Jordan-Hölder composition series. These are graphs whose associated Leavitt path algebras have finite Gelfand-Kirillov dimension (GKdim). We show that this dimension can be determined as the length of certain ideal series of the talented monoid. Since $T_E$ is the positive cone of the graded Grothendieck group $K_0^{gr}(L_K (E))$, we conclude that for graphs $E$ and $F$, if $K_0^{gr}(L_K (E))\cong K_0^{gr}(L_K (F))$ then $GKdim L_K(E) = GKdim L_K(F)$, thus providing more evidence for the Graded Classification Conjecture for Leavitt path algebras.

math.RA↗

arXiv2021

The talented monoid of a directed graph with applications to graph algebras

It is a conjecture that for the class of Leavitt path algebras associated to finite directed graphs, their graded Grothendieck groups $K_0^{\mathrm{gr}}$ are a complete invariant. For a Leavitt path algebra $L_{\mathsf k}(E)$, with coefficient in a field ${\mathsf k}$, the monoid of the positive cone of $K_0^{\mathrm{gr}}(L_{\mathsf k}(E))$ can be described completely in terms of the graph $E$. In this note we further investigate the structure of this "talented monoid", showing how it captures intrinsic properties of the graph and hence the structure of its associated Leavitt path algebras. In particular, for the class of strongly connected graphs, we show that the notion of the period of a graph can be completely described via the talented monoid. As an application, we will give a finer characterisation of the purely infinite simple Leavitt path algebras in terms of properties of the associated graph. We show that graded isomorphism of algebras preserve the period of the graphs, and obtain results giving more evidence to the graded classification conjecture.

math.RA↗

arXiv2021

Irreducible representations of Leavitt algebras

For a weighted graph $E$, we construct representation graphs $F$, and consequently, $L_K(E)$-modules $V_F$, where $L_K(E)$ is the Leavitt path algebra associated to $E$, with coefficients in a field $K$. We characterise representation graphs $F$ such that $V_F$ are simple $L_K(E)$-modules. We show that the category of representation graphs of $E$, $RG(E)$, is a disjoint union of subcategories, each of which contains a unique universal object $T$ which gives an indecomposable $L_K(E)$-module $V_T$ and a unique irreducible representation graph $S$, which gives a simple $L_K(E)$-module $V_S$. Specialising to graphs with one vertex and $m$ loops of weight $n$, we construct irreducible representations for the celebrated Leavitt algebras $L_K(n,m)$. On the other hand, specialising to graphs with weight one, we recover the simple modules of Leavitt path algebras constructed by Chen via infinite paths or sinks and give a large class of non-simple indecomposable modules.

math.RT↗

arXiv2020

Graded $K$-Theory, Filtered $K$-theory and the classification of graph algebras

We prove that an isomorphism of graded Grothendieck groups $K^{gr}_0$ of two Leavitt path algebras induces an isomorphism of a certain quotient of algebraic filtered $K$-theory and consequently an isomorphism of filtered $K$-theory of their associated graph $C^*$-algebras. As an application, we show that, since for a finite graph $E$ with no sinks, $K^{gr}_0\big(L(E)\big)$ of the Leavitt path algebra $L(E)$ coincides with Krieger's dimension group of its adjacency matrix $A_E$, our result relates the shift equivalence of graphs to the filtered $K$-theory and consequently gives that two arbitrary shift equivalent matrices give stably isomorphic graph $C^*$-algebras. This result was only known for irreducible graphs.

math.RA↗

arXiv2020

A note on the core of Steinberg algebras

For an ample Hausdorff groupoid $G$, and the Steinberg algebra $A_R(G)$ with coefficients in the commutative ring $R$ with unit, we describe the centraliser of subalgebra $A_R(U)$ with $U$ an open closed invariant subset of unit space of $G$. In particular, we obtain that the algebra of the interior of the isotropy is indeed the centraliser of the diagonal subalgebra of Steinberg algebra. This will unify several results in the literature and the corresponding results for Leavitt path algebras follow.

math.RA↗

arXiv2019

An algebraic analogue of Exel-Pardo C*-algebras

We introduce an algebraic version of the Katsura $C^*$-algebra of a pair $A,B$ of integer matrices and an algebraic version of the Exel-Pardo $C^*$-algebra of a self-similar action on a graph. We prove a Graded Uniqueness Theorem for such algebras and construct a homomorphism of the latter into a Steinberg algebra that, under mild conditions, is an isomorphism. Working with Steinberg algebras over non-Hausdorff groupoids we prove that in the unital case, our algebraic version of Katsura $C^*$-algebras are all isomorphic to Steinberg algebras.

math.RA↗

arXiv2019

The talented monoid of a Leavitt path algebra

There is a tight relation between the geometry of a directed graph and the algebraic structure of a Leavitt path algebra associated to it. In this note, we show a similar connection between the geometry of the graph and the structure of a certain monoid associated to it. This monoid is isomorphic to the positive cone of the graded K0-group of the Leavitt path algebra which is naturally equipped with a Z-action. As an example, we show that a graph has a cycle without an exit if and only if the monoid has a periodic element. Consequently a graph has Condition (L) if and only if the group Z acts freely on the monoid. We go on to show that the algebraic structure of Leavitt path algebras (such as simplicity, purely infinite simplicity, or the lattice of ideals) can be described completely via this monoid. Therefore an isomorphism between the monoids (or graded K0's) of two Leavitt path algebras implies that the algebras have similar algebraic structures. These all confirm that the graded Grothendieck group could be a sought-after complete invariant for the classification of Leavitt path algebras.

math.RA↗

arXiv2019

Homology of étale groupoids, a graded approach

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, our result extends Matui's on zeroth homology of finite graphs with no sinks (shifts of finite type) to all arbitrary graphs. We use our results to show that graded zeroth-homology group is a complete invariant for eventual conjugacy of shift of finite types and could be the unifying invariant for the analytic and the algebraic graph algebras.

math.KT↗

arXiv2019

Étale groupoids and Steinberg algebras, a concise introduction

We give a concise introduction to (discrete) algebras arising from étale groupoids, (aka Steinberg algebras) and describe their close relationship with groupoid C*-algebras. Their connection to partial group rings via inverse semigroups also explored.

math.RA↗

arXiv2018

$\mathbb{Z}$-graded rings as Cuntz-Pimsner rings

Given a $\mathbb{Z}$-graded ring $A$ and a subring $R\subseteq A$, it is natural to ask whether $A$ can be realised as the Cuntz-Pimsner ring of some $R$-system. In this paper, we derive sufficient conditions on $A$ and $R$ for this to be the case. As an application, we give conditions under which the Steinberg algebra $A_K(\mathcal{G})$ associated to a $\mathbb{Z}$-graded groupoid $\mathcal{G}=\sqcup_{n\in \mathbb{Z}} \mathcal{G}_n$ can be realised as the Cuntz-Pimsner ring of an $A_K(\mathcal{G}_0)$-system.

math.RA↗

arXiv2018

K-theory Classification of Graded Ultramatricial Algebras with Involution

We consider a generalization $K_0^{\operatorname{gr}}(R)$ of the standard Grothendieck group $K_0(R)$ of a graded ring $R$ with involution. If $Γ$ is an abelian group, we show that $K_0^{\operatorname{gr}}$ completely classifies graded ultramatricial $*$-algebras over a $Γ$-graded $*$-field $A$ such that (1) each nontrivial graded component of $A$ has a unitary element in which case we say that $A$ has enough unitaries, and (2) the zero-component $A_0$ is 2-proper (for any $a,b\in A_0,$ $aa^*+bb^*=0$ implies $a=b=0$) and $*$-pythagorean (for any $a,b\in A_0,$ $aa^*+bb^*=cc^*$ for some $c\in A_0$). If the involutive structure is not considered, our result implies that $K_0^{\operatorname{gr}}$ completely classifies graded ultramatricial algebras over any graded field $A.$ If the grading is trivial and the involutive structure is not considered, we obtain some well known results as corollaries. If $R$ and $S$ are graded matricial $*$-algebras over a $Γ$-graded $*$-field $A$ with enough unitaries and $f: K_0^{\operatorname{gr}}(R)\to K_0^{\operatorname{gr}}(S)$ is a contractive $\mathbb Z[Γ]$-module homomorphism, we present a specific formula for a graded $*$-homomorphism $ϕ: R\to S$ with $K_0^{\operatorname{gr}}(ϕ) = f.$ If the grading is trivial and the involutive structure is not considered, our constructive proof implies the known results with existential proofs. As an application of our results, we show that the graded version of the Isomorphism Conjecture holds for a class of Leavitt path algebras: if $E$ and $F$ are countable, row-finite, no-exit graphs in which every path ends in a sink or a cycle and $K$ is a 2-proper and $*$-pythagorean field, then the Leavitt path algebras $L_K(E)$ and $L_K(F)$ are isomorphic as graded rings if any only if they are isomorphic as graded $*$-algebras.

math.RA↗