Manifolds of absolutely continuous functions with values in an infinite-dimensional manifold and regularity properties of half-Lie groups

Matthieu F. Pinaud
2024-09-12
Abstract:For $p\in [1,\infty]$, we define a smooth manifold structure on the set of absolutely continuous functions $\gamma\colon [a,b]\to N$ with $L^p$-derivatives for each smooth manifold $N$ modeled on a sequentially complete locally convex topological vector space which admits a local addition. Smoothness of natural mappings between spaces of absolutely continuous functions is discussed. For $1\leq p <\infty$ and $r\in \mathbb{N}$ we show that the right half-Lie groups $\text{Diff}_K^r(\mathbb{R})$ and $\text{Diff}^r(M)$ are $L^p$-semiregular. Here $K$ is a compact subset of $\mathbb{R}^n$ and $M$ is a compact smooth manifold. For the preceding examples, the evolution map $\text{Evol}$ is continuous.
Functional Analysis
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to construct a smooth manifold structure for a specific type of function space and explore the properties of these structures under different mappings. Specifically, the paper focuses on the space of absolutely continuous functions \( \text{ACL}^p([a,b], N) \), where \( N \) is an infinite - dimensional manifold and these functions have \( L^p \) derivatives. The author defines a smooth manifold structure on these function spaces and discusses the smoothness of natural mappings (such as superposition operators) between such function spaces. In addition, the paper also studies the regularity problem of half - Lie groups. In particular, for a given compact smooth manifold \( M \) and a positive integer \( r \), the paper proves the \( L^p \)-semiregularity of the half - Lie groups \( \text{Diff}^r(M) \) and \( \text{Diff}^r_K(\mathbb{R}^n) \) and shows the continuity of their evolution maps. ### Main contributions: 1. **Smooth manifold structure**: A smooth manifold structure is constructed for the space of absolutely continuous functions \( \text{ACL}^p([a,b], N) \) such that for each local addition \( \Sigma \), the set \( U_\eta \) is open in \( \text{ACL}^p([a,b], N) \) and the mapping \( \Psi_\eta: V_\eta \to U_\eta \) is a \( C^\infty \)-diffeomorphism. 2. **Smoothness of natural mappings**: It is proved that natural mappings (such as superposition operators) from \( \text{ACL}^p([a,b], N_1) \) to \( \text{ACL}^p([a,b], N_2) \) are smooth. 3. **Regularity of half - Lie groups**: The \( L^p \)-semiregularity of the half - Lie groups \( \text{Diff}^r(M) \) and \( \text{Diff}^r_K(\mathbb{R}^n) \) is proved and the continuity of their evolution maps is shown. ### Key concepts: - **Absolutely continuous function**: A function \( \eta: [a, b] \to N \) is \( L^p \)-absolutely continuous if there exists \( [\gamma] \in L^p([a, b], E) \) such that \( \eta(t)=\eta(t_0)+\int_{t_0}^t\gamma(s) \, ds \). - **Local addition**: A local addition \( \Sigma: \Omega \to N \) is a smooth mapping defined on some open set \( \Omega \) of \( TN \) such that \( \Sigma(0_p) = p \) and \( \theta: \Omega \to N\times N \) is a \( C^\infty \)-diffeomorphism. - **Half - Lie group**: A half - Lie group is a group \( G \) with a smooth manifold structure such that the right translation \( \rho_g: G \to G \) is a smooth mapping. ### Application background: These results are of great significance in the theory of infinite - dimensional Lie groups, global analysis and geometry, especially in the study of path spaces, diffeomorphism groups and the regularity of initial value problems. By constructing these smooth manifold structures, the geometric and topological properties of these function spaces can be understood more deeply.