Problem 8 - Algebraic Geometry

Question

Cohomology Class of a Divisor. For any divisor \(D\) on the surface \(X\), we define its cohomology class \(c(D) \in H^{1}\left(X, \Omega_{X}\right)\) by using the isomorphism Pic \(X \cong\) \(H^{1}\left(X, \mathcal{O}_{X}^{*}\right)\) of \((\mathrm{III}, \mathrm{Ex} .4 .5)\) and the sheaf homomorphism \(d \log : \mathscr{C}^{*} \rightarrow \Omega_{X}(\mathrm{III}\) Ex. \(7.4 \mathrm{c}\) ). Thus we obtain a group homomorphism \(c: \operatorname{Pic} X \rightarrow H^{1}\left(X, \Omega_{X}\right) .\) On the other hand, \(H^{1}(X, \Omega)\) is dual to itself by Serre duality (III, 7.13), so we have a nondegenerate bilinear map $$\langle\quad, \quad\rangle: H^{1}(X, \Omega) \times H^{1}(X, \Omega) \rightarrow k$$ (a) Prove that this is compatible with the intersection pairing, in the following sense: for any two divisors \(D, E\) on \(X,\) we have \\[ \langle c(D), c(E)\rangle=(D . E) \cdot 1 \\] in \(k .[\text { Hint }: \text { Reduce to the case where } D \text { and } E\) are nonsingular curves meeting transversally. Then consider the analogous map \(c:\) Pic \(D \rightarrow H^{1}\left(D, \Omega_{D}\right),\) and the fact (III, Ex. 7.4) that \(c\) (point) goes to 1 under the natural isomorphism of \(\left.H^{1}\left(D, \Omega_{D}\right) \text { with } k .\right]\) (b) If char \(k=0,\) use the fact that \(H^{1}\left(X, \Omega_{X}\right)\) is a finite-dimensional vector space to show that \(\mathrm{Num} X\) is a finitely generated free abelian group.

Step-by-Step Solution

Answer

The proof begins by simplifying the given problem through transversal nonsingular curves and then utilizing the provided hint. Further, the proof of Num X being a finitely generated free Abelian group relies on the characteristics of the finite-dimensional vector space \(H^{1}\left(X, \Omega_{X}\right)\) and the field \(k\).

Step 1: Understand and Label the Lemma

One must first understand the hypothesis and the conclusion given in question (a). This involves few isomorphisms as well as the intersection pairing of divisors and its relation with the pairing of their respective cohomology classes. This step includes simplifying and understanding the definition of intersection pairing and Cohomology classes. Based on the hint, reduce the problem to a simpler case where \(D\) and \(E\) are nonsingular curves meeting transversally and use this to prove the required relation.

Step 2: Proof of Lemma

Let \(D\) and \(E\) be nonsingular curves meeting transversely. Now, consider \(c:\) Pic \(D \rightarrow H^{1}\left(D, \Omega_{D}\right)\) as mentioned in the hint. The proof now involves understanding and applying the fact (III, Ex. 7.4) that \(c\) (point) goes to 1 under the natural isomorphism of \(\left.H^{1}\left(D, \Omega_{D}\right)\). Alongside, comprehending the properties and structures of all the concepts in use is significant in this step.

Step 3: Understand and apply the conditions of part (b)

In part (b), the characteristic of the field \(k\) is given as zero. Employ the information given that \(H^{1}\left(X, \Omega_{X}\right)\) is a finite-dimensional vector space.

Step 4: Proof of the Néron-Severi group structure

Now, by understanding the characteristics of the Néron-Severi group, one can prove it to be a finitely generated free Abelian group. This step might require the understanding of the properties of finite-dimensional vector space and the characteristic of the field \(k\).

Key Concepts

Divisor Class

In algebraic geometry, a **divisor** is a formal linear combination of subvarieties of codimension one in a given variety, such as a surface. A **divisor class** involves grouping all divisors that are linearly equivalent - this means they yield the same cohomology class in terms of their contribution to the geometry of the surface. In simple terms, if you remember that divisors can be seen as generalizations of curves on a surface, the divisor class then acts as an identifier for different but equivalently impactful curves.
Linear equivalence among divisors is quite important because it helps in classifying the divisors not only for structural insights but also for functionality purposes:

• It simplifies complex systems by allowing counterparts to be used interchangeably.
• Enables organized classification of divisors, similar to how we might sort numbers into odd and even categories.

To link this with cohomology, if each divisor corresponds to a certain function (or line bundle), then the cohomology class identifies all the equivalent functions up to a certain transformation. This concept ties closely into the structure of algebraic geometry, influencing how we solve problems in this mathematical field.

Serre Duality

**Serre Duality** is a powerful tool in algebraic geometry, offering a correspondence between certain vector spaces. It reveals a dual relationship between element groups associated with a variety X. Specifically, Serre Duality states that for a smooth projective variety X of dimension n, there exists an isomorphism from the cohomology group:\[H^i(X, ext{sheaf}) o H^{n-i}(X, ext{sheaf})^*\]where \ stands for duality. Essentially, this theorem provides a way to link the cohomological structure of a variety to itself, but in a 'mirrored' fashion.

• Serre Duality helps in calculations, alleviating certain complex integrations by providing dual results).
• Supports proving intersection theories by establishing symmetrical connections.
• Shows paths to more generalized theories in algebraic geometry.

Understanding this principle helps shine a light on the inter-relationships between different parts of a surface or variety, advancing solutions to problems of geometry.

Néron-Severi Group

The **Néron-Severi Group** is an important concept in algebraic geometry that lives on surfaces. It is essentially a group formed by identifying all divisor classes modulo algebraic equivalence, meaning it captures the numerical features of the divisors themselves. This group is finite for surfaces over algebraically closed fields, which means it can be counted in certain respects.
In practical terms, the Néron-Severi Group:

• Helps us quantify differences in divisors mathematical features without deep dives into every link and dimension separately.
• Allows correlation of algebraic curves with the rest of the algebraic structure in a straightforward manner.
• Lets mathematicians describe the geometric properties of a variety by something manageable - like counting its basis.

The study of this group is insightful for those keen on discovering how algebraic and geometric properties of varieties overlap. It relates to other core concepts such as intersection theory, providing further clarity to algebraic structures.

Intersection Pairing

**Intersection pairing** in algebraic geometry illustrates the way different divisors intersect within the context of a projective surface. This pairing is a bilinear form defined on the Néron-Severi Group, which helps in representing complex geometric interplays in more digestible algebraic expressions. Through intersection pairing, we measure how different divisor classes interact, leading to meaningful insights about their underlying varieties.
In mathematical terms, the intersection number of two divisors \( D \) and \( E \) on a surface can be computed as:\[(D . E) = \\]and this number is invariant under linear equivalence, meaning that linear transformations of divisor classes won’t affect this number. Here are its practical benefits:

• Helps simplify classification efforts by using straightforward multiplication.
• Gives insight into the spatial relationships between various divisors.
• Offers a numerical resource to resolve algebraic geometric problems.

By utilizing intersection pairing, mathematicians can address complex proofs and derive new theorems about the geometry of the surfaces, providing a meaningful base to explore expansive algebraic structures.