Manifolds, Knots and Geometric Topology | Local Euclidean Structure and Global Shape

A manifold looks ordinary when viewed closely, yet its global topology can be profoundly different.

Geometric topology studies spaces by combining topological invariants with geometric constructions. Manifolds are the main stage: locally they resemble Euclidean space, which allows coordinates and analysis, but globally they may form spheres, tori, projective spaces and far more complicated objects. Knot theory adds a second question: when a circle is embedded in three-dimensional space, how can we prove whether it can be untangled without cutting?

This guide serves R22.07 · Manifolds, knots and geometric topology in the BTT Mathematics Atlas. It follows Homology and Cohomology and Fundamental Groups and Covering Spaces. It is an introductory bridge, not a classification of all manifolds or a research survey of modern low-dimensional topology.

Return route: BTT Mathematics Hub.

The simple answer

An n-dimensional topological manifold is a space M in which every point has a neighbourhood homeomorphic to an open subset of Rⁿ, together with standard separation and countability conditions such as Hausdorffness and second countability. Locally, an n-manifold has n coordinates.

A knot is an embedding of a circle S¹ into R³ or S³, considered up to ambient isotopy. Two knots are equivalent if one can be continuously deformed into the other through embeddings of the surrounding space, without cutting the loop or allowing it to pass through itself.

The key tension is local versus global. Every point on a circle has a neighbourhood homeomorphic to an open interval, yet a circle is not globally an interval. Every point on a torus has a neighbourhood homeomorphic to an open disc, yet the torus is not a sphere. Every knot is locally just a smooth arc, yet globally different embeddings can be inequivalent.

1. Local Euclidean structure

Suppose M is a 2-manifold. Around every point p∈M there is an open neighbourhood U and a homeomorphism φ:U→V where V is open in R². The pair (U,φ) is a chart. The map φ supplies local coordinates.

A collection of charts covering M is an atlas. The word is appropriate: no single flat map has to describe the whole space, but overlapping local maps collectively do.

The sphere S² cannot be covered by one chart homeomorphic to all of R², but it can be covered by two stereographic charts. Near any point it still looks like an ordinary patch of plane.

2. Why Hausdorff and second countable conditions appear

Local Euclidean behaviour alone permits pathological examples. The Hausdorff condition ensures distinct points can be separated by disjoint neighbourhoods. Second countability gives a countable basis and rules out spaces that are locally Euclidean but too large or badly assembled for standard manifold theory.

Definitions vary slightly across texts, so always state the convention. In mainstream topology, Hausdorff and second countable conditions are standard parts of the definition of a manifold.

3. Manifolds with boundary

An n-manifold with boundary allows neighbourhoods homeomorphic either to open subsets of Rⁿ or to open subsets of the half-space

Hⁿ={x∈Rⁿ:xₙ≥0}.

Points corresponding to xₙ=0 form the boundary ∂M. An interval [0,1] is a 1-manifold with boundary consisting of two points. A closed disc D² is a 2-manifold with boundary S¹. A sphere S² has empty boundary.

Do not confuse manifold boundary with the boundary of a subset in an ambient topological space. The manifold boundary is intrinsic.

4. Dimension is a topological invariant

A nonempty open subset of Rⁿ is not homeomorphic to a nonempty open subset of Rᵐ when n≠m. This is a consequence of invariance of domain and related dimension theory.

Therefore a connected manifold has a well-defined dimension. A surface cannot secretly be a 3-manifold merely because it is embedded inside R³.

5. One-dimensional manifolds

Connected 1-manifolds are highly constrained. Without boundary, the compact connected example is S¹; the noncompact connected example is R, up to homeomorphism. With boundary, intervals and half-lines appear.

This simplicity disappears in higher dimensions. Surfaces already exhibit genus, orientability and boundary components; three-manifolds have much richer decomposition theory.

6. Surfaces

A surface is a 2-manifold. Familiar connected closed surfaces include the sphere S², torus T², higher-genus orientable surfaces, real projective plane RP² and the Klein bottle.

Closed means compact with empty boundary. A disc, annulus and Möbius strip are compact surfaces with boundary.

Many surfaces can be constructed from polygons by edge identifications, linking this article directly to the earlier quotient-topology guide.

