[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\).

Sheaves

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.


Describe a bijection between maps between \(\text{Spec } A \rightarrow \text{Spec } A'\) and rings \(A' \rightarrow A\).


Suppose \(f \in A\). Show that there is a natural isomorphism \((D(f), \mathscr{O}_{\text{Spec } A}|_{D(f)}) \cong (\text{Spec } A_f, \mathscr{O}_{\text{Spec } {A_f}})\).


If \(X\) is a scheme and \(U \subset X\) any open set, then show that \((U, \mathscr{O}_X|_U)\) is also a scheme.


If \(X\) is a scheme, show that affine open sets form a base for the Zariski topology.


  1. Show that a disjoint union of a finite number of affine schemes is also an affine scheme.
  2. Show that a disjoint union of an infinite number of affine schemes is not an affine scheme.

Proof: For part (b), notice that \(\bigsqcup_{i = 1}^n \text{Spec } A_i \cong \prod_{i = 1}^n \text{Spec } A_i\) never holds if \(n\) is infinite, as the \(\text{Spec}\) of any ring is quasicompact.


Show that the sheaf of \(\mathscr{O}_{\text{Spec } A}\) at point \([\mathfrak{p}]\) is the local ring \(A_\mathfrak{p}\).


Show that it is possible to glue an arbitarary collection of schemes together. Given:

Such that the cocycle condition is satisfied. That is, isomorphisms agree on triple intersections; i.e. \(f_{ik}|_{X_{ij} \cap X_{ik}} = f_{jk}|_{X_{ji} \cap X_{jk}} \circ f_{ij}|_{X_{ij} \cap X_{ik}}\). The cocycle condition ensures that \(f_{ij}, f_{ji}\) are inverses. Show that there is a unique scheme \(X\) along with open subsets \(X_i\) respecting the gluing data in the obvious sense.


Show that affine line with doubled origin is not affine.

Solution: Let us compute the ring of global sections.


In plane with doubled origin, \(\mathbb{A}^2\), describe two open affine subsets whose intersection is not an affine subset.


Show that the only functions on \(\mathbb{P}_k^n\) are constants; i.e. \(\Gamma(\mathbb{P}_k^n, \mathscr{O}) \cong k\), and hence \(\mathbb{P}_k^n\) is not affine if \(n \gt 0\).


Projective schemes

Consider \(\mathbb{P}_k^2\) with projective coordinates \(x_0, x_1, x_2\). Define a scheme that would be interpreted as \(x_0^2 + x_1^2 = x_2^2\) in \(\mathbb{P}_k^2\).

Solution: The affine open subset corresponding to \(x_2 \neq 0\) is \(x_{0/2}^2 + x_{1/2}^2 - 1 = 0\); i.e. \(\text{Spec } k[x_{0/2}, x_{1/2}]/(x_{0/2}^2 + x_{1/2}^2 - 1)\). The affine open subset corresponding to \(x_1 \neq 0\) and \(x_0 \neq 0\) can be defined similarly.


Consider the projective scheme \(\mathbb{P}_A^n\) with coordinates \(x_0, \ldots, x_n\). Given the homogenous polynomials \(f_i \in A[x_0, \ldots, x_n]\), define the scheme cut out by \(f_i\) in \(\mathbb{P}_A^n\).


Suppose \(f \in S_+\) is homogenous.

  1. Give a bijection between prime ideals \(((S_\bullet)_f)_0\) and homogenous prime ideals of \((S_\bullet)_f\).
  2. Interpret the set of prime ideals of \(((S_\bullet)_f)_0\) as a subset of \(\text{Proj } S_\bullet\).

Properties of schemes

Show that, if \(X\) is a quasicompact scheme, then each point has a closed point in its closure. Show that every nonempty closed subset of \(X\) contains a closed point of \(X\). In particular, every nonempty quasicompact scheme has a closed point.


Show that a scheme \(X\) is quasicompact and quasiseparated iff \(X\) can be covered by a finite number of affine open subsets, any two of which have intersection also covered by a finite number of affine open subsets.


Show that all projective \(A\)-schemes are quasicompact and quasiseparated.


Show that, if \(A\) is a reduced ring, so are \(\text{Spec } A\), \(\mathbb{A}_k^n\), and \(\mathbb{P}_k^n\).


Suppose \(X\) is quasicompact, and \(f\) vanishes at all points of \(X\), then show that \(f^n = 0\) for some \(n\). Show also that, this may fail if \(X\) is not quasicompact.


Show that a scheme is integral iff it is irreducible and reduced.


Show that locally Noetherian schemes are quasiseparated.


Show that a Noetherian scheme has a finite number of irreducible components, and a finite number of connected components, each a finite union of irreducible components.


Show that a Noetherian scheme \(X\) is integral iff \(X\) is nonempty, connected, and all stalks \(\mathscr{O}_{X, p}\) are integral domains. Thus, under "good conditions", integrality is a union of local (stalks are integral) and global (connected) conditions.


Normality and factoriality

