ICM 2026 Invited Section Lecture - Ben Davison

Value of the Information & Strength of the Argument

The lecture provides a high-value synthesis of a sophisticated area, connecting combinatorial, geometric, and physical viewpoints. The argumentation is clear and builds progressively: it starts with an accessible counting problem, introduces necessary formal operations (plethystic exponential, quantum dilogarithm), then presents the geometric analog, and finally motivates the deeper algebraic structures via Hall algebras and vanishing cycles. The speaker explains why the categorification is a stronger statement than mere numerical identities, and he consistently highlights the key conceptual leaps. The logic flows well, and the examples are carefully chosen to illustrate both simple and more complex phenomena.

Scientific Rigor, Source Quality, Title Accuracy

The scientific rigor is high: the talk references classical results (Feit–Fine) and modern theorems (Kontsevich–Soibelman, Fomin) and explains the mathematical framework precisely. The quality of sources is appropriate, though the lecture does not provide direct citations or links; it relies on well-known results in the field. The title accurately reflects the content, though it is generic; the description clarifies the specific topic. The speaker’s presentation style is precise and assumes a high-level audience, but the argumentation remains coherent and trustworthy.

The title is generic but accurate; it identifies the speaker and event, while the specific topic of BPS cohomology is stated in the description. The content matches the title's promise.

9/10

The lecture is delivered by an expert in algebraic geometry and representation theory, published by the Simons Foundation, and references classical theorems (Feit–Fine) and contemporary work (Kontsevich–Soibelman, Fomin). The technical content is rigorous and internally consistent.

Markers derived by PSI from the transcript: the creator did not define chapters.

• 02:00Introduces the counting problem of commuting matrices over finite fields.
• 05:00States the Feit–Fine theorem and introduces the quantum dilogarithm.
• 10:00Switches to complex geometry and defines BPS cohomology for stacks.
• 20:00Explains categorification via free supercommutative algebras and discusses quiver representations.
• 30:00Introduces the physics motivation with Landau–Ginzburg models and vanishing cycles.

• Feit–Fine theorem — Mentioned as a classical result on the partition function for commuting matrices over finite fields.
• Kontsevich–Soibelman Hall algebra construction — Referenced when defining the Hall algebra structure on cohomology of quiver representation stacks.
• BPS state (Bogomolny–Prasad–Sommerfield) — Mentioned as the physical origin of the term 'BPS'.