# Differential geometry

**Differential geometry** is a mathematical discipline that uses the methods of differential and integral calculus to study problems in geometry. The theory of plane and space curves and of surfaces in the three-dimensional Euclidean space formed the basis for its initial development in the eighteenth and nineteenth century. Since the late nineteenth century, differential geometry has grown into a field concerned more generally with geometric structures on differentiable manifolds. It is closely related with differential topology and with the geometric aspects of the theory of differential equations. The proof of the Poincare conjecture using the techniques of Ricci flow demonstrated the power of the differential-geometric approach to questions in topology and highlighted the important role played by the analytic methods.

## Branches of differential geometry

### Riemannian geometry

Riemannian geometry studies Riemannian manifolds, smooth manifolds with a *Riemannian metric*, a notion of a distance expressed by means of a positive definite symmetric bilinear form defined on the tangent space at each point. Riemannian geometry generalizes Euclidean geometry to spaces that are not necessarily flat, although they still resemble the Euclidean space at each point "infinitesimally", i.e. in the first order of approximation. Various concepts based on length, such as the arc length of curves, area of plane regions, and volume of solids all admit natural analogues in Riemannian geometry. The notion of a directional derivative of a function from the multivariable calculus is extended in Riemannian geometry to the notion of a covariant derivative of a tensor. Many concepts and techniques of analysis and differential equations have been generalized to the setting of Riemannian manifolds.

A distance-preserving diffeomorphism between Riemannian manifolds is called an isometry. This notion can also be defined *locally*, i.e. for small neighborhoods of points. Any two regular curves are locally isometric. However, Theorema Egregium of Gauss showed that already for surfaces, the existence of a local isometry imposes strong compatibility conditions on their metrics: the Gaussian curvatures at the corresponding points must be the same. In higher dimensions, the Riemann curvature tensor is an important pointwise invariant associated to a Riemannian manifold that measures how close it is to being flat. An important class of Riemannian manifolds is formed by the Riemannian symmetric spaces, whose curvature is constant. They are the closest to the "ordinary" plane and space considered in Euclidean and non-Euclidean geometry.

### Pseudo-Riemannian geometry

Pseudo-Riemannian geometry generalizes Riemannian geometry to the case in which the metric tensor need not be positive-definite. A special case of this is a Lorentzian manifold which is the mathematical basis of Einstein's general relativity theory of gravity.

### Finsler geometry

Finsler geometry has the *Finsler manifold * as the main object of study — this is a differential manifold with a Finsler metric, i.e. a Banach norm defined on each tangent space. A Finsler metric is a much more general structure than a Riemannian metric. A Finsler structure on a manifold *M* is a function *F* : T*M* → [0,∞) such that:

*F*(*x*,*my*) =*mF*(*x*,*y*) for all*x*,*y*in T*M*,*F*is infinitely differentiable in T*M*− {0},- The vertical Hessian of
*F*^{2}is positive definite.

### Symplectic geometry

Symplectic geometry is the study of symplectic manifolds. An **almost symplectic manifold** is a differentiable manifold equipped with a smoothly varying non-degenerate skew-symmetric bilinear form on each tangent space, i.e., a nondegenerate 2-form *ω*, called the *symplectic form*. A symplectic manifold is an almost symplectic manifold for which the symplectic form *ω* is closed: d*ω* = 0.

A diffeomorphism between two symplectic manifolds which preserves the symplectic form is called a symplectomorphism. Non-degenerate skew-symmetric bilinear forms can only exist on even dimensional vector spaces, so symplectic manifolds necessarily have even dimension. In dimension 2, a symplectic manifold is just a surface endowed with an area form and a symplectomorphism is an area-preserving diffeomorphism. The phase space of a mechanical system is a symplectic manifold and they made an implicit appearance already in the work of Lagrange on analytical mechanics and later in Jacobi's and Hamilton's formulation of classical mechanics.

By contrast with Riemannian geometry, where the curvature provides a local invariant of Riemannian manifolds, Darboux's theorem states that all symplectic manifolds are locally isomorphic. The only invariants of a symplectic manifold are global in nature and topological aspects play a prominent role in symplectic geometry. The first result in symplectic topology is probably the Poincaré-Birkhoff theorem, conjectured by Henri Poincaré and proved by George Birkhoff in 1912. It claims that if an area preserving map of an annulus twists each boundary component in opposite directions, then the map has at least two fixed points.^{[1]}