7. Orientability

An orientable surface permits a globally consistent choice of local orientation. On a sphere or torus, one can choose clockwise-versus-counterclockwise orientation coherently across overlapping charts. On a Möbius strip, travelling once around the central loop reverses the local orientation.

Orientability is intrinsic. A Möbius strip is nonorientable not because of how a paper model is twisted in R³, but because its topology prevents a global orientation choice.

8. Genus and handles

For a connected closed orientable surface, the genus g is informally the number of handles. The sphere has genus 0, the torus genus 1, and a double torus genus 2.

The Euler characteristic is

χ=2−2g.

Thus S² has χ=2, T² has χ=0 and the genus-2 surface has χ=−2.

Homology reflects the same structure: for a closed orientable genus-g surface, H₁≅Z^2g.

9. Classification of compact connected surfaces

A central theorem states that every compact connected surface is determined up to homeomorphism by orientability, genus or the corresponding number of projective-plane summands, and the number of boundary components.

For closed orientable surfaces, the list is sphere, torus, double torus and so on. For closed nonorientable surfaces, the list begins with the projective plane, Klein bottle and connected sums of more projective planes.

This is a genuine classification theorem: unlike a single invariant, the specified data completely determine the surface type within this category.

10. Connected sums

The connected sum M#N of two n-manifolds is formed by removing an open n-ball from each and gluing the resulting boundary spheres together. For surfaces, connected sum adds handles or crosscaps.

S² acts like an identity for connected sum of closed surfaces: M#S² is homeomorphic to M. The connected sum T²#T² is the genus-2 orientable surface.

Connected sum is a construction, not merely a visual phrase. The precise gluing map and category matter in higher-dimensional settings.

11. Topological, smooth and Riemannian manifolds

A topological manifold only asks that chart changes be homeomorphisms. A smooth manifold adds an atlas whose transition maps are differentiable to all orders. A Riemannian manifold adds a smoothly varying inner product on tangent spaces.

• Topology: continuity, connectedness, compactness, homotopy and homeomorphism.
• Smooth structure: derivatives, tangent vectors, differential forms and smooth maps.
• Riemannian geometry: lengths, angles, geodesics and curvature.

These layers should not be collapsed into one. A topological statement may ignore curvature; a Riemannian statement can depend strongly on the chosen metric.

12. Embeddings and immersions

An embedding f:M→N is a map that identifies M homeomorphically with its image, with suitable smooth conditions in the smooth category. It places one manifold inside another without self-identification.

An immersion may locally look like an embedding while allowing distinct points of M to map to the same point of N. A figure-eight curve in the plane can be immersed but not embedded at its crossing.

Knot theory studies embeddings of S¹ into 3-space. The “no self-crossing” condition belongs to the embedding itself, even when a planar knot diagram displays crossings through projection.

13. What is a knot?

Mathematically, a knot is an embedding K:S¹→S³ or R³. The unknot is an embedded circle that bounds an embedded disc. A trefoil is the simplest standard nontrivial knot.

A physical rope has thickness and endpoints; a mathematical knot is usually an ideal closed loop. Closing the loop removes the possibility of simply pulling an endpoint through the knot.

14. Ambient isotopy

Two knots are equivalent when one can be transformed into the other by an ambient isotopy: a continuous family of homeomorphisms of the surrounding space carrying one embedded circle to the other.

This captures “move the knot without cutting or passing strands through each other”. A homotopy of maps alone would be too weak, because during an arbitrary homotopy the curve could self-intersect and unknot anything.

15. Knot diagrams

A knot diagram is a projection of the knot to the plane with over/under information at crossings. Different diagrams can represent the same knot.

Diagram crossing number is therefore not automatically an invariant unless minimised over all diagrams. The trefoil has minimal crossing number 3; a complicated drawing of the unknot may have many crossings but can simplify to zero.

16. Reidemeister moves

There are three local Reidemeister moves on knot diagrams. A foundational theorem states that two diagrams represent equivalent knots if and only if they are related by a finite sequence of Reidemeister moves together with planar deformation.

• Type I adds or removes a twist.
• Type II adds or removes two opposite crossings.
• Type III slides one strand past a crossing of two others.

This converts ambient isotopy into combinatorial diagram operations.

17. Knot invariants

A knot invariant assigns the same value to equivalent knots. If two knots have different invariant values, they cannot be equivalent. Matching values usually do not prove equivalence unless the invariant is complete.

• Knot group: π₁ of the knot complement.
• Alexander polynomial.
• Jones polynomial.
• Knot genus.
• Signature and other algebraic invariants.

Different invariants detect different features. No single introductory invariant classifies all knots.

18. The knot complement

Instead of studying the embedded circle directly, remove it from S³ and study S³\K, or more commonly remove an open tubular neighbourhood and study the resulting compact 3-manifold with torus boundary.

The complement remembers the knot surprisingly strongly. A major theorem states that knots in S³ are determined, up to the standard equivalence, by their complements.

The fundamental group of the complement is the knot group. For the unknot the complement has fundamental group Z. The trefoil knot group is nonabelian and admits a presentation such as ⟨a,b | a²=b³⟩.

19. Linking

A link is an embedding of a disjoint union of circles into S³. The simplest nontrivial two-component example is the Hopf link.

For two oriented disjoint components, the linking number is an integer measuring algebraic winding of one around the other. It can be computed from an oriented diagram by summing signed crossings between the two components and dividing by two.

Nonzero linking number proves the components cannot be separated by ambient isotopy. Zero linking number does not guarantee the link is split; more subtle linking can remain.

20. Seifert surfaces and knot genus

Every oriented knot in S³ bounds an orientable embedded surface called a Seifert surface. The minimal genus among all such surfaces is the knot genus.

The unknot has genus 0 because it bounds a disc. The trefoil has genus 1. Genus is an invariant and gives a geometric measure of how complicated a knot must be as the boundary of a surface.

21. Three-manifolds

A 3-manifold is locally homeomorphic to R³. Knot complements are central examples. Other 3-manifolds can be constructed by gluing solid tori, performing surgery on links, taking mapping tori or forming coverings.

Three-dimensional topology is unusually rich because surfaces can sit inside 3-manifolds and cut them into pieces, while knots and links serve as controlled embedded submanifolds.

22. Heegaard splittings

A Heegaard splitting decomposes a closed orientable 3-manifold into two handlebodies glued along their common boundary surface. The genus of that splitting measures the complexity of the chosen decomposition.

The 3-sphere has a genus-0 splitting into two 3-balls. The same manifold can admit stabilised higher-genus splittings, so minimal Heegaard genus is the meaningful invariant.

23. Surgery as controlled topological modification

In low-dimensional topology, surgery often means removing a standard neighbourhood and gluing it back differently. Dehn surgery on a knot removes a tubular neighbourhood, leaving a torus boundary, then reattaches a solid torus according to a chosen slope.

Different slopes can produce different 3-manifolds. This is a precise quotient-and-gluing operation, not merely a visual modification.

A foundational theorem says every closed orientable connected 3-manifold can be obtained by surgery on a link in S³. This makes knot and link data a gateway into the wider world of 3-manifolds.

24. Geometrisation viewpoint

Three-manifold topology is deeply connected to geometry. Thurston’s geometrisation framework, proved using work culminating in Perelman’s resolution, decomposes suitable 3-manifolds into pieces carrying one of a finite list of model geometries.

The topology article does not develop that theory, but the principle is important: global topology can sometimes be understood by cutting a manifold into canonical pieces and giving those pieces geometric structures.

25. Knots as topology, not pictures

A diagram can suggest that two knots differ, but only an invariant or a rigorous isotopy argument proves it. Likewise, a complicated-looking diagram can still represent the unknot.

Good knot reasoning separates:

• the embedded knot in 3-space;
• a chosen planar projection;
• the combinatorics of crossings;
• the allowed Reidemeister transformations;
• the invariant used to prove a distinction.

The representation is useful only when the allowed transformations and invariant quantities remain explicit.

26. Common misconceptions

