Showing 1–39 of 39 results for author: Abrams, G

Recasting the Hazrat Conjecture: Relating Shift Equivalence to Graded Morita Equivalence

Authors: Gene Abrams, Efren Ruiz, Mark Tomforde

Abstract: Let $E$ and $F$ be finite graphs with no sinks, and $k$ any field. We show that shift equivalence of the adjacency matrices $A_E$ and $A_F$, together with an additional compatibility condition, implies that the Leavitt path algebras $L_k(E)$ and $L_k(F)$ are graded Morita equivalent. Along the way, we build a new type of $L_k(E)$--$L_k(F)$-bimodule (a bridging bimodule), which we use to establish… ▽ More Let $E$ and $F$ be finite graphs with no sinks, and $k$ any field. We show that shift equivalence of the adjacency matrices $A_E$ and $A_F$, together with an additional compatibility condition, implies that the Leavitt path algebras $L_k(E)$ and $L_k(F)$ are graded Morita equivalent. Along the way, we build a new type of $L_k(E)$--$L_k(F)$-bimodule (a bridging bimodule), which we use to establish the graded equivalence. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Comments: 36 pages

MSC Class: 16S88; 46L35; 37B10

Injectives over Leavitt path algebras of graphs with disjoint cycles

Authors: Gene Abrams, Francesca Mantese, Alberto Tonolo

Abstract: Let $K$ be any field, and let $E$ be a finite graph with the property that every vertex in $E$ is the base of at most one cycle (we say such a graph satisfies Condition (AR)). We explicitly construct the injective envelope of each simple left module over the Leavitt path algebra $L_K(E)$. The main idea girding our construction is that of a "formal power series" extension of modules, thereby develo… ▽ More Let $K$ be any field, and let $E$ be a finite graph with the property that every vertex in $E$ is the base of at most one cycle (we say such a graph satisfies Condition (AR)). We explicitly construct the injective envelope of each simple left module over the Leavitt path algebra $L_K(E)$. The main idea girding our construction is that of a "formal power series" extension of modules, thereby develo** for all graphs satisfying Condition (AR) the understanding of injective envelopes of simple modules over $L_K(E)$ achieved previously for the simple modules over the Toeplitz algebra. △ Less

Submitted 7 December, 2023; v1 submitted 7 July, 2022; originally announced July 2022.

MSC Class: 16S88; 16S99

Morita equivalence for graded rings

Authors: Gene Abrams, Efren Ruiz, Mark Tomforde

Abstract: The classical Morita Theorem for rings established the equivalence of three statements, involving categorical equivalences, isomorphisms between corners of finite matrix rings, and bimodule homomorphisms. A fourth equivalent statement (established later) involves an isomorphism between infinite matrix rings. In our main result, we establish the equivalence of analogous statements involving graded… ▽ More The classical Morita Theorem for rings established the equivalence of three statements, involving categorical equivalences, isomorphisms between corners of finite matrix rings, and bimodule homomorphisms. A fourth equivalent statement (established later) involves an isomorphism between infinite matrix rings. In our main result, we establish the equivalence of analogous statements involving graded categorical equivalences, graded isomorphisms between corners of finite matrix rings, graded bimodule homomorphisms, and graded isomorphisms between infinite matrix rings. △ Less

Submitted 14 May, 2022; originally announced May 2022.

Comments: 23 pages

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!

preCICE v2: A Sustainable and User-Friendly Coupling Library

Authors: Gerasimos Chourdakis, Kyle Davis, Benjamin Rodenberg, Miriam Schulte, Frédéric Simonis, Benjamin Uekermann, Georg Abrams, Hans-Joachim Bungartz, Lucia Cheung Yau, Ishaan Desai, Konrad Eder, Richard Hertrich, Florian Lindner, Alexander Rusch, Dmytro Sashko, David Schneider, Amin Totounferoush, Dominik Volland, Peter Vollmer, Oguz Ziya Koseomur

Abstract: preCICE is a free/open-source coupling library. It enables creating partitioned multi-physics simulations by gluing together separate software packages. This paper summarizes the development efforts in preCICE of the past five years. During this time span, we have turned the software from a working prototype -- sophisticated numerical coupling methods and scalability on ten thousands of compute co… ▽ More preCICE is a free/open-source coupling library. It enables creating partitioned multi-physics simulations by gluing together separate software packages. This paper summarizes the development efforts in preCICE of the past five years. During this time span, we have turned the software from a working prototype -- sophisticated numerical coupling methods and scalability on ten thousands of compute cores -- to a sustainable and user-friendly software project with a steadily-growing community. Today, we know through forum discussions, conferences, workshops, and publications of more than 100 research groups using preCICE. We cover the fundamentals of the software alongside a performance and accuracy analysis of different data map** methods. Afterwards, we describe ready-to-use integration with widely-used external simulation software packages, tests and continuous integration from unit to system level, and community building measures, drawing an overview of the current preCICE ecosystem. △ Less

Submitted 30 September, 2021; v1 submitted 29 September, 2021; originally announced September 2021.

Comments: added missing author, added author contributions, changed license

Complementary Capabilities of Photoacoustic Imaging to Existing Optical Ocular Imaging Techniques

Authors: Dipen Kumar, Anju Goyal, Alan Truhan, Gary Abrams, Rayyan Manwar

Abstract: In this chapter, we will give a brief overview of fundus photography, SLO, and OCT while discussing photoacoustic imaging potential as the next major ocular imaging modality. In this chapter, we will give a brief overview of fundus photography, SLO, and OCT while discussing photoacoustic imaging potential as the next major ocular imaging modality. △ Less

Submitted 9 December, 2020; v1 submitted 7 December, 2020; originally announced December 2020.

Journal ref: In Diabetes and Retinopathy, pp. 1-17. Elsevier, 2020

Injective modules over the Jacobson algebra $K< X,Y | XY = 1 >$

Authors: Gene Abrams, Francesca Mantese, Alberto Tonolo

