The relation between systems and associated bundles

DOI10.1007/BF01759030MaRDI QIDQ2367519zbMATH OpenWikidataFDO

Authors Peter W. Michor

Publication date 16 August 1993

Published in Annali di Matematica Pura ed Applicata. Serie Quarta (Search for Journal in Brave)

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

zbMATH Keywords

fibred morphism Frölicher-Nijenhuis bracket principal bundles vertical vector field

Mathematics Subject Classification ID

Connections (general theory) (53C05)

Abstract: It is shown that a strong system of vector fields on a fiber bundle in the sense of [Modugno, M. Systems of connections and invariant lagrangians. In: Differential geometric methods in theoretical physics, Proc. 15th Int. Conf., DGM, Clausthal/FRG 1986, 518-534 World Scientific Publishing Co. (1987)] is induced from a principal fiber bundle if and only if each vertical vector field of the system is complete.

Review text

A system of sections of a double fibred manifold \(F\to E\to B\) is defined to be a pair \((S,\xi)\), where \(S\to B\) is a fibred manifold and \(\xi:S\times_ BE\to F\) a fibred morphism over \(E\). Then, for each section \(s:B\to C\), we obtain the section \(s:=\xi\circ s^ \uparrow:E\to F\), where \(s^ \uparrow:E\to S\times_ BE\) denotes the pullback of \(s\). These sections \(s\) are the distinguished sections of the system. In particular, for \(F=\bigwedge^ rT^*E\otimes_ ETE\), we can consider a system of tangent valued forms of the fibred manifold \(E\to B\); the special cases of vector fields and connections arise for \(r=0\) and \(r=1\), respectively. The concept of systems of tangent valued forms, along with the Frölicher-Nijenhuis bracket, turns out to be a natural and powerful generalisation of the approach to connections based on principal bundles. In order to achieve a precise comparison between the view points of principal bundles and systems, the author proves that a strong system of vector fields on a bundle \(E\to B\) is induced from a principal bundle if and only if each vertical vector field of the system is complete. The proof is hard and involves global differential geometry.

Cites work

Cited in

(3)

This page was built for publication: The relation between systems and associated bundles

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