Namespaces
Variants
Actions

Difference between revisions of "Connection"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
 +
<!--
 +
c0251401.png
 +
$#A+1 = 198 n = 0
 +
$#C+1 = 198 : ~/encyclopedia/old_files/data/C025/C.0205140 Connection
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''on a fibre bundle''
 
''on a fibre bundle''
  
A [[Differential-geometric structure|differential-geometric structure]] on a smooth fibre bundle with a Lie structure group that generalizes [[Connections on a manifold|connections on a manifold]], in particular, for example, the [[Levi-Civita connection|Levi-Civita connection]] in Riemannian geometry. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c0251401.png" /> be a smooth locally trivial fibration with typical fibre <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c0251402.png" /> on which a Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c0251403.png" /> acts effectively and smoothly. A connection on this fibre bundle is a mapping of the category of piecewise-smooth curves in the base <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c0251404.png" /> into the category of diffeomorphisms of the fibres that associates with a curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c0251405.png" /> (with initial point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c0251406.png" /> and end point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c0251407.png" />) a diffeomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c0251408.png" /> satisfying the following axioms:
+
A [[Differential-geometric structure|differential-geometric structure]] on a smooth fibre bundle with a Lie structure group that generalizes [[Connections on a manifold|connections on a manifold]], in particular, for example, the [[Levi-Civita connection|Levi-Civita connection]] in Riemannian geometry. Let $  p : E \rightarrow B $
 +
be a smooth locally trivial fibration with typical fibre $  F $
 +
on which a Lie group $  G $
 +
acts effectively and smoothly. A connection on this fibre bundle is a mapping of the category of piecewise-smooth curves in the base $  B $
 +
into the category of diffeomorphisms of the fibres that associates with a curve $  L = L ( x _ {0} , x _ {1} ) $(
 +
with initial point $  x _ {0} $
 +
and end point $  x _ {1} $)  
 +
a diffeomorphism $  \Gamma L :  p  ^ {-} 1 ( x _ {1} ) \rightarrow p  ^ {-} 1 ( x _ {0} ) $
 +
satisfying the following axioms:
  
1) for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c0251409.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514010.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514011.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514012.png" /> one has
+
1) for $  L ( x _ {0} , x _ {1} ) $,
 +
$  L  ^  \prime  ( x _ {1} , x _ {2} ) $,
 +
$  L  ^ {-} 1 ( x _ {1} , x _ {0} ) $,  
 +
and $  L L  ^  \prime  ( x _ {0} , x _ {2} ) $
 +
one has
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514013.png" /></td> </tr></table>
+
$$
 +
\Gamma L  ^ {-} 1  = \
 +
( \Gamma L )  ^ {-} 1 ,\ \
 +
\Gamma ( L L  ^  \prime  )  = \
 +
( \Gamma L ) ( \Gamma L  ^  \prime  ) ;
 +
$$
  
2) for an arbitrary trivializing diffeomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514014.png" /> and for an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514015.png" />, the diffeomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514016.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514017.png" />, is defined by the action of some element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514018.png" />;
+
2) for an arbitrary trivializing diffeomorphism $  \phi : U \times F \rightarrow p  ^ {-} 1 ( U) $
 +
and for an $  L ( x _ {0} , x _ {1} ) \subset  U $,  
 +
the diffeomorphism $  \phi _ {x _ {0}  }  ^ {-} 1 ( \Gamma L ) \phi _ {x _ {1}  } : ( x _ {1} , F ) \rightarrow ( x _ {0} , F ) $,
 +
where $  \phi _ {x} = \phi \mid  _ {( x , F ) }  $,  
 +
is defined by the action of some element $  g _  \phi  ^ {L} \in G $;
  
3) for an arbitrary piecewise-smooth parametrization <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514019.png" />, the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514020.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514021.png" /> is the image of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514022.png" /> under <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514023.png" />, defines a piecewise-smooth curve in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514024.png" /> that starts from the unit element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514025.png" />; moreover, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514026.png" /> with a common non-zero tangent vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514027.png" /> define paths in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514028.png" /> with a common tangent vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514029.png" /> that depends smoothly on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514030.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514031.png" />.
+
3) for an arbitrary piecewise-smooth parametrization $  \lambda :  [ 0 , 1 ] \rightarrow L ( x _ {0} , x _ {1} ) \subset  U $,  
 +
the mapping $  t \mapsto g _  \phi  ^ {L _ {t} } $,  
 +
where $  L _ {t} $
 +
is the image of $  [ 0 , t ] $
 +
under $  \lambda $,  
 +
defines a piecewise-smooth curve in $  G $
 +
that starts from the unit element $  e = g _  \phi  ^ {L _ {0} } $;  
 +
moreover, $  \lambda , \lambda  ^  \prime  :  [ 0 , 1 ] \rightarrow L  ^  \prime  ( x _ {0} , x _ {1} ) \subset  U $
 +
with a common non-zero tangent vector $  X \in T _ {x _ {0}  } B $
 +
define paths in $  G $
 +
with a common tangent vector $  \theta _  \phi  ( x _ {0} , X ) \in T _ {e} ( G) = g $
 +
that depends smoothly on $  x _ {0} $
 +
and $  X $.
  
The diffeomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514032.png" /> is called the [[Parallel displacement(2)|parallel displacement]] along <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514033.png" />. The parallel displacements along all possible closed curves <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514034.png" /> form the [[Holonomy group|holonomy group]] of the connection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514035.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514036.png" />; this group is isomorphic to a Lie subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514037.png" /> that does not depend on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514038.png" />. A curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514039.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514040.png" /> is said to be horizontal for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514041.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514042.png" /> for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514043.png" /> and some piecewise-smooth parametrization of it. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514044.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514045.png" /> are given, then there always exists a unique horizontal curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514046.png" />, called the horizontal lift of the curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514047.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514048.png" />; it consists of the points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514049.png" />. The set of horizontal lifts of all curves <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514050.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514051.png" /> determines the connection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514052.png" /> uniquely: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514053.png" /> maps the end points of all lifted curves of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514054.png" /> into the initial points.
+
The diffeomorphism $  \Gamma L $
 +
is called the [[Parallel displacement(2)|parallel displacement]] along $  L $.  
 +
The parallel displacements along all possible closed curves $  L ( x _ {0} , x _ {0} ) $
 +
form the [[Holonomy group|holonomy group]] of the connection $  \Gamma $
 +
at $  x _ {0} $;  
 +
