Lie groups and their algebras on manifolds Lie theory and analysis on manifolds mathematics