Problem 4 - Algebraic Geometry

Question

A variety \(Y\) is rational if it is birationally equivalent to \(\mathbf{P}^{n}\) for some \(n\) (or, equivalently by \((4.5),\) if \(K(Y)\) is a pure transcendental extension of \(k\) ). (a) Any conic in \(\mathbf{P}^{2}\) is a rational curve. (b) The cuspidal cubic \(y^{2}=x^{3}\) is a rational curve. (c) Let \(Y\) be the nodal cubic curve \(y^{2} z=x^{2}(x+z)\) in \(P^{2}\). Show that the projection \(\varphi\) from the point \(P=(0,0,1)\) to the line \(z=0\) (Ex. 3.14 ) induces a birational map from \(Y\) to \(\mathbf{P}^{1}\). Thus \(Y\) is a rational curve.

Step-by-Step Solution

Answer

The projection \( \varphi \) from the point \( P \) = (0,0,1) to the line \( z = 0 \) induces the birational map \( \varphi ( [x: y: z] ) = [x: y] \) from \( Y \) to \( \mathbf{P}^{1} \), with inverse \( \varphi^{-1} ([x: y]) = [x: y: x] \). Hence, given the definition in the exercise, the curve \( Y \) is a rational curve.

Step 1: Identify the Projection Map

The first step is to identify the projection \( \varphi \) for the point \( P = (0, 0, 1) \) to the line \( z = 0 \). From Ex. 3.14, we have \( \varphi : \mathbf{P}^{2} - \{P\} \to \mathbf{P}^{1} \), where \( \varphi(X) = \text{the unique point of intersection of the line through the points } X \text{ and } P \text{ with the line } z = 0.\)

Step 2: Identify the Induced Map

Next, we need to identify the induced map \( \varphi : Y - \{P\} \to \mathbf{P}^{1} \). This map is well defined - the line through \( P \) and a point \( X \) of \( Y \) intersects the line \( z = 0 \) at exactly one point - and is given by the formula \( \varphi ( [x: y: z] ) = [x: y] \).

Step 3: Show the Inverse of the Induced Map

The final step is to show that the inverse of this map exists and is given by \( \varphi^{-1} ([x: y]) = [x: y: x] \). The fact that the inverse map exists and is well defined shows that \( \varphi \) itself is a birational map.

Key Concepts

Birational Equivalence

In algebraic geometry, birational equivalence is a key concept. It refers to when two algebraic varieties have an isomorphism between open subsets. This means they are "the same" in a loose sense when it comes to their function fields. Birational equivalence implies that these varieties can be related through rational functions. Basically, you can think of birational equivalence as a softer form of equality for shapes in algebra.
For example:

• The variety \(Y\) is considered rational if it is birationally equivalent to a projective space \(\mathbf{P}^{n}\).

Being birationally equivalent doesn't mean the varieties look identical, but their essential structure, via rational maps, is the same. This concept is crucial for classifying varieties based on their complexity and behavior under rational functions.

Rational Curves

Rational curves are those that can be parameterized by rational functions, meaning they have the same function field as the projective line \(\mathbf{P}^1\). These curves are among the simplest in algebraic geometry due to their straightforward parameterization.
For instance:

• Any conic in \(\mathbf{P}^2\), such as the equation \(y^2 = x^2 + z^2\), is a rational curve.
• The cuspidal cubic curve defined by \(y^2 = x^3\) is also considered rational.

These curves share an important property: they can be described using only two parameters (like \(x\) and \(y\)), hence their classification as rational. Rational curves often arise in problems involving intersections and mappings within projective spaces.

Projection Map

A projection map is a type of rational map that can build a bridge between different varieties. It "projects" one variety onto another, often simplifying the geometry or revealing different properties.
In the exercise, we consider a nodal cubic curve \(Y\) described by the equation \(y^2z = x^2(x + z)\) inside \(\mathbf{P}^2\). The projection \(\varphi\) is taken from a point \((0, 0, 1)\) to a line where \(z = 0\), showing us how \(Y\) can map onto \(\mathbf{P}^1\), the projective line.

• The projection removes unnecessary dimensions, focusing only on relevant parameters, simplifying complex relations.
• By sending points on \(Y\) (except where defined by \(P\)) to \(\mathbf{P}^1\), the map \(\varphi([x: y: z]) = [x: y]\) induces birational equivalence.
• A crucial aspect demonstrated in the steps is showing that the inverse map \(\varphi^{-1}([x: y]) = [x: y: x]\) exists and works effectively.

This projection map elegantly demonstrates how birational maps help to understand the properties and dimensions of curves such as \(Y\).