this group is isomorphic to a Lie subgroup of $  G $
 +
that does not depend on $  x _ {0} $.  
 +
A curve $  \Lambda ( y _ {0} , y _ {1} ) $
 +
on $  E $
 +
is said to be horizontal for $  \Gamma $
 +
if $  \Gamma ( p \Lambda _ {t} ) y _ {t} = y _ {0} $
 +
for any $  t \in [ 0 , 1 ] $
 +
and some piecewise-smooth parametrization of it. If $  L ( x _ {0} , x _ {1} ) $
 +
and $  y _ {0} \in p  ^ {-} 1 ( x _ {0} ) $
 +
are given, then there always exists a unique horizontal curve $  \Lambda ( y _ {0} , y _ {1} ) $,  
 +
called the horizontal lift of the curve $  L $,  
 +
such that $  p \Lambda = L $;  
 +
it consists of the points $  \Gamma L _ {t}  ^ {-} 1 y _ {0} $.  
 +
The set of horizontal lifts of all curves $  L $
 +
in $  B $
 +
determines the connection $  \Gamma $
 +
uniquely: $  \Gamma L $
 +
maps the end points of all lifted curves of $  L $
 +
into the initial points.
  
A connection is called linear if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514055.png" /> depends linearly on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514056.png" /> for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514057.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514058.png" />, or equivalently, if for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514059.png" /> the tangent vectors of the horizontal curves beginning at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514060.png" /> form a vector subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514061.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514062.png" />, called the horizontal subspace. Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514063.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514064.png" /> is the fibre through <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514065.png" />, that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514066.png" />. The smooth distribution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514067.png" /> is called the [[Horizontal distribution|horizontal distribution]] of the linear connection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514068.png" />. It determines <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514069.png" /> uniquely: its integral curves are the horizontal lifts.
+
A connection is called linear if $  \theta _  \phi  ( x , X ) $
 +
depends linearly on $  X $
 +
for any $  \phi $
 +
and $  x $,  
 +
or equivalently, if for any $  y \in E $
 +
the tangent vectors of the horizontal curves beginning at $  y $
 +
form a vector subspace $  \Delta _ {y} $
 +
of $  T _ {t} ( E) $,  
 +
called the horizontal subspace. Here $  T _ {y} ( E) = \Delta _ {y} \oplus T _ {y} ( F _ {y} ) $,  
 +
where $  F _ {y} $
 +
is the fibre through $  y $,  
 +
that is, $  F _ {y} = p  ^ {-} 1 ( p ( y) ) $.  
 +
The smooth distribution $  \Delta : y \mapsto \Delta _ {y} $
 +
is called the [[Horizontal distribution|horizontal distribution]] of the linear connection $  \Gamma $.  
 +
It determines $  \Gamma $
 +
uniquely: its integral curves are the horizontal lifts.
  
A fibre bundle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514070.png" /> is called principal (respectively, a space of homogeneous type), and is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514071.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514072.png" />), if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514073.png" /> acts simply transitively (respectively, transitively) on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514074.png" />, that is, if for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514075.png" /> there is exactly one (respectively, there is an) element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514076.png" /> that sends <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514077.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514078.png" />. Suppose that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514079.png" /> acts on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514080.png" /> from the left; then a natural action from the right is defined on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514081.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514082.png" /> defines <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514083.png" />. Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514084.png" /> is identified with the quotient manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514085.png" /> formed by the orbits <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514086.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514087.png" /> is the stationary subgroup of a point from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514088.png" />. More generally, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514089.png" /> can be identified with the quotient manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514090.png" /> of orbits <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514091.png" /> relative to the action defined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514092.png" />.
+
A fibre bundle $  E $
 +
is called principal (respectively, a space of homogeneous type), and is denoted by $  P $(
 +
respectively, $  Q $),  
 +
if $  G $
 +
acts simply transitively (respectively, transitively) on $  F $,  
 +
that is, if for any $  z , z  ^  \prime  \in F $
 +
there is exactly one (respectively, there is an) element $  g \in G $
 +
that sends $  z $
 +
to $  z  ^  \prime  $.  
 +
Suppose that $  G $
 +
acts on $  F $
 +
from the left; then a natural action from the right is defined on $  P $,  
 +
where $  g $
 +
defines $  R _ {g} : z \mapsto z \circ g $.  
 +
Here $  Q $
 +
is identified with the quotient manifold $  P / H $
 +
formed by the orbits $  y \circ H $,  
 +
where $  H $
 +
is the stationary subgroup of a point from $  F = G / H $.  
 +
More generally, $  E $
 +
can be identified with the quotient manifold $  ( P \times F ) / G $
 +
of orbits $  ( y , z ) \circ G $
 +
relative to the action defined by $  ( y , z ) \circ g = ( y \circ g , g  ^ {-} 1 \circ z ) $.
  
A smooth distribution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514093.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514094.png" /> is a horizontal distribution of some linear connection (which it determines uniquely) if and only if
+
A smooth distribution $  \Delta $
 +
on $  P $
 +
is a horizontal distribution of some linear connection (which it determines uniquely) if and only if
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514095.png" /></td> </tr></table>
+
$$
 +
T _ {y} ( P)  = \Delta _ {y} \oplus T _ {y} ( F _ {y} ) ,\ \
 +
R _ {g}  ^ {*} \Delta _ {y}  = \
 +
\Delta _ {y} \circ g
 +
$$
  
for arbitrary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514096.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514097.png" />. All horizontal distributions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514098.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c02514099.png" />) are the images of such <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140100.png" /> under the canonical projection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140101.png" /> (respectively, the natural lifts of such <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140102.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140103.png" /> under the canonical projection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140104.png" />). Often a linear connection is defined directly as a distribution with the properties mentioned above. It is known that on each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140105.png" />, and so on every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140106.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140107.png" />, there is a linear connection.
+
for arbitrary $  y \in P $
 +
and $  g \in G $.  
 +
All horizontal distributions on $  Q $(
 +
respectively, $  P $)  
 +
are the images of such $  \Delta $
 +
under the canonical projection $  P \rightarrow Q = P / H $(
 +
respectively, the natural lifts of such $  \Delta $
 +
to $  P \times F $
 +
under the canonical projection $  P \times F \rightarrow E = ( P \times F ) / G $).  
 +
Often a linear connection is defined directly as a distribution with the properties mentioned above. It is known that on each $  P $,  
 +
and so on every $  Q $
 +
and $  E $,  
 +
