# Does smoothness of left and right multiplication imply smoothness of multiplication?

A smooth manifold $$G$$ (of dimension $$m$$) with a group structure given by a multiplication map $$\mu: G \times G \to G, \, (g,h) \mapsto gh$$ is called a Lie group if both the multiplication $$\mu$$ and the inversion $$\iota:G \to G, \, g \mapsto g^{-1}$$ are smooth maps.

It is well-known that smoothness of the multiplication already implies the smoothness of the inversion, which is proven via the inverse function theorem. Smoothness of $$\mu$$ moreover implies that the left and right multiplication maps $$L_g: G \to G, \, h \mapsto gh \, \text{ and } \, R_g: G \to G, \, h \mapsto hg^{-1} \quad (g \in G)$$ are smooth by pre-composing $$\mu$$ with suitable smooth maps $$G \to G \times G$$.

My question is about the converse of the previous statement: Does smoothness of the maps $$L_g$$ and $$R_g$$ for all $$g \in G$$ also imply that $$G$$ is a Lie group, i.e. that the multiplication $$\mu$$ is smooth as well? If yes, does it also suffice to assume that $$L_g$$ is smooth for every $$g \in G$$?

• @Matematleta The assumption is not that $\eta: G \times G \to G, \, (g,h) \mapsto gh^{-1}$ is smooth, only that the map $\eta(-, h): G \to G$ is smooth for every $h \in G$. Apr 29, 2021 at 15:37
• This is like asking if a function with partial derivatives is differentiable. As we all know, if the function and its partial derivatives are continuous, then the function is differentiable. But you're not even assuming continuity, so .... it will take extra work on topological groups here. Apr 29, 2021 at 16:12
• @TedShifrin So if we use a definition of smooth functions that always assumes continuity, then this should be true by just translating to the "classical" case with charts? Apr 29, 2021 at 16:27
• No, I meant that if you assume that $\mu$ is continuous, then smoothness will follow from smoothness in each variable separately. But I am not an expert in special things that happen on topological groups. Apr 29, 2021 at 16:31
• @TedShifrin Ah, thanks for the clarification. There are definitely groups where continuity of multiplication in each variable does not imply global continuity, see here, but I have not seen an example where $G$ is a smooth manifold. Apr 29, 2021 at 16:43

• Thanks for the answer. Can anything be said if we only assume the left multiplications $L_g$, $g \in G$, to be continuous/smooth? Apr 29, 2021 at 21:56
• @YCor One can at least deduce that the smooth structures agree after showing smoothness of $\mu$ with the argument Ted Shifrin gave in the comments, but I'm also not sure how to show that the structures agree without showing smoothness of $\mu$ first. May 7, 2021 at 23:32