Prefer a chat interface with context about you and your work?
Regularity of Lie groups
We solve the regularity problem for Milnor's infinite dimensional Lie groups in the $C^0$-topological context, and provide necessary and sufficient regularity conditions for the (standard) $C^k$-topological setting. We prove that the evolution map is $C^0$-continuous on its domain $\textit{iff}\hspace{1pt}$ the Lie group $G$ is locally $\mu$-convex. We furthermore show that …