BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Pere Ara

Pere Ara contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.OAmath.RAmath.FAmath.KTmath.DSmath.GR

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
15works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

15 published item(s)

preprint2022arXiv

Leavitt path algebras of weighted and separated graphs

In this paper we show that Leavitt path algebras of weighted graphs and Leavitt path algebras of separated graphs are intimately related. We prove that any Leavitt path algebra $L(E,ω)$ of a row-finite vertex weighted graph $(E,ω)$ is $*$-isomorphic to the lower Leavitt path algebra of a certain bipartite separated graph $(E(ω),C(ω))$. For a general locally finite weighted graph $(E, ω)$, we show that a certain quotient $L_1(E,ω)$ of $L(E,ω)$ is $*$-isomorphic to an upper Leavitt path algebra of another bipartite separated graph $(E(w)_1,C(w)^1)$. We furthermore introduce the algebra $L^{\mathrm{ab}} (E,w)$, which is a universal tame $*$-algebra generated by a set of partial isometries. We draw some consequences of our results for the structure of ideals of $L(E,ω)$, and we study in detail two different maximal ideals of the Leavitt algebra $L(m,n)$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Amenability and paradoxicality in semigroups and C*-algebras

We analyze the dichotomy amenable/paradoxical in the context of (discrete, countable, unital) semigroups and corresponding semigroup rings. We consider also Følner's type characterizations of amenability and give an example of a semigroup whose semigroup ring is algebraically amenable but has no Følner sequence. In the context of inverse semigroups $S$ we give a characterization of invariant measures on $S$ (in the sense of Day) in terms of two notions: $domain$ $measurability$ and $localization$. Given a unital representation of $S$ in terms of partial bijections on some set $X$ we define a natural generalization of the uniform Roe algebra of a group, which we denote by $\mathcal{R}_X$. We show that the following notions are then equivalent: (1) $X$ is domain measurable; (2) $X$ is not paradoxical; (3) $X$ satisfies the domain Følner condition; (4) there is an algebraically amenable dense *-subalgebra of $\mathcal{R}_X$; (5) $\mathcal{R}_X$ has an amenable trace; (6) $\mathcal{R}_X$ is not properly infinite and (7) $[0]\not=[1]$ in the $K_0$-group of $\mathcal{R}_X$. We also show that any tracial state on $\mathcal{R}_X$ is amenable. Moreover, taking into account the localization condition, we give several C*-algebraic characterizations of the amenability of $X$. Finally, we show that for a certain class of inverse semigroups, the quasidiagonality of $C_r^*\left(X\right)$ implies the amenability of $X$. The converse implication is false.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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

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

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Strict comparison for $C^*$-algebras arising from Almost finite groupoids

In this paper we show that for an almost finite minimal ample groupoid $G$, its reduced $\mathrm{C}^*$-algebra $C_r^*(G)$ has real rank zero and strict comparison even though $C_r^*(G)$ may not be nuclear in general. Moreover, if we further assume $G$ being also second countable and non-elementary, then its Cuntz semigroup ${\rm Cu}(C_r^*(G))$ is almost divisible and ${\rm Cu}(C_r^*(G))$ and ${\rm Cu}(C_r^*(G)\otimes \mathcal{Z})$ are canonically order-isomorphic, where $\mathcal{Z}$ denotes the Jiang-Su algebra.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The groupoids of adaptable separated graphs and their type semigroup

Given an adaptable separated graph, we construct an associated groupoid and explore its type semigroup. Specifically, we first attach to each adaptable separated graph a corresponding semigroup, which we prove is an $E^*$-unitary inverse semigroup. As a consequence, the tight groupoid of this semigroup is a Hausdorff étale groupoid. We show that this groupoid is always amenable, and that the type semigroups of groupoids obtained from adaptable separated graphs in this way include all finitely generated conical refinement monoids. The first three named authors will utilize this construction in forthcoming work to solve the Realization Problem for von Neumann regular rings, in the finitely generated case.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The Realization Problem for Finitely Generated Refinement Monoids

