Hölder continuous homomorphisms between infinite-dimensional Lie groups are smooth (Q2577505)

A map \(f:U\rightarrow F\) from an open set \(U\) in a locally convex topological vector space \(E\) into another such topological vector space \(F\) is called Hölder continuous of degree \(\alpha\), \(\alpha\in ]0,1]\), if for every continuous seminorm \(\|\cdot\|_q\) on \(F\) there is a continuous seminorm \(\|\cdot\|_r\) on \(E\) such that \(\| f(y)-f(x)\|_q\leq\| y-x\|_r^\alpha\) for \(x\) sufficiently \(r\)-close to \(y\). The main result states that any Hölder continuous homomorphism between smooth Lie groups modelled on Mackey complete locally convex real topological vector spaces is smooth. The proof is based on the characterization of \(C^1\)-maps \(f\) as above by the existence of a continuous map \(f^{[1]}:U^{[1]}\rightarrow F\), where \(U^{[1]}=\{ (x,y,t)\in U\times E\times{\mathbb R}:x+ty\in U\}\), such that \(tf^{[1]}(x,y,t)=f(x+ty)-f(x)\) for all \((x,y,t)\in U^{[1]}\), and on the use of the Taylor expansion obtained in a similar manner. A weaker result for homomorphisms of \(p\)-adic Lie groups is given as well.