ICM 2026 Invited Section Lecture - Alexander Kupers

Value of the Information & Strength of the Argument

The value of the information is exceptionally high, offering a panoramic yet rigorously detailed view of an active research area. The argumentation is logically constructed, starting from a concrete motivating question (how to distinguish diffeomorphisms) and building up the entire theoretical apparatus step-by-step. The speaker successfully justifies each design choice, such as the shift from points to open discs, and carefully explains the factorization of smoothing theory. The reasoning is authoritative, relying on known theorems and recent joint work, with clear delineation of what is classical versus novel.

Scientific Rigor, Source Quality, Title Accuracy

The scientific rigor is impeccable. The speaker explicitly credits Michael Weiss, Peter Salvatore, and numerous collaborators, and points to a survey for detailed proofs, demonstrating standard academic practice. The lecture is internally consistent and avoids overstating claims, precisely identifying the scope of disc-presheaf techniques (e.g., their limits in detecting homotopy spheres). The title and description accurately encapsulate the single-topic lecture presented.

The title accurately identifies the format (ICM 2026 Invited Section Lecture) and the speaker. The description clearly states the topic (Manifolds and Disc-Presheaves), which precisely matches the content delivered in the lecture.

9/10

Lecture delivered at a prestigious international conference (ICM 2026) by a leading researcher in topology. The mathematical arguments are rigorous, well-structured, and explicitly built upon prior work by Michael Weiss and Peter Salvatore, with references to surveys and joint collaborations. The presentation carefully distinguishes classical results from recent novel contributions, demonstrating high scholarly integrity.

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

• 00:00Introduction: Goal to convince audience that disc-presheaves form a good category to study manifolds.
• 02:00Motivating question: Distinguishing smooth manifolds up to diffeomorphism. Limitations of algebraic topology invariants.
• 04:00Configuration spaces of points as first attempt; Salvatore's example with lens spaces demonstrates their strength but only sees homeomorphism type.
• 06:00Incorporating the tangent bundle by embedding open discs; recovery of frame bundles.
• 08:00Adding natural maps via composition of embeddings, leading to the definition of the category of discs and disc-presheaves.
• 12:00Using disc-presheaves to study diffeomorphisms through post-composition, making it a functor.
• 20:00Classical smoothing theory and its factorization through disc-presheaves, including a pullback square that works in dimension 4.
• 30:00Understanding disc-presheaves via homotopy theory: filtration by subcategories and inductive tower construction.
• 35:00Introduction of Weiss's embedding calculus notation, Taylor tower, and interpretation of layers as mapping spaces of configuration spaces.
• 40:00Concrete example of a two-truncated disc-presheaf showing the data of a manifold's tangent bundle and configuration space of two points.

• Survey on embedding calculus by Alexander Kupers — Speaker recommends this survey for detailed proofs and mentions joint work with Risha Bamante, Manuel Okanik, Ben Nudson, Far Mer, Oscar Williams.
• Work of Michael Weiss on embedding calculus — Speaker explicitly states the talk is indebted to Michael Weiss and uses his terminology of embedding calculus and Taylor approximations.
• Peter Salvatore's example with lens spaces — Mentioned to illustrate that configuration spaces of points can distinguish homotopy-equivalent lens spaces via their configuration space homotopy type.