Problem 4 - Algebraic Geometry

Question

(a) If a surface \(X\) of degree \(d\) in \(\mathbf{P}^{3}\) contains a straight line \(C=\mathbf{P}^{1},\) show that \(C^{2}=2-d\) (b) Assume char \(k=0,\) and show for every \(d \geqslant 1,\) there exists a nonsingular surface \(X\) of degree \(d\) in \(\mathbf{P}^{3}\) containing the line \(x=y=0\)

Step-by-Step Solution

Answer

For part (a), it can be concluded that \(C^{2}=2 - d\). For part (b), the surface \(X\) of degree \(d\) in \(\mathbf{P}^{3}\) which is nonsingular and contains the line \(x=y=0\) can be defined by the polynomial \(P(X,Y,Z,W) = Z^{d} + W^{d} + X^{2}Y^{2}\).

Step 1 - Interpret part (a)

For part (a), it's given that surface \(X\) of degree \(d\) in \(\mathbf{P}^{3}\) contains a straight line \(C=\mathbf{P}^{1}\). Since \(C\) is contained in \(X\), its intersection number \(C^{2}\) with \(X\) is actually self-intersection number of \(C\).

Step 2 - Calculate the Intersection Number

By Bezout's theorem, we have the intersection number of a line with a surface of degree \(d\) to be \(d\). However, since the line is contained in the surface, its self-intersection number, denoted by \(C^{2}\), is \(d - 2\). Hence, \(C^{2} = 2 - d\).

Step 3 - Interpret part (b)

For part (b), it's to be shown that for every \(d \geqslant 1\) , there exists a nonsingular surface \(X\) of degree \(d\) in \(\mathbf{P}^{3}\) containing the line \(x=y=0\). Since we're given that char \(k=0,\) it means the field \(k\) has characteristic 0. This ensures that all polynomials have roots in the field, and therefore any resultant surface will be nonsingular, i.e., will not have any isolated points or self-intersections.

Step 4 - Construct the surface

Let the irreducible homogeneous polynomial which defines \(X\) be \(P(X,Y,Z,W)\) of degree \(d\). We can define it in a certain way that guarantees \(X\) is nonsingular and contains the line \(x=y=0\). For instance, \(P(X,Y,Z,W) = Z^d + W^d + X^2Y^2\) is a polynomial of degree \(d\) defining a nonsingular surface \(X\) in \(\mathbf{P}^{3}\) containing \(x=y=0\).

Key Concepts

Intersection Theory

Intersection theory is a significant branch of algebraic geometry that explores the properties of geometric intersections. When we talk about intersection numbers, we are essentially counting how many times geometric objects intersect within a given space, considering specific multiplicities.
In the given exercise, we explore the intersection of a line with a surface, which is a fundamental concept in intersection theory. Generally, Bezout's Theorem aids us here, stating that two projective plane curves of degrees \(m\) and \(n\) intersect at \(mn\) points, assuming they don't share any components.

• For example, a line intersecting a degree \(d\) surface at \(d\) distinct points aligns with Bezout's theorem.
• However, if the line is part of the surface, it's considered to have a self-intersection, which affects the intersection count, as shown by the self-intersection number \(C^2 = 2 - d\).

Understanding these principles enables better comprehension of how distinct geometric entities relate in complex spaces.

Projective Geometry

Projective geometry is an extension of conventional geometry that studies properties invariant under projection. This includes the addition of 'points at infinity' for lines, allowing for a unified and holistic view of geometry.
One of the key aspects of projective geometry is the use of projective spaces like \(\mathbf{P}^3\), a 3-dimensional projective space. Every point in \(\mathbf{P}^n\) is represented by non-zero homogeneous coordinates \((x_0, x_1, ..., x_n)\), with the equivalence relation defining that two sets of coordinates represent the same point if one is a scalar multiple of the other.

• For surfaces like \(X\) in \(\mathbf{P}^3\), projective geometry allows for the consideration of intersections at infinity, providing a comprehensive interpretation of geometry.
• This framework is beneficial in algebraic geometry since it simplifies understanding intersections through homogeneous equations.

This mathematical context enriches the possible analysis of shapes and surfaces without issues like parallel lines meeting, all occurring within projective planes.

Polynomial Degree

The degree of a polynomial is a measure of the highest power of its terms, informing its geometrical complexity. For surfaces defined within projective space, like the surface \(X\) in \(\mathbf{P}^3\), the degree of the defining polynomial is crucial.
In the exercise, the surface \(X\) is of degree \(d\), reflecting that any line intersecting this surface typically meets \(d\) times, in line with the considerations given by Bezout's Theorem.

• The degree influences not only the number of intersection points but also the shape and nature of the surface.
• Higher degree polynomials define more complex surfaces, which can include multiple components or intricate singularities if not managed carefully.

Here, understanding the polynomial degree aids in conceptualizing how surfaces interact with other geometric entities within projective spaces, providing insight into the broader algebraic structures.

Nonsingular Variety

A nonsingular variety is a smooth space without singularities, where at every point, the surface locally resembles a flat plane, ensuring no abrupt 'jumps' or 'holes'.
Nonsingular surfaces are essential in algebraic geometry, enabling mathematicians to make precise calculations and derivations.

• In this exercise, the creation of a nonsingular surface \(X\) of degree \(d\) containing a line like \(x=y=0\) is facilitated by ensuring the coefficients and the structure of the defining polynomial prevent singularities.
• When working within a field with characteristic zero, as in this exercise ( ext{char} \(k = 0\)), it's easier to ensure that a variety is nonsingular.

Grasping what constitutes a nonsingular variety provides a foundation to explore more intricate geometric configurations without the complications introduced by singular points.