1 Intro, Motivations (Monday, January 10)

Topic: cohomology of sheaves and derived categories. The plan:

References:

Compare (genus \(g\)) Riemann surfaces in the classical topology to (genus \(g\), projective) algebraic curves over \({\mathbb{C}}\) in the Zariski topology. Recall that \begin{align*} H^*(\Sigma_g; {\mathbb{Z}}) = \begin{cases} {\mathbb{Z}}& *=0, 2 \\ {\mathbb{Z}}^{2g} & *=1 \\ 0 & \text{else}. \end{cases} \end{align*} Note that this is a linear invariant in the sense that the constituents are free abelian groups, and we can extract a numerical invariant. For surfaces up to homeomorphism, this distinguishes them completely.

For algebraic curves, note that the topology is very different: the only closed sets are finite. In this topology, \begin{align*} H^*(X; {\mathbb{Z}})= \begin{cases} {\mathbb{Z}}& *=0 \\ 0 & \text{else}, \end{cases} \end{align*} which doesn’t see the genus at all. In fact all such curves are homeomorphic in this topology, witnessed by picking any bijection and noting that it sends closed sets to closed sets. The linear replacement: \(H^*(X; {\mathcal{O}}_X)\) for \({\mathcal{O}}_X\) the structure sheaf, which yields \begin{align*} H^*(X; {\mathcal{O}}_X) = \begin{cases} {\mathbb{C}}& *=0 \\ {\mathbb{C}}^g & *=1 \\ 0 & \text{else}. \end{cases} \end{align*} These surfaces can be parameterized by the moduli space \({ \mathcal{M}_{g} }\), which is dimension \(3g-3\) for \(g \geq 2\).

The POV in classical topology is to fix the coefficients: \({\mathbb{Z}}, {\mathbb{R}}, {\mathbb{C}}, {\mathbb{Z}}/n\), or \(R\) a general ring. A minor variation is to consider a local system \({\mathcal{L}}\), which are locally constant but may have nontrivial monodromy around loops. For example, one might have \({\mathbb{R}}\) locally, but traversing a loop induces an automorphism \(f\in \mathop{\mathrm{Aut}}({\mathbb{R}}) = {\mathbb{R}}^{\times}\). In this setting, we have a functor \(F({-}) = H({-}; R)\). For sheaf cohomology, instead fix \(X\) and take \(G({-}) = H(X; {-})\). In general, one can take sheaves of abelian groups, \({\mathcal{O}}_X{\hbox{-}}\)modules, quasicoherent sheaves, or coherent sheaves: \begin{align*} {\mathsf{Sh}}(X, {\mathsf{Ab}}{\mathsf{Grp}}) \hookrightarrow{\mathsf{{\mathcal{O}}_X}{\hbox{-}}\mathsf{Mod}}\hookrightarrow{\mathsf{QCoh}}(X) \hookrightarrow{\mathsf{Coh}}(X) .\end{align*}

We’ll be looking at three kinds of topologies:

One can define sheaves in all three cases, which have different properties. For posets, e.g. one can take \(C^0({-}, R)\) for \(R = {\mathbb{R}}, {\mathbb{C}}, { {\mathbb{Z}}_p }\).

Some computational tools:

2 Topological Notions (Wednesday, January 12)

Some topological notions to recall:

Recall that a topology \(\tau\) on \(X\) satisfies

Equivalently one can specify the closed sets and require closure under finite unions and arbitrary intersections.

Running examples:

Recall the separation axioms:

Show that points are closed in \(X\) iff \(X\) is \(T_1\).

A space \(X\) is paracompact iff every open cover \({\mathcal{U}}\rightrightarrows X\) admits a locally finite refinement \({\mathcal{V}}\rightrightarrows X\), i.e. any \(x\in X\) is in only finitely many \(V_i\).

Show that any \(S \subseteq {\mathbb{R}}^n\) is paracompact, and indeed any metric space is paracompact.

Let \({\mathcal{U}}\rightrightarrows X \mathrel{\vcenter{:}}={\mathbb{R}}^d\) be an open cover and define a proposed locally open refinement in the following way:

Paracompact spaces admit a POU – for \({\mathcal{U}}\rightrightarrows X\), a collection \(A\) of function \(f_\alpha: X\to {\mathbb{R}}\) where for all \(\alpha \in \mathop{\mathrm{supp}}f_\alpha = { \operatorname{cl}} \qty{\left\{{f\neq 0}\right\}}\), for all \(x\in X\), there exists a \(V\ni x\) such that for only finitely many \(\alpha, { \left.{{f_\alpha}} \right|_{{V}} } \not\equiv 0\), and \(\sum_{\alpha\in A} f_{ \alpha}(x) = 1\).

Recall the order topology: for \((P, \leq )\) a poset, so

Define

Note that this is a free choice!

Show that the order topology is closed under arbitrary unions and intersections of opens.

Show that the order topology is not \(T_1\) by showing \({ \operatorname{cl}} _P\qty{\left\{{x}\right\}} = Z_{\leq}(x) \mathrel{\vcenter{:}}=\left\{{y\in P{~\mathrel{\Big\vert}~}y\leq x}\right\}\).

For \(k\) an infinite field, \({\mathbb{A}}^1_{/ {k}}\) is the cofinite topology and thus not Hausdorff.

3 Friday, January 14

3.1 Posets, Zariski Topologies

Recall the definition of a poset.

Given a polytope, one can take its face poset \(\mathrm{FP} (P) = \left\{{F \leq P}\right\}\) where \(F_1 \leq F_2\) iff \(F_1 \subseteq F_2\) for the faces \(F_i\). More generally, one can take a complex of polytopes, i.e. a collection of polytopes that only intersect at faces. An example of a complex is the fan of a toric variety.

Similarly, one can take cones \(\sum c_i \mathbf{v}_i \subseteq {\mathbb{R}}^d\) for some positive coefficients.

Conversely, given a poset \(I\), one can associate a simplicial complex \({ {\left\lvert {I} \right\rvert} }\), the geometric realization. Any chain \(i_{n_1} < \cdots i_{n_k}\) is sent to a face and glued.

Consider a polytope \(P\), taking the face poset \(\mathrm{FP} (P)\), and its geometric realization \({ {\left\lvert { \mathrm{FP} (P)} \right\rvert} }\). A square has

Note that one can take the geometric realization of a category by using the nerve to first produce a poset.

With the right choices, there exists a continuous map \({ {\left\lvert {I} \right\rvert} } \to I\) where \(I\) is given the order topology. Pulling back sheaves on the latter yields constructible sheaves on convex objects, which are locally constant on the interior components.

A first version of the Zariski topology: let \(k = \mkern 1.5mu\overline{\mkern-1.5muk\mkern-1.5mu}\mkern 1.5mu \in \mathsf{Field}\) and let \(R\in{\mathsf{Alg}}^{\mathrm{fg}}_{/ {k}}\) be of the form \(R = k[x_1, \cdots, x_{n}]/\left\langle{f_a}\right\rangle\). We can consider \(X\mathrel{\vcenter{:}}=\operatorname{mSpec}R \subseteq {\mathbb{A}}^n_{/ {k}}\) as the points \(\mathbf{x}\in k{ {}^{ \scriptscriptstyle\times^{n} } }\) such that \(f_a(\mathbf{x}) = 0\). Recall Noether’s theorem – the \(f_a\) can be replaced with a finite collection. The closed subsets are of the form \(V(g_b)\). Note that this is \(T_1\) since points are closed: given \(\mathbf{p} = {\left[ {p_0,\cdots, p_n} \right]}\), take \(f(\mathbf{p}) = \prod_{i\leq n} (x-p_i)\) so that \(V(f) = \left\{{\mathbf{p}}\right\}\). These points biject with maximal ideals in \(R\).

An improved version of the Zariski topology: \(X = \operatorname{Spec}R\), including prime ideals. The points are as before, and additionally for every irreducible subvariety \(Z \subseteq X\), there is a generic point \(\eta_Z\). This adds new points which can’t be described in coordinates.

Note that this generalizes to arbitrary (associative, commutative) rings. For rings that aren’t finitely generated, one loses the coordinate interpretation. These generally won’t embed into \({\mathbb{A}}^n_{/ {k}}\) for any \(n\), but can be embedded into (say) \({\mathbb{A}}^1_{/ {R}}\). Use that a closed embedding \(X\hookrightarrow Y\) corresponds precisely to a surjection of associated rings \(R_Y \twoheadrightarrow R_X\).

