Recollements, sinks elimination and Leavitt path algebras (Q2520693)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Recollements, sinks elimination and Leavitt path algebras |
scientific article |
Statements
Recollements, sinks elimination and Leavitt path algebras (English)
0 references
16 December 2016
0 references
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^{-}]\).
0 references
Leavitt path algebra
0 references
recollement
0 references
category of modules
0 references
0 references