The automorphism group of a Banach principal bundle with \{1\}-structure

DOI10.1007/S10711-010-9573-9MaRDI QIDQ639984zbMATH OpenOpenAlexFDO

Authors Michael Klotz

Publication date 11 October 2011

Published in Geometriae Dedicata (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0911.2080

zbMATH Keywords

affine Banach manifoldaffine groupautomorphism groupBanach principal bundleG-structure

Mathematics Subject Classification ID

Infinite-dimensional Lie groups and their Lie algebras: general properties (22E65) Groups as automorphisms of other structures (22F50) Linear and affine connections (53B05) (G)-structures (53C10) Group structures and generalizations on infinite-dimensional manifolds (58B25)

Abstract: A {1}-structure on a Banach manifold M (with model space E) is an E-valued 1-form on M that induces on each tangent space an isomorphism onto E. Given a Banach principal bundle P with connected base space and a {1}-structure on P, we show that its automorphism group can be turned into a Banach-Lie group acting smoothly on P provided the Lie algebra of infinitesimal automorphisms consists of complete vector fields. As a consequence we show that the automorphism group of a connected geodesically complete affine Banach manifold M can be turned into a Banach-Lie group acting smoothly on M.

Review text

The paper under review proves the infinite-dimensional analog of a classic result of [\textit{S. Kobayashi}, Transformation Groups in Differential Geometry. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 70. Berlin-Heidelberg-New York: Springer-Verlag. (1972; Zbl 0246.53031)], which asserts that the automorphism group of a \{1\}-structure on a connected (finite-dimensional) manifold is a Lie group. Recall that a \{1\}-structure (also called a complete, or absolute, parallelism) on a Banach manifold modeled on a Banach space \(E\) can be thought of as an \(E\)-valued \(1\)-form that induces an isomorphism from each tangent space with \(E\). The author proves that, given a smooth Banach principal bundle \(P\) (over a connected base) endowed with a \{1\}-structure, its space of infinitesimal automorphisms inherits a unique Banach-Lie algebra structure. Moreover, if all infinitesimal automorphisms are complete (in the usual sense of their flow being defined for all time), then the automorphism group of \(P\) becomes a Banach-Lie group whose action on \(P\) is smooth. As a consequence, the affine group of a connected geodesically complete Banach manifold \(M\) endowed with a connection is a Banach-Lie group that acts smoothly on \(M\). Although those are not contained in the paper under review, the motivation for such study and further application of these results are related to infinite-dimensional symmetric spaces and can be found in the subsequent work of the author [Banach Symmetric Spaces, preprint, \url{arXiv:0911.2089}]. Overall, the exposition is very clear and organized.

Recommendations

• The Lie group of automorphisms of a principal bundle
• Lie group structures on symmetry groups of principal bundles
• Principal bundles on infinite dimensional manifolds with corners
• Connections defined in principal bundles by the action of infinite Lie groups
• scientific article; zbMATH DE number 4183821

Cites work

• A Cartan-Hadamard theorem for Banach-Finsler manifolds
• A global formulation of the Lie theory of transformation groups
• An implicit function theorem for Banach spaces and some applications
• Differential geometry, Lie groups and symmetric spaces over general base fields and rings
• scientific article; zbMATH DE number 204193 (Why is no real title available?)
• scientific article; zbMATH DE number 3280666 (Why is no real title available?)
• scientific article; zbMATH DE number 3389898 (Why is no real title available?)
• scientific article; zbMATH DE number 3194988 (Why is no real title available?)
• Integration of locally exponential Lie algebras of vector fields
• Manifolds, tensor analysis, and applications.
• Riemannian geometry
• Towards a Lie theory of locally convex groups

Cited in

(7)

• Principal bundles on infinite dimensional manifolds with corners
• Siegel domains over Finsler symmetric cones
• Riemannian Hilbert manifolds
• Projective and direct limits of Banach tensor structures
• scientific article; zbMATH DE number 5230834 (Why is no real title available?)
• The Banach-Lie group of Lie triple automorphisms of an \(H^*\)-algebra
• scientific article; zbMATH DE number 4183821 (Why is no real title available?)

This page was built for publication: The automorphism group of a Banach principal bundle with \{1\}-structure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q639984)