English

Lie groups of real analytic diffeomorphisms are $L^1$-regular

Functional Analysis 2023-09-27 v5

Abstract

Let MM be a compact, real analytic manifold and GG be the Lie group of all real-analytic diffeomorphisms of MM, which is modelled on the space g{\mathfrak g} of real-analytic vector fields on MM. We study flows of time-dependent real-analytic vector fields on MM which are integrable functions in time, and their dependence on the time-dependent vector field. Notably, we show that the Lie group GG is L1L^1-regular in the sense that each [γ][\gamma] in L1([0,1],g)L^1([0,1],{\mathfrak g}) has an evolution which is an absolutely continuous GG-valued function on [0,1][0,1] and depends smoothly on [γ][\gamma]. As tools for the proof, we develop new results concerning L1L^1-regularity of infinite-dimensional Lie groups, and new results concerning the continuity and complex analyticity of non-linear mappings on locally convex direct limits.

Keywords

Cite

@article{arxiv.2007.15611,
  title  = {Lie groups of real analytic diffeomorphisms are $L^1$-regular},
  author = {Helge Glockner},
  journal= {arXiv preprint arXiv:2007.15611},
  year   = {2023}
}

Comments

v5: 47 pages; typos removed, minor improvements

R2 v1 2026-06-23T17:32:08.307Z