ICM 2026 Fields Medal Award Lecture - John Pardon

Value of the Information & Strength of the Argument

The lecture provides a high-value exposition of a cutting-edge theory, offering both conceptual insights and technical details. Pardon’s argumentation is rigorous and well-structured, building from classical results to new developments. He clearly explains the motivation for derived geometry and the universal property approach, making a compelling case for its utility. The presentation is dense but logically coherent, with each step justified.

Scientific Rigor, Source Quality, Title Accuracy

The lecture demonstrates high scientific rigor, with references to classical works (e.g., Kuranishi 1965) and contemporary developments (e.g., Joyce’s conjectures). The title accurately reflects the content. The speaker is a leading expert, and the content is presented with precision. No external sources are cited beyond those mentioned in the talk, but the mathematical arguments are self-contained and rigorous.

The title accurately reflects the content, which is a technical lecture on logarithmic derived moduli theory of nonlinear elliptic equations.

9/10

Lecture by a Fields Medalist presenting original research with rigorous mathematical reasoning, references to established literature, and a clear logical structure.

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

• 00:00Introduction and overview of the lecture topic.
• 02:00Review of classical theory: moduli spaces as zero sets of smooth functions.
• 05:00Introduction to derived smooth manifolds and the analogy with chain complexes.
• 10:00Universal property of derived categories and axioms for computation.
• 15:00Discussion of tangent complexes and minimal amplitude factorization.
• 20:00Derived manifolds remember intersection multiplicities.
• 25:00Coherence problem and two approaches: explicit vs. universal property.
• 30:00Moduli stack of sections and universal property definition.
• 35:00Derived regularity theorem and representability of the moduli stack.
• 40:00Importance of compactness and extensions to degenerate manifolds.

• Kuranishi, M. (1965). On the locally complete families of complex analytic structures — Classical result on moduli spaces as zero sets of smooth functions.
• Fukaya, K., & Ono, K. (1999). Floer homology and Gromov-Witten invariant over integer coefficients — Development of Kuranishi charts for moduli spaces in symplectic geometry.
• Joyce, D. (2015). Conjectures on moduli spaces in symplectic geometry — Conjectures on derived smooth manifold structures for moduli spaces.

• Kuranishi, M. (1965). On the locally complete families of complex analytic structures — Classical result on moduli spaces as zero sets of smooth functions.
• Fukaya, K., & Ono, K. (1999). Floer homology and Gromov-Witten invariant over integer coefficients — Development of Kuranishi charts for moduli spaces in symplectic geometry.