In mathematics, **low-dimensional topology** is the branch of topology that studies manifolds, or more generally topological spaces, of four or fewer dimensions. Representative topics are the structure theory of 3-manifolds and 4-manifolds, knot theory, and braid groups. This can be regarded as a part of geometric topology. It may also be used to refer to the study of topological spaces of dimension 1, though this is more typically considered part of continuum theory.

- History
- Two dimensions
- Classification of surfaces
- Teichmüller space
- Uniformization theorem
- Three dimensions
- Knot and braid theory
- Hyperbolic 3-manifolds
- Poincaré conjecture and geometrization
- Four dimensions
- Exotic R4
- Other special phenomena in four dimensions
- A few typical theorems that distinguish low-dimensional topology
- See also
- References
- External links

A number of advances starting in the 1960s had the effect of emphasising low dimensions in topology. The solution by Stephen Smale, in 1961, of the Poincaré conjecture in higher dimensions made dimensions three and four seem the hardest; and indeed they required new methods, while the freedom of higher dimensions meant that questions could be reduced to computational methods available in surgery theory. Thurston's geometrization conjecture, formulated in the late 1970s, offered a framework that suggested geometry and topology were closely intertwined in low dimensions, and Thurston's proof of geometrization for Haken manifolds utilized a variety of tools from previously only weakly linked areas of mathematics. Vaughan Jones' discovery of the Jones polynomial in the early 1980s not only led knot theory in new directions but gave rise to still mysterious connections between low-dimensional topology and mathematical physics. In 2002, Grigori Perelman announced a proof of the three-dimensional Poincaré conjecture, using Richard S. Hamilton's Ricci flow, an idea belonging to the field of geometric analysis.

Overall, this progress has led to better integration of the field into the rest of mathematics.

A surface is a two-dimensional, topological manifold. The most familiar examples are those that arise as the boundaries of solid objects in ordinary three-dimensional Euclidean space **R**^{3}—for example, the surface of a ball. On the other hand, there are surfaces, such as the Klein bottle, that cannot be embedded in three-dimensional Euclidean space without introducing singularities or self-intersections.

The *classification theorem of closed surfaces* states that any connected closed surface is homeomorphic to some member of one of these three families:

- the sphere;
- the connected sum of
*g*tori, for ; - the connected sum of
*k*real projective planes, for .

The surfaces in the first two families are orientable. It is convenient to combine the two families by regarding the sphere as the connected sum of 0 tori. The number *g* of tori involved is called the *genus* of the surface. The sphere and the torus have Euler characteristics 2 and 0, respectively, and in general the Euler characteristic of the connected sum of *g* tori is 2 − 2*g*.

The surfaces in the third family are nonorientable. The Euler characteristic of the real projective plane is 1, and in general the Euler characteristic of the connected sum of *k* of them is 2 −*k*.

In mathematics, the **Teichmüller space***T _{X}* of a (real) topological surface

Teichmüller space has a canonical complex manifold structure and a wealth of natural metrics. The underlying topological space of Teichmüller space was studied by Fricke, and the Teichmüller metric on it was introduced by OswaldTeichmüller ( 1940 ).^{ [1] }

In mathematics, the **uniformization theorem** says that every simply connected Riemann surface is conformally equivalent to one of the three domains: the open unit disk, the complex plane, or the Riemann sphere. In particular it admits a Riemannian metric of constant curvature. This classifies Riemannian surfaces as elliptic (positively curved—rather, admitting a constant positively curved metric), parabolic (flat), and hyperbolic (negatively curved) according to their universal cover.

The uniformization theorem is a generalization of the Riemann mapping theorem from proper simply connected open subsets of the plane to arbitrary simply connected Riemann surfaces.

A topological space *X* is a 3-manifold if every point in *X* has a neighbourhood that is homeomorphic to Euclidean 3-space.

The topological, piecewise-linear, and smooth categories are all equivalent in three dimensions, so little distinction is made in whether we are dealing with say, topological 3-manifolds, or smooth 3-manifolds.

Phenomena in three dimensions can be strikingly different from phenomena in other dimensions, and so there is a prevalence of very specialized techniques that do not generalize to dimensions greater than three. This special role has led to the discovery of close connections to a diversity of other fields, such as knot theory, geometric group theory, hyperbolic geometry, number theory, Teichmüller theory, topological quantum field theory, gauge theory, Floer homology, and partial differential equations. 3-manifold theory is considered a part of low-dimensional topology or geometric topology.