3.2 Sheaves

Let \(U \subseteq \Omega \subseteq {\mathbb{C}}\) and consider \(C^0(\Omega, {\mathbb{C}}) \mathrel{\vcenter{:}}=\mathop{\mathrm{Hom}}_{\mathsf{Top}}(\Omega, {\mathbb{C}})\) – this forms a sheaf of abelian groups, \({\mathbb{C}}{\hbox{-}}\)algebras, rings, sets, etc.

We’ll refer to this as \({\mathcal{O}}^\text{cts}_X\).

Some properties:

Other examples of sheaves:

4 Wednesday, January 19

Some examples of sheaves:

Recall the sheaf properties:

Recall that a basis of a topology is a collection \(B_i\) where every \(U \in \tau_X\) can be written as \(\displaystyle\bigcup_{i\in I} B_i\) for some index set \(I = I(X)\). Some examples:

Formulate the sheaf condition with a basis instead of arbitrary opens.

Hint: keep all of the same conditions, but since intersections may not be basic opens, write \(B_\alpha \cap B_\beta = \cup_k B_k\).

Some upcoming standard notions:

A less standard topic:

Recall that \begin{align*} F_x = \colim_{U\ni x} F(U) = \left\{{(U, s\in F(U))}\right\} / \sim && (U, s) \sim (V, t) \iff \exists W \supseteq U, V,\, \mathop{\mathrm{Res}}_{U, W}s = \mathop{\mathrm{Res}}_{V, W} t .\end{align*}

Example: \({\mathcal{O}}_{X, p}^{\mathrm{an}}= \left\{{f(z) \mathrel{\vcenter{:}}=\sum c_k (z-p)^k {~\mathrel{\Big\vert}~}f\text{ has a positive radius of convergence} }\right\}\). Note that \({\mathcal{O}}_{X, p}^\text{cts}\) doesn’t have such a nice description, since continuous functions can be distinct while agreeing on a small neighborhood. Similarly, \(\underline{{\mathbb{C}}}_p = {\mathbb{C}}\), since locally constant is actually constant on a small enough neighborhood.

Recall that morphisms of (pre)sheaves are natural transformations of functors. There is a forgetful functor \(\mathop{\mathrm{Forget}}: {\mathsf{Sh}}(X) \to \underset{ \mathsf{pre} } {\mathsf{Sh} }(X)\), which has a left adjoint \(({-})^+: \underset{ \mathsf{pre} } {\mathsf{Sh} }(X) \to {\mathsf{Sh}}(X)\). There is a description of \(F^+(U)\) as collections of local compatible sections of \(F\) modulo equivalence – compatibility here means that if \({\mathcal{U}}\rightrightarrows X\), then writing \(U_{ij} = \cup V_k\) we have \(\mathop{\mathrm{Res}}_{X, V_k}s_i = \mathop{\mathrm{Res}}_{X, V_k}s_j\) for all \(i, j\).

5 Friday, January 21

Last time: definitions of presheaves and sheaves. There is an adjunction \begin{align*} \adjunction{({-})^+}{\mathop{\mathrm{Forget}}}{ \underset{ \mathsf{pre} } {\mathsf{Sh} }(X)}{{\mathsf{Sh}}(X)} .\end{align*}

Recall that constant sheaves for \(A\in \mathsf{D}\) are defined as \(\underline{A}({-}) \mathrel{\vcenter{:}}=\mathop{\mathrm{Hom}}_{\mathsf{Top}}({-}, A)\) where \(A\) is equipped with the discrete topology.

What is \(\Gamma(\underline{A}, X)\) for \(X\mathrel{\vcenter{:}}=\left\{{1/n}\right\}_{n\in {\mathbb{Z}}_{\geq 0}} \subseteq {\mathbb{R}}\)? So \(A(U) \neq A^{{\sharp}\pi_0 U}\) in general, since there may not be a notion of connected components for an arbitrary topological space.

Is it true that for any \(X\in {\mathsf{Top}}\) there is a unique decomposition \(X = {\textstyle\coprod}_{i\in I} U_i\) into connected components?

Hint: form a poset of such decompositions ordered by refinement and apply Zorn’s lemma.

