ICM 2026 Invited Section Lecture - Ailana Fraser

Value of the Information & Strength of the Argument

The lecture provides a comprehensive and well-structured overview of a highly technical area, bridging classical results with cutting-edge developments. The argumentation is rigorous: the speaker carefully motivates each step, from the second variation formula to the necessity of strengthening stability to covering stability. The logical progression from simpler hypersurface results to the complexities of higher codimension is clear. The key insight of using holomorphic sections and bundle splitting to extract geometric rigidity is convincingly presented. The value lies in both the synthesis of known results and the presentation of original work, which offers a new framework (covering stability) for tackling the higher-genus case. The talk is both informative and intellectually stimulating for experts.

Scientific Rigor, Source Quality, Title Accuracy

The scientific rigor is exemplary: the speaker cites classical works (Euler, Bernstein, Micallef, Schoen-Yau, Micallef-Moore) and recent contributions (Sagman, Thalmeor, Eretszo, etc.) accurately. All statements are placed in their proper mathematical context, with caveats observed (e.g., failure of the theorem without extra conditions). The title of the video, though generic, is consistent with a plenary lecture; the description accurately identifies the topic. No external sources were provided in the description, but the internal references are sufficient. Adéquation titre/contenu is adequate but not descriptive.

The title only indicates the event and speaker, but not the scientific content. However, it is standard for such plenary lectures; the description provides the actual topic. Slightly generic but not misleading.

10/10

Invited lecture at the International Congress of Mathematicians by a leading expert in the field, presenting a rigorous survey and recent peer-reviewed results. Highly reliable source.

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

• 00:00Introduction and overview of the talk's structure.
• 04:00Basics of minimal submanifolds, first variation, and classical examples (catenoid, helicoid).
• 10:00Presentation of the second variation formula and its simplification in codimension one and two.
• 20:00Discussion of genus zero results using holomorphic vector bundles and Micallef's theorem.
• 30:00Introduction of covering stability and the higher genus one case, with the Atiyah bundle and almost holomorphic sections.

• Micallef (1984) - Stable minimal surfaces in Euclidean space — Proved that complete stable minimal surfaces with quadratic area growth in R^4 are holomorphic.
• Micallef & Moore (1988) - Minimal two-spheres and positive isotropic curvature — Used complex second variation to show minimal spheres in manifolds with positive isotropic curvature are unstable, yielding a sphere theorem.
• Schoen & Yau (1980) - Stable minimal surfaces in Kähler manifolds — Showed that stable minimal spheres in positive bisectional curvature are holomorphic or anti-holomorphic, used in Frankel conjecture.
• Lawson & Simons (1973) - Stable minimal submanifolds in CP^n — Stability implies calibrated for minimal submanifolds in complex projective space.
• Fraser & Schoen - Recent joint work on genus one covering stability — Main result presented: genus one finite total curvature covering stable surfaces are holomorphic.