Problem 34 - Algebraic Curves: An Introduction to Algebraic Geometry

Question

Show that there are curves of every positive genus. (Hint: Consider affine plane curves \(y^{2} a(x)+b(x)=0\), where \(\operatorname{deg}(a)=g, \operatorname{deg}(b)=g+2\).)

Step-by-Step Solution

Answer

Question: Show that there are curves of every positive genus using the given hint. Answer: We showed that the genus of the curve given by the equation \(y^2 a(x) + b(x) = 0\), where \(\operatorname{deg}(a) = g\) and \(\operatorname{deg}(b) = g + 2\) is indeed \(g\). Therefore, there are curves of every positive genus since we can construct a curve with a desired genus by properly choosing coefficients of the associated polynomials \(a(x)\) and \(b(x)\).

Step 1: Review the Genus-degree Formula

The genus-degree formula relates the genus \(g\) of an algebraic curve to the degree \(d\) of the curve in a projective plane. For an irreducible plane curve defined by a homogeneous polynomial \(F(x, y, z)\) of degree \(d\), we have: $$g = \frac{(d-1)(d-2)}{2}$$

Step 2: Define the Affine Plane Curve

Consider the affine plane curve given by the equation: $$y^2 a(x) + b(x) = 0$$ where \(\operatorname{deg}(a) = g\) and \(\operatorname{deg}(b) = g+2\).

Step 3: Homogenize the Curve Equation

To apply the genus-degree formula, we first need to homogenize our curve equation. To do this, we introduce a new variable \(z\), and replace each power of \(x\) in the polynomial with \(x^i \to x^i z^{d-i}\), where \(d\) is the degree of homogenized polynomial: $$Y^2 a(X, Z) + b(X, Z) = 0$$ We can do this substitution in \(a(x)\) and \(b(x)\) to get \(a(X, Z)\) and \(b(X, Z)\), with: $$a(X, Z) = a_0 + a_1XZ^{g-1} + a_2X^2Z^{g-2} + \cdots + a_gX^g$$ $$b(X, Z) = b_0Z^{g+2} + b_1XZ^{g+1} + b_2X^2Z^{g} + \cdots + b_{g+2}X^{g+2}$$

Step 4: Find the Degree of the Homogenized Curve

To find the degree of the homogenized curve, we look at the highest degree term in \(Y^2a(X, Z)\). The highest degree term in \(a(X, Z)\) is \(a_gX^g\), so the highest degree term in \(Y^2a(X, Z)\) is given by \(a_gY^2X^g\). Thus the degree of the curve is \(g+2\), the same as the degree of \(b(X, Z)\).

Step 5: Compute the Genus Using Genus-degree Formula

Now, we apply the genus-degree formula to our curve. With a degree of \(g+2\), the formula gives us the following value for the genus: $$g = \frac{(g+1)(g+2-1)(g+2-2)}{2}$$ Simplifying, we find: $$g = \frac{g(g-1)}{2}$$

Step 6: Conclusion

The genus of the curve given by \(y^2 a(x) + b(x) = 0\) is indeed \(g\), as we wanted to show. Therefore, there are curves of every positive genus, since we can always construct a curve \(y^2 a(x) + b(x) = 0\) with desired genus \(g\) by properly choosing coefficients of the polynomials \(a(x)\) and \(b(x)\).

Key Concepts

Genus-Degree Formula

In the realm of algebraic geometry, one encounters fascinating connections between the properties of curves and simple algebraic formulas. The genus-degree formula is one such bridge, linking the abstract notion of genus—essentially, the number of 'holes' in a surface—to the more concrete degree of a polynomial equation defining a curve.

The formula is stated elegantly as: $$g = \frac{(d-1)(d-2)}{2}$$ where g represents the genus, and d is the degree of the curve when considered in the projective plane. It's crucial to note that this formula applies to irreducible curves, which means the polynomial cannot be factored into smaller degree polynomials with coefficients in the same field.

This formula has profound implications, as it means by simply knowing the degree of a polynomial, we can determine the topological complexity of the curve it defines. For a student tackling algebraic curves, internalizing this formula is a substantial step forward, allowing prediction of the genus from just the degree of the curve—providing a powerful tool for classifying curves in algebraic geometry.

Affine Plane Curves

Navigating through the concept of affine plane curves can be likened to uncovering the secrets of a flat landscape: It is about understanding the shapes and forms that can exist on a two-dimensional surface. Affine plane curves are defined by polynomial equations in two variables, usually x and y, without any exponents on the terms being higher than one.

The equation used in our exercise, $$y^2 a(x) + b(x) = 0$$ is an archetype of an affine plane curve, where a(x) and b(x) are polynomials of degree g and g+2 respectively. These curves aren't contained in the real projective plane, so we can't directly apply the genus-degree formula—hence the need for homogenization.

Affine plane curves are more than just equations; they represent geometric shapes like circles, ellipses, parabolas, and hyperbolas, each with its own properties and characteristics. To deeply understand these shapes, one must practice visualizing them and relating their features back to their defining equations.

Homogenizing Polynomial Equations

When we move from the realm of affine plane curves to the more comprehensive projective plane, we encounter the need to homogenize polynomial equations. Homogenization is akin to giving a passport to an affine curve for entry into the world of projective geometry, which allows us to utilize powerful tools like the genus-degree formula.

But how does it work? Let's consider the replacement procedure, which involves adding a new variable z. The transformation is done by replacing each x in the polynomial with x^i z^{d-i} to ensure all terms have the same degree d. For our affine equation y^2 a(x) + b(x) = 0, the homogenized form would be $$Y^2 a(X, Z) + b(X, Z) = 0$$ where terms in a and b are expressed in X and Z to reflect all possibilities of x, y, and z.

Once homogenized, the curve now lives in the projective plane and the degree is uniform across all terms, allowing us to use the genus-degree formula. This is a key leap for students: understanding this process of homogenization bridges the gap between affine curves and their projective counterparts. Embracing this technique is essential for exploring the rich structures of curves in projective spaces.