Hacker News new | past | comments | ask | show | jobs | submit login

I see he was also involved with Knots [1]. Can someone explain to me why this is such an active field in mathematics?

I always hear about it and topology. Makes me want to read a book on it...

[1] https://en.wikipedia.org/wiki/John_Pardon




One reason people care about knots in low-dimensional topology is that every compact ("finite-volume") 3-dimensional manifold without boundary can be constructed by taking a 3-sphere (the set of points in R^4 unit distance from the origin), boring out tubes along a collection of disjoint knots, then gluing solid tori ("donuts") back in in a different way, a process called Dehn surgery. This is the Lickorish-Wallace theorem. Sort of the intuition is that if you take a 3-manifold and have worms eat out enough closed loops, the manifold loses its integrity and becomes indistinguishable from the complement of a collection of disjoint knots. (Lickorish's version of the proof involves a theorem that's colloquially known as the Lickorish Twist Theorem.)

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 am not qualified to attempt to explain why knots are a hot topic..

I can recommend a book on topology though. Robert Ghrist’s book:

https://www.math.upenn.edu/~ghrist/notes.html

Do you like physics? If so maybe try John Baez’s book for more knot-centric inspiration:

https://www.amazon.com/GAUGE-FIELDS-KNOTS-GRAVITY-Everything...


Basically, the study of knots is the study of how the simplest 1 dimensional thing (the circle), can sit in 3-dimensional space. And it turns out that even this "simple" case is incredibly rich and difficult. So that's a reason to expect knot theory to be an inherently interesting thing to study. So topologists, and especially topologists specialising in 3-dimensional objects were always interested in knots.

In the 1980s, Vaughan Jones discovered the Jones polynomial, which is a property of knots which remarkably turned out to have deep connections to all sorts of things including quantum field theory! This led to 3 decades and counting of intense study into the relationship between knots and fundamental physics. I'd like to say more, but I'm knot really qualified to speak about the connections to other fields. So that's basically the tl;dr of why so many people care about knots!


> a property of knots which remarkably turned out to have deep connections to all sorts of things including quantum field theory

Does this mean that the strings in string theory are knots?


Absence of proof is not proof of absence?


A circle is 1-dimensional and not 2-dimensional?


Yeah, a disc (the surface contained in a circle) is two dimensional. A circle is one dimensional because it only takes one number to decribe where you are in the circle (think rotary dial).




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: