SUPPORT THE WORK

# GetWiki

### differential geometry

ARTICLE SUBJECTS
news  →
unix  →
wiki  →
ARTICLE TYPES
feed  →
help  →
wiki  →
ARTICLE ORIGINS
differential geometry
[ temporary import ]
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
File:Hyperbolic triangle.svg|thumb|235px|right|A triangle immersed in a saddle-shape plane (a hyperbolic paraboloid), as well as two diverging ultraparallel lines.]]{{General geometry |branches}}Differential geometry is a mathematical discipline that uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra to study problems in geometry. The theory of plane and space curves and surfaces in the three-dimensional Euclidean space formed the basis for development of differential geometry during the 18th century and the 19th century.Since the late 19th century, differential geometry has grown into a field concerned more generally with the geometric structures on differentiable manifolds. Differential geometry is closely related to differential topology and the geometric aspects of the theory of differential equations. The differential geometry of surfaces captures many of the key ideas and techniques endemic to this field.

## Branches

### Riemannian geometry

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. The notion of a directional derivative of a function from 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, the Theorema Egregium of Carl Friedrich Gauss showed that 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 with a Riemannian manifold that measures how close it is to being flat. An important class of Riemannian manifolds is the Riemannian symmetric spaces, whose curvature is not necessarily constant. These are the closest analogues 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 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. A Finsler structure on a manifold {{math|M}} is a function {{math|F : TM â†’ [0, âˆž)}} such that:
1. {{math|1=F(x, my) = m F(x, y)}} for all {{math|(x, y)}} in {{math|TM}} and all {{math|mâ‰¥0}},
2. {{math|F}} is infinitely differentiable in {{math|TM âˆ– {0}{{void}}}},
3. The vertical Hessian of {{math|F2}} 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: {{nowrap|1=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 Joseph Louis Lagrange on analytical mechanics and later in Carl Gustav Jacobi's and William Rowan Hamilton's formulations 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 then proved by G.D. 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.The area preserving condition (or the twisting condition) cannot be removed. 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.

### 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 {{nowrap|(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"). Near each point p, a hyperplane distribution is determined by a nowhere vanishing 1-form alpha, which is unique up to multiplication by a nowhere vanishing function:
H_p = keralpha_psubset T_{p}M.
A local 1-form on M is a contact form if the restriction of its exterior derivative to H is a non-degenerate two-form and thus induces a symplectic structure on Hp at each point. If the distribution H can be defined by a global one-form alpha then this form is contact if and only if the top-dimensional form
alphawedge (dalpha)^n
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 M, endowed with a tensor of type (1, 1), i.e. a vector bundle endomorphism (called an almost complex structure)
J:TMrightarrow TM , such that J^2=-1. ,
It follows from this definition that an almost complex manifold is even-dimensional.An almost complex manifold is called complex if N_J=0, where N_J is a tensor of type (2, 1) related to J, 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
g(JX,JY)=g(X,Y) ,.
An almost Hermitian structure defines naturally a differential two-form
omega_{J,g}(X,Y):=g(JX,Y) ,.
The following two conditions are equivalent:
1. N_J=0mbox{ and }domega=0 ,
2. nabla J=0 ,
where nabla is the Levi-Civita connection of g. In this case, (J, g) 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.

### Differential topology

Differential topology is the study of global geometric invariants without a metric or symplectic form.Differential topology starts from the natural operations such as Lie derivative of natural vector bundles and de Rham differential of forms. Beside Lie algebroids, also Courant algebroids start playing a more important role.

### Lie groups

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 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 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.BOOK, David, Hestenes, The Shape of Differential Geometry in Geometric Calculus,weblink Guide to Geometric Algebra in Practice, L., Dorst, J., Lasenby, Springer Verlag, 2011, 393â€“410, There is also a pdf{{Dead link|date=July 2019 |bot=InternetArchiveBot |fix-attempted=yes }} available of a scientific talk on the subject

## Applications

{{Spacetime|cTopic=Introduction}}Below are some examples of how differential geometry is applied to other fields of science and mathematics.

{{div col|colwidth=15em}} {{div col end}}

## References

{{reflist|30em}}

• BOOK, Ethan D. Bloch, A First Course in Geometric Topology and Differential Geometry,weblink 27 June 2011, Springer Science & Business Media, 978-0-8176-8122-7,
• BOOK, Applied Differential Geometry, William L., Burke, 1985,
• BOOK, Differential Geometry of Curves and Surfaces, Manfredo, do Carmo, Manfredo do Carmo, 978-0-13-212589-5, 1976, Classical geometric approach to differential geometry without tensor analysis.
• BOOK, Riemannian Geometry, Manfredo, do Carmo, Manfredo do Carmo, 1994,
• BOOK, The geometry of physics: an introduction, Theodore, Frankel, Theodore Frankel, 2nd, 2004, 978-0-521-53927-2,
• BOOK, Elsa Abbena, Simon Salamon, Alfred Gray, Modern Differential Geometry of Curves and Surfaces with Mathematica,weblink 6 September 2017, CRC Press, 978-1-351-99220-6,
• BOOK, Differential Geometry, Erwin, Kreyszig, 978-0-486-66721-8, 1991, Good classical geometric approach to differential geometry with tensor machinery.
• BOOK, Differential Geometry: Curves â€“ Surfaces â€“ Manifolds, Wolfgang, KÃ¼hnel, 2nd, 2002, 978-0-8218-3988-1,
• BOOK, Geometry from a Differentiable Viewpoint, John, McCleary, 1994,
• BOOK, A Comprehensive Introduction to Differential Geometry (5 Volumes), 3rd, Michael, Spivak, Michael Spivak, 1999,
• BOOK, Front-End Vision and Multi-Scale Image Analysis, Bart M., ter Haar Romeny, 978-1-4020-1507-6, 2003,

{{Sister project links| wikt=no | commons=no | b=no | n=no | q=Differential geometry | s=no | v=no | voy=no | species=no | d=no}} {{Areas of mathematics}}{{tensors}}{{Authority control}}

- content above as imported from Wikipedia
- "differential geometry" does not exist on GetWiki (yet)
- time: 1:20am EDT - Wed, Sep 18 2019
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 09 JUL 2019
Eastern Philosophy
History of Philosophy
GETWIKI 09 MAY 2016
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
GETWIKI 20 AUG 2014
GETWIKI 19 AUG 2014
CONNECT