Richard Borcherds is a mathematician and professor at University of California Berkeley known for his work on lattices, group theory, and infinite-dimensional algebras. His numerous accolades include being awarded the Fields Medal in 1998 and being elected a fellow of the American Mathematical Society and the National Academy of Sciences.
Patreon (bonus materials + video chat): https://www.patreon.com/timothynguyen
In this episode, Richard and I give an overview of Richard's most famous result: his proof of the Monstrous Moonshine conjecture relating the monster group on the one hand and modular forms on the other. A remarkable feature of the proof is that it involves vertex algebras inspired from elements of string theory. Some familiarity with group theory and representation theory are assumed in our discussion.
I. Introduction
- 00:25: Biography
- 02:51 : Success in mathematics
- 04:04 : Monstrous Moonshine overview and John Conway
- 09:44 : Technical overview
II. Group Theory
- 11:31 : Classification of finite-simple groups + history of the monster group
- 18:03 : Conway groups + Leech lattice
- 22:13 : Why was the monster conjectured to exist + more history 28:43 : Centralizers and involutions
- 32:37: Griess algebra
III. Modular Forms
- 36:42 : Definitions
- 40:06 : The elliptic modular function
- 48:58 : Subgroups of SL_2(Z)
IV. Monstrous Moonshine Conjecture Statement
- 57:17: Representations of the monster
- 59:22 : Hauptmoduls
- 1:03:50 : Statement of the conjecture
- 1:07:06 : Atkin-Fong-Smith's first proof
- 1:09:34 : Frenkel-Lepowski-Meurman's work + significance of Borcherd's proof
V. Sketch of Proof
- 1:14:47: Vertex algebra and monster Lie algebra
- 1:21:02 : No ghost theorem from string theory
- 1:25:24 : What's special about dimension 26?
- 1:28:33 : Monster Lie algebra details
- 1:32:30 : Dynkin diagrams and Kac-Moody algebras
- 1:43:21 : Simple roots and an obscure identity
- 1:45:13: Weyl denominator formula, Vandermonde identity
- 1:52:14 : Chasing down where modular forms got smuggled in
- 1:55:03 : Final calculations
VI. Epilogue
- 1:57:53 : Your most proud result?
- 2:00:47 : Monstrous moonshine for other sporadic groups?
- 2:02:28 : Connections to other fields. Witten and black holes and mock modular forms.
Further reading: V Tatitschef. A short introduction to Monstrous Moonshine. https://arxiv.org/pdf/1902.03118.pdf
Twitter: @iamtimnguyen
Webpage: http://www.timothynguyen.org
