[ag/hw] Homework

Affine and projective spaces

Let \(Y\) be the plane curve \(y = x^2\) (i.e. \(Y\) is the zero-set of the polynomial \(f = y - x^2\)). Show that \(A(Y)\) is isomorphic to the polynomial ring in one variable over \(k\).

Proof: We need to show that \(A(Y) = k[x, y]/(y - x^2)\) is isomorphic to \(k[x]\). To do this, consider \(k[x][y]\) as a polynomial in \(y\) adjointed with the solutions of \(y = x^2\). The solutions lie in \(k[x]\). Alternatively, the kernel of the isomorphism \(k[x, y]/(y - x^2) \xrightarrow{\varphi} k[x]\) is \(\text{Ker}(\varphi) = y - x^2\), by the first isomorphism theorem \(\Box\)

Let \(Z\) be the plane curve \(xy = 1\). Show that \(A(Z)\) is not isomorphic to the polynomial ring in one variable over \(k\).

Proof: \(A(Z) = k[x, 1/x]\) contains an invertible element not in \(k\), and is therefore not a polynomial ring over \(k\) \(\Box\)

Let \(Y \subseteq A^3\) be the set \(Y = \{t, t^2, t^3 \mid t \in k\}\). Show that \(Y\) is an affine variety of dimension \(1\). Find the generators for the ideal \(I(Y)\). Show that \(A(Y)\) is isomorphic to a polynomial ring in one variable over \(k\). We say that \(Y\) is given by the parametric representation \(x = t, y = t^2, z = t^3\), and this curve is called the `twisted cubic`.

Solution: \(A(Y) = k[x, y, z]/\langle z - y^2, z - x^3 \rangle \cong k[x]\), since the solutions of the two polynomials lie in \(A^1\). Generators of \(I(Y)\) are therefore \(\langle z - y^2, z - x^3 \rangle\) Futher, \(Y \cong A^1\), and is hence an affine variety of dimension \(1\) \(\Box\)