there is a linear connection.
  
A linear connection in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140108.png" /> is usually studied by using its [[Connection form|connection form]], which determines it uniquely and can be the basis for another definition. An important characteristic of a linear connection is the [[Curvature form|curvature form]]; this can be used to compute the Lie algebra of the holonomy group.
+
A linear connection in $  P $
 +
is usually studied by using its [[Connection form|connection form]], which determines it uniquely and can be the basis for another definition. An important characteristic of a linear connection is the [[Curvature form|curvature form]]; this can be used to compute the Lie algebra of the holonomy group.
  
 
The idea of a connection first arose in 1917 in the work of T. Levi-Civita [[#References|[1]]] on parallel displacement of a vector in Riemannian geometry. The notion of an [[Affine connection|affine connection]] was introduced by H. Weyl in 1918. In the 1920s E. Cartan (see [[#References|[3]]]–[[#References|[5]]]) investigated projective and conformal connections (cf. [[Projective connection|Projective connection]]; [[Conformal connection|Conformal connection]]). In 1926 he gave the general concept of a  "non-holonomic space with a fundamental group"  (see [[Connections on a manifold|Connections on a manifold]]), and identified these spaces from the point of view of the general theory of connections. In the 1940s V.V. Vagner developed an even more general concept that is close in spirit (but not in terms of the method) to the modern idea of a connection. 1950 was a decisive year; in it there appeared the survey by Vagner [[#References|[6]]], the first notes of G.F. Laptev, which disclosed new approaches, especially analytic ones, and the work of C. Ehresmann [[#References|[7]]] that laid the foundation of the modern global theory of connections. See also [[Weyl connection|Weyl connection]]; [[Linear connection|Linear connection]]; [[Riemannian connection|Riemannian connection]]; [[Symplectic connection|Symplectic connection]]; [[Hermitian connection|Hermitian connection]].
 
The idea of a connection first arose in 1917 in the work of T. Levi-Civita [[#References|[1]]] on parallel displacement of a vector in Riemannian geometry. The notion of an [[Affine connection|affine connection]] was introduced by H. Weyl in 1918. In the 1920s E. Cartan (see [[#References|[3]]]–[[#References|[5]]]) investigated projective and conformal connections (cf. [[Projective connection|Projective connection]]; [[Conformal connection|Conformal connection]]). In 1926 he gave the general concept of a  "non-holonomic space with a fundamental group"  (see [[Connections on a manifold|Connections on a manifold]]), and identified these spaces from the point of view of the general theory of connections. In the 1940s V.V. Vagner developed an even more general concept that is close in spirit (but not in terms of the method) to the modern idea of a connection. 1950 was a decisive year; in it there appeared the survey by Vagner [[#References|[6]]], the first notes of G.F. Laptev, which disclosed new approaches, especially analytic ones, and the work of C. Ehresmann [[#References|[7]]] that laid the foundation of the modern global theory of connections. See also [[Weyl connection|Weyl connection]]; [[Linear connection|Linear connection]]; [[Riemannian connection|Riemannian connection]]; [[Symplectic connection|Symplectic connection]]; [[Hermitian connection|Hermitian connection]].
Line 30: Line 154:
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  T. Levi-Civita,  "Nozione di parallelismo in una varietà qualunque e consequente specificazione geometrica della curvatura Riemanniana"  ''Rend. Cir. Mat. Palermo'' , '''42'''  (1917)  pp. 173–205</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  H. Weyl,  "Raum, Zeit, Materie" , Springer  (1923)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  E. Cartan,  "Les espaces à connexion conforme"  ''Ann. Soc. Polon. Math.'' , '''2'''  (1924)  pp. 171–221</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  E. Cartan,  "Sur les variétés à connexion projective"  ''Bull. Soc. Math. France'' , '''52'''  (1924)  pp. 205–241</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  E. Cartan,  "Les groupes d'holonomie des espaces généralisés"  ''Acta Math.'' , '''48'''  (1926)  pp. 1–42</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  V.V. Vagner,  "Theory of a composite manifold"  ''Trudy Sem. Vektor i Tenzor Anal.'' , '''8'''  (1950)  pp. 11–72  (In Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  Ch. Ehresmann,  "Les connexions infinitésimal dans une espace fibré différentiable" , ''Colloq. de Topologie Bruxelles, 1950'' , G. Thone &amp; Masson  (1951)  pp. 29–55</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  G.F. Laptev,  "Differential geometry of imbedded manifolds. Group-theoretical method of differential-geometric investigations"  ''Trudy Moskov. Mat. Obshch.'' , '''2'''  (1953)  pp. 275–382  (In Russian)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  K. Nomizu,  "Lie groups and differential geometry" , Math. Soc. Japan  (1956)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  A. Lichnerowicz,  "Global theory of connections and holonomy groups" , Noordhoff  (1955)  (Translated from French)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  Ü.G. Lumiste,  "Connection theory in bundle spaces"  ''J. Soviet Math.'' , '''1'''  (1973)  pp. 363–390  ''Itogi Nauk. Ser. Algebra. Topol. Geom. 1969'' , '''21'''  (1971)  pp. 123–168</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  T. Levi-Civita,  "Nozione di parallelismo in una varietà qualunque e consequente specificazione geometrica della curvatura Riemanniana"  ''Rend. Cir. Mat. Palermo'' , '''42'''  (1917)  pp. 173–205</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  H. Weyl,  "Raum, Zeit, Materie" , Springer  (1923)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  E. Cartan,  "Les espaces à connexion conforme"  ''Ann. Soc. Polon. Math.'' , '''2'''  (1924)  pp. 171–221</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  E. Cartan,  "Sur les variétés à connexion projective"  ''Bull. Soc. Math. France'' , '''52'''  (1924)  pp. 205–241</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  E. Cartan,  "Les groupes d'holonomie des espaces généralisés"  ''Acta Math.'' , '''48'''  (1926)  pp. 1–42</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  V.V. Vagner,  "Theory of a composite manifold"  ''Trudy Sem. Vektor i Tenzor Anal.'' , '''8'''  (1950)  pp. 11–72  (In Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  Ch. Ehresmann,  "Les connexions infinitésimal dans une espace fibré différentiable" , ''Colloq. de Topologie Bruxelles, 1950'' , G. Thone &amp; Masson  (1951)  pp. 29–55</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  G.F. Laptev,  "Differential geometry of imbedded manifolds. Group-theoretical method of differential-geometric investigations"  ''Trudy Moskov. Mat. Obshch.'' , '''2'''  (1953)  pp. 275–382  (In Russian)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  K. Nomizu,  "Lie groups and differential geometry" , Math. Soc. Japan  (1956)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  A. Lichnerowicz,  "Global theory of connections and holonomy groups" , Noordhoff  (1955)  (Translated from French)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  Ü.G. Lumiste,  "Connection theory in bundle spaces"  ''J. Soviet Math.'' , '''1'''  (1973)  pp. 363–390  ''Itogi Nauk. Ser. Algebra. Topol. Geom. 1969'' , '''21'''  (1971)  pp. 123–168</TD></TR></table>
  
 +
====Comments====
 +
Consider a smooth locally trivial fibre bundle  $  p:  E \rightarrow B $.
 +
A smooth section is a smooth mapping  $  s:  B \rightarrow E $
 +
such that  $  p \circ s =  \mathop{\rm id} $.
 +
This concept generalizes that of a function  $  B \rightarrow F $(
 +
where  $  F $
 +
is the fibre of  $  p $),
 +
which is the same as a section of the trivial fibre bundle  $  B \times F \rightarrow B $.
 +
In several areas of mathematics it is important to consider sections instead of just functions. E.g. in gauge field theory. But then one would also like to have something like the partial derivatives of a section available, i.e. the quantity that describes to first order how  $  s ( b) $
 +
changes as  $  b $
 +
varies (infinitesimally). This requires comparing the fibres of  $  p:  E \rightarrow B $
 +
at neighbouring points, but there is nothing in the concept of a fibre bundle as it stands that allows one to do this. For this some extra structure is needed, and that is provided by the idea of a connection.
 +
 +
It would be simplest if for every two points  $  b, b  ^  \prime  \in B $
 +
one could prescribe an isomorphism  $  \phi _ {b, b  ^  \prime  } :  E _ {b} \rightarrow E _ {b  ^  \prime  } $
 +
in a consistent way, i.e. such that  $  \phi _ {b  ^  \prime  , b  ^ {\prime\prime} } \phi _ {b, b  ^  \prime  } = \phi _ {b, b  ^ {\prime\prime}  } $
 +
for all triples  $  b, b  ^  \prime  , b  ^ {\prime\prime} $.
 +
Here  $  E _ {b} $,
 +
the fibre of  $  E $
 +
over  $  b $,
 +
is of course  $  p  ^ {-} 1 ( b) $.
 +
This, however, would make the bundle trivial, and this is in general not possible. The next best thing would be to have for every smooth path  $  L $
 +
from  $  x _ {0} $
 +
to  $  x _ {1} $
 +
an isomorphism  $  \phi _ {L} :  E _ {x _ {0}  } \rightarrow E _ {x _ {1}  } $(
 +
which may depend on the path  $  L $)
 +
from the fibre at the initial point of the path to the fibre at the final point, subject to certain natural restrictions. This is precisely what a connection is.
 +
 +
There are — at least — three intuitively natural ways of describing a connection.
 +
 +
i) Provide for every smooth path  $  L $
 +
from  $  x _ {0} $
 +
to  $  x _ {1} $
 +
an isomorphism  $  E _ {x _ {1}  } \rightarrow E _ {x _ {0}  } $
 +
subject to the three conditions 1), 2), 3).
  
 +
ii) For each  $  e \in E $
 +
let  $  VT _ {e} E =  \mathop{\rm Ker} (( T _ {p} ) _ {e} :  T _ {e} E \rightarrow T _ {p ( e) }  B) $
 +
be the kernel of the tangent mapping at  $  e $.
 +
The subspace  $  VT _ {e} E $
 +
of the tangent space  $  T _ {e} E $
 +
to  $  E $
 +
at  $  e $
 +
is called the vertical tangent subspace to  $  E $
 +
at  $  e $.
 +
Now for each  $  e \in E $
 +
define a complementary subspace  $  HT _ {e} E $
 +
at  $  e $,
 +
called the horizontal tangent subspace at  $  e \in E $.
 +
Thus,  $  T _ {e} E = HT _ {e} E \oplus VT _ {e} E $
 +
and  $  ( Tp) _ {e} $
 +
induces an isomorphism  $  HT _ {e} E \rightarrow T _ {p ( e) }  B $.
 +
The  $  VT _ {e} E $
 +
are required to vary smoothly with  $  e $.
 +
In the case of linear connections, cf. above, this is the infinitesimal version of i).
  