We show that every finitely generated conical refinement monoid can be represented as the monoid $\mathcal V(R)$ of isomorphism classes of finitely generated projective modules over a von Neumann regular ring $R$. To this end, we use the representation of these monoids provided by adaptable separated graphs. Given an adaptable separated graph $(E, C)$ and a field $K$, we build a von Neumann regular $K$-algebra $Q_K (E, C)$ and show that there is a natural isomorphism between the separated graph monoid $M(E, C)$ and the monoid $\mathcal V(Q_K (E, C))$.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Leavitt path algebras over a poset of fields

Let $E$ be a finite directed graph, and let $I$ be the poset obtained as the antisymmetrization of its set of vertices with respect to a pre-order $\le$ that satisfies $v\le w$ whenever there exists a directed path from $w$ to $v$. Assuming that $I$ is a tree, we define a poset of fields over $I$ as a family $\mathbf K = \{ K_i :i\in I \}$ of fields $K_i$ such that $K_i\subseteq K_j$ if $j\le i$. We define the concepts of a Leavitt path algebra $L_{\mathbf K} (E)$ and a regular algebra $Q_{\mathbf K}(E)$ over the poset of fields $\mathbf K$, and we show that $Q_{\mathbf K}(E)$ is a hereditary von Neumann regular ring, and that its monoid $\mathcal V (Q_{\mathbf K}(E))$ of isomorphism classes of finitely generated projective modules is canonically isomorphic to the graph monoid $M(E)$ of $E$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Reconstruction of graded groupoids from graded Steinberg algebras

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Amenable traces and Følner C*-Algebras

In the present article we review an approximation procedure for amenable traces on unital and separable C*-algebras acting on a Hilbert space in terms of Følner sequences of non-zero finite rank projections. We apply this method to improve spectral approximation results due to Arveson and Bédos. We also present an abstract characterization in terms of unital completely positive maps of unital separable C*-algebras admitting a non-degenerate representation which has a Følner sequence or, equivalently, an amenable trace. This is analogous to Voiculescu's abstract characterization of quasidiagonal C*-algebras. We define Følner C*-algebras as those unital separable C*-algebras that satisfy these equivalent conditions. Finally we also mention some permanence properties related to these algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Dynamical systems associated to separated graphs, graph algebras, and paradoxical decompositions

We attach to each finite bipartite separated graph (E,C) a partial dynamical system (Ω(E,C), F, θ), where Ω(E,C) is a zero-dimensional metrizable compact space, F is a finitely generated free group, and θ is a continuous partial action of F on Ω(E,C). The full crossed product C*-algebra O(E,C) = C(Ω(E,C)) \rtimes_θ F is shown to be a canonical quotient of the graph C*-algebra C^*(E,C) of the separated graph (E,C). Similarly, we prove that, for any *-field K, the algebraic crossed product L^{ab}_K(E,C) = C_K(Ω(E,C)) \rtimes_θ^{alg} F is a canonical quotient of the Leavitt path algebra L_K(E,C) of (E,C). The monoid V(L^{ab}_K(E,C)) of isomorphism classes of finitely generated projective modules over L^{ab}_K(E,C) is explicitly computed in terms of monoids associated to a canonical sequence of separated graphs. Using this, we are able to construct an action of a finitely generated free group F on a zero-dimensional metrizable compact space Z such that the type semigroup S(Z, F, K) is not almost unperforated, where K denotes the algebra of clopen subsets of Z. Finally we obtain a characterization of the separated graphs (E,C) such that the canonical partial action of F on Ω(E,C) is topologically free.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Finitely presented simple modules over Leavitt path algebras

Let $E$ be an arbitrary graph and $K$ be any field. We construct various classes of non-isomorphic simple modules over the Leavitt path algebra $L_{K}(E)$ induced by vertices which are infinite emiters, closed paths which are exclusive cycles and paths which are infinite, and call these simple modules Chen modules. It is shown that every primitive ideal of $L_{K}(E)$ can be realized as the annihilator ideal of some Chen module. Our main result establishes the equivalence between a graph theoretic condition and various conditions concerning the structure of simple modules over $L_K(E)$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Purely infinite simple reduced C*-algebras of one-relator separated graphs

Given a separated graph $(E,C)$, there are two different C*-algebras associated to it, the full graph C*-algebra $C^*(E,C)$, and the reduced one $C^*_{\text{red}} (E,C)$. For a large class of separated graphs $(E,C)$, we prove that $C^*_{\text{red}} (E,C)$ either is purely infinite simple or admits a faithful tracial state. The main tool we use to show pure infiniteness of reduced graph C*-algebras is a generalization to the amalgamated case of a result on purely infinite simple free products due to Dykema.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Dynamical systems of type (m,n) and their C*-algebras

Given positive integers n and m, we consider dynamical systems in which n copies of a topological space is homeomorphic to m copies of that same space. The universal such system is shown to arise naturally from the study of a C*-algebra we denote by O_{mn}, which in turn is obtained as a quotient of the well known Leavitt C*-algebra L_{mn}, a process meant to transform the generating set of partial isometries of L{mn} into a tame set. Describing O_{mn} as the crossed-product of the universal (m,n)-dynamical system by a partial action of the free group F_{m+n}, we show that O_{mn} is not exact when n and m are both greater than or equal to 2, but the corresponding reduced crossed-product, denoted O_{mn}^r, is shown to be exact and non-nuclear. Still under the assumption that m,n>=2, we prove that the partial action of F_{m+n} is topologically free and that O_{mn}^r satisfies property (SP) (small projections). We also show that O_{mn}^r admits no finite dimensional representations. The techniques developed to treat this system include several new results pertaining to the theory of Fell bundles over discrete groups.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

$K$-theory of Leavitt path algebras

Let $E$ be a row-finite quiver and let $E_0$ be the set of vertices of $E$; consider the adjacency matrix $N'_E=(n_{ij})\in\Z^{(E_0\times E_0)}$, $n_{ij}=#\{$ arrows from $i$ to $j\}$. Write $N^t_E$ and 1 for the matrices $\in \Z^{(E_0\times E_0\setminus\Sink(E))}$ which result from $N'^t_E$ and from the identity matrix after removing the columns corresponding to sinks. We consider the $K$-theory of the Leavitt algebra $L_R(E)=L_\Z(E)\otimes R$. We show that if $R$ is either a Noetherian regular ring or a stable $C^*$-algebra, then there is an exact sequence ($n\in\Z$) \[ K_n(R)^{(E_0\setminus\Sink(E))}\stackrel{1-N_E^t}{\longrightarrow} K_n(R)^{(E_0)}\to K_n(L_R(E))\to K_{n-1}(R)^{(E_0\setminus\Sink(E))} \] We also show that for general $R$, the obstruction for having a sequence as above is measured by twisted nil-$K$-groups. If we replace $K$-theory by homotopy algebraic $K$-theory, the obstructions dissapear, and we get, for every ring $R$, a long exact sequence \[ KH_n(R)^{(E_0\setminus\Sink(E))}\stackrel{1-N_E^t}{\longrightarrow}KH_n(R)^{(E_0)}\to KH_n(L_R(E))\to KH_{n-1}(R)^{(E_0\setminus\Sink(E))} \] We also compare, for a $C^*$-algebra $\fA$, the algebraic $K$-theory of $L_\fA(E)$ with the topological $K$-theory of the Cuntz-Krieger algebra $C^*_\fA(E)$. We show that the map \[ K_n(L_\fA(E))\to K^{\top}_n(C^*_\fA(E)) \] is an isomorphism if $\fA$ is stable and $n\in\Z$, and also if $\fA=\C$, $n\ge 0$, $E$ is finite with no sinks, and $\det(1-N_E^t)\ne 0$.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

The regular algebra of a poset

Let $K$ be a field. We attach to each finite poset $\mathbb P$ a von Neumann regular $K$-algebra $Q_K(\mathbb P)$ in a functorial way. We show that the monoid of isomorphism classes of finitely generated projective $Q_K(\mathbb P)$-modules is the abelian monoid generated by $\mathbb P$ with the only relations given by $p=p+q$ whenever $q<p$ in $\mathbb P$. This extends the class of monoids for which there is a positive solution to the realization problem for von Neumann regular rings.

0 citations0 reviewsNo code linkedOpen access