Canonical Traces and Directly Finite Leavitt Path Algebras

Abstract

Abstract. Motivated by the study of traces on graph C * -algebras, we consider traces (additive, central maps) on Leavitt path algebras, the algebraic counterparts of graph C * -algebras. In particular, we consider traces which vanish on nonzero graded components of a Leavitt path algebra and refer to them as canonical since they are uniquely determined by their values on the vertices.A desirable property of a C-valued trace on a C * -algebra is that the trace of an element of the positive cone is nonnegative. We adapt this property to traces on a Leavitt path algebra L K (E) with values in any involutive ring. We refer to traces with this property as positive. If a positive trace is injective on positive elements, we say that it is faithful. We characterize when a canonical, K-linear trace is positive and when it is faithful in terms of its values on the vertices. As a consequence, we obtain a bijective correspondence between the set of faithful, gauge invariant, C-valued (algebra) traces on L C (E) of a countable graph E and the set of faithful, semifinite, lower semicontinuous, gauge invariant (operator theory) traces on the corresponding graph C * -algebra C * (E).With the direct finite condition (i.e xy = 1 implies yx = 1) for unital rings adapted to rings with local units, we characterize directly finite Leavitt path algebras as exactly those having the underlying graphs in which no cycle has an exit. Our proof involves consideration of "local" Cohn-Leavitt subalgebras of finite subgraphs. Lastly, we show that, while related, the class of locally noetherian, the class of directly finite, and the class of Leavitt path algebras which admit a faithful trace are different in general.

Graded Chain Conditions and Leavitt Path Algebras of No-Exit Graphs

“…We start by showing that some results of [4] and [22], formulated for non-graded algebras, continue to hold in the category of graded involutive algebras as well.…”

“…However, that is not the case: there is a canonical * -isomorphism of CL K (E, S) and L K (E S ) for a suitable graph E S defined via E and S (see [19,Theorem 3.7] for E countable and [22,Lemma 4.8] for any E).…”

Leavitt path algebras having Unbounded Generating Number

“…By the discussion above, we need only show that (4) implies (5), and (5) implies (1). That (4) and (5) are equivalent is established in [19,Theorem 4.12]. We give here a very brief outline of one direction.…”

Baer and Baer *-ring characterizations of Leavitt path algebras

“…. By results of [11] and [26], a counterexample to this conjecture cannot be found in the class of Leavitt path algebras. However, one can show that the graded version of Handelman's Conjecture fails.…”

“…However, while not always unital, Leavitt path algebras always have local units. So, one can "localize" ring-theoretic properties by considering those properties on corners generated by the local units as it has been done with noetherian and artinian properties in [3], with unit-regular rings in [11] and with directly finite rings in [26]. This motivates our definitions: we say that a ring is locally Rickart if each corner is Rickart and we "localize" the other annihilator-related properties similarly.…”