
Over a century old, knot theory is today one of the most active areas of modern mathematics. The study of knots has led to important applications in DNA research and the synthesis of new molecules, and has had a significant impact on statistical mechanics and quantum field theory. Colin Adams’s The Knot Book is the first book to make cutting-edge research in knot theory accessible to a non-specialist audience. Starting with the simplest knots, Adams guides readers through increasingly more intricate twists and turns of knot theory, exploring problems and theorems mathematicians can now solve, as well as those that remain open. He also explores how knot theory is providing important insights in biology, chemistry, physics, and other fields. The new paperback edition has been updated to include the latest research results, and includes hundreds of illustrations of knots, as well as worked examples, exercises and problems. With a simple piece of string, an elementary mathematical background, and The Knot Book, anyone can start learning about some of the most advanced ideas in contemporary mathematics.
I think we gained a really good intuitive understanding of homeomorphism, neighborhoods, and homology groups. Knowing about these topics has been super useful in my studies and career.
On the other hand, some of the algebraic components of topology went totally over my head. So I do think there’s a limit to how much you can understand without diving into other fields.
Also, we had the benefit of a trusty excellent mathematician as our teacher, which helped quite a bit. Good luck diving into this field, I hope you find it rewarding!
I can start with some. Feynman's Lectures on Computing. Scott Aaronson's Quantum Computing Since Democritus (though it assumes some background knowledge of quantum computing). I think Colin Adam's "The Knot Book" (on knot theory in topology) as well.
In particular, every 3-manifold is the boundary of a 4-manifold obtained in a way that's reminiscent of knot traces from the article. You take a disjoint collection of knots in the boundary of a 4-ball, then glue in the 1-handles ("caps" in the article) along these knots, but with slight change: you glue in 1-handles with any framing whatsoever, not just the 0-framing like in knot traces (and actually using just +1-framing and -1-framing is sufficient). It's actually a remarkable fact in its own right that every 3-manifold bounds a 4-manifold; this is saying the 3-dimensional cobordism group is trivial. Other-dimensional cobordism groups are not trivial in general.
Every 3-manifold has a diagram, then, consisting of a multi-component knot (known as a link) with each component labeled by an integer (or a rational number if you are ok with "fake" surgeries). There is a whole thing called the Kirby calculus that gives a sufficient set of moves to go between any two such representations of a particular 3-manifold. An extension to this calculus went into Piccirillo's calculations with knot traces -- she cites the classic Gompf and Stipsicz for details.
One use of this representation of a 3-manifold is to construct Reshetikhin-Turaev invariants, which are sequences of numbers associated to a 3-manifold. This is related to the Jones polynomial, and these invariants satisfy a number of wonderful properties that together mean they form a topological quantum field theory (TQFT). I don't know the physics, but I'm under the impression you can interpret it as having something to do with quantum states of anyonic particles.
For books, you might look at Adams "The Knot Book" or Prasolov "Intuitive Topology" to get a substantial taste of knots and low-dimensional topology.
I saw the following in "The Knot Book" by Colin Adams (a very readable introduction to Knot Theory). The joke is attributed to Joel Haas.
A woman walks into a bar accompanied by a dog and a cow. The bartender says, "Hey, no animals are allowed in here." The woman replies, "These are very special animals." "How so?" "They're knot theorists." The bartender raises his eyebrows and says, "I've met a number of knot theorists who I thought were animals, but never an animal that was a knot theorist." "Well, I'll prove it to you. Ask them them anything you like." So the bartender asks the dog, "Name a knot invariant." "Arf, arf" barks the dog. The bartender scowls and turns to the cow asking, "Name a topological invariant." The cow says, "Mu, mu." At this point the bartender turns to the woman, says, "Just what are you trying to pull" and throws them out of the bar.
Outside, the dog turns to the woman and asks, "Do you think I should have said the Jones polynomial?"