Abstract: For a field $K$, let $\mathcal{R}$ denote the Jacobson algebra $K\langle X, Y \ | \ XY=1\rangle$. We give an explicit construction of the injective envelope of each of the (infinitely many) simple left $\mathcal{R}$-modules. Consequently, we obtain an explicit description of a minimal injective cogenerator for $\mathcal{R}$. Our approach involves realizing $\mathcal{R}$ up to isomorphism as the Le… ▽ More For a field $K$, let $\mathcal{R}$ denote the Jacobson algebra $K\langle X, Y \ | \ XY=1\rangle$. We give an explicit construction of the injective envelope of each of the (infinitely many) simple left $\mathcal{R}$-modules. Consequently, we obtain an explicit description of a minimal injective cogenerator for $\mathcal{R}$. Our approach involves realizing $\mathcal{R}$ up to isomorphism as the Leavitt path $K$-algebra of an appropriate graph $\mathcal{T}$, which thereby allows us to utilize important machinery developed for that class of algebras. △ Less

Submitted 11 February, 2020; originally announced February 2020.

Comments: 16 pages

Realizing corners of Leavitt path algebras as Steinberg algebras, with corresponding connections to graph $C^*$-algebras

Authors: Gene Abrams, Mikhailo Dokuchaev, T. G. Nam

Abstract: We show that the endomorphism ring of any nonzero finitely generated projective module over the Leavitt path algebra $L_K(E)$ of an arbitrary graph $E$ with coefficients in a field $K$ is isomorphic to a Steinberg algebra. This yields in particular that every nonzero corner of the Leavitt path algebra of an arbitrary graph is isomorphic to a Steinberg algebra. This in its turn gives that every… ▽ More We show that the endomorphism ring of any nonzero finitely generated projective module over the Leavitt path algebra $L_K(E)$ of an arbitrary graph $E$ with coefficients in a field $K$ is isomorphic to a Steinberg algebra. This yields in particular that every nonzero corner of the Leavitt path algebra of an arbitrary graph is isomorphic to a Steinberg algebra. This in its turn gives that every $K$-algebra with local units which is Morita equivalent to the Leavitt path algebra of a row-countable graph is isomorphic to a Steinberg algebra. Moreover, we prove that a corner by a projection of a $C^*$-algebra of a countable graph is isomorphic to the $C^*$-algebra of an ample groupoid. △ Less

Submitted 9 September, 2019; originally announced September 2019.

Comments: 31 pages

MSC Class: 16S99; 05C25; 46L

Products of Ideals in Leavitt Path Algebras

Authors: Gene Abrams, Zachary Mesyan, Kulumani M. Rangaswamy

Abstract: Ideals in Leavitt path algebras have been shown to share many properties with those of integral domains. Since studying factorizations of ideals in integral domains into special types of ideals (particularly, prime, prime-power, primary, irreducible, semiprime, and quasi-primary ones) has proved fruitful, we conduct an analogous investigation in the context of Leavitt path algebras. Specifically,… ▽ More Ideals in Leavitt path algebras have been shown to share many properties with those of integral domains. Since studying factorizations of ideals in integral domains into special types of ideals (particularly, prime, prime-power, primary, irreducible, semiprime, and quasi-primary ones) has proved fruitful, we conduct an analogous investigation in the context of Leavitt path algebras. Specifically, we classify the proper ideals in these rings that admit factorizations into products of each of the above types of ideals. We also classify the Leavitt path algebras where every proper ideal admits a factorization of each of these sorts, as well as those Leavitt path algebras where every proper ideal is of one of those types. △ Less

Submitted 18 December, 2019; v1 submitted 15 August, 2019; originally announced August 2019.

Comments: 22 pages. The second version contains fixes to minor errors and improvements to the exposition

MSC Class: 16W10; 16D25; 16D70

Journal ref: Communications in Algebra, Volume 48, (2020) 1853-1871

Corners of Leavitt path algebras of finite graphs are Leavitt path algebras

Authors: Gene Abrams, T. G. Nam

Abstract: We achieve an extremely useful description (up to isomorphism) of the Leavitt path algebra $L_K(E)$ of a finite graph $E$ with coefficients in a field $K$ as a direct sum of matrix rings over $K$, direct sum with a corner of the Leavitt path algebra $L_K(F)$ of a graph $F$ for which every regular vertex is the base of a loop. Moreover, in this case one may transform the graph $E$ into the graph… ▽ More We achieve an extremely useful description (up to isomorphism) of the Leavitt path algebra $L_K(E)$ of a finite graph $E$ with coefficients in a field $K$ as a direct sum of matrix rings over $K$, direct sum with a corner of the Leavitt path algebra $L_K(F)$ of a graph $F$ for which every regular vertex is the base of a loop. Moreover, in this case one may transform the graph $E$ into the graph $F$ via some step-by-step procedure, using the "source elimination" and "collapsing" processes. We use this to establish the main result of the article, that every nonzero corner of a Leavitt path algebra of a finite graph is isomorphic to a Leavitt path algebra. Indeed, we prove a more general result, to wit, that the endomorphism ring of any nonzero finitely generated projective $L_K(E)$-module is isomorphic to the Leavitt path algebra of a graph explicitly constructed from $E$. Consequently, this yields in particular that every unital $K$-algebra which is Morita equivalent to a Leavitt path algebra is indeed isomorphic to a Leavitt path algebra. △ Less

Submitted 10 February, 2019; originally announced February 2019.

Comments: 24 pages. Submitted for publication

MSC Class: 16S99

Leavitt path algebras of Cayley graphs $C_n^j$

Authors: Gene Abrams, Stefan Erickson, Cristóbal Gil Canto

