Differentiability of the Evolution Map and Mackey Continuity

Autor: Hanusch, Maximilian
Rok vydání: 2018
Předmět:
Zdroj: Forum Math. (2019), Vol. 31, Issue 5. Pages 1139-1177
Druh dokumentu: Working Paper
DOI: 10.1515/forum-2018-0310
Popis: 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.
Comment: 40 pages. Version as published at Forum Mathematicum (up to additional generalization of Theorem 2 to nets)
Databáze: arXiv