Showing 1–50 of 66 results for author: Hazrat, R

Higher-rank graphs and the graded $K$-theory of Kumjian-Pask Algebras

Authors: Roozbeh Hazrat, Promit Mukherjee, David Pask, Sujit Kumar Sardar

Abstract: This paper lays out the foundations of graded $K$-theory for Leavitt algebras associated with higher-rank graphs, also known as Kumjian-Pask algebras, establishing it as a potential tool for their classification. For a row-finite $k$-graph $Λ$ without sources, we show that there exists a $\mathbb{Z}[\mathbb{Z}^k]$-module isomorphism between the graded zeroth (integral) homology… ▽ More This paper lays out the foundations of graded $K$-theory for Leavitt algebras associated with higher-rank graphs, also known as Kumjian-Pask algebras, establishing it as a potential tool for their classification. For a row-finite $k$-graph $Λ$ without sources, we show that there exists a $\mathbb{Z}[\mathbb{Z}^k]$-module isomorphism between the graded zeroth (integral) homology $H_0^{gr}(\mathcal{G}_Λ)$ of the infinite path groupoid $\mathcal{G}_Λ$ and the graded Grothendieck group $K_0^{gr}(KP_\mathsf{k}(Λ))$ of the Kumjian-Pask algebra $KP_\mathsf{k}(Λ)$, which respects the positive cones (i.e., the talented monoids). We demonstrate that the $k$-graph moves of in-splitting and sink deletion defined by Eckhardt et al. (Canad. J. Math. 2022) preserve the graded $K$-theory of associated Kumjian-Pask algebras and produce algebras which are graded Morita equivalent, thus providing evidence that graded $K$-theory may be an effective invariant for classifying certain Kumjian-Pask algebras. We also determine a natural sufficient condition regarding the fullness of the graded Grothendieck group functor. More precisely, for two row-finite $k$-graphs $Λ$ and $Ω$ without sources and with finite object sets, we obtain a sufficient criterion for lifting a pointed order-preserving $\mathbb{Z}[\mathbb{Z}^k]$-module homomorphism between $K_0^{gr}(KP_\mathsf{k}(Λ))$ and $K_0^{gr}(KP_\mathsf{k}(Ω))$ to a unital graded ring homomorphism between $KP_\mathsf{k}(Λ)$ and $KP_\mathsf{k}(Ω)$. For this we adapt, in the setting of $k$-graphs, the bridging bimodule technique recently introduced by Abrams, Ruiz and Tomforde (Algebr. Represent. Theory 2024). △ Less

Submitted 26 July, 2025; originally announced July 2025.

Williams' conjecture holds for graphs of Gelfand-Kirillov dimension three

Authors: Tran Quang Do, Roozbeh Hazrat, Tran Giang Nam

Abstract: A graph of Gelfand-Kirillov dimension three is a connected finite essential graph such that its Leavitt path algebra has Gelfand-Kirillov dimension three. We provide number-theoretic criteria for graphs of Gelfand-Kirillov dimension three to be strong shift equivalent. We then prove that two graphs of Gelfand-Kirillov dimension three are shift equivalent if and only if they are strongly shift equi… ▽ More A graph of Gelfand-Kirillov dimension three is a connected finite essential graph such that its Leavitt path algebra has Gelfand-Kirillov dimension three. We provide number-theoretic criteria for graphs of Gelfand-Kirillov dimension three to be strong shift equivalent. We then prove that two graphs of Gelfand-Kirillov dimension three are shift equivalent if and only if they are strongly shift equivalent, if and only if their corresponding Leavitt path algebras are graded Morita equivalent, if and only if their graded $K$-theories, $K^{\text{gr}}_0$, are order-preserving $\mathbb{Z}[x, x^{-1}]$-module isomorphic. As a consequence, we obtain that the Leavitt path algebras of graphs of Gelfand-Kirillov dimension three are graded Morita equivalent if and only if their graph $C^*$-algebras are equivariant Morita equivalent, and two graphs $E$ and $F$ of Gelfand-Kirillov dimension three are shift equivalent if and only if the singularity categories $\text{D}_{\text{sg}}(KE/J_E^2)$ and $\text{D}_{\text{sg}}(KF/J_F^2)$ are triangulated equivalent. △ Less

Submitted 15 April, 2025; originally announced April 2025.

The uniform dimension of a monoid with applications to graph algebras

Authors: Luiz Gustavo Cordeiro, Daniel Gonçalves, Roozbeh Hazrat

Abstract: We adapt Goldie's concept of uniform dimensions from module theory over rings to $Γ$-monoids. A $Γ$-monoid $M$ is said to have uniform dimension $n$ if $n$ is the largest number of pairwise incomparable nonzero $Γ$-order ideals contained in $M$. Specializing to the talented monoid of a graph, we show that the uniform dimension provides a rough measure of how the graph branches out. Since for any… ▽ More We adapt Goldie's concept of uniform dimensions from module theory over rings to $Γ$-monoids. A $Γ$-monoid $M$ is said to have uniform dimension $n$ if $n$ is the largest number of pairwise incomparable nonzero $Γ$-order ideals contained in $M$. Specializing to the talented monoid of a graph, we show that the uniform dimension provides a rough measure of how the graph branches out. Since for any order ideal $I$, its orthogonal ideal $I^\perp$ is the largest ideal incomparable to $I$, we study the notions of orthogonality and regularity, particularly when $I^{\perp\perp}=I$. We show that the freeness of the action of $\mathbb Z$ on the talented monoid of a graph is preserved under quotienting by a regular ideal. Furthermore, we determine the underlying hereditary and saturated sets that generate these ideals. These results unify recent studies on regular ideals of the corresponding Leavitt path algebras and graph $C^*$-algebras. We conclude that for graphs $E$ and $F$, if there is a $\mathbb Z$-monoid isomorphism $T_E\cong T_F$, then there is a one-to-one correspondence between the regular ideals of the associated Leavitt path algebras $L_K(E)$ and $L_K(F)$ (and similarly, $C^*(E)$ and $C^*(F)$). Since the talented monoid $T_E$ is the positive cone of the graded Grothendieck group $K_0^{gr}(L_K(E))$, this provides further evidence supporting the Graded Classification Conjecture. △ Less

