Episode 86 · The Machine's Theorems (Deep End, Ep 69–88), part 18 of 20
Operators, Groups and Knots: The Algebra of the Infinite
This is the most abstract episode of the series, and also the one where some of the most surprised experts have spoken on the record. Farah and Augustin start from symmetry and infinite-dimensional matrices and work up to problems that a generation of specialists expected to outlive them. We take each claim in its tier, follow the set-theory argument about Naimark's problem, and ask what it means when a field's grand open questions all appear answered in a single afternoon.
Listen to the show on your preferred podcast platform.
Listen on Spotify ↗Listen on Apple Podcasts ↗Listen on Pocket Casts ↗Listen on Podcast Addict ↗Listen on Castbox ↗Listen on TuneIn ↗
Inside this episode
- Cold open: Augustin's old colleague
- Ground rules, and a promise about abstraction
- Symmetry as algebra: what a group is
- From groups to operators: von Neumann algebras
- The free group factor problem
- Amenability, and Thompson's group F
- Cannon's conjecture and Agol's reaction
- Burnside, Boone–Higman and the limits of computation
- Wilton's warning
- Kadison's similarity problem and the invariant subspace problem
- Naimark's problem, set theory and the large-cardinal question
- Baum–Connes and Kadison–Kaplansky: two pillars claimed to fall
- A neighbour in logic: the oldest open problem in set theory
- Hilbert–Smith: when can symmetries be smooth?
- Rigidity in the infinite: Popa, property T and closeness
- How a referee would read one of these papers
- Knots, surgery and four dimensions
- Algebraic topology: Kervaire at three, and Grothendieck's dream
- Why it matters for an engineer
- Ledger and closing
Production credits & AI disclosure
Scripts generated with Claude Opus. Synthetic narration generated with Edge TTS. Reviewed, listened to, and approved by Sankalp Thakur.