### Contact geometry

Contact geometry deals with certain manifolds of odd dimension. It is close to symplectic geometry and like the latter, it originated in questions of classical mechanics. A *contact structure* on a (2*n*+1)-dimensional manifold *M* is given by a smooth hyperplane field *H* in the tangent bundle that is as far as possible from being associated with the level sets of a differentiable function on *M* (the technical term is "completely nonintegrable tangent hyperplane distribution"). Near each point *p*, a hyperplane distribution is determined by a nowhere vanishing 1-form <math>\alpha</math>, which is unique up to multiplication by a nowhere vanishing function:

- <math> H_p = \ker\alpha_p\subset T_{p}M.</math>

A local 1-form on *M* is a *contact form* if the restriction of its exterior derivative to *H* is a non-degenerate 2-form and thus induces a symplectic structure on *H*_{p} at each point. If the distribution *H* can be defined by a global 1-form <math>\alpha</math> then this form is contact if and only if the top-dimensional form

- <math>\alpha\wedge (d\alpha)^n</math>

is a volume form on *M*, i.e. does not vanish anywhere. A contact analogue of the Darboux theorem holds: all contact structures on an odd-dimensional manifold are locally isomorphic and can be brought to a certain local normal form by a suitable choice of the coordinate system.

### Complex and Kähler geometry

*Complex differential geometry* is the study of complex manifolds.
An almost complex manifold is a *real* manifold <math>M</math>, endowed with a tensor of type (1,1), i.e. a vector bundle endomorphism (called an *almost complex structure*)

<math> J:TM\rightarrow TM </math>, such that <math>J^2=-1</math>.

It follows from this definition that an almost complex manifold is even dimensional.

An almost complex manifold is called *complex* if <math>N_J=0</math>, where <math>N_J</math> is a tensor of type (2,1) related to <math>J</math>, called the Nijenhuis tensor (or sometimes the *torsion*).
An almost complex manifold is complex if and only if it admits a holomorphic coordinate atlas.
An *almost Hermitian structure* is given by an almost complex structure *J*, along with a riemannian metric *g*, satisfying the compatibility condition
<math>g(JX,JY)=g(X,Y)</math>. An almost hermitian structure
defines naturally a differential 2-form
<math>\omega_{J,g}(X,Y):=g(JX,Y)</math>.
The following two conditions are equivalent:

- <math> N_J=0\mbox{ and }d\omega=0,</math>
- <math>\nabla J=0,</math>

where <math>\nabla</math> is the Levi-Civita connection of <math>g</math>. In this case, <math>(J, g)</math> is called a *Kähler structure*, and a *Kähler manifold* is a manifold endowed with a Kähler structure. In particular, a Kähler manifold is both a complex and a symplectic manifold. A large class of Kähler manifolds (the class of Hodge manifolds) is given by all the smooth complex projective varieties.

### CR geometry

CR geometry is the study of the intrinsic geometry of boundaries of domains in complex manifolds.

## Bundles and connections

The apparatus of vector bundles, principal bundles, and connections on them plays an extraordinarily important role in the modern differential geometry. A smooth manifold always carries a natural vector bundle, the tangent bundle. Loosely speaking, this structure by itself is sufficient only for developing analysis on the manifold, while doing geometry requires in addition some way to relate the tangent spaces at different points, i.e. a notion of parallel transport. An important example is provided by affine connections. For a surface in **R**^{3}, tangent planes at different points can be identified using the flat nature of the ambient Euclidean space. In Riemannian geometry, the Levi-Civita connection serves a similar purpose. More generally, differential geometers consider spaces with a vector bundle and a connection as a replacement for the notion of a Riemannian manifold. In this approach, the bundle is *external* to the manifold and has to be specified as a part of the structure, while the connection provides a further enhancement. In physics, the manifold may be the spacetime and bundles and connections correspond to various physical fields.

## Intrinsic versus extrinsic

