Invariant ideals in Leavitt path algebras (Q2154813)

The authors study the invariant ideals of Leavitt path algebras. Leavitt path algebras were introduced by \textit{P. Ara} et al. [Algebr. Represent. Theory 10, No. 2, 157--178 (2007; Zbl 1123.16006)], and by \textit{G. Abrams} and \textit{G. Aranda Pino} [J. Algebra 293, No. 2, 319--334 (2005; Zbl 1119.16011)] as algebraic analog of graph \(C^*\)-algebras \(C^*(E)\) [\textit{I. Raeburn}, Graph algebras. Providence, RI: American Mathematical Society (AMS) (2005; Zbl 1079.46002)]. The ideal of a Leavitt path algebra \(L_K(E)\) generated by the set of line points \(P_l\), the ideal generated by the vertices that lie on cycles without exits \(P_c\), and the ideal generated by the set in extreme cycles \(P_{ec}\) are invariant under isomorphism. In this paper the authors develop a machinery which produces invariant ideals for Leavitt path algebras. They introduce a topology in the set of vertices of a graph \(E\) and call it DCC topology. The closed sets of this topology is the set of vertices that connects to the given set. They also think of the saturated and hereditary set of a graph as a functor from graphs to sets and show that if \(H\) is a hereditary and saturated invariant functor, then the functor associated with the set of vertices which do not connect with \(H\) is also invariant. By using these results, they prove that the ideal generated by the subset of vertices of \(P_{b^\infty}\) (i.e., the set of all vertices \(v\in E^0\) whose tree \(T(v)\) contains infinitely many bifurcation vertices or at least one infinite emitter) which do not connect to \(P_l\bigcup P_c\bigcup P_{ec}\) is invariant. The authors show by an example that the ideal generated by \(P_{b^\infty}\) is not invariant in general. For a given hereditary and saturated functor \(H\), they construct a chain of hereditary and saturated functors \(H = H^{(1)}\subseteq H^{(2)}\subseteq \ldots\) such that each \(H^{(i)}\), \(i\geq 1\) is hereditary and saturated and if \(H\) is invariant, then for each \(i\geq 1\), \(H^{(i)}\) is invariant.