Set theory and algebraic topology

Duration: 57 mins 56 secs
Share this media item:
Embed this media item:


About this item
Image inherited from collection
Description: Brooke-Taylor, A (University of Bristol)
Friday 18th December 2015 - 13:30 to 14:30
 
Created: 2015-12-23 14:57
Collection: Mathematical, Foundational and Computational Aspects of the Higher Infinite
Publisher: Isaac Newton Institute
Copyright: Brooke-Taylor, A
Language: eng (English)
Distribution: World     (downloadable)
Explicit content: No
Aspect Ratio: 16:9
Screencast: No
Bumper: UCS Default
Trailer: UCS Default
 
Abstract: In this talk I plan to discuss some joint work with Sheila Miller related to knots. Quandles are algebraic structures that can be associated to (tame) knots, and they in fact constitute one of the few complete invariants we have for knots. However, there is some dissatisfaction with quandles as invariants, as it heuristically seems difficult to determine whether two quandles are isomorphic. Our result supports this impression: we show that the isomorphism relation of quandles is as complex as it possibly could be in Borel reducibility terms, being Borel complete. On the other hand, equivalence of tame knots is trivial from a Borel reducibility perspective, raising the prospect that more manageable complete invariants might exist.
Available Formats
Format Quality Bitrate Size
MPEG-4 Video 640x360    1.94 Mbits/sec 843.70 MB View Download
WebM 640x360    923.05 kbits/sec 391.78 MB View Download
iPod Video 480x270    522.13 kbits/sec 221.55 MB View Download
MP3 44100 Hz 249.75 kbits/sec 106.10 MB Listen Download
Auto * (Allows browser to choose a format it supports)