Submitted 16 February, 2025; originally announced February 2025.

MSC Class: 16S88

On structural connections between sandpile monoids and weighted Leavitt path algebras

Authors: Roozbeh Hazrat, Tran Giang Nam

Abstract: In this article, we establish the relations between a sandpile graph, its sandpile monoid and the weighted Leavitt path algebra associated with it. Namely, we show that the lattice of all idempotents of the sandpile monoid $\text{SP}(E)$ of a sandpile graph $E$ is both isomorphic to the lattice of all nonempty saturated hereditary subsets of $E$, the lattice of all order-ideals of $\text{SP}(E)$ a… ▽ More In this article, we establish the relations between a sandpile graph, its sandpile monoid and the weighted Leavitt path algebra associated with it. Namely, we show that the lattice of all idempotents of the sandpile monoid $\text{SP}(E)$ of a sandpile graph $E$ is both isomorphic to the lattice of all nonempty saturated hereditary subsets of $E$, the lattice of all order-ideals of $\text{SP}(E)$ and the lattice of all ideals of the weighted Leavitt path algebra $L_{K}(E, ω)$ generated by vertices. Also, we describe the sandpile group of a sandpile graph $E$ via archimedean classes of $\text{SP}(E)$, and prove that all maximal subgroups of $\text{SP}(E)$ are exactly the Grothendieck groups of these archimedean classes. Finally, we give the structure of the Leavitt path algebra $L_{K}(E)$ of a sandpile graph $E$ via a finite chain of graded ideals being invariant under every graded automorphism of $L_{K}(E)$, and completely describe the structure of $L_{K}(E)$ such that the lattice of all idempotents of $\text{SP}(E)$ is a chain. Consequently, we completely describe the structure of the weighted Leavitt path algebra of a sandpile graph $E$ such that $\text{SP}(E)$ has exactly two idempotents. △ Less

Submitted 7 December, 2024; originally announced December 2024.

The Talented Monoid of Higher-Rank Graphs with Applications to Kumjian-Pask Algebras

Authors: Roozbeh Hazrat, Promit Mukherjee, David Pask, Sujit Kumar Sardar

Abstract: Given a row-finite higher-rank $k$-graph $Λ$, we define a commutative monoid $T_Λ$ which is a higher-rank analogue of the talented monoid of a directed graph. The talented monoid $T_Λ$ is canonically a $\mathbb{Z}^k$-monoid with respect to the action of state shift. This monoid coincides with the positive cone of the graded Grothendieck group $K_0^{gr}(KP_\mathsf{k}(Λ))$ of the Kumjian-Pask algebr… ▽ More Given a row-finite higher-rank $k$-graph $Λ$, we define a commutative monoid $T_Λ$ which is a higher-rank analogue of the talented monoid of a directed graph. The talented monoid $T_Λ$ is canonically a $\mathbb{Z}^k$-monoid with respect to the action of state shift. This monoid coincides with the positive cone of the graded Grothendieck group $K_0^{gr}(KP_\mathsf{k}(Λ))$ of the Kumjian-Pask algebra $KP_\mathsf{k}(Λ)$ with coefficients in a field $\mathsf{k}$. The aim of the paper is to investigate this $\mathbb{Z}^k$-monoid as a capable invariant for classification of Kumjian-Pask algebras. If $\mathbb{Z}^k$ acts freely on $T_Λ$ (i.e., if $T_Λ$ has no nonzero periodic element), then we show that the $k$-graph $Λ$ is aperiodic. The converse is also proved to be true provided $Λ$ has no sources and $T_Λ$ is atomic. Moreover in this case, we provide a talented monoid characterization for strongly aperiodic $k$-graphs. We prove that for a row-finite $k$-graph $Λ$ without sources, cofinality is equivalent to the simplicity of $T_Λ$ as a $\mathbb{Z}^k$-monoid. In view of this we provide a talented monoid criterion for the Kumjian-Pask algebra $KP_R(Λ)$ of $Λ$ over a unital commutative ring $R$ to be graded basic ideal simple. We also describe the minimal left ideals of $KP_\mathsf{k}(Λ)$ in terms of the aperiodic atoms of $T_Λ$ and thus obtain a monoid theoretic characterization for $Soc(KP_\mathsf{k}(Λ)$) to be an essential ideal. These results help us to characterize semisimple Kumjian-Pask algebras through the lens of $T_Λ$. △ Less

Submitted 12 November, 2024; originally announced November 2024.

Williams' and Graded Equivalence Conjectures for small graphs

Authors: Roozbeh Hazrat, Elizabeth Pacheco

Abstract: We prove what might have been expected: The Williams Conjecture in symbolic dynamics and Graded Morita Equivalence Conjecture for Leavitt/$C^*$-graph algebras hold for ``small graphs'', i.e., connected graphs with three vertices, no parallel edges, no sinks with no trivial hereditary and saturated subsets. Namely, two small graphs are shift equivalent if and only if they are strong shift equivalen… ▽ More We prove what might have been expected: The Williams Conjecture in symbolic dynamics and Graded Morita Equivalence Conjecture for Leavitt/$C^*$-graph algebras hold for ``small graphs'', i.e., connected graphs with three vertices, no parallel edges, no sinks with no trivial hereditary and saturated subsets. Namely, two small graphs are shift equivalent if and only if they are strong shift equivalent if and only if their Leavitt/$C^*$-graph algebras are graded/equivariant Morita equivalent. △ Less

