Recollements, sinks elimination and Leavitt path algebras (Q2520693)

A recollement of abelian categories consists on three abelian categories \(\mathcal A\), \(\mathcal B\), \(\mathcal C\) and six functors relating them as in the diagram: \input xygraph \[ \xygraph{ !{<0cm,0cm>;<1cm,0cm>:<0cm,1cm>::} !{(0,0) }*+{{\mathcal A}}="a" !{(1.5,0) }*+{{\mathcal B}}="b" !{(3,0) }*+{{\mathcal C}}="c" !{(0.75,0) }*+{i} !{(2.25,0) }*+{j} !{(1.4,0.15) }*+{}="a1" !{(0.1,0.15) }*+{}="a2" !{(1.4,-0.15) }*+{}="a3" !{(0.1,-0.15) }*+{}="a4" !{(1.6,0.15) }*+{}="b1" !{(2.9,0.15) }*+{}="b2" !{(1.6,-0.15) }*+{}="b3" !{(2.9,-0.15) }*+{}="b4" "a":"b" "b":"c" "a1":_q"a2" "a3":^p"a4" "b2":_s"b1" "b4":^r"b3" } \] satisfying: (i) \((s,j,r)\) and \((q,i,p)\) are adjoint triples,that is, \(s\) is a left adjoint to \(j\) which is a left adjoint to \(r\), similarly for the second triple; (ii) the functors \(i\), \(s\) and \(r\) are fully faithful; (iii) \(\text{Im}(i)=\text{Ker}(j)\). The authors prove that for a graph \(E\) and a finite hereditary subset \(H\) of \(E^0\), there is a recollement \[ L_K(E/\bar H)\text{-Mod}\overset{\leftarrow}{\rightleftarrows}L_K(E)\text{-Mod}\overset{\leftarrow}{\rightleftarrows}L_K(E_H) \text{-Mod}. \] As a corollary, it is proved in the paper that for a finite graph \(E\), if we consider the graph \(\bar E\) where all the sources and sinks of \(E\) are removed, then there is a recollement \[ L_K(E/\bar H)\text{-Mod}\overset{\leftarrow}{\rightleftarrows}L_K(E)\text{-Mod}\overset{\leftarrow}{\rightleftarrows}\oplus_{\mathrm{sinks}}K\text{-Mod}. \] Also, it is proved that for a finite graph \(E\) whose vertices are the base of at most one cycle, there is a bijection between the isomorphism classes of simple (right) modules of \(L_K(E)\) and the union of the set of sinks and \(A\times B\), where \(A\) is the set of all cycles in \(E\) and \(B\) is the set of all irreducible polynomials in \(K[x,x^{-}]\).