Towards a K-theoretic characterization of graded isomorphisms between Leavitt path algebras. (Q6486648)

Hazrat proposed in 2013 an approach to the (graded) classification problem based on a notion of graded \(K_0\)-group. He proved that for a strongly graded \(\mathbb Z\)-algebra \(A\), the groups \(K_0^{\text{gr}}(A)\) and \(K_0(A_0)\) have a natural structure of \(\mathbb Z[x,x^{-1}]\)-module and by virtue of Dade's Theorem \(K_0^{\text{gr}}(A)\cong K_0(A_0)\) as ordered \(\mathbb Z[x,x^{-1}]\)-modules. The same author conjectures that for row-finite graphs \(E\) and \(F\) one has \(L(E)\cong_{\text{gr}}L(F)\) if and only if there is an order preserving \(\mathbb Z[x,x^{-1}]\)-module isomorphism \((K_0^{\text{gr}}(L(E)),[1_{L(E)}])\cong (K_0^{\text{gr}}(L(F)),[1_{L(F)}])\). Hazrat proved in a paper in 2013, that his conjecture holds for some classes of Leavitt path algebras.NEWLINENEWLINE In the present paper, the authors prove that the conjecture also holds for Leavitt path algebras associated to finite graphs with neither sources nor sinks. More precisely:NEWLINENEWLINE If \(E\), \(F\) are finite graphs with neither sources nor sinks, then the following are equivalent:NEWLINENEWLINE (1) \((K_0(L(E)_0),K^+_0(L(E)_0),[1_{L(E)_0}])\cong_{\mathbb Z[x,x^{-1}]}(K_0(L(F)_0),K^+_0(L(F)_0),[1_{L(F)_0}])\).NEWLINENEWLINE (2) There exists a locally inner automorphism \(g\) of \(L(E)_0\) such that \(L^g(E)\cong_{\text{gr}}L(F)\).NEWLINENEWLINE The work also gives a description of the automorphisms of \(L(E)\) which induce the identity on \(K_0^{\text{gr}}\) (for the class of graphs mentioned above).