Submitted 12 November, 2024; v1 submitted 3 November, 2024; originally announced November 2024.

Comments: 33 pages

Morita theory of finite representations of Leavitt path algebras

Authors: Wolfgang Bock, Roozbeh Hazrat, Alfilgen Sebandal

Abstract: The Graded Classification Conjecture states that for finite directed graphs $E$ and $F$, the associated Leavitt path algebras $L_\K(E)$ and $L_\K(F)$ are graded Morita equivalent, i.e., $\Gr L_\K(E) \approx_{\gr} \Gr L_\K(F)$, if and only if, their graded Grothendieck groups are isomorphic $K_0^{\gr}(L_\K(E)) \cong K_0^{\gr}(L_\K(F))$ as order-preserving $\mathbb Z[x,x^{-1}]$-modules. Furthermore,… ▽ More The Graded Classification Conjecture states that for finite directed graphs $E$ and $F$, the associated Leavitt path algebras $L_\K(E)$ and $L_\K(F)$ are graded Morita equivalent, i.e., $\Gr L_\K(E) \approx_{\gr} \Gr L_\K(F)$, if and only if, their graded Grothendieck groups are isomorphic $K_0^{\gr}(L_\K(E)) \cong K_0^{\gr}(L_\K(F))$ as order-preserving $\mathbb Z[x,x^{-1}]$-modules. Furthermore, if under this isomorphism, the class $[L_\K(E)]$ is sent to $[L_\K(F)]$ then the algebras are graded isomorphic, i.e., $L_\K(E) \cong _{\gr} L_\K(F)$. In this note we show that, for finite graphs $E$ and $F$ with so sinks and sources, an order-preserving $\mathbb Z[x,x^{-1}]$-module isomorphism $K_0^{\gr}(L_\K(E)) \cong K_0^{\gr}(L_\K(F))$ gives that the categories of locally finite dimensional graded modules of $L_\K(E)$ and $L_\K(F)$ are equivalent, i.e., $\fGr[\mathbb{Z}] L_\K(E)\approx_{\gr} \fGr[\mathbb{Z}]L_\K(F).$ We further obtain that the category of finite dimensional (graded) modules are equivalent, i.e., $\fModd L_\K(E) \approx \fModd L_\K(F)$ and $\fGr L_\K(E) \approx_{\gr} \fGr L_\K(F)$. △ Less

Submitted 2 October, 2024; v1 submitted 29 September, 2024; originally announced September 2024.

Unital aligned shift equivalence and the graded classification conjecture for Leavitt path algebras

Authors: Kevin Aguyar Brix, Adam Dor-On, Roozbeh Hazrat, Efren Ruiz

Abstract: We prove that a unital shift equivalence induces a graded isomorphism of Leavitt path algebras when the shift equivalence satisfies an alignment condition. This yields another step towards confirming the Graded Classification Conjecture. Our proof uses the bridging bimodule developed by Abrams, the fourth-named author and Tomforde, as well as a general lifting result for graded rings that we estab… ▽ More We prove that a unital shift equivalence induces a graded isomorphism of Leavitt path algebras when the shift equivalence satisfies an alignment condition. This yields another step towards confirming the Graded Classification Conjecture. Our proof uses the bridging bimodule developed by Abrams, the fourth-named author and Tomforde, as well as a general lifting result for graded rings that we establish here. This general result also allows us to provide simplified proofs of two important recent results: one independently proven by Arnone and Va{\v s} through other means that the graded $K$-theory functor is full, and the other proven by Arnone and Cortiñas that there is no unital graded homomorphism between a Leavitt algebra and the path algebra of a Cuntz splice. △ Less

Submitted 13 September, 2024; v1 submitted 5 September, 2024; originally announced September 2024.

Comments: v2. 14 pages, added Remark 5.3

MSC Class: Primary: 16S88; 16W50; 19A49. Secondary: 37B10; 46L35

Monoids, dynamics and Leavitt path algebras

Authors: Gene Abrams, Roozbeh Hazrat

Abstract: Leavitt path algebras, which are algebras associated to directed graphs, were first introduced about 20 years ago. They have strong connections to such topics as symbolic dynamics, operator algebras, non-commutative geometry, representation theory, and even chip firing. In this article we invite the reader to sneak a peek at these fascinating algebras and their interplay with several seemingly dis… ▽ More Leavitt path algebras, which are algebras associated to directed graphs, were first introduced about 20 years ago. They have strong connections to such topics as symbolic dynamics, operator algebras, non-commutative geometry, representation theory, and even chip firing. In this article we invite the reader to sneak a peek at these fascinating algebras and their interplay with several seemingly disparate parts of mathematics. △ Less

Submitted 30 August, 2024; originally announced September 2024.

Bergman algebras: The graded universal algebra constructions

Authors: Roozbeh Hazrat, Huanhuan Li, Raimund Preusser

