Controllability and diffeomorphism groups on manifolds with boundary
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912299672928256 |
|---|---|
| author | Grong, Erlend Schmeding, Alexander |
| author_facet | Grong, Erlend Schmeding, Alexander |
| contents | In this article we consider diffeomorphism groups of manifolds with smooth boundary. We show that the diffeomorphism groups of the manifold and its boundary fit into a short exact sequence which admits local sections. In other words, they form an infinite-dimensional fibre bundle. Manifolds with boundary are of interest in numerical analysis and with a view towards applications in machine learning we establish controllability results for families of vector fields. This generalises older results due to Agrachev and Caponigro in the boundary-less case. Our results show in particular that the diffeomorphism group of a manifold with smooth boundary is generated by the image of the exponential map. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_12742 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Controllability and diffeomorphism groups on manifolds with boundary Grong, Erlend Schmeding, Alexander Differential Geometry Group Theory 58D05 (primary), 93B05, 53C17, 58D15 In this article we consider diffeomorphism groups of manifolds with smooth boundary. We show that the diffeomorphism groups of the manifold and its boundary fit into a short exact sequence which admits local sections. In other words, they form an infinite-dimensional fibre bundle. Manifolds with boundary are of interest in numerical analysis and with a view towards applications in machine learning we establish controllability results for families of vector fields. This generalises older results due to Agrachev and Caponigro in the boundary-less case. Our results show in particular that the diffeomorphism group of a manifold with smooth boundary is generated by the image of the exponential map. |
| title | Controllability and diffeomorphism groups on manifolds with boundary |
| topic | Differential Geometry Group Theory 58D05 (primary), 93B05, 53C17, 58D15 |
| url | https://arxiv.org/abs/2403.12742 |