Math 2.0

Algebraic geometry Definition

Arithmetic genus

Builds on Projective varietySheaf cohomologyEuler characteristic

Definition

Let kk be a field and let XX be a projective scheme over kk of dimension nn. Let ฯ‡(๐’ชX)=โˆ‘iโ‰ฅ0(โˆ’1)idimโกkHi(X,๐’ชX)\chi(\mathcal{O}_X) = \sum_{i \ge 0} (-1)^i \dim_k H^i(X, \mathcal{O}_X) be the Euler characteristic of its structure sheaf, computed with sheaf cohomology. The arithmetic genus of XX is pa(X)=(โˆ’1)n(ฯ‡(๐’ชX)โˆ’1).p_a(X) = (-1)^n \left( \chi(\mathcal{O}_X) - 1 \right).

Remarks

The sum is finite because XX is projective, so each Hi(X,๐’ชX)H^i(X, \mathcal{O}_X) is finite-dimensional and vanishes for i>ni > n. Equivalently, pa(X)=(โˆ’1)n(PX(0)โˆ’1)p_a(X) = (-1)^n (P_X(0) - 1), where PXP_X is the Hilbert polynomial of XX for a chosen embedding. For a curve CC with H0(C,๐’ชC)=kH^0(C, \mathcal{O}_C) = k, for example a connected reduced projective curve over an algebraically closed field, pa(C)=dimโกkH1(C,๐’ชC)p_a(C) = \dim_k H^1(C, \mathcal{O}_C). Example: H1(โ„™1,๐’ช)=0H^1(\mathbb{P}^1, \mathcal{O}) = 0, so pa(โ„™1)=0p_a(\mathbb{P}^1) = 0. Example: a plane cubic curve, smooth or nodal, has pa=1p_a = 1; this follows from the exact sequence 0โ†’๐’ชโ„™2(โˆ’3)โ†’๐’ชโ„™2โ†’๐’ชCโ†’00 \to \mathcal{O}_{\mathbb{P}^2}(-3) \to \mathcal{O}_{\mathbb{P}^2} \to \mathcal{O}_C \to 0. Non-example: the affine line ๐”ธ1\mathbb{A}^1 is not projective, and H0(๐”ธ1,๐’ช)=k[t]H^0(\mathbb{A}^1, \mathcal{O}) = k[t] is infinite-dimensional, so ฯ‡\chi 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
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Euler characteristic concept
  2. Projective variety concept
  3. Sheaf cohomology concept
  4. Arithmetic genus definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Arithmetic_genus
About this page
TagENMB2J4JJ6
URIm2://ENMB2J4JJ6
Kinddefinition
WritingW0 stub
MSC14H99, 14C40
DefinesArithmetic genus
UsesProjective variety, Sheaf cohomology, Euler characteristic
Changed2 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.