Abstract: A half a century ago, George Bergman introduced stunning machinery which would realise any commutative conical monoid as the non-stable $K$-theory of a ring. The ring constructed is ``minimal" or ``universal". Given the success of graded $K$-theory in classification of algebras and its connections to dynamics and operator algebras, the realisation of $Γ$-monoids (monoids with an action of an abeli… ▽ More A half a century ago, George Bergman introduced stunning machinery which would realise any commutative conical monoid as the non-stable $K$-theory of a ring. The ring constructed is ``minimal" or ``universal". Given the success of graded $K$-theory in classification of algebras and its connections to dynamics and operator algebras, the realisation of $Γ$-monoids (monoids with an action of an abelian group $Γ$ on them) as non-stable graded $K$-theory of graded rings becomes vital. In this paper, we revisit Bergman's work and develop the graded version of this universal construction. For an abelian group $Γ$, a $Γ$-graded ring $R$, and non-zero graded finitely generated projective (left) $R$-modules $P$ and $Q$, we construct a universal $Γ$-graded ring extension $S$ such that $S\otimes_R P\cong S\otimes_R Q$ as graded $S$-modules. This makes it possible to bring the graded techniques, such as smash products and Zhang twists into Bergman's machinery. Given a commutative conical $Γ$-monoid $M$, we construct a $Γ$-graded ring $S$ such that $\mathcal V^{gr}(S)$ is $Γ$-isomorphic to $M$. In fact we show that any finitely generated $Γ$-monoid can be realised as the non-stable graded $K$-theory of a hyper Leavitt path algebra. Here $\mathcal V^{gr}(S)$ is the monoid of isomorphism classes of graded finitely generated projective $S$-modules and the action of $Γ$ on $\mathcal V^{gr}(S)$ is by shift of degrees. Thus the group completion of $M$ can be realised as the graded Grothendieck group $K^{\gr}_0(S)$. We use this machinery to provide a short proof to the fullness of the graded Grothendieck functor $K^{gr}_0$ for the class of Leavitt path algebras (i.e., Graded Classification Conjecture II). △ Less

Submitted 3 March, 2024; originally announced March 2024.

Comments: Comments and corrections are very welcome!

Classification conjectures for Leavitt path algebras

Authors: Guillermo Cortiñas, Roozbeh Hazrat

Abstract: The theory of Leavitt path algebras is intrinsically related, via graphs, to the theory of symbolic dynamics and $C^*$-algebras where the major classification programs have been a domain of intense research in the last 50 years. In this survey article, we gather together current lines of research in the classification of Leavitt path algebras, questions, conjectures, and some of the results about… ▽ More The theory of Leavitt path algebras is intrinsically related, via graphs, to the theory of symbolic dynamics and $C^*$-algebras where the major classification programs have been a domain of intense research in the last 50 years. In this survey article, we gather together current lines of research in the classification of Leavitt path algebras, questions, conjectures, and some of the results about them that have been obtained so far. △ Less

Submitted 11 July, 2024; v1 submitted 8 January, 2024; originally announced January 2024.

Comments: Final version

Journal ref: Bull. Lond. Math. Soc. (2024) 56:10, 3011-3267

Unital algebras being Morita equivalent to weighted Leavitt path algebras

Authors: Roozbeh Hazrat, Tran Giang Nam

Abstract: 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, w… ▽ More 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. △ Less

Submitted 25 December, 2023; originally announced December 2023.

Williams' Conjecture holds for meteor graphs

Authors: L. G. Cordeiro, E. Gillaspy, D. Goncalves, R. Hazrat

Abstract: A meteor graph is a connected graph with no sources and sinks consisting of two disjoint cycles and the paths connecting these cycles. We prove that two meteor graphs are shift equivalent if and only if they are strongly shift equivalent, if and only if their corresponding Leavitt path algebras are graded Morita equivalent, if and only if their graded $K$-theories, $K_0^{gr}$, are… ▽ More A meteor graph is a connected graph with no sources and sinks consisting of two disjoint cycles and the paths connecting these cycles. We prove that two meteor graphs are shift equivalent if and only if they are strongly shift equivalent, if and only if their corresponding Leavitt path algebras are graded Morita equivalent, if and only if their graded $K$-theories, $K_0^{gr}$, are $\mathbb Z [x,x^{-1}]$-module isomorphic. As a consequence, the Leavitt path algebras of meteor graphs are graded Morita equivalent if and only if their graph $C^*$-algebras are equivariant Morita equivalent. △ Less

Submitted 12 April, 2023; originally announced April 2023.

Comments: 27 pages, comments are welcome!

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

Authors: Roozbeh Hazrat, Kulumani M. Rangaswamy

Abstract: 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… ▽ More 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. △ Less

Submitted 17 February, 2023; v1 submitted 9 January, 2022; originally announced January 2022.

Comments: comments welcome!

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

Authors: Gene Abrams, Roozbeh Hazrat

Abstract: 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 ari… ▽ More 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. △ Less

Submitted 21 June, 2022; v1 submitted 16 December, 2021; originally announced December 2021.

Comments: comments welcome!

Graphs with disjoint cycles, classification via the talented monoid

Authors: Roozbeh Hazrat, Alfilgen N. Sebandal, Jocelyn P. Vilela

Abstract: 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 c… ▽ More 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. △ Less

Submitted 4 October, 2021; originally announced October 2021.

Comments: 13 pages. Comments welcome!

Irreducible representations of Leavitt algebras

Authors: Roozbeh Hazrat, Raimund Preusser, Alexander Shchegolev

Abstract: 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, eac… ▽ More 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. △ Less

Submitted 22 March, 2021; originally announced March 2021.

Comments: Comments welcome

Realizing ultragraph Leavitt path algebras as Steinberg algebras

Authors: R. Hazrat, T. G. Nam

Abstract: 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… ▽ More 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 Cuntz-Pimsner rings. △ Less

Submitted 11 August, 2020; originally announced August 2020.

Comments: 22 pages

Graded Semigroups

Authors: Roozbeh Hazrat, Zachary Mesyan

Abstract: 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 invers… ▽ More 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. △ Less

Submitted 5 October, 2022; v1 submitted 4 August, 2020; originally announced August 2020.

Comments: 47 pages. The final version has improvements in the exposition and typo corrections

MSC Class: 20M10; 18B40; 20M18 (primary); 20M17; 20M25; 20M50 (secondary)

Journal ref: Israel Journal of Mathematics, Volume 253, (2023) 249-319

Comparability in the graph monoid

Authors: Roozbeh Hazrat, Lia Vas

Abstract: 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.… ▽ More 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. △ Less

Submitted 22 February, 2023; v1 submitted 28 May, 2020; originally announced May 2020.

MSC Class: 06F05; 05C25; 19A49; 06F20; 16E20; 20M32

Journal ref: New York Journal of Mathematics, 26 (2020), 1375 - 1421

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

Authors: Luiz Gustavo Cordeiro, Daniel Gonçalves, Roozbeh Hazrat

Abstract: 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… ▽ More 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. △ Less

Submitted 2 June, 2021; v1 submitted 22 March, 2020; originally announced March 2020.

Comments: 29 pages; minor corrections from first version

MSC Class: Primary 18B40; Secondary 16D25

Crossed product Leavitt path algebras

Authors: Roozbeh Hazrat, Lia Vas

Abstract: 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)$ ar… ▽ More 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).$ △ Less

