Enumerative geometry
Definition
Enumerative geometry is the branch of algebraic geometry that determines the number of geometric objects of a given kind that satisfy given conditions. The objects are typically subvarieties of projective space, such as lines, conics or rational curves. The conditions are chosen in general position, and an answer is a number that is the same for all general choices. A standard method treats the objects as points of a moduli space and each condition as a subvariety. The count is then an intersection number.
Remarks
Example: in , exactly lines meet four lines in general position. In the Grassmannian of lines, each condition is a hypersurface, and the product of four such classes is times the class of a point.
Example: there are smooth conics in tangent to five general conics. Steiner gave the answer , which counts degenerate double lines as well, and the correct number is due to Chasles.
Non-example: the number of lines meeting four lines that all lie in one plane is infinite. Every line in that plane meets all four, so the conditions are not in general position.
Other classical numbers are lines on a smooth cubic surface and lines on a general quintic threefold.
Reading path
To understand this page from the ground up, read these 4 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Intersection theory concept
- Moduli space concept
- Projective space concept
- Enumerative geometry definition
Further reading
About this page
| Tag | W94AEJV9NK |
|---|---|
| URI | m2://W94AEJV9NK |
| Kind | definition |
| Writing | W0 stub |
| MSC | 14N10, 14N15 |
| Defines | Enumerative geometry |
| Uses | Projective space, Intersection theory, Moduli space |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.