Differential geometry (nonfiction)

From Gnomon Chronicles
A triangle immersed in a saddle-shape plane (a hyperbolic paraboloid), as well as two diverging ultraparallel lines.

Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of vector calculus, linear algebra, and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries.

Since the late 19th century, differential geometry has grown into a field concerned more generally with geometric structures on differentiable manifolds. A geometric structure is one which defines some notion of size, distance, shape, volume, or other rigidifying structure. For example, in Riemannian geometry distances and angles are specified, in symplectic geometry volumes may be computed, in conformal geometry only angles are specified, and in gauge theory certain fields are given over the space. Differential geometry is closely related to, and is sometimes taken to include, differential topology, which concerns itself with properties of differentiable manifolds that do not rely on any additional geometric structure (see that article for more discussion on the distinction between the two subjects). Differential geometry is also related to the geometric aspects of the theory of differential equations, otherwise known as geometric analysis.

Differential geometry finds applications throughout mathematics and the natural sciences. Most prominently the language of differential geometry was used by Albert Einstein in his theory of general relativity, and subsequently by physicists in the development of quantum field theory and the Standard Model of particle physics. Outside of physics, differential geometry finds applications in chemistry, economics, engineering, control theory, computer graphics and computer vision, and recently in machine learning.

History

Differential geometry arose and developed as a result of and in connection to the mathematical analysis of curves and surfaces. Mathematical analysis of curves and surfaces had been developed to answer some of the nagging and unanswered questions that appeared in calculus, like the reasons for relationships between complex shapes and curves, series and analytic functions. These unanswered questions indicated greater, hidden relationships.

The general idea of natural equations for obtaining curves from local curvature appears to have been first considered by Leonhard Euler in 1736, and many examples with fairly simple behavior were studied in the 1800s.

When curves, surfaces enclosed by curves, and points on curves were found to be quantitatively, and generally, related by mathematical forms, the formal study of the nature of curves and surfaces became a field of study in its own right, with Gaspard Monge's paper in 1795, and especially, with Carl Friedrich Gauss's publication of his Disquisitiones Generales Circa Superficies Curvas in Commentationes Societatis Regiae Scientiarum Gottingesis Recentiores in 1827.

Initially applied to the Euclidean space, further explorations led to non-Euclidean space, and metric and topological spaces.

Branches

Branches of differential geometry include:

  • Riemannian geometry studies Riemannian manifolds, smooth manifolds with a Riemannian metric. This is a concept of distance expressed by means of a smooth 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 possess natural analogues in 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 has Finsler manifolds as the main object of study. This is a differential manifold with a Finsler metric, that is, a Banach norm defined on each tangent space. Riemannian manifolds are special cases of the more general Finsler manifolds.
  • 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.
  • 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 (2n + 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").
  • Complex differential geometry is the study of complex manifolds.
  • CR geometry is the study of the intrinsic geometry of boundaries of domains in complex manifolds.
  • Differential topology starts from the natural operations such as Lie derivative of natural vector bundles and exterior derivatives of differential forms. Beside Lie algebroids, also Courant algebroids start playing a more important role.
  • A Lie group is a group in the category of smooth manifolds. Beside the algebraic properties this enjoys also differential geometric properties. The most obvious construction is that of a Lie algebra which is the tangent space at the unit endowed with the Lie bracket between left-invariant vector fields. Beside the structure theory there is also the wide field of representation theory.

Bundles and connections

The apparatus of vector bundles, principal bundles, and connections on bundles plays an extraordinarily important role in 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 topological surface in R3, tangent planes at different points can be identified using a natural path-wise parallelism induced by the ambient Euclidean space, which has a well-known standard definition of metric and parallelism. In Riemannian geometry, the Levi-Civita connection serves a similar purpose. (The Levi-Civita connection defines path-wise parallelism in terms of a given arbitrary Riemannian metric on a manifold.) More generally, differential geometers consider spaces with a vector bundle and an arbitrary affine connection which is not defined in terms of a metric. In physics, the manifold may be the space-time continuum and the bundles and connections are related to various physical fields.

Intrinsic versus extrinsic

From the beginning and through the middle of the 18th 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 and differential geometry of surfaces. Starting with the work of Bernhard Riemann, the intrinsic point of view was developed, in which one cannot speak of moving "outside" the geometric object because it is considered to be given in a free-standing way. The fundamental result here is Gauss's Theorema Egregium, to the effect that Gaussian curvature is an intrinsic invariant.

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" of it?). However, there is a price to pay in technical complexity: the intrinsic definitions of curvature and connections become much less visually intuitive.

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.) In the formalism of geometric calculus both extrinsic and intrinsic geometry of a manifold can be characterized by a single bivector-valued one-form called the shape operator.

Applications

Applications of differential geometry include:

  • In physics, differential geometry has many applications, including:
    • 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 a pseudo-Riemannian metric, which describes 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.
    • Differential forms are used in the study of electromagnetism.
    • Differential geometry has applications to both Lagrangian mechanics and Hamiltonian mechanics.
    • Symplectic manifolds in particular can be used to study Hamiltonian systems.

Riemannian geometry and contact geometry have been used to construct the formalism of geometrothermodynamics which has found applications in classical equilibrium thermodynamics.

  • In chemistry and biophysics when modelling cell membrane structure under varying pressure.
  • In economics, differential geometry has applications to the field of econometrics.

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.
  • In control theory, differential geometry can be used to analyze nonlinear controllers, particularly geometric control.
  • In probability, statistics, and information theory, one can interpret various structures as Riemannian manifolds, which yields the field of information geometry, particularly via the Fisher information metric.
  • In structural geology, differential geometry is used to analyze and describe geologic structures.
  • In computer vision, differential geometry is used to analyze shapes.
  • In image processing, differential geometry is used to process and analyse data on non-flat surfaces.
  • Grigori Perelman's proof of the Poincaré conjecture using the techniques of Ricci flows demonstrated the power of the differential-geometric approach to questions in Topology (nonfiction)|topology]] and it highlighted the important role played by its analytic methods.
  • In wireless communications, Grassmannian manifolds are used for beamforming techniques in multiple antenna systems.

In the News

Fiction cross-reference

Nonfiction cross-reference

Categories

External links

Retrieved from "https://gnomonchronicles.com/w/index.php?title=Differential_geometry_(nonfiction)&oldid=229073"