Distinguishing Leavitt algebras among Leavitt path algebras of finite graphs by the Serre property

DOI10.1007/S00013-023-01880-ZMaRDI QIDQ6165909zbMATH OpenOpenAlexFDO

Authors R. Hazrat, Kulumani M. Rangaswamy

Publication date 2 August 2023

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2201.03113

zbMATH Keywords

graph monoid Leavitt path algebra Serre's conjecture talented monoid

Mathematics Subject Classification ID

Leavitt path algebras (16S88)

Abstract: Two unanswered questions in the heart of the theory of Leavitt path algebras are whether Grothendieck group

K_{0}

is a complete invariant for the class of unital purely infinite simple algebras and, a weaker question, whether

L_{2}

(the Leavitt path algebra associated to a vertex with two loops) and its Cuntz splice algebra

L_{2 -}

are isomorphic. The positive answer to the first question implies the latter. In this short paper, we raise and investigate another question, the so-called Serre's conjecture, which sits in between of the above two questions: The positive answer to the classification question implies Serre's conjecture which in turn implies

L_{2} c o n g L_{2 -}

. Along the way, we give new easy to construct algebras having stable free but not free modules.

Review text

The Serre's conjecture asked whether finitely generated projective modules over the polynomial ring \(k[x_1,\ldots ,x_n]\) with coefficients in a field \(k\), are free. This paper is devoted to investigate Serre's conjecture for the rings arising from Leavitt path algebras and its relation with two unanswered questions in the theory of Leavitt path algebras: the Kirchberg-Phillips question and the Splice question. Concretely, the authors conjecture: Conjecture 1.1. Suppose \(E\) is a finite graph and \(L_k(E)\) its associated Leavitt path algebra. Then every finitely generated projective right \(L_k(E)\)-module is free if and only if \(L_k(E)\cong L_n\) for some \(n\in \mathbb{N}\), where \(L_n\) denote de classical Leavitt algebra. In the way, the authors first prove that Serre's conjecture holds for the Leavitt algebras \(L_n\) with \(n\ge 2\) (Example 3.2). A weaker version of Conjecture 1.1 is later shown: Given a finite graph \(E\), if every finitely generated projective right \(L_k(E)\)-module is free, then \(L_k(E)\) is Morita equivalent to the Leavitt ring \(L_n\) for some integer \(n\ge 1\). Furthermore, a characterisation of a Leavitt path algebra of a finite graph over which every finitely generated projective module is free is provided (Theorem 3.4). At this point, the authors are in position to consider the two unanswered questions, Question 1.2 (algebraic Kirchberg-Phillips question) and Question 1.3 (Splice question): Question 1.2. (Classification question) Let \(E\) and \(F\) be finite graphs such that \(L_k(E)\) and \(L_k(F)\) are purely infinite simple algebras. Is it true that \(L_k(E)\cong L_k(F)\) as \(k\)-algebras if and only if there is an isomorphism \(\phi \colon K_0(L_k(E)) \to K_0(L_k(F))\) such that \(\phi([L_k(E)])=\phi([L_k(F)])\)? Question 1.3. Consider the Leavitt path algebras \(L_2\) and \(L_{2-}\). Are this algebras isomorphic? They relate both questions to Conjecture 1.1 proving that if Question 1.2 has a positive answer, then Conjecture 1.1 is true and if Conjecture 1.1 is true, then Question 1.3 has a positive answer (Theorem 3.6). Next, some examples show how the previous results can be applied to construct algebras having stably free but not free modules, to show that certain Leavitt path algebras are not graded isomorphic to some Leavitt algebra \(L_n\) with \(n\in \mathbb{N}\), to find Leavitt path algebras where not all finitely generated projective modules over them are free, etc. The authors conclude by studying the Serre's conjecture in the setting of graph \(C^*\)-algebras (Remark 3.9).

Recommendations

Cites work

This page was built for publication: Distinguishing Leavitt algebras among Leavitt path algebras of finite graphs by the Serre property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6165909)