Closed Sets In Projective Space: A Detailed Explanation

Hey guys! Let's dive into a fascinating topic in algebraic geometry: understanding how closed sets behave in projective space. Specifically, we're going to tackle the question: if a set is closed in every affine chart, does that mean it's closed in the projective space itself? This is a crucial concept when working with projective varieties, so let's break it down step by step.

Understanding the Basics: Projective Space and Zariski Topology

Before we jump into the main question, let's make sure we're all on the same page with the fundamental concepts. We're working in the classical setting over an algebraically closed field k. This means our field has the property that every non-constant polynomial has a root in k. Think of the complex numbers C as a prime example. Now, let's define our terms clearly.

Projective Space: The n-dimensional projective space, denoted as P^n, is essentially the set of all lines through the origin in the (n+1)-dimensional affine space. Formally, we define it as the quotient space (k^(n+1) \ {0}) / ~, where ~ is the equivalence relation defined by scalar multiplication. In simpler terms, two points in k^(n+1) are equivalent if they lie on the same line through the origin. We represent points in P^n using homogeneous coordinates [x₀ : x₁ : ... : x_n], where not all x_i are zero, and [x₀ : x₁ : ... : x_n] = [λx₀ : λx₁ : ... : λx_n] for any non-zero scalar λ in k.

Zariski Topology: This is a special topology defined on algebraic varieties, including projective space. Instead of open sets being defined by small neighborhoods like in usual Euclidean space, the closed sets in the Zariski topology are algebraic sets. These are sets defined by the vanishing of polynomials. Specifically, in P^n, a Zariski closed set is of the form V(𝔞), where 𝔞 is a homogeneous ideal in the polynomial ring k[x₀, x₁, ..., x_n]. A homogeneous ideal is an ideal generated by homogeneous polynomials, meaning polynomials where all terms have the same total degree.

Affine Charts: To relate projective space to our familiar affine spaces, we use affine charts. An affine chart is essentially a way to "zoom in" on a portion of projective space and view it as an affine space. A standard affine chart in P^n is given by U_i = [x₀ x₁ : ... : x_n] ∈ P^n | x_i ≠ 0, where i ranges from 0 to n. Each U_i is isomorphic to the affine space A^n, which is just k^n. We can think of U_i as the set where the i-th coordinate is non-zero, and we can dehomogenize the homogeneous coordinates by setting x_i = 1. This gives us a mapping from U_i to A^n. For example, the chart U₀ is mapped to A^n by [x₀ : x₁ : ... : x_n] ↦ (x₁/x₀, ..., x_n/x₀).

Understanding these definitions is crucial for tackling the main question. We need to grasp how projective space is constructed, how closed sets are defined within it using the Zariski topology, and how affine charts allow us to connect projective space to affine spaces. With these concepts in our toolkit, we can move on to the core of the problem.

The Main Question: Closed in Every Affine Chart?

Now, let's get to the heart of the matter: If a subset of projective space is closed in every affine chart, is it necessarily closed in the projective space itself? This is a fundamental question that bridges the gap between affine and projective geometry. Intuitively, it's asking whether local closedness (closedness within each chart) implies global closedness (closedness in the entire projective space).

Let's formalize this a bit. Suppose we have a subset X of P^n. We say that X is closed in the affine chart U_i if the intersection X ∩ U_i is a Zariski closed set in U_i. Remember, each U_i is isomorphic to A^n, so we can talk about Zariski closed sets within U_i. These closed sets are defined by the vanishing of polynomials in the affine coordinates of A^n. So, X ∩ U_i is closed if it can be described as the set of points where some polynomials in the affine coordinates vanish.

The big question is: if X ∩ U_i is Zariski closed in U_i for every i, does that mean X itself is a Zariski closed set in P^n? In other words, can we find a homogeneous ideal 𝔞 in k[x₀, x₁, ..., x_n] such that X = V(𝔞)? This is not immediately obvious, and requires a careful argument.

To get a handle on this, let's think about what it means for something to not be closed. If X is not closed in P^n, it means that it cannot be defined as the vanishing set of a collection of homogeneous polynomials. This implies that there's some subtle global property that X lacks, even if it looks closed locally in each affine chart. The challenge is to show that if X is closed in every chart, it must have this global property, and therefore be closed in P^n.

We're going to delve into a proof of this statement, but before we do, it's helpful to consider why this question is so important. Projective space is a very natural setting for studying algebraic varieties because it compactifies affine space. This means that it adds "points at infinity" in a way that makes many geometric constructions cleaner and more complete. Understanding the relationship between closed sets in affine and projective space is crucial for translating results between these two settings. It allows us to use the powerful tools of projective geometry to study affine varieties, and vice versa.

Proving the Implication: A Detailed Walkthrough

Alright, let's roll up our sleeves and get into the proof! This is where things get a bit more technical, but stick with me, guys. We'll break it down into manageable steps.

The Goal: Our goal is to show that if a subset X of P^n is closed in every affine chart U_i, then X is closed in P^n. This means we need to find a homogeneous ideal 𝔞 in k[x₀, x₁, ..., x_n] such that X = V(𝔞). Remember, V(𝔞) is the set of points in P^n where all the polynomials in 𝔞 vanish.

The Strategy: The main idea is to construct the ideal 𝔞 by piecing together the information we get from the closedness of X in each affine chart. Since X ∩ U_i is closed in U_i, it can be defined by the vanishing of some polynomials in the affine coordinates of U_i. We'll need to "homogenize" these polynomials to get homogeneous polynomials in k[x₀, x₁, ..., x_n], and then use these to build our ideal 𝔞.

Step 1: Setting up the Notation