Knot theory is the study of mathematical knots. While inspired by knots that appear in daily life in shoelaces and rope, a mathematician's knot differs in that the ends are joined together so that it cannot be undone. In mathematical language, a knot is an embedding of a circle in 3-dimensional Euclidean space, **R**^{3} (since we're using topology, a circle isn't bound to the classical geometric concept, but to all of its homeomorphisms). Two mathematical knots are equivalent if one can be transformed into the other via a deformation of **R**^{3} upon itself (known as an ambient isotopy); these transformations correspond to manipulations of a knotted string that do not involve cutting the string or passing the string through itself.

Knot complements are frequently-studied 3-manifolds. The knot complement of a tame knot *K* is the three-dimensional space surrounding the knot. To make this precise, suppose that *K* is a knot in a three-manifold *M* (most often, *M* is the 3-sphere). Let *N* be a tubular neighborhood of *K*; so *N* is a solid torus. The knot complement is then the complement of *N*,

A related topic is braid theory. Braid theory is an abstract geometric theory studying the everyday braid concept, and some generalizations. The idea is that braids can be organized into groups, in which the group operation is 'do the first braid on a set of strings, and then follow it with a second on the twisted strings'. Such groups may be described by explicit presentations, as was shown by EmilArtin ( 1947 ).^{ [2] } For an elementary treatment along these lines, see the article on braid groups. Braid groups may also be given a deeper mathematical interpretation: as the fundamental group of certain configuration spaces.

A hyperbolic 3-manifold is a 3-manifold equipped with a complete Riemannian metric of constant sectional curvature -1. In other words, it is the quotient of three-dimensional hyperbolic space by a subgroup of hyperbolic isometries acting freely and properly discontinuously. See also Kleinian model.

Its thick-thin decomposition has a thin part consisting of tubular neighborhoods of closed geodesics and/or ends that are the product of a Euclidean surface and the closed half-ray. The manifold is of finite volume if and only if its thick part is compact. In this case, the ends are of the form torus cross the closed half-ray and are called **cusps**. Knot complements are the most commonly studied cusped manifolds.

Thurston's geometrization conjecture states that certain three-dimensional topological spaces each have a unique geometric structure that can be associated with them. It is an analogue of the uniformization theorem for two-dimensional surfaces, which states that every simply-connected Riemann surface can be given one of three geometries (Euclidean, spherical, or hyperbolic). In three dimensions, it is not always possible to assign a single geometry to a whole topological space. Instead, the geometrization conjecture states that every closed 3-manifold can be decomposed in a canonical way into pieces that each have one of eight types of geometric structure. The conjecture was proposed by WilliamThurston ( 1982 ), and implies several other conjectures, such as the Poincaré conjecture and Thurston's elliptization conjecture.^{ [3] }

A **4-manifold** is a 4-dimensional topological manifold. A **smooth 4-manifold** is a 4-manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different. There exist some topological 4-manifolds that admit no smooth structure and even if there exists a smooth structure it need not be unique (i.e. there are smooth 4-manifolds that are homeomorphic but not diffeomorphic).

4-manifolds are of importance in physics because, in General Relativity, spacetime is modeled as a pseudo-Riemannian 4-manifold.

An **exotic****R**^{4} is a differentiable manifold that is homeomorphic but not diffeomorphic to the Euclidean space **R**^{4}. The first examples were found in the early 1980s by Michael Freedman, by using the contrast between Freedman's theorems about topological 4-manifolds, and Simon Donaldson's theorems about smooth 4-manifolds.^{ [4] } There is a continuum of non-diffeomorphic differentiable structures of **R**^{4}, as was shown first by Clifford Taubes.^{ [5] }

Prior to this construction, non-diffeomorphic smooth structures on spheres—exotic spheres—were already known to exist, although the question of the existence of such structures for the particular case of the 4-sphere remained open (and still remains open as of 2018). For any positive integer *n* other than 4, there are no exotic smooth structures on **R**^{n}; in other words, if *n* ≠ 4 then any smooth manifold homeomorphic to **R**^{n} is diffeomorphic to **R**^{n}.^{ [6] }

There are several fundamental theorems about manifolds that can be proved by low-dimensional methods in dimensions at most 3, and by completely different high-dimensional methods in dimension at least 5, but which are false in four dimensions. Here are some examples:

