Reflections on the Larson-Sweedler theorem for (weak) multiplier Hopf algebras (2404.15046v2)

Abstract: Let $A$ be an algebra with identity and $\Delta:A\to A\otimes A$ a coproduct that admits a counit. If there exist a faithful left integral and a faithful right integral, one can construct an antipode and $(A,\Delta)$ is a Hopf algebra. This is the Larson-Sweedler theorem. There are generalizations of this result for multiplier Hopf algebras, weak Hopf algebras and weak multiplier Hopf algebras. In the case of a multiplier Hopf algebra, the existence of a counit can be weakened and can be replaced by the requirement that the coproduct is full. A similar result is true for weak multiplier Hopf algebras. What we show in this note is that in fact the result for multiplier Hopf algebras can still be obtained without the condition of fullness of the coproduct. As it turns out, this property will already follow from the other conditions. Consequently, also in the original theorem for Hopf algebras, the existence of a counit is a consequence of the other conditions. This slightly generalizes the original result. The situation for weak multiplier Hopf algebras seems to be more subtle. We discuss the problems and see what is still possible here. We consider these results in connection with the development of the theory of locally compact quantum groups. This is discussed in an appendix.