Projective normal

A generalization of the concept of a normal in metric geometry. Distinct from the latter, where a normal is totally determined by the tangent plane to a surface (i.e. the first-order neighbourhood), this does not hold in projective geometry. Even terms of the first order of smallness do not determine the vertices of a coordinate tetrahedron not lying in the tangent plane (i.e. for a chosen Darboux quadric it is impossible to construct a single self-polar tetrahedron). This is a natural situation: the projective group is much larger than the group of motions, and therefore its invariants must be of higher order; but even in the fourth-order neighbourhood there is no unique straight line that could be taken as the third axis of a tetrahedron. In this way one obtains, e.g.:

the Wilczynski directrix

$$W=N+\frac1{\mathrm I}u^ir_i;$$

the Green edge

$$G=N+\frac14\left(g^{pq}\frac{\partial_q\mathrm I}{\mathrm I}-\frac1{\mathrm I}A_{ij}T^{ijp}\right)r_p;$$

the Čech axis

$$C=N+\frac13\left(g_{is}\frac{\partial_s\mathrm I}{2\mathrm I}-\frac1{\mathrm I}A_{jk}T^{ijk}\right)r_i;$$

and the Fubini normal

$$F=N+g^{is}\frac{\partial_s\mathrm I}{2\mathrm I}r_i.$$

Here $N$ is the affine normal.

They all lie in one plane.

References

 [1] P.A. Shirokov, A.P. Shirokov, "Differentialgeometrie" , Teubner (1962) (Translated from Russian) [2] A.P. Norden, "Spaces with an affine connection" , Nauka , Moscow-Leningrad (1976) (In Russian) [3] S.P. Finikov, "Projective differential geometry" , Moscow-Leningrad (1937) (In Russian)