Algebraic topology: knots links and braids
This article offers a rigorous introduction to algebraic topology through the lens of knot theory, meticulously defining concepts like knot equivalence and wild embeddings. It systematically explains critical classification methods, including Reidemeister moves and the calculation of Seifert surfaces and knot genus. The piece then delves into advanced invariants such as the Kauffman bracket and Jones polynomial, providing a deep dive into the mathematical tools used to distinguish and understand these complex structures.
The Lowdown
This document provides a comprehensive exploration of algebraic topology, focusing on the fascinating world of knots, links, and braids. It serves as a detailed primer, breaking down complex mathematical concepts into understandable segments, complete with illustrative examples and diagrams. The article builds a foundational understanding before introducing advanced methods for classification and analysis.
- Wild Embeddings: Defines what constitutes a knot (a simple closed curve in 3D space) and introduces the concept of equivalence. It then highlights 'wild embeddings,' which are pathological cases like Alexander's horned sphere, where a simple curve's complement is not simply connected, necessitating the common restriction to 'tame' knots.
- Knot Diagrams and Reidemeister Moves: Explains how 3D knots can be represented in 2D using diagrams that indicate over- and under-crossings. Crucially, it introduces the three Reidemeister moves (Type I, II, III) as the fundamental operations that transform one knot diagram into another equivalent diagram, establishing a basis for determining knot equivalence.
- Prime Knots and Seifert Surfaces: Discusses the composition of knots, analogous to integer factorization, leading to the definition of 'prime knots' as irreducible components. It introduces Seifert surfaces as an orientable surface bounded by a knot, used to prove unique prime factorization and define the 'genus' of a knot, an important invariant.
- Knot Catalog: Provides visual catalogs of prime knots with up to eight crossings, illustrating the variety and complexity of different knot types, including a distinction between alternating and non-alternating knots.
- Invariants - Kauffman Bracket and Jones Polynomial: Delves into advanced mathematical invariants used to distinguish non-equivalent knots. It introduces the Kauffman bracket, a Laurent polynomial defined recursively from a link diagram, and then builds upon it to define the Jones polynomial, a powerful invariant for oriented links and knots.
- Links: Extends the discussion from single knots to 'links,' which are disjoint unions of multiple entangled simple closed curves. It provides visual examples and notes properties, such as how the fundamental group of a link's complement indicates its triviality.
- Braids: Defines a 'braid' as a collection of arcs connecting points, introduces 'elementary braids,' and explains how any braid can be composed from them. It describes the 'braid group' B(n) and references Alexander's theorem, which shows that every link can be obtained from a braid by identifying its starting and ending points.
Overall, the article meticulously constructs a mathematical framework for understanding and classifying knots, links, and braids, moving from basic definitions to sophisticated algebraic invariants that are crucial for their analysis.