====Comments====
+
iii) Let  $  E $
Consider a smooth locally trivial fibre bundle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140109.png" />. A smooth section is a smooth mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140110.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140111.png" />. This concept generalizes that of a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140112.png" /> (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140113.png" /> is the fibre of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140114.png" />), which is the same as a section of the trivial fibre bundle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140115.png" />. In several areas of mathematics it is important to consider sections instead of just functions. E.g. in gauge field theory. But then one would also like to have something like the partial derivatives of a section available, i.e. the quantity that describes to first order how <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140116.png" /> changes as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140117.png" /> varies (infinitesimally). This requires comparing the fibres of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140118.png" /> at neighbouring points, but there is nothing in the concept of a fibre bundle as it stands that allows one to do this. For this some extra structure is needed, and that is provided by the idea of a connection.
+
be a vector bundle. Then a linear connection can also be specified by giving so to speak the partial derivatives of a section directly (covariant differentiation). This leads to the specification of a bilinear mapping  $  \nabla : V ( B) \times \Gamma ( E) \rightarrow \Gamma ( E) $,
 +
where $  V ( B) $
 +
is the space of vector fields on  $  B $
 +
and  $  \Gamma ( E) $
 +
is the space of sections of $  p:  E \rightarrow B $,
 +
with certain properties; cf. [[Linear connection|Linear connection]] for these properties in the case  $  E = TB $.  
 +
One consequence of these properties is that  $  ( \nabla _ {X} s) ( b) $,
 +
$  X \in V( B) $,
 +
$  s \in \Gamma ( E) $,  
 +
depends only on  $  X ( b) $
 +
at  $  b $.  
 +
If  $  L :  [ 0 , t ] \rightarrow B $
 +
is a smooth path starting in $  b $
 +
with tangent vector  $  X ( b) $
 +
at  $  b $,  
 +
then
 +
 
 +
$$
 +
( \nabla _ {X ( b) }  s) ( b)  = \
 +
\lim\limits _ {h \rightarrow 0 }  h  ^ {-} 1
 +