Initially and up to the middle of the nineteenth century, differential geometry was studied from the *extrinsic* point of view: curves and surfaces were considered as lying in a Euclidean space of higher dimension (for example a surface in an ambient space of three dimensions). The simplest results are those in the differential geometry of curves. Starting with the work of Riemann, the *intrinsic* point of view was developed, in which one cannot speak of moving 'outside' the geometric object because it is considered as given in a free-standing way.

The intrinsic point of view is more flexible. For example, it is useful in relativity where space-time cannot naturally be taken as extrinsic (what would be 'outside' it?). With the intrinsic point of view it is harder to define the central concept of curvature and other structures such as connections, so there is a price to pay.

These two points of view can be reconciled, i.e. the extrinsic geometry can be considered as a structure additional to the intrinsic one. (See the Nash embedding theorem.)

## Applications of differential geometry

Below are some examples of how differential geometry is applied to other fields of science and mathematics.

- In physics, differential geometry is the language in which Einstein's general theory of relativity is expressed. According to the theory, the universe is a smooth manifold equipped with pseudo-Riemannian metric, which described the curvature of space-time. Understanding this curvature is essential for the positioning of satellites into orbit around the earth. Differential geometry is also indispensable in the study of gravitational lensing and black holes.
- In economics, differential geometry has applications to the field of econometrics
^{[2]}. - Geometric modeling (including computer graphics) and computer-aided geometric design draw on ideas from differential geometry.
- In engineering, differential geometry can be applied to solve problems in digital signal processing
^{[3]}. - In physics, the use of differential forms is useful in the study of electromagnetism.
- In physics, differential geometry has applications to both Lagrangian mechanics and Hamiltonian mechanics. Symplectic manifolds in particular can be used to study Hamiltonian systems.

## See also

- Integral geometry
- List of differential geometry topics
- Glossary of differential geometry and topology
- Important publications in differential geometry
- Important publications in differential topology
- Basic introduction to the mathematics of curved spacetime

## Notes

- ↑ It is easy to show that the area preserving condition (or the twisting condition) cannot be removed. Note that if one tries to extend such a theorem to higher dimensions, one would probably guess that a volume preserving map of a certain type must have fixed points. This is false in dimensions greater than 3.
- ↑ Paul Marriott and Mark Salmon, "Applications of Differential Geometry to Econometrics".
- ↑ Jonathan H. Manton, "On the role of differential geometry in signal processing" [1].

## References

- Theodore Frankel (2004).
*The geometry of physics: an introduction*(second edition ed.). ISBN 0-521-53927-7. - Spivak, Michael (1999).
*A Comprehensive Introduction to Differential Geometry (5 Volumes)*(3rd Edition ed.). - do Carmo, Manfredo (1976).
*Differential Geometry of Curves and Surfaces*. ISBN 0-13-212589-7. A classical geometric approach to differential geometry without the tensor machinery. - do Carmo, Manfredo Perdigao (1994).
*Riemannian Geometry*. Translated by Francis Flaherty. - McCleary, John (1994).
*Geometry from a Differentiable Viewpoint*. - Bloch, Ethan D. (1996).
*A First Course in Geometric Topology and Differential Geometry*. - Gray, Alfred (1998).
*Modern Differential Geometry of Curves and Surfaces with Mathematica*(2nd ed. ed.). - Burke, William L. (1985).
*Applied Differential Geometry*. - ter Haar Romeny, Bart M.
*Front-End Vision and Multi-Scale Image Analysis*. ISBN 1-4020-1507-0. Text " year 2003" ignored (help)

## External links

- Michael Murray's online differential geometry course, 1996
- A Modern Course on Curves and Surface, Richard S Palais, 2003
- Richard Palais's 3DXM Surfaces Gallery
- Balázs Csikós's Notes on Differential Geometry
- Modern Differential Geometry for Maple
- N. J. Hicks, Notes on Differential Geometry, Van Nostrand.

bg:Диференциална геометрия ca:Geometria diferencial cs:Diferenciální geometrie da:Differentialgeometri de:Differentialgeometrie ko:미분기하학 it:Geometria differenziale ka:დიფერენციალური გეომეტრია და ტოპოლოგია nl:Differentiaalmeetkunde sv:Differentialgeometri uk:Диференціальна геометрія і топологія