Show that the Zariski topology on \(A^2\) is not the [product topology](/gn#product-topology) of the Zariski topologies on two copies of \(A^1\).

For homogenous ideal \(a \subseteq S\), show that the following conditions are equivalent:

  1. \(Z(a) = \phi\).
  2. \(\sqrt{a} =\) either \(S\) or the ideal \(S_+ = \oplus_{d \gt 0} S_d\).
  3. \(a \supseteq S_d\) for some \(d \gt 0\).


Suppose \(\mathscr{F}(U)\) are maps to \(S = \underline{S}_{\text{pre}}(U)\) that are locally constant; i.e. for any \(p \in U\), there is an open neighborhood of \(p\) where the function is constant. Show that this is a sheaf.

Proof: In the axioms of a presheaf, let the restriction map be the identity map. The gluability axiom of a sheaf is satisfied trivially \(\Box\)

Show that the [pushforward](/ag/1#definition-of-presheaf-and-sheaf) \(\pi_* \mathscr{F}\) is a sheaf, if \(\mathscr{F}\) is.

Proof: Suppose \(\pi : X \rightarrow Y\) is a continuous function, and \(\mathscr{F}\) is a sheaf on \(X\). Then, \(\pi_* \mathscr{F}(V) = \mathscr{F}(\pi^{-1}(V))\), where \(V\) is an open subset of \(Y\). To show that this is a presheaf, let \(U \subset X\) be the preimage of \(V\) under \(\pi^{-1}\). Then, we have a restriction map for the inclusion map \(V \hookrightarrow U\). Further, let \(\phi_* \mathscr{F}(U) = \mathscr{F}(\phi^{-1}(U))\), where \(\phi : Z \rightarrow X\). We end up with the inclusion map \(V \hookrightarrow U \hookrightarrow W\), where \(W \subset Z\). This satisfies the commutative diagram for the restriction map, and the gluability axiom for a sheaf, since \(\mathscr{F}\) does \(\Box\)

Pushforward induces maps of stalks. Suppose \(\pi : X \rightarrow Y\) is a continuous map and \(\mathscr{F}\) is a sheaf of sets, rings or \(A\)-modules. If \(\pi(p) = q\), describe the natural morphism of stalks \((\pi_* \mathscr{F})_q \rightarrow \mathscr{F}_p\).

Solution: The task is to describe the map \(\underset{\longrightarrow}{\text{Lim }} \mathscr{F}(\pi^{-1}(V)) \rightarrow \underset{\longrightarrow}{\text{Lim }} \mathscr{F}(U)\), where \(p \in U \subset X, q \in V \subset Y\). This maps the colimit of the sheaf of the preimage of \(V\) to that of the subset \(U\); in other words, what we have is the identity map \(\Box\)

If \((X, \mathscr{O}_X)\) is a ringed space, and \(\mathscr{F}\) is an \(\mathscr{O}_X\)-module, describe how for each \(p \in X\), \(\mathscr{F}_p\) is an \(\mathscr{O}_{X, p}\)-module.

Solution: For \(\mathscr{F}\) to be an \(\mathscr{O}_X\)-module, the following diagram must commute, for \(U \subset V\):

\[ \begin{xy} \xymatrix{ \mathscr{F}(V) \times \mathscr{O}_X(V)\ar[r]\ar[d]_{\text{res}_{V, U} \times \text{res}_{V, U}} & \mathscr{F}(V)\ar[d]^{\text{res}_{V, U}} \\ \mathscr{F}(U) \times \mathscr{O}_X(U)\ar[r] & \mathscr{F}(U) } \end{xy} \]

Taking colimits for all open neighborhoods \(U, V\) such that \(U \subset V\), we get the required result \(\Box\)

Show that the sequence of presheaves \(0 \rightarrow \mathscr{F}_1 \rightarrow \ldots \rightarrow \mathscr{F}_n \rightarrow 0\) is exact only if \(0 \rightarrow \mathscr{F}_1(U) \rightarrow \ldots \rightarrow \mathscr{F}_n(U) \rightarrow 0\) is, for all \(U\).

Suppose \(\phi : \mathscr{F} \rightarrow \mathscr{G}\) is a morphism of sheaves. Show that the presheaf kernel \(\text{ker}_\text{pre} \phi\) is in fact a sheaf. Further show that it satisfies the universal property of kernels.

Let \(X\) be \(\mathbb{C}\) with classical topology. Let \(\underline{\mathbb{Z}}\) be the constant sheaf on \(X\) associated to \(\mathbb{Z}\), \(\mathscr{O}_X\) the sheaf of holomorphic functions, and \(\mathscr{F}\) the presheaf of functions admitting a holomorphic logarithm. Describe the exact sequence of presheaves on \(X\):

\[0 \rightarrow \underline{\mathbb{Z}} \rightarrow \mathscr{O}_X \rightarrow \mathscr{F} \rightarrow 0\]

where \(\underline{\mathbb{Z}} \rightarrow \mathscr{O}_X\) is a natural inclusion, and \(\mathscr{O}_X \rightarrow \mathscr{F}\) is given by \(f \mapsto \text{exp}(2 \pi i f)\). Show that \(\mathscr{F}\) is not a sheaf.

Prove that a section of a sheaf of sets is determined by its germs; i.e. the natural map is injective: \[\mathscr{F}(U) \rightarrow \prod_{p \in U} \mathscr{F}_p\]

Show that \(\text{Supp}(s)\) is a closed subset of \(X\).

Prove that any choice of compatible germs for a sheaf of sets \(\mathscr{F}\) over \(U\) is the image of a section of \(\mathscr{F}\) over \(U\).

Sheafification is a functor. Use the universal property to show that for any morphism \(\phi : \mathscr{F} \rightarrow \mathscr{G}\) of presheaves induces the natural map \(\phi^\text{sh} : \mathscr{F}^\text{sh} \rightarrow \mathscr{G}^\text{sh}\) of sheaves. Hence, show that sheafification is a functor from presheaves on \(X\) to sheaves on \(X\).

Proof: Using the universal property of sheafification, we get:

\[ \begin{xy} \xymatrix{ \mathscr{F}\ar[r]^{\text{sh}}\ar[dr]_g & \mathscr{F}^{\text{sh}}\ar[d]^f\ar@{.>}[dr]|{\exists!} & \\ & \mathscr{G}\ar[r]^{\text{sh}} & \mathscr{G}^{\text{sh}} } \end{xy} \]

completing our proof \(\Box\)

Show that \(\mathscr{F}^\text{sh}\) forms a sheaf using tautological restriction maps.

Describe the natural map of presheaves \(\text{sh} : \mathscr{F} \rightarrow \mathscr{F}^\text{sh}\).

Show that the sheafification functor is left-adjoint to the forgetful functor from sheaves on \(X\) to the presheaves on \(X\).

Show that \(\mathscr{O}_X \xrightarrow{exp} \mathscr{O}^*_X\) describes \(\mathscr{O}^*_X\) as a quotient sheaf of \(\mathscr{O}_X\). Find the open set in which this map is not surjective.

Morphisms of sheaves correspond to morphisms of sheaves on a base. Suppose \(\{B_i\}\) is a base for topology of \(X\). A morphism \(F \rightarrow G\) of sheaves on the base is the collection of maps \(F(B_k) \rightarrow G(B_k)\) such that the following diagram commutes:

\[ \begin{xy} \xymatrix{ F(B_i)\ar[r]\ar[d]_{\text{res}_{B_i, B_j}} & G(B_i)\ar[d]^{\text{res}_{B_i, B_j}} \\ F(B_j)\ar[r] & G(B_j) } \end{xy} \]

for all \(B_j \hookrightarrow B_i\). Prove the following:

  1. A morphism of sheaves is determined by an induced morphims of sheaves on a base.
  2. A morphism of sheaves on a base gives a morphism of induced sheaves.

Suppose \(X = \cup U_i\) is an open cover, and we have sheaves \(\mathscr{F}_i\) on \(U_i\) along with the isomorphisms \(\phi_{ij} : \mathscr{F}_i|_{U_i \cap U_j} \rightarrow \mathscr{F}_j|_{U_i \cap U_j}\), that agree on triple overlaps; i.e. \(\phi_{ik} = \phi_{jk} \circ \phi_{ij}\) on \(U_i \cap U_j \cap U_k\). Show that these sheaves can be glued together into a sheaf \(\mathscr{F}\) on \(X\), such that \(\mathscr{F}_i \cong \mathscr{F}|_{U_i}\), and the isomorphisms over \(U_i \cap U_j\) are the obvious ones. Thus, we can glue sheaves together using limited patching information.

Stalk of a kernel is the kernel of stalks. For all \(p \in X\), show that:

\[(\text{Ker}(\mathscr{F} \rightarrow \mathscr{G}))_p \cong \text{Ker}(\mathscr{F}_p \rightarrow \mathscr{G}_p)\]

Show that the cokernel of stalks is naturally isomorphic to the stalk of cokernels.

Suppose \(\phi : \mathscr{F} \rightarrow \mathscr{G}\) is a morphism of sheaves of abelian groups. Then, show that the image sheaf, \(\text{Im } \phi\) is the sheafification of the image presheaf. Moreover, show that the stalk of an image is the image of a stalk.

Show that taking stalks of a sheaf of abelian groups is an exact functor. More precisely, if \(X\) is a topological space and \(p \in X\) is a point, show that taking the stalk at \(p\) defines the exact functor \(\text{Ab}_X \rightarrow \text{Ab}\).

"Sections of U" is a left-exact functor. For topological space \(X\), and \(U \subset X\), if the sequence of sheaves \(0 \rightarrow \mathscr{F} \rightarrow \mathscr{G} \rightarrow \mathscr{H}\) is exact, then so is: \[0 \rightarrow \mathscr{F}(U) \rightarrow \mathscr{G}(U) \rightarrow \mathscr{H}(U)\]

Moreover, show that if the sequence of sheaves \(\mathscr{F} \rightarrow \mathscr{G} \rightarrow \mathscr{H} \rightarrow 0\) is exact, then this is not: \[\mathscr{F}(U) \rightarrow \mathscr{G}(U) \rightarrow \mathscr{H}(U) \rightarrow 0\]

Show that the pushforward is a left-exact functor.

Show that, if \((X, \mathscr{O}_X)\) is a ringed space, then \(\mathscr{O}_X\)-modules form an abelian category.

Tensor product of \(\mathscr{O}_X\)-modules. Then:

  1. Suppose \(\mathscr{O}_X\) is a sheaf of rings on \(X\). Then, what is the tensor product of two \(\mathscr{O}_X\)-modules?
  2. Show that the tensor product of a stalk is the stalk of a tensor product.

Schemes I

Show that a map of differentiable manifolds \(\pi : X \rightarrow Y\) with \(\pi(p) = q\) induces a morphism of stalks \(\pi^\# : \mathscr{O}_{Y, q} \rightarrow \mathscr{O}_{X, p}\). Show that \(\pi^\# m_{Y, q} \subset m_{X, p}\). In other words, if you pull back a function that vanishes at \(q\), you get a function that vanishes at \(p\).

Describe \(\text{Spec } k[\epsilon]/(\epsilon^2)\), where \(\epsilon \neq 0\) is very small. \(k[\epsilon]/(\epsilon^2)\) is called the ring of `dual numbers`. This is the first example of a non-zero function which is not determined by its values at points; its value at all points is \(0\).

Describe \(\mathbb{A}_\mathbb{Q}^1\).

Deduce that for \(k\) an algebraically closed field, the only maximal ideals are \((x_0 - a_0, \ldots, x_n - a_n)\), from the Nullstellansatz.

If \(\phi : B \rightarrow A\) is a map of rings, and \(\mathfrak{p}\) is a prime ideal in \(A\), prove that \(\phi^{-1}(\mathfrak{p})\) is a prime ideal in \(B\).

Consider the map \(\mathbb{C} \rightarrow \mathbb{C}\) sending \(x \mapsto y = x^2\). The "source" \(\mathbb{C}\) can be interpreted as the x-line, and the "target" \(\mathbb{C}\) can be interpreted as the y-line. This can be pictured as the parabola \(y = x^2\) in the xy-plane mapping to the y-line. Interpret the corresponding maps of rings as \(\mathbb{C}[y] \rightarrow \mathbb{C}[x]\) given by \(y \mapsto x^2\). Verify that the preimage, or fiber above \(a \in \mathbb{C}\) are the points \(\pm \sqrt{a} \in \mathbb{C}\).

Suppose \(k\) is a field, and \(f_1, \ldots, f_n \in k[x_1, \ldots, x_m]\) are given. Let \(\phi : k[y_1, \ldots, y_n] \rightarrow k[x_1, \ldots, x_m]\) be the ring morphism defined by \(y_i \mapsto f_i\).

  1. Show that \(\phi\) induces a map \(\text{Spec } k[y_1, \ldots, y_n]/I \rightarrow \text{Spec } k[x_1, \ldots, x_m]/J\) for ideals \(I \subset k[y_1, \ldots, y_n], J \subset k[x_1, \ldots, x_m]\) such that \(\phi(J) \subset I\).
  2. Show that the map of (a) sends the point \([(x_1 - a_1, \ldots, x_m - a_m)] \in \text{Spec } k[x_1, \ldots, x_m]\) to: \[(f_1(a_1, \ldots, a_m), \ldots, f_n(a_1, \ldots, a_m)) \in k^n\]

Check that the \(x\)-axis is contained in \(V(xy, yz)\).

Solution: Since \(y = z = 0\) is one solution of \(xy = yz = 0\), the \(x\)-axis is indeed contained in \(V(xy, yz)\).

Prove that \(V(S) = V((S))\).

Proof: Given that \(S \subset \mathfrak{p}\), we need to show that \((S) \subset \mathfrak{p}\). The ideal generated by vanishing points is a set of functions vanishing at those points, and this is contained in the same prime ideal \(\Box\)

\(V(S)\) is closed for all \(S\). Check this is a topology:

  1. Show that both \(\phi\) and \(\text{Spec } A\) are open sets of \(\text{Spec } A\).
  2. If \(I_i\) is a collection of ideals, show that \(\bigcap_i V(I_i) = V(\sum_i I_i)\). Hence, union of any collection of open sets is open.
  3. Show that \(V(I_1) \cup V(I_2) = V(I_1 I_2)\). Hence, intersection of any finite number of open sets is open.

Solution: Let \(\text{Spec } A = \bigcup{\lambda \in \Lambda} U_\lambda\) be the open cover of \(\text{Spec } A\): since arbitary unions of open sets is open, \(\text{Spec } A\) is open in \(\text{Spec } A\). It is also closed, because it is the whole space. Similarly, \(\phi\) is both open and closed in \(\text{Spec } A\), finishing the proof for (a).

By showing that closed sets pull back to closed sets, show that \(\pi\) is a continous map. Interpret \(\text{Spec}\) as a contravariant functor \(\textbf{Rng} \rightarrow \textbf{Top}\).

Radicals commute with finite intersections. Prove that, for ideals \(I_1, \ldots, I_n\), \(\sqrt{\cap_{i = 1}^n I_i} = \cap_{i = 1}^n \sqrt{I_i}\).

Suppose \(I, S \subset B\) are an ideal and multiplicative subset respectively.

  1. Show that \(\text{Spec } B/I\) is a closed subset of \(\text{Spec } B\), and that \(\text{Spec } S^{-1} B\) is an open subset of \(\text{Spec } B\). Further, show that, for arbitary \(S\), \(\text{Spec } S^{-1} B\) need not be open or closed.
  2. Show that \(\text{Spec } B/I\) and \(\text{Spec } S^{-1} B\) are the subspace topology induced by inclusion in \(\text{Spec } B\).

Suppose \(I \subset B\) is an ideal. Show that \(f\) vanishes on \(V(I)\) iff \(f \in \sqrt{I}\); i.e. \(f^n \in I\) for some \(n \gt 1\).

Proof: \(V(I)\) is the set of points which are contained in \(\mathfrak{p}\), a prime ideal in \(B\). It remains to be shown that \(f \in \mathfrak{p}\), given that \(f^n \in \mathfrak{p}\). This is obvious from the fact that \(\mathfrak{p}\) is prime \(\Box\)

Show that distinguished open sets form a base for the (Zariski) topology.

Solution: Since \(V(S)\) forms a topology, it remains to be shown that, given a subset \(S \subset A\), the complement of \(V(S)\) is \(\bigcup_{f \in S} D(f)\). From the definitions of \(V(S) = \{[\mathfrak{p}] \in \text{Spec } A : S \subset \mathfrak{p}\}\) and \(D(f) = \{[\mathfrak{p}] \in \text{Spec } A : f \notin \mathfrak{p}\}\), this is clear \(\Box\)

Suppose \(f_i \in A\) as \(i\) runs over some index set \(J\). Show that \(\bigcup_{i \in J} D(f_i) = \text{Spec A}\) iff \(\{(f_i)_{i \in J}\} = A\), or equivalently, there are \((a_i)_{i \in J}\) all but finitely many zero, such that \(\sum_{i \in J} a_i f_i = 1\).

Show that if \(\text{Spec } A\) is an infinite union of distinguished open sets, \(\bigcup_{i \in J} D(f_i)\), then in fact, it is a union of finitely many number of these; i.e. for subset \(J' \subset J\), \(\text{Spec } A = \bigcup_{i \in J'} D(f_i)\).

Show that \(D(f) \cap D(g) = D(fg)\).

Show that \(D(f) \subset D(g)\) iff \(f^n \in (g)\) for some \(n \geq 1\), and \(g\) is an invertible element of \(A_f\).

Show that \(D(f) = \phi\) iff \(f \in \mathfrak{N}\).

For \(A = A_1 \times \ldots \times A_n\), describe homeomorhpism \(\text{Spec } A_1 \sqcup \ldots \sqcup \text{Spec } A_n \rightarrow \text{Spec } A\) for which each \(\text{Spec } A_i\) is mapped onto distinguished open set \(D(f_i)\) of \(\text{Spec } A\). Thus, \(\text{Spec } \prod_{i = 1}^n A_i = \bigsqcup_{i = 1}^n \text{Spec } A_i\) as topological spaces.

  1. Show that, in an irreducible topological space \(X\), any nonempty open set is dense.
  2. If \(X\) is a topological space, and \(Z \subset X\) is an irreducible subset, show that \(\bar{Z}\) is also irreducible in \(X\).

Solution: To prove (a), let \(U\) be this nonempty open set, and \(\bar{U} \neq X\). Then, \(X = U' \cup \bar{U}\), leading to a contradiction since \(X\) is irreducible. To prove (b), take closure of \(Z \subset X\), leading to \(\bar{Z} \subset \bar{X}\). Since \(X \subset \bar{X}\), and \(X \not\subset \bar{Z}\), we get \(\bar{Z} \subset X \subset \bar{X}\) \(\Box\)

If \(A\) is an integral domain, show that \(\text{Spec } A\) is irreducible.

Solution: \(A\) has no nilpotents other than \(0\). Hence, \(\mathfrak{N} = \{(0)\}\).

Show that an irreducible topological space \(X\) is connected.

Solution: Since \(X\) is irreducible, \(X = Y \cup Z \implies Y = X \vee Z = X\), where \(X, Y\) are proper closed subsets. Since all open subsets of irreducible spaces are dense, \(Y = \bar{Y}, Z = \bar{Z}\). Taking closure and complement, we get \(\phi = Y' \cap Z' \implies Y' \neq \phi \wedge Z' \neq \phi\); hence, for nonempty open subsets \(Y', Z'\), we get \(\phi = Y' \cap Z'\); this is exactly the condition for separability, as required by the definition of connectedness \(\Box\)

Prove that \(\text{Spec } A\) is quasicompact.

Proof: Let \(\text{Spec } A = \bigcup_{\lambda \in \Lambda} U_\lambda\) be an open cover, with \(U_\lambda = \text{Spec } A \backslash V(I_\lambda)\). Now, \[\begin{align*} \text{Spec } A &= \bigcup_{\lambda \in \Lambda} (\text{Spec } A \backslash V(I_\lambda)) \\ &= \text{Spec } A \backslash \bigcap_{\lambda \in \Lambda} V(I_\lambda) \\ &= \text{Spec } A \backslash V(\sum_{\lambda \in \Lambda} I_\lambda) \end{align*} \]

Hence, \(V(\sum_{\lambda \in \Lambda} I_\lambda) = \phi\) and \(\sum_{\lambda \in \Lambda} I_\lambda = A\).

Since \(1_A \in A\), there exists some finite subset \(\mu \subset \Lambda\), \(i_m \in I_m\) such that \(1_A = \sum_{m \in \mu} i_m\). Then, for \(a \in A\), \(a . 1 = \sum_{m \in \mu} a . i_m \in \sum_{m \in \mu} I_m\). Hence, \(V(\sum_{m \in \mu} I_m) = \phi\), and \(\text{Spec } A = \bigcup_{m \in \mu} U_m\) \(\Box\)

  1. If \(X\) is any topological space which is a finite union of quasicompact spaces, show tht \(X\) is quasicompact.
  2. Show that every closed subset of a quasicompact space is quasicompact.

  1. If \(k\) is a field, and \(A\) a finitely-generated \(k\)-algebra, show that the closed points of \(\text{Spec } A\) are dense, by showing that if \(f \in A\), and \(D(f)\) is a non-empty distinguished open subset of \(\text{Spec } A\), then \(D(f)\) contains a closed point of \(\text{Spec } A\).
  2. Show that if \(A\) is a \(k\)-algebra that is not finitely generated, then the closed poitns of \(\text{Spec } A\) need not be dense.

If \(X = \text{Spec } A\) show that \([\mathfrak{q}]\) is a specialization of \([\mathfrak{p}]\) iff \(\mathfrak{p} \subset \mathfrak{q}\). Hence, show that \(V(\mathfrak{p}) = \overline{\{[\mathfrak{p}]\}}\).

Verify that \([(y - x^2)] \in \mathbb{A}^2\) is a generic point for \(V(y - x^2)\).

Suppose \(p\) is a generic point for the closed subset \(K\). Show that it is "near every point \(q\) of \(K\)" (every neighborhood of \(q\) that contains \(p\)), and not "near every point \(r\) not contained in \(K\)".

Show that every point \(x \in X\) is contained in an irreducible component of \(X\).

Show that \(\mathbb{A}_\mathbb{C}^2\) is Noetherian, and \(\mathbb{C}^2\) in the classical topology is not.

Show that a ring is Noetherian iff every ideal is finitely-generated.

If \(A\) is Noetherian, show that \(\text{Spec } A\) is a Noetherian topological space. Describe \(A\) when \(\text{Spec } A\) is a non-Noetherian topological space.

Show that \(V(I(S)) = \bar{S}\).

Solution: We know that \(I(S) = I(\bar{S})\), since \(I(S)\) is the set of functions vanishing on \(S\), and we have defined this to be closed on a Zariski topology. Now, it remains to be shown that \(V(I(\bar{S})) = \bar{S}\).

Prove that, if \(J \subset A\) is an ideal, \(I(V(J))) = \sqrt{J}\). To gain some intuition about this statement, consider the ideal \((x^2) \subset \mathbb{R}[x, y]\); operating on it with V, we get y-axis as the variety; operating on the variety with I, we get the ideal \((x)\), which is the radical of \((x^2)\).

Proof: Let \[f \in J \subset k[x_1 ... x_n]\] \[(a_1 ... a_n) \in V(J)\]

Introduce a new variable \(y\), so that \[J' = (J, fy - 1) \subset k[x_1 ... x_n, y]\] \[(a_1 ... a_n, b) \in V(J')\]

such that \(bf(a_1 ... a_n) = 1\). Then,

\[V(J') = \phi \implies 1 = \sum g_i h_i + g_0 (fy - 1) \mid g_i \in k[x_1 ... x_n, y], h_i \in J\]

Multiply both sides by \(f^m\) to obtain:

\[f^m = \sum g_i(x_1 ... x_n, fy) h_i + g_0(x_1 ... x_n, fy) (fy - 1)\]

This identity holds if \(fy = 1\), and hence \(f^m \in J\), as required \(\Box\)

Show that \(V(\bullet)\) and \(I(\bullet)\) give a bijection between irreducible closed sets of \(\text{Spec } A\) and prime ideals of \(A\). From this conclude that, in \(\text{Spec } A\), there is a bijection between points of \(\text{Spec } A\) and irreducible closed subsets of \(\text{Spec } A\), where a point determines an irreducible closed set by taking closure. Hence, any irreducible closed set has exactly one generic point: irreducible closed subset \(Z\) can be written as \(\overline{\{z\}}\).

If \(A\) is any ring, show that the minimal prime ideals are in bijective correspondence with irreducible components of \(\text{Spec } A\). In particular, \(\text{Spec } A\) is irreducible iff \(A\) has only one minimal prime ideal.

What are the minimal prime ideals of \(k[x, y]/(xy)\) where \(k\) is a field?

Schemes II

Show that \(A_f \rightarrow \mathscr{O}_{\text{Spec } A}(D(f))\) is an isomorphism.