• “A manifold has to sit inside Euclidean space without self-overlap.” Abstract manifolds need no chosen embedding.
• “Locally Euclidean means globally Euclidean.” False; the sphere and torus are local planes but globally different.
• “A manifold boundary is the same as its boundary as a subset of Rⁿ.” Not necessarily; manifold boundary is intrinsic.
• “Every surface is orientable.” The Möbius strip, projective plane and Klein bottle are nonorientable.
• “A knot diagram is the knot.” It is a projection with crossing data.
• “Any homotopy of a loop preserves knot type.” Knot equivalence requires isotopy through embeddings.
• “Same Alexander polynomial means same knot.” False; most invariants are incomplete.
• “Zero linking number means a link is split.” False; more subtle links exist.
• “Genus is only a drawing feature.” Surface genus and knot genus are topological invariants with precise definitions.

27. A manifold workflow

1. Identify dimension and whether boundary is present.
2. State the category: topological, smooth or Riemannian.
3. Use charts for local questions.
4. Use compactness, connectedness and orientability for global structure.
5. Compute π₁, homology or cohomology when classification needs algebraic invariants.
6. For surfaces, compare orientability, Euler characteristic, genus and boundary components.
7. For embeddings, distinguish the intrinsic manifold from the ambient space.

28. A knot workflow

1. Choose a knot or link diagram with over/under data.
2. Use Reidemeister moves only as equivalence-preserving diagram moves.
3. Simplify before computing expensive invariants.
4. Compute a suitable invariant if non-equivalence must be proved.
5. Study the complement when group or 3-manifold structure is relevant.
6. Use Seifert surfaces for genus and algebraic constructions.
7. Remember that equality of one invariant rarely proves equivalence.

29. Practice set

1. State the local definition of an n-manifold.
2. Give examples of a 1-manifold with and without boundary.
3. Why is S² a 2-manifold?
4. What is a chart?
5. What is an atlas?
6. Distinguish topological and smooth manifolds.
7. Give χ for a genus-g closed orientable surface.
8. Compute χ for genus 3.
9. Give H₁ of a closed orientable genus-g surface.
10. Explain orientability using a Möbius strip.
11. Define a knot mathematically.
12. Why is ordinary homotopy too weak for knot equivalence?
13. Name the three Reidemeister move types.
14. What is the knot complement?
15. What is the knot group?
16. What is linking number used for?
17. What is a Seifert surface?
18. What is knot genus?
19. Describe a connected sum of surfaces.
20. Explain why local flatness does not determine global topology.

30. Answers and checks

1. Every point has a neighbourhood homeomorphic to an open subset of Rⁿ, with the standard Hausdorff and countability hypotheses.
2. Without boundary: S¹ or R; with boundary: [0,1].
3. Every point has a neighbourhood homeomorphic to an open disc in R².
4. A neighbourhood together with a homeomorphism to an open Euclidean set.
5. A collection of charts covering the manifold.
6. Smooth manifolds require smooth transition maps between charts.
7. χ=2−2g.
8. 2−6=−4.
9. Z^2g.
10. Transporting a local orientation around the Möbius strip reverses it, so no global consistent orientation exists.
11. An embedding of S¹ into R³ or S³, considered up to ambient isotopy.
12. An arbitrary homotopy can pass the curve through itself and destroy knotting.
13. Types I, II and III.
14. The ambient 3-space or 3-sphere with the knot removed, often using a tubular-neighbourhood version.
15. The fundamental group of the knot complement.
16. It detects algebraic linking between oriented components; nonzero value proves they are linked.
17. An orientable embedded surface whose boundary is the knot.
18. The minimum genus among Seifert surfaces for the knot.
19. Remove a disc from each and glue the boundary circles.
20. Charts control only neighbourhoods; global identifications and loops can differ even when all local models are Euclidean.

31. What to carry forward

Manifolds separate local regularity from global topology. Surfaces make that distinction concrete through orientability, genus and classification. Knots show that even one embedded circle can carry nontrivial global information when its complement and isotopy class are considered. Fundamental groups, homology and other invariants turn those geometric questions into proofs.

The final Topology cell in this Atlas region is Applications and Counterexamples. It will use the preceding theory to show where topology appears in data, optimisation, robotics and analysis—and why carefully chosen counterexamples are essential for understanding which theorems really need their hypotheses.

Return to the BTT Mathematics Hub.