Transports along Paths in Fibre Bundles II. Ties with the Theory of Connections and Parallel Transports

Bozhidar Zakhariev Iliev

November 27, 2006

1   Published: Communication JINR, E5-94-16, Dubna, 1994 http://www.arXiv.org e-Print archive No. math.DG/0503006 2000 MSC numbers: 53C99, 53B99 2003 PACS numbers: 02.40.Ma, 04.90.+e The LAT E X 2 ɛ   source file of this paper was produced by converting a ChiWriter 3.16 source file into ChiWriter 4.0 file and then converting the latter file into a LAT E X 2.09 source file, which was manually edited for correcting numerous errors and for improving the appearance of the text. As a result of this procedure, some errors in the text may exist.
Abstract
A review of the parallel transport (translation) in fibre bundles is presented. The connections between transports along paths and parallel transports in fibre bundles are examined. It is proved that the latter ones are special cases of the former.
1. INTRODUCTION In the work [1], we have considered certain aspects of the general theory of transports along paths in arbitrary fibre bundles without investigating its ties with the ones of parallel transports and connections, which is the aim of the present paper.
Sect. 2 contains a review of the theory of parallel transports in fibre bundles adapted to suit our purposes. At first, are considered parallel transports generated by connections, after which attention is paid to the axiomatic approach to the concept of parallel transport. The main result of this paper, proved in Sect. 3, is that any parallel transport, axiomatically defined or generated by a connection, is a transport along paths satisfying certain additional conditions.
Also some other ties between parallel transports and transports along paths are investigated. In Sect. 4 it is shown how linear transports along paths generated by derivations of tensor algebras [2] can be regarded as (axiomatically defined) parallel transports.
In this paper, we shall use the following notation.
By ( E , π , B )   we denote an arbitrary fibre bundle with a base B   , bundle space E   and projection π : E → B [ 25 , 37 , 17 ]   . The fibres π − 1 ( x ) , x ∈ B   are supposed to be homeomorphic.
An arbitrary real interval and a path in B   are denoted, respectively, by J   and γ : J →   B. If B   is a manifold, the tangent to γ   vector field is written as d p t γ   .
The path γ ¯ : J → E   is a lifting of γ : J → B   (resp. through u ∈ π − 1 ( γ ( J ) ) )   if π ∘ γ ¯ = γ (   resp. and ( J ) ∋ u )   .
By M , T x ( M )   and ( T ( M ) , π , M )   we denote, respectively, a differentiable manifold, the tangent to it space at x ∈ M   , and the tangent bundle to M , T ( M ) : = ∪ x ∈ M T x ( M )   .
Now for reference purposes, we shall summarize a certain material from [1].
A transport along paths I in ( E , π , B )   is a map I : γ → I γ   , where I γ : ( s , t ) → I s → t γ , s , t ∈ J   in which the maps I s → t γ : π − 1 ( γ ( s ) ) → π − 1 ( γ ( t ) ) , ( 1.1 )   satisfy the equalities (id X   is the identity map of the set X )   :
I t → r γ ∘ I s → t γ = I s → r γ , r , s , t ∈ J , ( 1.2 )   I s → s γ = i d π − 1 ( γ ( s ) ) , s ∈ J . ( 1.3 )   It is easily seen that ( I s → t γ ) − 1 = I t → s γ . ( 1.4 )   Important special classes of transports along paths are selected by one or both of the conditions I s → t γ | J ′ = I s → t γ . s , t ∈ J ′ , ( 1.5 )   I s → t γ ∘ τ = I τ ( s ) → τ ( t ) γ , s , t ∈ J ′ ′ , ( 1.6 )   where γ | J ′   is the restriction of γ   on the subinterval J ′   of J   and τ : J ′ ′ → J   is one-to-one map from the interval J ′ ′ ⊂ R   onto J. As for the transports along paths the types of the intervals J , J ′   and J ′ ′   are insignificant, in this work, for purposes which will be cleared up later, all real intervals are supposed to be closed, i.e. of type [ a , b ]   for some a ≤ b , a , b ∈ R   .
If the fibres π − 1 ( x ) , x ∈ B   are differentiable manifolds (e.g. when ( E , π , B )   is smooth [40]), one can consider the class of smooth transports along paths obeying the condition I s → t γ ∈ D i f f ( π − 1 ( γ ( s ) ) , π − 1 ( γ ( t ) ) ) , s , t ∈ J , ( 1.7 )   where Diff ( M , N )   is the set of diffeomorphisms from the manifold M   on the manifold N. Any path γ : [ 0 , 1 ] → B   is called canonical (canonically defined). Its inverse path is γ − : = γ ∘ τ − c   , where τ − c : [ 0 , 1 ] → [ 0 , 1 ]   is given by τ − c ( s ) : = 1 − s , s ∈ [ 0 , 1 ] [ 38 , 39 ]   . The (canonical) product of the paths γ 1 , γ 2 : [ 0 , 1 ] → B   is the path γ 1 γ 2 : [ 0 , 1 ] → B   such that ( γ 1 γ 2 ) ( s ) : = γ 1 ( 2 s )   for s ∈ [ 0 , 1 / 2 ]   and ( γ 1 γ 2 ) ( s ) = γ 2 ( 2 s − 1 )   for s ∈ [ 1 / 2 , 1 ] [ 38 , 39 ]   .
2. REVIEW OF PARALLEL TRANSPORTS IN FIBRE BUNDLES This section contains a brief review of the concept ”parallel transport” in fibre bundles. It will be a basis for comparison of the parallel transport with the transports along paths studied in [ 1 − 3 ]   .
A common feature of most of the works [ 4 , 5 , 6 − 8 , 12 , 15 − 18 , 21 − 35 ]   dedicated to that problem is that in them as a basic object is taken the connection (in corresponding fibre bundles) and with its help the parallel transport is defined. In connection with this, one can distinguish the works [ 9 − 11 , 13 , 14 , 19 , 20 , 36 ]   in which as an initial (axiomatically given) object one takes the parallel transport which, in its turn, defines (and sometimes is identified with) the connection. It has to be noted that in these works in contrast to our considerations in [ 1 − 3 ]   , main attention is paid to the dependence of the parallel transport on the curve (path) along which it is made.
2.1. PARALLEL TRANSPORT IN DIFFERENTIABLE FIBRE BUNDLES ENDOWED WITH CONNECTION Let ( E , π , B )   be locally trivial differentiable and smooth (of class C 1 )   fibre bundle [17,25,37]. The fibre π − 1 ( π ( u ) )   through u ∈ E   is a manifold the tangent space of which at u   is denoted by T u v ( E ) : = : = T u ( π − 1 ( π ( u ) ) )   . Evidently T u v ( E ) ⊂ T u ( E )   . By definition T u v ( E )   consists of vertical vectors [5,25,38,40].
Definition 2.1 ( c f . [ 5 , 35 , 40 , 41 ] ) . A   connection (of general form) in ( E , π , B )   is a smooth (of class C 1 ) dim ( B )   -dimensional distribution T h ( E ) : E → T ( E )   such that the image T h ( E ) : u → T u h ( E )   of u ∈ E   lies in T u ( E )   and is a direct complement of T u v ( E )   in T u ( E )   , i.e.
T u v ( E ) ⊕ T u h ( E ) : = T u ( E ) , ( 2.1 )   where ⊕   is the direct sum sign. By definition T u h ( E )   consists of horizontal (with respect to the connection T h ( E ) )   vectors.
Definition 2.2 (cf. [5,21,35,40,41]). The smooth ( C 1 )   path γ ¯ : J → E   is horizontal (with respect to the connection T h ( E ) )   if its tangent vector field γ ¯ ˙   is horizontal, i.e. if γ ¯ ˙ ( s ) ∈ T γ ¯ ( s ) h ( E )   .
Remark. In this definition and below we speak about smooth (or differentiable), of class C 1   , paths as the corresponding generalizations for partially smooth paths are trivial.
Definition 2.3 ( c f . [ 5 , 21 , 35 , 40 , 41 ] )   . The lift γ → γ ¯ : J → E   of γ : J → B , (   resp. through u ∈ E )   is horizontal (with respect to the connection T h ( E ) )   if γ ¯   is a horizontal path (resp. through u )   .
For defining the concept ”parallel transport” in differentiable fibre bundles, of primary importance is, the question of the existence of a unique horizontal lift of a given path from the base in the total space of the fibre bundle through any point above it. As has been pointed out in [40], p. 607, lemma 2 , a   sufficient condition for this is the fibre π − 1 ( b )   for some b ∈ B   to be a compact manifold.
(Because of the local triviality, if this is so for some b ∈ B   , the above property will be valid also for every b ∈   B.) The existence and uniqueness of the lifting mentioned are automatically fulfilled in principal fibre bundles ( G   -fibre bundles) [5,35,40,41] where they are assured from the additional requirement for the connection (called often a G   -connection) to be invariant under the action of the structure group G   of the principal fibre bundle. (More strictly, if R g : E → E   is the right action generated from g ∈ G   , then the connection T h ( P )   of the principal fibre bundle ( P , π , B , G )   is defined by the following three conditions:
1 o . T u v ( P ) ⊕ T u h ( P ) = T u ( P ) , u ∈ P ; 2 o . T u h ( P )   must depend differentiably on u ∈ P ; 3 o . R g * T u h ( P ) = T R g h ( P )   , where R g *   is the differential of R g [ 5 , 10 , 40 ] . )   Another case for the existence of a unique horizontal lift of any path from the bases through every lying above it point is when the fibres of the fibre bundle are discrete (see [ 17 ] , p p . 75 − 76   and [38], chapter III, lemma 15.1). The above pointed problem is considered from a general point of view in chapter III of the book [38] (see e.g. sections 12 , 13 , 15   , and 16 from it), where, in particular, are given the corresponding necessary and sufficient conditions for the existence of (maybe unique) lift of the pointed above form.
Let there be given a smooth fibre bundle ( E , π , B )   with connection T h ( E )   such that for every C 1   path γ : J → B   and every point u ∈ π − 1 ( γ ( J ) )   there exists a unique horizontal lift γ → γ ¯ u   of γ   through u   , i.e. γ ¯ u : J → E , π ∘ γ ¯ u = γ , u ∈ γ ¯ u ( J )   and u ( s ) ∈ T γ u h ( E ) , s ∈   J. (We will note that this assumption for the connection, without being mentioned, is unexplicitly used in the considerations in sections 1 and 2 of [9].) Let J = [ a , b ] , a ≤   b. Let us note that the considered below connections (and parallel transports) will be of Ehresmann's type (see [25], vol. 1, p. 314).
Definition 2.4 ( c f . [ 5 , 7 , 15 − 18 , 21 − 25 , 35 , 40 − 42 ] )   . The parallel transport (generated by T h ( E ) )   of the fibre π − 1 ( γ ( a ) )   onto the fibre π − 1 ( γ ( b ) )   along the path γ : [ a , b ] → B   is a diffeomorphism φ γ : π − 1 ( γ ( a ) ) → π − 1 ( γ ( b ) ) , ( 2.2 )   such that if u ∈ π − 1 ( γ ( a ) )   , then φ γ : u → φ γ ( u ) : = γ ¯ u ( b )   , where γ ¯ u : [ a , b ] → E   is the unique horizontal lift of γ   in E   through u.
Definition 2.5 ( c f . [ 5 , 9 , 40 ] )   . The parallel transport defined by the connection T h ( E )   is a map φ   from the set of C 1   paths in the base B   into the group Morf ( E , π , B )   of the bundle morphisms of ( E , π , B )   , such that if γ : [ a , b ] → B   , then φ : γ → φ γ ∈ ∈   Diff ( π − 1 ( γ ( a ) ) , π − 1 ( γ ( b ) ) )   , i.e. the image φ γ   is the defined by T h ( E )   parallel transport along γ   , which is an element of the group Diff ( π − 1 ( γ ( a ) ) , π − 1 ( γ ( b ) ) )   of diffeomorphisms between the fibres π − 1 ( γ ( a ) )   and π − 1 ( γ ( b ) )   .
Proposition 2.1. The parallel transport φ   has the following three basic properties:
a) Invariance under orientation preserving parameter changes, i.e. if γ : [ a , b ] → B   and τ : [ c , d ] → [ a , b ] , c ≤ d , a ≤ b   is an orientation preserving diffeomorphism, then φ γ ∘ τ = φ γ . ( 2.3 )   b) If γ − : [ 0 , 1 ] → B   is the (canonical) inverse to γ : [ 0 , 1 ] → B   path, i.e.
γ − ( s ) = γ ( 1 − s ) , s ∈ [ 0 , 1 ]   , then φ γ − = ( φ γ ) − 1 . ( 2.4 )   c) If γ 1 , γ 2 : [ 0 , 1 ] → B , γ 1 ( 1 ) = γ 2 ( 0 )   and γ 1 γ 2   is the (canonical) product of γ 1   and γ 2 (   see Sect. 1), then φ γ 1 = φ γ 2 ∘ φ γ 1 . ( 2.5 )   Remark. Because of (2.3) it is enough to consider (2.4) and (2.5), as well as any other property of the parallel transport, only for canonically defined paths in spite of the fact that they are valid also for arbitrary ones.
Proof. The proof of this proposition can be found, for example, in [ 5 , 7 − 10 , 13 , 14 , 18 , 40 ] .   Here we shall drop the generality of the above considerations and till the end of the present section we will deal with the specific case of principal fibre bundles [ 5 , 15 , 21 − 24 ]   .
At first, let us note that in principal fibre bundles the parallel transport φ γ   along γ   commutes with the right action R g , g ∈ G   of the structure group G   on the total space of the fibre bundle [8,15], i.e. φ γ ∘ R g = R g ∘ φ γ   for arbitrary path γ   and every g ∈   G. On the other hand, in these fibre bundles the parallel transport can be defined uniquely also by the right action of G (   see e.g. [40], p. 632, theorem 1 and [9]). In fact, let γ : [ a , b ] → B   and u ∈ π − 1 ( γ ( a ) )   . Then, due to the local triviality of ( E , π , B ) (   see e.g. [43], p. 48), there exist a neighborhood U   of γ ( a ) = π ( u )   and a diffeomorphism ψ : π − 1 ( U ) → U G , ψ ( u ) : = ( π ( u ) , χ ( u ) )   , where χ : π − 1 ( U ) → G   is right invariant, i.e. χ ( R g u ) = χ ( u ) g , g ∈ G   , and hence ( R g ∘ ψ − 1 ) ( π ( u ) , χ ( u ) ) = R g u = ψ − 1 ( π ( R g u ) , χ ( R g u ) ) = ψ − 1 ( π ( u ) , χ ( u ) g ) .   Denoting by e   the unit of G   , we find:
φ γ ( u ) = ( φ γ ∘ ψ − 1 ) ( γ ( a ) , χ ( u ) ) = ( φ γ ∘ ψ − 1 ) ( γ ( a ) , e χ ( u ) )   = ( φ γ ∘ R χ ( u ) ∘ ψ − 1 ) ( γ ( a ) , e ) = ( R χ ( u ) ∘ φ γ ∘ ψ − 1 ) ( γ ( a ) , e ) = ( R χ ( u ) ∘ ψ − 1 ) ( γ ( b ) , γ ) ,   where in the last equality we have used the fact that ( φ γ ∘ ψ − 1 ) ( γ ( a ) , e ) ∈ π − 1 ( γ ( b ) )   and consequently there exists a unique g γ ∈ G   , which does not depend on u   and is such that ( φ γ ∘ ψ − 1 ) ( γ ( a ) , e ) = ψ − 1 ( γ ( b ) , g γ )   . So, in principal fibre bundles the parallel transport φ γ   along γ   is given by the equality φ γ ( u ) = ( R χ ( u ) ∘ ψ − 1 ) ( γ ( b ) , g γ )   . Hence, the definition of a parallel transport φ   is equivalent to the definition of a map g : γ ↦ g γ   from the set of C 1   paths in B   onto G   such that : γ → g γ   .
Proposition 2.2. The map g : γ → g γ   has the properties: g γ ∘ τ = g γ , ( 2.6 )   g γ − = ( g γ ) − 1 , ( 2.7 )   g γ 1 γ 2 = g γ 1 g γ 2 , ( 2.8 )   where γ , τ , γ − , γ 1 , γ 2   , and γ 1 γ 2   are defined in proposition 2.1.
Proof. The equalities ( 2.6 ) − ( 2.8 )   follow from the definition of γ   and, respectively, the equalities ( 2.3 ) − ( 2.5 ) .   Let us note that in some works, e.g. in [11,17,19,26,36,40], the third property of a parallel transport is expressed not through the equality (2.5), but by φ γ 1 γ 2 = φ γ 1 ∘ φ γ 2 , ( 2.5 ′ )   which, generally, is not true when using the accepted by us notions: as φ γ   acts on the left, then (2.5) is valid but not (2.5 ). For (2.5 ) to be valid, as pointed out in [17], p. 76, one has to change the orientations of γ 1 , γ 2   , and γ 1 γ 2   ; in fact, from (2.5) and (2.4) it follows that φ ( γ 1 γ 2 ) − = ( φ γ 1 ) − 1 = ( φ γ 2 ∘ φ γ 1 ) − 1 = ( φ γ 1 ) − 1 ∘ ( φ γ 2 ) − 1 = φ ( γ 1 ) − ∘ φ ( γ 2 ) − ,   i.e.
φ ( γ 1 γ 2 ) − = φ ( γ 1 ) − ∘ φ ( γ 2 ) − . ( 2.9 )   So, if we make the change φ γ → φ γ − = ( φ γ ) − 1 , ( 2.5 ′ )   will be valid but not (2.5).
Such is the case, for instance, in the works [ 10 , 11 , 19 , 20 ]   in which the parallel transport is defined as the map φ ′ : γ → φ   : = φ γ − : π − 1 ( γ ( b ) ) → π − 1 ( γ ( a ) )   , for which, due to ( 2.9 ) , ( 2.5 ′ )   is true.
As regards the property (2.8) (in principal fibre bundles) in its right hand side the terms are written in a needed order as γ   acts on the right but not from the left as φ γ   .
At the end of this section, we shall stress the fact that the properties ( 2.3 ) − ( 2.5 )   of the parallel transport φ   express their dependence on the curve of transport. From this viewpoint, there naturally arises the question of the ”continuity” or ”differentiability” (the ”smoothness”) of that dependence. The author knows two approaches to that problem. First, in the set of smooth (of class C 1 )   paths a topology is introduced (see e.g. [14] and [38], p. 104) which, in particular, may be generated by some metric (for a case of closed paths see [13]), which is used to study the smoothness of the map φ : γ → φ γ   . And second, a (generally multidimensional) smooth deformation of γ   is made and the dependence of φ γ   on that deformation [9] is investigated, i.e. the class of homotopic with γ   paths connecting γ ( a )   and γ ( b )   is considered and the dependence of a parallel transport along these paths on the parameters of the used homotopy is investigated [38].
2.2. AXIOMATIC APPROACH TO THE PARALLEL TRANSPORT IN LOCALLY TRIVIAL FIBRE BUNDLES The axiomatic definition of a parallel transport in locally trivial fibre bundles is based on the idea of a (diffeomorphic) mapping of the fibres of a given fibre bundle one onto another. More precisely, in the known to the author literature [ 9 − 11 , 19 , 20 , 36 , 39 , 40 ]   in which this question is set, it is put in the following way. Let ( E , π , B )   be a locally trivial fibre bundle and x 1 , x 2 ∈   B. To any path γ : J → B   , where J = [ a , b ]   , in the base B   connecting x 1   and x 2   , i.e. for which γ ( a ) = x 1   and γ ( b ) = x 2 , a   map (diffeomorphism ) φ γ : π − 1 ( x 1 ) → π − 1 ( x 2 )   is put into correspondence and the dependence of φ γ   on γ   is axiomatically defined.
Namely, on φ γ   are imposed two kinds of restrictions. Firstly, these are conditions of a functional type defining the ”change” of φ γ   when with the path γ   some operation is made (e.g. changing its orientation or its representation as a product of other paths). Secondly, in an appropriate way the ”smoothness” of the map γ → φ γ (   conditions for smoothness) is defined. We shall note that the defined in this way parallel transport is sometimes called a global or an integral connection in the fibre bundle [9,19].
A scheme for solving the stated above problem for an axiomatic definition of the parallel transport in locally trivial fibre bundles has been introduced, maybe for the first time, in the work [19], after which, with little changes (following the context or using some features in different special cases (e.g. in principal or homogeneous (associated) fibre bundles)), it is repeated in other publications of the same author [10,11,36].
The above question, but in the ”infinitesimal” case (the points x 1   and x 2   are infinitely near in a coordinate sense), is investigated in the works of G.F. Laptev (see [20] and the given therein references of the printed works of G.F. Laptev). Ref. [9] contains a more general consideration of the problem, which is analogous to the one of Subsect. 2.1, but in [ 9 ] a   more general concept for connection (”infinitesimal nonlinear” connection) is used which is due to the replacement of the tangent spaces to the corresponding manifolds with the Grassmanian manifolds consisting of their one dimensional (linear) subspaces.
In [40], part II, sect. 24 the above question is described but, in fact, only a construction of a parallel transport by the method described in Subsect. 2.1 is made. In the above sense, the defined in [39], sect. 3.2 transport along paths in an assembly of groups (a (flat) topological fibre bundle, the fibres of which are groups) is also a parallel transport.
Form here till the end of the present subsection we shall make comments on the axiomatic definition of the parallel transport in the mentioned above references and, in connection with our purposes attention will be paid mainly to the conditions of functional character.
Before going on, let us note that in the cited literature instead of an arbitrary closed interval J = [ a , b ]   the unit interval I = [ 0 , 1 ]   is used, i.e. I = J | a = 0 , b = 1   .
This is not important because of the invariance of the parallel transport under orientation preserving changes of the parameter of the paths along which it acts (see below e q . ( 2.11 ) )   .
Let ( E , π , B )   be a locally trivial smooth fibre bundle, J = [ a , b ] , x 1 , x 2 ∈ B , γ : J → B   be a C 1   path, γ ( a ) = x 1   and γ ( b ) = x 2   . The parallel transport in ( E , π , B )   is a map φ   from the set of C 1   paths in the base B [ 38 ]   onto the group Morf ( E , π , B )   of bundle morphisms of ( E , π , B ) [ 17 , 22 , 25 ]   , such that φ : γ → φ γ ∈ D i f f ( π − 1 ( γ ( a ) ) , π − 1 ( γ ( b ) ) ) . ( 2.10 )   The first group of restrictions imposed on φ γ   usually, contains ( 2.3 ) − ( 2.5 )   , i.e.
it is wanted that φ γ ∘ τ = φ γ , ( 2.11 )   φ γ − = ( φ γ ) − 1 , ( 2.12 )   φ γ 1 = φ γ 2 ∘ φ γ 1 , ( 2.13 )   where γ , τ , γ 1 , γ 2   and γ 1 γ 2   are defined in proposition 2.1.
The conditions ( 2.11 ) − ( 2.13 )   , which generally are independent, are postulated, for example, in [10,11,19,36], where instead of φ γ σ γ : = Γ ( γ ) : = φ γ −   is used, as a consequence of which (2.13) is written in the form (2.5 ) (with σ γ   instead of φ γ   , and, besides, the paths γ   and γ ′ : = γ ∘ τ   are called equivalent, which is denoted by γ ∼ γ ′   , and (2.11) is written as σ γ = σ γ ′   for γ ∼ γ ′ )   .
In [40] the restrictions ( 2.11 ) − ( 2.13 )   are mentioned but, in fact, they are not used for an axiomatic construction of parallel transports. In [9], attention is paid uniquely to the condition (2.13) which taken together with the corresponding condition for smoothness defines therein φ   as an integral connection of the fibre bundle. As in this work the full proofs of the stated there propositions are not given, part of which are not correct (e.g. the existence of a unique lift is supposed (see Subsect. 2.1); something which generally is not true (see e.g. [38,40])), the author of the present text was not able to re-establish them to an end, so it is not clear whether ( 2.11 ) , ( 2.12 )   or some other restrictions on φ   are used unexplicitly in [26].
Usually, as a consequence of other restrictions (resp. independently) (see e.g. [ 11 , 19 , 20 ] ) φ   satisfies (resp. on φ   is imposed) the restriction φ γ a = i d π − 1 ( x , γ a : { a } → { x a } , x a ∈ B , a ∈ R , ( 2.14 )   i.e. to the degenerated into a point path there corresponds (resp. to correspond) the identity map of the fibre over that point.
For example, in [ 11 , 19 ] γ t = γ | [ 0 , t ] , t ∈ [ 0 , 1 ]   is put to be the restriction of γ   on [ 0 , t ] ⊂ [ 0 , 1 ]   and it is required that i   0 φ γ t =   id π − 1 ( γ ( 0 ) ) ( a   functional condition) and that the principal part of the deviation of φ γ t   from id π − 1 ( γ ( 0 ) )   should depend smoothly on γ t   and t (   condition for smoothness) from where, evidently, follows (2.14). On the contrary, if (2.14) is taken as a base, then the first of these restrictions will be a consequence from the condition for smoothness (which, in fact, needs a concrete and strict formulation ( c f . [ 9 ] ) )   .
Definition 2.6. The map φ : γ → φ γ   , where φ γ   satisfies ( 2.10 ) − ( 2.14 )   , is called an axiomatically defined parallel transport.
Remark. In [40], p. 608, φ   is called an abstract connection.
From the described here approach to the parallel transport a little aside are the investigations of G.F. Laptev (see [20] and the references in it) due to their coordinate and local (or strictly infinitesimal) character. As a consequence of this, the functional conditions and the conditions for smoothness (differentiability) of a parallel transport are given in a unified way (see [20], p. 46 − 47 )   , not sharply separately as in our text or in [9]. From the above conditions in [20], p.
47 (see therein condition c ) )   only (2.14) is given, but ( 2.11 ) − ( 2.13 )   therein are a consequence from the explicit coordinate and infinitesimal form of a parallel transport. Besides, in [ 20 ] φ γ −   is used instead of φ γ   .
As has already been said above, the second group of restrictions imposed on the map (2.1) are the conditions for smoothness. They are defined φ : γ → φ γ   as a continuous or differentiable (from some class C k , k = 1 , … , ∞ , ω )   function of γ   .
In the approach used in [20] these conditions are reduced to the requirement for analyticity of the principal linear part of an explicit coordinate expression for the transport from the final point of a transport (see [20], p. 47, condition d ) )   .
In the works of U.G. Lumiste [10,11,19,36] the question of smoothness of φ : γ → φ γ   is, in fact, replaced with the requirement for continuous differentiability (smoothness) of the map t → φ γ t , t ∈ [ 0 , 1 ] , γ t : = γ | [ 0 , t ]   with, maybe, some modifications depending on the concrete case under consideration, as is, for example, in [36], p.206, condition σ 3   where the concrete properties of the homogeneous fibre bundles are used. This condition for smoothness may be put in the first of the types described at the end of Subsect. 2.1 as it uses the topology of the real line (instead of the one in the set of smooth paths in B )   .
We shall especially mention the work [9] where the important role of the conditions for smoothness is stressed and they themselves, in the considered there cases, are formulated strictly and clearly.
At the end of this section we shall only mention that there also exist a third group of conditions which sometimes are imposed on the map (2.1) and which are connected with the concrete structure of the investigated fibre bundles. They usually define the ”intercommunications” of the map (2.1) with the (structural) group of transformations acting in the fibre bundle. Typical examples of this are the conditions σ 2   and σ 4   from [36], p. 205 − 206   which concern homogeneous fibre bundles and the condition φ γ ∘ R g = R g ∘ φ γ   for commutation of φ γ   with the right action R g , g ∈ G   of the structure group G   in the case of principal fibre bundles [8,15].
3. THE AXIOMATICALLY DEFINED PARALLEL TRANSPORT AS A SPECIAL CASE OF TRANSPORTS ALONG PATHS Before comparing a parallel transport with transport along paths we have to note the following. The axiomatically defined parallel transport is considered usually, along canonically given paths γ : [ 0 , 1 ] → B   , which is significant when defining explicitly the canonically inverse path γ −   and the canonical product of two paths (see Sect. 1 and [1], Sect. 3). Because of the invariance under parameter changes of the parallel transport (see Subsect. 2.2), this restriction is not essential and it is a question of convenience and easiness in the corresponding investigations. This circumstance shows that the parallel transport must be compared not with the general transport along arbitrary paths, but with transports I γ   along the γ : J → B   , where J   is a closed interval, i.e. J = [ a , b ]   . The importance of this restriction comes from the fact that, in the general case, the transports along paths are not invariant under parameter changes, i.e. they do not satisfy (1.6), so they can explicitly depend on the path of transport.
Let I be a transport along paths in the fibre bundle ( E , π , B )   and γ : [ a , b ] →   B. To I we assign a map φ : γ → φ γ   , defined by φ γ : = I a → b γ : π − 1 ( γ ( a ) ) → π − 1 ( γ ( b ) ) . ( 3.1 )   Lemma 3.1. If I γ   is a transport along γ   satisfying additional conditions (1.5) and (1.6), then the map φ : γ → φ γ   defined by (3.1) satisfies the equalities ( 2.11 ) − ( 2.13 )   and I s → t γ = φ γ o τ t J ∘ ( φ γ o τ s J ) − 1 , s , t ∈ J = [ a , b ] , ( 3.2 )   where τ s J : [ a , b ] → [ a , s ] , s ∈ [ a , b ]   are for s > a   arbitrary orientation preserving diffeomorphisms depending on γ   through the interval J. Proof. Firstly, we shall prove equality (3.2). Using sequentially (1.2), (1.4), (1.5), (1.6) and (3.1), we get:
I s → t γ = I a → t γ ∘ I s → a γ = I a → t γ ∘ ( I a → s γ ) − 1 = I a → t γ | [ a , t ] ∘ ( I a → s γ | [ a , s ] ) − 1   = I τ t J ( a ) → τ γ | [ a , t ] ∘ ( I τ s J ( a ) → τ γ | [ a , s ] ) − 1 = I a → b γ ∘ τ t J ∘ ( I a → b γ ∘ τ s J ) − 1 = φ γ ∘ τ t J ∘ ( φ γ ∘ τ s J ) − 1 .   The property (2.11) follows from the equality (1.6): if τ : [ c , d ] → [ a , b ]   is an orientation preserving diffeomorphism, which, in particular, means τ ( c ) = a   and τ ( d ) = b   , then from (1.6) and (3.1), we get φ γ ∘ τ = I c → d γ ∘ τ = I τ ( c ) → τ ( d ) γ = I a → b γ = φ γ   .
The property (2.12) is a consequence of (1.6) in which, because of γ − : = γ ∘ τ − c , γ : [ 0 , 1 ] → B   , we have to put τ = τ − c (   see Sect. 1). Under these assumptions, from ( 3.1 ) , ( 1.6 )   and (1.4) we get φ γ − = I 0 → 1 γ − = I τ − c ( 0 ) → τ γ = I 1 → 0 γ = ( φ γ ) − 1 .   The property (2.13) is a consequence of [1], proposition 3.4 (see therein e q . ( 3.4 ) )   in the case of a canonical choice of a parameter χ   , i.e. (see Sect. 1 and [1]) for χ = χ c : = ( 0 , 1 , 1 / 2 ; τ 1 c , τ 2 c )   with τ 1 c : s → 2 s , s ∈ [ 0 , 1 / 2 ]   and τ 2 c : s → 2 s − 1 , s ∈ [ 1 / 2 , 1 ] . (   It should be noted that the proof of proposition 3.4 of [1] essentially uses the condition (1.5).) Then, from (3.1) and e q . ( 3.4 )   from [1], we get φ γ 1 = I 0 → 1 γ 1 = I 0 → τ 2 γ 2 ∘ I τ 1 γ 1 = I 0 → 1 γ 2 ∘ I 0 → 1 γ 1 = φ γ 2 ∘ φ γ 1 ,   with γ 1 γ 2 : = ( γ 1 γ 2 ) χ c .   Lemma 3.2. The defined by (3.1) map φ : γ → φ γ   for any transport along paths I has the property (2.14).
Proof. If γ a : { a } → { x a } , x a ∈ B , a ∈ R   , then from (3.1) and (1.3), we get φ γ a = I a → a γ a =   id π − 1 ( γ =   id π − 1 ( x .   Theorem 3.1. If I is a smooth transport along paths, i.e.
I a → b γ ∈ D i f f ( π − 1 ( γ ( a ) ) , π − 1 ( γ ( b ) ) ) , γ : J → B , J = [ a , b ] , ( 3.3 )   having the properties (1.5) and (1.6), then the defined by (3.1) map φ : γ → φ γ   is an axiomatically defined parallel transport. Vice versa, if φ   is an axiomatically defined parallel transport, then the map (3.2), in which τ s J : J → [ a , s ] , s ∈ J   are arbitrary orientation preserving diffeomorphisms and γ : J → B   , defines a smooth transport along paths I : γ → I γ , I γ : ( s , t ) → I s → t γ   satisfying the additional conditions (1.5) and (1.6).
Remark. If φ   is an axiomatically defined parallel transport, then, because of the properties of τ s J , s ∈ J   , we can replace in ( 2.11 ) γ   with γ | [ a , s ]   and put in it τ = τ s J   . In this way, we obtain φ γ | [ a , s ] = φ ( γ | [ a , s ] ) ∘ τ s J = φ γ ∘ τ s J   as ( γ | [ a , s ] ) ∘ τ s J = γ ∘ τ s J   . Therefore, (3.2) is now equivalent to I s → t γ = φ γ | [ a , t ] ∘ ( φ γ | [ a , s ] ) − 1 , s , t ∈ J = [ a , b ] . ( 3.4 )   Proof. The first part of the theorem is a consequence of lemmas 3.1 and 3.2, definition 2.6 and the fact that now (2.10) is, due to (3.1), another form of (3.3).
On the contrary, let φ   be an axiomatically defined parallel transport (see definition 2.6).
If in theorem 3.1 of [1], we put Q = π − 1 ( γ ( a ) )   and F s γ = =   φ γ o τ s J   − 1 : π − 1 ( γ ( s ) ) → π − 1 ( γ ( a ) ) ( τ s J ( a ) = a , τ s J ( b ) = s )   , we see that the map (3.2) is a transport along γ   from s   to t. So, I : γ → I γ   , where I γ : ( s , t ) → I s → t γ   , is a transport along paths.
The smoothness condition (3.3) follows from (2.10) and (3.2).
To prove the equalities (1.5) and (1.6) for the transport along paths I, we shall use the following lemma which will be proved below after this proof.
Lemma 3.3. If φ   is an axiomatically defined parallel transport, then the maps (3.4) (or equivalently (3.2)) admit the representation I s → t γ = ( φ γ | [ min ( s , t ) , max ( s , t ) ] ) ε ( s , t ) = { φ γ | [ s , t ] f o r s ≤ t φ γ | [ t , s ] f o r s ≥ t , ( 3.5 )   where ε ( s , t ) : = + 1   for s ≤ t   and ε ( s , t ) : = − 1   for s > t (   or s ≥ t )   .
From (3.5), because of ( γ | J ′ ) | J ′ = γ | J ′   for any subinterval J ′ ⊆ J   , it immediately follows I s → t γ = I s → t γ | [ min ( s , t ) , max ( s , t ) ] ( 3.6 )   which by [1], proposition 2.3 is equivalent to (1.5).
If τ : J ′ ′ → J   is an orientation preserving diffeomorphism, then ( γ ∘ τ ) | [ r , s ] = ( γ | [ τ ( r ) , τ ( s ) ] ∘ τ   for every r , s ∈ J ′ ′   such that r ≤   s. Combining this equality with (3.5), letting s , t ∈ J ′ ′ , λ : = min ( s , t )   and μ : = : = max ( s , t )   , and using (2.11), we get:
I s → t γ ∘ τ = ( φ ( γ ∘ τ ) | [ λ , μ ] ) ε ( s , t ) = ( φ ( γ | [ τ ( λ ) , τ ( μ ) ] ) ∘ τ ) ε ( s , t )   = ( φ ( γ | [ τ ( λ ) , τ ( μ ) ] ) ) ε ( s , t ) = ( φ ( γ | [ τ ( λ ) , τ ( μ ) ] ) ) ε ( τ ( s ) , τ ( t ) ) = I τ ( s ) → τ ( t ) γ   as r ≤ s   leads to τ ( r ) ≤ τ ( s ) , r , s ∈ J ′ ′ .   The proof of lemma 3.3 is based on Lemma 3.4. If φ   is an axiomatically defined parallel transport and γ : J → B   , then φ γ | [ s , t ] ∘ φ γ | [ r , s ] = φ γ | [ r , t ] , f o r r ≤ s ≤ t , r , s , t ∈ J . ( 3.7 )   Proof. Let τ 1 : [ 0 , 1 ] → [ r , s ]   and τ 2 : [ 0 , 1 ] → [ s , t ]   be orientation preserving diffeomorphisms. Evidently, also such is the map τ : [ 0 , 1 ] → [ r , t ]   , defined by τ ( λ ) : = τ 1 ( 2 λ )   for λ ∈ [ 0 , 1 / 2 ]   and τ ( λ ) : = τ 2 ( 2 λ − 1 )   for λ ∈ [ 1 / 2 , 1 ]   . Using (2.11), the definition of the (canonical) product of paths (see Sect. 1), and (2.13), we find:
φ γ | [ s , t ] ∘ φ γ | [ r , s ] = φ γ ∘ τ 1 ∘ φ γ ∘ τ 2 = φ ( γ ∘ τ 1 = φ γ ∘ τ = φ γ | [ r , t ] .   Proof of lemma 3.3. Combining (3.7) and (3.4) for a ≤ s ≤ t ≤ b   , we get I s → t γ = φ γ | [ a , t ] ∘ ( φ γ | [ a , s ] ) − 1 = φ γ | [ s , t ] ∘ φ γ | [ a , s ] ∘ ( φ γ | [ a , s ] ) − 1 = φ γ | [ s , t ]   and for a ≤ t ≤ s ≤ b   , we obtain I s → t γ = φ γ | [ a , t ] ∘ ( φ γ | [ a , s ] ) − 1 = φ γ | [ a , t ] ∘ ( φ γ | [ t , s ] ∘ φ γ | [ a , t ] ) − 1 = ( φ γ | [ t , s ] ) − 1   Theorem 3.1 is a strict expression of the statement that the axiomatically defined parallel transport is a special case of tran sports along paths in fibre bundles, and that any transport along paths satisfying certain additional conditions, namely (1.5) and (1.6), defines an axiomatically defined parallel transport. This theorem also expresses a one-to-one correspondence between axioma tically defined parallel transports and transports along paths obeying the conditions (1.5) and (1.6). Speaking more freely, we can say that according to it a transport along paths is an axioma tically defined parallel transport if and only if it satisfies the additional conditions (1.5) and (1.6).
Proposition 3.1. If a transport along paths I (resp. axiomatically defined parallel transport φ )   defines through (3.1) (resp. (3.2)) the axiomatically defined parallel transport φ (   resp. transport along paths I), then the generated by φ (   resp. I) by means of (3.2) (resp. (3.1)) transport along paths (resp. axiomatically defined parallel transport) coincides with the initial transport along paths I (resp. the axiomatically defined parallel transport φ )   .
Proof. Let ′ I (   resp. ′ φ )   be the generated by φ (   resp. I) transport along paths (resp. axiomatically defined parallel transport). Using (3.1) and (3.2), we find ′ I s → t γ = φ γ ∘ τ t J ∘ φ γ ∘ τ s J − 1 = I a → b γ ∘ τ t J ∘ ( I a → b γ ∘ τ s J ) − 1   = I τ t J ( a ) → τ t J ( b ) γ ∘ I τ s J ( b ) → τ s J ( a ) γ = I a → t γ ∘ I s → a γ = I s → t γ   (resp. ′ φ γ = I a → b γ = φ γ ∘ τ b J ∘ φ γ ∘ τ a J − 1 = φ γ ∘   id π − 1 ( γ ( a ) ) = φ γ ) .   4. THE GENERATED BY DERIVATIONS OF TENSOR ALGEBRAS TRANSPORTS ALONG PATHS AS PARALLEL TRANSPORTS IN TENSOR BUNDLES In this section, by η   we denote a C 1   path in the manifold M   such that η : [ a , b ] → M   for a definite a ≤ b , a , b ∈ R   .
Let S   be an S   -transport along paths (in the tensor algebra over M ) [ 2 ]   .
Definition 4.1. The S   -parallel transport associated with the S   -transport S   is a map φ   from the set of C 1   paths in M   into the set of bundle morphisms of the tensor bundles over these paths such that φ : η → φ η : = S a → b η : T η ( a ) ( M ) → T η ( b ) ( M ) , a ≤ b , ( 4.1 )   where T x ( M )   is the tensor algebra at x ∈   M. The map φ η   will be called an S   -parallel transport along (the path ) η   .
Lemma 4.1. If φ   is the S   -parallel transport generated by an S   -transport S , γ : J → M   and s , t ∈ J   , then S s → t γ = { φ η η = γ | [ s , t ] f o r s ≤ t ( φ η ) − 1 η = γ | [ t , s ] f o r t ≤ s . ( 4.2 )   Proof. (4.2) follows from (4.1) and (1.4), as any S   -transport has this property (see [ 2 ] , e q . ( 2.10 )   and also [3], Sect. 2).
Between the S   -transports and S   -parallel transports there exists one important difference. Namely, the S   -transport along γ : J → M   does not use the natural order of the real numbers which defines a definite orientation on the interval J   , while in the definition (4.1) of an S   -parallel transport this order is used explicitly ( a ≤ b )   . The last fact is the reason for the appearance of two different cases ( s ≤ t   and s ≥ t )   in (4.2). This fact also reflects the difference between (1.6) (or (4.4)) and (4.5) (see below proposition 4.2).
Proposition 4.1. If η a : { a } → { m a } , a ∈ R   and m a ∈ M   , then φ η a = i d π − 1 ( m a ) . ( 4.3 )   Proof. (4.3) follows directly from (4.1) for b = a   and (1.3) (see also [2], definition 2.1).
Proposition 4.2. Let η : [ a , b ] → M , τ : [ a ′ , b ′ ] → [ a , b ]   be a diffeomorphism and the S   -transport S η   along η   be invariant under the change τ   of the parameterization of η   , i.e. ( c f . ( 1.6 ) )   S s → t γ ∘ τ = S τ ( s ) → τ ( t ) γ , s , t ∈ [ a ′ , b ′ ] . ( 4.4 )   Then, for the S   -parallel transport φ   , corresponding to S   , there holds φ η ∘ τ = φ η , f o r τ ( a ′ ) = a , ( 4.5 a )   φ η ∘ τ = ( φ η ) − 1 , f o r τ ( a ′ ) = b , ( 4.5 b )   i.e. the S   -parallel transport is invariant under orientation preserving change of the parameterization (case (4.5a)), but when this change does not preserve the orientation it is replaced by its inverse map (case (4.5b)).
Proof. Using successively ( 4.1 ) , ( 4.4 )   and (4.2) for γ = η   , we find φ η ∘ τ = S a ′ → b ′ η ∘ τ = S τ ( a ′ ) → τ ( b ′ ) η = { ( φ η f o r τ ( a ′ ) ≤ τ ( b ′ ) ( φ η ) − 1 f o r τ ( a ′ ) ≥ τ ( b ′ ) ,   which, due to that τ   is a diffeomorphism, is equivalent to (4.5).
Proposition 4.3. Let η − : = η ∘ τ − c   be the canonically inverse path to η : [ a , b ] → M   , i.e. τ − c : [ a , b ] → [ a , b ] , τ − c ( s ) : = a + b − s , s ∈ [ a , b ] ( c f   . Sect. 1 and [38,39]). If (4.4) holds for changing the orientation maps τ   for some S   -transport, then for the corresponding to it S   -parallel transport φ   there holds the equality φ η − = ( φ η ) − 1 . ( 4.6 )   Proof. This result is a corollary from ( 4.1 ) , ( 4.4 ) , ( 1.4 )   and the inequality ( τ − c ) − 1 ( a ) ≥ ( τ − c ) − 1 ( b )   as, by definition τ − c   changes the orientations. E q . ( 4.6 )   also follows from (4.5b) for τ = τ − c .   Proposition 4.4. Let η 1 η 2   be the (canonical) product of the paths η h : [ 0 , 1 ] → M , h = 1 , 2 , η 1 ( 1 ) = η 2 ( 0 ) (   see Sect. 1). If an S   -transport defining the S   -parallel transport φ   satisfies (4.4) for preserving the orientations τ   and (1.5), then φ η 1 = φ η 2 ∘ φ η 1 . ( 4.7 )   Proof. Putting τ 1 ( s ) = 2 s , s ∈ [ 0 , 1 / 2 ]   and τ 2 ( s ) = 2 s − 1 , s ∈ [ 1 / 2 , 1 ]   and using sequentially ( 4.1 ) , ( 1.2 ) , ( 1.5 )   and (4.4), we get:
φ η 1 = S 0 → 1 η 1 = S 1 / 2 η 1 ∘ S 0 → 1 / 2 η 1 = S 1 / 2 → 1 ( η 1   ∘ S 0 → 1 / 2 ( η 1 = S 1 / 2 → 1 η 2 ∘ S 0 η 1 = S τ 2 η 2   ∘ S τ 1 η 1 = S 0 → 1 η 2 ∘ S 0 → 1 η 1 = φ η 2 ∘ φ η 1 .   In propositions 4.2 , 4.3   and 4.4 one essentially uses the acceptance for the validity of (4.4). This is not random as the equality (4.4) expresses the invariance (under certain conditions) under the changes of parameterization of an S   -transport's path, and all (parallel) transports (see Sect. 2) known to the author and used in the mathematical and physical literature possess this property.
From the above-said it is clear that under sufficiently general and ”reasonable” conditions an S   -parallel transport satisfies all basic (functional) conditions characterizing the parallel transport when it is axiomatically described (see Sect. 2.2). Namely, this is the reason for calling the map (4.1) an S   -parallel transport: it is a ”parallel transport” acting in the tensor spaces over a differentiable manifold and it is generated by derivation of the tensor algebra over the manifold. More precisely, from the above results and definition 2.6, we derive Proposition 4.5. The S   -parallel transport generated by an S   -transport along paths satisfying along them (1.5) and (1.6) is the axiomatically defined parallel transport.
The next proposition expresses some properties of the S   -parallel transports which are specific of them as ”parallel transports” in tensor bundles.
Proposition 4.6. Any S   -parallel transport φ η   along a path η : [ a , b ] → M   possesses the properties:
a) Linearity: if λ ′ , λ ′ ′ ∈ R   and T ′   and T ′ ′   are tensors at η ( a )   , then:
φ η ( λ ′ T ′ + λ ′ ′ T ′ ′ ) = ( λ ′ ) φ η ( T ′ + ( λ ′ ′ ) φ η ( T ′ ′ ) ; ( 4.8 )   b) Term by term action on tensor products: if A and B   are arbitrary tensors at η ( a )   , then φ η ( A ⊗ B ) = ( φ η ( A ) ) ⊗ ( φ η ( B ) ) ; ( 4.9 )   c) Commutativity with the contraction operator C   :
φ η ∘ C − C ∘ φ η = 0 ; ( 4.10 )   d) An identical action on scalars: if λ ∈ R   , then φ η ( λ ) = λ . ( 4.11 )   Proof. Equalities ( 4.8 ) − ( 4.11 )   follow directly from definition 4.1 and, respectively, the properties ( 2.3 ) − ( 2.5 )   and (2.13) of [2] of the S   -transports.
5. CONCLUSION The main result of this work is that the theory of transports along paths in fibre bundles is sufficiently general and includes as its special case the theory of parallel transports, and also, consequently, the connection theory. An essential role, as we saw, in comparing these theories was played by the additional condition (1.6). The transports along paths satisfying it depend in fact not on the path of transport γ : J → B   but on the curve of transport, i.e. on the whole class of paths { γ ∘ τ }   in which τ   is a 1 : 1   map of R   -intervals onto J. Because of the practical importance of (1.6), we shall consider it below in the most used case, the one of linear transports in vector bundles [3].
Let L   be a linear transport in the vector bundle ( E , π , B ) [ 3 ]   . If τ : J ′ ′ → J   is 1:1 map, then e q . ( 1.6 )   reads L s → t γ o τ = L τ ( s ) → τ ( t ) γ , s , t ∈ J ′ ′ . ( 5.1 )   Let a field of bases in E   be fixed along γ : J → B   in which H : ( s , t ; γ ) → H ( s , t ; γ ) , s , t ∈ J   and Γ γ ( s ) : = ( ∂ H ( s , t ; γ ) / ∂ t ) | t = s   be, respectively, the matrix and the matrix of the coefficients of L [ 3 ]   . Let D γ   be the generated by L   derivation along γ   and ( D γ σ ) ( s ) = : D s γ σ   for a C 1   section σ   of ( E , π , B ) (   see [3], eqs. (4.2) and (4.3)).
Proposition 5.1. The condition (5.1) is equivalent to any of the following three equalities:
H ( t , s ; γ ∘ τ ) = H ( τ ( t ) , τ ( s ) ; γ ) , s , t ∈ J ′ ′ , ( 5.2 )   Γ γ ∘ τ ( s ) = d τ ( s ) d s ⋅ Γ γ ( τ ( s ) ) , s ∈ J ′ ′ , ( 5.3 )   D s γ ∘ τ = d τ ( s ) d s ⋅ D τ ( s ) γ , s ∈ J ′ ′ . ( 5.4 )   Proof. The equivalence of (5.1) and (5.2) is a corollary of the definition of H (   and the linearity of L   ; see [3], Sect. 2). Eqs. (5.3) and (5.4) are equivalent because of the connection (4.7) or ( 4.14 ′ )   from [3] between Γ γ ( s )   and D s γ   .
So, it remains to prove the equivalence between (5.2) and (5.3).
Differentiating (5.2) with respect to s   and using Γ γ ( s ) : = : = ( ∂ H ( s , t ; γ ) / ∂ t ) | t = s   , we get (5.3). On the contrary, if (5.3) holds, then using the same equality, the representation H ( t , s ; γ ) = = F − 1 ( t ; γ ) F ( s ; γ )   for some matrix function F (   see [3], proposition 2.4) and d F − 1 / d s = − F − 1 ( d F / d s ) F − 1   , we easily obtain:
d d s [ H ( τ ( t ) , τ ( s ) ; γ ) H − 1 ( t , s ; γ ∘ τ ) ]   = H ( τ ( t ) , τ ( s ) ; γ ) [ d τ ( s ) d s ⋅ Γ γ ( τ ( s ) ) − Γ γ ∘ τ ( s ) ] H − 1 ( t , s ; γ ∘ τ ) = 0 .   From this, due to H ( s , s ; γ ) = I (   see [ 3 ] , e q . ( 2.12 ) )   and ( t = s ⇔ τ ( t ) = τ ( s ) )   , we derive (5.2).
If B   is a manifold, evident examples of linear transports along paths satisfying (5.3), and hence (5.1), are the ones characterized by the coefficients given by [ 3 ] , e q . ( 5.1 )   and, in particular, the parallel transports generated by linear connections.
The definition of a parallel transport in principal or associated fibre bundles by the map γ → g γ ∈ G   (see Subsect. 2.1) is widely used in the physical literature devoted to gauge theories [ 13 , 14 , 29 − 32 , 43 − 45 ]   . In them, the parallel transport is given globally through an ordered (called also P − , T   -, or chronological) exponent [14,40,45] along γ   , i.e. γ → g γ = P e x p ∫ A i d x i   , where A i   are the components of the connection form (or, in physical language, the gauge potentials). So, locally along a path γ   connecting the infinitesimally near points x   and x + d x   it is defined by the expansion g γ | x , x + d x = I + A i d x i [ 11 , 43 ]   .
If γ   is a closed path (a contour) passing through x ∈ B (   in the physical literature such a path is called a loop), then the quantity W ( γ , x ) : =   Pexp A i d x i   is called a Wilson loop [ 29 − 32 ]   and in accordance with the above considerations it uniquely defines the parallel transport from π − 1 ( x )   onto π − 1 ( x )   , i.e. of the fibre over x   onto itself. The importance of Wilson's loops is in that their set { W ( γ , x ) : γ : [ a , b ] → B , γ ( a ) = γ ( b ) , x ∈ γ ( [ a , b ] ) }   , which is a nonabelian group and is a representation of the group of loops, contain all the information for the considered gauge theory [ 13 , 29 − 32 , 43 − 45 ]   .
ACKNOWLEDGEMENT This research was partially supported by the Fund for Scientific Research of Bulgaria under contract Grant No. F 103   .
REFERENCES 1. Iliev B.Z., Transports along paths in fibre bundles. General theory, JINR Communication E 5 − 93 − 299   , Dubna, 1993.
2. Iliev B.Z., Parallel transports in tensor spaces generated by derivations of tensor algebras, JINR Communication JINR E 5 − 93 − 1   , Dubna, 1993.
3. Iliev B.Z., Linear transports along paths in vector bundles. I. General theory, JINR Communication JINR E 5 − 93 − 239   , Dubna, 1993.
4. Hawking S.W., G.F.R. Ellis, The large scale structure of space-time, Cambridge Univ. Press, Cambridge, 1973.
5. Kobayashi S., K. Nomizu, Foundations of differential geometry, vol.1, Interscience publishers, New-York-London, 1963.
6. Sachs R.K., H . W u   , General Relativity for Mathematicians, Springer-Verlag, New York-Heidelberg-Berlin, 1977.
7. Nash C., S.Sen, Topology and Geometry for physicists, Academic Press, London-New York, 1983.
8. Nomizu K., Lie groups and differential geometry, The mathematical Society of Japan, 1956.
9. Nikolov P., On the correspondence between infinitesimal and integral description of connections, ICTP, Internal Report, I C / 81 / 196   .
10. Lumiste U.G., Connection theory in fibre bundles, In: Science review, sec. Mathematics: Algebra. Topology. Geometry. 1969, VINITI, Moscow, 1971 , 123 − 168 (   in Russian). 11. Lumiste U.G., Parallel transport; Connections on manifolds; Connection object; Connection form; Connections in fibre bundles, Articles in: Mathematical Encyclopedia, vol.4, Soviet encyclopedia, Moscow, 1984 (in Russian). 12. Warner F.W., Foundations of differentiable manifolds and Lie groups, Springer Verlag, New York-Berlin-Heidelberg-Tokyo, 1983.
13. Durhuus B., J.M. Leinaas, On the loop space formulation of gauge theories, CERN, preprint TH 3110, Geneva, 1981.
14. Khudaverdian O.M., A.S. Schwarz, A new comments on the string representation of gauge fields, Phys. Lett. B , 91   , No. 1 , 1980 , 107 − 110   .
15. Bishop R.L., R.J. Crittenden, Geometry of Manifolds, Academic Press, New York-London, 1964.
16. Yano K., M. Kon, Structures on Manifolds, Series in Pure Mathematics, vol. 3, World Scientific Publ. Co., Singapore, 1984.
17. Steenrod N., The topology of fibre bundles, 9-th ed., Princeton Univ. Press, Princeton, 1974 ( 1 − s t e d . 1951 )   .
18. Sulanke R., P. Wintgen, Differentialgeometrie und Faserbündel, VEB Deutscher Verlag der Wissenschaften, Berlin, 1972.
19. Lumiste U.G., To the foundations of global connection theory, In: Scientific writings of Tartu state university, No.150, Works on mathematics and mechanics IV, Tartu, 1964 , 69 − 108 (   in Russian). 20. Ostianu N.M. V.V. Rizhov, P.I. Shveikin, Article on the scientific investigations of German Fedorovich Laptev, In: Works of Geometrical seminar, vol.4, VINITI, Moscow, 1973 , 7 − 70 (   in Russian). 21. Choquet-Bruhat Y. et al., Analysis, manifolds and physics, North-Holland Publ.Co., Amsterdam, 1982.
22. Husemoller D., Fibre bundles, McGrow-Hill Book Co., New York-St. Louis-San Francisco-Toronto-London-Sydney, 1966.
23. Mishtenko A.S., Vector fibre bundles and their applications, Nauka, Moscow, 1984 (in Russian). 24. Hermann R., Vector bundles in mathematical physics, vol.I, Benjamin W.A., Inc., New York, 1970.
25. Greub W., S. Halperin, R. Vanstone, Connections, Curvature, and Cohomology, vol.1, vol.2, Academic Press, New York and London, 1972 , 1973   .
26. Atiyah M.F., K   -theory, Harvard Univ., Cambridge, Mass., 1965.
27. Karoubi M., K   -theory. An Introduction, Springer-Verlag, Berlin-Heidelberg-New York, 1978.
28. Dandoloff R., W.J. Zakrzewski, Parallel transport along a space curve and related phases, J. Phys. A: Math. Gen., 22 , 1989 , L 461 − L 466   .
29. Azam M., Gauge-invariant objects from Wilson loops, Phys. Rev. D , 35   , No. 6 , 1987 , 2043 − 2046   .
30. Jevicki A., B. Sakita, Collective approach to the large N   limit: Euclidean field theories, Nucl. Phys. B , 185 , 1981 , 89 − 100   .
31. Polyakov A.M., Gauge fields as rings of glue, Nucl. Phys. B , 164 , 1979 , 171 − 188   .
32. Makeenko Yu.M., A.A. Migdal, Quantum chromodynamics as dynamics of loops, Nucl. Phys. B , 188 , 1981 , 269 − 316   .
33. Tamura I, Topology of foliations, Mir, Moscow, 1979 (in Russian; translation from Japanese). 34. Hicks N.J., Notes on Differential Geometry, D. Van Nostrand Comp., Inc., Princeton, 1965.
35. Sternberg S., Lectures on differential geometry, Chelsea Publ. Co., New York, 1983.
36. Lumiste U.G., Homogeneous fibre bundles with connection and their immersions, In: Works of the Geometrical seminar, vol.1, VINITI, Moscow, 1966 , 191 − 237 (   in Russian). 37. Hartman Ph., Ordinary differential equations, John Wiley & Sons, New-York-London-Sydney, 1964.
38 . H u   Sze-Tsen, Homotopy Theory, Academic Press, New York-London, 1959.
39. Viro O.Ya., D.B. Fuks, I. Introduction to homotopy theory, In: Reviews of science and technology, sec. Modern problems in mathematics. Fundamental directions, vol.24, Topology-2, VINITI, Moscow, 1988 , 6 − 121 (   in Russian). 40. Dubrovin B.A., S.P. Novikov, A.T. Fomenko, Modern geometry, Nauka, Moscow, 1979 (in Russian). 41. Lichnerowicz A., Thêorie globale des connexions et des gropes D   Holonomie, Roma, Edizione Cremónese, 1955. 42. Mangiarotti L., M. Modugno, Fibred Spaces, Jet Spaces and Connections for Field Theories, In: Proceedings of the International meeting on Geometry and Physics, Florence, October 12 − 15.1982 , e d   . M. Modugno, Pitagora Editrice, Bologna, 1983 , 135 − 165   .
43. Yang C.N., Integral formalism for gauge fields, Phys. Rev. Lett., 33, No. 7 , 1974 , 445 − 447   .
44. Gambini R., A. Trias, Geometrical origin of gauge theories, Phys. Rev. D , 23   , No. 2 , 1981 , 553 − 555   .
45. Aref ,   eva I.Ya., On the integral formulation of gauge theories, preprint No.480, Wroclaw Univ., Wroclaw, 1979. Iliev B. Z. Transports along Paths in Fibre Bundles II. Ties with the Theory of Connections and Parallel Transports A review of the parallel transport (translation) in fibre bundles is presented.
The connections between transports along paths and parallel transports in fibre bundles are examined. It is proved that the latter ones are special cases of the former.
The investigation has been performed at the Laboratory of Theoretical Physics, JINR.

1     Permanent address: Laboratory of Mathematical Modeling in Physics, Institute for Nuclear Research and Nuclear Energy, Bulgarian Academy of Sciences, Boul. Tzarigradsko chaussée 72, 1784 Sofia, Bulgaria E-mail address: bozho@inrne.bas.bg URL: http://theo.inrne.bas.bg/ ∼   bozho/