Abstract: Let $n$ be a positive integer. For each $0\leq j \leq n-1$ we let $C_n^j$ denote the Cayley graph of the cyclic group $\mathbb{Z}_n$ with respect to the subset $\{1,j\}$. Utilizing the Smith Normal Form process, we give an explicit description of the Grothendieck group of each of the Leavitt path algebras $L_K(C_n^j)$ for any field $K$. Our general method significantly streamlines the approach tha… ▽ More Let $n$ be a positive integer. For each $0\leq j \leq n-1$ we let $C_n^j$ denote the Cayley graph of the cyclic group $\mathbb{Z}_n$ with respect to the subset $\{1,j\}$. Utilizing the Smith Normal Form process, we give an explicit description of the Grothendieck group of each of the Leavitt path algebras $L_K(C_n^j)$ for any field $K$. Our general method significantly streamlines the approach that was used in previous work to establish this description in the specific case $j=2$. Along the way, we give necessary and sufficient conditions on the pairs $(j,n)$ which yield that this group is infinite. We subsequently focus on the case $j = 3$, where the structure of this group turns out to be related to a Fibonacci-like sequence, called the Narayana's Cows sequence. △ Less

Submitted 18 December, 2017; originally announced December 2017.

Comments: 19 pages. arXiv admin note: text overlap with arXiv:1310.4735

MSC Class: 16S99; 11B39

Chains of Semiprime and Prime Ideals in Leavitt Path Algebras

Authors: Gene Abrams, Be'eri Greenfeld, Zachary Mesyan, Kulumani M. Rangaswamy

Abstract: Semiprime ideals of an arbitrary Leavitt path algebra L are described in terms of their generators. This description is then used to show that the semiprime ideals form a complete sublattice of the lattice of ideals of L, and they enjoy a certain gap property identified by Kaplansky in prime spectra of commutative rings. It is also shown that the totally ordered sets that can be realized as prime… ▽ More Semiprime ideals of an arbitrary Leavitt path algebra L are described in terms of their generators. This description is then used to show that the semiprime ideals form a complete sublattice of the lattice of ideals of L, and they enjoy a certain gap property identified by Kaplansky in prime spectra of commutative rings. It is also shown that the totally ordered sets that can be realized as prime spectra of Leavitt path algebras are precisely those that have greatest lower bounds on subchains and enjoy the aforementioned gap property. Finally, it is shown that a conjecture of Kaplansky regarding identifying von Neumann regular rings via their prime factors holds for Leavitt path algebras. △ Less

Submitted 5 December, 2017; originally announced December 2017.

Comments: 15 pages

MSC Class: 16W10; 16D25

Journal ref: 1-16, Contemporary Mathematics, Volume 715, American Mathematical Society, Providence, RI, 2018

Prüfer modules over Leavitt path algebras

Authors: Gene Abrams, Francesca Mantese, Alberto Tonolo

Abstract: Let $L_K(E)$ denote the Leavitt path algebra associated to the finite graph $E$ and field $K$. For any closed path $c$ in $E$, we define and investigate the uniserial, artinian, non-noetherian left $L_K(E)$-module $U_{E,c-1}$. The unique simple factor of each proper submodule of $U_{E,c-1}$ is isomorphic to the Chen simple module $V_{[c^\infty]}$. In our main result, we classify those closed paths… ▽ More Let $L_K(E)$ denote the Leavitt path algebra associated to the finite graph $E$ and field $K$. For any closed path $c$ in $E$, we define and investigate the uniserial, artinian, non-noetherian left $L_K(E)$-module $U_{E,c-1}$. The unique simple factor of each proper submodule of $U_{E,c-1}$ is isomorphic to the Chen simple module $V_{[c^\infty]}$. In our main result, we classify those closed paths $c$ for which $U_{E,c-1}$ is injective. In this situation, $U_{E,c-1}$ is the injective hull of $V_{[c^\infty]}$. △ Less

Submitted 12 July, 2017; originally announced July 2017.

Comments: 24 pages. Submitted for publication July 2017. Comments are welcomed

MSC Class: 16S99 (primary)

Leavitt path algebras are Bézout

Authors: Gene Abrams, Francesca Mantese, Alberto Tonolo

Abstract: Let $E$ be a directed graph, $K$ any field, and let $L_K(E)$ denote the Leavitt path algebra of $E$ with coefficients in $K$. We show that $L_K(E)$ is a Bézout ring, i.e., that every finitely generated one-sided ideal of $L_K(E)$ is principal. Let $E$ be a directed graph, $K$ any field, and let $L_K(E)$ denote the Leavitt path algebra of $E$ with coefficients in $K$. We show that $L_K(E)$ is a Bézout ring, i.e., that every finitely generated one-sided ideal of $L_K(E)$ is principal. △ Less

Submitted 26 May, 2016; originally announced May 2016.

Comments: 16 pages. To be submitted

MSC Class: 16

Leavitt path algebras having Unbounded Generating Number

Authors: G. Abrams, T. G. Nam, N. T. Phuc

Abstract: We present a result of P. Ara which establishes that the Unbounded Generating Number property is a Morita invariant for unital rings. Using this, we give necessary and sufficient conditions on a graph $E$ so that the Leavitt path algebra associated to $E$ has UGN. We conclude by identifying the graphs for which the Leavitt path algebra is (equivalently) directly finite; stably finite; Hermite; and… ▽ More We present a result of P. Ara which establishes that the Unbounded Generating Number property is a Morita invariant for unital rings. Using this, we give necessary and sufficient conditions on a graph $E$ so that the Leavitt path algebra associated to $E$ has UGN. We conclude by identifying the graphs for which the Leavitt path algebra is (equivalently) directly finite; stably finite; Hermite; and has cancellation of projectives. △ Less

Submitted 31 March, 2016; originally announced March 2016.

Comments: 23 pages. Submitted April 2016

MSC Class: 16S99; 18G05; 05C25

Realizing posets as prime spectra of Leavitt path algebras

Authors: Gene Abrams, Gonzalo Aranda Pino, Zachary Mesyan, Christopher Smith

Abstract: We associate in a natural way to any partially ordered set $(P,\leq)$ a directed graph $E_P$ (where the vertices of $E_P$ correspond to the elements of $P$, and the edges of $E_P$ correspond to related pairs of elements of $P$), and then describe the prime spectrum of the resulting Leavitt path algebra $L_K(E_P)$. This construction allows us to realize a wide class of partially ordered sets as the… ▽ More We associate in a natural way to any partially ordered set $(P,\leq)$ a directed graph $E_P$ (where the vertices of $E_P$ correspond to the elements of $P$, and the edges of $E_P$ correspond to related pairs of elements of $P$), and then describe the prime spectrum of the resulting Leavitt path algebra $L_K(E_P)$. This construction allows us to realize a wide class of partially ordered sets as the prime spectra of rings. More specifically, any partially ordered set in which every downward directed subset has a greatest lower bound, and where these greatest lower bounds satisfy certain compatibility conditions, can be so realized. In particular, any partially ordered set satisfying the descending chain condition is in this class. △ Less

