
In this article, we give a theorem of reduction of the structure group of a principal bundle P with regular structure group G. Then, when G is in the classes of Lie groups defined by T.Robart [13], we define the closed holonomy group of a connection as the minimal closed Lie subgroup of G for which the previous theorem of reduction can be applied. We also prove an infinite dimensional version of the Ambrose-Singer theorem: the Lie algebra of the holonomy group is spanned by the curvature elements.
15 pages, no figure
Mathematics - Differential Geometry, Mathematics(all), Ambrose-Singer Theorem, Group structures and generalizations on infinite-dimensional manifolds, 58B99, Infinite-dimensional Lie groups and their Lie algebras: general properties, connection, structure group, principal bundle, 58B99; 53C29, 53C29, Differential Geometry (math.DG), Holonomy, curvature, FOS: Mathematics, holonomy, Infinite dimensional Lie groups, Ambrose–Singer theorem, infinite-dimensional Lie group, Connections (general theory)
Mathematics - Differential Geometry, Mathematics(all), Ambrose-Singer Theorem, Group structures and generalizations on infinite-dimensional manifolds, 58B99, Infinite-dimensional Lie groups and their Lie algebras: general properties, connection, structure group, principal bundle, 58B99; 53C29, 53C29, Differential Geometry (math.DG), Holonomy, curvature, FOS: Mathematics, holonomy, Infinite dimensional Lie groups, Ambrose–Singer theorem, infinite-dimensional Lie group, Connections (general theory)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 9 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
