# Arithmetic genus

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A numerical invariant of algebraic varieties (cf. Algebraic variety). For an arbitrary projective variety $X$ (over a field $k$) all irreducible components of which have dimension $n$, and which is defined by a homogeneous ideal $I$ in the ring $k[T_0,\dots,T_N]$, the arithmetic genus $p_a(X)$ is expressed using the constant term $\phi(I,0)$ of the Hilbert polynomial $\phi(I,m)$ of $I$ by the formula

$$p_a(X)=(-1)^n(\phi(I,0)-1).$$

This classical definition is due to F. Severi . In the general case it is equivalent to the following definition:

$$p_a(X)=(-1)^n(\chi(X,\mathcal O_X)-1),$$

where

$$\chi(X,\mathcal O_X)=\sum_{i=0}^n(-1)^i\dim_kH^i(X,\mathcal O_X)$$

is the Euler characteristic of the variety $X$ with coefficients in the structure sheaf $\mathcal O_X$. In this form the definition of the arithmetic genus can be applied to any complete algebraic variety, and this definition also shows the invariance of $p_a(X)$ relative to biregular mappings. If $X$ is a non-singular connected variety, and $k=\mathbf C$ is the field of complex numbers, then

$$p_a(X)=\sum_{i=0}^{n-1}g_{n-1}(X),$$

where $g_k(X)$ is the dimension of the space of regular differential $k$-forms on $X$. Such a definition for $n=1,2$ was given by the school of Italian geometers. For example, if $n=1$, then $p_a(X)$ is the genus of the curve $X$; if $n=2$,

$$p_a(X)=-q+p_g,$$

where $q$ is the irregularity of the surface $X$, while $p_g$ is the geometric genus of $X$.

For any divisor $D$ on a normal variety $X$, O. Zariski (see ) defined the virtual arithmetic genus $p_a(D)$ as the constant term of the Hilbert polynomial of the coherent sheaf $\mathcal O_X(D)$ corresponding to $D$. If the divisors $D$ and $D'$ are algebraically equivalent, one has

$$p_a(D)=p_a(D').$$

The arithmetic genus is a birational invariant in the case of a field $k$ of characteristic zero; in the general case this has so far (1977) been proved for dimensions $n\leq3$ only.

How to Cite This Entry:
Arithmetic genus. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Arithmetic_genus&oldid=33008
This article was adapted from an original article by I.V. Dolgachev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article
{"ft_lang_label":"__label__en","ft_lang_prob":0.77288234,"math_prob":0.9998876,"size":2349,"snap":"2023-14-2023-23","text_gpt3_token_len":713,"char_repetition_ratio":0.12452026,"word_repetition_ratio":0.0,"special_character_ratio":0.3124734,"punctuation_ratio":0.121475056,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000087,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-03-29T13:28:13Z\",\"WARC-Record-ID\":\"<urn:uuid:5cfd4178-884d-4bc4-a995-613449137758>\",\"Content-Length\":\"18039\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:31729745-2941-42a4-bff8-a40253a471f7>\",\"WARC-Concurrent-To\":\"<urn:uuid:7bb01377-1043-4c67-9d22-706ef83c1f5f>\",\"WARC-IP-Address\":\"34.96.94.55\",\"WARC-Target-URI\":\"https://encyclopediaofmath.org/index.php?title=Arithmetic_genus&oldid=33008\",\"WARC-Payload-Digest\":\"sha1:YUYXAKVA5DYCQTLL6WJNIKSBKITA6SEE\",\"WARC-Block-Digest\":\"sha1:CQJY7V5223M3Q6FHLUMDOGZAVFWYMBYZ\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-14/CC-MAIN-2023-14_segments_1679296948976.45_warc_CC-MAIN-20230329120545-20230329150545-00546.warc.gz\"}"}