Problem 2 - Algebraic Geometry

Question

Let \(H\) be a very ample divisor on the surface \(X,\) corresponding to a projective embedding \(X \subseteq \mathbf{P}^{N} .\) If we write the Hilbert polynomial of \(X\) (III, Ex. 5.2) as \\[ F(z)=\frac{1}{2} a z^{2}+b z+c \\] show that \(a=H^{2}, b=\frac{1}{2} H^{2}+1-\pi,\) where \(\pi\) is the genus of a nonsingular curve representing \(H,\) and \(c=1+p_{a} .\) Thus the degree of \(X\) in \(\mathbf{P}^{N},\) as defined in \((\mathrm{I}, \S 7)\) is just \(H^{2} .\) Show also that if \(C\) is any curve in \(X\), then the degree of \(C\) in \(\mathbf{P}^{N}\) is just \(C . H\)

Step-by-Step Solution

Answer

The coefficients of the Hilbert Polynomial represent the square of the very ample divisor (\(a = H^{2}\)), half of the square of the divisor plus 1 minus the genus (\(b = \frac{1}{2} H^{2} + 1 - \pi\)), and 1 plus the arithmetic genus (\(c = 1 + p_{a}\)). The degree of the surface in projective space is simply the square of the divisor (\(H^{2}\)), and the degree of any curve (\(C\)) in the surface is represented as the intersection of the curve with the divisor (\(C . H\)).

Step 1: Understanding the Very Ample Divisor and its Relation to the Hilbert Polynomial

Recall that a very ample divisor on a surface results in a projective embedding of the surface. Given the Hilbert Polynomial for the embedded algebraic surface as \(F(z) = \frac{1}{2} a z^{2} + b z + c\), we know \(a = H^{2}\) where \(H\) is the very ample divisor on \(X\).

Step 2: Calculating Parameters of the Hilbert Polynomial

By definition of the coefficients of the Hilbert Polynomial, we have \(b = \frac{1}{2} H^{2} + 1 - \pi\), where \(\pi\) is the genus of a nonsingular curve representing \(H\). Similarly, \(c = 1 + p_{a}\), where \(p_{a}\) denotes the arithmetic genus of \(X\).

Step 3: Determining the Degree of the Embedded Surface

The degree of the embedded surface \(X\) in \(\mathbf{P}^{N}\), is just defined to be \(H^{2}\), then the degree of \(X\) is just \(a = H^{2}\), which we have already calculated in step 1.

Step 4: Finding the Degree of a Curve in the Projective Space

If \(C\) is any curve in \(X\), then the degree of \(C\) in \(\mathbf{P}^{N}\) is just \(C . H\), giving us a way to measure the degree of individual curves in terms of their intersection with the ample divisor \(H\).

Key Concepts

Understanding Very Ample Divisors

In algebraic geometry, very ample divisors serve as a bridge between abstract algebraic varieties and more concrete geometric objects in projective space. A very ample divisor on a surface X essentially provides a way to 'embed' or 'map' X into a projective space denoted by \(\mathbf{P}^{N}\), where N is some integer. This embedding transforms the abstract properties of X into a more visual and geometric form.

Very ample divisors enable us to use the tools and language of projective geometry, such as points, lines, and planes, to study the intrinsic properties of algebraic varieties. These divisors are related to line bundles, which can be thought of as 'packages' of lines that cover the surface in a systematic way. The key property of a very ample divisor is that the line bundle associated to it has enough sections to give an embedding into projective space where the image is a projective variety.

Within the context of the Hilbert polynomial, very ample divisors help in calculating the coefficients that describe the growth of the sections of these line bundles. This is crucial because it relates geometric objects to algebraic expressions, linking both visual intuition and algebraic precision.

Projective Embedding and Algebraic Surfaces

A projective embedding can be thought of as a way to take an abstract algebraic surface and 'draw' it inside a more accessible space called projective space. The embedding process is deeply tied to the notion of very ample divisors, as these divisors provide the tools necessary for the embedding.

In algebraic geometry, projective space \(\mathbf{P}^{N}\) is a construction that extends the familiar notion of Euclidean space and allows for the incorporation of 'points at infinity', a concept which helps to simplify the treatment of curves and surfaces. When we embed an algebraic surface X into projective space using a very ample divisor, each point of X corresponds to a point in \(\mathbf{P}^{N}\). The Hilbert polynomial comes into play as it describes the dimension of the space of sections of line bundles associated with the divisor over X as the degree increases.

Projective embeddings are not just about placing the surface into \(\mathbf{P}^{N}\); they are also about preserving the geometric and algebraic structures so that the properties of the embedded surface reflect the properties of the original surface. This enables deeper insights and powerful tools for algebraic geometers to work with.

Arithmetic Genus and Its Significance

The term arithmetic genus (denoted as \(p_{a}\)) is a fundamental invariant in the study of complex algebraic curves and surfaces. It is a number that encapsulates important topological information about a surface. For a nonsingular projective algebraic curve, the arithmetic genus coincides with the usual notion of genus, which counts the maximum number of non-intersecting simple closed curves that can be drawn on the surface without splitting it into separate pieces.

The arithmetic genus is closely connected to the Hilbert polynomial through its constant term c. In the given exercise, this relationship is formalized by showing that c = 1 + p_{a}, thus directly linking the algebraic formulation with topological and geometric properties. The arithmetic genus also appears in the calculation of the linear coefficient b of the Hilbert polynomial through its relation with the genus of the curve representing a divisor. This shows how a single algebraic quantity, \(p_{a}\), can play multiple roles in the algebraic description of a surface, further highlighting how the Hilbert polynomial encapsulates a rich tapestry of algebraic and geometric information.