Submitted 23 May, 2022; v1 submitted 25 February, 2020; originally announced February 2020.

MSC Class: 16W50; 16S35; 16S50; 19A49; 06F20

Journal ref: International Journal of Algebra and Computation, 31 (8) (2021), 1753 -- 1773

An algebraic analogue of Exel-Pardo C*-algebras

Authors: Roozbeh Hazrat, David Pask, Adam Sierakowski, Aidan Sims

Abstract: 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… ▽ More 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. △ Less

Submitted 27 December, 2019; originally announced December 2019.

Comments: 38 pages, 3 figures

MSC Class: 16D70; 16W50

A note on the core of Steinberg algebras

Authors: Roozbeh Hazrat, Huanhuan Li

Abstract: 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 wil… ▽ More 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. △ Less

Submitted 22 March, 2020; v1 submitted 4 December, 2019; originally announced December 2019.

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

Authors: Pere Ara, Roozbeh Hazrat, Huanhuan Li

Abstract: 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 alge… ▽ More 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. △ Less

Submitted 14 May, 2020; v1 submitted 12 April, 2019; originally announced April 2019.

Comments: 41 pages, comments are very welcome!

The talented monoid of a Leavitt path algebra

Authors: Roozbeh Hazrat, Huanhuan Li

Abstract: 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 wi… ▽ More 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. △ Less

Submitted 22 March, 2019; originally announced March 2019.

Comments: 14 pages

MSC Class: 18B40; 16D25

Étale groupoids and Steinberg algebras, a concise introduction

Authors: Lisa Orloff Clark, Roozbeh Hazrat

Abstract: 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. 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. △ Less

Submitted 6 January, 2019; originally announced January 2019.

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

Authors: Lisa Orloff Clark, James Fletcher, Roozbeh Hazrat, Huanhuan Li

Abstract: 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… ▽ More 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. △ Less

Submitted 1 November, 2018; v1 submitted 30 August, 2018; originally announced August 2018.

Comments: 16 pages, fixed a small number of typographical errors. arXiv admin note: text overlap with arXiv:0810.3254 by other authors

MSC Class: 16W50; 16S10; 46L08; (Primary); 16D20; 46L05 (Secondary)

Structure theory of graded regular graded self-injective rings and applications

Authors: Roozbeh Hazrat, Kulumani M. Rangaswamy, Ashish K. Srivastava

Abstract: 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. 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. △ Less

Submitted 12 August, 2018; originally announced August 2018.

Comments: arXiv admin note: substantial text overlap with arXiv:1705.09217

Homology of étale groupoids, a graded approach

Authors: Roozbeh Hazrat, Huanhuan Li

Abstract: 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 alg… ▽ More 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. △ Less

Submitted 19 January, 2019; v1 submitted 8 June, 2018; originally announced June 2018.

Comments: 23 pages

Simple flat Leavitt path algebras are von Neumann regular

Authors: A. A. Ambily, Roozbeh Hazrat, Huanhuan Li

Abstract: 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 s… ▽ More 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 in positive for the class of Leavitt path algebras. △ Less

Submitted 3 March, 2018; originally announced March 2018.

Strongly graded groupoids and strongly graded Steinberg algebras

Authors: Lisa Orloff Clark, Roozbeh Hazrat, Simon W. Rigby

Abstract: 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… ▽ More 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. Applying this result, we obtain a complete graphical characterisation of strongly graded Leavitt path and Kumjian-Pask algebras. △ Less

Submitted 16 August, 2018; v1 submitted 13 November, 2017; originally announced November 2017.

Graded Steinberg algebras and partial actions

Authors: Roozbeh Hazrat, Huanhuan Li

Abstract: 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 correspond… ▽ More 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 abelian group and realise it as a partial skew group ring via a partial action of the group on a topological space. Applications to the theory of Leavitt path algebras are given. △ Less

Submitted 17 August, 2017; originally announced August 2017.

Comments: 17 pages

MSC Class: 22A22; 18B40; 16D25

A note on multiplicative commutators of division rings

Authors: Roozbeh Hazrat

Abstract: We give an example of a division ring $D$ whose multiplicative commutator subgroup does not generate $D$ as a vector space over its centre, thus disproving the conjecture posed in the paper "Vector space generated by the multiplicative commutators of a division ring, J. Algebra Appl. 12 (2013), no. 8". We give an example of a division ring $D$ whose multiplicative commutator subgroup does not generate $D$ as a vector space over its centre, thus disproving the conjecture posed in the paper "Vector space generated by the multiplicative commutators of a division ring, J. Algebra Appl. 12 (2013), no. 8". △ Less

Submitted 24 June, 2017; originally announced June 2017.

Leavitt path algebras: Graded direct-finiteness and graded $Σ$-injective simple modules

Authors: Roozbeh Hazrat, Kulumani M. Rangaswamy, Ashish K. Srivastava

