thiago's math playlist

About 8 full days of some of my favorite lectures on mathematics, in no particular order.

  1. Jacob Lurie - Bezout's theorem and nonabelian homological algebra (Derived algebraic geometry)
  2. John Conway: Surreal Numbers - How playing games led to more numbers than anybody ever thought of
  3. A Hora do Pesadelo: Horrores de um mundo sem escolha
  4. "How to write mathematics badly" by Jean Pierre Serre (noise removed)
  5. Algumas abordagens à geometria diferencial de espaços singulares - João Nuno Mestre - Seminário A5
  6. The Monster Group - John Conway
  7. Geometric structures and representations of discrete groups – Fanny Kassel – ICM2018
  8. Álgebras de Lie de dimensão infinita: um caso particular - Marcela Guerrini
  9. Sporadic Groups - Prof Richard Borcherds - The Archimedeans
  10. Categorification of Fourier Theory
  11. A (very) Brief History of the Complex Plane
  12. Representation theory and geometry – Geordie Williamson – ICM2018
  13. Chromatic homotopy theory - Irina Bobkova
  14. The Yoneda Perspective
  15. Um pouco da geometria de Élie Cartan - Ivan Struchiner - Dias maTemáticos: Élie Cartan
  16. Representations of p-adic groups - Jessica Fintzen
  17. Machine-Assisted Proofs – ICM2018
  18. Introdução à dinâmica hiperbólica: história e exemplos- Marisa dos Reis Cantarino-Seminário +1café
  19. Topological Quantum Field Theory and the Cobordism Hypothesis -- Part 1
  20. 33º CBM - Palestra de Divulgação - María Amelia Salazar (UFF)
  21. 46. Apoorva Khare: Polymath14: Groups with norms - LieJor 25-Mar-2021
  22. Peter Scholze: Locally symmetric spaces, and Galois representations
  23. Plenária 9 - A Construção de Kantor -Koecher-Tits: aplicação de representação algébricas
  24. Lie Algebras and Homotopy Theory - Jacob Lurie
  25. Categorias para o não-categórico - Thiago Landim - Seminário A5
  26. Beyond Computation: The P vs NP Problem - Michael Sipser
  27. Introduction to p-adic Numbers
  28. Simetrias em Geometria Algébrica - Carolina Araujo - Seminário A5
  29. Chelsea Walton, "An Invitation to Noncommutative Algebra," the 2021 NAM Claytor-Woodard Lecture
  30. Dinâmica Simplética e o problema dos 3 corpos - Pedro Salomão - Seminário A5
  31. "Promoting Women in mathematics", Panel discussion at IHES, October 4
  32. Representation Theory & Categorification - Catharina Stroppel
  33. My First Type Theory
  34. Simetrias vs Leis de Conservação: o Teorema de Noether - Cristian Ortiz - Dias maTemáticos
  35. Às vezes complicar vale a pena: uma motivação para categorificação - Eduardo Mendonça - Seminário A5
  36. Knots, three-manifolds and instantons – Peter Kronheimer & Tomasz Mrowka – ICM2018
  37. Luz, câmera, ação (de grupos na esfera) - Ulisses Lakatos - Seminário A5
  38. The Tale of Three Triangles
  39. Seminários S4 - Grupos Livres e a Topologia dos Buquês
  40. Geordie Williamson: Geometric Representation Theory and the Geometric Satake Equivalence
  41. John Milnor: Spheres
  42. Brauer Groups in Chromatic homotopy Theory (Jacob Lurie) 1/3
  43. How to construct the Leech lattice
  44. Pavel Etingof. Lecture 1 Algebra and representation theory without vector spaces
  45. LftCM2020: Building the topological hierarchy - Alex Best
  46. Raphaël Rouquier - Geometric representation theory as representation-theoretic geometry
  47. Pavel Etingof - "D-modules on Poisson varieties and Poisson traces"
  48. Homologia em álgebras de dimensão finita - Kostiantyn Iusenko - Seminário A5
  49. Conversa com +1café #008 - Julia Jaccoud, a Matemaníaca
  50. 88. Michel Racine: Lie Algebras afforded by Jordan algebras 03-Mar-2022
  51. A Gentle Approach to Crystalline Cohomology - Jacob Lurie
  52. 89. Victor Guerassimov: Random walks on groups. An introduction. 10-Mar-2022
  53. The beauty of math in personal examples
  54. 90. Alexander Stolin: 40 years of Lie bialgebras: From definition to classification 17-Mar-2022
  55. Pavel Etingof | Quantum Groups
  56. 93. Pavel Shumyatsky: Commuting probability for subgroups of a finite group 07-Apr-2022
  57. On the crossroads of enumerative geometry and representation theory – Andrei Okounkov – ICM2018
  58. 91. Yuriy Drozd: Morita Theory for noncommutative varieties - 24-Mar-2022
  59. The Classification of Extended Topological Field Theories -Jacob Lurie
  60. Fields Medal Lecture: Cohomology of arithmetic groups — Akshay Venkatesh — ICM2018
  61. Pavel Etingof: Poisson-Lie groups and Lie bialgebras - Lecture 1
  62. Karen Vogtmann: The geometry and topology of automorphism groups of free groups
  63. Workshop on Representation Theory and Applications: Germán B.A. Monsalve
  64. The Biggest Project in Modern Mathematics
  65. Gabriele Rembado - Moduli Spaces of Irregular Singular Connections: Quantization and Braiding
  66. Conversa com +1café #015 - Valeria de Paiva
  67. Uma Introdução à Teoria de Morita - Thiago Landim - Seminário A5
  68. Sophie Morel - 1/3 Shimura Varieties
  69. Olympiad level counting: How many subsets of {1,…,2000} have a sum divisible by 5?
  70. Primes and Knots - Akshay Venkatesh
  71. Frank Calegari: 30 years of modularity: number theory since the proof of Fermat's Last Theorem
  72. Associahedra: The Shapes of Multiplication | Infinite Series
  73. Webinar AmSur AmSul-Lie groupoids and singular Riemannian foliations- Ivan Struchiner - USP
  74. 113. Alistair Savage: Diagratification - 01-Sep-2022
  75. Why you can't solve quintic equations (Galois theory approach) #SoME2
  76. Workshop on Representation Theory and Applications: Jethro van Ekeren
  77. What makes a proof acceptable?
  78. Shiing-Shen Chern - If Possible Do Nothing
  79. What is Equivariant Cohomology & What is it Good for? by J. Peter May
  80. How to Take the Factorial of Any Number
  81. How I became seduced by univalent foundations
  82. Dave Benson: Spectral methods in the representation theory of finite groups - Lecture 1
  83. Abstract Formalities
  84. 1 Billion is Tiny in an Alternate Universe: Introduction to p-adic Numbers #SoME2
  85. Math Talk! Dr. Emily Riehl, to infinity categories and beyond.
  86. Taming Infinities - Martin Hairer (2017 Fields Medal Symposium)
  87. What is the limit of a sequence of graphs?? | Benjamini-Schramm Convergence
  88. What can the working mathematician expect from deep learning?
  89. What is Group Theory? — Group Theory Ep. 1
  90. Jessica Fintzen - 1/2 Supercuspidal Representations: Construction, Classification, and Characters
  91. Kevin Buzzard, Imperial College London: "Is HoTT the way to do mathematics?"
  92. An Exact Formula for the Primes: Willans' Formula
  93. Finding Moonshine: A Mathematician's Journey Through Symmetry
  94. Minicourse - Representation Theory, Vertex and Chiral Algebras - Anne Moreau - Lecture 01
  95. Poincare Conjecture and Ricci Flow | A Million Dollar Problem in Topology
  96. Guilherme Sobreira - O Complexo de de Rham em Geometria não Comutativa
  97. Math Talk! Dr. Andrej Bauer on proof assistants, constructive mathematics, philosophy, and more.
  98. A stacky approach to crystalline (and prismatic) cohomology - Vladimir Drinfeld
  99. [London Learning Lean] Engel's theorem in mathlib, by Oliver Nash
  100. What is...the cohomology ring intuitively?
  101. Five Stages of Accepting Constructive Mathematics - Andrej Bauer
  102. A (not entirely wrong) introduction to Langlands
  103. Mathematician Explains Infinity in 5 Levels of Difficulty | WIRED
  104. Kevin Buzzard: The rise of formalism in mathematics
  105. Sheaf-Theoretic Look at Monodromy
  106. Michael Hopkins: My best advice to young mathematicians
  107. Forbidden Maths - Quantum Groups
  108. [London Learning Lean] Ordinals, by Violeta Hernández Palacios
  109. Algebraic Spaces and Stacks: Ideas
  110. Introduction to quantized enveloping algebras - Leonardo Maltoni
  111. Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
  112. Timothy Gowers: The Weil conjectures explained
  113. Descent and Stacks
  114. Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
  115. An Intuitive Introduction to Motivic Homotopy Theory - Vladimir Voevodsky
  116. Adam Wagner - Finding counterexamples to conjectures via reinforcement learning - IPAM at UCLA
  117. What do we mean by "equal" - Pierre Deligne
  118. Algebraic groups and all in characteristic p - Ivan Loseu
  119. Extra Forbidden Maths - Classifying Extensions Using Cohomology
  120. What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
  121. Timothy Gowers on the works of John Milnor
  122. CICM2021: The Design of Mathematical Language - Jeremy Avigad
  123. Flat Equals Locally Free (Introduction to Tor) - May 12, 2021
  124. What is the Riemann Hypothesis REALLY about?
  125. ∞-Category Theory for Undergraduates
  126. Alex Davies: Machine Learning with Mathematicians with G-Research
  127. The Vector Algebra War
  128. CWM-CoD Joint Panel: Best practices towards a more diverse and inclusive mathematical community
  129. Infinity categories and why they are useful I (Carlos Simpson)
  130. Computer Guided Mathematics Symposium - Q&A with Sir Timothy Gowers, Kevin Buzzard and Alex Davies
  131. Emily Riehl
  132. Math's pedagogical curse | Grant Sanderson JPBM Award Lecture, JMM 2023
  133. G. Lusztig - Stratifying reductive groups
  134. Sir Timothy Gowers: What is Mathematics? with G-Research
  135. Palestra especial - Jethro Van Ekeren (2023)
  136. Representations of Galois algebras – Vyacheslav Futorny – ICM2018
  137. Intuition meets AI in pure mathematics: Geordie Williamson DeepMind collaboration
  138. Kevin Buzzard: Mathematics and the Computer with G-Research
  139. 1st Joint Meeting Brazil-France in Mathematics - Olivier Mathieu (U Lyon) - Self Similarity...
  140. 43. Vladimir Dotsenko: Diamond Lemma and the Maurer-Cartan equation - LieJor 04-Mar-2021
  141. Productive generalization - Timothy Gowers
  142. Forbidden Maths - Operator Theory (2/2)
  143. Noncommutative analogues of moduli spaces via brick manifolds (Vladimir Dotsenko)
  144. Conversa com +1café #030: Ivan Shestakov
  145. Icosahedral symmetry - conjugacy classes and simplicity
  146. Robert Langlands - The 2018 Abel Prize Laureate
  147. 58. Vyacheslav Futorny: Infinite-dimensional representations of Lie algebras - LieJor 03-Jun-2021
  148. [London Learning Lean] Gardam's disproof of Kaplansky's Unit Conjecture, by Gadgil and Tadipatri
  149. 34º CBM - Palestra Plenária - The geometry of geometries: matroid theory, old and new
  150. The Boundary of Computation
  151. 34º CBM - Palestra Especial - Uma melhoria exponencial para os números de Ramsey
  152. 128. Bojko Bakalov: An operadic approach to vertex algebras and Poisson vertex algebras 08-Dec-2022
  153. Lecture 1: Invitation to topos theory
  154. ¿LAS MATEMÁTICAS SON INOFENSIVAS o tienen capacidad para hacer el mal (o el bien)?
  155. [London Learning Lean] The Krull topology, by Sebastian Monnet
  156. Writing a math research paper: start to finish!
  157. David Ayala: Higher categories are sheaves on manifolds
  158. Jørgen Ellegaard Andersen | Geometric Quantization of general Kähler manifolds
  159. André JOYAL - 1/4 A crash course in topos theory : the big picture
  160. Knots and Quantum Theory - Edward Witten
  161. How AI Discovered a Faster Matrix Multiplication Algorithm
  162. 1. History of Algebraic Topology; Homotopy Equivalence - Pierre Albin
  163. The Mystery of Spinors
  164. Argand, Gauss e a forma geométrica das quantidades imaginárias
  165. Etienne Ghys: My favorite groups
  166. "Structures on the free loop space” - Nathalie Wahl
  167. Thomaths 27 : Géométries Exotiques
  168. [HD Upscale] Outside In - How to turn a sphere inside out
  169. ICM2014 VideoSeries LC13: John Milnor on Aug15Fri
  170. Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA
  171. Anton Izosimov | Lie groupoids in fluid dynamics
  172. TUG 2018 - Conference - Sandro Coriasco, Anna Capietto
  173. Priyam Patel: Mapping class groups of infinite-type surfaces and their actions on hyperbolic graphs
  174. Olga Varghese: Automorphism groups of Coxeter groups do not have Kazhdan's property (T)
  175. O cálculo de Leibniz
  176. Cauchy e a definição de continuidade
  177. Emily Riehl: Formalizing ∞-category theory in the Rzk proof assistant
  178. Tara Holm | Equivariant cohomology and the (symplectic) diffeotype of complexity-one four-manifolds
  179. Sang-hyun Kim: Optimal regularity of mapping class group actions on the circle
  180. Narutaka Ozawa | October 11, 2022 | Kazhdan's property (T) for Aut(F_n) and EL_n(R)
  181. Marco De Renzi - Non-semisimple quantum representations of mapping class groups
  182. How I animate 3Blue1Brown | A Manim demo with Ben Sparks
  183. Benson Farb - Mapping class groups of K3 surfaces from a Thurstonian viewpoint
  184. Christopher Jefferson - Maths software in Rust after 20 years of C++: graph isomorphism and groups
  185. R. Detcherry - On the properties of quantum representations of mapping class groups of surfaces 1
  186. This open problem taught me what topology is
  187. Math Talk! Professor Wolfgang Soergel, Koszul duality
  188. Louis Funar - Mapping class groups and 4-manifolds
  189. Amateurs Solve a Famous Computer Science Problem On Discord
  190. Andrew Putman - The Steinberg representations
  191. Counting points on the E8 lattice with modular forms (theta functions) | #SoME2
  192. Ursula Hamenstädt: Artin groups and mapping class groups
  193. Building mathematical bridges: Interview with Jessica Fintzen
  194. Federica Fanoni : Introduction toTeichmüller theory - Lecture 1
  195. Character theory of finite groups of Lie type (Meinolf Geck) 1
  196. Yair Minsky - 1/2 Mapping Class Group and Curve Complex
  197. Jean-Pierre Serre & Alain Connes - Alexandre Grothendieck
  198. Alexander Chervov - Machine Learning Methods for Cayley Graphs Path Finding and Embeddings
  199. The bridge between number theory and complex analysis
  200. Federica Fanoni: Generating big mapping class groups
  201. Astonishing discovery by computer scientist: how to squeeze space into time
  202. Carlos Simpson - An overview of the structure at infinity of representation spaces­
  203. Tara Brendle: Cohomology of congruence subgroups
  204. Mikala Ørsnes Jansen: Borel-Serre Duality
  205. Tara Brendle: The Steinberg module of the mapping class group
  206. La géométrie et le quantique (1) - Alain Connes (2016-2017)