( \Gamma _ {h} s ( b ( h)) - s ( b) )
 +
$$
  
It would be simplest if for every two points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140119.png" /> one could prescribe an isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140120.png" /> in a consistent way, i.e. such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140121.png" /> for all triples <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140122.png" />. Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140123.png" />, the fibre of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140124.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140125.png" />, is of course <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140126.png" />. This, however, would make the bundle trivial, and this is in general not possible. The next best thing would be to have for every smooth path <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140127.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140128.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140129.png" /> an isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140130.png" /> (which may depend on the path <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140131.png" />) from the fibre at the initial point of the path to the fibre at the final point, subject to certain natural restrictions. This is precisely what a connection is.
+
where  $  \Gamma _ {h} : E _ {L ( h) }  \rightarrow E _ {L ( 0) }  = E _ {b} $
 +
is parallel displacement defined by  $  [ 0, h] \rightarrow B $.
  
There are — at least — three intuitively natural ways of describing a connection.
+
An elegant and convenient way to describe a linear connection in the case that  $  E $
 +
is a vector bundle is as follows. Let
  
i) Provide for every smooth path <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140132.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140133.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140134.png" /> an isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140135.png" /> subject to the three conditions 1), 2), 3).
+
$$
  
ii) For each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140136.png" /> let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140137.png" /> be the kernel of the tangent mapping at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140138.png" />. The subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140139.png" /> of the tangent space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140140.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140141.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140142.png" /> is called the vertical tangent subspace to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140143.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140144.png" />. Now for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140145.png" /> define a complementary subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140146.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140147.png" />, called the horizontal tangent subspace at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140148.png" />. Thus, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140149.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140150.png" /> induces an isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140151.png" />. The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140152.png" /> are required to vary smoothly with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140153.png" />. In the case of linear connections, cf. above, this is the infinitesimal version of i).
+
\begin{array}{ccc}
 +
\pi  ^ {-} 1 ( U) &  \mathop \rightarrow \limits ^ { {\widetilde \phi  }}    &\phi ( U) \times \mathbf R  ^ {m}  \\
 +
\downarrow  &{}  &\downarrow  \\
 +
U  &  \mathop \rightarrow \limits _  \phi    &\phi ( U) \subset  \mathbf R  ^ {n}  \\
 +
\end{array}
  
iii) Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140154.png" /> be a vector bundle. Then a linear connection can also be specified by giving so to speak the partial derivatives of a section directly (covariant differentiation). This leads to the specification of a bilinear mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140155.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140156.png" /> is the space of vector fields on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140157.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140158.png" /> is the space of sections of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140159.png" />, with certain properties; cf. [[Linear connection|Linear connection]] for these properties in the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140160.png" />. One consequence of these properties is that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140161.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140162.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140163.png" />, depends only on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140164.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140165.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140166.png" /> is a smooth path starting in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140167.png" /> with tangent vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140168.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140169.png" />, then
+
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140170.png" /></td> </tr></table>
+
be a local chart of  $  B $
 +
and a trivialization of  $  E $.
 +
Then above  $  \pi  ^ {-} 1 ( U) $
 +
one has the following local trivialization of  $  TE $:
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140171.png" /> is parallel displacement defined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140172.png" />.
+
$$
  
An elegant and convenient way to describe a linear connection in the case that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140173.png" /> is a vector bundle is as follows. Let
+
\begin{array}{ccc}
 +
T \pi  ^ {-} 1 ( U)  &  \mathop \rightarrow \limits ^ { {T \widetilde \phi  }}    &\phi ( U) \times \mathbf R  ^ {m} \times \mathbf R  ^ {n} \times \mathbf R  ^ {m}  \\
 +
\downarrow  &{}  &\downarrow  \\
 +
\pi  ^ {-} 1 ( U)  &  \mathop \rightarrow \limits _ { {\widetilde \phi  }}    &\phi ( U) \times \mathbf R  ^ {m}  \\
 +
\end{array}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140174.png" /></td> </tr></table>
+
$$
  
be a local chart of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140175.png" /> and a trivialization of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140176.png" />. Then above <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140177.png" /> one has the following local trivialization of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140178.png" />:
+
where the right-hand arrow is projection in the first two factors. A linear connection on  $  E $
 +
