Problem 7 - Algebraic Geometry

Question

Let \(Y\) be a variety of dimension \(r\) and degree \(d>1\) in \(P^{n} .\) Let \(P \in Y\) be a nonsingular point. Define \(X\) to be the closure of the union of all lines \(P Q,\) where \(Q \in Y, Q \neq P\) (a) Show that \(X\) is a variety of dimension \(r+1\) (b) Show that \(\operatorname{deg} X

Step-by-Step Solution

Answer

By examining the lines connecting P to Q, one can show that the closure X has a dimension of \(r+1\). Furthermore, using induction based on the dimensionality of Y, one can also confirm that the degree of X is less than that of Y (denoted as d).

Step 1: Prove the Dimension of X

From the definition, every line joining P to \(Q(\in Y, Q\neq P)\) is included in X. Therefore, any element of X can be written as a union of an r-dimensional variety and a 1-dimensional variety (line), so X is (r+1)-dimensional. Thus X is a variety of dimension \(r + 1\).

Step 2: Statement of Induction Hypothesis for degree

In order to show that deg X < d, we are going to use induction. The base case is dimension 0. A 0-dimensional variety is just a set of points, and it is straightforward that the degree of X is less than the degree of Y for this case.

Step 3: Inductive Step for degree

Now, let's assume the inductive hypothesis is true for all dimension upto r, i.e., deg X < d, where X is defined similarly with respect to the variety of dimension r. Now to prove this for dimension r+1, analyze the lines P to Q, where Q is any point on Y of dimension r+1 and deg d. As by dimensionality restriction, part of Y that contributes to degree is only upto dimension r. Thus result follows by inductive hypothesis.

Key Concepts

Variety Dimension

In the realm of algebraic geometry, a variety is a fundamental object that represents solutions to polynomial equations. The dimension of a variety is a crucial property that tells us about the "size" of the set of solutions. For a given variety, the dimension reflects the number of parameters needed to describe the points on the variety.

Let's explore this with our exercise. We have a variety, denoted as \(Y\), with dimension \(r\). This means that locally, near any given point, we need \(r\) parameters to describe the points on \(Y\). Now, when we include lines, described as paths from a fixed point \(P\) to various points \(Q\) on \(Y\), we effectively elevate the dimensionality. This is because every line forms a one-dimensional component.

Therefore, when we form the set \(X\), defined as the closure of the union of all these lines, we are adding one more dimension due to these additional paths. Consequently, \(X\) becomes an \((r+1)\)-dimensional variety. This approach of considering additional paths or parameters is a fundamental aspect when calculating or verifying the dimension of varieties in algebraic geometry.

Degree of Variety

The degree of a variety is another important attribute that gives insight into the geometric complexity of the variety. It can be intuitively understood as a measure of how many points intersect with a hyperplane in projective space. In our exercise, the variety \(Y\) has a degree \(d > 1\).

To explore this further, consider the pair \( (P, Q) \) where lines are formed to create \(X\). As we form \(X\) by extending \(Y\) with these lines, the dimension increases; however, the challenge lies in understanding how the degree of \(X\) compares to \(Y\).

Here, the key observation is: when lines are added, even though new paths are involved, they are restrictions based on the underlying variety. This often results in the degree of \(X\) being less than the degree \(d\) of \(Y\). In other words, lines primarily ensure that the dimension increases whereas the interplay of these lines hardly increases the degree beyond what \(Y\) already imposes. The variety \(X\) maintains a continuous yet constrained structure on the complexity as dictated by \(Y\), thus reducing the degree.

Induction in Algebraic Geometry

Induction is a powerful technique often used in algebraic geometry to establish truths over infinite constructs by proving a base case and then extending this proof inductively. In our context, induction helps us understand the structural relationship between the dimension and degree of the constructed variety \(X\).

Here's how it works in our problem: we start with the base case where the dimension \(r = 0\). At this stage, a 0-dimensional variety equates to a finite set of points, and we readily observe that the degree of the finished structure (\(X\)) is less than that of \(Y\).

Then, moving into the induction step, we assume for a variety of dimension \(r\), the constructed \(X\) from lines \(P, Q\) retains a degree less than \(d\). So, constructing \(X\) for dimension \(r+1\) still adheres to this established pattern due to the cumulative degree being managed primarily by the original variety \(Y\).

This mechanism of building upon smaller dimensional cases ensures that properties hold through increasing dimensions and maintains the structural integrity desired for \(X\) vis-à-vis \(Y\). Such induction approaches underscore the beauty and practicality of algebraic geometry, systematically addressing complex scenarios in manageable steps.