Differentiability of the evolution map and Mackey continuity (Q2335852)

Let \(G\) be an infinite-dimensional Lie group that is modeled over a Hausdorff locally convex vector space \(E\) and \(\mathfrak{g}\) the Lie algebra of \(G\). The paper under review shows that, in the case \(G\) is \(C^0\)-semiregular, the evolution map for \(G\) is differentiable if and only if \(\mathfrak{g}\) integral complete. Furthermore, if \(G\) is \(C^k\)-semiregular, for some \(k\), then it is shown that the \(k\)-th evolution map is differentiable if and only if \(\mathfrak{g}\) is Mackey complete. The derivative of the (\(k\)-th) evolution map is given fairly explicitly. As an application, the strong Trotter property in the sequentially and the Mackey continuous context is discussed. In case \(\mathfrak{g}\) is a Fréchet space, it is shown that \(G\) is \(C^k\)-semiregular if and only if \(G\) is \(C^k\)-regular.