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

TL;DR

This paper explores the classification of Leavitt path algebras, focusing on Serre's conjecture, and investigates whether certain invariants can distinguish among these algebras, providing new examples with specific module properties.

Contribution

It introduces and examines Serre's conjecture in the context of Leavitt path algebras and constructs new algebras with stable free modules that are not free.

Findings

Serre's conjecture relates to the isomorphism problem of Leavitt algebras.

New algebras with stable free modules but not free modules are constructed.

The classification of Leavitt algebras is connected to invariants like K_0.

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 \cong L_{2-}$. Along the way, we give new easy to construct algebras having stable free but not free modules.