mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

3K
active users

@Ianagol
I did a grad degree in analytics and tool some grad courses in topology.

The article is not very good - I think I can reconstruct the definition of what kind of homotopy is allowed from the text, but the purpose of such an article is to give intuition: what kinds of knots are equivalent, examples of knots that dominate each other, etc. And maybe a word on what collections of equations are involved in the proof. (Are those geometric invariants? Topological invariants?)

@Pashhur I agree, it’s difficult to tell what the article is describing. What I used was the representation variety of the fundamental group of the knot complement (“knot group”) into a compact connected Lie group (like U(N) or SO(N)). I guess just defining these concepts was too much for an article of this scope. Knot groups have faithful representations into SO(N) for some N depending on the knot; I was aware of this from a mathoverflow question of Igor Belegradek.

@Ianagol Oh! I didn't realize you're the author of the proof! Congrats!