In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, geometry and topology is an
umbrella term
In linguistics, semantics, general semantics, and ontologies, hyponymy () is a semantic relation between a hyponym denoting a subtype and a hypernym or hyperonym (sometimes called umbrella term or blanket term) denoting a supertype. In othe ...
for the historically distinct disciplines of
geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
and
topology
In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing ...
, as general frameworks allow both disciplines to be manipulated uniformly, most visibly in
local to global theorems in Riemannian geometry, and results like the
Gauss–Bonnet theorem and
Chern–Weil theory.
Sharp distinctions between geometry and topology can be drawn, however, as discussed below.
It is also the title of a journal ''
Geometry & Topology
''Geometry & Topology'' is a peer-refereed, international mathematics research journal devoted to geometry and topology, and their applications. It is currently based at the University of Warwick, United Kingdom, and published by Mathematica ...
'' that covers these topics.
Scope
It is distinct from "geometric topology", which more narrowly involves applications of topology to geometry.
It includes:
*
Differential geometry and topology
*
Geometric topology
In mathematics, geometric topology is the study of manifolds and maps between them, particularly embeddings of one manifold into another.
History
Geometric topology as an area distinct from algebraic topology may be said to have originate ...
(including
low-dimensional topology and
surgery theory
In mathematics, specifically in geometric topology, surgery theory is a collection of techniques used to produce one finite-dimensional manifold from another in a 'controlled' way, introduced by . Milnor called this technique ''surgery'', while And ...
)
It does not include such parts of
algebraic topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify ...
as
homotopy theory
In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is studied as an independent discipline. Besides algebraic topolo ...
, but some areas of geometry and topology (such as surgery theory, particularly
algebraic surgery theory) are heavily algebraic.
Distinction between geometry and topology
Geometry has ''local'' structure (or
infinitesimal
In mathematics, an infinitesimal number is a quantity that is closer to zero than any standard real number, but that is not zero. The word ''infinitesimal'' comes from a 17th-century Modern Latin coinage ''infinitesimus'', which originally re ...
), while topology only has ''global'' structure. Alternatively, geometry has ''continuous''
moduli, while topology has ''discrete'' moduli.
By examples, an example of geometry is
Riemannian geometry, while an example of topology is
homotopy theory
In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is studied as an independent discipline. Besides algebraic topolo ...
. The study of
metric space
In mathematics, a metric space is a set together with a notion of '' distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general setti ...
s is geometry, the study of
topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called poin ...
s is topology.
The terms are not used completely consistently:
symplectic manifold
In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, M , equipped with a closed nondegenerate differential 2-form \omega , called the symplectic form. The study of symplectic manifolds is called sym ...
s are a boundary case, and
coarse geometry In the mathematical fields of geometry and topology, a coarse structure on a set ''X'' is a collection of subsets of the cartesian product ''X'' × ''X'' with certain properties which allow the ''large-scale structure'' of metric spaces and topo ...
is global, not local.
Local versus global structure
By definition,
differentiable manifold
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One ma ...
s of a fixed dimension are all locally diffeomorphic to
Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidea ...
, so aside from dimension, there are no local invariants. Thus, differentiable structures on a manifold are topological in nature.
By contrast, the
curvature
In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane.
For curves, the can ...
of a
Riemannian manifold
In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g'p'' on the tangent space ...
is a local (indeed, infinitesimal) invariant (and is the only local invariant under
isometry
In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος ''isos'' ...
).
Moduli
If a structure has a discrete moduli (if it has no
deformations, or if a deformation of a structure is isomorphic to the original structure), the structure is said to be rigid, and its study (if it is a geometric or topological structure) is topology. If it has non-trivial deformations, the structure is said to be flexible, and its study is geometry.
The space of
homotopy
In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic (from grc, ὁμός "same, similar" and "place") if one can be "continuously deformed" into the other, such a deform ...
classes of maps is discrete, so studying maps up to homotopy is topology.
Similarly, differentiable structures on a manifold is usually a discrete space, and hence an example of topology, but
exotic R4s have continuous moduli of differentiable structures.
Algebraic varieties have continuous
moduli space
In mathematics, in particular algebraic geometry, a moduli space is a geometric space (usually a scheme or an algebraic stack) whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of such objects. Such sp ...
s, hence their study is
algebraic geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
. These are finite-dimensional moduli spaces.
The space of Riemannian metrics on a given differentiable manifold is an infinite-dimensional space.
Symplectic manifolds
Symplectic manifold
In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, M , equipped with a closed nondegenerate differential 2-form \omega , called the symplectic form. The study of symplectic manifolds is called sym ...
s are a boundary case, and parts of their study are called
symplectic topology and
symplectic geometry
Symplectic geometry is a branch of differential geometry and differential topology that studies symplectic manifolds; that is, differentiable manifolds equipped with a closed, nondegenerate 2-form. Symplectic geometry has its origins in the ...
.
By
Darboux's theorem, a symplectic manifold has no local structure, which suggests that their study be called topology.
By contrast, the space of symplectic structures on a manifold form a continuous moduli, which suggests that their study be called geometry.
However, up to
isotopy, the space of symplectic structures is discrete (any family of symplectic structures are isotopic).
Introduction to Lie Groups and Symplectic Geometry
by Robert Bryant, p. 103–104
Notes
References
{{DEFAULTSORT:Geometry And Topology