1 Wednesday, August 18: Sheaves

We’ll be covering Hartshorne, chapter 2:

Note that most of the important material of this book is contained in the exercises!

Recall that a topological space \(X\) is collection of open sets \({\mathcal{U}}= \left\{{U_i \subseteq X}\right\}\) which is closed under arbitrary unions and finite intersections, where \(X, \emptyset\in {\mathcal{U}}\).

A presheaf of abelian groups \({\mathcal{F}}\) on \(X\) a topological space is an assignment to every open \(U \subseteq X\) an abelian group \({\mathcal{F}}(U)\) and restriction morphisms \(\rho_{UV}: {\mathcal{F}}(U) \to {\mathcal{F}}(V)\) for every inclusion \(V \subseteq U\) satisfying

We’ll write \({\mathcal{F}}(U)\) to be the sections of \({\mathcal{F}}\) over \(U\), also notated \({\mathsf{\Gamma}\qty{U; {\mathcal{F}}} }\) and write the restrictions as \({ \left.{{s}} \right|_{{v}} } = \rho_{UV}(s)\) for \(V \subseteq U\).

Let \(X \mathrel{\vcenter{:}}={\mathbb{R}}\) with the standard topology and take \({\mathcal{F}}= C^0({-}; {\mathbb{R}})\) (continuous real-valued functions) as the associated presheaf. So for \(U \subset {\mathbb{R}}\) open, the sections are \({\mathcal{F}}(U) \mathrel{\vcenter{:}}=\left\{{f: U\to {\mathbb{R}}\text{ continuous}}\right\}\).

For restriction maps, given \(U \subseteq V\) take the actual restriction of functions \(C^0(V; {\mathbb{R}}) \to C^0(U; {\mathbb{R}})\). One needs to check the 3 conditions, but we can declare \(C^0(\emptyset; {\mathbb{R}}) = \left\{{0}\right\} = 0\), and the others follow right away.

The constant presheaf associated to \(A\in {\mathsf{Ab}}\) on \(X\in {\mathsf{Top}}\) is denote \(F = \underline{A}\), where \begin{align*} \underline{A}(U) \mathrel{\vcenter{:}}= \begin{cases} A & U \neq \emptyset \\ 0 & U = \emptyset. \end{cases} \end{align*} and \begin{align*} \rho_{UV} \mathrel{\vcenter{:}}= \begin{cases} \operatorname{id}_A & V \neq \emptyset \\ 0 & V=\emptyset . \end{cases} .\end{align*}

The constant sheaf is not the sheaf of constant functions! Instead these are locally constant functions.

Let \({\mathsf{Open}}_{/ {X}}\) denote the category of open sets of \(X\), defined

Take \(X\mathrel{\vcenter{:}}=\left\{{p, q}\right\}\) with the discrete topology to obtain a category with 4 objects:

Link to Diagram

Similarly, the indiscrete topology yields \(\emptyset \to \left\{{p, q}\right\}\), a category with two objects.

Then a presheaf is a contravariant functor \({\mathcal{F}}: {\mathsf{Open}}_{/ {X}} \to {\mathsf{Ab}}\) which sends the cofinal/initial object \(\left\{{\emptyset}\right\} \in {\mathsf{Open}}_{/ {X}}\) to the final/terminal object \(0 \in {\mathsf{Ab}}\). More generally, we can replace \({\mathsf{Ab}}\) with any category \(\mathsf{C}\) admitting a final object:

Let \(X\in {\mathsf{Var}}_{/ {k}}\) a variety over \(k\in \mathsf{Field}\) equipped with the Zariski topology, so the opens are complements of vanishing loci. Given \(U \subseteq X\), define a presheaf of regular functions \({\mathcal{F}}\mathrel{\vcenter{:}}={\mathcal{O}}\) where

Taking \(X = {\mathbb{A}}^1_{/ {k}}\), the Zariski topology is the cofinite topology, so every open \(U\) is the complement of a finite set and \(U = \left\{{t_1, \cdots, t_m}\right\}^c\). Then \({\mathcal{O}}(U) = \left\{{\phi: U\to k}\right\}\) which is locally a fraction, and it turns out that these are all globally fractions and thus \begin{align*} {\mathcal{O}}(U) = \left\{{ {f \over g} {~\mathrel{\Big|}~}f,g\in k[t], g(t) \neq 0 \,\,\, \forall t\in U}\right\} = \left\{{{ f \over \prod (t-t_i)^{m_i}} {~\mathrel{\Big|}~}f\in k[t] }\right\} = k[t] \left[ { \scriptstyle { {S}^{-1}} } \right] ,\end{align*} where \(S = \left\langle{\prod t-t_i}\right\rangle\) is the multiplicative set generated by the factors.

This gives an abelian group since we can take least common denominators, and we have restrictions.

Note that there are two similar notations for localization which mean different things! For a multiplicative set \(S\), the ring \(R \left[ { \scriptstyle { {S}^{-1}} } \right]\) literally means localizing at that set. For \({\mathfrak{p}}\in \operatorname{Spec}R\), the ring \(R \left[ { \scriptstyle { {{\mathfrak{p}}}^{-1}} } \right]\) means localizing at the multiplicative set \(S \mathrel{\vcenter{:}}={\mathfrak{p}}^c\).

2 Friday, August 20

Recall the definition of a presheaf, and the main 3 properties:

  1. \(F( \emptyset) = 0\),

  2. \(\rho_{UU} = \operatorname{id}_{{\mathcal{F}}(U)}\)

  3. For all \(W \subseteq V \subseteq U\), a cocycle condition: \begin{align*} \rho_{UW} = \rho_{VW} \circ \rho_{UV} .\end{align*} Write \(s_i \in {\mathcal{F}}(U_i)\) to be a section.

    A presheaf is a sheaf if it additionally satisfies

  4. When restrictions are compatible on overlaps, so \begin{align*} { \left.{{s_i}} \right|_{{U_i \cap U_j}} } = { \left.{{s_j}} \right|_{{U_i \cap U_j}} } ,\end{align*} there exists a uniquely glued section \({\mathcal{F}}(\cup U_i)\) such that \({ \left.{{s}} \right|_{{U_i}} } = s_i\) for all \(i\).

Take \(C^0({-}; {\mathbb{R}})\) the sheaf of continuous real-valued functions on a topological space. For \(f_i: U_i \to {\mathbb{R}}\) agreeing on overlaps, there is a continuous function \(f: \cup U_i\to {\mathbb{R}}\) restricting to \(f_i\) on each \(U_i\) by just defining \(f(x) = f_i(x)\) for \(x\in U_i\), which is well-defined by agreement of the \(f_i\) on overlaps.

Let \(X\) be a topological space and \(A\in \mathsf{CRing}\), then take the constant sheaf \(\underline{A}\) which maps to \(A\) iff \(U\neq \emptyset\) and 0 otherwise. This is not a sheaf, taking \(X = {\mathbb{R}}\) and \(A = {\mathbb{Z}}/2\). Let \(U_1 = (0, 1)\) and \(U_2 = (2, 3)\) and take \(s_1 = 0\) on \(U_1\) and \(s_2 = 1\) on \(U_2\). Using that \(U_1 \cap U_2 = \emptyset\), so they trivially agree on overlaps, but there is no constant function on \(U_1 \cup U_2\) restricting to 1 on \(U_2\) and 0 on \(U_1\)

The (locally) constant sheaf \(\underline{A}\) on any \(X\in {\mathsf{Top}}\) is defined as \begin{align*} \underline{A}(U) \mathrel{\vcenter{:}}=\left\{{ f: U\to A {~\mathrel{\Big|}~}f \text{ is locally constant} }\right\} .\end{align*}

As a general principle, this is a sheaf since this property can be verified locally.

Let \(C^0_{\mathrm{bd}}\) be the presheaf of bounded continuous functions on \(S^1\). This is not a sheaf, but one needs to go to infinitely many sets: take the image of \([{1\over n}, {1\over n+1}]\) with (say) \(f_n(x) = n\) for each \(n\). Then each \(f_n\) is bounded (it’s just constant), but the full collection is unbounded, so these can not glue to a bounded function.

Let \({\mathcal{F}}\in \underset{ \mathsf{pre} } {\mathsf{Sh} }(X)\) and \(p\in X\), then the stalk of \({\mathcal{F}}\) at \(p\) is defined as \begin{align*} {\mathcal{F}}_p(U) \mathrel{\vcenter{:}}=\lim_{U\ni p} \mathrel{\vcenter{:}}=\left\{{(s, U) {~\mathrel{\Big|}~}U\ni p \text{ open}, \, s\in {\mathcal{F}}(U)}\right\}/\sim ,\end{align*} where \((s, U) \sim (t ,V)\) iff there exists a \(W \ni p\) with \(W \subset U \cap V\) with \({ \left.{{s}} \right|_{{W}} } = { \left.{{t}} \right|_{{W}} }\). An equivalence class \([(s, U)] \in {\mathcal{F}}_p\) is referred to as a germ.

