Gottche's formula for Hilbert Schemes of n points | Yao Yichen 2026.06.27

Gottche's formula for Hilbert Schemes of n points | Yao Yichen 2026.06.27

by Yao Yichen

Formal & Physical Sciences Mathematics PBMGeometryPBMWAlgebraic geometry
🎙 Yao Yichen 👥 507 📅 June 27, 2026 ⏱ 30 min 👁 20 📄 original study 🧭 2026-08-16
Available in: English (current) Français

Keywords

Hilbert schemeGottsche formulaBetti numbersWeil conjecturesalgebraic geometry

Summary

This is a final year project presentation by Yao Yichen on the cohomology of Hilbert schemes, culminating in Gottsche’s formula. The talk is structured in five parts: preliminaries, definition of Hilbert scheme, examples, geometric properties, and topological properties. The preliminaries cover sheaves of modules, subfunctors, Grassmannians, twisting sheaves, and Hilbert polynomials. The Hilbert scheme is defined as a representable functor, with a proof sketch using the decomposition by Hilbert polynomial and embedding into Grassmannians. Examples include the Hilbert scheme of one point and the correspondence with ideals in polynomial rings. The geometric properties discussed include the Hilbert-Chow morphism, irreducibility, and smoothness for surfaces, leading to the Bogomolov theorem. The topological part introduces Betti numbers, Weil conjectures, and then presents Gottsche’s formula connecting Betti numbers of Hilbert schemes to those of the original surface. The example of C^2 yields Euler’s generating function for partitions. The presentation is rigorous and includes proof sketches, but some details are omitted for time.

158 words

Critical Evaluation

Value of the Information & Strength of the Argument

The value of the information is high, as it provides a coherent and detailed exposition of a sophisticated topic in algebraic geometry. The argumentation is solid: definitions are precise, and the logical flow from preliminaries to the final formula is clear. The speaker uses standard results (e.g., Serre vanishing, Hartshorne’s theorem) and provides proof sketches that convey the main ideas. The inclusion of concrete examples (e.g., C^2) enhances understanding. The presentation is well-structured and demonstrates a strong grasp of the material.

Scientific Rigor, Source Quality, Title Accuracy

The scientific rigor is high: the speaker cites standard references (Hartshorne, Grothendieck) and uses precise mathematical language. The sources are appropriate for the level, though no external links are provided in the description. The title accurately reflects the content. The presentation is a student project, so it is not peer-reviewed, but the mathematical content appears correct. The adequacy between title and content is excellent.

160 words

Title / Content Match

The title accurately reflects the content, which focuses on Gottsche's formula for Hilbert schemes of n points.

Quality & Reliability

8/10

The presentation is mathematically rigorous, with clear definitions, proofs sketches, and references to standard results (e.g., Hartshorne, Grothendieck). The speaker demonstrates deep understanding and provides concrete examples. Minor limitations: it is a student presentation, not peer-reviewed, and some proofs are only sketched.

Key Moments

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

Cited Sources

  • Hartshorne, Algebraic Geometry — Referenced for Theorem 9.9 on flatness and Hilbert polynomials.
  • Grothendieck, Fondements de la géométrie algébrique — Referenced for the proof of representability of Hilbert schemes.

Concurring Sources

  • Hartshorne, Algebraic Geometry — Standard reference for scheme theory and Hilbert polynomials.
  • Grothendieck, Fondements de la géométrie algébrique — Original construction of Hilbert schemes.

Contribution & Novelties

The presentation provides a clear and self-contained exposition of Gottsche’s formula, bridging algebraic geometry and topology. It is valuable for students and researchers seeking an accessible introduction to Hilbert schemes and their cohomology. The example with C^2 and the connection to partition functions is particularly illuminating.

Pour aller plus loin :

  • Hilbert scheme — General overview and properties.
  • Weil conjectures — Context for the zeta function and Betti numbers.
  • Gottsche’s formula — Brief mention, but not detailed; better to consult original paper: L. Göttsche, ‘The Betti numbers of the Hilbert scheme of points on a smooth projective surface’, Math. Ann. 286 (1990), 193-207.

103 words

Radar Profile

The radar profile shows high scores in all dimensions, with a particularly strong level of technical detail. This indicates a presentation that is both informative and rigorous, suitable for an audience with a solid background in algebraic geometry.

Reliability 8/10