Equivalence between the Morita categories of étale Lie groupoids and of locally grouplike Hopf algebroids (Q2270521): Difference between revisions

An étale Lie groupoid \(G\) is completely determined by its convolution algebra \(\mathcal C_c^{\infty }(G)\) equipped with the natural Hopf algebroid structure. The paper has two principal results: 1) any principal \(H\)-bundle \(P\) over \(G\) is uniquely determined by the associated \(\mathcal C_c^{\infty }(G)-\mathcal C_c^{\infty }(H)\)-bimodule \(\mathcal C_c^{\infty }(P)\) equipped with the natural coalgebra structure, and 2) the functor \(\mathcal C_c^{\infty }\) gives an equivalence between the Morita categories of étale Lie groupoids and of locally grouplike Hopf algebroids.