Let's start by setting up some notation to make things clearer. For each i from 0 to n, let X_i = X ∩ U_i. By assumption, X_i is closed in U_i. Since U_i is isomorphic to A^n, X_i corresponds to a Zariski closed set in A^n. This means there exists an ideal 𝔞_i in the polynomial ring k[y_1, ..., y_n] such that X_i is the vanishing set of 𝔞_i in A^n. Note that here, the variables y_1, ..., y_n represent the affine coordinates in A^n, which are related to the homogeneous coordinates in P^n after dehomogenization.

Step 2: Homogenization

Now comes the crucial step of homogenization. We need to lift the polynomials in 𝔞_i from the affine coordinates to homogeneous polynomials in k[x₀, x₁, ..., x_n]. Let f(y_1, ..., y_n) be a polynomial in 𝔞_i. We define the homogenization of f with respect to x_i (the coordinate we set to 1 in U_i) as follows:

f*(x₀, ..., x_n) = x_i^(deg(f)) * f(x₀/x_i, ..., x_(i-1)/x_i, x_(i+1)/x_i, ..., x_n/x_i)

Here, deg(f) denotes the total degree of the polynomial f. This homogenization process essentially multiplies each term of f by a suitable power of x_i so that the resulting polynomial f* is homogeneous of degree deg(f). The key idea is that the vanishing of f* in P^n corresponds to the vanishing of f in the affine chart U_i.

Let 𝔞*_i be the ideal in k[x₀, x₁, ..., x_n] generated by the homogenizations of all polynomials in 𝔞_i. This is a homogeneous ideal, which is exactly what we need to define a Zariski closed set in P^n.

Step 3: Constructing the Ideal 𝔞

Now, we can finally construct our ideal 𝔞. We define 𝔞 to be the intersection of all the ideals 𝔞*_i for i ranging from 0 to n:

𝔞 = 𝔞*_0 ∩ 𝔞*_1 ∩ ... ∩ 𝔞*_n

This ideal 𝔞 is also a homogeneous ideal because it's the intersection of homogeneous ideals. It contains all the homogeneous polynomials that vanish on X in every affine chart.

Step 4: Proving X = V(𝔞)

We're almost there! Now we need to show that X is indeed the vanishing set of 𝔞, i.e., X = V(𝔞). This requires us to prove two inclusions:

1. X ⊆ V(𝔞): This means that every point in X must also be in V(𝔞). Let P be a point in X. Then P is in P^n, and it must lie in at least one affine chart U_i. Since P is in X, it's also in X_i = X ∩ U_i. By the definition of X_i, all polynomials in 𝔞_i vanish at the affine coordinates corresponding to P in U_i. This means that all the homogenized polynomials in 𝔞*_i vanish at P. Since 𝔞 is a subset of 𝔞*_i, all polynomials in 𝔞 vanish at P, so P is in V(𝔞).
2. V(𝔞) ⊆ X: This is the converse, and it's a bit trickier. We need to show that every point in V(𝔞) is also in X. Let P be a point in V(𝔞). Then P is in P^n, and again, it must lie in at least one affine chart U_i. Since P is in V(𝔞), all polynomials in 𝔞 vanish at P. In particular, all polynomials in 𝔞 vanish at P. This means that the dehomogenization of these polynomials (which are the original polynomials in 𝔞_i) must vanish at the affine coordinates corresponding to P in U_i. Therefore, P is in X_i = X ∩ U_i, and hence P is in X.

Step 5: Conclusion

We've shown both inclusions, so we can conclude that X = V(𝔞). This means that X is a Zariski closed set in P^n. We've successfully proven that if a subset of projective space is closed in every affine chart, it is indeed closed in the projective space itself!

Why This Matters: Applications and Implications

So, we've proven a pretty neat result, but why should we care? This theorem has some significant implications and applications in algebraic geometry. Let's explore a few:

1. Working with Projective Varieties: This result is fundamental when working with projective varieties. Projective varieties are, by definition, closed subsets of projective space. This theorem gives us a practical way to check if a given subset is a projective variety. We just need to check if it's closed in each affine chart. This is often easier than directly finding a homogeneous ideal that defines the set.

2. Compactification: As we mentioned earlier, projective space is a compactification of affine space. This means that it adds "points at infinity" in a nice way. This theorem helps us understand how geometric objects behave when we move from affine space to projective space. If we have an affine variety (a closed subset of affine space), we can take its closure in projective space. This closure is a projective variety, and this theorem tells us that the closure operation preserves the property of being closed in each affine chart.

3. Intersection Theory: This result is crucial in intersection theory, which studies how algebraic varieties intersect each other. In projective space, the intersection of two projective varieties is always another projective variety. This theorem helps us show that this is indeed the case. If we have two projective varieties, their intersection is closed in each affine chart, and therefore closed in projective space.

4. Dimension Theory: The dimension of an algebraic variety is a fundamental concept. This theorem helps us relate the dimension of an affine variety to the dimension of its projective closure. The dimension is preserved when taking the closure, which is a consequence of this theorem.

In essence, this theorem provides a bridge between affine and projective geometry. It allows us to translate results and techniques between these two settings, making our geometric toolbox much more powerful. By understanding the relationship between closed sets in affine and projective space, we can gain deeper insights into the structure and properties of algebraic varieties.

Final Thoughts

So there you have it, guys! We've explored a key concept in algebraic geometry: the connection between closed sets in affine charts and closed sets in projective space. We've seen a detailed proof of the theorem and discussed its important implications. This is a cornerstone result that underpins many advanced topics in the field. Understanding this concept will definitely give you a solid footing as you delve deeper into the fascinating world of algebraic geometry. Keep exploring, keep questioning, and happy math-ing!