A classification of ideals in Steinberg and Leavitt path algebras over arbitrary rings (Q2236071)

The authors give a one-to-one correspondence between ideals in the Steinberg algebra of a Hausdorff ample groupoid \(G\), and certain families of ideals in the group algebras of isotropy groups in \(G\). In any small category \(C\), taking any \(u\in C\) (an object), the set \(\hom_C(u,u)\) is a monoid (relative to composition) and for a groupoid \(G\) it is a group denoted \(G_u^u\). Then it has sense to consider the group algebra \(RG_u^u\). If \(A_R(G)\) is the Steinberg \(R\)-algebra and \(u\in G^{(0)}\), \(f\in A_R(G)\) the authors define in the paper \(f_u:=f\vert_{G_u^u}\in RG_u^u\). Next, it is considered in the paper the set \(X(G)=\cup_{u\in G^{(0)}}RG_u^u\) which is topologized suitably (Lemma 3.1). Then the so called disassembly map: \[I \mapsto Y_I := \cup_{u\in G^{(0)}}I_u, \hbox{ where } I_u := \{f_u\colon f \in I\}\subset RG_u^u. \] The main theorem of the paper proves that this map defines a bijection between ideals in the Steinberg algebra of a Hausdorff ample groupoid \(G\), and a certain set of all open subsets \(Y\subset X(G)\) satisfying specified conditions (Theorem 3.2). Then, this is used to give a complete graph-theoretic description of the ideal lattice of Leavitt path algebras over arbitrary commutative rings, generalising the classification of ideals in Leavitt path algebras over fields.