Projective connection

The first step in defining any Cartan connection is to consider the flat case: in which the connection corresponds to the Maurer-Cartan form on a homogeneous space.

In the projective setting, the underlying manifold M of the homogeneous space is the projective space RPⁿ which we shall represent by homogeneous coordinates [x₀,...,x_n]. The symmetry group of M is G = PSL(n+1,R).[1] Let H be the isotropy group of the point [1,0,0,...,0]. Thus, M = G/H presents M as a homogeneous space.

Let ${\displaystyle {\mathfrak {g}}}$ be the Lie algebra of G, and ${\displaystyle {\mathfrak {h}}}$ that of H. Note that ${\displaystyle {\mathfrak {g}}={\mathfrak {s}}{\mathfrak {l}}(n+1,{\mathbb {R} })}$. As matrices relative to the homogeneous basis, ${\displaystyle {\mathfrak {g}}}$ consists of trace-free (n+1)×(n+1) matrices:

${\displaystyle \left({\begin{matrix}\lambda &v^{i}\\w_{j}&a_{j}^{i}\end{matrix}}\right),\quad (v^{i})\in {\mathbb {R} }^{1\times n},(w_{j})\in {\mathbb {R} }^{n\times 1},(a_{j}^{i})\in {\mathbb {R} }^{n\times n},\lambda =-\sum _{i}a_{i}^{i}}$.

And ${\displaystyle {\mathfrak {h}}}$ consists of all these matrices with (w_j) = 0. Relative to the matrix representation above, the Maurer-Cartan form of G is a system of 1-forms (ζ, α_j, α_jⁱ, αⁱ) satisfying the structural equations[2]

dζ + ∑_i αⁱ∧α_i = 0

dα_j + α_j∧ζ + ∑_k α_j^k∧α_k = 0

dα_jⁱ + αⁱ∧α_j + ∑_k α_kⁱ∧α_j^k = 0

dαⁱ + ζ∧αⁱ + ∑_kα^k∧α_kⁱ = 0[3]

A projective structure is a linear geometry on a manifold in which two nearby points are connected by a line (i.e., an unparametrized geodesic) in a unique manner. Furthermore, an infinitesimal neighborhood of each point is equipped with a class of projective frames. According to Cartan (1924),

Une variété (ou espace) à connexion projective est une variété numérique qui, au voisinage immédiat de chaque point, présente tous les caractères d'un espace projectif et douée de plus d'une loi permettant de raccorder en un seul espace projectif les deux petits morceaux qui entourent deux points infiniment voisins. ...

Analytiquement, on choisira, d'une manière d'ailleurs arbitraire, dans l'espace projectif attaché à chaque point a de la variété, un repére définissant un système de coordonnées projectives. ... Le raccord entre les espaces projectifs attachés à deux points infiniment voisins a et a' se traduira analytiquement par une transformation homographique. ...[4]

This is analogous to Cartan's notion of an affine connection, in which nearby points are thus connected and have an affine frame of reference which is transported from one to the other (Cartan, 1923):

La variété sera dite à "connexion affine" lorsqu'on aura défini, d'une manière d'ailleurs arbitraire, une loi permettant de repérer l'un par rapport à l'autre les espaces affines attachés à deux points infiniment voisins quelconques m et m' de la variété; cete loi permettra de dire que tel point de l'espace affine attaché au point m' correspond à tel point de l'espace affine attaché au point m, que tel vecteur du premier espace es parallèle ou équipollent à tel vecteur du second espace.[5]

In modern language, a projective structure on an n-manifold M is a Cartan geometry modelled on projective space, where the latter is viewed as a homogeneous space for PSL(n+1,R). In other words it is a PSL(n+1,R)-bundle equipped with

• a PSL(n+1,R)-connection (the Cartan connection)
• a reduction of structure group to the stabilizer of a point in projective space

such that the solder form induced by these data is an isomorphism.

• Ü. Lumiste (2001) [1994], "Projective connection", Encyclopedia of Mathematics, EMS Press