# Topological tensor product of bimodules, complete Hopf Algebroids and convolution algebras

## TL;DR

This paper explores the structure of topological Hopf algebroids derived from Lie-Rinehart algebras, clarifying their algebraic properties and conditions for isomorphism, with applications to Lie algebroids over manifolds.

## Contribution

It provides an explicit description of the topological antipode and structure maps of convolution algebras associated with complete Hopf algebroids, and discusses conditions for homomorphism homeomorphisms.

## Key findings

- Explicit description of the topological antipode.
- Conditions for the homomorphism to be a homeomorphism.
- Application to smooth sections of Lie algebroids.

## Abstract

Given a finitely generated and projective Lie-Rinehart algebra, we show that there is a continuous homomorphism of complete commutative Hopf algebroids between the completion of the finite dual of its universal enveloping Hopf algebroid and the associated convolution algebra. The topological Hopf algebroid structure of this convolution algebra is here clarified, by providing an explicit description of its topological antipode as well as of its other structure maps. Conditions under which that homomorphism becomes an homeomorphism are also discussed. These results, in particular, apply to the smooth global sections of any Lie algebroid over a smooth (connected) manifold and they lead a new formal groupoid scheme to enter into the picture. In the Appendix we develop the necessary machinery behind complete Hopf algebroid constructions, which involves also the topological tensor product of filtered bimodules over filtered rings.