is now given by a bundle mapping  $  K: TE \rightarrow E $(
 +
i.e. the diagram
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140179.png" /></td> </tr></table>
+
$$
  
where the right-hand arrow is projection in the first two factors. A linear connection on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140180.png" /> is now given by a bundle mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140181.png" /> (i.e. the diagram
+
\begin{array}{ccc}
 +
TE  & \rightarrow ^ { K }    & E  \\
 +
\downarrow  &{}  &\downarrow P  \\
 +
E  & \rightarrow _ { P }  & B  \\
 +
\end{array}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140182.png" /></td> </tr></table>
+
$$
  
is commutative, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140183.png" /> is linear in the fibres), such that locally the mapping looks like
+
is commutative, and $  K $
 +
is linear in the fibres), such that locally the mapping looks like
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140184.png" /></td> </tr></table>
+
$$
 +
K _  \phi  = \
 +
\widetilde \phi  \circ K \circ
 +
( T \widetilde \phi  )  ^ {-} 1 : \
 +
\phi ( U) \times \mathbf R  ^ {m}
 +
\times \mathbf R  ^ {n} \times \mathbf R  ^ {m}  \rightarrow \
 +
\phi ( U) \times \mathbf R  ^ {m} ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140185.png" /></td> </tr></table>
+
$$
 +
( b, \xi , \nu , \eta )  \mapsto  ( b, \eta + \Gamma _  \phi  ( b) ( \nu , \xi )) .
 +
$$
  
The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140186.png" /> are the Christoffel symbols (relative to the trivialization <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140187.png" />; in case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140188.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140189.png" /> can be taken equal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140190.png" /> so that the Christoffel symbols depend only on the chart <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140191.png" />).
+
The $  \Gamma _  \phi  ( b) $
 +
are the Christoffel symbols (relative to the trivialization $  ( \phi , \widetilde \phi  ) $;  
 +
in case $  E = TB $,  
 +
$  \widetilde \phi  $
 +
can be taken equal to $  T \phi $
 +
so that the Christoffel symbols depend only on the chart $  \phi $).
  
Given the connection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140192.png" />, the horizontal subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140193.png" /> is defined by
+
Given the connection $  K $,  
 +
the horizontal subspace $  HT _ {e} E $
 +
is defined by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140194.png" /></td> </tr></table>
+
$$
 +
HT _ {e} E  = \
 +
\mathop{\rm Ker} ( K _ {e} : T _ {e} E  \rightarrow  E _ {p ( e) }  )
 +
$$
  
and the covariant derivative of a section <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140195.png" /> along a vector field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140196.png" /> is the section <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140197.png" />.
+
and the covariant derivative of a section $  s: B \rightarrow E $
 +
along a vector field $  X: B \rightarrow TB $
 +
is the section $  K \circ Ts \circ X: B \rightarrow TB \rightarrow TE \rightarrow E $.
  
In the case of infinite-dimensional manifolds and bundles this last notion of a linear connection appears to be the appropriate replacement of the more traditional covariant derivative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025140/c025140198.png" />, cf. [[#References|[a2]]], Sect. 1.1.
+
In the case of infinite-dimensional manifolds and bundles this last notion of a linear connection appears to be the appropriate replacement of the more traditional covariant derivative $  \nabla : V ( B) \times \Gamma ( E) \rightarrow \Gamma ( E) $,  
 +
cf. [[#References|[a2]]], Sect. 1.1.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  S. Kobayashi,  K. Nomizu,  "Foundations of differential geometry" , '''1''' , Interscience  (1963)  pp. Chapt. 4</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  W. Klingenberg,  "Lectures on closed geodesics" , Springer  (1979)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  S. Kobayashi,  K. Nomizu,  "Foundations of differential geometry" , '''1''' , Interscience  (1963)  pp. Chapt. 4</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  W. Klingenberg,  "Lectures on closed geodesics" , Springer  (1979)</TD></TR></table>

Revision as of 17:46, 4 June 2020


on a fibre bundle

A differential-geometric structure on a smooth fibre bundle with a Lie structure group that generalizes connections on a manifold, in particular, for example, the Levi-Civita connection in Riemannian geometry. Let $ p : E \rightarrow B $ be a smooth locally trivial fibration with typical fibre $ F $ on which a Lie group $ G $ acts effectively and smoothly. A connection on this fibre bundle is a mapping of the category of piecewise-smooth curves in the base $ B $ into the category of diffeomorphisms of the fibres that associates with a curve $ L = L ( x _ {0} , x _ {1} ) $( with initial point $ x _ {0} $ and end point $ x _ {1} $) a diffeomorphism $ \Gamma L : p ^ {-} 1 ( x _ {1} ) \rightarrow p ^ {-} 1 ( x _ {0} ) $ satisfying the following axioms:

1) for $ L ( x _ {0} , x _ {1} ) $, $ L ^ \prime ( x _ {1} , x _ {2} ) $, $ L ^ {-} 1 ( x _ {1} , x _ {0} ) $, and $ L L ^ \prime ( x _ {0} , x _ {2} ) $ one has

$$ \Gamma L ^ {-} 1 = \ ( \Gamma L ) ^ {-} 1 ,\ \ \Gamma ( L L ^ \prime ) = \ ( \Gamma L ) ( \Gamma L ^ \prime ) ; $$

2) for an arbitrary trivializing diffeomorphism $ \phi : U \times F \rightarrow p ^ {-} 1 ( U) $ and for an $ L ( x _ {0} , x _ {1} ) \subset U $, the diffeomorphism $ \phi _ {x _ {0} } ^ {-} 1 ( \Gamma L ) \phi _ {x _ {1} } : ( x _ {1} , F ) \rightarrow ( x _ {0} , F ) $, where $ \phi _ {x} = \phi \mid _ {( x , F ) } $, is defined by the action of some element $ g _ \phi ^ {L} \in G $;

3) for an arbitrary piecewise-smooth parametrization $ \lambda : [ 0 , 1 ] \rightarrow L ( x _ {0} , x _ {1} ) \subset U $, the mapping $ t \mapsto g _ \phi ^ {L _ {t} } $, where $ L _ {t} $ is the image of $ [ 0 , t ] $ under $ \lambda $, defines a piecewise-smooth curve in $ G $ that starts from the unit element $ e = g _ \phi ^ {L _ {0} } $; moreover, $ \lambda , \lambda ^ \prime : [ 0 , 1 ] \rightarrow L ^ \prime ( x _ {0} , x _ {1} ) \subset U $ with a common non-zero tangent vector $ X \in T _ {x _ {0} } B $ define paths in $ G $ with a common tangent vector $ \theta _ \phi ( x _ {0} , X ) \in T _ {e} ( G) = g $ that depends smoothly on $ x _ {0} $ and $ X $.

The diffeomorphism $ \Gamma L $ is called the parallel displacement along $ L $. The parallel displacements along all possible closed curves $ L ( x _ {0} , x _ {0} ) $ form the holonomy group of the connection $ \Gamma $ at $ x _ {0} $; this group is isomorphic to a Lie subgroup of $ G $ that does not depend on $ x _ {0} $. A curve $ \Lambda ( y _ {0} , y _ {1} ) $ on $ E $ is said to be horizontal for $ \Gamma $ if $ \Gamma ( p \Lambda _ {t} ) y _ {t} = y _ {0} $ for any $ t \in [ 0 , 1 ] $ and some piecewise-smooth parametrization of it. If $ L ( x _ {0} , x _ {1} ) $ and $ y _ {0} \in p ^ {-} 1 ( x _ {0} ) $ are given, then there always exists a unique horizontal curve $ \Lambda ( y _ {0} , y _ {1} ) $, called the horizontal lift of the curve $ L $, such that $ p \Lambda = L $; it consists of the points $ \Gamma L _ {t} ^ {-} 1 y _ {0} $. The set of horizontal lifts of all curves $ L $ in $ B $ determines the connection $ \Gamma $ uniquely: $ \Gamma L $ maps the end points of all lifted curves of $ L $ into the initial points.

A connection is called linear if $ \theta _ \phi ( x , X ) $ depends linearly on $ X $ for any $ \phi $ and $ x $, or equivalently, if for any $ y \in E $ the tangent vectors of the horizontal curves beginning at $ y $ form a vector subspace $ \Delta _ {y} $ of $ T _ {t} ( E) $, called the horizontal subspace. Here $ T _ {y} ( E) = \Delta _ {y} \oplus T _ {y} ( F _ {y} ) $, where $ F _ {y} $ is the fibre through $ y $, that is, $ F _ {y} = p ^ {-} 1 ( p ( y) ) $. The smooth distribution $ \Delta : y \mapsto \Delta _ {y} $ is called the horizontal distribution of the linear connection $ \Gamma $. It determines $ \Gamma $ uniquely: its integral curves are the horizontal lifts.