Submitted 31 December, 2016; v1 submitted 21 December, 2015; originally announced December 2015.

Comments: 27 pages. In the second version an appendix with new set-theoretic results has been added, more references have been included, several minor errors and misprints have been corrected, and the title has been changed

MSC Class: 16W10; 16D25; 06A06

Journal ref: Journal of Algebra, Volume 476, (2017) 267-296

Leavitt path algebras: the first decade

Authors: Gene Abrams

Abstract: The algebraic structures known as {\it Leavitt path algebras} were initially developed in 2004 by Ara, Moreno and Pardo, and almost simultaneously (using a different approach) by the author and Aranda Pino. During the intervening decade, these algebras have attracted significant interest and attention, not only from ring theorists, but from analysts working in C$^*$-algebras, group theorists, an… ▽ More The algebraic structures known as {\it Leavitt path algebras} were initially developed in 2004 by Ara, Moreno and Pardo, and almost simultaneously (using a different approach) by the author and Aranda Pino. During the intervening decade, these algebras have attracted significant interest and attention, not only from ring theorists, but from analysts working in C$^*$-algebras, group theorists, and symbolic dynamicists as well. The goal of this article is threefold: to introduce the notion of Leavitt path algebras to the general mathematical community; to present some of the important results in the subject; and to describe some of the field's currently unresolved questions. △ Less

Submitted 7 October, 2014; originally announced October 2014.

Comments: 53 pages. To appear, Bulletin of Mathematical Sciences. (page numbering in arXiv version will differ from page numbering in BMS published version; numbering of Theorems, etc ... will be the same in both versions)

MSC Class: 16S99

Extensions of simple modules over Leavitt path algebras

Authors: Gene Abrams, Francesca Mantese, Alberto Tonolo

Abstract: Let $E$ be a directed graph, $K$ any field, and let $L_K(E)$ denote the Leavitt path algebra of $E$ with coefficients in $K$. For each rational infinite path $c^\infty$ of $E$ we explicitly construct a projective resolution of the corresponding Chen simple left $L_K(E)$-module $V_{[c^\infty]}$. Further, when $E$ is row-finite, for each irrational infinite path $p$ of $E$ we explicitly construct a… ▽ More Let $E$ be a directed graph, $K$ any field, and let $L_K(E)$ denote the Leavitt path algebra of $E$ with coefficients in $K$. For each rational infinite path $c^\infty$ of $E$ we explicitly construct a projective resolution of the corresponding Chen simple left $L_K(E)$-module $V_{[c^\infty]}$. Further, when $E$ is row-finite, for each irrational infinite path $p$ of $E$ we explicitly construct a projective resolution of the corresponding Chen simple left $L_K(E)$-module $V_{[p]}$. For Chen simple modules $S,T$ we describe ${\rm Ext}_{L_K(E)}^1(S,T)$ by presenting an explicit $K$-basis. For any graph $E$ containing at least one cycle, this description guarantees the existence of indecomposable left $L_K(E)$-modules of any prescribed finite length. △ Less

Submitted 19 January, 2015; v1 submitted 15 August, 2014; originally announced August 2014.

Comments: updated: dedication to Alberto Facchini on the occasion of his 60th Birthday added in front matter

MSC Class: 16S99

The Physics of the B Factories

Authors: A. J. Bevan, B. Golob, Th. Mannel, S. Prell, B. D. Yabsley, K. Abe, H. Aihara, F. Anulli, N. Arnaud, T. Aushev, M. Beneke, J. Beringer, F. Bianchi, I. I. Bigi, M. Bona, N. Brambilla, J. B rodzicka, P. Chang, M. J. Charles, C. H. Cheng, H. -Y. Cheng, R. Chistov, P. Colangelo, J. P. Coleman, A. Drutskoy , et al. (2009 additional authors not shown)

Abstract: This work is on the Physics of the B Factories. Part A of this book contains a brief description of the SLAC and KEK B Factories as well as their detectors, BaBar and Belle, and data taking related issues. Part B discusses tools and methods used by the experiments in order to obtain results. The results themselves can be found in Part C. Please note that version 3 on the archive is the auxiliary… ▽ More This work is on the Physics of the B Factories. Part A of this book contains a brief description of the SLAC and KEK B Factories as well as their detectors, BaBar and Belle, and data taking related issues. Part B discusses tools and methods used by the experiments in order to obtain results. The results themselves can be found in Part C. Please note that version 3 on the archive is the auxiliary version of the Physics of the B Factories book. This uses the notation alpha, beta, gamma for the angles of the Unitarity Triangle. The nominal version uses the notation phi_1, phi_2 and phi_3. Please cite this work as Eur. Phys. J. C74 (2014) 3026. △ Less

Submitted 31 October, 2015; v1 submitted 24 June, 2014; originally announced June 2014.

Comments: 928 pages, version 3 (arXiv:1406.6311v3) corresponds to the alpha, beta, gamma version of the book, the other versions use the phi1, phi2, phi3 notation

Report number: SLAC-PUB-15968, KEK Preprint 2014-3

Journal ref: Eur. Phys. J. C74 (2014) 3026

The prime spectrum and primitive ideal space of a graph C*-algebra

Authors: Gene Abrams, Mark Tomforde

Abstract: We describe primitive and prime ideals in the C*-algebra C*(E) of a graph E satisfying Condition (K), together with the topologies on each of these spaces. In particular, we find that primitive ideals correspond to the set of maximal tails disjoint union the set of finite-return vertices, and that prime ideals correspond to the set of clusters of maximal tails disjoint union the set of finite-retu… ▽ More We describe primitive and prime ideals in the C*-algebra C*(E) of a graph E satisfying Condition (K), together with the topologies on each of these spaces. In particular, we find that primitive ideals correspond to the set of maximal tails disjoint union the set of finite-return vertices, and that prime ideals correspond to the set of clusters of maximal tails disjoint union the set of finite-return vertices. △ Less

