View source for Riemannian connection on a surface

{{short description|Intrinsic geometric structures discovered by Tullio Levi-Civita, Élie Cartan and Hermann Weyl}}
In [[mathematics]], the '''Riemannian connection on a [[Surface (topology)|surface]]''' or [[Riemannian manifold|Riemannian 2-manifold]] refers to several intrinsic geometric structures discovered by [[Tullio Levi-Civita]], [[Élie Cartan]] and [[Hermann Weyl]] in the early part of the twentieth century: [[parallel transport]], [[covariant derivative]] and [[connection form]]. These concepts were put in their current form with [[principal bundle]]s only in the 1950s. The classical nineteenth century approach to the [[differential geometry of surfaces]], due in large part to [[Carl Friedrich Gauss]], has been reworked in this modern framework, which provides the natural setting for the classical theory of the [[moving frame]] as well as the [[Riemannian geometry]] of higher-dimensional [[Riemannian manifold]]s. This account is intended as an introduction to the theory of [[connection (mathematics)|connections]].

==Historical overview==
[[Image:Levi-Civita 1930.jpeg|thumb|right|130px|[[Tullio Levi-Civita]] (1873&ndash;1941)]]
[[File:Elie-Cartan-1904.png|thumb|right|130px|[[Élie Cartan]] (1869&ndash;1951)]]
[[Image:Weyl.jpeg|thumb|right|130px|[[Hermann Weyl]] (1885&ndash;1955)]]
After the classical work of Gauss on the [[differential geometry of surfaces]]<ref>{{harvnb|Eisenhart|2004}}</ref><ref>{{harvnb|Kreyszig|1991}}</ref><ref>{{harvnb|Berger|2004}}</ref><ref>{{harvnb|Wilson|2008}}</ref> and the subsequent emergence of the concept of [[Riemannian manifold]] initiated by [[Bernhard Riemann]] in the mid-nineteenth century, the geometric notion of [[connection (mathematics)|connection]] developed by [[Tullio Levi-Civita]], [[Élie Cartan]] and [[Hermann Weyl]] in the early twentieth century represented a major advance in [[differential geometry]]. The introduction of [[parallel transport]], [[covariant derivative]]s and [[connection form]]s gave a more conceptual and uniform way of understanding curvature, allowing generalisations to higher-dimensional manifolds; this is now the standard approach in graduate-level textbooks.<ref>{{harvnb|do Carmo|1976}}</ref><ref>{{harvnb|O'Neill|1997}}</ref><ref name="Singer">{{harvnb|Singer|Thorpe|1967}}</ref> It also provided an important tool for defining new topological invariants called [[characteristic classes]] via the [[Chern–Weil homomorphism]].<ref>{{harvnb|Kobayashi|Nomizu|1969}}, Chapter XII.</ref>

Although Gauss was the first to study the differential geometry of surfaces in Euclidean space '''E'''<sup>3</sup>, it was not until Riemann's Habilitationsschrift of 1854 that the notion of a Riemannian space was introduced. Christoffel introduced his eponymous symbols in 1869. Tensor calculus was developed by [[Ricci]], who published a systematic treatment with [[Levi-Civita]] in 1901. Covariant differentiation of tensors was given a geometric interpretation by {{harvtxt|Levi-Civita|1917}} who introduced the notion of parallel transport on surfaces. His discovery prompted [[Weyl]] and [[Élie Cartan|Cartan]] to introduce various notions of connection, including in particular that of affine connection. Cartan's approach was rephrased in the modern language of principal bundles by [[Charles Ehresmann|Ehresmann]], after which the subject rapidly took its current form following contributions by [[S. S. Chern|Chern]], Ambrose and [[Isadore M. Singer|Singer]], [[Shoshichi Kobayashi|Kobayashi]], [[Katsumi Nomizu|Nomizu]], Lichnerowicz and others.{{CN|date=December 2023}}

Connections on a surface can be defined in a variety of ways. The '''Riemannian connection''' or '''[[Levi-Civita connection]]'''<ref name="LeviCivita">{{harvnb|Levi-Civita|1917}}</ref> is perhaps most easily understood in terms of lifting [[vector field]]s, considered as first order [[differential operator]]s acting on functions on the manifold, to differential operators on sections of the [[frame bundle]]. In the case of an embedded surface, this lift is very simply described in terms of orthogonal projection. Indeed, the vector bundles associated with the frame bundle are all sub-bundles of trivial bundles that extend to the ambient Euclidean space; a first order differential operator can always be applied to a section of a trivial bundle, in particular to a section of the original sub-bundle, although the resulting section might no longer be a section of the sub-bundle. This can be corrected by projecting orthogonally.

The Riemannian connection can also be characterized abstractly, independently of an embedding. The equations of geodesics are easy to write in terms of the Riemannian connection, which can be locally expressed in terms of the Christoffel symbols. Along a curve in the surface, the connection defines a [[first order differential equation]] in the frame bundle. The [[monodromy]] of this equation defines [[parallel transport]] for the connection, a notion introduced in this context by [[Levi-Civita]].<ref name="LeviCivita" /> This gives an equivalent, more geometric way of describing the connection as lifting paths in the manifold to paths in the frame bundle. This formalises the classical theory of the "moving frame", favoured by French authors.<ref>{{harvnb|Darboux|1890}}</ref> Lifts of loops about a point give rise to the [[holonomy group]] at that point. The [[Gaussian curvature]] at a point can be recovered from parallel transport around increasingly small loops at the point. Equivalently curvature can be calculated directly infinitesimally in terms of [[Lie bracket of vector fields|Lie brackets]] of lifted vector fields.

The approach of Cartan, using connection 1-forms on the [[frame bundle]] of ''M'', gives a third way to understand the Riemannian connection, which is particularly easy to describe for an embedded surface.  Thanks to a result of {{harvtxt|Kobayashi|1956}}, later generalized by {{harvtxt|Narasimhan|Ramanan|1961}}, the Riemannian connection on a surface embedded in Euclidean space ''E''<sup>3</sup> is just the pullback under the Gauss map of the Riemannian connection on ''S''<sup>2</sup>.<ref>{{harvnb|Kobayashi|Nomizu|1969}}</ref>  
Using the identification of ''S''<sup>2</sup> with the [[homogeneous space]] SO(3)/SO(2), the connection 1-form is just a component of the [[Maurer–Cartan form|Maurer–Cartan 1-form]] on SO(3). In other words, everything reduces to understanding the 2-sphere properly.<ref>{{harvnb|Ivey|Landsberg|2003}} This approach, together with its higher-dimensional generalisations, is discussed in great detail in Chapters 1 and 2.</ref>

==Covariant derivative==
{{main|Covariant derivative}}
[[Image:Hairy doughnut.png|thumb|right|A vector field on the torus]]
For a surface ''M'' embedded in '''E'''<sup>3</sup> (or more generally a higher-dimensional Euclidean space), there are several equivalent definitions of a [[vector field]] ''X'' on ''M'':

* a smooth map of ''M'' into '''E'''<sup>3</sup> taking values in the tangent space at each point;
* the [[velocity|velocity vector]] of a [[flow (mathematics)|local flow]] on ''M'';
* a first order [[differential operator]] without constant term in any local chart on ''M'';
* a [[Differential algebra|derivation]] of ''C''<sup>∞</sup>(''M'').

The last condition means that the assignment ''f'' {{mapsto}} ''Xf'' on ''C''<sup>∞</sup>(''M'') satisfies the [[General Leibniz rule|Leibniz rule]]

:<math>X(fg)= (Xf)g + f(Xg).</math>

The space of all [[vector field]]s <math>\mathcal{X}</math>(''M'') forms a [[Module (mathematics)|module]] over ''C''<sup>∞</sup>(''M''), closed under the [[Lie bracket of vector fields|Lie bracket]]

:<math>[X,Y]f= X(Yf) - Y(Xf)</math>

with a ''C''<sup>∞</sup>(''M'')-valued inner product (''X'',''Y''), which encodes the [[Riemannian metric]] on ''M''.

Since <math>\mathcal{X}</math>(''M'') is a submodule of ''C''<sup>∞</sup>(''M'', '''E'''<sup>3</sup>)=''C''<sup>∞</sup>(''M'')<math>\otimes </math> '''E'''<sup>3</sup>, the operator ''X''<math>\otimes </math> ''I'' is defined on <math>\mathcal{X}</math>(''M''), taking values in ''C''<sup>∞</sup>(''M'', '''E'''<sup>3</sup>).

Let ''P'' be the smooth map from ''M'' into ''M''<sub>3</sub>('''R''') such that ''P''(''p'') is the [[orthogonal projection]] of '''E'''<sup>3</sup> onto the tangent space at ''p''. Thus for the unit normal vector '''n'''<sub>''p''</sub> at ''p'', uniquely defined up to a sign, and '''v''' in '''E'''<sup>3</sup>, the projection is given by {{math|''P''}}(''p'')('''v''') = '''v''' - ('''v''' · '''n'''<sub>''p''</sub>) '''n'''<sub>''p''</sub>.

Pointwise multiplication by ''P'' gives a ''C''<sup>∞</sup>(''M'')-module map of   ''C''<sup>∞</sup>(''M'', '''E'''<sup>3</sup>) onto <math>\mathcal{X}</math>(''M'') . The assignment

:{| border="1" cellspacing="0" cellpadding="5"
|<math>\nabla_X Y = P((X\otimes I)Y)</math>
|}

defines an operator <math>\nabla_X</math> on <math>\mathcal{X}</math>(''M'')  called the '''covariant derivative''', satisfying the following properties

# <math>\nabla_X</math> is ''C''<sup>∞</sup>(''M'')-linear in ''X''
# <math> \nabla_X(fY) = (Xf) Y + f \nabla_X Y</math> (Leibniz rule for derivation of a module) 
# <math> X(Y,Z)=(\nabla_X Y,Z) + (Y,\nabla_X Z) </math> ([[compatibility with the metric]])
# <math> \nabla_X Y - \nabla_Y X = [X,Y] </math> (symmetry property).

The first three properties state that <math>\nabla</math> is an [[affine connection]] compatible with the metric, sometimes also called a ''hermitian'' or [[metric connection]]. The last symmetry property says that the [[torsion tensor]]

:<math> T(X,Y)=  \nabla_X Y - \nabla_Y X - [X,Y]</math>

vanishes identically, so that the affine connection is '''torsion-free'''.

{{quotation|The assignment <math>\nabla</math> is uniquely determined by these four conditions and is called the 
'''Riemannian connection''' or '''[[Levi-Civita connection]]'''.}}

Although the Riemannian connection was defined using an embedding in Euclidean space, this uniqueness property means that it is in fact an ''intrinsic invariant'' of the surface.

Its existence can be proved directly for a general surface by noting that the four properties imply the '''Koszul formula'''

:<math>2(\nabla_X Y,Z)= X\cdot(Y,Z)+Y\cdot(X,Z) - Z\cdot(X,Y) +([X,Y],Z) +([Z,X],Y) + (X,[Z,Y]),</math>

so that <math>\nabla_X Y</math> depends only on the metric and is unique. On the other hand, if this is used as a definition of <math>\nabla_X Y</math>, it is readily checked that the four properties above are satisfied.<ref>{{harvnb|Kobayashi|Nomizu|1963|p=160}}</ref>

For {{math|''u''}} an isometric embedding of {{math|''M''}} in '''E'''<sup>3</sup>, the tangent vectors <math>u_1=\partial_x</math> and <math>u_2=\partial_y u</math> yield a <math> 2 \times 2</math> matrix <math>g_{ij} = u_i\cdot u_j</math> It is a positive-definite matrix. Its inverse is also positive-definite symmetric, with matrix <math>g^{ij}</math>. The inverse also has a unique positive-definite square root, with matrix <math>h_{ij}</math>. It is routine to check that <math> e_i = \sum_{j} h_{ij} u_j</math> form an orthonormal basis of the tangent space. In this case, the projection onto the tangent space is given by <math>P(p)(v) =\sum (v,e_i)e_i</math> so that

:<math>\nabla_{\partial_i}\partial_j u = P(p)(\partial_i\partial_i u) = \sum_k (\partial_i\partial_j u,e_k) e_k = 
\sum_{k,\ell,m} (\partial_i\partial_j u)\cdot  (\partial_\ell u) h_{k\ell}h_{km} \partial_m u= \sum_{\ell,m} (\partial_i\partial_j u)\cdot  (\partial_\ell u) g^{\ell m} \partial_m u.</math>

Thus <math>\nabla_{\partial_i}\partial_j =\sum_k \Gamma_{ij}^k \partial_k</math>, where

:<math> \Gamma_{ij}^k = {1\over 2} \sum_\ell g^{k\ell} \left(\partial_i(\partial_j u \cdot \partial_\ell u) + \partial_j(\partial_i u\cdot \partial_\ell u) - \partial_\ell(\partial_i u \cdot \partial_j u)\right.</math>

Since <math>g_{ij} =u_i \cdot u_j</math>, this gives another way to derive the [[Christoffel symbol]]s:

:<math>\Gamma_{ij}^k = {1\over 2} \sum_\ell g^{k\ell} (\partial_i g_{j\ell} +\partial_j g_{i\ell} -\partial_\ell g_{ij}).</math>
 
Formulas for covariant derivative can be also be derived from local coordinates (''x'',''y'') without the use of isometric embeddings. Taking <math>\partial_x</math> and '<math>\partial_y</math> as vector fields, the connection <math>\nabla</math> can be expressed purely in terms of the metric using the Christoffel symbols:<ref>{{harvnb|do Carmo|1976|page=55}}</ref>

:<math> \nabla_{\partial_i} \partial_j =  \sum_k \Gamma^k_{ij} \partial_k.</math>

To derive the formula, the Koszul formula can be applied with {{math|''X''}}, {{math|''Y''}} and {{math|''Z''}} set to <math>\partial_i</math>'s; in that case all the Lie brackets commute.

== Curvature operator ==
{{See also|Riemannian curvature tensor}}
The [[Riemann curvature tensor]] can be defined by covariant derivatives using the '''curvature operator''':

:<math>R(X,Y)=\nabla_X \nabla_Y - \nabla_Y\nabla_X - \nabla_{[X,Y]}.</math>

Since the assignment <math>(X,Y,Z) \mapsto R(X,Y)Z</math> is C<sup>∞</sup>(''M'')-linear in each variable, it follows that ''R''(''x'',''Y'')<sub>''p''</sub> is an endomorphism at ''p''. For ''X'' and ''Y'' linearly independent tangent vectors at {{math|''p''}},

:<math>K={(R(X,Y)Y,X)\over (X,X)(Y,Y)-(X,Y)^2}</math>

is independent of the choice of basis and is called the '''Gaussian curvature''' at {{math|''p''}}. The '''Riemann curvature tensor''' is given by<ref name="Kobayashi" /><ref>{{harvnb|do Carmo|1992|page=89}}</ref>

:<math>R(X,Y,Z,W)=(R(X,Y)Z,W).</math>

To check independence of {{math|''K''}} it suffices to note that it does not change under elementary transformations sending ({{math|''X''}},{{math|''Y''}}) to ({{math|''Y''}},{{math|''X''}}), ({{math|λ''X''}},{{math|''Y''}}) and ({{math|''X''}} + {{math|''Y''}},{{math|''Y''}}). That in turn relies on the fact that the operator {{math|''R''(''X'',''Y'')}} is ''skew-adjoint''.<ref>{{harvnb|do Carmo|1992|page=91}}</ref> Skew-adjointness entails that {{math|(''R''(''X'',''Y'')''Z'',''Z'')}} = 0 for all {{math|''Z''}}, which follows because
 
:<math>(R(X,Y)Z,Z) = X(\nabla_Y Z, Z) -Y(\nabla_X Z,Z) - (\nabla_{[X,Y]}Z,Z) ={1\over 2}(XY(Z,Z) -YX(Z,Z) -[X,Y](Z,Z))=0.</math>

==Parallel transport==
{{See also|Parallel transport|Geodesic}}
[[File:Parallel Transport.svg|300px|thumb|right|Parallel transport of a vector around a geodesic triangle on the sphere. The length of the transported vector and the angle it makes with each side remain constant.]]
Given a curve in the Euclidean plane and a vector at the starting point, the vector can be transported along the curve by requiring the moving vector to remain parallel to the original one and of the same length, i.e. it should remain constant along the curve. If the curve is closed, the vector will be unchanged when the starting point is reached again. This is well known not to be possible on a general surface, the sphere being the most familiar case. In fact it is not usually possible to identify simultaneously or "parallelize" all the tangent planes of such a surface: the only [[parallelizable]] closed surfaces are those [[homeomorphic]] to a torus.<ref>
{{harvnb|Berger|2004|p=127}}</ref>

Parallel transport can always be defined along curves on a surface using only the metric on the surface. Thus tangent planes along a curve can be identified using the intrinsic geometry, even when the surface itself is not parallelizable.

The [[Euler-Lagrange equations|Euler equations]] for a [[geodesic]] ''c''(''f'') can be written more compactly as<ref>{{harvnb|do Carmo|1992|page=61–62}}</ref>

:<math>\nabla_{\dot{c}} \dot{c} = 0.</math>

Parallel transport along geodesics, the "straight lines" of the surface, is easy to define. A vector in the tangent plane is transported along a geodesic as the unique vector field with constant length and making a 
constant angle with the velocity vector of the geodesic.

For a general curve, its [[Differential geometry of surfaces#Geodesic curvature|geodesic curvature]] measures how far the curve departs from being a geodesics; it is defined as the rate at which the curve's velocity vector rotates in the surface. In turn the geodesic curvature determines how vectors in the tangent planes along the curve should rotate during parallel transport.

A vector field ''v''(''t'') along a unit speed curve ''c''(''t''), with geodesic curvature ''k''<sub>''g''</sub>(''t''), is said to be '''parallel''' along the curve if

* it has constant length
* the angle θ(''t'') that it makes with the velocity vector <math>\dot{c}(t)</math> satisfies

::{| border="1" cellspacing="0" cellpadding="5"
|<math> \dot{\theta}(t) = - k_g(t) </math>
|}

This yields the previous rule for parallel transport along a geodesic, because in that case ''k''<sub>''g''</sub> = 0, so the angle θ(''t'') should remain constant.<ref>{{harvnb|Berger|2004|p=129}}</ref> The existence of parallel transport follows from standard existence theorems for [[ordinary differential equation]]s. The above differential equation can be rewritten in terms of the covariant derivative as

::{| border="1" cellspacing="0" cellpadding="5"
|<math> \nabla_{\dot{c}} v = 0 </math>
|}

This equation shows once more that parallel transport depends only on the metric structure so is an intrinsic invariant of the surface. Parallel transport can be extended immediately to piecewise C<sup>1</sup> curves.

When ''M'' is a surface embedded in '''E'''<sup>3</sup>, this last condition can be written in terms of the projection-valued function ''P'' as

::{| border="1" cellspacing="0" cellpadding="5"
|<math> P(c(t)) \dot{v}(t)=0 </math>
|}

or in other words:<ref>A fuller discussion is given in the section on embedded surfaces.</ref>

{{quotation|The velocity vector of ''v'' must be normal to the surface.}}

[[Vladimir Arnold|Arnold]] has suggested<ref>{{harvnb|Arnold|1989|pp=301&ndash;306}}, Appendix I.</ref><ref>{{harvnb|Berger|2004|pp=263&ndash;264}}</ref> that since parallel transport on a geodesic segment is easy to describe, parallel transport on an arbitrary C<sup>1</sup> curve could be constructed as a limit of parallel transport on an approximating family of piecewise geodesic curves.<ref>Arnold's method of approximation also applies to higher-dimensional Riemannian manifolds, after having given an appropriate geometric description of parallel transport along a geodesic. Parallel transport can be shown to be a continuous function on the Sobolev space of paths of finite energy, introduced in {{harvtxt|Klingenberg|1982}}. In this case the ordinary differential equation <math> \theta_t= a(t)</math> is solved by an integral which depends continuously on ''a'' as ''a'' varies through piecewise continuous or even just square integrable functions. The higher-dimensional case requires the transport equation ''g''<sub>''t''</sub> = ''A'' ''g'' and an extension of the analysis in {{harvtxt|Nelson|1969}}.</ref>

This equation shows once more that parallel transport depends only on the metric structure so is an intrinsic invariant of the surface; it is another way of writing the ordinary differential equation involving the geodesic curvature of ''c''. Parallel transport can be extended immediately to piecewise C<sup>1</sup> curves.

The covariant derivative can in turn be recovered from parallel transport.<ref>{{harvnb|do Carmo|1992|pp=56&ndash;57}}</ref> In fact <math>\nabla_X Y</math> can be calculated at a point ''p'', by taking a curve ''c'' through ''p'' with tangent ''X'', using parallel transport to view the restriction of ''Y'' to ''c'' as a function in the tangent space at ''p'' and then taking the derivative.

==Orthonormal frame bundle==
{{See also|Connection (principal bundle)}}
Let ''M'' be a surface embedded in '''E'''<sup>3</sup>. The [[orientation (mathematics)|orientation]] on the surface means that an "outward pointing" normal unit vector '''n''' is defined at each point of the surface and hence a determinant can be defined on tangent vectors '''v''' and '''w''' at that point:

:<math>\mathrm{det}({\mathbf v}, {\mathbf w}) = ({\mathbf v} \times {\mathbf w})\cdot {\mathbf n},</math>

using the usual [[scalar triple product]] on '''E'''<sup>3</sup> (itself a determinant).

An ordered basis or frame '''v''', '''w''' in the tangent space is said to be ''oriented'' if  det('''v''', '''w''') is positive.

*The [[tangent bundle]] of ''M'' consists of pairs (''p'', '''v''') in ''M'' x '''E'''<sup>3</sup> such that '''v''' lies in the tangent plane to ''M'' at ''p''.
*The [[frame bundle]] ''F'' of ''M'' consists of triples (''p'', '''e'''<sub>1</sub>, '''e'''<sub>2</sub>) with an '''e'''<sub>1</sub>, '''e'''<sub>2</sub> an oriented [[orthonormal basis]] of the tangent plane at ''p''.
*The [[circle bundle]] of ''M''  consists of pairs (''p'', '''v''') with ||'''v'''|| = 1. It is identical to the frame bundle because, for each unit tangent vector '''v''', there is a unique tangent vector '''w''' with det('''v''', '''w''') = 1.

Since the group of rotations in the plane [[SO(2)]] acts [[simply transitive]]ly on oriented orthonormal frames in the plane, it follows that it also acts on the frame or circle bundles of ''M''.<ref name="Singer" />  The definitions of the [[tangent bundle]], the unit tangent bundle and the (oriented orthonormal) [[frame bundle]] ''F'' can be extended to arbitrary surfaces in the usual way.<ref name="Singer" /><ref name="Kobayashi">{{harvnb|Kobayashi|Nomizu|1963}}</ref> There is a similar identification between the latter two which again become principal SO(2)-bundles. In other words:

{{quotation|The frame bundle is a [[principal bundle]] with [[structure group]] SO(2).}}

There is also a corresponding notion of '''parallel transport''' in the setting of frame bundles:<ref>{{harvnb|Kobayashi|Nomizu|1963|pp=68&ndash;71}}</ref><ref>{{harvnb|Singer|Thorpe|1967|pp=181&ndash;184}}</ref>

{{quotation|Every continuously differentiable curve in ''M'' can be lifted to a curve in ''F'' in such a way that the tangent vector field of the lifted curve is the lift of the tangent vector field of the original curve.}}

This statement means that any frame on a curve can be parallelly transported along the curve. This is precisely the idea of "moving frames". 
Since any unit tangent vector can be completed uniquely to an oriented frame,  parallel transport of tangent vectors implies (and is equivalent to) parallel transport of frames. The lift of a geodesic in ''M'' turns out to be a geodesic in ''F'' for the Sasaki metric (see below).<ref name="Sasaki">{{harvnb|Sasaki|1958}}</ref> Moreover, the Gauss map of ''M'' into ''S''<sup>2</sup> induces a natural map between the associated frame bundles which is [[equivariant]] for the actions of SO(2).<ref>{{harvnb|Kobayashi|1956}}</ref>

Cartan's idea of introducing the frame bundle as a central object was the natural culmination of the theory of [[moving frame]]s, developed in France by [[Jean-Gaston Darboux|Darboux]] and [[Édouard Goursat|Goursat]]. It also echoed parallel developments in [[Albert Einstein]]'s [[theory of relativity]].<ref>{{harvnb|Ivey|Landsberg|2003}}</ref> Objects appearing in the formulas of Gauss, such as the Christoffel symbols, can be given a natural geometric interpretation in this framework. Unlike  the more intuitive [[normal bundle]], easily visualised as a [[tubular neighbourhood]] of an embedded surface in '''E'''<sup>3</sup>, the frame bundle is an intrinsic invariant that can be defined independently of an embedding. When there is an embedding, it can also be visualised as a subbundle of the Euclidean frame bundle '''E'''<sup>3</sup> x SO(3), itself a [[submanifold]] of '''E'''<sup>3</sup> x M<sub>3</sub>('''R''').

==Principal connection==
{{See also|Connection form|Connection (principal bundle)}}
The theory of connections according to [[Élie Cartan]], and later [[Charles Ehresmann]], revolves around:<ref>The definition presented here is due essentially to Charles Ehresmann.  However, it is different from, though related to, what is commonly called an [[Ehresmann connection]].  It is also different from, though related to, what is commonly called a [[Cartan connection]].  See {{harvtxt|Kobayashi|1957}} and {{harvtxt|Sharpe|1997}} for a survey of some of the various types of connections and the relations between them.</ref>

* a principal bundle ''F'' (in this case the orthonormal frame bundle);
* the [[exterior derivative|exterior differential calculus]] of [[differential form]]s on ''F''.

All "natural" [[vector bundle]]s associated with the manifold ''M'', such as the [[tangent bundle]], the [[cotangent bundle]] or the [[exterior bundle]]s, can be constructed from the frame bundle using the [[group representation theory|representation theory]] of the structure group ''K'' = SO(2), a [[compact Lie group|compact matrix group]]. 
 
Cartan's definition of a connection can be understood as a way of lifting vector fields on ''M'' to vector fields on the frame bundle ''F'' invariant under the action of the structure group ''K''. Since parallel transport has been defined as a way of lifting piecewise C<sup>1</sup> paths from
''M'' to ''F'', this automatically induces infinitesimally a way to lift vector fields or tangent vectors from ''M'' to ''F''. At a point take a path with given tangent vector and then map it to the tangent vector of the lifted path. (For vector fields the curves can be taken to be the integral curves of a local flow.) In this way any vector field ''X'' on ''M'' can be lifted to a vector field ''X''* on ''F'' satisfying<ref>{{harvnb|Kobayashi|Nomizu|1963|pp=63&ndash;64}}</ref>

* ''X''* is a vector field on ''F'';
* the map ''X'' {{mapsto}} ''X''* is C<sup>∞</sup>(''M'')-linear;
* ''X''* is ''K''-invariant and induces the vector field ''X'' on C<sup>∞</sup>(''M'') <math> \subset</math> C<sup>∞</sup>(''F'').

Here ''K'' acts as a periodic flow on ''F'', so the canonical generator ''A'' of its Lie algebra acts as the corresponding vector field, called the '''vertical''' vector field ''A''*. It follows from the above conditions that, in the tangent space of an arbitrary point in ''F'', the lifts ''X''*   span a two-dimensional subspace of '''horizontal''' vectors, forming a complementary subspace to the vertical vectors. The canonical Riemannian metric on ''F'' of Shigeo Sasaki is defined by making the horizontal and vertical subspaces orthogonal, giving each subspace its natural inner product.<ref name="Sasaki" /><ref>{{harvnb|Berger|2004|pp=727&ndash;728}}</ref>

Horizontal vector fields admit the following characterisation:

* Every ''K''-invariant horizontal vector field on ''F'' has the form ''X''* for a unique vector field ''X'' on ''M''.

This "universal lift" then immediately induces lifts to vector bundles associated with ''F'' and hence allows the covariant derivative, and its generalisation to forms, to be recovered.

If σ is a representation of ''K'' on a finite-dimensional vector space ''V'', then the associated vector bundle ''F'' x<sub>''K''</sub> ''V'' over ''M'' has a C<sup>∞</sup>(''M'')-module of sections that can be identified with

:<math> C^\infty(E,V)^K,</math>

the space of all smooth functions ξ&nbsp;:&nbsp;''F''&nbsp;→&nbsp;''V'' which are ''K''-equivariant in the sense that

:<math> \xi(x\cdot g) = \sigma(g^{-1})\xi(x)</math>

for all ''x''&nbsp;∈&nbsp;''F'' and ''g''&nbsp;∈&nbsp;''K''.

The identity representation of SO(2) on '''R'''<sup>2</sup> corresponds to the tangent bundle of ''M''.

The covariant derivative <math>\nabla_X</math> is defined on an invariant section ξ by the formula

:{| border="1" cellspacing="0" cellpadding="5"
|<math>\nabla_X \xi= (X^*\otimes I)\xi.</math> 
|}

The connection on the frame bundle can also be described using ''K''-invariant differential 1-forms on ''F''.<ref name="Singer" />
<ref>A general connection on a principal bundle ''P'' with structure group ''H'' is described by a 1-form on ''P'' with values in <math>\mathfrak h</math> invariant under the tensor product of the action of ''H'' on 1-forms and the adjoint action. For surfaces, ''H'' is Abelian and 1-dimensional, so the connection 1-form is essentially given by an invariant 1-form on ''P''.</ref>

The orthonormal frame bundle ''F'' is a [[3-manifold]]. One of the key facts about ''F'' is that it is (absolutely or completely) [[parallelizable manifold|parallelizable]], i.e. for<br /> ''n'' = dim ''F'', there are ''n'' vector fields on ''F'' which form a basis at each point. As a result its Lie algebra is easy to understand; and the dual 1-forms on ''F'' have a particularly simple structure described by the Cartan structural equations discussed below.{{sfn|Nomizu|1956}}{{sfn|Singer|Thorpe|1967}} In general it is known from {{harvtxt|Milnor|Stasheff|1974}} that any orientable compact 3-manifold is parallelizable, although the proof is not elementary. For frame bundles, however, it is a straightforward consequence of the formalism of transition matrices between local trivializing charts.{{sfn|Nomizu|1956|p=49–50}}{{sfn|Kobayashi|Nomizu|1963|p=50–53}}{{sfn|Sternberg|1964}}

The space of [[differential form|''p''-forms]] on ''F'' is denoted Λ<sup>''p''</sup>(''F'').<ref>The space of ''p''-forms can be identified with the space of alternating ''p''-fold C<sup>∞</sup>(''F'')-multilinear maps on the module of vector fields. For further details see {{harvtxt|Helgason|1978}}, pages 19&ndash;21.</ref> It admits a natural action of the structure group ''K''.

Given a connection on the principal bundle ''F'' corresponding to a lift ''X'' {{mapsto}} ''X''* of vector fields on ''M'',  there is a unique '''[[connection form]]''' ω in

:<math>\Lambda^1(F)^K</math>,

the space of ''K''-invariant 1-forms on ''F'', such that<ref name="Kobayashi" />

:<math> \omega(X^*)= 0 </math>

for all vector fields ''X'' on ''M'' and

:<math> \omega(A^*)= 1,</math>

for the vector field ''A''* on ''F'' corresponding to the canonical generator ''A'' of <math>\mathfrak k</math>.

Conversely the lift ''X''* is uniquely characterised by the following properties:

* ''X''* is ''K''-invariant and induces ''X'' on ''M'';
* ω(''X''*)=0.

==Cartan structural equations==
{{See also|Curvature form}}
On the orthonormal frame bundle ''F'' of a surface ''M'' there are three canonical 1-forms:
* The connection form ω, invariant under the structure group ''K'' = SO(2)
* Two tautologous 1-forms θ<sub>1</sub> and θ<sub>2</sub>, transforming according to the basis vectors of the identity representation of ''K''

If π: ''F'' <math>\rightarrow </math> ''M'' is the natural projection, the 1-forms θ<sub>1</sub> and θ<sub>2</sub> are defined by

:<math>\theta_i(Y) = (d\pi(Y), e_i)</math>

where ''Y'' is a vector field on ''F'' and ''e''<sub>''1''</sub>, ''e''<sub>2</sub> are the tangent vectors to ''M'' of the orthonormal frame.

These 1-forms satisfy the following '''structural equations''', due in this formulation to Cartan:<ref>{{harvnb|Singer|Thorpe|1967|pp=185&ndash;189}}</ref>

:{| border="1" cellspacing="0" cellpadding="5"
|<math>d\theta_1 = \omega\wedge\theta_2 + h_1 \,\theta_1\wedge \theta_2, \,\, d\theta_2= - \omega\wedge \theta_1 + h_2 \,\theta_1 \wedge \theta_2</math>
|} (''First structural equations'')
:{| border="1" cellspacing="0" cellpadding="5"
|<math> d\omega= -(K\circ \pi)\theta_1\wedge\theta_2 </math> 
|}(''Second structural equation'')

where {{mvar|''h''}}<sub>1</sub> and {{mvar|''h''}}<sub>2</sub> are smooth functions on the frame bundle ''F'' and ''K'' is a smooth function on ''M''.

In the case of a Riemannian 2-manifold, the fundamental theorem of Riemannian geometry can be rephrased in terms of Cartan's canonical 1-forms:

'''Theorem.''' On an oriented Riemannian 2-manifold ''M'', there is a unique connection ω on the frame bundle satisfying
:{| border="1" cellspacing="0" cellpadding="5" 
|<math>d\theta_1 = \omega\wedge\theta_2, \,\, d\theta_2= - \omega\wedge \theta_1</math>
|}

In this case ω is called the ''Riemannian connection'' and ''K'' the ''Gaussian curvature''.

The proof is elementary:{{sfn|Singer|Thorpe|1967|p=189}} if ω' is a second connection 1-form then 

:<math>d\theta_1 = \omega^\prime\wedge\theta_2 + g_1\, \theta_1\wedge \theta_2,\,\,\,\, d\theta_2
= - \omega^\prime\wedge \theta_1 + g_2\, \theta_1\wedge \theta_2</math>

for functions {{mvar|g}}<sub>''i''</sub>; and their difference can be written

:<math>\omega^\prime - \omega = f_1 \theta_1 + f_2 \theta_2</math>

for functions {{mvar|''f''}}<sub>''i''</sub>. But then

:<math>d\theta_1 = \omega\wedge\theta_2 + (f_1 + g_1) \,\theta_1\wedge \theta_2, \,\,\,\, d\theta_2= - \omega\wedge \theta_1 + (f_2 +g_2)\,\theta_1 \wedge \theta_2.</math>

Hence 

:<math>d\theta_1=\omega\wedge \theta_2,\,\,\,\, d\theta_2 = -\omega\wedge \theta_1</math>

if and only if {{mvar|''f''}}<sub>''i''</sub> = -{{mvar|''g''}}<sub>''i''</sub>. This proves both existence and uniqueness.<ref>{{harvnb|Kobayashi|Nomizu|1963|p=60}}. Proof A in the special case of a surface.</ref>

==Holonomy and curvature==
{{main|Holonomy}}
Parallel transport in the frame bundle can be used to show that the Gaussian curvature of a surface ''M'' measures the amount of rotation obtained by translating vectors around small curves in ''M''.<ref name="VF">{{harvnb|Singer|Thorpe|1967|pp=189&ndash;193}}</ref> '''Holonomy''' is exactly the phenomenon that occurs when a tangent vector (or orthonormal frame) is parallelly transported around a closed curve. The vector reached when the loop is closed will be a rotation of the original vector, i.e. it will correspond to an element of the rotation group SO(2), in other words an angle modulo 2π. This is the ''holonomy of the loop'', because the angle does not depend on the choice of starting vector.
[[Image:Liebracket.png|thumb|right|250px|Geometric interpretation of the [[Lie bracket of vector fields|Lie bracket]] of two [[vector field]]s]]

This geometric interpretation of curvature relies on a similar geometric of the [[Lie bracket of vector fields|Lie bracket]] of two [[vector field]]s on ''F''. Let ''U''<sub>1</sub> and ''U''<sub>2</sub> be vector fields on ''F'' with corresponding [[flow (mathematics)|local flows]] α<sub>''t''</sub> and β<sub>''t''</sub>.

*Starting at a point '''A''' corresponding to ''x'' in ''F'', travel <math>\sqrt{s}</math> along the integral curve for ''U''<sub>1</sub> to the point '''B''' at <math>\alpha_{\sqrt{s}}(x)</math>.
* Travel from '''B''' by going <math>\sqrt{s}</math> along the integral curve for ''U''<sub>2</sub> to the point '''C''' at <math>\beta_{\sqrt{s}} \alpha_{\sqrt{s}}(x)</math>.
* Travel from '''C''' by going <math>-\sqrt{s}</math> along the integral curve for ''U''<sub>1</sub> to the point '''D''' at <math>\alpha_{-\sqrt{s}}\beta_{\sqrt{s}} \alpha_{\sqrt{s}}(x)</math>.
* Travel from '''D''' by going <math>-\sqrt{s}</math> along the integral curve for ''U''<sub>2</sub> to the point '''E''' at <math>\beta_{-\sqrt{s}}\alpha_{-\sqrt{s}} \beta_{\sqrt{s}} \alpha_{\sqrt{s}}(x)</math>.

In general the end point '''E''' will differ from the starting point '''A'''. As ''s'' <math>\rightarrow</math> 0, the end point '''E''' will trace out a curve through '''A'''. The Lie bracket [''U''<sub>1</sub>,''U''<sub>2</sub>] at ''x'' is precisely the tangent vector to this curve at '''A'''.<ref name="VF" />

To apply this theory, introduce vector fields ''U''<sub>1</sub>, ''U''<sub>2</sub> and ''V'' on the frame bundle ''F'' which are dual to the 1-forms 
θ<sub>1</sub>, θ<sub>2</sub> and ω at each point. Thus

:<math> \omega(U_i)=0, \, \theta_i(V) =0,\, \omega(V)=1,\, \theta_i(U_j)=\delta_{ij}.</math>

Moreover, ''V'' is invariant under ''K'' and ''U''<sub>1</sub>, ''U''<sub>2</sub> transform according to the identity representation of ''K''.

The structural equations of Cartan imply the following Lie bracket relations:<ref name="VF" />

:{| border="1" cellspacing="0" cellpadding="5"
|<math>[V,U_1]=U_2, \,\,\,\, [V,U_2]=-U_1, \,\,\, \, [U_1,U_2]=(K\circ\pi) V</math>
|}

The geometrical interpretation of the Lie bracket can be applied to the last of these equations. Since ω(''U''<sub>''i''</sub>)=0, the flows  α<sub>''t''</sub> and β<sub>''t''</sub> in ''F'' are lifts by parallel transport of their projections in ''M''.

Informally the idea is as follows. The starting point '''A''' and end point '''E''' essentially differ by an element of SO(2), that is an angle of rotation. The area enclosed by the projected path in ''M'' is approximately <math>\sqrt{s}\cdot\sqrt{s}=s</math>. So in the limit as ''s'' <math>\rightarrow</math> 0, the angle of rotation divided by this area tends to the coefficient of ''V'', i.e. the curvature.

This reasoning is made precise in the following result.<ref name ="VF" />

{{quotation|Let ''f'' be a diffeomorphism of an open disc in the plane into ''M'' and let Δ be a triangle in this disc. Then the holonomy angle of the loop
formed by the image under ''f'' of the perimeter of the triangle is given by the integral of the Gauss curvature of the image under ''f'' of the inside of the triangle.}}

In symbols, the holonomy angle mod 2π is given by

:{| border="1" cellspacing="0" cellpadding="5"
|<math>\theta= \int_{f(\Delta)} K</math>
|}

where the integral is with respect to the area form on ''M''.   
    
This result implies the relation between Gaussian curvature because as the triangle shrinks in size to a point, the ratio of this angle to the area tends to the Gaussian curvature at the point.  The result can be proved by a combination of [[Stokes's theorem]] and Cartan's structural equations and can in turn be used to obtain a generalisation of Gauss's theorem on geodesics triangles to more general triangles.<ref>{{harvnb|Singer|Thorpe|1967|p=195}}</ref>

One of the other standard approaches to curvature, through the covariant derivative <math>\nabla_X</math>, identifies the difference

:<math>R(X,Y)=\nabla_X \nabla_Y - \nabla_Y\nabla_X - \nabla_{[X,Y]}</math>

as a field of endomorphisms of the tangent bundle, the [[Riemann curvature tensor]].<ref name="Kobayashi" /><ref>{{harvnb|do Carmo|1992}}</ref>
Since <math>\nabla_X</math> is induced by the lifted vector field ''X''* on ''F'', the use of the vector fields ''U''<sub>i</sub> and ''V'' and their Lie brackets is more or less equivalent to this approach. The vertical vector field ''W''=''A''* corresponding to the canonical generator ''A'' of <math>\mathfrak k</math> could also be added since it commutes with ''V'' and satisfies  [''W'',''U''<sub>1</sub>] = ''U''<sub>2</sub> and [''W'',''U''<sub>2</sub>] = —''U''<sub>1</sub>.

==Example: the 2-sphere==
{{See also|Nonholonomic system|Geometric phase}}
The differential geometry of the 2-sphere can be approached from three different points of view:

* [[analytic geometry]], since the 2-sphere is a [[submanifold]] of '''E'''<sup>3</sup>;
* [[group theory]], since the compact matrix group [[SO(3)]] acts transitively on the 2-sphere as a continuous group of symmetries;
* [[classical mechanics]], since a rigid 2-sphere can roll on a plane.

''S''<sup>2</sup> can be identified with the unit sphere in '''E'''<sup>3</sup>

:<math>S^2=\{a\in E^3\colon\|a\|=1\}.</math>
 
Its tangent bundle ''T'', unit tangent bundle ''U'' and oriented orthonormal frame bundle ''E'' are given by

:<math>T=\{(a,v)\colon \|a\|=1,\, a\cdot v=0\},</math>
:<math>U=\{(a,v)\colon\|a\|=1, \,\|v\|=1,\, a\cdot v=0\}, </math>
:<math> E=\{(a,e_1,e_2)\colon (e_1 \times e_2)\cdot a=1, \, \|a\|=1, \, \|e_i\|=1, \, a\cdot e_i = 0, \, e_1\cdot e_2=0 \}.</math>

The map sending (''a'',''v'') to (''a'', ''v'', ''a'' x ''v'') allows ''U'' and ''E'' to be identified.

Let

:<math>Q(a)v= (v\cdot a) a</math>

be the orthogonal projection onto the normal vector at ''a'', so that

:<math>P(a) = I-Q(a)</math>

is the orthogonal projection onto the tangent space at ''a''.

The group ''G'' = [[SO(3)]] acts by rotation on ''E''<sup>3</sup> leaving ''S''<sup>2</sup> invariant. The [[stabilizer subgroup]] ''K'' of the vector (1,0,0) in ''E''<sub>3</sub> may be identified with [[SO(2)]] and hence

{{quotation|''S''<sup>2</sup> may be identified with SO(3)/SO(2).}}

This action extends to an action on ''T'', ''U'' and ''E'' by making ''G'' act on each component. ''G'' acts [[transitive action|transitively]] on ''S''<sup>2</sup> and [[simply transitive]]ly on ''U'' and ''E''.

The action of SO(3) on ''E''  commutes with the action of SO(2) on ''E'' that rotates frames

:<math>(e_1,e_2)\mapsto (\cos \theta \, e_1 - \sin \theta \,e_2, \sin \theta\, e_1 + \cos \theta \,e_2).</math>

Thus ''E'' becomes a principal bundle with structure group ''K''. Taking the ''G''-[[orbit (group theory)|orbit]] of the point ((1,0,0),(0,1,0),(0,0,1)), the space ''E'' may be identified with ''G''. Under this identification the actions of ''G'' and ''K'' on ''E'' become left and right translation. In other words:

{{quotation|The oriented orthonormal frame bundle of ''S''<sup>2</sup> may be identified with SO(3).}}

The [[Lie algebra]] <math>\mathfrak g</math> of SO(3) consists of all [[skew-symmetric matrix|skew-symmetric]] real 3 x 3 matrices.<ref>The Lie algebra of a closed connected subgroup ''G'' of a real or complex [[general linear group]] consists of all matrices ''X'' such that 
exp ''tX'' lies in ''G'' for all real ''t''; see {{harvtxt|Adams|1983}} or {{harvtxt|Varadarajan|1984}}.</ref> the [[Adjoint representation of a Lie group|adjoint action]] of ''G'' by conjugation on <math>\mathfrak g</math> reproduces the action of ''G'' on '''E'''<sup>3</sup>. The group [[SU(2)]] has a 3-dimensional Lie algebra consisting of complex [[Skew-Hermitian matrix|skew-hermitian]] [[traceless]] 2 x 2 matrices, which is isomorphic to <math>\mathfrak g</math>. The adjoint action of SU(2) factors through its centre, the matrices ± ''I''. Under these identifications, SU(2) is exhibited as a [[Double covering group|double cover]] of SO(3), so that SO(3) = SU(2) / ± ''I''.<ref>Geometrically this double cover corresponds to a [[spin structure]] on ''S''<sup>2</sup>.</ref> On the other hand, SU(2) is diffeomorphic to the 3-sphere and under this identification the standard Riemannian metric on the 3-sphere becomes the essentially unique biinvariant Riemannian metric on SU(2). Under the quotient by  ± ''I'', SO(3) can be identified with the [[real projective space]] of dimension 3 and itself has an essentially unique biinvariant Riemannian metric. The geometric exponential map for this metric at ''I'' coincides with the usual exponential function on matrices and thus the geodesics through ''I'' have the form exp ''Xt'' where ''X'' is a skew-symmetric matrix. 
In this case the Sasaki metric agrees with this biinvariant metric on SO(3).<ref>{{harvnb|Klingenberg|Sasaki|1975}}</ref><ref>{{harvnb|Arnold|1989}}, Appendix 2: Geodesics of left-invariant metrics on Lie groups and the hydrodynamics of ideal fluids.</ref>

The actions of ''G'' on itself, and hence on ''C''<sup>∞</sup>(''G'') by left and right translation induce infinitesimal actions of <math>\mathfrak g</math> on ''C''<sup>∞</sup>(''G'') by vector fields

:<math>\lambda(X) f(g)={d\over dt}f(e^{-Xt}g)|_{t=0},\,\rho(X) f(g)={d\over dt}f(ge^{Xt})|_{t=0}.</math>

The right and left invariant vector fields are related by the formula

:<math> \lambda(X)f(g)=-\rho(g^{-1}Xg)f(g).</math>

The vector fields λ(''X'') and ρ(''X'') commute with right and left translation and give all right and left invariant vector fields on ''G''. Since
''C''<sup>∞</sup>(''S''<sup>2</sup>) = ''C''<sup>∞</sup>(''G''/''K'') can be identified with  ''C''<sup>∞</sup>(''G'')<sup>''K''</sup>, the function invariant under right translation by ''K'', the operators λ(''X'') also induces vector fields Π(''X'') on ''S''<sup>2</sup>.

Let ''A'', ''B'', ''C'' be the standard basis of <math>\mathfrak g</math> given by

:<math> A=  \begin{pmatrix} 0 &  1 & 0 \\ -1 & 0 & 0 \\ 0 & 0 & 0\end{pmatrix},\,\,B=\begin{pmatrix} 0 & 0  & 0 \\ 0 & 0 & 1 \\ 0 & -1 & 0\end{pmatrix},
\,\, C=\begin{pmatrix} 0 &  0 & 1 \\ 0 & 0 & 0 \\ -1 & 0 & 0\end{pmatrix}.</math>

Their [[Lie bracket of vector fields|Lie brackets]] [''X'',''Y''] = ''XY'' – ''YX'' are given by

:<math>[A,B]=C,\,\,[B,C]=A,\,\, [C,A]=B.</math>

The vector fields λ(''A''), λ(''B''),  λ(''C'') form a basis of the tangent space at each point of ''G''.

Similarly the left invariant vector fields ρ(''A''), ρ(''B''),  ρ(''C'') form a basis of the tangent space at each point of ''G''.
Let α, β, γ be the corresponding [[dual basis]] of left invariant 1-forms on ''G''.<ref>{{harvnb|Varadarajan|1984|p=138}}</ref> The Lie bracket relations imply the [[Maurer–Cartan equations]]

:<math> d\alpha =\beta\wedge \gamma,\,\, d\beta= \gamma\wedge \alpha, \,\, d\gamma=\alpha\wedge\beta.</math>

These are also the corresponding components of the [[Maurer–Cartan form]]

:<math>\omega_G=g^{-1}dg,</math>

a left invariant matrix-valued 1-form on ''G'', which satisfies the relation

:<math> d\omega_G = -(g^{-1} dg\, g^{-1})dg = -\omega_G\wedge \omega_G.</math>

The inner product on <math>\mathfrak g</math> defined by

:<math>(X,Y)= \mathrm{Tr}\, XY^T</math>

is invariant under the adjoint action. Let π be the orthogonal projection onto the subspace generated by ''A'', i.e. onto <math>\mathfrak k</math>, the Lie algebra of ''K''. For ''X'' in <math>\mathfrak g</math>, the lift of the vector field Π(''X'') from C<sup>∞</sup>(''G''/''K'') to C<sup>∞</sup>(''G'') is given by the formula

:{| border="1" cellspacing="0" cellpadding="5"
|<math> \Pi(X)^* f(g) = -\rho(\pi(g^{-1}Xg))f(g)</math>
|}

This lift is ''G''-equivariant on vector fields of the form Π(''X'') and has a unique extension to more general vector fields on ''G'' / ''K''.

The left invariant 1-form α is the connection form ω on ''G'' corresponding to this lift. The other two 1-forms in the Cartan structural equations are given by θ<sub>1</sub> = β and θ<sub>2</sub> = γ. The structural equations themselves are just the Maurer–Cartan equations. In other words;

{{quotation|The Cartan structural equations for SO(3)/SO(2) reduce to the Maurer–Cartan equations for the left invariant 1-forms on SO(3).}}

Since α is the connection form,

*vertical vector fields on ''G'' are those of the form ''f'' · λ(''A'') with ''f'' in ''C''<sup>∞</sup>(''G'');
*horizontal vector fields on ''G'' are those of the form ''f''<sub>1</sub> · λ(''B'') +  ''f''<sub>2</sub> · λ(''C'') with ''f''<sub>''i''</sub> in ''C''<sup>∞</sup>(''G'').

The existence of the basis vector fields  λ(''A''), λ(''B''),  λ(''C'') shows that SO(3) is parallelizable. This is not true for SO(3)/SO(2) by the [[hairy ball theorem]]: ''S''<sup>2</sup> does not admit any nowhere vanishing vector fields.

Parallel transport in the frame bundle amounts to lifting a path from SO(3)/SO(2) to SO(3). It can be accomplished by directly solving a matrix-valued ordinary differential equation ("transport equation") of the form ''g''<sub>''t''</sub> = ''A'' · ''g'' where ''A''(''t'') is  skew-symmetric and ''g'' takes values in SO(3).<ref>{{harvnb|Kobayashi|Nomizu|1963|p=69}}</ref><ref name="Thisstandard">This standard treatment of parallel transport can be found for example in {{harvtxt|Driver|1995|p=25}}.</ref><ref>In mathematical physics, the solution of this differential equation is often expressed as a [[path-ordered exponential]]; see for example {{harvtxt|Nelson|1969}}.</ref>

In fact it is equivalent and more convenient to lift a path from SO(3)/O(2) to SO(3). Note that O(2) is the normaliser of SO(2) in SO(3) and the quotient group O(2)/SO(2), the so-called [[Weyl group]], is a group of order 2 which acts on SO(3)/SO(2) = ''S''<sup>2</sup> as the [[antipodal map]]. The quotient SO(3)/O(2) is the [[real projective plane]]. It can be identified with space of rank one or rank two projections ''Q'' in M<sub>3</sub>('''R''').  Taking ''Q'' to be a rank 2 projection and setting ''F'' = 2''Q'' &minus; ''I'', a model of the surface SO(3)/O(2) is given by
matrices ''F'' satisfying ''F''<sup>2</sup> = ''I'', ''F'' = ''F''<sup>T</sup> and Tr ''F'' = 1. Taking ''F''<sub>0</sub>= diag (–1,1,1) as base point, every ''F'' can be written in the form ''g'' ''F''<sub>0</sub> ''g''<sup>−1</sup>.

{{quotation|Given a path ''F''(''t''), the ordinary differential equation <math> g_t g^{-1} = F_t F/2 </math>, with initial condition <math>g(0)=I</math>, has a unique C<sup>1</sup> solution ''g''(''t'') with values in ''G'', giving the lift by parallel transport of ''F''. }}

If ''Q''(''t'') is the corresponding path of rank 2 projections, the conditions for parallel transport are

: <math>Q = gQ_0 g^{-1},\,\, Q_0 g^{-1} \dot{g} Q_0 = 0</math>

Set ''A'' = ½''F''<sub>''t''</sub> ''F''. Since ''F''<sup>2</sup> = ''I'' and ''F'' is symmetric, ''A'' is skew-symmetric and satisfies
''QAQ''&nbsp;=&nbsp;0.

The unique solution ''g''(''t'') of the ordinary differential equation

:<math> \dot{g} = A g \, </math>

with initial condition ''g''(0) = ''I'' guaranteed by the [[Picard–Lindelöf theorem]], must have ''g''<sup>T</sup>''g'' constant and therefore ''I'', since

:<math>{d\over dt} (g^T g)= \dot{g}^Tg +g^T\dot{g}= g^T(A^T +A)g=0.</math>

Moreover,

: <math> F(t) = g(t) F(0) g(t)^{-1} \,</math>

since ''g''<sup>&minus;1</sup>''Fg'' has derivative 0:

:<math> {d\over dt} (g^{-1}Fg) = -g^{-1} \dot{g} g^{-1} Fg + g^{-1}\dot{F} g + g^{-1}F\dot{g} = g^{-1}(-\dot{g}g^{-1}F + \dot{F} +F \dot{g}g^{-1})g=0.</math>

Hence ''Q'' = ''g'' ''Q''<sub>0</sub> ''g''<sup>&minus;1</sup>. The condition ''QAQ=0'' implies ''Q'' ''g''<sub>''t''</sub>  ''g''<sup>−1</sup>  ''Q'' = 0 and hence that ''Q''<sub>0</sub> ''g''<sup>−1</sup> ''g''<sub>''t''</sub> ''Q''<sub>0</sub> =0.<ref>A similar argument applies to the transitive action by conjugation of SU(2) on matrices ''F'' = 2''Q'' &minus; ''I'' with ''Q'' a rank one projection in M<sub>2</sub>('''C'''). This action is trivial on ± ''I'', so passes to a transitive action of SO(3) with stabilizer subgroup SO(2), showing that these matrices provide another model for ''S''<sup>2</sup>. This is standard material in [[gauge theory]] on SU(2); see for example  {{harvtxt|Narasimhan|Ramadas|1979}}.</ref>

There is another [[kinematic]] way of understanding parallel transport and geodesic curvature in terms of "rolling without slipping or twisting". Although well known to differential geometers since the early part of the twentieth century, it has also been applied to problems in [[engineering]] and [[robotics]].<ref>
{{harvnb|Sharpe|1997|pp=375&ndash;388}}, Appendix B: Rolling without Slipping or Twisting</ref>  Consider the 2-sphere as a rigid body in three-dimensional space rolling without slipping or twisting on a horizontal plane. The point of contact will describe a curve in the plane and on the surface. At each point of contact the different tangent planes of the sphere can be identified with the horizontal plane itself and hence with one another.

*The usual [[curvature]] of the planar curve is the geodesic curvature of the curve traced on the sphere.
*This identification of the tangent planes along the curve corresponds to parallel transport.

This is particularly easy to visualize for a sphere: it is exactly the way a marble can be rolled along a perfectly flat table top.

The roles of the plane and the sphere can be reversed to provide an alternative but equivalent point of view. The sphere is regarded as fixed and the plane has to roll without slipping or twisting along the given curve on the sphere.<ref>{{harvnb|Berger|2004|p=130}}</ref>

==Embedded surfaces==
When a surface ''M'' is embedded in '''E'''<sup>3</sup>, the Gauss map from ''M'' <math>\rightarrow</math> ''S''<sup>2</sup> extends to a SO(2)-equivariant map between the orthonormal frame bundles ''E '' <math>\rightarrow </math> SO(3). Indeed, the triad consisting of the tangent frame and the normal vector gives an element of SO(3).

In 1956 Kobayashi proved that:<ref>{{harvnb|Kobayashi|1956}}, Theorem II.</ref>

{{quotation|Under the extended Gauss map, the connection on SO(3) induces the connection on ''E''.}}

This means that the forms ω, θ<sub>1</sub> and θ<sub>2</sub> on ''E'' are obtained by pulling back those on SO(3); and that lifting paths from ''M'' to ''E'' can be accomplished by mapping the path to the 2-sphere, lifting the path to SO(3) and then pulling back the lift to ''E''. Thus for embedded surfaces, the 2-sphere with the principal connection on its frame bundle provides a "universal model", the prototype for the universal bundles discussed in {{harvtxt|Narasimhan|Ramanan|1961}}.

In more concrete terms this allows parallel transport to be described explicitly using the transport equation. Parallel transport along a curve ''c''(''t''), with ''t'' taking values in [0,1], starting from a tangent from a tangent vector ''v''<sub>0</sub> also amounts to finding a map ''v''(''t'') from [0,1] to '''R'''<sup>3</sup> such that

* ''v''(''t'') is a tangent vector to ''M'' at ''c''(''t'') with ''v''(0) = ''v''<sub>0</sub>.
* the [[velocity|velocity vector]] <math>\dot{v}(t)</math> is normal to the surface at ''c''(''t''), i.e. ''P''(''c''(''t''))''v''(''t'')=0.

This always has a unique solution, called the '''parallel transport of''' ''v''<sub>0</sub> '''along''' ''c''.

The existence of parallel transport can be deduced using the analytic method described for SO(3)/SO(2), which from a path into the rank two projections
''Q''(''t'') starting at ''Q''<sub>0</sub> produced a path ''g''(''t'') in SO(3) starting at ''I'' such that
 
:<math>Q = g Q_0 g^{-1}, \, \, \,Q_0 g^{-1} \dot{g} Q_0= 0.</math>

''g''(''t'') is the unique solution of the transport equation

:{| border="1" cellspacing="0" cellpadding="5"
|''g''<sub>''t''</sub>''g''<sup>−1</sup> = ½ ''F''<sub>''t''</sub> ''F''
|}

with ''g''(0) = ''I'' and ''F'' = 2''Q'' &minus; I. Applying this with ''Q''(''t'') = ''P''(''c''(''t'')), it follows that, given a tangent vector ''v''<sub>0</sub> in the tangent space to ''M'' at ''c''(0), 
the vector ''v''(''t'')=''g''(''t'')''v''<sub>0</sub> lies in the tangent space to ''M'' at ''c''(''t'') and satisfies the equation

:<math>P(c(t))\dot{v}(t) =0.</math>

It therefore is exactly the parallel transport of ''v'' along the curve ''c''.<ref name="Thisstandard" /> In this case the length of the vector ''v''(''t'') is constant. More generally if another initial tangent vector ''u''<sub>0</sub> is taken instead of ''v''<sub>0</sub>, the inner product (''v''(''t''),''u''(''t'')) is constant. The tangent spaces along the curve ''c''(''t'') are thus canonically identified as inner product spaces by parallel transport so that parallel transport gives an isometry between the tangent planes. The condition on the velocity vector <math>\dot{v}(t)</math>
may be rewritten in terms of the covariant derivative as<ref name="Kobayashi" /><ref>{{harvnb|do Carmo|1992|p=52}}</ref>

:{| border="1" cellspacing="0" cellpadding="5"
|<math> \nabla_{\dot{c}} v = 0</math>
|}

the defining equation for parallel transport.

The [[kinematic]] way of understanding parallel transport for the sphere applies equally well to any closed surface in '''E'''<sup>3</sup> regarded as a rigid body in three-dimensional space rolling without slipping or twisting on a horizontal plane. The point of contact will describe a curve in the plane and on the surface. As for the sphere, the usual [[curvature]] of the planar curve equals the geodesic curvature of the curve traced on the surface.
 
This geometric way of viewing parallel transport can also be directly expressed in the language of geometry.<ref>{{harvnb|do Carmo|1976|p=244}}</ref> The [[envelope (mathematics)|envelope]] of the tangent planes to ''M'' along a curve ''c'' is a surface with vanishing Gaussian curvature, which by Minding's theorem, must be locally isometric to the Euclidean plane. This identification allows parallel transport to be defined, because in the Euclidean plane all tangent planes are identified with the space itself.

There is another simple way of constructing the connection form ω using the embedding of ''M'' in '''E'''<sup>3</sup>.<ref>{{harvnb|Singer|Thorpe|1967|pp=221&ndash;223}}</ref>

The tangent vectors ''e''<sub>1</sub> and ''e''<sub>2</sub> of a frame on ''M'' define smooth functions from ''E'' with values in '''R'''<sup>3</sup>, so each gives a 3-vector of functions and in particular ''de''<sub>1</sub> is a 3-vector of 1-forms on ''E''.

The connection form is given by

:{| border="1" cellspacing="0" cellpadding="5"
|<math>\omega= de_1 \cdot e_2</math>
|}

taking the usual scalar product on 3-vectors.

==Gauss–Codazzi equations==
{{See also|Gauss–Codazzi equations}}
When ''M'' is embedded in '''E'''<sup>3</sup>, two other 1-forms ψ and χ can be defined on the frame bundle ''E'' using the shape operator.<ref>{{harvnb|O'Neill|1997|pp=256&ndash;257}}</ref><ref>{{harvnb|Ivey|Landsberg|2003}}, Chapter 2.</ref><ref>{{harvnb|Kobayashi|Nomizu|1969}}, Chapter VII.</ref> Indeed, the Gauss map induces a ''K''-equivariant map of ''E'' into SO(3), the frame bundle of ''S''<sup>2</sup> = SO(3)/SO(2). The form  
ω is the [[pullback (differential geometry)|pullback]] of one of the three right invariant [[Maurer–Cartan form]]s on SO(3). The 1-forms ψ and χ are defined to be the pullbacks of the other two.

These 1-forms satisfy the following structure equations:

:{| border="1" cellspacing="0" cellpadding="5"
|<math> \psi\wedge \theta_1 + \chi\wedge \theta_2=0 </math> 
|}(''symmetry equation'')
:{| border="1" cellspacing="0" cellpadding="5"
|<math> d\omega= \psi\wedge \chi</math> 
|}(''Gauss equation'')
:{| border="1" cellspacing="0" cellpadding="5"
|<math> d\psi=\chi\wedge\omega, \,\, d\chi=\omega\wedge\psi</math> 
|}(''Codazzi equations'')

The [[Gauss–Codazzi equations]] for χ, ψ and ω follow immediately from the Maurer–Cartan equations for the three right invariant 1-forms on SO(3).

==Reading guide==
One of the most comprehensive introductory surveys of the subject, charting the historical development from before Gauss to modern times, is by {{harvtxt|Berger|2004}}. Graduate-level treatments of the [[Riemannian connection]] can be found in {{harvtxt|Singer|Thorpe|1967}}, {{harvtxt|do Carmo|1976}} and {{harvtxt|O'Neill|1997}}. Accessible introductions to Cartan's approach to connections using moving frames can be found in {{harvtxt|Ivey|Landsberg|2003}} and {{harvtxt|Sharpe|1997}}. Classic treatments of principal bundles and connections can be found in {{harvtxt|Nomizu|1956}}, {{harvtxt|Kobayashi|Nomizu|1963}}, {{harvtxt|Sternberg|1964}} and Chapter XX of {{harvtxt|Dieudonné|1974}}.

==See also==
*[[Differential geometry of surfaces]]

== Notes ==
{{reflist|3}}

== References ==
*{{citation|first=J. Frank|last=Adams|authorlink=Frank Adams|title=Lectures on Lie Groups|publisher=University of Chicago Press|year= 1983
|isbn=0226005305}}
*{{citation|first1=A. D.|last1=Aleksandrov|authorlink=Aleksandr Danilovich Aleksandrov|first2=V. A.|last2=Zalgaller|title=Intrinsic Geometry of Surfaces|volume =15|series=Translations of Mathematical Monographs|publisher= American Mathematical Society|year=1967}}
*{{citation|first=V. I.|last=Arnold|authorlink=Vladimir Arnold|title=Mathematical Methods of Classical Mechanics|publisher=Springer-Verlag|year=1989|isbn=0-387-96890-3|url-access=registration|url=https://archive.org/details/mathematicalmeth0000arno}}
*{{citation | last=Berger|first=Marcel | authorlink=Marcel Berger|title= A Panoramic View of Riemannian Geometry | publisher=Springer-Verlag | year=2004 | isbn = 3-540-65317-1}}
*{{citation|last =Cartan|first=Élie|authorlink=Élie Cartan|
title=Geometry of Riemannian Spaces|publisher= Math Sci Press|year=1983|url=https://books.google.com/books?id=-YvvVfQ7xz4C&q=geometry+of+riemannian+spaces+cartan|isbn =978-0-915692-34-7}}; translated from 2nd edition of '' Leçons sur la géométrie des espaces de Riemann'' (1951) by James Glazebrook.
*{{citation|last =Cartan|first=Élie|authorlink=Élie Cartan|
title=Riemannian Geometry in an Orthogonal Frame (from lectures delivered by É Cartan at the Sorbonne in 1926&ndash;27) |publisher=World Scientific|year=2001|isbn=9810247478}}, translated from Russian by V. V. Goldberg with a foreword by [[S. S. Chern]].
*{{citation|last1=Choquet-Bruhat |first1=Yvonne|authorlink=Yvonne Choquet-Bruhat|first2=Cécile|last2=Dewitt-Morette| first3=Margaret|last3=Dillard-Bleick|title= Analysis, manifolds and physics. Part I: Basics|publisher=North Holland|year=1982|isbn =0-444-82647-5}}
* {{citation|first=Gaston|last=Darboux|authorlink=Gaston Darboux|year=1890|title=Leçons sur la théorie générale des surfaces|publisher=Gauthier-Villars}} [http://www.hti.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=ABV4153.0001.001 Volume I], [http://www.hti.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=ABV4153.0002.001 Volume II], [http://www.hti.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=ABV4153.0003.001 Volume III], [http://www.hti.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=ABV4153.0004.001 Volume IV]
* {{cite book|mr=0362065|last=Dieudonné|first =Jean|author-link=Jean Dieudonné|
title=Treatise on analysis|volume= IV|chapter=XX. Principal connections and Riemannian geometry|translator=I. G. Macdonald|translator-link= Ian G. Macdonald|series= Pure and Applied Mathematics|publisher= [[Academic Press]]|year= 1974|isbn =  0-12-215504-1}}
*{{citation | last = do Carmo|first =Manfredo P. |authorlink=Manfredo do Carmo | title=Differential Geometry of Curves and Surfaces | publisher=Prentice-Hall | year=1976 | isbn = 0-13-212589-7}}
*{{citation|last=do Carmo|first= Manfredo P.|title=Riemannian geometry|year=1992|publisher = Birkhäuser|isbn=0-8176-3490-8}}
*{{citation|last=Driver|first=Bruce K.|title=A primer on Riemannian geometry and stochastic analysis on path spaces
|series=Lectures given at the E.T.H., Zurich|url=http://math.ucsd.edu/~driver/DRIVER/Papers/Drivers_Papers/A15-ETH-Primer.pdf|year=1995}}
*{{citation | last = Eisenhart|first= Luther P.|authorlink=Luther Eisenhart | title=A Treatise on the Differential Geometry of Curves and Surfaces | publisher=Dover | year =2004 | isbn=0486438201}} [https://archive.org/details/treatonthediffer00eiserich Full 1909 text] (now out of copyright)
*{{citation|last = Eisenhart|first= Luther P.|authorlink=Luther Eisenhart |title=An Introduction to Differential Geometry with Use of the Tensor Calculus|publisher=Princeton University Press|year=1947|series=Princeton Mathematical Series|volume=3}}
*{{citation|title=Recherches sur la courbure des surfaces|first=Leonhard|last=Euler|authorlink=Leonhard Euler|year=1760|journal=Mémoires de l'académie des sciences de Berlin|volume=16|pages=119–143|publication-date=1767|url=http://math.dartmouth.edu/~euler/pages/E333.html}}.
*{{citation|pages=3–34|first=Leonhard|last=Euler|authorlink=Leonhard Euler|year=1771|title=De solidis quorum superficiem in planum explicare licet|journal=Novi Commentarii Academiae Scientiarum Petropolitanae|volume=16|url=http://math.dartmouth.edu/~euler/pages/E419.html}}.
*{{citation|last=Gauss|first=Carl Friedrich|authorlink=Carl Friedrich Gauss|title=General Investigations of Curved Surfaces|url= http://quod.lib.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=ABR1255|publication-date=1965|year=1827|publisher = Raven Press|location=New York}} translated by A.M.Hiltebeitel and J.C.Morehead; [http://www-gdz.sub.uni-goettingen.de/cgi-bin/digbib.cgi?PPN35283028X_0006_2NS "Disquisitiones generales circa superficies curvas"], ''Commentationes Societatis Regiae Scientiarum Gottingesis Recentiores'' Vol. '''VI''' (1827), pp.&nbsp;99&ndash;146.  
*{{citation|last1=Gray|first1=Alfred|last2=Abbena|first2=Elsa|last3=Salamon|first3=Simon|title=Modern Differential Geometry of Curves And Surfaces With Mathematica|year=2006|publisher=CRC Press|isbn=1584884487}}
*{{citation | last1 = Han|first1=Qing|last2=Hong|first2=Jia-Xing | title = Isometric Embedding of Riemannian Manifolds in Euclidean Spaces | publisher = American Mathematical Society | year = 2006 | isbn= 0-8218-4071-1}}
*{{citation|first=Sigurdur|last=Helgason|title=Differential Geometry, Lie groups and Symmetric Spaces|publisher=Academic Press|year=1978|isbn=0-12-338460-5}}
* {{Citation | last1=Hilbert | first1=David | author1-link=David Hilbert | last2=Cohn-Vossen | first2=Stephan | author2-link=Stephan Cohn-Vossen | title=Geometry and the Imagination | publisher=Chelsea | location=New York | edition=2nd | isbn=978-0-8284-1087-8 | year=1952 }}.
*{{citation|first1=Thomas A.|last1=Ivey|first2=J.M.|last2=Landsberg|title=Cartan for Beginners: Differential Geometry via Moving Frames and Exterior Systems|series=Graduate Studies in Mathematics|volume=61|year=2003|publisher=American Mathematical Society|
isbn=0-8218-3375-8}}
*{{citation|first=Howard |last=Jacobowitz|title= Local Isometric Embeddings of Surfaces into Euclidean Four Space|journal= Indiana Univ. Math. J. |volume=21|issue=3|year=1972|pages= 249–254|url=http://www.iumj.indiana.edu/IUMJ/FULLTEXT/1972/21/21019|doi=10.1512/iumj.1971.21.21019|doi-access=free}}
*{{citation|last1=Klingenberg|first1=Wilhelm|last2=Sasaki|first2= Shigeo|title=On the tangent sphere bundle of a 2-sphere|journal=[[Tôhoku Mathematical Journal]]|volume= 27|year=1975|issue=1|pages=49–56|doi=10.2748/tmj/1178241033|doi-access=free}} 
*{{citation|first=Wilhelm|last=Klingenberg|title=Riemannian geometry|series=de Gruyter studies in mathematics|volume=1|publisher=de Gruyter|year=1982|
isbn=3-11-008673-5}}
*{{citation|first1=Shochichi|last1=Kobayashi|title=Induced connections and imbedded Riemannian space|journal=Nagoya Math. J.|year=1956|volume=10|pages=15–25|doi=10.1017/S0027763000000052|doi-access=|s2cid=251061784 }} 
*{{citation|first=Shochichi|last=Kobayashi|title=Theory of connections|journal=Annali di Matematica Pura ed Applicata |series=Series 4|volume=43|issue=1|pages=119–194|year=1957|doi=10.1007/BF02411907|s2cid=120972987|doi-access=free}},
*{{citation|first1=Shoshichi|last1=Kobayashi|first2=Katsumi|last2=Nomizu|title=Foundations of differential geometry, Vol. I|publisher=Wiley Interscience|year=1963|isbn=0470496487}}
*{{citation|first1=Shoshichi|last1=Kobayashi|first2=Katsumi|last2=Nomizu|title=Foundations of differential geometry, Vol. II|publisher=Wiley Interscience|year=1969|isbn=0470496487}}
*{{citation|first=Erwin|last=Kreyszig|authorlink=Erwin Kreyszig|year=1991|title=Differential Geometry|publisher=Dover|isbn =0486667219}} 
*{{citation|doi=10.1007/BF03014898|first=Tullio|last= Levi-Civita|authorlink=Tullio Levi-Civita|title= Nozione di parallelismo in una varietà qualunque|journal= Rend. Circ. Mat. Palermo|volume= 42|issue=1| year=1917|pages= 173–205|s2cid=122088291|url=https://zenodo.org/record/1428456}}
*{{citation|first=John W.|last=Milnor|authorlink=John Milnor|title=Morse theory|publisher=Princeton University Press|year=1963|isbn=0691080089
|series=Annals of Mathematics Studies|volume=51}}
* {{cite book|first1=John|last1=Milnor|first2=James|last2=Stasheff|author2-link=James Stasheff|url=
https://www.maths.ed.ac.uk/~v1ranick/papers/milnstas.pdf|title=Characteristic Classes|series=Annals of Mathematics Studies|year=1974|publisher=[[Princeton University Press]]|volume=76|isbn=0-691-08122-0}}
*{{citation|last1=Narasimhan|first1=M.S.|authorlink=M. S. Narasimhan|last2=Ramanan|first2=S.|journal=Amer. J. Math.|title=Existence of Universal Connections|volume=83|year=1961|pages=563–572|doi=10.2307/2372896|issue=3|publisher=The Johns Hopkins University Press|jstor=2372896|hdl=10338.dmlcz/700905|hdl-access=free}}
*{{citation|last1=Narasimhan|first1=M.S.|authorlink=M. S. Narasimhan|last2= Ramadas|first2= T. R.|
title=Geometry of SU(2) gauge fields|journal=Comm. Math. Phys.|volume= 67|issue=2 |year=1979|pages= 121–136|doi=10.1007/BF01221361|bibcode=1979CMaPh..67..121N |s2cid=118840198}}
*{{citation|last=Nelson|first= Edward|authorlink=Edward Nelson|title=Topics in dynamics — I: Flows| series=Mathematical Notes|publisher= Princeton University Press|year= 1969}}
* {{cite book|last=Nomizu|first= Katsumi|author-link=Katsumi Nomizu|title=Lie groups and differential geometry|publisher=[[Mathematical Society of Japan]]|year=1956}}
*{{citation|last= O'Neill|first=Barrett | title = Elementary Differential Geometry | publisher=Academic Press | year=1997 | isbn = 0-12-526745-2}}
*{{citation|last=Petersen|first= Peter|title=Riemannian geometry|edition=3rd|series= Graduate Texts in Mathematics|volume= 171| publisher=Springer|year= 2016|isbn= 9783319266541}}
*{{citation|last=Poznjak|first=E.G.|title=Isometric imbedding of two-dimensional Riemannian metrics in Euclidean spaces|
journal=Russian Math. Surveys|volume= 28 |year=1973|issue=4|pages= 47–77|doi=10.1070/RM1973v028n04ABEH001591|s2cid=250883227 }}
*{{citation|first=Andrew|last=Pressley|title=Elementary Differential Geometry|series=Springer Undergraduate Mathematics Series|year=2001|publisher=Springer-Verlag|isbn= 1-85233-152-6}}
*{{citation|last=Sasaki|first=Shigeo|title=On the differential geometry of tangent bundles of Riemannian manifolds|journal=[[Tôhoku Mathematical Journal]]|volume=10| year= 1958|issue=3| pages=338–354|doi=10.2748/tmj/1178244668|doi-access=free}} 
*{{citation|title=Differential Geometry: Cartan's Generalization of Klein's Erlangen Program|first= Richard W.|last= Sharpe|publisher=Springer-Verlag| year =1997|isbn=0387947329}}
*{{citation | last1=Singer|first1=Isadore M.|authorlink1=Isadore Singer| last2= Thorpe|first2=John A. | title= Lecture Notes on Elementary Topology and Geometry | publisher=Springer-Verlag | year=1967 | isbn=0-387-90202-3}} 
*{{citation|last=Sternberg|first=Shlomo|year=1964|title=Lectures on differential geometry|publisher= Prentice-Hall}}
*{{citation|title=Lectures on classical differential geometry: Second Edition|first=Dirk Jan |last=Struik|authorlink=Dirk Struik|year= 1988|publisher= Dover|isbn=0486656098}}
*{{citation|title=Differential Geometry of Curves and Surfaces: A Concise Guide| first= Victor A.|last=Toponogov| 
authorlink= Victor Andreevich Toponogov|year=2005|publisher=Springer-Verlag|isbn=0817643842}}
*{{citation|last=Valiron|first=Georges|title=The Classical Differential Geometry of Curves and Surfaces|year =1986|publisher= Math Sci Press|isbn=0915692392}} [https://books.google.com/books?id=IQXstKvWsHMC&q=valiron+surfaces Full text of book]
*{{citation|title=Lie Groups, Lie Algebras, and Their Representations|first= V. S. |last=Varadarajan|publisher= Springer-Verlag|
year= 1984|isbn=0387909699}}
*{{citation|last=Wilson|first=Pelham|title=Curved Space: From Classical Geometries to Elementary Differential Geometry|publisher=Cambridge University Press|year=2008|isbn=978-0-521-71390-0}}

{{curvature}}
{{Bernhard Riemann}}

[[Category:Differential geometry]]
[[Category:Differential geometry of surfaces]]
[[Category:Surfaces]]
[[Category:Bernhard Riemann]]