Arithmetic genus
Builds on Projective varietySheaf cohomologyEuler characteristic
Definition
Let be a field and let be a projective scheme over of dimension . Let be the Euler characteristic of its structure sheaf, computed with sheaf cohomology. The arithmetic genus of is
Remarks
The sum is finite because is projective, so each is finite-dimensional and vanishes for . Equivalently, , where is the Hilbert polynomial of for a chosen embedding. For a curve with , for example a connected reduced projective curve over an algebraically closed field, . Example: , so . Example: a plane cubic curve, smooth or nodal, has ; this follows from the exact sequence . Non-example: the affine line is not projective, and is infinite-dimensional, so is not defined.
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
- Euler characteristic concept
- Projective variety concept
- Sheaf cohomology concept
- Arithmetic genus definition
Further reading
About this page
| Tag | ENMB2J4JJ6 |
|---|---|
| URI | m2://ENMB2J4JJ6 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 14H99, 14C40 |
| Defines | Arithmetic genus |
| Uses | Projective variety, Sheaf cohomology, Euler characteristic |
| 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.