- In dimensions other than 4, the Kirby–Siebenmann invariant provides the obstruction to the existence of a PL structure; in other words a compact topological manifold has a PL structure if and only if its Kirby–Siebenmann invariant in H
^{4}(*M*,**Z**/2**Z**) vanishes. In dimension 3 and lower, every topological manifold admits an essentially unique PL structure. In dimension 4 there are many examples with vanishing Kirby–Siebenmann invariant but no PL structure. - In any dimension other than 4, a compact topological manifold has only a finite number of essentially distinct PL or smooth structures. In dimension 4, compact manifolds can have a countable infinite number of non-diffeomorphic smooth structures.
- Four is the only dimension
*n*for which**R**^{n}can have an exotic smooth structure.**R**^{4}has an uncountable number of exotic smooth structures; see exotic**R**^{4}. - The solution to the smooth Poincaré conjecture is known in all dimensions other than 4 (it is usually false in dimensions at least 7; see exotic sphere). The Poincaré conjecture for PL manifolds has been proved for all dimensions other than 4, but it is not known whether it is true in 4 dimensions (it is equivalent to the smooth Poincaré conjecture in 4 dimensions).
- The smooth h-cobordism theorem holds for cobordisms provided that neither the cobordism nor its boundary has dimension 4. It can fail if the boundary of the cobordism has dimension 4 (as shown by Donaldson). If the cobordism has dimension 4, then it is unknown whether the h-cobordism theorem holds.
- A topological manifold of dimension not equal to 4 has a handlebody decomposition. Manifolds of dimension 4 have a handlebody decomposition if and only if they are smoothable.
- There are compact 4-dimensional topological manifolds that are not homeomorphic to any simplicial complex. In dimension at least 5 the existence of topological manifolds not homeomorphic to a simplicial complex was an open problem. In 2013, Ciprian Manolescu posted a preprint on the ArXiv showing that there are manifolds in each dimension greater than or equal to 5, that are not homeomorphic to a simplicial complex.

There are several theorems that in effect state that many of the most basic tools used to study high-dimensional manifolds do not apply to low-dimensional manifolds, such as:

**Steenrod's theorem** states that an orientable 3-manifold has a trivial tangent bundle. Stated another way, the only characteristic class of a 3-manifold is the obstruction to orientability.

Any closed 3-manifold is the boundary of a 4-manifold. This theorem is due independently to several people: it follows from the Dehn – Lickorish theorem via a Heegaard splitting of the 3-manifold. It also follows from René Thom's computation of the cobordism ring of closed manifolds.

The existence of exotic smooth structures on **R**^{4}. This was originally observed by Michael Freedman, based on the work of Simon Donaldson and Andrew Casson. It has since been elaborated by Freedman, Robert Gompf, Clifford Taubes and Laurence Taylor to show there exists a continuum of non-diffeomorphic smooth structures on **R**^{4}. Meanwhile, **R**^{n} is known to have exactly one smooth structure up to diffeomorphism provided *n* ≠ 4.

In the part of mathematics referred to as topology, a **surface** is a two-dimensional manifold. Some surfaces arise as the boundaries of three-dimensional solids; for example, the sphere is the boundary of the solid ball. Other surfaces arise as graphs of functions of two variables; see the figure at right. However, surfaces can also be defined abstractly, without reference to any ambient space. For example, the Klein bottle is a surface that cannot be embedded in three-dimensional Euclidean space.

In mathematics, **topology** is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling and bending, but not tearing or gluing.

In mathematics, particularly in complex analysis, a **Riemann surface** is a one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed versions of the complex plane: locally near every point they look like patches of the complex plane, but the global topology can be quite different. For example, they can look like a sphere or a torus or several sheets glued together.

**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 point. This gives, in particular, local notions of angle, length of curves, surface area and volume. From those, some other global quantities can be derived by integrating local contributions.

In mathematics, **geometric topology** is the study of manifolds and maps between them, particularly embeddings of one manifold into another.

In mathematics, in the subfield of geometric topology, the **mapping class group** is an important algebraic invariant of a topological space. Briefly, the mapping class group is a certain discrete group corresponding to symmetries of the space.

In mathematics, a **3-manifold** is a space that locally looks like Euclidean 3-dimensional space. A 3-manifold can be thought of as a possible shape of the universe. Just as a sphere looks like a plane to a small enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below.