A fibre bundle $ E $ is called principal (respectively, a space of homogeneous type), and is denoted by $ P $( respectively, $ Q $), if $ G $ acts simply transitively (respectively, transitively) on $ F $, that is, if for any $ z , z ^ \prime \in F $ there is exactly one (respectively, there is an) element $ g \in G $ that sends $ z $ to $ z ^ \prime $. Suppose that $ G $ acts on $ F $ from the left; then a natural action from the right is defined on $ P $, where $ g $ defines $ R _ {g} : z \mapsto z \circ g $. Here $ Q $ is identified with the quotient manifold $ P / H $ formed by the orbits $ y \circ H $, where $ H $ is the stationary subgroup of a point from $ F = G / H $. More generally, $ E $ can be identified with the quotient manifold $ ( P \times F ) / G $ of orbits $ ( y , z ) \circ G $ relative to the action defined by $ ( y , z ) \circ g = ( y \circ g , g ^ {-} 1 \circ z ) $.

A smooth distribution $ \Delta $ on $ P $ is a horizontal distribution of some linear connection (which it determines uniquely) if and only if

$$ T _ {y} ( P) = \Delta _ {y} \oplus T _ {y} ( F _ {y} ) ,\ \ R _ {g} ^ {*} \Delta _ {y} = \ \Delta _ {y} \circ g $$

for arbitrary $ y \in P $ and $ g \in G $. All horizontal distributions on $ Q $( respectively, $ P $) are the images of such $ \Delta $ under the canonical projection $ P \rightarrow Q = P / H $( respectively, the natural lifts of such $ \Delta $ to $ P \times F $ under the canonical projection $ P \times F \rightarrow E = ( P \times F ) / G $). Often a linear connection is defined directly as a distribution with the properties mentioned above. It is known that on each $ P $, and so on every $ Q $ and $ E $, there is a linear connection.

A linear connection in $ P $ is usually studied by using its connection form, which determines it uniquely and can be the basis for another definition. An important characteristic of a linear connection is the curvature form; this can be used to compute the Lie algebra of the holonomy group.

The idea of a connection first arose in 1917 in the work of T. Levi-Civita [1] on parallel displacement of a vector in Riemannian geometry. The notion of an affine connection was introduced by H. Weyl in 1918. In the 1920s E. Cartan (see [3][5]) investigated projective and conformal connections (cf. Projective connection; Conformal connection). In 1926 he gave the general concept of a "non-holonomic space with a fundamental group" (see Connections on a manifold), and identified these spaces from the point of view of the general theory of connections. In the 1940s V.V. Vagner developed an even more general concept that is close in spirit (but not in terms of the method) to the modern idea of a connection. 1950 was a decisive year; in it there appeared the survey by Vagner [6], the first notes of G.F. Laptev, which disclosed new approaches, especially analytic ones, and the work of C. Ehresmann [7] that laid the foundation of the modern global theory of connections. See also Weyl connection; Linear connection; Riemannian connection; Symplectic connection; Hermitian connection.

References

[1] T. Levi-Civita, "Nozione di parallelismo in una varietà qualunque e consequente specificazione geometrica della curvatura Riemanniana" Rend. Cir. Mat. Palermo , 42 (1917) pp. 173–205
[2] H. Weyl, "Raum, Zeit, Materie" , Springer (1923)
[3] E. Cartan, "Les espaces à connexion conforme" Ann. Soc. Polon. Math. , 2 (1924) pp. 171–221
[4] E. Cartan, "Sur les variétés à connexion projective" Bull. Soc. Math. France , 52 (1924) pp. 205–241
[5] E. Cartan, "Les groupes d'holonomie des espaces généralisés" Acta Math. , 48 (1926) pp. 1–42
[6] V.V. Vagner, "Theory of a composite manifold" Trudy Sem. Vektor i Tenzor Anal. , 8 (1950) pp. 11–72 (In Russian)
[7] Ch. Ehresmann, "Les connexions infinitésimal dans une espace fibré différentiable" , Colloq. de Topologie Bruxelles, 1950 , G. Thone & Masson (1951) pp. 29–55
[8] G.F. Laptev, "Differential geometry of imbedded manifolds. Group-theoretical method of differential-geometric investigations" Trudy Moskov. Mat. Obshch. , 2 (1953) pp. 275–382 (In Russian)
[9] K. Nomizu, "Lie groups and differential geometry" , Math. Soc. Japan (1956)
[10] A. Lichnerowicz, "Global theory of connections and holonomy groups" , Noordhoff (1955) (Translated from French)
[11] Ü.G. Lumiste, "Connection theory in bundle spaces" J. Soviet Math. , 1 (1973) pp. 363–390 Itogi Nauk. Ser. Algebra. Topol. Geom. 1969 , 21 (1971) pp. 123–168

Comments

Consider a smooth locally trivial fibre bundle $ p: E \rightarrow B $. A smooth section is a smooth mapping $ s: B \rightarrow E $ such that $ p \circ s = \mathop{\rm id} $. This concept generalizes that of a function $ B \rightarrow F $( where $ F $ is the fibre of $ p $), which is the same as a section of the trivial fibre bundle $ B \times F \rightarrow B $. In several areas of mathematics it is important to consider sections instead of just functions. E.g. in gauge field theory. But then one would also like to have something like the partial derivatives of a section available, i.e. the quantity that describes to first order how $ s ( b) $ changes as $ b $ varies (infinitesimally). This requires comparing the fibres of $ p: E \rightarrow B $ at neighbouring points, but there is nothing in the concept of a fibre bundle as it stands that allows one to do this. For this some extra structure is needed, and that is provided by the idea of a connection.

It would be simplest if for every two points $ b, b ^ \prime \in B $ one could prescribe an isomorphism $ \phi _ {b, b ^ \prime } : E _ {b} \rightarrow E _ {b ^ \prime } $ in a consistent way, i.e. such that $ \phi _ {b ^ \prime , b ^ {\prime\prime} } \phi _ {b, b ^ \prime } = \phi _ {b, b ^ {\prime\prime} } $ for all triples $ b, b ^ \prime , b ^ {\prime\prime} $. Here $ E _ {b} $, the fibre of $ E $ over $ b $, is of course $ p ^ {-} 1 ( b) $. This, however, would make the bundle trivial, and this is in general not possible. The next best thing would be to have for every smooth path $ L $ from $ x _ {0} $ to $ x _ {1} $ an isomorphism $ \phi _ {L} : E _ {x _ {0} } \rightarrow E _ {x _ {1} } $( which may depend on the path $ L $) from the fibre at the initial point of the path to the fibre at the final point, subject to certain natural restrictions. This is precisely what a connection is.