Abstract: 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 bu… ▽ More 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 finite, we show that $L$ is a graded $Σ$-$V$ ring $\Longleftrightarrow L$ is graded directly-finite $\Longleftrightarrow L $ has bounded index of nilpotence $\Longleftrightarrow $ $L$ is graded semi-simple. Examples show that the equivalence of these properties in the preceding statement no longer holds when the graph $E$ is infinite. Following this, we also characterize Leavitt path algebras $L$ which are non-graded $Σ$-$V$ rings. Graded rings which are graded directly-finite are explored and it is shown that if a Leavitt path algebra $L$ is a graded $Σ$-$V$ ring, then $L$ is always graded directly-finite. Examples show the subtle differences between graded and non-graded directly-finite rings. Leavitt path algebras which are graded directly-finite are shown to be directed unions of graded semisimple rings. Using this, we give an alternative proof of a theorem of Vaš \cite{V} on directly-finite Leavitt path algebras. △ Less

Submitted 18 October, 2017; v1 submitted 25 May, 2017; originally announced May 2017.

Comments: 21 pages

Graded Steinberg algebras and their representations

Authors: Pere Ara, Roozbeh Hazrat, Huanhuan Li, Aidan Sims

Abstract: 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 t… ▽ More 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 (that is, irreducible) representations in the category of graded modules of a Steinberg algebra, and establish a connection between the annihilator ideals of these minimal representations, and effectiveness of the groupoid. Specialising our results, we produce a representation of the monoid of graded finitely generated projective modules over a Leavitt path algebra. We deduce that the lattice of order-ideals in the $K_0$-group of the Leavitt path algebra is isomorphic to the lattice of graded ideals of the algebra. We also investigate the graded monoid for Kumjian--Pask algebras of row-finite $k$-graphs with no sources. We prove that these algebras are graded von Neumann regular rings, and record some structural consequences of this. △ Less

Submitted 4 April, 2017; originally announced April 2017.

Comments: 28 pages

MSC Class: 22A22; 18B40; 16G30

Journal ref: Alg. Number Th. 12 (2018) 131-172

Applications of normal forms for weighted Leavitt path algebras: simple rings and domains

Authors: Roozbeh Hazrat, Raimund Preusser

Abstract: 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 grade… ▽ More 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 contrary to Leavitt path algebras, they are not graded von Neumann regular. △ Less

Submitted 1 March, 2017; v1 submitted 19 July, 2016; originally announced July 2016.

Baer and Baer *-ring characterizations of Leavitt path algebras

Authors: Roozbeh Hazrat, Lia Vas

Abstract: 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… ▽ More 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. △ Less

Submitted 10 June, 2023; v1 submitted 17 June, 2016; originally announced June 2016.

MSC Class: 16S10; 16W10; 16W50; 16D70

Journal ref: Journal of Pure and Applied Algebra, 222 (1) (2018) 39 -- 60

K-theory Classification of Graded Ultramatricial Algebras with Involution

Authors: Roozbeh Hazrat, Lia Vas

Abstract: 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… ▽ More 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. △ Less

Submitted 31 October, 2018; v1 submitted 26 April, 2016; originally announced April 2016.

Comments: Some typos present in the second version are now corrected

Journal ref: Forum Math., 31 (2) (2019), 419 - 463

Recollements, sinks elimination and Leavitt path algebras

Authors: Roozbeh Hazrat, Ju Huang

Abstract: For Leavitt path algebras, we show that whereas removing sources from a graph produces a Morita equivalence, removing sinks gives rise to a recollement situation. In general, we show that for a graph $E$ and a finite hereditary subset $H$ of $E^0$ there is a recollement… ▽ More For Leavitt path algebras, we show that whereas removing sources from a graph produces a Morita equivalence, removing sinks gives rise to a recollement situation. In general, we show that for a graph $E$ and a finite hereditary subset $H$ of $E^0$ there is a recollement $$\xymatrix{ L_K(E/\overline H) \rModd \ar[r] & \ar@<3pt>[l] \ar@<-3pt>[l] L_K(E) \rModd \ar[r] & \ar@<3pt>[l] \ar@<-3pt>[l] L_K(E_H) \rModd .}$$ We record several corollaries. △ Less

Submitted 17 February, 2016; originally announced February 2016.

Reconstruction of graded groupoids from graded Steinberg algebras

Authors: Pere Ara, Joan Bosa, Roozbeh Hazrat, Aidan Sims

Abstract: 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 im… ▽ More 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. △ Less

Submitted 8 September, 2016; v1 submitted 12 January, 2016; originally announced January 2016.

Comments: 18 pages. Revised version, to appear in Forum Mathematicum

MSC Class: 16W50; 22A22

Journal ref: Forum Mathematicum 29 (2017), no. 5, 1023-1037

The commutators of classical groups

Authors: R. Hazrat, N. Vavilov, Z. Zhang

Abstract: In his seminal paper, half a century ago, Hyman Bass established a commutator formula in the setting of (stable) general linear group which was the key step in defining the K_1 group. Namely, he proved that for an associative ring A with identity, E(A)=[E(A),E(A)]=[GL(A),GL(A)] where GL(A) is the stable general linear group and E(A) is its elementary subgroup. Since then, various commutator formul… ▽ More In his seminal paper, half a century ago, Hyman Bass established a commutator formula in the setting of (stable) general linear group which was the key step in defining the K_1 group. Namely, he proved that for an associative ring A with identity, E(A)=[E(A),E(A)]=[GL(A),GL(A)] where GL(A) is the stable general linear group and E(A) is its elementary subgroup. Since then, various commutator formulas have been studied in stable and non-stable settings, and for a range of classical and algebraic like-groups, mostly in relation to subnormal subgroups of these groups. The major classical theorems and methods developed include some of the splendid results of the heroes of classical algebraic K-theory; Bak, Quillen, Milnor, Suslin, Swan and Vaserstein, among others. One of the dominant techniques in establishing commutator type results is localisation. In this note we describe some recent applications of localisation methods to the study (higher/relative) commutators in the groups of points of algebraic and algebraic-like groups, such as general linear groups, GL(n,A), unitary groups GU(2n,A, Lambda) and Chevalley groups G(Phi,A). We also state some of the intermediate results as well as some corollaries of these results. This note provides a general overview of the subject and covers the current activities. It contains complete proofs of several main results to give the reader a self-contained source. We have borrowed some of the proofs from our previous papers and expositions △ Less