Submitted 15 June, 2014; v1 submitted 24 February, 2014; originally announced February 2014.

Comments: Version II Comments: Some small typos corrected, and two references added. This is the version that will be published

Leavitt path algebras of Cayley graphs arising from cyclic groups

Authors: Gene Abrams, Benjamin Schoonmaker

Abstract: For any positive integer $n$ we describe the Leavitt path algebra of the Cayley graph $C_n$ corresponding to the cyclic group $\Z/n\Z$. Using a Kirchberg-Phillips-type realization result, we show that there are exactly four isomorphism classes of such Leavitt path algebras, arising as the algebras corresponding to the graphs $C_i$ ($3\leq i \leq 6$). For any positive integer $n$ we describe the Leavitt path algebra of the Cayley graph $C_n$ corresponding to the cyclic group $\Z/n\Z$. Using a Kirchberg-Phillips-type realization result, we show that there are exactly four isomorphism classes of such Leavitt path algebras, arising as the algebras corresponding to the graphs $C_i$ ($3\leq i \leq 6$). △ Less

Submitted 24 October, 2013; originally announced October 2013.

Comments: 9 pages. arXiv admin note: text overlap with arXiv:1310.4735

MSC Class: 16

The Leavitt path algebras of generalized Cayley graphs

Authors: Gene Abrams, Gonzalo Aranda Pino

Abstract: Let $n$ be a positive integer. For each $0\leq j \leq n-1$ we let $C_n^{j}$ denote Cayley graph for the cyclic group ${\mathbb Z}_n $ with respect to the subset $\{1, j\}$. For any such pair $(n,j)$ we compute the size of the Grothendieck group of the Leavitt path algebra $L_K(C_n^j)$; the analysis is related to a collection of integer sequences described by Haselgrove in the 1940's. When… ▽ More Let $n$ be a positive integer. For each $0\leq j \leq n-1$ we let $C_n^{j}$ denote Cayley graph for the cyclic group ${\mathbb Z}_n $ with respect to the subset $\{1, j\}$. For any such pair $(n,j)$ we compute the size of the Grothendieck group of the Leavitt path algebra $L_K(C_n^j)$; the analysis is related to a collection of integer sequences described by Haselgrove in the 1940's. When $j=0,1,$ or 2, we are able to extract enough additional information about the structure of these Grothendieck groups so that we may apply a Kirchberg-Phillips-type result to explicitly realize the algebras $L_K(C_n^j)$ as the Leavitt path algebras of graphs having at most three vertices. The analysis in the $j=2$ case leads us to some perhaps surprising and apparently nontrivial connections to the classical Fibonacci sequence. △ Less

Submitted 17 October, 2013; originally announced October 2013.

A class of C*-algebras that are prime but not primitive

Authors: Gene Abrams, Mark Tomforde

Abstract: We establish necessary and sufficient conditions on a (not necessarily countable) graph E for the graph C*-algebra C*(E) to be primitive. Along with a known characterization of the graphs E for which C*(E) is prime, our main result provides us with a systematic method for easily producing large classes of (necessarily nonseparable) C*-algebras that are prime but not primitive. We also compare and… ▽ More We establish necessary and sufficient conditions on a (not necessarily countable) graph E for the graph C*-algebra C*(E) to be primitive. Along with a known characterization of the graphs E for which C*(E) is prime, our main result provides us with a systematic method for easily producing large classes of (necessarily nonseparable) C*-algebras that are prime but not primitive. We also compare and contrast our results with similar results for Leavitt path algebras. △ Less

Submitted 22 August, 2013; v1 submitted 27 June, 2013; originally announced June 2013.

Comments: Version II Comments: A few typos corrected. This is the version that will be published

MSC Class: 46L55

Cohn path algebras have Invariant Basis Number

Authors: Gene Abrams, Müge Kanuni

Abstract: For any finite directed graph $E$ and any field $K$ we show that the Cohn path algebra $C_K(E)$ has the Invariant Basis Number property. For any finite directed graph $E$ and any field $K$ we show that the Cohn path algebra $C_K(E)$ has the Invariant Basis Number property. △ Less

Submitted 24 October, 2013; v1 submitted 8 March, 2013; originally announced March 2013.

Comments: 11 pages; updated October 2013; some minor style changes from original March 2013 version; new observation that Cohn path algebras have Invariant Matrix Number as well

MSC Class: Primary 16S99; Secondary 05C25

Journal ref: Commun Algebra Vol. 44 No.1, pp. 371-380, 2016

Simple Lie algebras arising from Leavitt path algebras

Authors: Gene Abrams, Zachary Mesyan

Abstract: For a field K and directed graph E, we analyze those elements of the Leavitt path algebra L_K(E) which lie in the commutator subspace [L_K(E), L_K(E)]. This analysis allows us to give easily computable necessary and sufficient conditions to determine which Lie algebras of the form [L_K(E), L_K(E)] are simple, when E is row-finite (i.e., has finite out-degree) and L_K(E) is simple. For a field K and directed graph E, we analyze those elements of the Leavitt path algebra L_K(E) which lie in the commutator subspace [L_K(E), L_K(E)]. This analysis allows us to give easily computable necessary and sufficient conditions to determine which Lie algebras of the form [L_K(E), L_K(E)] are simple, when E is row-finite (i.e., has finite out-degree) and L_K(E) is simple. △ Less

Submitted 15 February, 2012; v1 submitted 15 July, 2011; originally announced July 2011.

Comments: 18 pages. In the second version the exposition has been improved, and various typos and minor errors have been corrected

MSC Class: 16D30; 16S99; 17B60

Journal ref: J. Pure Appl. Algebra, Volume 216, (2012) 2302-2313

On prime non-primitive von Neumann regular algebras

Authors: Gene Abrams, Jason Bell, Kulumani M. Rangaswamy