Consider the following poset with a prescribed topology, and applying some functor \(F\):

For this to be a sheaf, this forces

What are the stalks?

Consider now a poset in the order topology:

Now \(F\) is a sheaf iff \(F_{124}\cong F_1 { \underset{\scriptscriptstyle {F_4} }{\times} }F_2\) is the fiber product.

A map \(\pi: Y\to X \in {\mathsf{Top}}\) is a sheaf space if it is a local homeomorphism, so every \(y\in Y\) admits a neighborhood \(U_y\ni y\) where \({ \left.{{\pi}} \right|_{{U_y}} }: U_y\to \pi(U_y)\) is a homeomorphism onto its image.

Some examples:

One possibility: “jumping.” Take \(Y \mathrel{\vcenter{:}}= X\displaystyle\coprod_{X\setminus\left\{{0}\right\}} X\) for \(X\subseteq {\mathbb{R}}\), which is a version of the line with two zeros. Then \(Y\to X\) is a sheaf space, since it is a local homeomorphism.

The other possibility is “skipping”:

These two definitions of sheaf coincide: for new to old, given \(Y \xrightarrow{\pi} X\) apply \(\mathrm{ContSec}_\pi \subseteq \mathop{\mathrm{Hom}}_{\mathsf{Top}}(X, Y)\). In the other direction, define \(Y\mathrel{\vcenter{:}}=\displaystyle\coprod_{x\in X} F_x\) and prove it is a local homeomorphism.

Next time: direct/inverse image, shriek functors, sheaves of modules.

6 Monday, January 24

Recall the definitions of presheaves and sheaves, and sheafification as an adjoint to \(\mathop{\mathrm{Forget}}: {\mathsf{Sh}}(X)\to \underset{ \mathsf{pre} } {\mathsf{Sh} }(X)\). For \(F\in \underset{ \mathsf{pre} } {\mathsf{Sh} }(X)\) we concretely construct its sheafification \(F^+\) using the sheaf space \(\pi: Y\mathrel{\vcenter{:}}=\displaystyle\coprod_{x\in X} F_x \to X\).

What are the sections of \(\pi\)? For a basic open \(U \subseteq X \ni x\), the fiber is \(\pi^{-1}(x) = F_x \mathrel{\vcenter{:}}=\colim_{V\ni x} F(V)\), which receives a map \(\mathop{\mathrm{Res}}_{U, x}: F(U) \to F_x\). Writing \(s\in F(U)\), define \(s_x \mathrel{\vcenter{:}}=\mathop{\mathrm{Res}}_{U, x}(s)\), and set \(W_{s, U} \mathrel{\vcenter{:}}=\left\{{s_x {~\mathrel{\Big\vert}~}x\in U}\right\}\) to be \(\pi^{-1}(U)\). Then define \(F^+\) to be the continuous sections of \(Y \xrightarrow{\pi} X\). What does such a section look like? For \(t:U\to \pi^{-1}(U)\) and \(x\in U\), the vertical fiber is \(F_x\). For a basic open \(V\ni X\) in the base, there is a basic open \(W_{s, V}\) in \(Y\) for \(s\in F(V)\):

There are maps \(s_{ij}: U_{ij}\to \pi^{-1}(U_{ij})\), but note that \(\mathop{\mathrm{Res}}(U_i, U_{ij}) s_i\) does not necessarily equal \(\mathop{\mathrm{Res}}(U_j,U_{ij}) s_j\) in \(F(U_{ij})\) – instead, there is an open cover \(U_{ij} = \displaystyle\bigcup V_{\alpha}\) with \(\mathop{\mathrm{Res}}(U_i, V_\alpha) s_i = \mathop{\mathrm{Res}}(U_j, V_\alpha) s_j\) for each \(\alpha\).

Todo

For \(f\in {\mathsf{Top}}(X, Y)\) we have the following constructions:

Recall the definition of a morphism of sheaves as a natural transformation.

For sheaves of abelian groups and \(\phi: F\to G\) a morphism of sheaves, there are notions of \(\ker \phi, \operatorname{coker}\phi, \operatorname{im}\phi\), and extension of a sheaf by zero.

To show these exist as presheaves, one only has to show existence of the following blue morphisms of abelian groups:

Link to Diagram