Submitted 24 October, 2015; originally announced October 2015.

On graded irreducible representations of Leavitt path algebras

Authors: Roozbeh Hazrat, Kulumani M. Rangaswamy

Abstract: Using the E-algebraic systems, various graded irreducible representations of a Leavitt path algebra L of a graph E over a field K are constructed. The concept of a Laurent vertex is introduced and it is shown that the minimal graded left ideals of L are generated by Laurent vertices and/or line points leading to a detailed description of the graded socle of L. Following this, a complete characteri… ▽ More Using the E-algebraic systems, various graded irreducible representations of a Leavitt path algebra L of a graph E over a field K are constructed. The concept of a Laurent vertex is introduced and it is shown that the minimal graded left ideals of L are generated by Laurent vertices and/or line points leading to a detailed description of the graded socle of L. Following this, a complete characterization is obtained of the Leavitt path algebras over which every graded irreducible representation is finitely presented. A useful result is that the irreducible representation V_[p] induced by infinite path tail-equivalent to an infinite path p is graded if and only if p is an irrational infinite path. We also show that every one-sided ideal of L is graded if and only if the graph E contains no cycles. Supplementing a theorem of one of the co-authors that every Leavitt path algebra is graded von Neumann regular, we describe the graded self-injective Leavitt path algebras. These turn out to be direct sums of matrix rings of arbitrary size over K and k[x,x^-1]. △ Less

Submitted 21 July, 2015; originally announced July 2015.

Comments: 28 papges

MSC Class: 16D70

Graded Rings and Graded Grothendieck Groups

Authors: Roozbeh Hazrat

Abstract: This monograph is devoted to a comprehensive study of graded rings and graded K-theory. A bird's eye view of the graded module theory over a graded ring gives an impression of the module theory with the added adjective "graded" to all its statements. Once the grading is considered to be trivial, the graded theory reduces to the usual module theory. So from this perspective, the graded module theor… ▽ More This monograph is devoted to a comprehensive study of graded rings and graded K-theory. A bird's eye view of the graded module theory over a graded ring gives an impression of the module theory with the added adjective "graded" to all its statements. Once the grading is considered to be trivial, the graded theory reduces to the usual module theory. So from this perspective, the graded module theory can be considered as an extension of the module theory. However, one aspect that could be easily missed from such a panoramic view is that, the graded module theory comes equipped with a shifting, thanks to being able to partition the structures and rearranging these partitions. This adds an extra layer of structure (and complexity) to the theory. An sparkling example of this is the theory of graded Grothendieck groups, K^{gr}_0, which is the main focus of this monograph. Whereas the usual K_0 is an abelian group, thanks to the shiftings, K^{gr}_0 has a natural Z[Γ]-module structure, where Γis the graded group. As we will see throughout this note, this extra structure carries a substantial information about the graded ring. △ Less

Submitted 1 February, 2016; v1 submitted 20 May, 2014; originally announced May 2014.

Comments: 240 pages; To appear in London Math. Soc. Lecture Notes Series, Cambridge University Press

Leavitt path algebras are graded von Neumann regular rings

Authors: Roozbeh Hazrat

Abstract: 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 g… ▽ More 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. △ Less

Submitted 7 May, 2013; originally announced May 2013.

Multiplicative groups of division rings

Authors: R. Hazrat, M. Mahdavi-Hezavehi, M. Motiee

Abstract: Exactly 170 years ago, the construction of the real quaternion algebra by William Hamilton was announced in the Proceedings of the Royal Irish Academy. It became the first example of non-commutative division rings and a major turning point of algebra. To this day, the multiplicative group structure of quaternion algebras have not completely been understood. This article is a long survey of the rec… ▽ More Exactly 170 years ago, the construction of the real quaternion algebra by William Hamilton was announced in the Proceedings of the Royal Irish Academy. It became the first example of non-commutative division rings and a major turning point of algebra. To this day, the multiplicative group structure of quaternion algebras have not completely been understood. This article is a long survey of the recent developments on the multiplicative group structure of division rings. △ Less

Submitted 23 August, 2013; v1 submitted 4 February, 2013; originally announced February 2013.

Generation of relative commutator subgroups in Chevalley groups

Authors: Roozbeh Hazrat, Nikolai Vavilov, Zuhong Zhang

Abstract: Let $Φ$ be a reduced irreducible root system of rank $\ge 2$, let $R$ be a commutative ring and let $I,J$ be two ideals of $R$. In the present paper we describe generators of the commutator groups of relative elementary subgroups $\big[E(Φ,R,I),E(Φ,R,J)\big]$ both as normal subgroups of the elementary Chevalley group $E(Φ,R)$, and as groups. Namely, let $x_{\a}(ξ)$, $\a\inΦ$, $ξ\in R$, be an eleme… ▽ More Let $Φ$ be a reduced irreducible root system of rank $\ge 2$, let $R$ be a commutative ring and let $I,J$ be two ideals of $R$. In the present paper we describe generators of the commutator groups of relative elementary subgroups $\big[E(Φ,R,I),E(Φ,R,J)\big]$ both as normal subgroups of the elementary Chevalley group $E(Φ,R)$, and as groups. Namely, let $x_{\a}(ξ)$, $\a\inΦ$, $ξ\in R$, be an elementary generator of $E(Φ,R)$. As a normal subgroup of the absolute elementary group $E(Φ,R)$, the relative elementary subgroup is generated by $x_{\a}(ξ)$, $\a\inΦ$, $ξ\in I$. Classical results due to Michael Stein, Jacques Tits and Leonid Vaserstein assert that as a group $E(Φ,R,I)$ is generated by $z_{\a}(ξ,η)$, where $\a\inΦ$, $ξ\in I$, $η\in R$. In the present paper, we prove the following birelative analogues of these results. As a normal subgroup of $E(Φ,R)$ the relative commutator subgroup $\big[E(Φ,R,I),E(Φ,R,J)\big]$ is generated by the following three types of generators: i) $\big[x_α(ξ),z_α(ζ,η)\big]$, ii) $\big[x_α(ξ),x_{-α}(ζ)\big]$, and iii) $x_α(ξζ)$, where $α\inΦ$, $ξ\in I$, $ζ\in J$, $η\in R$. As a group, the generators are essentially the same, only that type iii) should be enlarged to iv) $z_α(ξζ,η)$. For classical groups, these results, with much more computational proofs, were established in previous papers by the authors. There is already an amazing application of these results, namely in the recent work of Alexei Stepanov on relative commutator width. △ Less