There are — at least — three intuitively natural ways of describing a connection.

i) Provide for every smooth path $ L $ from $ x _ {0} $ to $ x _ {1} $ an isomorphism $ E _ {x _ {1} } \rightarrow E _ {x _ {0} } $ subject to the three conditions 1), 2), 3).

ii) For each $ e \in E $ let $ VT _ {e} E = \mathop{\rm Ker} (( T _ {p} ) _ {e} : T _ {e} E \rightarrow T _ {p ( e) } B) $ be the kernel of the tangent mapping at $ e $. The subspace $ VT _ {e} E $ of the tangent space $ T _ {e} E $ to $ E $ at $ e $ is called the vertical tangent subspace to $ E $ at $ e $. Now for each $ e \in E $ define a complementary subspace $ HT _ {e} E $ at $ e $, called the horizontal tangent subspace at $ e \in E $. Thus, $ T _ {e} E = HT _ {e} E \oplus VT _ {e} E $ and $ ( Tp) _ {e} $ induces an isomorphism $ HT _ {e} E \rightarrow T _ {p ( e) } B $. The $ VT _ {e} E $ are required to vary smoothly with $ e $. In the case of linear connections, cf. above, this is the infinitesimal version of i).

iii) Let $ E $ be a vector bundle. Then a linear connection can also be specified by giving so to speak the partial derivatives of a section directly (covariant differentiation). This leads to the specification of a bilinear mapping $ \nabla : V ( B) \times \Gamma ( E) \rightarrow \Gamma ( E) $, where $ V ( B) $ is the space of vector fields on $ B $ and $ \Gamma ( E) $ is the space of sections of $ p: E \rightarrow B $, with certain properties; cf. Linear connection for these properties in the case $ E = TB $. One consequence of these properties is that $ ( \nabla _ {X} s) ( b) $, $ X \in V( B) $, $ s \in \Gamma ( E) $, depends only on $ X ( b) $ at $ b $. If $ L : [ 0 , t ] \rightarrow B $ is a smooth path starting in $ b $ with tangent vector $ X ( b) $ at $ b $, then

$$ ( \nabla _ {X ( b) } s) ( b) = \ \lim\limits _ {h \rightarrow 0 } h ^ {-} 1 ( \Gamma _ {h} s ( b ( h)) - s ( b) ) $$

where $ \Gamma _ {h} : E _ {L ( h) } \rightarrow E _ {L ( 0) } = E _ {b} $ is parallel displacement defined by $ [ 0, h] \rightarrow B $.

An elegant and convenient way to describe a linear connection in the case that $ E $ is a vector bundle is as follows. Let

$$ \begin{array}{ccc} \pi ^ {-} 1 ( U) & \mathop \rightarrow \limits ^ { {\widetilde \phi }} &\phi ( U) \times \mathbf R ^ {m} \\ \downarrow &{} &\downarrow \\ U & \mathop \rightarrow \limits _ \phi &\phi ( U) \subset \mathbf R ^ {n} \\ \end{array} $$

be a local chart of $ B $ and a trivialization of $ E $. Then above $ \pi ^ {-} 1 ( U) $ one has the following local trivialization of $ TE $:

$$ \begin{array}{ccc} T \pi ^ {-} 1 ( U) & \mathop \rightarrow \limits ^ { {T \widetilde \phi }} &\phi ( U) \times \mathbf R ^ {m} \times \mathbf R ^ {n} \times \mathbf R ^ {m} \\ \downarrow &{} &\downarrow \\ \pi ^ {-} 1 ( U) & \mathop \rightarrow \limits _ { {\widetilde \phi }} &\phi ( U) \times \mathbf R ^ {m} \\ \end{array} $$

where the right-hand arrow is projection in the first two factors. A linear connection on $ E $ is now given by a bundle mapping $ K: TE \rightarrow E $( i.e. the diagram

$$ \begin{array}{ccc} TE & \rightarrow ^ { K } & E \\ \downarrow &{} &\downarrow P \\ E & \rightarrow _ { P } & B \\ \end{array} $$

is commutative, and $ K $ is linear in the fibres), such that locally the mapping looks like

$$ K _ \phi = \ \widetilde \phi \circ K \circ ( T \widetilde \phi ) ^ {-} 1 : \ \phi ( U) \times \mathbf R ^ {m} \times \mathbf R ^ {n} \times \mathbf R ^ {m} \rightarrow \ \phi ( U) \times \mathbf R ^ {m} , $$

$$ ( b, \xi , \nu , \eta ) \mapsto ( b, \eta + \Gamma _ \phi ( b) ( \nu , \xi )) . $$

The $ \Gamma _ \phi ( b) $ are the Christoffel symbols (relative to the trivialization $ ( \phi , \widetilde \phi ) $; in case $ E = TB $, $ \widetilde \phi $ can be taken equal to $ T \phi $ so that the Christoffel symbols depend only on the chart $ \phi $).

Given the connection $ K $, the horizontal subspace $ HT _ {e} E $ is defined by

$$ HT _ {e} E = \ \mathop{\rm Ker} ( K _ {e} : T _ {e} E \rightarrow E _ {p ( e) } ) $$

and the covariant derivative of a section $ s: B \rightarrow E $ along a vector field $ X: B \rightarrow TB $ is the section $ K \circ Ts \circ X: B \rightarrow TB \rightarrow TE \rightarrow E $.

In the case of infinite-dimensional manifolds and bundles this last notion of a linear connection appears to be the appropriate replacement of the more traditional covariant derivative $ \nabla : V ( B) \times \Gamma ( E) \rightarrow \Gamma ( E) $, cf. [a2], Sect. 1.1.

References

[a1] S. Kobayashi, K. Nomizu, "Foundations of differential geometry" , 1 , Interscience (1963) pp. Chapt. 4
[a2] W. Klingenberg, "Lectures on closed geodesics" , Springer (1979)
How to Cite This Entry:
Connection. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Connection&oldid=46475
This article was adapted from an original article by Ü. Lumiste (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article