Equivalent groupoids have Morita equivalent Steinberg algebras. (Q2254779): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 07:50, 2 February 2024

scientific article
Language Label Description Also known as
English
Equivalent groupoids have Morita equivalent Steinberg algebras.
scientific article

    Statements

    Equivalent groupoids have Morita equivalent Steinberg algebras. (English)
    0 references
    0 references
    0 references
    6 February 2015
    0 references
    A groupoid is a small category in which every morphism has an inverse. Given a groupoid \(G\), we will write \(r(\alpha)\) and \(s(\alpha)\) for the range and source of \(\alpha\in G\). The common image of \(r\) and \(s\) is called the unit space of \(G\) and denoted by \(G^{(0)}\). An étale groupoid is a groupoid \(G\) endowed with a topology so that composition and inversion are continuous, and the source map \(s\) is a local homeomorphism. If this happens, \(r\) is also a local homeomorphism and there is a basis of open bisections; that is, a basis of sets \(B\subset G\) such that \(s\) and \(r\) restricted to \(B\) are homeomorphisms. A groupoid \(G\) is étale if and only if \(G^{(0)}\) is open in \(G\) and \(s\) is an open map. It is said that a groupoid is ample if \(G^{(0)}\) is Hausdorff and \(G\) has a basis of compact open bisections. Associated to any ample groupoid \(G\) and to any commutative unital ring \(R\) there is an algebra called the Steinberg algebra \(A_R(G)\) of \(G\) (in the case of a Hausdorff \(G\), the algebra \(A_n(R)\) agrees with the algebra of locally constant \(R\)-valued functions on \(G\) with compact support). It is noted in the work, that any Leavitt path algebra \(L_R(E)\) is a Steinberg algebra for a suitable groupoid \(G_E\). The main result of the work under review states that if \(G\) and \(H\) are ample groupoids and \(R\) a commutative unital ring, then if \(G\) and \(H\) are equivalent in the sense of Muhly-Renault-Williams, the associated Steinberg algebras are Morita equivalent. It is also deduced that collapsing a ``collapsible subgraph'' of a directed graph in the sense of Crisp and Gow does not change the Morita-equivalence class of the associated Leavitt path \(R\)-algebra. As a consequence, a number of graphical constructions which yield Morita equivalent \(C^*\)-algebras also yield Morita equivalent Leavitt path algebras.
    0 references
    ample groupoids
    0 references
    étale groupoids
    0 references
    Steinberg algebras
    0 references
    Leavitt path algebras
    0 references
    Morita equivalences
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references