Submitted 21 December, 2012; originally announced December 2012.

MSC Class: 20G35

The dynamics of Leavitt path algebras

Authors: R. Hazrat

Abstract: Recently it was shown that the notion of flow equivalence of shifts of finite type in symbolic dynamics is related to the Morita theory and the Grothendieck group in the theory of Leavitt path algebras \cite{flowa}. In this paper we show that the notion of conjugacy of shifts of finite type is closely related to the {\it graded} Morita theory and consequently the {\it graded} Grothendieck group. T… ▽ More Recently it was shown that the notion of flow equivalence of shifts of finite type in symbolic dynamics is related to the Morita theory and the Grothendieck group in the theory of Leavitt path algebras \cite{flowa}. In this paper we show that the notion of conjugacy of shifts of finite type is closely related to the {\it graded} Morita theory and consequently the {\it graded} Grothendieck group. This fits into the general framework we have in these two theories: Conjugacy yields the flow equivalence and the graded Morita equivalence can be lifted to the Morita equivalence. Starting from a finite directed graph, the observation that the graded Grothendieck group of the Leavitt path algebra associated to $E$ coincides with the Krieger dimension group of the shift of finite type associated to $E$ provides a link between the theory of Leavitt path algebras and symbolic dynamics. It has been conjectured that the ordered graded Grothendieck group as $\mathbb Z[x,x^{-1}]$-module (we call this the graded dimension group) classifies the Leavitt path algebras completely \cite{hazann}. Via the above correspondence, utilising the results from symbolic dynamics, we prove that for two purely infinite simple unital Leavitt path algebras, if their graded dimension groups are isomorphic, then the algebras are isomorphic. △ Less

Submitted 13 September, 2012; originally announced September 2012.

Commutator width in Chevalley groups

Authors: Roozbeh Hazrat, Alexei Stepanov, Nikolai Vavilov, Zuhong Zhang

Abstract: The present paper is the [slightly expanded] text of our talk at the Conference "Advances in Group Theory and Applications" at Porto Cesareo in June 2011. Our main results assert that [elementary] Chevalley groups very rarely have finite commutator width. The reason is that they have very few commutators, in fact, commutators have finite width in elementary generators. We discuss also the backgrou… ▽ More The present paper is the [slightly expanded] text of our talk at the Conference "Advances in Group Theory and Applications" at Porto Cesareo in June 2011. Our main results assert that [elementary] Chevalley groups very rarely have finite commutator width. The reason is that they have very few commutators, in fact, commutators have finite width in elementary generators. We discuss also the background, bounded elementary generation, methods of proof, relative analogues of these results, some positive results, and possible generalisations. △ Less

Submitted 11 June, 2012; originally announced June 2012.

MSC Class: 20XX (Primary) 20XX (Secondary)

Journal ref: Note di Matematica, 2013, volume 33, issue 1, pp.139-170

Multiple Commutator Formulas for Unitary Groups

Authors: Roozbeh Hazrat, Nikolai Vavilov, Zuhong Zhang

Abstract: Let $(\FormR)$ be a form ring such that $A$ is quasi-finite $R$-algebra (i.e., a direct limit of module finite algebras) with identity. We consider the hyperbolic Bak's unitary groups $\GU(2n,\FormR)$, $n\ge 3$. For a form ideal $(I,Γ)$ of the form ring $(\FormR)$ we denote by $\EU(2n,I,Γ)$ and $\GU(2n,I,Γ)$ the relative elementary group and the principal congruence subgroup of level $(I,Γ)$, resp… ▽ More Let $(\FormR)$ be a form ring such that $A$ is quasi-finite $R$-algebra (i.e., a direct limit of module finite algebras) with identity. We consider the hyperbolic Bak's unitary groups $\GU(2n,\FormR)$, $n\ge 3$. For a form ideal $(I,Γ)$ of the form ring $(\FormR)$ we denote by $\EU(2n,I,Γ)$ and $\GU(2n,I,Γ)$ the relative elementary group and the principal congruence subgroup of level $(I,Γ)$, respectively. Now, let $(I_i,Γ_i) $, $i=0,...,m$, be form ideals of the form ring $(A,Λ)$. The main result of the present paper is the following multiple commutator formula [\big[\EU(2n,I_0,Γ_0),&\GU(2n,I_1,Γ_1),\GU(2n, I_2,Γ_2),..., \GU(2n,I_m,Γ_m)\big]= &\big[\EU(2n,I_0,Γ_0),\EU(2n,I_1,Γ_1),\EU(2n,I_2,Γ_2),..., \EU(2n, I_m, Γ_m)\big],] which is a broad generalization of the standard commutator formulas. This result contains all previous results on commutator formulas for classical like-groups over commutative and finite-dimensional rings. △ Less

Submitted 30 May, 2012; originally announced May 2012.

Comments: arXiv admin note: text overlap with arXiv:0911.5510

MSC Class: 20G35