Write \((\operatorname{coker}\phi)^-\) and \((\operatorname{im}\phi)^-\) for these presheaves.

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

Axiom 1: use that \(F\) is a sheaf and \(\ker \phi_U \subseteq F(U)\) can be viewed as an inclusion. Axiom 2: write \(s_i\in \ker \qty{F(U_i) \xrightarrow{\phi_{U_i}} F(U_j) }\), then there exists a unique \(s\in F(U)\). Then check that \(s\in \ker\qty{F(U) \to G(U)}\) by noting that if \(s\mapsto t\) then \({ \left.{{t}} \right|_{{U_i}} } = 0\) for all \(i\), making \(t\equiv 0\) by the sheaf property of \(G\).

Define \begin{align*} \operatorname{coker}\phi &\mathrel{\vcenter{:}}=( (\operatorname{coker}\phi)^-)^+ \\ \operatorname{im}\phi &\mathrel{\vcenter{:}}=( (\operatorname{im}\phi)^-)^+ .\end{align*}

Take \(X = {\mathbb{C}}\) and consider \(\exp: \mathop{\mathrm{Hol}}(X) \to G\) the sheaf of nowhere zero holomorphic functions. Then on \(U_i \in {\mathbb{C}}\setminus\left\{{0}\right\}\), take \(z\in G\). Then \(z = \exp(f_i)\) in each \(U_i\) with \(f_i \in \mathop{\mathrm{Hol}}(X)\), so \(f_i = \log(z)\) locally and \(z = \exp(\log z)\), but there is no global \(f\in \mathop{\mathrm{Hol}}(X)\) with \(\exp(f) = z\). So \(z\in \ker \phi_i(\mathop{\mathrm{Hol}}(U_i) \to G(U_i))\) but \(z\not \in \ker \exp\). For the same reason, \(z = 0\) in \(\operatorname{coker}\phi_i\) since it’s locally in the image. but \(z\neq 0 \in \operatorname{coker}\exp\) since it’s not globally in the image.

7 Wednesday, January 26

Recall last time: presheaf vs sheaf properties, images, kernel, cokernel. We can state the uniqueness sheaf axiom as the following: if \(s\in F(U)\) with \({ \left.{{s}} \right|_{{U_i}} } = 0\) for \({\mathcal{U}}\rightrightarrows U\), then \(s = 0\) in \(F(U)\).

The presheaf image and cokernel can sometimes fail to be a sheaf: use \(\mathop{\mathrm{Hol}}(X) \xrightarrow{\exp} \mathop{\mathrm{Hol}}(X)^{\times}\). The kernel presheaf \((\ker \phi)^-\) is already a sheaf.

Show the following:

Hints:

If there exists an injective morphism \(\phi:{\mathcal{F}}\to {\mathcal{G}}\), we regard \({\mathcal{F}}\leq {\mathcal{G}}\) as a subsheaf and define the quotient sheaf \({\mathcal{F}}/{\mathcal{G}}\mathrel{\vcenter{:}}=\operatorname{coker}({\mathcal{F}}\xrightarrow{\phi} {\mathcal{G}})\).

Show by example that \(({\mathcal{F}}/{\mathcal{G}})^-\) need not be a sheaf.

Note that for \(\phi: {\mathcal{F}}\to {\mathcal{G}}\), the image \(\operatorname{im}\phi\) is a secondary notion in additive categories, and can instead be defined as either

These need not coincide in general.

Defining the direct image: easier using the sheaf axioms. For \(f\in {\mathsf{Top}}(X, Y)\), define \(f_*: {\mathsf{Sh}}(X) \to {\mathsf{Sh}}(Y)\) by \begin{align*} f_* {\mathcal{F}}(U) \mathrel{\vcenter{:}}={\mathcal{F}}(f^{-1}(U)), \qquad \in {\mathsf{Sh}}(Y) \text{ for } {\mathcal{F}}\in {\mathsf{Sh}}(X) .\end{align*}

For the preimage: easier to use the espace étalé. As a special case, consider \(\iota: S \hookrightarrow Y\) where \(S\) is a subspace of \(Y\) (with the subspace topology). Then for \({\mathcal{F}}\in {\mathsf{Sh}}(Y)\), we can now define sections not only on open subsets \(U\) but arbitrary subsets \(S\) as \begin{align*} {\mathcal{F}}(S) \mathrel{\vcenter{:}}=(\iota^{-1}{\mathcal{F}})(S) .\end{align*}

