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
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
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 :
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):
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
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
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.
|||E. Cartan, "Sur les variétés à connexion projective" Bull. Soc. Math. France , 52 (1924) pp. 205–241|
|||E. Cartan, "Leçons sur la théorie des espaces à connexion projective" , Gauthier-Villars (1937)|
|||S. Kobayashi, T. Nagano, "On projective connections" J. Math. and Mech. , 13 : 2 (1964) pp. 215–235|
|[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=19016