Projective deformation

An extension to projective geometry of the concept of deformation (superposition) in the metric theory of surfaces, given by G. Fubini in 1916 (a generalization of this concept to the geometry of any group of transformations was obtained by E. Cartan in 1920) using the concept of the so-called rolling of one surface over the other.

Let be the group of transformations of a space . A surface is superposed on a surface (or rolls over ) in the geometry of the group if a one-to-one correspondence is established between the points of and so that to each pair of corresponding points and a transformation can be assigned that takes into the position . It is also required that

1) be identified with ;

2) every curve passing through has at this point an -th order tangency with the corresponding curve (that is, the distance between two points and close to the common point will be an infinitesimal of order with respect to their distance from the common point). The correspondence between and characterized by the number is called a superposition of order .

The contents of the notion of a distance here does not impose restrictions on the geometry of the group. However, here the order of tangency of curves is understood in a somewhat more narrow than usual sense of the word (the difference is that the correspondence between the points of the two curves is already established by the superposition, while usually it is established in defining the order of tangency).

Next, let be the group of projective transformations and let and be projectively superposed. Then a projective deformation is a transformation of preserving the projective line element

where and are the Fubini forms (cf. Fubini form; in this case one has superposition of order two). And it turns out that besides ruled surfaces only the so-called -surfaces (see [1]) admit a non-trivial projective deformation.

Projective geometry occupies some middle position between metric geometry, where in general every surface can be deformed, and affine geometry, where the concept of deformation does not exist: Any two surfaces admit superposition of order one and no two different surfaces can have superposition of order two.

References

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

References

[a1]	S. Kobayashi, "Transformation groups in differential geometry" , Springer (1972)