8 Friday, January 28

Last time:

For \(X\in {\mathsf{Alg}}{\mathsf{Var}}_{/ {k}}\) for \(k= { \mkern 1.5mu\overline{\mkern-1.5muk\mkern-1.5mu}\mkern 1.5mu }\), let \({\mathcal{O}}_X\) be its regular algebraic functions. Take \(X = {\mathbb{P}}^1\) and \(U \mathrel{\vcenter{:}}={\mathbb{A}}^1\setminus\left\{{{\operatorname{pt}}}\right\} \subseteq {\mathbb{A}}^1 \subseteq {\mathbb{P}}^1\setminus\left\{{a_1,\cdots, a_k}\right\}\). Then \({\mathcal{O}}_X(U) = k[x] \left[ { \scriptstyle { {f}^{-1}} } \right]\) for \(f(x) \mathrel{\vcenter{:}}=\prod (x-a_k)\), \({\mathcal{O}}_X(X) = k\), \(K_X(U) = k(x)\), and \(K_X^{\times}(U) = k(x)\setminus\left\{{0}\right\}\) if \(U \neq \emptyset\). Define Cartier divisors as global sections of the sheaf \(\mathop{\mathrm{Cart}}\operatorname{Div}\mathrel{\vcenter{:}}= K_X^{\times}/{\mathcal{O}}_X^{\times}\). Recall that Weil divisors are finite sums of codimension 1 subvarieties, and these notions coincide for nonsingular varieties.

For \(p\in {\mathbb{A}}^1 \subseteq {\mathbb{P}}^1\), we have \begin{align*} (K_X^{\times}/{\mathcal{O}}_X^{\times})_p = {K_{X, p} \over {\mathcal{O}}_{X, p}} = {k(x) \over \left\{{f/g {~\mathrel{\Big\vert}~}f(p)\neq 0 , g(p) \neq 0}\right\}} \cong {\mathbb{Z}} ,\end{align*} using that any element in the quotient can be written as \(h(x) = (x-p)^n g(x)\) for some \(g\in {\mathcal{O}}_{X, p}^{\times}\). Here \(\mathop{\mathrm{Cart}}\operatorname{Div}(X) = \sum n_p P\) are all finite sums with \(n_p\in {\mathbb{Z}}\). The claim is that sheaf existence fails for this quotient – there are local sections that do not glue. Here

For any \(s\) in the quotient, we can associated \((s)_0 - (s)_\infty = \sum n_p P\), but not every Cartier divisor is of this form – these are the principal divisors. This form a group \({\operatorname{Pic}}(X) = \mathop{\mathrm{Cart}}\operatorname{Div}(X) / \mathop{\mathrm{Prin}}\mathop{\mathrm{Cart}}\operatorname{Div}(X)\), which may not be trivial. This proof generalizes to locally Noetherian schemes, not necessarily reducible, with no embedded components.

Note that \({\operatorname{Pic}}(X)\) is also the group of invertible sheaves on \(X\), and for irreducible algebraic varieties these coincide. Use the SES \(0\to {\mathcal{O}}^{\times}\to K^{\times}\to K^{\times}/{\mathcal{O}}^{\times}\to 0\) to obtain \begin{align*} 1 \to H^0({\mathcal{O}}^{\times}) \to H^0(K^{\times}) \to \mathop{\mathrm{Prin}}\mathop{\mathrm{Cart}}\operatorname{Div}(X) \to H^1({\mathcal{O}}^{\times})\cong \text{invertible sheaves}/\sim \to 0, ,\end{align*} where \(H^1(K^{\times})\) vanishes since it’s a constant sheaf on an irreducible scheme in the Zariski topology.

\((\operatorname{im}\phi)^-\) satisfies existence \(\iff (\operatorname{coker}\phi)^-\) satisfies uniqueness.

\(\implies\): Let \(s\in \operatorname{coker}(F(U) \to G(U))\) and write \(U = \cup U_i\). We want to show that \(s_{U_i}\) implies \(s\in \operatorname{coker}(F(U_i) \to G(U_i))\) for all \(i\). Note that \(s = 0\) in \(\operatorname{coker}(F(U) \to G(U))\) iff \(s\in \operatorname{im}(F(U) \to G(U))\)

