Projective connection
A differential-geometric structure on a smooth manifold ; a special kind of connection on a manifold (cf. Connections on a manifold), where the smooth fibre space
over
has the projective space
of dimension
as its standard fibre. The structure of this
associates to each point
a copy of the projective space,
, which is identified (up to a homology with an invariant pencil of straight lines at the point
) with the tangent centro-affine space
augmented by a hyperplane at infinity. As a connection in such an
, a projective connection consists of the assignment of a projective mapping
to each smooth curve
starting at
and for each point
of the curve in such a way that the following condition is satisfied. Let
be covered by coordinate regions in which the smooth field of frames in
is fixed, with the vertex determined by the vector
coinciding with
. (A frame in
is determined by an equivalence class of bases in the vector space
, where two bases
and
,
, are assumed to be equivalent if
,
.) Then as
, the mapping in the family must tend to the identity mapping, and the principal part of its deviation from the identity mapping must be determined relative to the field of frames in some neighbourhood of the point
by a matrix of linear differential forms
![]() | (1) |
![]() |
common for all . In other words, the image of the frame at a point
under the mapping
must be determined by the vectors
![]() |
where is the tangent vector to
at
and
. The possibility of passing to equivalent bases leads to the fact that among the forms (1) only the forms
![]() | (2) |
are essential. When transforming the frame of the field at an arbitrary point according to the formulas
,
, where
, that is, when passing to an arbitrary element of the principal fibre space
of frames in the spaces
, the forms (1) are replaced by the following
-forms on
:
![]() | (3) |
The -forms
![]() | (4) |
are semi-basic, that is, linear combinations of , and tensorial, that is, under the transformation of the frame by the matrices
the formulas
![]() |
hold, where the are composed from (3) similarly to (4). For the essential forms (2) the structure equations of the projective connection hold (the primes are omitted for simplicity):
![]() | (5) |
where . Here, the right-hand sides are semi-basic; they constitute the system of torsion-curvature forms of the projective connection.
The equality has an invariant meaning. In this case one speaks of a torsion-free projective connection; for it
. The invariant identities
![]() |
![]() |
distinguish a special class of projective connections, called (by E. Cartan) normal projective connections.
The forms (1) determine a projective connection on uniquely: The image, under the mapping
, of the frame at the point
is determined by the solution
of the system
![]() | (6) |
under the initial conditions , where the
are the equations of the curve
in some coordinate neighbourhood of its point
with coordinates
.
Any -forms
defined on
and satisfying equations (5) with right-hand sides expressible in terms of
, where the
,
, are linearly independent, define in this sense a projective connection on
.
The curve described in by the point determined by the first vector
of the solution
of the system (6) is called the development of the curve
. A curve is called a geodesic line of the projective connection on
if its development in some neighbourhood of an arbitrary point
of it is a straight line of the space
. The equations
of a geodesic line are determined with the aid of the functions
![]() |
from the system
![]() |
where is a
-form. In the frame where
and
, this system has the form
![]() | (7) |
![]() |
where and
are polynomials of degree two with functions of
as coefficients.
Cartan's theorem: If on a smooth manifold a system of curves is given that is locally defined by a system of differential equations of the form (7), then there is one and only one normal projective connection for which this system of curves is the system of geodesic lines.
The theory of projective connections thus supplies a means for an invariant investigation of systems of differential equations of a special form. Projective connections are also useful in the investigation of geodesic (or projective) mappings of spaces with affine connections. A projective connection reduces to an affine connection if on there are local fields of frames with respect to which
. For every affine connection on
there is a unique normal projective connection with the same geodesic lines, from which the former can be obtained. Two affine connections are geodesically (or projectively) equivalent if their normal projective connections coincide. In particular, an affine connection on an
with
is projectively Euclidean if and only if its projective curvature tensor
vanishes.
References
[1] | E. Cartan, "Sur les variétés à connexion projective" Bull. Soc. Math. France , 52 (1924) pp. 205–241 |
[2] | E. Cartan, "Leçons sur la théorie des espaces à connexion projective" , Gauthier-Villars (1937) |
[3] | S. Kobayashi, T. Nagano, "On projective connections" J. Math. and Mech. , 13 : 2 (1964) pp. 215–235 |
Comments
References
[a1] | S. Kobayashi, "Transformation groups in differential geometry" , Springer (1972) |
Projective connection. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Projective_connection&oldid=48316