In differential topology, an **exotic sphere** is a differentiable manifold *M* that is homeomorphic but not diffeomorphic to the standard Euclidean *n*-sphere. That is, *M* is a sphere from the point of view of all its topological properties, but carrying a smooth structure that is not the familiar one.

In mathematics, a **4-manifold** is a 4-dimensional topological manifold. A **smooth 4-manifold** is a 4-manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different. There exist some topological 4-manifolds which admit no smooth structure, and even if there exists a smooth structure, it need not be unique.

In mathematics, topology generalizes the notion of triangulation in a natural way as follows:

In mathematics, the **Teichmüller space** of a (real) topological surface , is a space that parametrizes complex structures on up to the action of homeomorphisms that are isotopic to the identity homeomorphism. Each point in may be regarded as an isomorphism class of "marked" Riemann surfaces, where a "marking" is an isotopy class of homeomorphisms from to itself.

In mathematics, a **manifold** is a topological space that locally resembles Euclidean space near each point. More precisely, each point of an *n*-dimensional manifold has a neighborhood that is homeomorphic to the Euclidean space of dimension *n*. In this more precise terminology, a manifold is referred to as an ** n-manifold**.

In mathematics, a **piecewise linear (PL) manifold** is a topological manifold together with a **piecewise linear structure** on it. Such a structure can be defined by means of an atlas, such that one can pass from chart to chart in it by piecewise linear functions. This is slightly stronger than the topological notion of a triangulation.

In mathematics, an **exotic** is a differentiable manifold that is homeomorphic but not diffeomorphic to the Euclidean space The first examples were found in 1982 by Michael Freedman and others, by using the contrast between Freedman's theorems about topological 4-manifolds, and Simon Donaldson's theorems about smooth 4-manifolds. There is a continuum of non-diffeomorphic differentiable structures of as was shown first by Clifford Taubes.

In mathematics, a **pair of pants** is a surface which is homeomorphic to the three-holed sphere. The name comes from considering one of the removed disks as the waist and the two others as the cuffs of a pair of pants.

In mathematics, a **space** is a set with some added structure.

In the mathematical area of topology, the **generalized Poincaré conjecture** is a statement that a manifold which is a homotopy sphere *is* a sphere. More precisely, one fixes a category of manifolds: topological (**Top**), piecewise linear (**PL**), or differentiable (**Diff**). Then the statement is

The study of manifolds combines many important areas of mathematics: it generalizes concepts such as curves and surfaces as well as ideas from linear algebra and topology. Certain special classes of manifolds also have additional algebraic structure; they may behave like groups, for instance. In that case, they are called Lie Groups. Alternatively, they may be described by polynomial equations, in which case they are called algebraic varieties, and if they additionally carry a group structure, they are called algebraic groups.

In mathematics, specifically geometry and topology, the **classification of manifolds** is a basic question, about which much is known, and many open questions remain.

- ↑ Teichmüller, Oswald (1940), "Extremale quasikonforme Abbildungen und quadratische Differentiale",
*Abh. Preuss. Akad. Wiss. Math.-Nat. Kl.*,**1939**(22): 197, MR 0003242 . - ↑ Artin, E. (1947), "Theory of braids",
*Annals of Mathematics*, Second Series,**48**: 101–126, doi:10.2307/1969218, MR 0019087 . - ↑ Thurston, William P. (1982), "Three-dimensional manifolds, Kleinian groups and hyperbolic geometry",
*Bulletin of the American Mathematical Society*, New Series,**6**(3): 357–381, doi: 10.1090/S0273-0979-1982-15003-0 , MR 0648524 . - ↑ Gompf, Robert E. (1983), "Three exotic
**R**^{4}'s and other anomalies",*Journal of Differential Geometry*,**18**(2): 317–328, MR 0710057 . - ↑ Theorem 1.1 of Taubes, Clifford Henry (1987), "Gauge theory on asymptotically periodic 4-manifolds",
*Journal of Differential Geometry*,**25**(3): 363–430, MR 0882829 - ↑ Corollary 5.2 of Stallings, John (1962), "The piecewise-linear structure of Euclidean space",
*Mathematical Proceedings of the Cambridge Philosophical Society*,**58**: 481–488, doi:10.1017/S0305004100036756, MR 0149457 .

- Rob Kirby's Problems in Low-Dimensional Topology –gzipped postscript file (1.4 MB)
- Mark Brittenham's links to low dimensional topology –lists of homepages, conferences, etc.

This page is based on this Wikipedia article

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.