Problem 45 - Algebraic Curves: An Introduction to Algebraic Geometry

Question

Show that ideals \(I, J \subset k\left[X_{1}, \ldots, X_{n}\right]\) ( \(k\) algebraically closed) are comaximal if and only if \(V(I) \cap V(J)=\phi\).

Step-by-Step Solution

Answer

Question: Show that two ideals, I and J, are comaximal if and only if the intersection of their respective varieties is empty. Answer: Two ideals, I and J, are comaximal if and only if there exist elements a ∈ I and b ∈ J with a + b = 1. This condition guarantees that the intersection of their varieties V(I) and V(J) is empty, as any point P in V(I) ∩ V(J) would contradict the assumption a + b = 1. Conversely, if the intersection of the varieties is empty, then I and J are comaximal due to the Nullstellensatz, which relates the sum of their radical ideals to the entire polynomial ring.

Step 1: Define Comaximal Ideals

Comaximal ideals are ideals I and J in a polynomial ring such that their sum, I + J, is equal to the full ring. In other words, I and J are comaximal if there exist elements a ∈ I and b ∈ J with a + b = 1.

Step 2: Define the Intersection of Varieties

Let V(I) and V(J) denote the varieties of the ideals I and J, respectively. The intersection of the varieties is defined as V(I) ∩ V(J) = {P ∈ k^n | P is in both V(I) and V(J)}, which means that for every P in this intersection, P satisfies the polynomial equations from both I and J.

Step 3: Use Nullstellensatz

The Nullstellensatz is a powerful theorem in algebraic geometry that relates ideals and varieties. For our problem, we will use the weak Nullstellensatz, which states that for any ideal I in the polynomial ring k[X_1,...,X_n], where k is algebraically closed, the radical of I is the set of all polynomials that vanish on V(I). In symbols, this is written as √I = {f ∈ k[X_1,...,X_n] | f(P) = 0 for all P ∈ V(I)}.

Step 4: Show the Forward Direction (Comaximal Implies Empty Intersection)

Assume that I and J are comaximal, which means that there exist elements a ∈ I and b ∈ J with a + b = 1. Now consider a point P in the intersection of V(I) and V(J). By definition, P satisfies all polynomial equations from both I and J. In particular, a(P) = 0 and b(P) = 0. But this means that (a + b)(P) = a(P) + b(P) = 0 + 0 = 0, which contradicts our assumption that a + b = 1. Therefore, V(I) ∩ V(J) must be empty.

Step 5: Show the Reverse Direction (Empty Intersection Implies Comaximal)

Now assume that V(I) ∩ V(J) = ∅. By the Nullstellensatz, we have I(V(I) ∩ V(J)) = I(∅). Since the intersection of V(I) and V(J) is empty, their union V(I) ∪ V(J) must cover the entire space k^n. Again, by the Nullstellensatz, we have I(V(I)) + I(V(J)) = √I + √J = k[X_1,...,X_n]. Consequently, for some f ∈ √I and g ∈ √J, we have f+g = 1. Since √I ⊆ I and √J ⊆ J, we find that I and J are comaximal. This completes the proof that ideals I and J are comaximal if and only if V(I) ∩ V(J) = ∅.

Key Concepts

Intersection of Varieties

In algebraic geometry, the concept of varieties is crucial for understanding the geometry of solutions to polynomial equations. Let's assume that we have a polynomial ring in several variables, such as \(k[X_1, X_2, \, \ldots, X_n]\). Here, \(k\) is an algebraically closed field, which means every non-constant polynomial in \(k\) has a root in \(k\).

• A variety \(V(I)\) is the set of common solutions to the polynomials belonging to an ideal \(I\).
• The intersection \(V(I) \cap V(J)\) is the set of points that are solutions to both the polynomial equations in \(I\) and \(J\).

The intersection of varieties \(V(I) \cap V(J)\) is empty, \(\emptyset\), if there is no common solution that fits the conditions posed by either ideal. Understanding that the geometrical `intersection` relates to the algebraic concept of comaximality is essential for weaving through these mathematical landscapes.

Nullstellensatz

The Nullstellensatz is a fundamental theorem in algebraic geometry connecting the dots between geometry and algebra. Specifically, it establishes a bridge between polynomial ideals and the roots of associated equations. In our context, we refer to the weak version of this theorem.

• The weak Nullstellensatz posits that if \(k\) is an algebraically closed field, then for any ideal \(I\) in a polynomial ring \(k[X_1, \ldots, X_n]\), the radical of \(I\), denoted as \(\sqrt{I}\), consists of all polynomials that vanish on the variety \(V(I)\).
• This means, for every polynomial \(f\) in \(\sqrt{I}\), \(f(P) = 0\) for all points \(P\) on the variety \(V(I)\).

This theorem is instrumental in our understanding of how the algebraic properties of ideals mirror the geometric properties of polynomial solutions. In the problem, it helps us connect the notion of comaximal ideals to the lack of intersection in varieties.

Polynomial Ring

The polynomial ring \(k[X_1, \ldots, X_n]\) serves as the foundational structure in algebra that we deploy to study these concepts. It is a ring consisting of all polynomials in variables \(X_1, \ldots, X_n\) with coefficients from the field \(k\).

• A polynomial ring is denoted by expressions like \(k[X_1, X_2, ..., X_n]\), where operations of addition and multiplication adhere to standard polynomial arithmetic.
• Ideals within a polynomial ring, such as \(I\) and \(J\), can be thought of as sets of polynomials closed under addition and multiplication by any polynomial in the ring.

Grasping the layout and operation within a polynomial ring is vital as it forms the backbone upon which algebraic geometry stands. Delving into the polynomial rings provides the playground where various algebraic structures interact, fundamentally shaping the understanding of ideals and varieties.