Problem 4 - Algebraic Geometry

Question

Let \(C\) be a curve of genus \(g\), and let \(X\) be the ruled surface \(C \times \mathbf{P}^{1}\). We consider the question, for what integers \(s \in \mathbf{Z}\) does there exist a section \(D\) of \(X\) with \(D^{2}=>?\) First show that \(s\) is always an even integer, say \(s=2 r\) (a) Show that \(r=0\) and any \(r \geqslant g+1\) are always possible. Cf. (IV, Ex. 6.8 ). (b) If \(g=3,\) show that \(r=1\) is not possible, and just one of the two values \(r=2,3\) is possible, depending on whether \(C\) is hyperelliptic or not.

Step-by-Step Solution

Answer

Solutions different for different values of 'g' and 'r'. When 'g' is 3, either 'r = 2' or 'r = 3' is a feasible solution depending on whether 'C' is a hyperelliptic curve or not. However, in all cases, 'r = 0' and 'r ≥ g+1' are always feasible solutions.

Step 1: Verify That 's' is An Even Integer

Given that s = 2r, where r is a Nonnegative integer, it's clear that 's' must be even. This is because any integer multiplied by 2 results in an even integer.

Step 2: Show That 'r = 0' and Any 'r ≥ g+1' Are Always Possible

For any curve of genus 'g', a section always exists when 'r = 0' (the zero section) or any 'r ≥ g+1', according to the theory of intersections on ruled surfaces (Cf. IV, Ex. 6.8). This is due to the self-intersection formula, which in our case yields that 'D^2 = -2g + 2r'. Note that 'D^2' must be a Nonnegative integer, so for a feasible 'r', its value must always be greater than or equal to 'g+1'.

Step 3: Analyze For Case Where 'g = 3', 'r = 1'

For 'g = 3', if we take 'r = 1', we find that 'D^2 = -2(3) + 2(1) = -4'. However, as 'D^2' must be a Nonnegative integer, 'r = 1' is not a possible solution.

Step 4: Analyze For Case Where 'g = 3', 'r = 2' and 'r = 3'

When 'g = 3' and 'r = 2', the formula gives 'D^2 = -2(3) + 2(2) = -2' and for 'r = 3', 'D^2 = -2(3) + 2(3) = 0'. So, in both cases 'D^2' is a Nonnegative integer. However, there is a caveat that whether these solutions are feasible or not depends on the properties of the curve 'C'. For example, if 'C' is a hyperelliptic curve then 'r = 3' is a feasible solution, otherwise 'r = 2' is feasible.

Key Concepts

Ruled Surfaces

Imagine you have a line that moves along a path defined by a curve; this action sweeps out a surface known as a ruled surface. In algebraic geometry, these surfaces are fascinating because they are generated from a curve and a line. Precisely, you can think of a ruled surface as a family of straight lines indexed by points on a base curve.

Ruled surfaces can be visualized in the context of our original exercise, where we consider the product of a curve C and the projective line \(\textbf{P}^1\). With every point on C associated with a line in \(\textbf{P}^1\), an entire surface is created. The section D of a ruled surface X is conceptually a 'slice' of this surface, which can also be thought of as a curve on this surface.

In the exercise, we're interested in determining under what circumstances these sections can square to a given integer s. To grasp the idea of squaring a section (noted as D^2), just think of it as a measure of how the section twists and turns over the surface - a concept closely tied with the surface's geometry. The determination of even s aligns with the inherent symmetrical properties of most algebraic geometric structures.

Genus of a Curve

The genus of a curve is a fundamental concept in the study of algebraic geometry. It is an intrinsic property of the curve that roughly corresponds to the number of 'holes' it has. Genus can be thought of as a 'complexity' measure: the higher the genus, the more complex the curve. A curve with genus 0 is topologically equivalent to a sphere, while a curve of genus 1 resembles a donut, which has exactly one hole.

In our exercise, the genus g plays an important role in determining the properties of sections on the ruled surface. It comes into play when finding the required s, which directly depends on the genus through the equation D^2 = -2g + 2r. This equation shows how the genus influences the insights about the ruled surface. The calculation indicates how the complex structure of the curve impacts the geometry of the ruled surfaces derived from it. Understanding the genus is crucial when we analyze the solution for r = 0 or any r ≥ g+1, highlighting that these are achievable values for our curve of a given genus.

Hyperelliptic Curves

In more advanced algebraic geometry, certain curves stand out for their unique properties; hyperelliptic curves are one of them. These curves can be imagined as a more intricate version of the well-known elliptic curves. Hyperelliptic curves have a genus g ≥ 2, denoting a curve that 'loops' back on itself in complex ways multiple times.

Hyperelliptic curves are significant in our original problem because they dictate possible values for r when the genus g is 3. The decisive fact is whether or not the curve C is hyperelliptic. If C is hyperelliptic, one set of r values is possible, while if C is not hyperelliptic, another set is. To understand this effect, one must delve into the detailed behaviour of hyperelliptic curves and how they interact with the concept of sections on ruled surfaces.

As an introduction to this intricate topic, the crucial takeaway is that the curve's type has a direct impact on the ruled surface's geometry. The case of whether r = 2 or r = 3 is possible - tying back to our exercise solution - depends on this unique characteristic of the curve. This makes the study of such curves and their classifications central to answering complex geometric questions.