Realizing corners of Leavitt path algebras as Steinberg algebras, with corresponding connections to graph \(C^{\ast}\)-algebras (Q2062722)

The first and third authors of the paper under review proved in a previous work [J. Algebra 547, 494--518 (2020; Zbl 1444.16039)] that any corner of the Leavitt path algebra \(L_K(E)\) of a finite graph \(E\) is isomorphic to a Leavitt path algebra. However, it turns out that a corner of a Leavitt path algebra of an arbitrary graph \(E\) need not in general be isomorphic to a Leavitt path algebra (see Example 2.11). In the present paper, it is proved that the endomorphism ring of any nonzero finitely generated projective module over the Leavitt path algebra \(L_K(E)\) of an arbitrary graph \(E\) with coefficients in a field \(K\) is isomorphic to a Steinberg algebra. To do so, the authors use a theorem of \textit{P. Ara} and \textit{K. R. Goodearl} [J. Reine Angew. Math. 669, 165--224 (2012; Zbl 1281.46050)] (which was also proved independently by \textit{D. Hay} et al. [Rocky Mt. J. Math. 44, No. 6, 1817--1850 (2014; Zbl 1332.16003)]), regarding the structure of finitely generated projective modules over the Leavitt path algebra of an arbitrary graph (see Theorem 1.3 for the precise statement, and references). As a consequence, every nonzero corner of the Leavitt path algebra of an arbitrary graph is isomorphic to a Steinberg algebra. As pointed out by the authors, this in its turn gives that every \(K\)-algebra with local units which is Morita equivalent to the Leavitt path algebra of a row-countable graph is isomorphic to a Steinberg algebra. Moreover, they prove that a corner by a projection of a \(C^*\)- algebra of a countable graph is isomorphic to the \(C^*\)-algebra of an ample groupoid.