Recollements, sinks elimination and Leavitt path algebras

From MaRDI portal
(Redirected from Publication:2520693)



Abstract: For Leavitt path algebras, we show that whereas removing sources from a graph produces a Morita equivalence, removing sinks gives rise to a recollement situation. In general, we show that for a graph E and a finite hereditary subset H of E0 there is a recollement xymatrix{ L_K(E/overline H) Modd ar[r] & ar@<3pt>[l] ar@<-3pt>[l] L_K(E) Modd ar[r] & ar@<3pt>[l] ar@<-3pt>[l] L_K(E_H) Modd .} We record several corollaries.


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^{-}]\).











This page was built for publication: Recollements, sinks elimination and Leavitt path algebras

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