March 9, 2026
Knot your average comment war
Algebraic topology: knots links and braids
Math hair salon: lurkers shamed, PhD says it’s ‘quantum,’ not algebraic
TLDR: A math note on knots explains how simple moves determine if two loops are the same and how complex knots break into “primes.” The thread erupts with a lurker call‑out, a viral hair‑braid analogy, and a PhD insisting it’s “quantum,” not “algebraic,” sparking a lively naming skirmish.
A sleepy math note about “knots, links, and braids” turned into a full‑blown salon drama. The article explains how a knot is just a loop in 3D, how drawings with over/under crossings capture it, and how three classic tweaks called Reidemeister moves decide if two knots are the same. It even goes into “prime” knots (you can’t split them) and Seifert surfaces (a stretchy soap‑film that measures knot complexity). But the community? They showed up with combs, hairspray, and hot takes.
First punch thrown: a commenter scolded the silent likers—“degenerates” who upvote without saying why—setting the tone for a chaotically lovable thread. Then came the crowd‑pleaser: a playful, crystal‑clear analogy where swapping two things is like a simple “switch,” but braiding is hair—you can cross strands above or below and “twist hair one, two, three… any times,” neatly explaining the braid group vibe versus ordinary swaps. Finally, the expert entrance: a self‑declared PhD in knot theory breezed in to correct the labels—Jones polynomial? That’s usually “quantum topology,” not “algebraic.” Cue the “actually…” chorus and a mini turf war over names. The mood swings between “wow, math is pretty” and “say the right field name, please,” with jokes about hairstyling and knot puns everywhere. Nerdy, spicy, and unexpectedly accessible—this thread tied it all together.
Key Points
- •A knot is a simple closed curve in E³; equivalence is via orientation-preserving homeomorphisms of E³.
- •Wild embeddings in E³ (e.g., horned sphere, Antoine’s necklace) have non-simply connected complements, motivating tame embeddings for knots.
- •Knot diagrams with over/under data classify knots up to equivalence, with equivalence characterized by Reidemeister moves (I, I′, II, III).
- •The unknot is the unique knot with a crossingless diagram and serves as a zero element for the connected sum of knots.
- •Every knot uniquely decomposes into prime knots; Seifert surfaces enable defining genus, which is additive and zero only for the unknot.