Show that UFDs are integrally closed. Hence, factorial schemes are normal, and if \(A\) is a UFD, \(\text{Spec } A\) is normal.


Show that \(\mathbb{A}_k^n\), \(\mathbb{P}_k^n\), and \(\text{Spec } \mathbb{Z}\) are normal.


Suppose \(A\) is a UFD with \(2\) invertible, such that \(z^2 - f\) is irreducible in \(A[z]\). Show that \(f \in A\) has no repeated prime factors iff \(\text{Spec } A[\mathbb{Z}]/(z^2 - f)\) is normal.


UFD-ness is not affine-local. Let \(A = (\mathbb{Q}[x, y]_{x^2 + y^2})_0\) denote the homogenous degree \(0\) of the ring \(\mathbb{Q}[x, y]_{x^2 + y^2}\). In other words, if it consists of quotients \(f(x, y)/(x^2 + y^2)^n\) where \(f\) has pure degree \(2n\). Show that distinguished open sets \(D(\frac{x^2}{x^2 + y^2}), D(\frac{y^2}{x^2 + y^2})\) cover \(\text{Spec } A\). Show that \(A_{\frac{x^2}{x^2 + y^2}}, A_{\frac{y^2}{x^2 + y^2}}\) are UFDs.


Associated points and primes

Suppose \(A\) is an integral domain. Show that the generic point is the only associated point of \(\text{Spec } A\).


Show that associated primes/points behave well with respect to localization: associated points/primes of \(S^{-1} M\) are precisely those points/primes of \(M\) that lie in \(\text{Spec } S^{-1} A\).


Suppose \(M \neq 0\) is an \(A\)-module. Show that if \(I \subset A\) is maximal among all proper ideals that are annihilators of \(M\), then \(I\) is prime, and \(I \subset \text{Ass } M\). Thus, if \(A\) is Noetherian, then \(\text{Ass } M\) is nonempty. Quite generally, proper ideals that are maximal with respect to some property have an uncanny tendency to be prime.


Suppose \(A\) is a Noetherian ring, and \(M\) is a finitely generated \(A\)-module. Show that associated primes of \(M\) satisfy:

  1. Show that every associated point is the generic point of an irreducible component of \(\text{Supp } m\), for some \(m \in M\).
  2. If \(m \in M\), show that the closure of \(m\) is that set of associated points at which \(m\) has nonzero germ.

Morphisms of schemes

\(\mathscr{O}\)-modules push forward. Given a morphism of ringed spaces \(\pi : X \rightarrow Y\), show that a sheaf pushforward induces a functor \(\text{Mod}_{\mathscr{O}_X} \rightarrow \text{Mod}_{\mathscr{O}_Y}\).


Given a morphism of ringed spaces \(\pi : X \rightarrow Y\), with \(\pi(p) = q\), show that there is a map of stalks \((\mathscr{O}_Y)|_q \rightarrow (\mathscr{O}_X)_p\).


Suppose \(\pi^\# : Y \rightarrow X\) is a morphism of rings. Define \(\pi : \text{Spec } X \rightarrow \text{Spec } Y\) to be a morphism of ringed spaces as follows. The map of topological spaces is defined in the usual way. To describe a morphism of sheaves \(\mathscr{O}_{\text{Spec } B} \rightarrow \pi_* \mathscr{O}_{\text{Spec } A}\) on \(\text{Spec } B\), it suffices to describe a morphism of sheaves on the distinguished base of \(\text{Spec } B\). On \(D(g) \subset \text{Spec } B\), we define:

\[\mathscr{O}_{\text{Spec } B}(D(g)) \rightarrow \mathscr{O}_{\text{Spec } A}(\pi^{-1} D(g))\]

by \(B_g \rightarrow A_{\pi^\# g}\). Show that this describes a morphism of sheaves on a distinguished base.


  1. Show that \(\text{Spec } A\) is a locally ringed space.
  2. Show that the morphism of ringed spaces \(\pi : \text{Spec } A \rightarrow \text{Spec } B\) is defined by a ringed morphism \(\pi^\# : B \rightarrow A\) is a locally ringed morphism.

Show that a morphism of schemes \(\pi : X \rightarrow Y\) is a morphism of ringed spaces that looks locally like morphisms of affine schemes. Put precisely, if \(\text{Spec } A\) is an affine open subset of \(X\) and \(\text{Spec } B\) is an affine open subset of \(Y\), and \(\pi(\text{Spec } A) \subset \text{Spec } B\), then the induced morphism of ringed spaces is a morphism of affine schemes. Show that it suffices to check on a set \((\text{Spec } A_i, \text{Spec } B_i)\) where \(\text{Spec } A_i\) form an open cover of \(X\) and \(\text{Spec } B_i\) form an open cover of \(Y\).


Show that a category of rings, and opposite category of affine schemes are equivalent.


Show that \(\mathbb{A}_k^{n + 1} \backslash \{\overset{\rightarrow}{0}\} \rightarrow \mathbb{P}_k^n\) given by: \[(x_0, \ldots, x_n) \mapsto [x_0, \ldots, x_n]\]

is a morphism of schemes.