Differentiability of the Evolution Map and Mackey Continuity

Abstract: We solve the differentiability problem for the evolution map in Milnor's infinite dimensional setting. We first show that the evolution map of each $C^k$-semiregular Lie group $G$ (for $k\in \mathbb{N}\sqcup{\mathrm{lip},\infty}$) admits a particular kind of sequentially continuity $-$ called Mackey k-continuity. We then prove that this continuity property is strong enough to ensure differentiability of the evolution map. In particular, this drops any continuity presumptions made in this context so far. Remarkably, Mackey k-continuity arises directly from the regularity problem itself, which makes it particular among the continuity conditions traditionally considered. As an application of the introduced notions, we discuss the strong Trotter property in the sequentially-, and the Mackey continuous context. We furthermore conclude that if the Lie algebra of $G$ is a Fr\'{e}chet space, then $G$ is $C^k$-semiregular (for $k\in \mathbb{N}\sqcup{\infty}$) if and only if $G$ is $C^k$-regular.