Abstract: Let $E$ be any directed graph, and $K$ any field. We classify those graphs $E$ for which the Leavitt path algebra $L_K(E)$ is primitive. As a consequence, we obtain classes of examples of von Neumann regular prime rings which are not primitive. Let $E$ be any directed graph, and $K$ any field. We classify those graphs $E$ for which the Leavitt path algebra $L_K(E)$ is primitive. As a consequence, we obtain classes of examples of von Neumann regular prime rings which are not primitive. △ Less

Submitted 21 March, 2011; originally announced March 2011.

Comments: 18 pages

MSC Class: Primary: 16G20; 05E10

The Dixmier-Moeglin equivalence for Leavitt path algebras

Authors: Gene Abrams, Jason P. Bell, Kulumani M. Rangaswamy

Abstract: Let $K$ be a field, let $E$ be a finite directed graph, and let $L_K(E)$ be the Leavitt path algebra of $E$ over $K$. We show that for a prime ideal $P$ in $L_K(E)$, the following are equivalent: \begin{enumerate} \item $P$ is primitive; \item $P$ is rational; \item $P$ is locally closed in ${\rm Spec}(L_K(E))$. \end{enumerate} We show that the prime spectrum ${\rm Spec}(L_K(E))$ decomposes into a… ▽ More Let $K$ be a field, let $E$ be a finite directed graph, and let $L_K(E)$ be the Leavitt path algebra of $E$ over $K$. We show that for a prime ideal $P$ in $L_K(E)$, the following are equivalent: \begin{enumerate} \item $P$ is primitive; \item $P$ is rational; \item $P$ is locally closed in ${\rm Spec}(L_K(E))$. \end{enumerate} We show that the prime spectrum ${\rm Spec}(L_K(E))$ decomposes into a finite disjoint union of subsets, each of which is homeomorphic to ${\rm Spec}(K)$ or to ${\rm Spec}(K[x,x^{-1}])$. In the case that $K$ is infinite, we show that $L_K(E)$ has a rational $K^{\times}$-action, and that the indicated decomposition of ${\rm Spec}(L_K(E))$ is induced by this action. △ Less

Submitted 4 June, 2010; v1 submitted 24 May, 2010; originally announced May 2010.

Comments: 17 pages. Updated version, in which an erroneous proof (of "not primitive implies not rational" in the main theorem) has been replaced by a correct one. All original results from first version remain valid

MSC Class: 16G20; 14L30; 05E10

The matrix type of purely infinite simple Leavitt path algebras

Authors: Gene Abrams, Christopher Smith

Abstract: Let $R$ denote the purely infinite simple unital Leavitt path algebra $L(E)$. We completely determine the pairs of positive integers $(c,d)$ for which there is an isomorphism of matrix rings $M_c(R)\cong M_d(R)$, in terms of the order of $[1_R]$ in the Grothendieck group $K_0(R)$. Let $R$ denote the purely infinite simple unital Leavitt path algebra $L(E)$. We completely determine the pairs of positive integers $(c,d)$ for which there is an isomorphism of matrix rings $M_c(R)\cong M_d(R)$, in terms of the order of $[1_R]$ in the Grothendieck group $K_0(R)$. △ Less

Submitted 28 September, 2009; v1 submitted 17 September, 2009; originally announced September 2009.

Comments: submitted version; group theory lemmas streamlined; 6 pages

MSC Class: 16S50; 16E20

On the simplicity of Lie algebras associated to Leavitt algebras

Authors: Gene Abrams, Darren Funk-Neubauer

Abstract: For any field $\K$ and integer $n\geq 2$ we consider the Leavitt algebra $L_\K(n)$; for any integer $d\geq 1$ we form the matrix ring $S = M_d(L_\K(n))$. $S$ is an associative algebra, but we view $S$ as a Lie algebra using the bracket $[a,b]=ab-ba$ for $a,b \in S$. We denote this Lie algebra as $S^-$, and consider its Lie subalgebra $[S^-,S^-]$. In our main result, we show that $[S^-,S^-]$… ▽ More For any field $\K$ and integer $n\geq 2$ we consider the Leavitt algebra $L_\K(n)$; for any integer $d\geq 1$ we form the matrix ring $S = M_d(L_\K(n))$. $S$ is an associative algebra, but we view $S$ as a Lie algebra using the bracket $[a,b]=ab-ba$ for $a,b \in S$. We denote this Lie algebra as $S^-$, and consider its Lie subalgebra $[S^-,S^-]$. In our main result, we show that $[S^-,S^-]$ is a simple Lie algebra if and only if char$(\K)$ divides $n-1$ and char$(\K)$ does not divide $d$. In particular, when $d=1$ we get that $[L_\K(n)^-,L_\K(n)^-]$ is a simple Lie algebra if and only if char$(\K)$ divides $n-1$. △ Less

Submitted 30 March, 2010; v1 submitted 15 August, 2009; originally announced August 2009.

Comments: 16 pages. Replaces earlier version. New version contains complete classification of simple Lie algebras of form $[S^-,S^-]$ where $S$ is a matrix ring over a Leavitt algebra.

MSC Class: 16D30; 16S99; 17B65

The socle series of a Leavitt path algebra

Authors: Gene Abrams, Kulumani M. Rangaswamy, Mercedes Siles Molina

Abstract: We investigate the ascending Loewy socle series of Leavitt path algebras $L_K(E)$ for an arbitrary graph $E$ and field $K$. We classify those graphs $E$ for which $L_K(E)=S_λ$ for some element $S_λ$ of the Loewy socle series. We then show that for any ordinal $λ$ there exists a graph $E$ so that the Loewy length of $L_K(E)$ is $λ$. Moreover, $λ\leq ω$ (the first infinite ordinal) if $E$ is a row… ▽ More We investigate the ascending Loewy socle series of Leavitt path algebras $L_K(E)$ for an arbitrary graph $E$ and field $K$. We classify those graphs $E$ for which $L_K(E)=S_λ$ for some element $S_λ$ of the Loewy socle series. We then show that for any ordinal $λ$ there exists a graph $E$ so that the Loewy length of $L_K(E)$ is $λ$. Moreover, $λ\leq ω$ (the first infinite ordinal) if $E$ is a row-finite graph. △ Less

Submitted 23 June, 2009; originally announced June 2009.

Comments: 15 pages

MSC Class: 16S99; 16D60; 46L89

Row-finite equivalents exist only for row-countable graphs

Authors: Gene Abrams, Kulumani M. Rangaswamy

Abstract: If $E$ is a not-necessarily row-finite graph, such that each vertex of $E$ emits at most countably many edges, then a {\it desingularization} $F$ of $E$ can be constructed (see e.g. (1) G. Abrams, G. Aranda Pino, Leavitt path algebras of arbitrary graphs, Houston J. Math 34(2) (2008), 423-442, or (2) I. Raeburn, "Graph algebras". CBMS Regional Conference Series in Mathematics 103, Conference Board… ▽ More If $E$ is a not-necessarily row-finite graph, such that each vertex of $E$ emits at most countably many edges, then a {\it desingularization} $F$ of $E$ can be constructed (see e.g. (1) G. Abrams, G. Aranda Pino, Leavitt path algebras of arbitrary graphs, Houston J. Math 34(2) (2008), 423-442, or (2) I. Raeburn, "Graph algebras". CBMS Regional Conference Series in Mathematics 103, Conference Board of the Mathematical Sciences, Washington, DC, 2005, ISBN 0-8218-3660-9). The desingularization process has been effectively used to establish various characteristics of the Leavitt path algebras of not-necessarily row-finite graphs. Such a desingularization $F$ of $E$ has the properties that: (1) $F$ is row-finite, and (2) the Leavitt path algebras $L(E)$ and $L(F)$ are Morita equivalent. We show here that for an arbitrary graph $E$, a graph $F$ having properties (1) and (2) exists (we call such a graph $F$ a \emph{row-finite equivalent of} $E$) if and only if $E$ is row-countable; that is, $E$ contains no vertex $v$ for which $v$ emits uncountably many edges. △ Less

Submitted 4 January, 2011; v1 submitted 1 April, 2009; originally announced April 2009.

Comments: Replaces version from April 2009; current version contains streamlined arguments, and additional examples

MSC Class: 16S99

Flow invariants in the classification of Leavitt path algebras

Authors: G. Abrams, A. Louly, E. Pardo, C. Smith

Abstract: We analyze in the context of Leavitt path algebras some graph operations introduced in the context of symbolic dynamics by Williams, Parry and Sullivan, and Franks. We show that these operations induce Morita equivalence of the corresponding Leavitt path algebras. As a consequence we obtain our two main results: the first gives sufficient conditions for which the Leavitt path algebras in a certain… ▽ More We analyze in the context of Leavitt path algebras some graph operations introduced in the context of symbolic dynamics by Williams, Parry and Sullivan, and Franks. We show that these operations induce Morita equivalence of the corresponding Leavitt path algebras. As a consequence we obtain our two main results: the first gives sufficient conditions for which the Leavitt path algebras in a certain class are Morita equivalent, while the second gives sufficient conditions which yield isomorphisms. We discuss a possible approach to establishing whether or not these conditions are also in fact necessary. In the final section we present many additional operations on graphs which preserve Morita equivalence (resp., isomorphism) of the corresponding Leavitt path algebras. △ Less

Submitted 19 January, 2011; v1 submitted 2 December, 2008; originally announced December 2008.

Comments: Final version. To appear in Journal of Algebra

MSC Class: 16D70; 46L05

Isomorphism and Morita equivalence of graph algebras

Authors: Gene Abrams, Mark Tomforde

Abstract: For any countable graph $E$, we investigate the relationship between the Leavitt path algebra $L_{\C}(E)$ and the graph C*-algebra $C^*(E)$. For graphs $E$ and $F$, we examine ring homomorphisms, ring *-homomorphisms, algebra homomorphisms, and algebra *-homomorphisms between $L_{\C}(E)$ and $L_{\C}(F)$. We prove that in certain situations isomorphisms between $L_{\C}(E)$ and $L_{\C}(F)$ yield *… ▽ More For any countable graph $E$, we investigate the relationship between the Leavitt path algebra $L_{\C}(E)$ and the graph C*-algebra $C^*(E)$. For graphs $E$ and $F$, we examine ring homomorphisms, ring *-homomorphisms, algebra homomorphisms, and algebra *-homomorphisms between $L_{\C}(E)$ and $L_{\C}(F)$. We prove that in certain situations isomorphisms between $L_{\C}(E)$ and $L_{\C}(F)$ yield *-isomorphisms between the corresponding C*-algebras $C^*(E)$ and $C^*(F)$. Conversely, we show that *-isomorphisms between $C^*(E)$ and $C^*(F)$ produce isomorphisms between $L_{\C}(E)$ and $L_{\C}(F)$ in specific cases. The relationship between Leavitt path algebras and graph C*-algebras is also explored in the context of Morita equivalence. △ Less

Submitted 8 December, 2009; v1 submitted 14 October, 2008; originally announced October 2008.

Comments: 40 pages, Version II comments: Section 10 updated, typos corrected, and a few proofs rewritten

MSC Class: 46L55; 16D70

Regularity conditions for arbitrary Leavitt path algebras

Authors: G. Abrams, K. M. Rangaswamy

Abstract: We show that if $E$ is an arbitrary acyclic graph then the Leavitt path algebra $L_K(E)$ is locally $K$-matricial; that is, $L_K(E)$ is the direct union of subalgebras, each isomorphic to a finite direct sum of finite matrix rings over the field $K$. As a consequence we get our main result, in which we show that the following conditions are equivalent for an arbitrary graph $E$: (1) $L_K(E)$ is… ▽ More We show that if $E$ is an arbitrary acyclic graph then the Leavitt path algebra $L_K(E)$ is locally $K$-matricial; that is, $L_K(E)$ is the direct union of subalgebras, each isomorphic to a finite direct sum of finite matrix rings over the field $K$. As a consequence we get our main result, in which we show that the following conditions are equivalent for an arbitrary graph $E$: (1) $L_K(E)$ is von Neumann regular. (2) $L_K(E)$ is $π$-regular. (3) $E$ is acyclic. (4) $L_K(E)$ is locally $K$-matricial. (5) $L_K(E)$ is strongly $π$-regular. We conclude by showing how additional regularity conditions (unit regularity, strongly clean) can be appended to this list of equivalent conditions. △ Less

Submitted 5 October, 2008; v1 submitted 23 June, 2008; originally announced June 2008.

Comments: 15 pages, accepted version July 2008 to appear Algebras and Representation Theory

MSC Class: 16S99; 16E50

The classification question for Leavitt path algebras

Authors: G. Abrams, P. N. Ánh, A. Louly, E. Pardo

Abstract: We prove an algebraic version of the Gauge-Invariant Uniqueness Theorem, a result which gives information about the injectivity of certain homomorphisms between ${\mathbb Z}$-graded algebras. As our main application of this theorem, we obtain isomorphisms between the Leavitt path algebras of specified graphs. From these isomorphisms we are able to achieve two ends. First, we show that the… ▽ More We prove an algebraic version of the Gauge-Invariant Uniqueness Theorem, a result which gives information about the injectivity of certain homomorphisms between ${\mathbb Z}$-graded algebras. As our main application of this theorem, we obtain isomorphisms between the Leavitt path algebras of specified graphs. From these isomorphisms we are able to achieve two ends. First, we show that the $K_0$ groups of various sets of purely infinite simple Leavitt path algebras, together with the position of the identity element in $K_0$, classifies the algebras in these sets up to isomorphism. Second, we show that the isomorphism between matrix rings over the classical Leavitt algebras, established previously using number-theoretic methods, can be reobtained via appropriate isomorphisms between Leavitt path algebras. △ Less

Submitted 4 February, 2008; v1 submitted 26 June, 2007; originally announced June 2007.

Comments: Small changes and improvements of previous version

MSC Class: 16D70

Isomorphisms between Leavitt algebras and their matrix rings

Authors: G. Abrams, P. N. ánh, E. Pardo

Abstract: Let $K$ be any field, let $L_n$ denote the Leavitt algebra of type $(1,n-1)$ having coefficients in $K$, and let ${\rm M}_d(L_n)$ denote the ring of $d \times d$ matrices over $L_n$. In our main result, we show that ${\rm M}_d(L_n) \cong L_n$ if and only if $d$ and $n-1$ are coprime. We use this isomorphism to answer a question posed in \cite{PS} regarding isomorphisms between various C*-algebra… ▽ More Let $K$ be any field, let $L_n$ denote the Leavitt algebra of type $(1,n-1)$ having coefficients in $K$, and let ${\rm M}_d(L_n)$ denote the ring of $d \times d$ matrices over $L_n$. In our main result, we show that ${\rm M}_d(L_n) \cong L_n$ if and only if $d$ and $n-1$ are coprime. We use this isomorphism to answer a question posed in \cite{PS} regarding isomorphisms between various C*-algebras. Furthermore, our result demonstrates that data about the $K_0$ structure is sufficient to distinguish up to isomorphism the algebras in an important class of purely infinite simple $K$-algebras. △ Less

Submitted 22 February, 2008; v1 submitted 19 December, 2006; originally announced December 2006.

Comments: Final version. To appear in J. reine Angew. Math

MSC Class: 16D70; 46L05

Purely infinite simple Leavitt path algebras

Authors: G. Abrams, G. Aranda Pino

Abstract: We give necessary and sufficient conditions on a row-finite graph E so that the Leavitt path algebra L(E) is purely infinite simple. This result provides the algebraic analog to the corresponding result for the Cuntz-Krieger C$^*$-algebra C$^*$(E) given in [7]. We give necessary and sufficient conditions on a row-finite graph E so that the Leavitt path algebra L(E) is purely infinite simple. This result provides the algebraic analog to the corresponding result for the Cuntz-Krieger C$^*$-algebra C$^*$(E) given in [7]. △ Less

Submitted 21 September, 2005; originally announced September 2005.

The Leavitt path algebra of a graph

Authors: G. Abrams, G. Aranda Pino

Abstract: For any row-finite graph $E$ and any field $K$ we construct the {\its Leavitt path algebra} $L(E)$ having coefficients in $K$. When $K$ is the field of complex numbers, then $L(E)$ is the algebraic analog of the Cuntz Krieger algebra $C^*(E)$ described in [8]. The matrix rings $M_n(K)$ and the Leavitt algebras L(1,n) appear as algebras of the form $L(E)$ for various graphs $E$. In our main resul… ▽ More For any row-finite graph $E$ and any field $K$ we construct the {\its Leavitt path algebra} $L(E)$ having coefficients in $K$. When $K$ is the field of complex numbers, then $L(E)$ is the algebraic analog of the Cuntz Krieger algebra $C^*(E)$ described in [8]. The matrix rings $M_n(K)$ and the Leavitt algebras L(1,n) appear as algebras of the form $L(E)$ for various graphs $E$. In our main result, we give necessary and sufficient conditions on $E$ which imply that $L(E)$ is simple. △ Less

Submitted 21 September, 2005; originally announced September 2005.

Monolithic CMOS Pixel R&D for the ILC at LBNL

Authors: M. Battaglia, G. Abrams, P. Denes, L. C. Greiner, B. Hooberman, L. Tompkins, H. H. Wieman

Abstract: An R&D program on monolithic CMOS pixel sensors for application at the ILC has been started at LBNL. This program profits of significant synergies with other R&D activities on CMOS pixel sensors. The project activities after the first semester of the R&D program are reviewed. An R&D program on monolithic CMOS pixel sensors for application at the ILC has been started at LBNL. This program profits of significant synergies with other R&D activities on CMOS pixel sensors. The project activities after the first semester of the R&D program are reviewed. △ Less

Submitted 19 August, 2005; originally announced August 2005.

Comments: 4 pages, 2 figures, to appar in the Proceedings of the 2005 International Linear Collider Workshop (LCWS05), Stanford, 18-22 March 2005

Journal ref: ECONF C050318:0811,2005