Let \(C^\omega({-}; {\mathbb{R}})\) be the sheaf of analytic functions, i.e. those locally expressible as convergent power series. This is a sheaf because this condition can be checked locally. What is the stalk \(C_0^\omega\) at zero? An example of a function in this germ is \([(f(x) = {1\over 1-x}, (-1, 1))\). A first guess is \({\mathbb{R}} { \left[ {t} \right] }\), but the claim is that this won’t work.

Note that there is an injective map \(C_0^\omega \hookrightarrow{\mathbb{R}} { \left[ {t} \right] }\) because \(f, g\) have analytic power series expansions at zero, and if these expressions are equal then \({ \left.{{f}} \right|_{{I}} } = { \left.{{g}} \right|_{{I}} }\) for some \(I\) containing zero. This map won’t be surjective because there are power series with a non-positive radius of convergence, for example taking \(f(t) \mathrel{\vcenter{:}}=\sum_{k=0}^\infty {kt}^k\) which only converges at \(t=0\). So the answer is that \(C_0^\omega \leq {\mathbb{R}} { \left[ {t} \right] }\) is the subring of power series with positive radius of convergence.

Let \(X \in {\mathsf{Alg}}{\mathsf{Var}}\) and \({\mathcal{O}}\) its sheaf of regular functions. For \(p\in X\), the stalk \({\mathcal{O}}_p\) is the local ring of \(X\) at \(p\).

For \(X \mathrel{\vcenter{:}}={\mathbb{A}}^1_{/ {k}}\) for \(k=\mkern 1.5mu\overline{\mkern-1.5muk\mkern-1.5mu}\mkern 1.5mu\), the opens are cofinite sets and \({\mathcal{O}}(U) = \left\{{f/g {~\mathrel{\Big|}~}f, g\in k[t]}\right\}\). Consider the stalk \({\mathcal{O}}_p\). Applying the definition, we have \begin{align*} {\mathcal{O}}_p \mathrel{\vcenter{:}}=\left\{{(f/g, U) {~\mathrel{\Big|}~}p\in U,\, g\neq 0 \text {on } U}\right\} / \sim .\end{align*} Given any \(g\in k[t]\) with \(g(p) \neq 0\), there is a Zariski open set \(U = V(g)^c = D_g\), the distinguished open associated to \(g\), where \(g\neq 0\) on \(U\) by definition. Thus \(p\in U\), and so any \(f/g\in \operatorname{ff}{k[t]}\) with \(p\neq 0\) defines an element \((f/g, D_g) \in {\mathcal{O}}_p\). Concretely: \begin{align*} { \left.{{f/g}} \right|_{{W}} } = { \left.{{f/g}} \right|_{{W'}} } \implies f/g = f'/g' \in \operatorname{ff}{k[t]} = k(t) ,\end{align*} and \(fg' = f'g\) on the cofinite set \(W\), making them equal as polynomials. We can thus write \begin{align*} {\mathcal{O}}_p = \left\{{f/g \in k(t) {~\mathrel{\Big|}~}g(p) \neq 0}\right\} = k[t] \left[ { \scriptstyle { {\left\langle{t-p}\right\rangle}^{-1}} } \right], \quad \left\langle{t-p}\right\rangle\in \operatorname{mSpec}k[t] ,\end{align*} recalling that \(k[t] \left[ { \scriptstyle { {{\mathfrak{p}}}^{-1}} } \right] = \left\{{f/g {~\mathrel{\Big|}~}g\not\in {\mathfrak{p}}}\right\}\).

Note that for \(X\in {\mathsf{Aff}}{\mathsf{Var}}\), so \(X = V(f_i) = V(I)\) for \(I\) reduced, we have the coordinate ring \(k[X] = k[x_1, \cdots, x_{n}]/I = R\), then \({\mathcal{O}}_p = R \left[ { \scriptstyle { {{\mathfrak{m}}_p}^{-1}} } \right]\) where \({\mathfrak{m}}_p \mathrel{\vcenter{:}}=\left\{{f\in R {~\mathrel{\Big|}~}f(p) = 0}\right\}\).

This doesn’t quite hold for non-algebraically closed fields. Take \(f(x) x^p-x \in {\mathbb{F}}_p[x]\), then \(f(x) \equiv 0\) since every element in \({\mathbb{F}}_p\) is a root.

Next time: morphisms of sheaves/presheaves, and isomorphisms can be checked on stalks for sheaves.

3 Monday, August 23

Recall that the stalk of a presheaf \({\mathcal{F}}\) at \(p\) is defined as \begin{align*} {\mathcal{F}}_p \mathrel{\vcenter{:}}=\colim_{U\ni p} {\mathcal{F}}(U) = \left\{{ (s, U) {~\mathrel{\Big|}~}s\in {\mathcal{F}}(U) }\right\}_{/ {\sim}} .\end{align*}

Let \({\mathcal{F}}, {\mathcal{G}}\in \underset{ \mathsf{pre} } {\mathsf{Sh} }(X)\), then a morphism \(\phi: {\mathcal{F}}\to {\mathcal{G}}\) is a collection \(\left\{{\phi(U): {\mathcal{F}}(U) \to {\mathcal{G}}(U)}\right\}\) of morphisms of abelian groups for all \(U\in {\mathsf{Open}}(X)\) such that for all \(V \subset U\), the following diagram commutes:

Link to Diagram

An isomorphism is a morphism with a two-sided inverse.

Note that if we regard a sheaf as a contravariant functor, a morphism is then just a natural transformation.

A morphism \(\phi: {\mathcal{F}}\to {\mathcal{G}}\) defines a morphisms on stalks \(\phi_p: {\mathcal{F}}_p \to {\mathcal{G}}_p\).

Let \(X \mathrel{\vcenter{:}}={\mathbb{C}}^{\times}\) with the classical topology, making it into a real manifold, and take \(C^0({-}; {\mathbb{C}}) \in {\mathsf{Sh}}(X, {\mathsf{Ab}})\) be the sheaf of continuous functions and let \(C^0({-}; {\mathbb{C}})^{\times}\) the sheaf of of nowhere zero continuous continuous functions. Note that this is a sheaf of abelian groups since the operations are defined pointwise. There is then a morphism \begin{align*} \exp({-}): C^0({-}; {\mathbb{C}}) &\to C^0({-}; {\mathbb{C}})^{\times}\\ f &\mapsto e^f && \text{ on open sets } U\subseteq X .\end{align*}

Since exponentiating and restricting are operations done pointwise, the required square commutes, yielding a morphism of sheaves.

Let \(\phi: {\mathcal{F}}\to {\mathcal{G}}\) be morphisms of presheaves, then define the presheaves \begin{align*} \ker(\phi)(U) &\mathrel{\vcenter{:}}=\ker(\phi(U)) \\ \operatorname{coker}^{{\mathsf{pre}}}(\phi)(U) &\mathrel{\vcenter{:}}={\mathcal{G}}(U) / \phi({\mathcal{F}}(U))\\ \operatorname{im}(\phi)(U) &\mathrel{\vcenter{:}}=\operatorname{im}(\phi(U)) \\ .\end{align*}

If \({\mathcal{F}}, {\mathcal{G}}\in {\mathsf{Sh}}(X)\), then for a morphism \(\phi: {\mathcal{F}}\to {\mathcal{G}}\), the image and cokernel presheaves need not be sheaves!

Consider \(\ker \exp\) where \(\exp: C^0({-}; {\mathbb{C}})\to C^0({-}; {\mathbb{C}})^{\times}\in {\mathsf{Sh}}({\mathbb{C}}^{\times})\). One can check that \(\ker \exp = 2\pi i \underline{{\mathbb{Z}}}(U)\), and so the kernel is actually a sheaf.

We also have \(\operatorname{coker}^{{\mathsf{pre}}} \exp(U) \mathrel{\vcenter{:}}= C^0(U; {\mathbb{C}})/ \exp(C^0(U;{\mathbb{C}})^{\times})\). On opens, \(\operatorname{coker}^{{\mathsf{pre}}} \exp(U) = \left\{{1}\right\} \iff\) every nonvanishing continuous function \(g\) on \(U\) has a continuous logarithm, i.e. \(g = e^f\) for some \(f\). Examples of opens with this property include any contractible (or even just simply connected) open set in \({\mathbb{C}}^{\times}\). Consider \(U\mathrel{\vcenter{:}}={\mathbb{C}}^{\times}\) and \(z\in C^0({\mathbb{C}}^{\times}; {\mathbb{C}})^{\times}\), which is a nonvanishing function. Then the equivalence class \([z] \in \operatorname{coker}^{{\mathsf{pre}}} \exp({\mathbb{C}}^{\times})\) is nontrivial, since \(z\neq e^f\) for any \(f\in C^0({\mathbb{C}}^{\times}; {\mathbb{C}})\), since any attempted definition of \(\log(z)\) will have monodromy.

on the other hand we can cover \({\mathbb{C}}^{\times}\) by contractible opens \(\left\{{U_i}\right\}_{i\in I}\) where \({ \left.{{[z]}} \right|_{{U_i}} } = 1 \in \operatorname{coker}^{{\mathsf{pre}}} \exp (U_i)\) and similarly \({ \left.{{1}} \right|_{{\operatorname{id}}} } = 1 \in \operatorname{coker}^{{\mathsf{pre}}} \exp(U_i)\), showing that the cokernel fails the unique gluing axiom and is not a sheaf.

Given any \({\mathcal{F}}\in \underset{ \mathsf{pre} } {\mathsf{Sh} }(X)\) there exists an \({\mathcal{F}}^+ \in {\mathsf{Sh}}(X)\) and a morphism of presheaves \(\theta: {\mathcal{F}}\to {\mathcal{F}}^+\) such that for any \({\mathcal{G}}\in {\mathsf{Sh}}(X)\) with a morphism \(\phi: {\mathcal{F}}\to {\mathcal{G}}\) there exists a unique \(\psi: {\mathcal{F}}^+ \to {\mathcal{G}}\) making the following diagram commute:

Link to Diagram

The sheaf \({\mathcal{F}}^+ \in {\mathsf{Sh}}(X)\) is called the sheafification of \({\mathcal{F}}\). This is an example of an adjunction of functors: \begin{align*} \mathop{\mathrm{Hom}}_{ \underset{ \mathsf{pre} } {\mathsf{Sh} }(X)}({\mathcal{F}}, {\mathcal{G}}^{\mathsf{pre}}) \cong \mathop{\mathrm{Hom}}_{{\mathsf{Sh}}(X)}({\mathcal{F}}^+, {\mathcal{G}}) ,\end{align*} where we use the forgetful functor \({\mathcal{G}}\to {\mathcal{G}}^{\mathsf{pre}}\). This yields an adjoint pair \begin{align*} \adjunction{a}{b}{c}{d} .\end{align*}

We construct it directly as \({\mathcal{F}}^+ \mathrel{\vcenter{:}}=\left\{{s:U \to {\textstyle\coprod}_{p\in U} {\mathcal{F}}_p }\right\}\) such that

  1. \(s(p) \in {\mathcal{F}}_p\),
  2. The germs are compatible locally, so for all \(p\in U\) there is a \(V\supseteq p\) such that for some \(t\in {\mathcal{F}}(V)\), \(s(p) = t_p\) for all \(p\) in \(V\).

Collections of germs that are locally compatible.

So about any point, there should be an actual function specializing to all germs in an open set.

The point will be that \(\operatorname{coker}\exp\) will be zero as a sheaf, since it’ll be zero on a sufficiently small set.

4 Wednesday, August 25

Recall the definition of sheafification: let \({\mathcal{F}}\in \underset{ \mathsf{pre} } {\mathsf{Sh} }(X; {\mathsf{Ab}}{\mathsf{Grp}})\). Construct a sheaf \({\mathcal{F}}^+\in {\mathsf{Sh}}(X, {\mathsf{Ab}}{\mathsf{Grp}})\) and a morphism \(\theta: {\mathcal{F}}\to {\mathcal{F}}^+\) of presheaves satisfying the appropriate universal property:

Link to Diagram

So any presheaf morphism to a sheaf factors through the sheafification uniquely (via \(\theta\)). Note that this is a instance of a general free/forgetful adjunction.

We can construct it as \begin{align*} {\mathcal{F}}^+(U) \mathrel{\vcenter{:}}=\left\{{s:U\to {\textstyle\coprod}_{p\in U} {\mathcal{F}}_p,\quad s(p) \in {\mathcal{F}}_p, \cdots}\right\} .\end{align*} where the addition condition is that for all \(q\in U\) there exists a \(V\nu q\) and \(t\in {\mathcal{F}}(V)\) such that \(t_p = s(p)\) for all \(p\in V\). Note that \(\theta\) is defined by \(\theta(U)(s) = \left\{{s:p\to s_p}\right\}\), the function assigning points to germs with respect to the section \(s\). Idea: this is like replacing an analytic function on an interval with the function sending a point \(p\) to its power series expansion at \(p\).

Recall \(\exp: C^0 \to (C^0)^{\times}\) on \({\mathbb{C}}^{\times}\), then \(\operatorname{coker}^{\mathsf{pre}}(\exp)(U) = \left\{{1}\right\}\) on contractible \(U\), using that one can choose a logarithm on such a set. However \(\operatorname{coker}^{\mathsf{pre}}(\exp)({\mathbb{C}}^{\times}) \neq \left\{{1}\right\}\) since \([z]\in (C^0)^{\times}({\mathbb{C}}^{\times})/\exp(C^0({\mathbb{C}}^{\times}))\).

Letting \(\phi: {\mathcal{F}}\to {\mathcal{G}}\) be a morphisms of sheaves, then we defined \(\operatorname{coker}(\phi) \mathrel{\vcenter{:}}=(\operatorname{coker}^{\mathsf{pre}}(\phi))^+\) and \(\operatorname{im}(\phi) \mathrel{\vcenter{:}}=(\operatorname{im}^{\mathsf{pre}}(\phi))^+\). Then \begin{align*} \operatorname{coker}^{\mathsf{pre}}(\exp) &\to \operatorname{coker}(\exp) \\ s\in {\mathcal{F}}(U) &\mapsto s(p) = s_p .\end{align*} The claim is that \([z]_p = 1\) for all \(p\in {\mathbb{C}}^{\times}\), since we can replace \([([z], {\mathbb{C}}^{\times})]\) with \(([z]_U, U)\) for \(U\) contractible.

A useful example to think about: \(X = \left\{{p, q}\right\}\) with

Then local sections don’t glue to a global section, so this isn’t a sheaf, but it is a presheaf. The sheafification satisfies \({\mathcal{F}}^+(X) = A\times B\).

4.1 Subsheaves

\({\mathcal{F}}'\) is a subsheaf of \({\mathcal{F}}\) if

\(\phi: {\mathcal{F}}\to {\mathcal{G}}\) is injective iff \(\ker \phi = 0\), surjective if \(\operatorname{im}(\phi) = {\mathcal{G}}\) or \(\operatorname{coker}\phi = 0\).

Check that \(\ker \phi\) already satisfies the sheaf property.

Let \(\cdots \to {\mathcal{F}}^{i-1} \xrightarrow{\phi^{i-1}} {\mathcal{F}}^i \xrightarrow{\phi^i} {\mathcal{F}}^{i+1}\to \cdots\) be a sequence of morphisms in \({\mathsf{Sh}}(X)\), this is exact iff \(\ker \phi^i = \operatorname{im}\phi^{i-1}\).

\(\ker \phi\) is a sheaf.

By definition, \(\ker(\phi)(U) \mathrel{\vcenter{:}}=\ker \qty{ \phi(U): {\mathcal{F}}(U) \to {\mathcal{G}}(U) }\), satisfying part (a) in the definition of presheaves. We can define restrictions \({ \left.{{\mathop{\mathrm{Res}}(U, V)}} \right|_{{\ker(\phi)(U)}} } \subseteq \ker(\phi)(V)\). Use the commutative diagram for the morphism \(\phi: {\mathcal{F}}\to {\mathcal{G}}\).

Now checking gluing: Let \(s_i \in \ker(\phi)(U_i)\) such that \(\mathop{\mathrm{Res}}(s_i, U_i \cap U_j) = \mathop{\mathrm{Res}}(s_j, U_i \cap U_j)\) for all \(i, j\). This holds by viewing \(s_i \in {\mathcal{F}}(U_i)\), so \(\exists ! s\in {\mathcal{F}}(\displaystyle\bigcup_i U_i)\) such that \(\mathop{\mathrm{Res}}(s, U_i) = s_i\). We want to show \(s\in \ker(\phi)\qty{\displaystyle\bigcup U_i}\), so consider \begin{align*} t\mathrel{\vcenter{:}}=\phi\qty{ \displaystyle\bigcup_i U_i}(s) \in {\mathcal{G}}\qty{\displaystyle\bigcup U_i} ,\end{align*} which is zero. Now \begin{align*} \mathop{\mathrm{Res}}(t, U_i) = \phi(U_i)(\mathop{\mathrm{Res}}(s, U_i)) = \phi(U_i)(s_i) = 0 \end{align*} by assumption, using the commutative diagram. By unique gluing for \({\mathcal{G}}\), we have \(t=0\), since \(0\) is also a section restricting to \(0\) everywhere.

For \({\mathcal{F}}' \leq {\mathcal{F}}\) a subsheaf, define the quotient \({\mathcal{F}}/{\mathcal{F}}' \mathrel{\vcenter{:}}=(({\mathcal{F}}/{\mathcal{F}}')^{\mathsf{pre}})^+\) where \begin{align*} ({\mathcal{F}}/{\mathcal{F}}')^{\mathsf{pre}}(U) \mathrel{\vcenter{:}}={\mathcal{F}}(U)/ {\mathcal{F}}'(U) .\end{align*}

5 Friday, August 27

Let \(\phi:{\mathcal{F}}\to{\mathcal{G}}\) be a morphism in \({\mathsf{Sh}}(X)\), then \(\phi\) is an isomorphism iff \(\phi_p: {\mathcal{F}}_p \to{\mathcal{G}}_p\) is an isomorphism for all \(p\in X\).

Suppose \(\phi\) is an isomorphism, so there exists a \(\psi: {\mathcal{G}}\to {\mathcal{F}}\) which is a two-sided inverse for \(\phi\). Then \(\psi_p\) is a two-sided inverse to \(\phi_p\), making it an isomorphism. This follows directly from the formula: \begin{align*} \phi_p: {\mathcal{F}}_p &\to {\mathcal{G}}_p \\ (s, U) & \mapsto (\phi(U)(s), U) .\end{align*}

It suffices to show \(\phi(U): {\mathcal{F}}(U) \to {\mathcal{G}}(U)\) is an isomorphism for all \(U\). This is because we could define \(\psi(U):{\mathcal{G}}(U) \to {\mathcal{F}}(U)\) and set \(\phi^{-1}(U) \mathrel{\vcenter{:}}=\psi(U)\), then reversing the arrows in the diagram for a sheaf morphism again yields a commutative diagram.

\(\phi(U)\) is injective.

For \(s\in {\mathcal{F}}(U)\), we want to show \(\phi(U)(s) = 0\) implies \(s=0\). Consider the germs \((s, U) \in {\mathcal{F}}_p\) for \(p\in U\), we have \(\phi_p(s, U) = (0, U) = 0\in {\mathcal{F}}_p\). So \(S_p = 0\) for all \(p\in U\). Since we have a germ, there exists \(V_p \ni p\) open such that \({ \left.{{s}} \right|_{{V_p}} } = 0\). Noting that \(\left\{{V_p {~\mathrel{\Big|}~}p\in U}\right\}\rightrightarrows U\), by unique gluing we get an \(s\) where \({ \left.{{s}} \right|_{{V_p}} } = 0\) for all \(V_p\), so \(s\equiv 0\) on \(U\).

\(\phi(U)\) is surjective.

Let \(t\in {\mathcal{G}}(U)\), and consider germs \(t_p\in {\mathcal{G}}_p\). There exists a unique \(s_p\in {\mathcal{F}}_p\) with \(\phi_p(s_p) = t_p\), since \(\phi_p\) is an isomorphism of stalks by assumption. Use that \(s_p\) is a germ to get an equivalence class \((s_p, V)\) where \(V \subseteq U\). We have \(\phi(V)(s(p), V) \sim (t, U)\), noting that \(s\) depends on \(p\). Having equivalent germs means there exists a \(W(p) \subseteq V\) with \(p\in W\) with \(\phi(W(p)) \qty{{ \left.{{s(p)}} \right|_{{W}} }} = { \left.{{t}} \right|_{{W(p)}} }\). We want to glue these \(\left\{{ { \left.{{s(p)}} \right|_{{W(p)}} } {~\mathrel{\Big|}~}p\in U }\right\}\) together. It suffices to show they agree on intersections. Taking \(p, q\in U\), both \({ \left.{{s(p)}} \right|_{{W(p) \cap W(q)}} }\) and \({ \left.{{s(q)}} \right|_{{W(p) \cap W(q)}} }\) map to \({ \left.{{t}} \right|_{{W(p) \cap W(q)}} }\) under \(\phi(W(p) \cap W(q) )\). Injectivity will force these to be equal, so \(\exists ! s \in {\mathcal{F}}(U)\) with \({ \left.{{s}} \right|_{{W(p)}} } = s(p)\). We want to now show that \(\phi(U)(s) = t\). Using commutativity of the square, we have \(\phi(U)(s) { \left.{{}} \right|_{{W(p)}} } = \phi(W(p)) \qty{{ \left.{{s}} \right|_{{W(p)}} } }\). This equals \(\phi(W(p))(s(p)) = { \left.{{t}} \right|_{{W(p)}} }\). Therefore \(\phi(U)(s)\) and \(t\) restrict to sections \(\left\{{w(p) {~\mathrel{\Big|}~}p\in U}\right\}\). Using unique gluing for \({\mathcal{G}}\) we get \(\phi(U)(s) = t\).

Note: we only needed to check overlaps because of exactness of the following sequence: \begin{align*} 0 \to{\mathcal{F}}(U) \to \prod_{i\in I} {\mathcal{F}}(U_i) \to \prod_{i

Let \(f\in {\mathsf{Top}}(X, Y)\), let \({\mathcal{F}}\in {\mathsf{Sh}}(X)\) and define the pushforward sheaf \(f_* {\mathcal{F}}\in {\mathsf{Sh}}(Y)\) by \begin{align*} f_*{\mathcal{F}}(V) \mathrel{\vcenter{:}}={\mathcal{F}}( f^{-1}(V)) .\end{align*}

The inverse image sheaf is define as \begin{align*} (f^{-1}{\mathcal{F}})(U) = \lim_{V\ni f(U) \text{ open}} F(V) .\end{align*}

The inverse image sheaf generalizes stalks, recovering \({\mathcal{F}}_p\) when \(f(U) = p\). Note that \(f(U)\) need not be open, unless \(f\) is an open map. In this case \(f^{-1}{\mathcal{F}}(f(U))\).

\(f^*\) is not the pullback!

Show that \(f_* {\mathcal{F}}\) makes sense precisely because \(f\) is continuous. Check that \(f_* {\mathcal{F}}\) satisfies the sheaf axioms. Use that the set of opens of the form \(f^{-1}(V)\) are e.g. closed under intersections, and thus inherit all of the sheaf axioms from \({\mathcal{F}}\)>

6 Monday, August 30

Let \(R\) be a commutative unital ring in which \(0\neq 1\) unless \(R=0\). The goal is to define a space \(X\) such that \(R\) is the ring of functions on \(X\), imitating the correspondence between \(X\) a manifold and \(C^0(X; {\mathbb{R}})\). Recall that an ideal \({\mathfrak{p}}\in \operatorname{Id}(R)\) is prime iff \({\mathfrak{p}}\subset A\) is a proper subset and \(fg\in {\mathfrak{p}}\implies f\in {\mathfrak{p}}\) or \(g\in {\mathfrak{p}}\).

For \(A\) a ring, \(\operatorname{Spec}(A)\) is the set of prime ideals. Topologize this by setting the closed sets to be of the form \(V(I) = \left\{{ {\mathfrak{p}}\in \operatorname{Spec}(A) {~\mathrel{\Big|}~}{\mathfrak{p}}\supseteq I }\right\}\).

Ideals are “contagious” under multiplication, so prime ideals have reverse contagion! It remains to prove that \(\operatorname{Spec}(A)\) forms a topological space.

For \(A\) a field, \(\operatorname{Spec}(A) = \left\{{\left\langle{0}\right\rangle}\right\}\), since any other nonzero element would be a unit and put 1 in the ideal.

For \(k\) an algebraically closed field, \(\operatorname{Spec}k[t] = \left\{{ \left\langle{0}\right\rangle, \left\langle{t-a}\right\rangle {~\mathrel{\Big|}~}a\in A}\right\}\). This is a PID, so every ideal is of the form \(I = \left\langle{f}\right\rangle\), so \begin{align*} V(\left\langle{f}\right\rangle) = \begin{cases} \operatorname{Spec}k[t] & f=0 \\ \left\langle{x-a_1, \cdots, a-a_k}\right\rangle & f = \prod_{i=1}^k (x-a_i) \end{cases} .\end{align*}

Note that this is not the cofinite topology, since \(f=0\) is a generic point.

7 Wednesday, September 01

Let \(k = \mkern 1.5mu\overline{\mkern-1.5muk\mkern-1.5mu}\mkern 1.5mu\) be algebraically closed, then \begin{align*} \operatorname{Spec}k[x] = \left\{{ \left\langle{x-a}\right\rangle {~\mathrel{\Big|}~}a\in k}\right\}\cup\left\langle{0}\right\rangle .\end{align*} Similarly, \begin{align*} \operatorname{Spec}k[x, y] = \left\{{ \left\langle{x-a, y-b}\right\rangle {~\mathrel{\Big|}~}a,b\in k}\right\} \cup\left\{{\left\langle{f}\right\rangle {~\mathrel{\Big|}~}f \text{ irreducible}}\right\} \cup\left\langle{0}\right\rangle .\end{align*} Note that both have non-closed, generic points.

Consider \(X \mathrel{\vcenter{:}}=\operatorname{Spec}{ {\mathbb{Z}}_p }\) and \(Y\mathrel{\vcenter{:}}=\operatorname{Spec}{\mathbb{C}} { \left[ {t} \right] }\), then \(\operatorname{Spec}(X) = \left\{{\left\langle{p}\right\rangle, \left\langle{0}\right\rangle}\right\}\) and \(\operatorname{Spec}(Y) = \left\{{ \left\langle{t}\right\rangle, \left\langle{0}\right\rangle }\right\}\). Both are two point spaces, with open points \(\left\langle{0}\right\rangle\) and closed points \(\left\langle{p}\right\rangle\) and \(\left\langle{f}\right\rangle\) respectively. This spaces are homeomorphic, and later we’ll see that we can distinguish them as ringed spaces.

Let \(A\in\mathsf{CRing}\), then \(\operatorname{Spec}A\) with the closed sets declared to be those of the form \(V(I) = \left\{{p \in \operatorname{Spec}(A) {~\mathrel{\Big|}~}p\supseteq I}\right\}\).

\(V(IJ) = V(I) \cup V(J)\), so if a prime ideal \(p\) contains \(IJ\) then \(p\supseteq I\) or \(p\supseteq J\).

\(\impliedby\): If \(I \subseteq P\) or \(J \subseteq P\), then \(IJ \subseteq I\) and \(IJ \subseteq J\), so \(IJ \subset p\).

\(\implies\): Suppose \(IJ \subset p\) but \(J \not\subset p\), so pick \(j\in J \setminus p\). Then for all \(i\in I\), we have \(ij\in IJ \subseteq p\), forcing \(i\in p\).

An arbitrary intersection satisfies \(\displaystyle\bigcap_i V(I_i) = V(\sum_i I_i)\).

\(\implies\): For \(p\in \operatorname{Spec}(A)\), we want to show that \(p \supseteq\sum I_i\) iff \(p \supseteq I_i\) for all \(i\), so \(I_i \subseteq \sum I_i \subset P\).

\(\impliedby\): Ideals are additive groups, regardless of whether or not they’re prime!

\(V(I) = V(\sqrt I)\). The proof is simple: prime ideals are radical.

Note that \(\operatorname{Spec}{\mathbb{Z}}= \left\{{ \left\langle{p}\right\rangle, \left\langle{0}\right\rangle {~\mathrel{\Big|}~}p \text{ is prime}}\right\}\). Note that maximal ideals are always closed points, and \(\left\langle{0}\right\rangle\) is not a closed point. This is homeomorphic to, say \(\operatorname{Spec}\mkern 1.5mu\overline{\mkern-1.5mu{\mathbb{Q}}\mkern-1.5mu}\mkern 1.5mu[t]\).

Suppose \(p \subseteq A\) is a prime ideal, then the localization of \(A\) at \(p\), \(A \left[ { \scriptstyle { {(p^c)}^{-1}} } \right]\) (or \(A_p\)) is defined as \begin{align*} A \left[ { \scriptstyle { {(p^c)}^{-1}} } \right] \mathrel{\vcenter{:}}=\left\{{ a/f {~\mathrel{\Big|}~}f\not\in p}\right\}_{/ {\sim }} && {a\over f}\sim {b\over g}\iff \exists \, h\in A \text{ s.t. } h(ag-bf)=0 .\end{align*} This makes the elements of \(p^c\) invertible, and is a local ring with residue field \(\kappa = \operatorname{ff}(A/p)\) and maximal ideal \(pA_p\). Ideals of \(A_p\) biject with ideals of \(A\) contained in \(p\).

Idea: \(A_p\) should look like germs of functions at the point \(p\). Note that localizing at the ideal \(p\) is like deleting \({ \operatorname{cl}} _X(V(p))\), which is also useful. We now want to construct a sheaf \({\mathcal{O}}= {\mathcal{O}}_{\operatorname{Spec}A}\) which has stalks \(A_p\). We’ll construct something that’s obviously a sheaf, at the cost of needing to work hard to prove things about it!

For \(U\in \operatorname{Spec}(A)\) open, so \(U = V(I)^c\), define the structure sheaf of \(X\) as the sheaf given \begin{align*} {\mathcal{O}}(U) \mathrel{\vcenter{:}}=\left\{{ s:U \to \displaystyle\coprod{p\in U} A_p {~\mathrel{\Big|}~}s(p) \in A_p, \text{ and } s \text{ is locally a fraction}}\right\} .\end{align*} Here locally a fraction means that for all \(p\in U\) there is an open \(p\in V \subseteq U\) and elements \(a, f\in A\) such that

  1. \(f\not\in Q\) for any \(Q\in V\) and
  2. \(s(Q) = a/f\) for all \(Q \in V\).

Restriction is defined for \(V \subseteq U\) as honest function restriction on \({\mathcal{O}}(U) \to {\mathcal{O}}(V)\).

Note that this is sheafifying the presheaf \(U = D_f \mapsto A_f\).

Let \(k \in \mathsf{Field}\), then \(X\mathrel{\vcenter{:}}=\operatorname{Spec}(k) = \left\{{\left\langle{0}\right\rangle}\right\}\) and \({\mathcal{O}}_X\) is determined by \begin{align*} {\mathsf{\Gamma}\qty{X; {\mathcal{O}}_X} } = \left\{{s: \operatorname{Spec}k \to k {~\mathrel{\Big|}~}\cdots}\right\} = k ,\end{align*} since the conditions are vacuous here.

Let \(X = \operatorname{Spec}{\mathbb{C}} { \left[ {t} \right] } = \left\{{ \left\langle{0}\right\rangle, \left\langle{1}\right\rangle}\right\}\) and \({\mathcal{O}}_X(X) = {\mathbb{C}} { \left[ {t} \right] }\) and \({\mathcal{O}}_X(\left\langle{0}\right\rangle) = {\mathbb{C}} { \left( {t} \right) }\).

8 Friday, September 03

Last time: we defined \(\operatorname{Spec}A\) as a topological space and \({\mathcal{O}}_{\operatorname{Spec}A}\), a sheaf of rings on \(\operatorname{Spec}A\) which evidently satisfied the gluing condition: \begin{align*} {\mathcal{O}}_{\operatorname{Spec}A}(U) \mathrel{\vcenter{:}}=\left\{{s: U\to \displaystyle\coprod_{p\in U} A \left[ { \scriptstyle { {p}^{-1}} } \right] {~\mathrel{\Big|}~}s(p) \in A \left[ { \scriptstyle { {p}^{-1}} } \right] \forall p,\,\, s \text{ is locally a fraction}}\right\} .\end{align*}

Set \(X\mathrel{\vcenter{:}}={\mathbb{A}}^1_{/ {k}} \mathrel{\vcenter{:}}=\operatorname{Spec}k[t]\) for \(k=\mkern 1.5mu\overline{\mkern-1.5muk\mkern-1.5mu}\mkern 1.5mu\). Take a point \(\left\langle{t}\right\rangle = \left\langle{t-0}\right\rangle \in \operatorname{Spec}k[t]\) corresponding to 0, then \({\mathcal{O}}_{X}(X\setminus\left\{{0}\right\}) = k[t, t^{-1}]\), i.e. functions of the form \(f/t^k\) for any \(k\). Generally for \(p = \left\langle{t-a_i}\right\rangle\) we get \(s_p \in k[t] \left[ { \scriptstyle { {\left\{{t-a_i}\right\}}^{-1}} } \right]\). Note that for \(p = \left\langle{0}\right\rangle\), we get \(s_p \in k(t)\).

\(s\) is determined by \(s_{\left\langle{0}\right\rangle}\), so there is an injective map \begin{align*} {\mathcal{O}}(k[t]\setminus\left\{{0}\right\}) &\to k(t) \\ s &\mapsto s_{\left\langle{0}\right\rangle} .\end{align*}

Note that \(\left\langle{0}\right\rangle\) is in every open set, so locally near \(p\) there exists a \(P\in V\) and \(a,f\) with \(f\not\in Q\) for all \(Q\) and \(s_Q = a/f\) for all \(Q\in V\). Since \(\left\langle{0}\right\rangle \in V\), we have \(s_{\left\langle{0}\right\rangle} = a/f \in k(t)\) and \(s_p = a/f\in A_p\). Since \(A_p \subseteq k(t)\), we get \(s_p = s_{\left\langle{0}\right\rangle}\) under this inclusion.

\({\mathcal{O}}(\operatorname{Spec}k[t]\setminus\left\{{0}\right\}) = k[t, t^{-1}]\).

We showed that the LHS is a subset of \(k(t)\), so which subsets can be written as things that are locally fractions on the complement of zero.

\(\supseteq\): This can clearly be done in \(k[t, t^{-1}]\) since every element is locally the fraction \(f/t^k\).

\(\subseteq\): Suppose \(f/g\) with \(f,g\) coprime (this is a PID!) with a pole away from zero, so \(g\in Q\) for some \(Q\neq \left\langle{0}\right\rangle\). But then \(f/g\) isn’t in \(A_Q\).

Note that \(X \mathrel{\vcenter{:}}=\operatorname{mSpec}k[t] \subseteq X' \mathrel{\vcenter{:}}=\operatorname{Spec}k[t]\) as the set of closed points, and restricting \({\mathcal{O}}_{X'}\) to \(X\) yields the sheaf of regular functions. Having the extra generic point was useful!

Show that the maximal ideals in \(\operatorname{mSpec}A\) correspond precisely to closed points.

Of a function that is locally but not globally a fraction. Take \(A \mathrel{\vcenter{:}}= k[x,y,z,w]/\left\langle{xy-zw}\right\rangle\), which is the cone over a smooth quadric surface and \(X\mathrel{\vcenter{:}}=\operatorname{Spec}A\). Then take \(U = \operatorname{Spec}(A) \setminus V(y, w) = V(y)^c \cap V(w)^c\) and consider the section \begin{align*} s(p) \mathrel{\vcenter{:}}= \begin{cases} x/w & p\in V(w)^c \\ z/y & p\in V(y)^c. \end{cases} \end{align*}

For \(p\in U\), it makes sense to consider \(x/w\) and \(z/y\). Are they equal? The answer is yes because \(xy-zw = 0\). Check that this can’t be a global fraction, which is a consequence of this random open set not being the complement of localizing at a prime ideal.

Given \(f\in A\), the distinguished open \(D(f)\) corresponding to \(f\) is defined as \begin{align*} D(f) = V(\left\langle{f}\right\rangle)^c \mathrel{\vcenter{:}}=\left\{{p\in \operatorname{Spec}(A) {~\mathrel{\Big|}~}f\in p}\right\}^c = \left\{{p\in \operatorname{Spec}A {~\mathrel{\Big|}~}f\not\in p}\right\} ,\end{align*}

i.e. the points of \(\operatorname{Spec}(A)\) where \(f\) doesn’t vanish.

The sets \(\left\{{D(f) {~\mathrel{\Big|}~}f\in A}\right\}\) for a basis for the topology on \(\operatorname{Spec}(A)\). This follows from writing \(V(I)^c = \displaystyle\bigcup_{f\in I} D(f)\).

Let \(A\in \mathsf{CRing}\) be unital with \(1\neq 0\) unless \(A=0\) and consider \((\operatorname{Spec}A, {\mathcal{O}})\). Then

  1. For any \(p\in \operatorname{Spec}A\), the stalk \({\mathcal{O}}_p \cong A \left[ { \scriptstyle { {p}^{-1}} } \right]\).
  2. For any \(f\in A\), \({\mathcal{O}}(D(f)) = A \left[ { \scriptstyle { {f}^{-1}} } \right]\).
  3. Taking \(f=1\), \(\Gamma(\operatorname{Spec}A, {\mathcal{O}}) = A\).

Note that (b) gives the values of \({\mathcal{O}}\) on a basis of opens, which determines the sheaf.

Define a map \begin{align*} f_p: {\mathcal{O}}_p &\to A_p \\ (U, s) &\mapsto s(p) .\end{align*} This is well-defined since \(p\in W\) for any \(W \subseteq U \cap V\) for equivalent germs \((U, s) \sim (V, t)\).

Surjectivity: given \(x=a/g \in A_p\), we want \((U, s)\in {\mathcal{O}}_p\) such that \(f_p(U, s) = a/g\), so just take \(U = D(g)\) and \(s=a/g\) (which makes sense!) and evidently maps to \(a/g\).

Injectivity: supposing \(f_p(U, s) = 0\) in \(A_p\), we want \((U, s) = 0\). If \(s(p) = 0\), then there exists some \(h\in P\) with \(h\cdot s(p) = 0\). Since \(s(p)\) is locally a fraction, we can find \(p\in V \subseteq U\) with \(s=a/g\) on \(V\) with \(g\neq 0\) on \(V\), so consider \(V \cap D(h)\). The claim is that \(s\) is 0 here, which follows from \(h\cdot (a/g) = 0\).

9 Wednesday, September 08

Recall that we defined a first version of affine schemes, namely pairs \((\operatorname{Spec}A, {\mathcal{O}}_A)\) where for \(U \subseteq \operatorname{Spec}A\) open we have \(s\in {\mathcal{O}}(U)\) locally represented by \({ \left.{{s}} \right|_{{V}} } = a/f\) for \(V \subseteq U\) where \(a, f\in A\) and \(V(f) \cap V = \emptyset\), so \(f\) doesn’t vanish on \(V\). Note that the \(D(f)\) form a topological basis for \(\operatorname{Spec}A\), and the gluing condition is difficult, i.e. \({\mathcal{O}}(U)\) may be hard to compute. We proved that \(OO_{{\mathfrak{p}}} = A \left[ { \scriptstyle { {{\mathfrak{p}}}^{-1}} } \right]\) last time, and today we’re showing

\(b\implies c\): Take \(f=1\in A\), then \({\mathcal{O}}(\operatorname{Spec}A) = {\mathcal{O}}(D(1)) = A\) using (b), so the only hard part is showing (b).

To prove (b), by definition of \({\mathcal{O}}\) there is a ring morphism \begin{align*} \psi: A \left[ { \scriptstyle { {f}^{-1}} } \right] &\to {\mathcal{O}}(D(f)) \\ {a\over f^n} &\mapsto {a\over f^n} .\end{align*}

Note that this is just a careful statement, since the morphisms on stalks \(\psi_{{\mathfrak{p}}}: A \left[ { \scriptstyle { {f}^{-1}} } \right] \to A \left[ { \scriptstyle { {{\mathfrak{p}}}^{-1}} } \right]\) by not be injective in general.

\(\psi\) is bijective.

Suppose \(\psi(s) = 0\), we then want to show \(s=0\). Write \(s = a/f^n\), then for all \({\mathfrak{p}}\in D(f)\) we know \(a/f^n = 0 \in A \left[ { \scriptstyle { {{\mathfrak{p}}}^{-1}} } \right]\). So for each \({\mathfrak{p}}\) there is some \(h_{{\mathfrak{p}}} \not\in{\mathfrak{p}}\) where \begin{align*} h_{{\mathfrak{p}}}(a\cdot 1 - f^n\cdot 0) = 0 && \text{in } A \end{align*} in \(A\). Consider the ideal \({\mathfrak{a}}\mathrel{\vcenter{:}}=\operatorname{Ann}(a) \mathrel{\vcenter{:}}=\left\{{b\in A {~\mathrel{\Big|}~}ab=0 \in A}\right\} \ni h_{{\mathfrak{p}}}\). So take the closed subset \(V({\mathfrak{a}})\), which does not contain \({\mathfrak{p}}\) since \({\mathfrak{a}}\not\subseteq{\mathfrak{p}}\). Now iterating over all \({\mathfrak{p}}\in D(f)\), we get \(V({\mathfrak{a}}) \cap D(f) = \emptyset\). So \(V({\mathfrak{a}}) \subseteq V(f) = D(f)^c\), thus \(f\in \sqrt{{\mathfrak{a}}}\) and \(f^m a = 0\) for some \(m\). Then \(f^m(a\cdot 1 - f^n\cdot 0) = 0\) in \(A\), so \(a/f^n = 0\) in \(A \left[ { \scriptstyle { {f}^{-1}} } \right]\).

Step 1: Expressing \(s\in {\mathcal{O}}(D(f))\) nicely locally.

By definition of \({\mathcal{O}}_{D(f)}\), there exist \(V_i\) with \({ \left.{{s}} \right|_{{V_i}} } = a_i/g_i\) for \(a_i, g_i\in A\). We’d like \(g_i = h_i^{m_i}\) for some \(m_i\), so \(g\) is a power of \(h_i\), but this may not be true a priori. Fix \(V_i = D(h_i)\), then \(a_i / g_i\in {\mathcal{O}}(D(h_i))\) implies that \(g_i\not\in {\mathfrak{p}}\) for any \({\mathfrak{p}}\in D(h_i)\). This implies that \(D(h_i) \subseteq D(g_i)\), and taking complements yields \(V(h_i) \supseteq V(g_i)\), and \(h_i \in \sqrt{\left\langle{g_i}\right\rangle}\) and \(h_i^{n} = g_i\). Writing \(g_i = h_i^n/c\) we have \(a_i/g_i = ca_i / h_i^n\). Note that \(D(h_i) = D(h_i^n)\). Now replace \(a_i\) with \(ca_i\) and \(g_i\) with \(h_i\) to get \begin{align*} { \left.{{s}} \right|_{{D(h_i)}} } = a_i / h_i .\end{align*}

Step 2: Quasicompactness of \(D(f)\).

Note that \(\left\{{D(h_i)}\right\}_{i\in I} \rightrightarrows D(f)\), so take a finite subcover \(\left\{{D(h_i)}\right\}_{i\leq m}\).

Proof of quasicompactness: since \(D(f) \supseteq\displaystyle\bigcup_{i\in I} D(h_i)\), we get \begin{align*} V(f) \subseteq \displaystyle\bigcap_{i\in I} V(h_i) = V\qty{ \sum h_i} .\end{align*} So \(f^u \in \sum h_i\), and up to reordering we can conclude \(f^u = \sum_{i\leq m} b_i h_i\) for some \(b_i \in A\). Then \(D(f) \subseteq \displaystyle\bigcup_{i\leq m} D(h_i)\).

Since we can write \(\operatorname{Spec}A = D(1)\), it is quasicompact.

Step 3: Showing surjectivity.

Next time.

10 Friday, September 10

10.1 Sections and Stalks of \({\mathcal{O}}_{\operatorname{Spec}A}\) as Localizations

Last time: any affine scheme is quasicompact, so for each ring \(A\) and an open cover \({\mathcal{U}}\rightrightarrows D(f)\) then there is a finite subcover \(\left\{{D(h_i)}\right\}\rightrightarrows D(f)\). We were looking at proposition: for the ringed space \((\operatorname{Spec}A, {\mathcal{O}}_A)\),

Note that \({\mathcal{O}}_A\) is uniquely characterized by these properties.

We can write \(D(1) = \operatorname{Spec}A\) and write \(\left\{{ D(h_i) }\right\} \rightrightarrows\operatorname{Spec}A\) to obtain \(1^n = \sum b_i h_i\). This is analogous to a partition of unity, where \(b_i h_i\) vanishes on \(D(h_i)^c = V(h_i)\)

Let \(\psi:A \left[ { \scriptstyle { {f}^{-1}} } \right] \hookrightarrow{\mathcal{O}}(D(f))\) where we just take restrictions of functions. We know this is injective, and we want to show surjectivity.

Step 1: Let \(s\in {\mathcal{O}}(D(f))\). For each open \(D(h_i)\), write \({ \left.{{s}} \right|_{{D(h_i)}} } = a_i /h_i\) for some \(a_i \in A\).

Step 2: By quasicompactness, write \(f^n = \sum_{1 \leq i\leq m} b_i h_i\).

Step 3: Glue the \(a_i/h_i\) into an element \(a/f\) of \(A \left[ { \scriptstyle { {f}^{-1}} } \right]\).

Part 1: For any \(1\leq i\neq j\leq m\), \(D(h_i h_j) = D(h_i) \cap D(h_j)\). Note that \(a_i/h_i = a_j/h_j\) in \({\mathcal{O}}(D(h_i h_j))\), and these are elements of \(A \left[ { \scriptstyle { {h_i h_j}^{-1}} } \right]\) since \(a_i /h_i = a_ih_j/h_i h_j\). Using injectivity of \(\psi\) for \(h_i h_j\), we get an equality \(a_i/h_i = a_j/h_j\) in \(A_{h_i h_j}\). Then for \(\ell\) large enough, \((h_i h_j)^\ell( a_i h_j - a_j h_i) = 0 \in A\). Regrouping yields \(h_j^{n+1}(h_i^n a_i) - h_i^{n+1}(h_j a_j) = 0\), so \begin{align*} {a_i h_i^n \over h_i ^{n+1}} = {a_j h_j^r \over h_j^{n+1}} \mathrel{\vcenter{:}}={\tilde a_i \over \tilde h_i} = {\tilde a_j \over \tilde h_j} ,\end{align*} noting that \(D(\tilde h_i) = D(\tilde h_i)\) since \(\tilde h_i\) is a power of \(h_i\).

Now use POU gluing to write \(f^n = \sum_i \tilde b_i \tilde h_i\) and \(a \mathrel{\vcenter{:}}=\sum \tilde a_i \tilde h_i\in A\) be a global function on \(D(f)\). Then (claim) \(a_j/f^n = \tilde a_j/\tilde h_j\) on \(D(\tilde h_j)\). We can rewrite \begin{align*} \tilde h_j a = \sum_i \tilde b_i \tilde a_i \tilde h_j = \sum_i \tilde b_i \tilde a_j \tilde h_i .\end{align*} But then \(a/f^n = { \left.{{s}} \right|_{{D(\tilde h_i)}} }\), so \(s= a/f^n\).

Consider \({\mathbb{P}}^1_{/ {k}}\) as a scheme – we know the space, and the claim is that we can glue sheaves of affines to obtain a structure sheaf for it. Cover \({\mathbb{P}}^1\) by \(U_0 = {\mathbb{P}}^1\setminus\left\{{\infty}\right\} \cong {\mathbb{A}}^1\) and \(U_1 = {\mathbb{P}}^1\setminus\left\{{0}\right\} \cong {\mathbb{A}}^1\). The gluing data is the following:

Link to Diagram

Here the transition maps are \begin{align*} \phi_1 \circ \phi_0^{-1}: \phi_0( U_0 \cap U_1) &\to \phi_1(U_0 \cap U_1) \\ t &\mapsto t^{-1} .\end{align*} What is the map on sheaves? We need a map \({ \left.{{{\mathcal{O}}}} \right|_{{U_0\setminus\left\{{0}\right\}}} } { { \, \xrightarrow{\sim}\, }}{ \left.{{{\mathcal{O}}}} \right|_{{U_1 \setminus\left\{{\infty}\right\}}} }\).

A ringed space \((X, {\mathcal{O}}_X) \in {\mathsf{Top}}\times {\mathsf{Sh}}(X, \mathsf{Ring})\) as a topological space with a sheaf of rings. A morphism is a pair \((f, f^\#) \in C^0(X, Y) \times \in \mathop{\mathrm{Mor}}_{\mathsf{Sh}}({\mathcal{O}}_Y, f_* {\mathcal{O}}_X)\).

The scheme \((\operatorname{Spec}A, {\mathcal{O}}_{\operatorname{Spec}A})\) is a ringed space.

Consider \({\mathbb{R}}\) in the Euclidean topology, then \(({\mathbb{R}}, C^0({-}, {\mathbb{R}}))\) with the sheaf of continuous functions is a ringed space. Then consider the morphism given by projection onto the first coordinate of \({\mathbb{R}}^2\): \begin{align*} (\pi, \pi^\#): ({\mathbb{R}}^2, C^0({-}, {\mathbb{R}})) &\to ({\mathbb{R}}, C^{\infty }({-}, {\mathbb{R}})) \\ (x, y) &\mapsto x .\end{align*} For \(\pi^\#\), we can consider \(\pi_* C^0({-}, {\mathbb{R}})(U) \mathrel{\vcenter{:}}= C^0(\pi^{-1}(U)) = C^0(U\times {\mathbb{R}})\), so \begin{align*} \pi^\#: C^\infty(U, {\mathbb{R}}) &\to C^0(U\times {\mathbb{R}}) \\ f &\mapsto f\circ \pi ,\end{align*} which is a well-defined map of rings since smooth functions are continuous.

Not every scheme is built out of affine opens!

11 Monday, September 13

11.1 Affine Schemes

Let \((X, {\mathcal{O}}_X) \in \mathsf{RingSp}\) and \(U \subseteq X\) be open, then for \(V \subseteq U\) open, define the restricted sheaf \({\mathcal{O}}_{X}{ \left.{{}} \right|_{{V}} }(V) \mathrel{\vcenter{:}}={\mathcal{O}}_X(V)\).

\begin{align*} {\mathsf{Sh}}_{/ {X}} \ni{ \left.{{{\mathcal{O}}_X}} \right|_{{U}} }\neq {\mathcal{O}}_X(U) \in \mathsf{Ring} .\end{align*}

Recall the definition of a ringed space \((X, {\mathcal{O}}_X)\). The quintessential example: \(X\) a smooth manifold and \({\mathcal{O}}_X \mathrel{\vcenter{:}}= C^{\infty}({-}; {\mathbb{R}})\) the sheaf of smooth functions. For defining morphisms, consider a map \(f:X\to Y\), then an alternative way of defining \(f\) to be smooth is that there is a pullback \begin{align*} f^*: C^0(V, {\mathbb{R}}) &\to C^0(U, {\mathbb{R}}) \\ g &\mapsto g \circ f \end{align*} for \(U \subseteq X, V \subseteq Y\), and that \(f^*\) in fact restricts to \(f^*: C^\infty(V; {\mathbb{R}}) \to C^\infty(U; {\mathbb{R}})\), i.e. preserving smooth functions.

A morphism of ringed spaces is a pair \begin{align*} (M, {\mathcal{O}}_M) \xrightarrow{(\varphi, \varphi^\#)} (N, {\mathcal{O}}_N) .\end{align*} where \(\varphi \in C^0(M, N)\) and \(\varphi^\# \in \mathop{\mathrm{Mor}}_{{\mathsf{Sh}}_{/ {N}} }({\mathcal{O}}_N, \varphi_* {\mathcal{O}}_M)\).

This is an isomorphism of ringed spaces if

  1. \(\varphi\) is a homeomorphism, and
  2. \(\varphi^\#\) is an isomorphism of sheaves.

In the running example, \begin{align*} \varphi^\#(U): {\mathcal{O}}_N(U) \to \varphi_* {\mathcal{O}}_M(M) = {\mathcal{O}}_M(\varphi^{-1}(U)) .\end{align*} This implies that maps of ringed spaced here induce smooth maps, and so there is an embedding \({\mathsf{sm}}{\mathsf{Mfd}}_{/ {{\mathbb{R}}}} \hookrightarrow\mathsf{RingSp}\).

We’ll try to set up schemes the same way one sets up smooth manifolds. A topological manifold is a space locally homeomorphic to \({\mathbb{R}}^n\), and a smooth manifold is one in which it’s locally isomorphic as a ringed space to \(({\mathbb{R}}^n, C^\infty({-}; {\mathbb{R}}))\) with its sheaf of smooth functions.

A smooth manifold is a ringed space \((M, {\mathcal{O}}_M)\) that is locally isomorphic to \(({\mathbb{R}}^d, C^\infty({-}; {\mathbb{R}}))\), i.e. there is an open cover \({\mathcal{U}}\rightrightarrows M\) such that \begin{align*} (U_i, { \left.{{{\mathcal{O}}_M}} \right|_{{U_i}} }) \cong ({\mathbb{R}}^n, C^{\infty}({-}; {\mathbb{R}})) .\end{align*}

An example of a morphism of ringed spaces that is not an isomorphism: take \(({\mathbb{R}}, C^0) \to ({\mathbb{R}}, C^\infty)\) given by \((\operatorname{id}, \operatorname{id}^\#)\) where \(\operatorname{id}^\#: C^\infty \to \operatorname{id}_* C^0\) is given by \(\operatorname{id}^\#(U): C^\infty(U) \to C^0(U)\) is the inclusion of continuous functions into smooth functions.

We’ll define schemes similarly: build from simpler pieces, namely an open cover with isomorphisms to affine schemes. A major difference is that there may not exist a unique isomorphism type among all of the local charts, i.e. the affine scheme can vary across the cover.

Recall that for \(A\) a ring we defined \((\operatorname{Spec}A, {\mathcal{O}}_{\operatorname{Spec}A})\), where \(\operatorname{Spec}A \mathrel{\vcenter{:}}=\left\{{\text{Prime ideals } {\mathfrak{p}}{~\trianglelefteq~}A}\right\}\), equipped with the Zariski topology generated by closed sets \(V(I) \mathrel{\vcenter{:}}=\left\{{{\mathfrak{p}}{~\trianglelefteq~}A {~\mathrel{\Big|}~}I\supseteq{\mathfrak{p}}}\right\}\). We then defined \begin{align*} {\mathcal{O}}_{\operatorname{Spec}A}(U) \mathrel{\vcenter{:}}=\left\{{s: U\to \displaystyle\coprod_{{\mathfrak{p}}\in U} A \left[ { \scriptstyle { {{\mathfrak{p}}}^{-1}} } \right] {~\mathrel{\Big|}~} s({\mathfrak{p}}) \in A \left[ { \scriptstyle { {{\mathfrak{p}}}^{-1}} } \right], \, s\text{ locally a fraction} }\right\} .\end{align*} We saw that

  1. We can identify stalks: \({\mathcal{O}}_{\operatorname{Spec}A, {\mathfrak{p}}} = A \left[ { \scriptstyle { {{\mathfrak{p}}}^{-1}} } \right]\)
  2. We can identify sections on distinguished opens: \begin{align*} {\mathcal{O}}_{\operatorname{Spec}A}(D_f) = A \left[ { \scriptstyle { {f}^{-1}} } \right] = \left\{{a/f^k {~\mathrel{\Big|}~}a\in A, k\in {\mathbb{Z}}_{\geq 0}}\right\} ,\end{align*} where \(D_f \mathrel{\vcenter{:}}= V(f)^c = \left\{{{\mathfrak{p}}\in \operatorname{Spec}A {~\mathrel{\Big|}~}f\not\in {\mathfrak{p}}}\right\}\).

As a corollary, we get \({\mathcal{O}}_{\operatorname{Spec}A}(\operatorname{Spec}A) = A\), noting \(\operatorname{Spec}A = d_1\) and \(A \left[ { \scriptstyle { {1}^{-1}} } \right] = A\). Thus we can recover the ring \(A\) from the ringed space \((X, {\mathcal{O}}_X) \mathrel{\vcenter{:}}=(\operatorname{Spec}A, {\mathcal{O}}_{\operatorname{Spec}A})\) by taking global sections, i.e. \({\mathsf{\Gamma}\qty{\operatorname{Spec}A; {\mathcal{O}}_{\operatorname{Spec}A}} } = A\).

11.2 Affine Varieties

Let \(k = \mkern 1.5mu\overline{\mkern-1.5muk\mkern-1.5mu}\mkern 1.5mu\) and set \({\mathbb{A}}^n_{/ {k}} = k^n\) whose regular functions are given by \(k[x_1, \cdots, x_{n}]\), regarded as maps to \(k\).

An affine variety is any set of the form \begin{align*} X \mathrel{\vcenter{:}}= V(f_1,\cdots, f_n) = \left\{{p\in {\mathbb{A}}^n_{/ {k}} {~\mathrel{\Big|}~}f_1(p) = \cdots = f_m(p) = 0}\right\} \end{align*} for \(f_i \in k[x_1, \cdots, x_{n}]\),

Writing \(I = \left\langle{f_1,\cdots, f_m}\right\rangle\), we have \(X = V(\sqrt I)\). Letting \(I(S) = \left\{{f\in k[x_1, \cdots, x_{n}]{~\mathrel{\Big|}~}{ \left.{{f}} \right|_{{S}} } = 0}\right\}\), then by the Nullstellensatz, \(IV(I) = \sqrt{I}\). This gives a bijection between affine varieties in \({\mathbb{A}}^n_{/ {k}}\) and radical ideals \(I {~\trianglelefteq~}k[x_1, \cdots, x_{n}]\).

The coordinate ring of an affine variety \(X\) is \(k[X] \mathrel{\vcenter{:}}= k[x_1, \cdots, x_{n}]/I(X)\), regarded as polynomial functions on \(X\).

We quotient here because if the difference of functions is in \(I(X)\), these functions are equal when restricted to \(X\). For example, \(y=x\) in \(k[x, y]/ \left\langle{x-y}\right\rangle\), which are different functions where for \(X\mathrel{\vcenter{:}}=\Delta\), we have \({ \left.{{x}} \right|_{{\Delta}} } = { \left.{{y}} \right|_{{\Delta}} }\).

As an application of the Nullstellensatz, there is a correspondence

\begin{align*} \adjunction{I({-})}{V({-})}{\left\{{\text{Points } p\in X}\right\}}{\operatorname{mSpec}k[X]} \end{align*}

Why is an affine variety \(X\) an example of an affine scheme \(\operatorname{Spec}k[X]\)? These don’t have the same underlying topological space: \begin{align*} \tau(X) &\mathrel{\vcenter{:}}=\left\{{V(I) \mathrel{\vcenter{:}}=\left\{{p\in X {~\mathrel{\Big|}~}f_i(p) = 0 \,\, \forall f_i \in I}\right\} {~\mathrel{\Big|}~}I{~\trianglelefteq~}k[X]}\right\} \\ \tau(\operatorname{mSpec}k[X]) &\mathrel{\vcenter{:}}=\left\{{ V(I) \mathrel{\vcenter{:}}=\left\{{ {\mathfrak{m}}\in \operatorname{mSpec}k[X] {~\mathrel{\Big|}~}{\mathfrak{m}}\supseteq I}\right\} {~\mathrel{\Big|}~}I{~\trianglelefteq~}k[X] }\right\} .\end{align*}

However, they are closely related: \begin{align*} { \left.{{\tau(\operatorname{mSpec}k[X])}} \right|_{{\operatorname{Spec}k[X]}} } = \tau(X_{\mathrm{zar}}) ,\end{align*} i.e. the space \(\operatorname{Spec}k[X]\) with the restricted topology from \(\operatorname{mSpec}k[X]\) is homeomorphic to \(X\) with the Zariski topology. I.e. restricting to closed points recovers regular functions on \(X\).

Defining things that are locally isomorphic to schemes would work for objects but not morphisms!

12 Wednesday, September 15

Last time: for \({\mathsf{Aff}}{\mathsf{Var}}\) we considered \(X = V(I) \subseteq {\mathbb{A}}^n_{/ {k}}\), and for \({\mathsf{Aff}}{\mathsf{Sch}}\) we considered \(\operatorname{Spec}k[X]\) where \(k[X] \mathrel{\vcenter{:}}= k[x_1, \cdots, x_{n}]/ I(X)\). Both had the Zariski topology, and \(X = \operatorname{mSpec}k[X] \subseteq \operatorname{Spec}k[X]\). We had structure sheaves \({\mathcal{O}}_{\operatorname{Spec}k[X]}\), and for \(X\), we have \(U' \mathrel{\vcenter{:}}= U \cap\operatorname{mSpec}k[X]\). On \(\operatorname{mSpec}k[X]\), we have the notion of a regular function, and \({\mathcal{O}}_X(U') = {\mathcal{O}}_{\operatorname{Spec}k[X]}(U')\). The previous setup only worked for rings finitely generated over a field, whereas for schemes, we can take things like \(\operatorname{Spec}{\mathbb{Z}}\), so they’re much more versatile (e.g. for number theory).

Compare \({\mathbb{A}}^2_{/ {k}} \in {\mathsf{Aff}}{\mathsf{Var}}\) to \(\operatorname{Spec}k[x, y]\). Note that \(\left\langle{0}\right\rangle \in \operatorname{Spec}k[x, y]\), and taking its closure yields \begin{align*} { \operatorname{cl}} (\left\langle{0}\right\rangle) &= \displaystyle\bigcap_{V(I)\supseteq\left\langle{0}\right\rangle } V(I) \\ &= \displaystyle\bigcap_{V(I)\ni 0 } V(I) \\ &= V(0) \\ &= \operatorname{Spec}k[x, y] ,\end{align*} so \(0\) is a dense point!

But there are prime ideals of height \(>1\). For example, any irreducible subvariety of \({\mathbb{A}}^2\) yields a generic point.

Try to draw \(\operatorname{Spec}{\mathbb{Z}}\) and \(\operatorname{Spec}{\mathbb{Z}}[t]\).

We’ll now try a naive definition of schemes, which we’ll find won’t quite work.

A scheme is a ringed space \((X, {\mathcal{O}}_X)\) which is locally an affine scheme, i.e. there exists an open cover \({\mathcal{U}}\rightrightarrows X\) such that there is a collection of rings \(A_i\) with \begin{align*} (U_i, { \left.{{{\mathcal{O}}_{X}}} \right|_{{U_i}} } ) { { \, \xrightarrow{\sim}\, }}(\operatorname{Spec}A_i, {\mathcal{O}}_{\operatorname{Spec}A_i}) .\end{align*}

This produces the right objects, but not the correct morphisms. This is a subtle issue! With this definition, a morphism of schemes would be a morphism of ringed spaces \((f, f^\#)\) with \(f\in {\mathsf{Top}}(X, Y)\) and \(f^\# \in {\mathsf{Sh}}_{/ {Y}} ({\mathcal{O}}_Y, f_* {\mathcal{O}}_X)\), where \(f^\#\) is supposed to capture “pullback of functions.” The issue: \(f^\#\) may not notice that \(p \xrightarrow{f} f(p)\)! In particular, it may not preserve the fact that \(f(p) = 0\).

Hartshorne exercises for how this issue can actually arise.

Let \((f, f^\#)\) be a map of ringed spaces, then there is an induced map \begin{align*} f_p^\#: {\mathcal{O}}_{Y, f(p)} &\to {\mathcal{O}}_{X, p} \\ (U, s) &\mapsto (f^{-1}(U), f^\#(U)(s)) .\end{align*}

A locally ringed space \((X, {\mathcal{O}}_X)\) is a ringed space for which the stalks \({\mathcal{O}}_{X, p} \in \mathsf{Loc}\mathsf{Ring}\) are local rings, i.e. there exists a unique maximal ideal.

For \((X, {\mathcal{O}}_X) \mathrel{\vcenter{:}}=(\operatorname{Spec}A, {\mathcal{O}}_{\operatorname{Spec}A})\), we saw that \({\mathcal{O}}_{X, p} = A \left[ { \scriptstyle { {p}^{-1}} } \right]\), which is local.

A morphism of locally ringed spaces is a morphism of ringed spaces \begin{align*} (f, F^\#): (X, {\mathcal{O}}_X) \to (Y, {\mathcal{O}}_Y) \end{align*} such that \(f^\#_p: {\mathcal{O}}_{Y, f(p)} \to {\mathcal{O}}_{X, p}\) is a homomorphism of local rings, i.e. \(f^\#({\mathfrak{m}}_{f(p)}) \subseteq {\mathfrak{m}}_p\).

Here we should also require that \(f^\# \neq 0\).

Morally: this extra condition enforces that pulling back functions vanishing at \(f(p)\) yields functions which vanish at \(p\).

Alternatively one could require that \((f^\#)^{-1}({\mathfrak{m}}_p) = {\mathfrak{m}}_{f(p)}\), and (claim) this is equivalent to the above definition. Use that \((f^\#)^{-1}({\mathfrak{m}}_p)\) is a prime ideal containing \({\mathfrak{m}}_p\).

Take \((X, {\mathcal{O}}_X) \mathrel{\vcenter{:}}=({\mathbb{R}}, C^0({-}; {\mathbb{R}}))\). Why this is in \(\mathsf{Loc}\mathsf{RingSp}\): write a stalk as \begin{align*} C_p^0 = \left\{{(f, I) {~\mathrel{\Big|}~}I\ni p \text{ an interval}, f\in {\mathsf{Top}}(I, {\mathbb{R}})}\right\}_{/ {\sim}} .\end{align*} Why is this local? Take \({\mathfrak{m}}_p \mathrel{\vcenter{:}}=\left\{{(f, I) {~\mathrel{\Big|}~}f(p) = 0}\right\}\), which is maximal since \(C_p^0/{\mathfrak{m}}\cong {\mathbb{R}}\) is a field. Then \({\mathfrak{m}}_p^c = \left\{{(f, I) {~\mathrel{\Big|}~}f(p) \neq 0}\right\}\), and any continuous function that isn’t zero at \(p\) is nonzero in some neighborhood \(J \supseteq I\), so \({ \left.{{f}} \right|_{{J}} }\neq 0\) anywhere. Then \((f, I) \sim ({ \left.{{f}} \right|_{{J}} }, J)\), which is invertible in the ring, so any element in the complement is a unit.

Consider \begin{align*} ({\mathbb{R}}, C^0({-}; {\mathbb{R}})) \xrightarrow{(f, f^\#)} ({\mathbb{R}}, C^\infty({-}; {\mathbb{R}})) .\end{align*} Take \(f = \operatorname{id}\) and the inclusion \begin{align*} f^\# : C^\infty({-}; {\mathbb{R}})\hookrightarrow\operatorname{id}_* C^0({-}; {\mathbb{R}}) = C^0({-}; {\mathbb{R}}) .\end{align*} Then \begin{align*} f_p^\#: C_p^\infty({-}; {\mathbb{R}}) \to C_p^0({-}; {\mathbb{R}}) .\end{align*} satisfies \(f_p^\#({\mathfrak{m}}^\infty_{\operatorname{id}(p)}) = {\mathfrak{m}}^0_p\). We also have \((f_p^\#)^{-1}({\mathfrak{m}}_p^0) = {\mathfrak{m}}_p^\infty\), since the germs are just equal.

A scheme \((X, {\mathcal{O}}_X)\) is a locally ringed space which is locally isomorphic to \((\operatorname{Spec}A, {\mathcal{O}}_{\operatorname{Spec}A})\) in \(\mathsf{Loc}\mathsf{RingSp}\). A morphism of schemes is a morphism in \(\mathsf{Loc}\mathsf{RingSp}\).

Note that we can restrict to opens, since this doesn’t change the stalks.

As a proof of concept that this is a good notion, we’ll see that there’s a fully faithful contravariant functor \(\operatorname{Spec}: \mathsf{CRing}\to {\mathsf{Sch}}\), so \begin{align*} \operatorname{Spec}(\mathop{\mathrm{Mor}}_\mathsf{Ring}(B, A)) = \mathop{\mathrm{Mor}}_{\mathsf{Sch}}( \operatorname{Spec}A, \operatorname{Spec}B) .\end{align*}

13 Appendix

A bunch of stuff I always forget!

Given a diagram \(J\) in a category \(\mathsf{C}\), regard it as a functor \(F: \mathsf{J}\to \mathsf{C}\) where \(\mathsf{J}\) is the diagram category of \(J\). Then the colimit of \(J\) is defined as the initial object in the category of co-cones over \(F\).

Link to Diagram

Taking \(\mathsf{C} = A\), \(S = \operatorname{id}_{\mathsf{A}}\), and \(\mathsf{B} \mathrel{\vcenter{:}}={\operatorname{pt}}\) to be a 1-object category with only the identity morphism forces \(X\mathrel{\vcenter{:}}= T({\operatorname{pt}}) \in {\operatorname{Ob}}(\mathsf{A})\) to be a single object and \((\mathsf{A} \downarrow X)\) is the usual slice category over \(X\).

14 Problem Sets

14.1 Problem Set 1

All problems are sourced from Hartshorne.

14.2 Chapter 2, Section 1

List of useful facts used:

Link to Diagram

Recommended problems:

Let \(A\) be an abelian group, and define the constant presheaf associated to \(A\) on the topological space \(X\) to be the presheaf \(U \mapsto A\) for all \(U \neq \emptyset\), with restriction maps the identity.

Show that the constant sheaf \({\mathcal{A}}\) defined in Hartshorne is the sheafification of this presheaf.

Let \(X\in {\mathsf{Top}}\) be a space. Recapping the definitions, define the constant presheaf as \begin{align*} \underline{A}^{\mathsf{pre}}(U) \mathrel{\vcenter{:}}= \begin{cases} A & U\neq \emptyset \\ 0 & \text{else}. \end{cases} \quad \operatorname{res}^1(U, V) \mathrel{\vcenter{:}}= \begin{cases} \operatorname{id}_A & U\neq \emptyset \\ 0 & \text{else}. \end{cases} .\end{align*}

Then define the constant sheaf as \begin{align*} \underline{A}(U) \mathrel{\vcenter{:}}=\mathop{\mathrm{Hom}}_{{\mathsf{Top}}}(U, A)\quad \operatorname{res}^2(U, V)(f) \mathrel{\vcenter{:}}={ \left.{{f}} \right|_{{V}} } .\end{align*}

We’re then tasked with finding a morphism of sheaves \begin{align*} \Psi: (\underline{A}^{\mathsf{pre}})^+ \xrightarrow{\sim} \mathop{\mathrm{Hom}}_{{\mathsf{Top}}}({-}, A) ,\end{align*} which we’ll also want to have an inverse morphism and this define an isomorphism in \({\mathsf{Sh}}(X)\).

We’ll use the implicitly stated fact in Hartshorne that \(\mathop{\mathrm{Hom}}_{{\mathsf{Top}}}(U, A) = A^{\oplus n}\) where \(n \mathrel{\vcenter{:}}=\# \pi_0(X)\) is the number of connected components of \(U\). Suppose first that \(n=1\), so \(X\) is connected, and define the following morphism of groups: \begin{align*} \Psi_U: (\underline{A}^{\mathsf{pre}})(U) = A &\longrightarrow\mathop{\mathrm{Hom}}_{\mathsf{Top}}(U, A)\\ a_0 &\mapsto \left\{ { \begin{aligned} \varphi_{a_0}: U \to A \\ x \mapsto a_0, \end{aligned} } \right. \end{align*} which maps a group element \(a_0\) to the constant function on \(U\) sending every point to \(a_0 \in A\). The claim is that the following diagram commutes in the category \(\underset{ \mathsf{pre} } {\mathsf{Sh} }(X)\) (in both directions) for all \(U\) and \(V\):

Link to Diagram

Here we’ve specified simultaneously what \(\Psi\) and \(\Psi^{-1}\) prescribe on opens \(U, V\), and abuse notation slightly by writing \(\mathop{\mathrm{Hom}}_{{\mathsf{Top}}}({-}, A)\) for the sheaf it represents and its underlying presheaf.

As a consequence, we get a well-defined morphism of presheaves \(\underline{A}^{\mathsf{pre}}({-}) \to { \left.{{ \mathop{\mathrm{Hom}}({-}, A)}} \right|_{{ \underset{ \mathsf{pre} } {\mathsf{Sh} }}} }\), and by the sheafification adjunction we can lift this to a morphism of sheaves: \begin{align*} \adjunction{{\mathcal{F}}\mapsto {\mathcal{F}}^+ }{{\mathcal{G}}\mapsto { \left.{{{\mathcal{F}}}} \right|_{{ \underset{ \mathsf{pre} } {\mathsf{Sh} }}} } }{ \underset{ \mathsf{pre} } {\mathsf{Sh} }(X)}{{\mathsf{Sh}}(X)} ,\end{align*} which reads \begin{align*} \mathop{\mathrm{Hom}}_{ \underset{ \mathsf{pre} } {\mathsf{Sh} }}({\mathcal{F}}, { \left.{{{\mathcal{G}}}} \right|_{{ \underset{ \mathsf{pre} } {\mathsf{Sh} }}} }) &\xrightarrow{\sim} \mathop{\mathrm{Hom}}_{{\mathsf{Sh}}}({\mathcal{F}}^+, {\mathcal{G}}) \\ \Psi &\mapsto \tilde \Psi ,\end{align*} and since \(\Psi\) was an isomorphism, so is \(\tilde \Psi\).

It remains to handle the \(n\geq 2\), case when (say) \(U = U_1 {\textstyle\coprod}U_2\) has more than 1 connected component. Actually, is it even true that adjunctions preserve isomorphisms…? Todo: help??


Alternatively, consider the map \(\Psi\) defined on presheaves – by the universal property, we get some sheaf morphism \(\tilde\Psi\), which we can show is an isomorphism by showing its induced map on stalks is an isomorphism. This amounts to showing the following map is a group isomorphism: \begin{align*} \Psi_p: (\underline{A}^{\mathsf{pre}}({-}))_p \xrightarrow{\sim} \mathop{\mathrm{Hom}}_{\mathsf{Top}}({-}, A)_p .\end{align*}

First we identify the LHS: \begin{align*} (\underline{A}^{\mathsf{pre}}({-}))_p \mathrel{\vcenter{:}}=\colim_{U\ni p} \underline{A}^{\mathsf{pre}}(U) = \colim_{U\ni p} A = A .\end{align*}

(todo: show \(A\) satisfies the universal property for a colimit)

Identifying the RHS, we have equivalence classes \([U\ni p, s: U\to A]\)


Alternatively:

Link to Diagram

Link to Diagram

  1. For any morphism of sheaves \(\varphi: {\mathcal{F}}\rightarrow {\mathcal{G}}\), show that for each point \(p\) that \(\ker (\varphi)_{p}=\) \(\operatorname{ker}\left(\varphi_{p}\right)\) and \(\operatorname{im}(\varphi)_{p} = \operatorname{im}\left(\varphi_{p}\right)\).

  2. Show that \(\varphi\) is injective (resp. surjective) if and only if the induced map on the stalks \(\varphi_{p}\) is injective (resp. surjective) for all \(p\).

  3. Show that a sequence of sheaves and morphisms \begin{align*} \cdots {\mathcal{F}}^{i-1} \xrightarrow{\varphi^{i-1}} {\mathcal{F}}^i \xrightarrow{\varphi^{i}} {\mathcal{F}}^{i+1} \to \cdots \end{align*} is exact if and only if for each \(P \in X\) the corresponding sequence of stalks is exact as a sequence of abelian groups.

\(\implies\):

\(\impliedby\):

\(\implies\):

\(\impliedby\):

\(\implies\): Assuming exactness of sheaves, \begin{align*} \ker({\mathcal{F}}^{i+1}) = \operatorname{im}({\mathcal{F}}^{i}) \iff \ker({\mathcal{F}}^{i+1})_p = \operatorname{im}({\mathcal{F}}^{i})_p && \forall p .\end{align*}

\(\impliedby\): Assuming exactness on stalks, write \begin{align*} \ker({\mathcal{F}}^{i+1})_p &= \ker({\mathcal{F}}^{i+1}_p) && \text{by 1 } \\ &= \operatorname{im}({\mathcal{F}}^{i}_p) && \text{exactness, by assumption} \\ &= \operatorname{im}({\mathcal{F}}^{i})_p && \text{by 1} .\end{align*}

  1. Let \(\varphi: {\mathcal{F}}\to{\mathcal{G}}\) be a morphism of sheaves on \(X\). Show that \(\varphi\) is surjective if and only if the following condition holds:

    For every open set \(U \subseteq X\), and for every \(s\in {\mathcal{G}}(U)\), there is a cover \(\left\{{U_i}\right\}\) of \(U\) and elements \(t_i \in {\mathcal{F}}(U_i)\) such that \(\varphi(t_i) = { \left.{{s}} \right|_{{U_i}} }\) for all \(i\).

  2. Give an example of a surjective morphism of sheaves \(\varphi: {\mathcal{F}}\rightarrow {\mathcal{G}}\), and an open set \(U\) such that \(\varphi(U): {\mathcal{F}}(U) \rightarrow {\mathcal{G}}(U)\) is not surjective.

\(\implies\):

\(\impliedby\):

Link to Diagram

  1. Let \(\varphi: {\mathcal{F}}\to {\mathcal{G}}\) be a morphism of presheaves such that \(\varphi(U): {\mathcal{F}}(U) \to {\mathcal{G}}(U)\) is injective for each \(U\). Show that the induced map \(\varphi^+: {\mathcal{F}}^+ \to {\mathcal{G}}^+\)of associated sheaves is injective.

  2. Use part (a) to show that if \(\varphi: {\mathcal{F}}\to{\mathcal{G}}\) is a morphism of sheaves, then \(\operatorname{im}\varphi\) can be naturally identified with a subsheaf of \({\mathcal{G}}\), as mentioned in the text.

Show that a morphism of sheaves is an isomorphism if and only if it is both injective and surjective.

Problem: surjections of sheaves don’t induce surjections ons sections!

Link to Diagram

14.3 Problem Set 2

14.4 II.1

For any open \(U \subseteq X\) show that the functor \begin{align*} {\mathsf{\Gamma}\qty{U, {-}} }: {\mathsf{Sh}}(X) \to {\mathsf{Ab}}{\mathsf{Grp}} \end{align*} is left-exact, but need not be exact.

Let \({\mathcal{F}}\in {\mathsf{Sh}}(X)\) and \(s\in {\mathcal{F}}(U)\) be a section, and define \begin{align*} \mathop{\mathrm{supp}}s &\mathrel{\vcenter{:}}=\left\{{p\in U {~\mathrel{\Big|}~}s_p \neq 0}\right\} \subseteq U \\ \mathop{\mathrm{supp}}{\mathcal{F}}&\mathrel{\vcenter{:}}=\left\{{p\in X{~\mathrel{\Big|}~}{\mathcal{F}}_p\neq 0}\right\} \subseteq U ,\end{align*} where \(s_p\) denotes the germ of \(s\) in the stalk \({\mathcal{F}}_p\). Show that \(\mathop{\mathrm{supp}}s\) is closed in \(U\) but \(\mathop{\mathrm{supp}}{\mathcal{F}}\) need not be.

Let \(X\in {\mathsf{Top}}, A\in {\mathsf{Ab}}{\mathsf{Grp}}, p\in X\) and define the skyscraper sheaf as \begin{align*} \iota_p(A)(U) \mathrel{\vcenter{:}}= \begin{cases} A & p\in U \\ 0 & \text{else}. \end{cases} .\end{align*} Show that the stalk \(\iota_p(A)_q = A\) when \(q\in { \operatorname{cl}} _X(\left\{{p}\right\})\) and 0 otherwise, and that there is an equality of sheaves \(\iota_p(A) = \iota_*(\underline{A})\) where \(\iota: { \operatorname{cl}} _X(\left\{{p}\right\}) \hookrightarrow X\) is the inclusion.

14.5 II.2

Let \(A\in \mathsf{Ring}\) and \(X\mathrel{\vcenter{:}}=\operatorname{Spec}(A)\), and for \(f\in A\) let \(D(f) \mathrel{\vcenter{:}}= V(\left\langle{f}\right\rangle)^c\). Show that there is an isomorphism of ringed spaces \begin{align*} (D(f), { \left.{{{\mathcal{O}}_X}} \right|_{{D(f)}} }) \xrightarrow{\sim} \operatorname{Spec}(A_f) .\end{align*}

Note that \((X, {\mathcal{O}}_X)\in {\mathsf{Sch}}\) is reduced iff \({\mathcal{O}}_X(U)\) has no nilpotents, and for \(A\in \mathsf{Ring}\) define \(A^{{ \text{red} }}\mathrel{\vcenter{:}}= A/\sqrt{0}\) to be \(A\) modulo its ideal of nilpotents.

  1. Show that \(X\) is reduced iff for every \(p\in X\), the local ring \({\mathcal{O}}_{X, p}\) has no nilpotents.

  2. Let \({\mathcal{O}}_X^{{ \text{red} }}\) be the sheafification of \(U \mapsto {\mathcal{O}}_X(U)^{ \text{red} }\). Show that \(X_{ \text{red} }\mathrel{\vcenter{:}}=(X, {\mathcal{O}}_X^{ \text{red} })\) is a scheme, and there is a morphism of schemes \(X_{ \text{red} }\xrightarrow{{ \text{red} }} X\) which induces a homeomorphism \({\left\lvert {X_{ \text{red} }} \right\rvert}\to {\left\lvert {X} \right\rvert}\) on underlying topological spaces.

  3. Let \(X \xrightarrow{f} Y\in {\mathsf{Sch}}\) with \(X\) reduced. Show that there is a unique morphism \(X \xrightarrow{g} Y_{ \text{red} }\) such that \(f\) is the composition \begin{align*} (X \xrightarrow{f} Y) = (X \xrightarrow{g} Y_{ \text{red} }\xrightarrow{{ \text{red} }} Y ) .\end{align*}

Describe \(\operatorname{Spec}{\mathbb{Z}}\) and show it is terminal in \({\mathsf{Sch}}\), i.e. each \(X\in {\mathsf{Sch}}\) admits a unique morphism \(X\to \operatorname{Spec}{\mathbb{Z}}\).

Let \(X\in {\mathsf{Sch}}\) and for \(x\in X\) let \({\mathcal{O}}_x\) be the local ring at \(x\) and \({\mathfrak{m}}_x\) its maximal ideal. Let \(\kappa(x) \mathrel{\vcenter{:}}={\mathcal{O}}_x/{\mathfrak{m}}_x\) be the residue field at \(x\).

Then for \(k\) any field, show that giving a morphism \(\operatorname{Spec}(k) \to X \in {\mathsf{Sch}}\) is equivalent to giving a point \(x\in X\) and an inclusion \(\kappa(x) \hookrightarrow k\).

\begin{align*} x^2 - y^q = 1 && x^p - y^2 = 1 .\end{align*}

\begin{align*} x^2 - y^q = 1 && x^p - y^2 = 1 .\end{align*}

15 Bibliography