ICM 2026 Plenary Lecture - Ciprian Manolescu

Value of the Information & Strength of the Argument

The lecture provides a comprehensive and insightful overview of the interplay between knot theory and four-manifold topology. Manolescu’s argumentation is clear and logically structured, building from foundational concepts to cutting-edge research. He effectively demonstrates how Kirby diagrams and combinatorial descriptions of Floer homology facilitate computations and lead to new invariants. The presentation is rigorous, with appropriate emphasis on the limitations and open questions in the field.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is scientifically rigorous, presented by a leading expert. Manolescu references key works by Donaldson, Freedman, Ozsváth-Szabó, and others, though specific citations are not detailed in the video. The title accurately reflects the content, and the lecture is well-organized. The description provides no additional sources, but the talk itself is a reliable source of expert knowledge.

The title accurately reflects the content, which traces the connection from knot theory to four-manifold topology.

9/10

Lecture by a leading expert in low-dimensional topology, presenting established results and recent research. The content is mathematically rigorous and well-structured, with clear explanations of advanced concepts. The speaker is a professor at Stanford University and a renowned researcher in the field.

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

• 00:00Introduction and welcome by Tom, followed by Manolescu's opening remarks.
• 02:00Outline of the talk: background on knot theory and four-manifold topology, Kirby diagrams, and recent work on invariants.
• 05:00Introduction to knot theory: definitions, examples (trefoil, Hopf link, Borromean rings, Conway knot), and classical invariants (Alexander and Jones polynomials).
• 10:00Introduction to four-manifold topology: topological vs. smooth manifolds, exotic smooth structures, and the smooth four-dimensional Poincaré conjecture.
• 15:00Representation of three-manifolds via surgery on framed links, and the trace construction leading to four-manifolds.
• 20:00Kirby diagrams: representing four-manifolds via framed links, with examples including CP2, S2×S2, and the K3 surface.
• 25:00Seiberg-Witten invariants and their relation to monopole Floer homology, and the idea of computing invariants via cut-and-paste methods.
• 30:00Heegaard Floer homology as an alternative to gauge theory, and its equivalence to monopole Floer homology.
• 35:00Combinatorial definition of link Floer homology via grid diagrams, counting empty rectangles.
• 40:00Surgery formulas relating link Floer homology to three-manifold invariants, and the construction of new four-manifold invariants (scan lasagna modules).