9 Monday, January 31

Direct image sheaf: for \({\mathcal{F}}\in {\mathsf{Sh}}(X), {\mathcal{G}}\in {\mathsf{Sh}}(Y), f\in {\mathsf{Top}}(X, Y)\), the \(f_* \in [{\mathsf{Sh}}(X), {\mathsf{Sh}}(Y)]\) is defined by \(f_* {\mathcal{F}}(U) \mathrel{\vcenter{:}}={\mathcal{F}}(f^{-1}U)\). The inverse image functor \(f^{-1}\in [{\mathsf{Sh}}(Y), {\mathsf{Sh}}(X)]\) is slightly more complicated. An easy case: if \(\iota: S \hookrightarrow Y\) is a subspace, then it is just restriction: \((\iota^{-1}G)(S) \mathrel{\vcenter{:}}= G(S)\).

Idea for sheaf space: there are strictly horizontal neighborhoods as the homeomorphic preimages of small opens in the base. So for \(\text{Ét}_{{\mathcal{G}}} \xrightarrow{\pi} Y\) the sheaf space of \({\mathcal{G}}\), define the inverse image as \begin{align*} \text{Ét}_{\iota^{-1}{\mathcal{G}}} \mathrel{\vcenter{:}}=\pi^{-1}(S) \subseteq \text{Ét}_{{\mathcal{G}}} ,\end{align*} and define a basis of sections in the following way: for \(s\in {\mathcal{G}}(U)\), set \(t(U) \mathrel{\vcenter{:}}= s(U) \cap\pi^{-1}(S) \in \text{Ét}_{{\mathcal{G}}}\) to be sections of \(\text{Ét}_{\iota^{-1}{\mathcal{G}}}\). Declare these to be a basis of opens, i.e. take the subspace topology for \(\pi^{-1}(S) \subseteq \text{Ét}_{{\mathcal{G}}}\) in the sheaf topology on the total space. More generally, for \(f\in {\mathsf{Top}}(X, Y)\), set \begin{align*} \text{Ét}_{f^{-1}{\mathcal{G}}} \mathrel{\vcenter{:}}=\text{Ét}_{\mathcal{G}}{ \underset{\scriptscriptstyle {Y} }{\times} } X .\end{align*}

The fibers are identical:

Link to Diagram

The topology on \(\text{Ét}_{f^{-1}{\mathcal{G}}}\) is the coarsest topology for which \(\pi^*\) and \(f^*\) are continuous. This is generated by \(\qty{ f^{-1}(s)(f^{-1}U)} \cap(\pi^*)^{-1}(W)\) for \(W \subseteq X\) open. Define \(f^{-1}(s) \in f^{-1}{\mathcal{G}}(f^{-1}(U)) \mathrel{\vcenter{:}}=(f^{-1}U){ \underset{\scriptscriptstyle {U} }{\times} } s(U)\). This makes the pullback continuous both vertically and horizontally.

\begin{align*} (f^{-1}{\mathcal{G}})_y = {\mathcal{G}}_{f(y)} .\end{align*}

\begin{align*} f^{-1}{\mathcal{G}}\mathrel{\vcenter{:}}=\qty{V\mapsto \colim_{U, V \subseteq f^{-1}(U)} {\mathcal{G}}(U)}^+ .\end{align*}

How to prove this coincides with the previous definition:

Try to prove this by commuting limits.

Recall that \(K^{\times}/{\mathcal{O}}^{\times}\cong \bigoplus _{x\in X} (\iota_*)_* \iota_*^{-1}\underline{{\mathbb{Z}}}\) which had stalks \({\mathbb{Z}}\) but was not constant – check that the local sections differ.

For \(S\hookrightarrow Y\), does every section of \({\mathcal{G}}\) over \(S\) extend to \(Y\)?

10 Wednesday, February 02

Extending by zero: for \(i: U \hookrightarrow X\) an open subspace and \({\mathcal{F}}\in {\mathsf{Sh}}(U)\), define \(i_!{\mathcal{F}}\in {\mathsf{Sh}}(X)\). If the target category has a zero object, define this in the sheaf space by extending the zero section: