Source author record

Pere Ara

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

ResearcherUnclaimed source record

math.OA math.RA math.FA math.KT math.GR math-ph math.DS math.MP

Catalog footprint

Research overview

23works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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)$ .

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.

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.

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.

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.

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))$ .

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$ .

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.

preprint2015arXiv

K-theory for the tame C*-algebra of a separated graph

A {\it separated graph} is a pair $(E,C)$ consisting of a directed graph $E$ and a set $C=\bigsqcup_{v\in E^0}C_v$ , where each $C_v$ is a partition of the set of edges whose terminal vertex is $v$ . Given a separated graph $(E,C)$ , such that all the sets $X\in C$ are finite, the K-theory of the graph C*-algebra $C^*(E,C)$ is known to be determined by the kernel and the cokernel of a certain map, denoted by $1_C- A_{(E,C)}$ , from $\mathbb Z^{(C)}$ to $\mathbb Z^{(E^0)}$ . In this paper, we compute the K-theory of the {\it tame} graph C*-algebra $\mathcal O(E,C)$ associated to $(E,C)$ , which has been recently introduced by the authors. Letting $π$ denote the natural surjective homomorphism from $C^*(E,C)$ onto $\mathcal O(E,C)$ , we show that $K_1(π)$ is a group isomorphism, and that $K_0(π)$ is a split monomorphism, whose cokernel is a torsion-free abelian group. We also prove that this cokernel is a free abelian group when the graph $E$ is finite, and determine its generators in terms of a sequence of separated graphs $\{(E_n, C^n)\}_{n=1}^{\infty}$ naturally attached to $(E,C)$ . On the way to showing our main results, we obtain an explicit description of a connecting map arising in a six-term exact sequence computing the K-theory of an amalgamated free product, and we also exhibit an explicit isomorphism between $\mathrm{ker} (1_C - A_{(E,C)})$ and $K_1(C^*(E,C))$ .

preprint2015arXiv

The realization problem for von Neumann regular rings

We survey recent progress on the realization problem for von Neumann regular rings, which asks whether every countable conical refinement monoid can be realized as the monoid of isoclasses of finitely generated projective right $R$ -modules over a von Neumann regular ring $R$ .

preprint2014arXiv

Leavitt path algebras with at most countably many irreducible representatios

Let E be an arbitrary directed graph with no restrictions on the number of vertices and edges and let K be any field. We give necessary and sufficient conditions for the Leavitt path algebra L_K(E) to be of countable irreducible representation type, that is, we determine when L_K(E)has at most countably many distinct isomorphism classes of simple left L_K(E-modules. It is also shown that L_K(E) has dinitely many isomorphism classes of simple left modules if and only if L_K(E) is a semi-artinian von Neumann regular ring with at most finitely many ideals. Equivalent conditions on the graph E are also given. Examples are constructed showing that for each (finite or infinite) cardinal m there exists a Leavitt path algebra L having exactly m distinct isomorphism classes of simple left modules.

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.

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.

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)$ .

preprint2013arXiv

Følner sequences in operator theory and operator algebras

The present article is a review of recent developments concerning the notion of Følner sequences both in operator theory and operator algebras. We also give a new direct proof that any essentially normal operator has an increasing Følner sequence $\{P_n\}$ of non-zero finite rank projections that strongly converges to 1. The proof is based on Brown-Douglas-Fillmore theory. We use Følner sequences to analyze the class of finite operators introduced by Williams in 1970. In the second part of this article we examine a procedure of approximating any amenable trace on a unital and separable C*-algebra by tracial states $\mathrm{Tr}(\cdot P_n)/\mathrm{Tr}(P_n)$ corresponding to a Følner sequence and apply this method to improve spectral approximation results due to Arveson and Bédos. The article concludes with the analysis of C*-algebras admitting a non-degenerate representation which has a Følner sequence or, equivalently, an amenable trace. We give an abstract characterization of these algebras in terms of unital completely positive maps and define Følner C*-algebras as those unital separable C*-algebras that satisfy these equivalent conditions. This is analogous to Voiculescu's abstract characterization of quasidiagonal C*-algebras.

preprint2013arXiv

Primitivity of prime countable-dimensional regular algebras

Let $k$ be a field and let $R$ be a countable dimensional prime von Neumann regular $k$ -algebra. We show that $R$ is primitive, answering a special case of a question of Kaplansky.

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.

preprint2012arXiv

Ring coproducts embedded in power-series rings

