Source author record

Gonzalo Aranda Pino

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

6works
2topics
4close collaborators

Published work

6 publications

preprint2013arXiv

*-Regular Leavitt path algebras of arbitrary graphs

If KK is a field with involution and EE an arbitrary graph, the involution from KK naturally induces an involution of the Leavitt path algebra LK(E).L_K(E). We show that the involution on LK(E)L_K(E) is proper if the involution on KK is positive definite, even in the case when the graph EE is not necessarily finite or row-finite. It has been shown that the Leavitt path algebra LK(E)L_K(E) is regular if and only if EE is acyclic. We give necessary and sufficient conditions for LK(E)L_{K}(E) to be ∗^\ast-regular (i.e. regular with proper involution). This characterization of ∗^\ast-regularity of a Leavitt path algebra is given in terms of an algebraic property of K,K, not just a graph-theoretic property of E.E. This differs from the known characterizations of various other algebraic properties of a Leavitt path algebra in terms of graph-theoretic properties of EE alone. As a corollary, we show that Handelman's conjecture (stating that every ∗^\ast-regular ring is unit-regular) holds for Leavitt path algebras. Moreover, its generalized version for rings with local units also continues to hold for Leavitt path algebras over arbitrary graphs.

preprint2013arXiv

Noetherian Leavitt path algebras and their regular algebras

In the past, it has been shown that the Leavitt path algebra L(E)=LK(E)L(E)=L_K(E) of a graph EE over a field KK is left and right noetherian if and only if the graph EE is finite and no cycle of EE has an exit. If Q(E)=QK(E)Q(E)=Q_K(E) denotes the regular algebra over L(E),L(E), we prove that these conditions are further equivalent with any of the following: L(E)L(E) contains no infinite set of orthogonal idempotents, L(E)L(E) has finite uniform dimension, L(E)L(E) is directly finite, Q(E)Q(E) is directly finite, Q(E)Q(E) is unit-regular, and a few more equivalences. In addition, if the involution on KK is positive definite, these conditions are equivalent with the following: the involution ∗^\ast extends from L(E)L(E) to Q(E),Q(E), Q(E)Q(E) is ∗^\ast-regular, Q(E)Q(E) is finite, Q(E)Q(E) is the maximal (total or classical) symmetric ring of quotients of L(E),L(E), every finitely generated nonsingular L(E)L(E)-module is projective, and the matrix ring Mn(L(E))M_n(L(E)) is strongly Baer for every nn. It may not be surprising that a noetherian Leavitt path algebra has these properties, but a more interesting fact is that these properties hold only if a Leavitt path algebra is noetherian. Using some of these equivalences, we give a specific description of the inverse of the isomorphism V(L(E))→V(Q(E))V(L(E))\rightarrow V(Q(E)) of monoids of equivalence classes of finitely generated projective modules for noetherian Leavitt path algebras. We also prove that two noetherian Leavitt path algebras are isomorphic as rings if and only if they are isomorphic as ∗^\ast-algebras. This answers in affirmative the Isomorphism Conjecture for the class of noetherian Leavitt path algebras: if LC(E)L_{\mathbb C}(E) and LC(F)L_{\mathbb C}(F) are noetherian Leavitt path algebras, then LC(E)≅LC(F)L_{\mathbb C}(E)\cong L_{\mathbb C}(F) as rings implies C∗(E)≅C∗(F)C^*(E)\cong C^*(F) as ∗^\ast-algebras.

preprint2013arXiv

The Leavitt path algebras of generalized Cayley graphs

Let nn be a positive integer. For each 0≤j≤n−10\leq j \leq n-1 we let CnjC_n^{j} denote Cayley graph for the cyclic group Zn{\mathbb Z}_n with respect to the subset {1,j}\{1, j\}. For any such pair (n,j)(n,j) we compute the size of the Grothendieck group of the Leavitt path algebra LK(Cnj)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,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 LK(Cnj)L_K(C_n^j) as the Leavitt path algebras of graphs having at most three vertices. The analysis in the j=2j=2 case leads us to some perhaps surprising and apparently nontrivial connections to the classical Fibonacci sequence.

preprint2011arXiv

Atlas of Leavitt Path Algebras of small graphs

The aim of this work is the description of the isomorphism classes of all Leavitt path algebras coming from graphs satisfying Condition (Sing) with up to three vertices. In particular, this classification recovers the one achieved by Abrams et al. in the case of graphs whose Leavitt path algebras are purely infinite simple. The description of the isomorphism classes is given in terms of a series of invariants including the K_0 group, the socle, the number of loops with no exits and the number of hereditary and saturated subsets of the graph.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.