In mathematics, projective differential geometry is the study of differential geometry, from the point of view of properties of mathematical objects such as functions,

diffeomorphism In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are differentiable. Definition Given tw ...

s, and

submanifold In mathematics, a submanifold of a manifold ''M'' is a subset ''S'' which itself has the structure of a manifold, and for which the inclusion map satisfies certain properties. There are different types of submanifolds depending on exactly which ...

s, that are invariant under transformations of the projective group. This is a mixture of the approaches from

Riemannian geometry Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, smooth manifolds with a ''Riemannian metric'', i.e. with an inner product on the tangent space at each point that varies smoothly from point to po ...

of studying invariances, and of the

Erlangen program In mathematics, the Erlangen program is a method of characterizing geometries based on group theory and projective geometry. It was published by Felix Klein in 1872 as ''Vergleichende Betrachtungen über neuere geometrische Forschungen.'' It is na ...

of characterizing geometries according to their group symmetries. The area was much studied by mathematicians from around 1890 for a generation (by J. G. Darboux, George Henri Halphen, Ernest Julius Wilczynski, E. Bompiani, G. Fubini, Eduard Čech, amongst others), without a comprehensive theory of differential invariants emerging.

Élie Cartan Élie Joseph Cartan (; 9 April 1869 – 6 May 1951) was an influential French mathematician who did fundamental work in the theory of Lie groups, differential systems (coordinate-free geometric formulation of PDEs), and differential geometry ...

formulated the idea of a general projective connection, as part of his method of moving frames; abstractly speaking, this is the level of generality at which the Erlangen program can be reconciled with differential geometry, while it also develops the oldest part of the theory (for the

projective line In mathematics, a projective line is, roughly speaking, the extension of a usual line by a point called a ''point at infinity''. The statement and the proof of many theorems of geometry are simplified by the resultant elimination of special cases; ...

), namely the

Schwarzian derivative In mathematics, the Schwarzian derivative is an operator similar to the derivative which is invariant under Möbius transformations. Thus, it occurs in the theory of the complex projective line, and in particular, in the theory of modular forms a ...

, the simplest projective differential invariant. Further work from the 1930s onwards was carried out by J. Kanitani,

Shiing-Shen Chern Shiing-Shen Chern (; , ; October 28, 1911 – December 3, 2004) was a Chinese-American mathematician and poet. He made fundamental contributions to differential geometry and topology. He has been called the "father of modern differential geom ...

, A. P. Norden, G. Bol, S. P. Finikov and

G. F. Laptev G is the seventh letter of the Latin alphabet. G may also refer to: Places * Gabon, international license plate code G * Glasgow, UK postal code G * Eastern Quebec, Canadian postal prefix G * Melbourne Cricket Ground in Melbourne, Australia, ...

. Even the basic results on

osculation In differential geometry, an osculating curve is a plane curve from a given family that has the highest possible order of contact with another curve. That is, if ''F'' is a family of smooth curves, ''C'' is a smooth curve (not in general belongin ...

curve In mathematics, a curve (also called a curved line in older texts) is an object similar to a line, but that does not have to be straight. Intuitively, a curve may be thought of as the trace left by a moving point. This is the definition that ...

s, a manifestly projective-invariant topic, lack any comprehensive theory. The ideas of projective differential geometry recur in mathematics and its applications, but the formulations given are still rooted in the language of the early twentieth century.

References

{{reflist * Ernest Julius Wilczynski
Projective differential geometry of curves and ruled surfaces
' (Leipzig: B.G. Teubner,1906)

See also

References

Further reading