Let $R$ be a ring (associative, with 1), and let $R<< a,b>>$ denote the power-series $R$ -ring in two non-commuting, $R$ -centralizing variables, $a$ and $b$ . Let $A$ be an $R$ -subring of $R<< a>>$ and $B$ be an $R$ -subring of $R<< b>>$ , and let $α$ denote the natural map $A \amalg_R B \to R<< a,b>>$ . This article describes some situations where $α$ is injective and some where it is not. We prove that if $A$ is a right Ore localization of $R[a]$ and $B$ is a right Ore localization of $R[b]$ , then $α$ is injective. For example, the group ring over $R$ of the free group on $\{1+a, 1+b\}$ is $R[ (1+a)^{\pm 1}] \amalg_R R[ (1+b)^{\pm 1}]$ , which then embeds in $R<< a,b>>$ . We thus recover a celebrated result of R H Fox, via a proof simpler than those previously known. We show that $α$ is injective if $R$ is \textit{ $Π$ -semihereditary}, that is, every finitely generated, torsionless, right $R$ -module is projective. The article concludes with some results contributed by G M Bergman that describe situations where $α$ is not injective. He shows that if $R$ is commutative and $\text{w.gl.dim\,} R \ge 2$ , then there exist examples where the map $α' \colon A \amalg_R B \to R<< a>>\amalg_R R<< b>>$ is not injective, and hence neither is $α$ . It follows from a result of K R Goodearl that when $R$ is a commutative, countable, non-self-injective, von Neumann regular ring, the map $α"\colon R<< a>>\amalg_R R<< b>> \to R<< a,b>>$ is not injective. Bergman gives procedures for constructing other examples where $α"$ is not injective.

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.

preprint2011arXiv

Tensor products of Leavitt path algebras

We compute the Hochschild homology of Leavitt path algebras over a field $k$ . As an application, we show that $L_2$ and $L_2\otimes L_2$ have different Hochschild homologies, and so they are not Morita equivalent; in particular they are not isomorphic. Similarly, $L_\infty$ and $L_\infty\otimes L_\infty$ are distinguished by their Hochschild homologies and so they are not Morita equivalent either. By contrast, we show that $K$ -theory cannot distinguish these algebras; we have $K_*(L_2)=K_*(L_2\otimes L_2)=0$ and $K_*(L_\infty)=K_*(L_\infty\otimes L_\infty)=K_*(k)$ .

preprint2011arXiv

When is the second local multiplier algebra of a C*-algebra equal to the first?

We discuss necessary as well as sufficient conditions for the second iterated local multiplier algebra of a separable C*-algebra to agree with the first.

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$ .

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.

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.

Pere Ara

Research overview

Is this your work?

23 publications

Leavitt path algebras of weighted and separated graphs

Amenability and paradoxicality in semigroups and C*-algebras

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

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

The groupoids of adaptable separated graphs and their type semigroup

The Realization Problem for Finitely Generated Refinement Monoids

Leavitt path algebras over a poset of fields

Reconstruction of graded groupoids from graded Steinberg algebras

K-theory for the tame C*-algebra of a separated graph

The realization problem for von Neumann regular rings

Leavitt path algebras with at most countably many irreducible representatios

Amenable traces and Følner C*-Algebras

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

Finitely presented simple modules over Leavitt path algebras

Følner sequences in operator theory and operator algebras

Primitivity of prime countable-dimensional regular algebras

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

Ring coproducts embedded in power-series rings

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

Tensor products of Leavitt path algebras

When is the second local multiplier algebra of a C*-algebra equal to the first?

$K$ -theory of Leavitt path algebras

The regular algebra of a poset

See the researcher in context

Building this map preview

Pere Ara

Research overview

Is this your work?

23 publications

Leavitt path algebras of weighted and separated graphs

Amenability and paradoxicality in semigroups and C*-algebras

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

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

The groupoids of adaptable separated graphs and their type semigroup

The Realization Problem for Finitely Generated Refinement Monoids

Leavitt path algebras over a poset of fields

Reconstruction of graded groupoids from graded Steinberg algebras

K-theory for the tame C*-algebra of a separated graph

The realization problem for von Neumann regular rings

Leavitt path algebras with at most countably many irreducible representatios

Amenable traces and Følner C*-Algebras

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

Finitely presented simple modules over Leavitt path algebras

Følner sequences in operator theory and operator algebras

Primitivity of prime countable-dimensional regular algebras

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

Ring coproducts embedded in power-series rings

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

Tensor products of Leavitt path algebras

When is the second local multiplier algebra of a C*-algebra equal to the first?

KKK-theory of Leavitt path algebras

The regular algebra of a poset

See the researcher in context

Building this map preview

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

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

$K$ -theory of Leavitt path algebras