knot concordance group
Generated by GPT-5-miniExpansion Funnel Raw 63 → Dedup 0 → NER 0 → Enqueued 0
| knot concordance group | |
|---|---|
| Name | Knot concordance group |
| Type | Abelian group |
| Field | Topology |
knot concordance group
The knot concordance group is an abelian group formed by equivalence classes of smooth oriented knots in the three‑sphere under the operation induced by connected sum, with inverses given by orientation‑reversed mirrors; it occupies a central role in low‑dimensional topology through links to four‑dimensional manifolds, surgery theory, and gauge theory. Originating from work connecting knot theory to cobordism, it interacts with classical subjects such as knot invariants, Seifert surfaces, and slice knots, and with modern developments involving Floer homology, gauge theoretic invariants, and exotic smooth structures on four‑manifolds.
Definition and basic properties
A knot in S^3 is called slice if it bounds a smoothly embedded disk in the four‑ball D^4; two knots are concordant if their disjoint union bounds an embedded annulus in S^3 × I. The set of smooth concordance classes forms an abelian group under connected sum, with the class of the unknot as identity and mirroring with orientation reversal providing inverses. Fundamental examples and constructions arise from operations studied in the contexts of Seifert surface theory, the Alexander polynomial, and the Arf invariant, while classical problems connect to the work of Fox, Milnor, and Levine.
Algebraic concordance and Levine's classification
Algebraic concordance analyzes knots via Seifert matrices and metabolic forms; Levine introduced an algebraic group of Seifert forms that maps onto the concordance group, yielding a complete classification in high dimensions. Levine's work built on methods from Surgery theory, Kervaire–Milnor invariants, and the study of quadratic forms over Z[t,t^{-1}]-modules, and relates to the classification theorems of Wall and the techniques of Casson and Gordon used in low dimensions.
Concordance invariants
Numerous invariants detect nontrivial elements of the concordance group. Classical invariants include the Alexander polynomial, the Levine–Tristram signature, and the Arf invariant; gauge‑theoretic and homological invariants include the Rokhlin invariant, the Casson invariant, Donaldson invariants, Seiberg–Witten invariants, Heegaard Floer homology correction terms, and the Ozsváth–Szabó tau invariant. Modern concordance obstructions also employ Khovanov homology, Rasmussen's s-invariant, and invariants derived from knot Floer homology, all of which link to work by Rasmussen, Ozsváth, Szabó, Kronheimer, and Mrowka.
Structure and algebraic operations
As an abelian group it admits torsion and infinite rank summands; studies reveal large subgroups generated by algebraically slice knots, satellite operations, and infection by knots along curves. Constructions such as satellite operators, cabling, and Whitehead doubles connect to techniques developed by Conway, Rolfsen, and Lickorish, and have been analyzed using the frameworks of Gordon–Litherland form and Blanchfield pairing. Results about the structure often invoke tools from Homology cobordism and the study of homology spheres, with interactions with Stein fillings and symplectic topology in four dimensions.
Connections with 4‑manifold topology and slicing
The slicing problem links concordance to the topology and smooth structure of four‑manifolds: a knot is slice in D^4 precisely when its trace gives a certain four‑manifold bounding the surgery three‑manifold. Techniques from Donaldson theory, Seiberg–Witten theory, and instanton gauge theory (notably work by Freedman, Donaldson, Kronheimer–Mrowka, and Taubes) produce obstructions to sliceness and thus detect nontrivial concordance classes. Exotic phenomena such as nonstandard smooth structures on R^4 and results concerning homology cobordism groups influence the algebraic and geometric behavior of concordance classes.
Computational methods and examples
Computational approaches use Seifert matrices, signature functions, and polynomial invariants for concrete calculations on classical knots catalogued by Rolfsen and in knot tables maintained by projects like those of Hoste–Thistlethwaite and KnotInfo. Algorithmic implementations of knot Floer homology and Khovanov homology compute tau and s‑invariants for knot families including torus knots, satellite knots, and connected sums; prominent explicit examples include work on trefoil knots, figure-eight knots, and various Montesinos and pretzel knots studied by Montesinos and Pretzel knot researchers. Computer algebra systems and specialized packages developed in the communities around SnapPy, SageMath, and homology packages assist in detecting slice status and concordance relations.
Recent developments and open problems
Recent work has focused on the infinite generation, torsion phenomena, and filtrations of the concordance group via graded structures like the solvable and bipolar filtrations developed by Cochran, Orr, and Teichner, and refinements using Floer homology and gauge theory by Hom, Hedden, Juhász, and others. Major open problems include the smooth 4‑dimensional Poincaré conjecture's implications for concordance, the classification of torsion elements, the exact structure of the algebraically slice subgroup, and the realization of exotic concordance phenomena related to homology cobordism and Mazur manifold constructions. Progress continues through interactions among researchers at institutions associated with the American Mathematical Society, leading conferences, and collaborative projects bridging classical knot theory and four‑manifold topology.