josia-notes/s21-algebra-1
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

replace \cG

Browse Source
This commit is contained in:
Maximilian Keßler 2022-02-16 02:07:38 +01:00
parent 6423c3c08e
commit d2b155bf73
1 changed files with 21 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
2021_Algebra_I.tex
View File

@ -2285,16 +2285,16 @@ If $P_e $ with $e < d$ was $\neq 0$, it could not be a multiple of $P$ contradic
\begin{definition}[Sheaf]
Let $X$ be any topological space.
A \vocab{presheaf} $\cG$ of sets (or rings, (abelian) groups) on $X$ associates a set (or rings, or (abelian) group) $\cG(U)$ to every open subset $U$ of $X$, and a map (or ring or group homomorphism) $\cG(U) \xrightarrow{r_{U,V}} \cG(V)$ to every inclusion $V \subseteq U$ of open subsets of $X$ such that $r_{U,W} = r_{V,W} r_{U,V}$ for inclusions $U \subseteq V \subseteq W$ of open subsets.
A \vocab{presheaf} $\mathcal{G}$ of sets (or rings, (abelian) groups) on $X$ associates a set (or rings, or (abelian) group) $\mathcal{G}(U)$ to every open subset $U$ of $X$, and a map (or ring or group homomorphism) $\mathcal{G}(U) \xrightarrow{r_{U,V}} \mathcal{G}(V)$ to every inclusion $V \subseteq U$ of open subsets of $X$ such that $r_{U,W} = r_{V,W} r_{U,V}$ for inclusions $U \subseteq V \subseteq W$ of open subsets.
Elements of $\cG(U)$ are often called \vocab{sections} of $\cG$ on $U$ or \vocab{global sections} when $U = X$.
Elements of $\mathcal{G}(U)$ are often called \vocab{sections} of $\mathcal{G}$ on $U$ or \vocab{global sections} when $U = X$.
Let $U \subseteq X$ be open and $U = \bigcup_{i \in I} U_i$ an open covering.
A family $(f_i)_{i \in I} \in \prod_{i \in I} \cG(U_i)$ is called \vocab[Sections!compatible]{compatible} if $r_{U_i, U_i \cap U_j}(f_i) = r_{U_j, U_i \cap U_j}(f_j)$ for all $i,j \in I$.
A family $(f_i)_{i \in I} \in \prod_{i \in I} \mathcal{G}(U_i)$ is called \vocab[Sections!compatible]{compatible} if $r_{U_i, U_i \cap U_j}(f_i) = r_{U_j, U_i \cap U_j}(f_j)$ for all $i,j \in I$.
Consider the map
\begin{align}
\phi_{U, (U_i)_{i \in I}}: \cG(U) &\longrightarrow \{(f_i)_{i \in I} \in \prod_{i \in I} \cG(U_i) | r_{U_i, U_i \cap U_j}(f_i) = r_{U_j, U_i \cap U_j}(f_j) \text{ for } i,j \in I \} \\
\phi_{U, (U_i)_{i \in I}}: \mathcal{G}(U) &\longrightarrow \{(f_i)_{i \in I} \in \prod_{i \in I} \mathcal{G}(U_i) | r_{U_i, U_i \cap U_j}(f_i) = r_{U_j, U_i \cap U_j}(f_j) \text{ for } i,j \in I \} \\
f &\longmapsto (r_{U, U_i}( f))_{i \in I}
\end{align}
@ -2306,13 +2306,13 @@ If $P_e $ with $e < d$ was $\neq 0$, it could not be a multiple of $P$ contradic
The bijectivity of the $\phi_{U, (U_i)_{i \in I}}$ is called the \vocab{sheaf axiom}.
\end{definition}
\begin{dtrivial}
A presheaf is a contravariant functor $\cG : \mathcal{O}(X) \to C$ where $\mathcal{O}(X)$ denotes the category of open subsets of $X$ with inclusions as morphisms and $C$ is the category of sets, rings or (abelian) groups.
A presheaf is a contravariant functor $\mathcal{G} : \mathcal{O}(X) \to C$ where $\mathcal{O}(X)$ denotes the category of open subsets of $X$ with inclusions as morphisms and $C$ is the category of sets, rings or (abelian) groups.
\end{dtrivial}
\begin{definition}
A subsheaf $\cG'$ is defined by subsets (resp. subrings or subgroups) $\cG'(U) \subseteq \cG(U)$ for all open $U \subseteq X$ such that the sheaf axioms still hold.
A subsheaf $\mathcal{G}'$ is defined by subsets (resp. subrings or subgroups) $\mathcal{G}'(U) \subseteq \mathcal{G}(U)$ for all open $U \subseteq X$ such that the sheaf axioms still hold.
\end{definition}
\begin{remark}
If $\cG$ is a sheaf on $X$ and $\Omega \subseteq X$ open, then $\cG\defon{\Omega}(U) \coloneqq \cG(U)$ for open $U \subseteq \Omega$ and $r_{U,V}^{(\cG\defon{\Omega})}(f) \coloneqq r_{U,V}^{(\cG)}(f)$ is a sheaf of the same kind as $\cG$ on $\Omega$.
If $\mathcal{G}$ is a sheaf on $X$ and $\Omega \subseteq X$ open, then $\mathcal{G}\defon{\Omega}(U) \coloneqq \mathcal{G}(U)$ for open $U \subseteq \Omega$ and $r_{U,V}^{(\mathcal{G}\defon{\Omega})}(f) \coloneqq r_{U,V}^{(\mathcal{G})}(f)$ is a sheaf of the same kind as $\mathcal{G}$ on $\Omega$.
\end{remark}
\begin{remark}
The notion of restriction of a sheaf to a closed subset, or of preimages under general continuous maps, can be defined but this is a bit harder.
@ -2321,7 +2321,7 @@ If $P_e $ with $e < d$ was $\neq 0$, it could not be a multiple of $P$ contradic
It is often convenient to write $f \defon{V}$ instead of $r_{U,V}(f)$.
\end{notation}
\begin{remark}
Applying the \vocab{sheaf axiom} to the empty covering of $U = \emptyset$, one finds that $\cG(\emptyset) = \{0\} $.
Applying the \vocab{sheaf axiom} to the empty covering of $U = \emptyset$, one finds that $\mathcal{G}(\emptyset) = \{0\} $.
\end{remark}
@ -2335,7 +2335,7 @@ If $P_e $ with $e < d$ was $\neq 0$, it could not be a multiple of $P$ contradic
Similarly, a ring structure on $G$ can be used to define the structure of a sheaf of rings on $\fG$.
\end{example}
\begin{example}
If in the previous example $G$ carries a topology and $\cG(U) \subseteq \fG(U)$ is the subset (subring, subgroup) of continuous functions $U \xrightarrow{f} G$, then $\cG$ is a subsheaf of $\fG$, called the sheaf of continuous $G$-valued functions on (open subsets of) $X$.
If in the previous example $G$ carries a topology and $\mathcal{G}(U) \subseteq \fG(U)$ is the subset (subring, subgroup) of continuous functions $U \xrightarrow{f} G$, then $\mathcal{G}$ is a subsheaf of $\fG$, called the sheaf of continuous $G$-valued functions on (open subsets of) $X$.
\end{example}
\begin{example}
@ -2701,44 +2701,44 @@ If $X$ is a set, then $\cB \subseteq \mathcal{P}(X)$ is a base for some topology
\subsection{Stalks of sheaves}
\begin{definition}[Stalk]
Let $\cG$ be a presheaf of sets on the topological space $X$, and let $x \in X$.
The \vocab{stalk} (\vocab[Stalk]{Halm}) of $\cG$ at $x$ is the set of equivalence classes of pairs $(U, \gamma)$, where $U$ is an open neighbourhood of $x$ and $\gamma \in \cG(U)$
Let $\mathcal{G}$ be a presheaf of sets on the topological space $X$, and let $x \in X$.
The \vocab{stalk} (\vocab[Stalk]{Halm}) of $\mathcal{G}$ at $x$ is the set of equivalence classes of pairs $(U, \gamma)$, where $U$ is an open neighbourhood of $x$ and $\gamma \in \mathcal{G}(U)$
and the equivalence relation $\sim $ is defined as follows:
$( U , \gamma) \sim (V, \delta)$ iff there exists an open neighbourhood $W \subseteq U \cap V$ of $x$ such that $\gamma \defon{W} = \delta \defon{W}$.
If $\cG$ is a presheaf of groups, one can define a groups structure on $\cG_x$ by
If $\mathcal{G}$ is a presheaf of groups, one can define a groups structure on $\mathcal{G}_x$ by
\[
((U, \gamma) / \sim ) \cdot \left( (V,\delta) / \sim \right) = (U \cap V, \gamma \defon{U \cap V} \cdot \delta\defon{U \cap V}) / \sim
\]
If $\cG$ is a presheaf of rings, one can similarly define a ring structure on $\cG_x$.
If $\mathcal{G}$ is a presheaf of rings, one can similarly define a ring structure on $\mathcal{G}_x$.
If $U$ is an open neighbourhood of $x \in X$, then we have a map (resp. homomorphism)
\begin{align}
\cdot_x : \cG(U) &\longrightarrow \cG_x \\
\cdot_x : \mathcal{G}(U) &\longrightarrow \mathcal{G}_x \\
\gamma &\longmapsto \gamma_x \coloneqq (U, \gamma) / \sim
\end{align}
\end{definition}
\begin{fact}
Let $\gamma,\delta \in \cG(U)$. If $\cG$ is a sheaf\footnote{or, more generally, a separated presheaf} and if for all $x \in U$, we have $\gamma_x = \delta_x$, then $\gamma = \delta$.
Let $\gamma,\delta \in \mathcal{G}(U)$. If $\mathcal{G}$ is a sheaf\footnote{or, more generally, a separated presheaf} and if for all $x \in U$, we have $\gamma_x = \delta_x$, then $\gamma = \delta$.
In the case of a sheaf, the image of the injective map $\cG(U) \xrightarrow{\gamma \mapsto (\gamma_x)_{x \in U}} \prod_{x \in U} \cG_x$
is the set of all $(g_x)_{x \in U} \in \prod_{x \in U} \cG_x $ satisfying the following \vocab{coherence condition}:
For every $x \in U$, there are an open neighbourhood $W_x \subseteq U$ of $x$ and $g^{(x)} \in \cG(W_x)$ with $g_y^{(x)} = g_y$ for all $y \in W_x$.
In the case of a sheaf, the image of the injective map $\mathcal{G}(U) \xrightarrow{\gamma \mapsto (\gamma_x)_{x \in U}} \prod_{x \in U} \mathcal{G}_x$
is the set of all $(g_x)_{x \in U} \in \prod_{x \in U} \mathcal{G}_x $ satisfying the following \vocab{coherence condition}:
For every $x \in U$, there are an open neighbourhood $W_x \subseteq U$ of $x$ and $g^{(x)} \in \mathcal{G}(W_x)$ with $g_y^{(x)} = g_y$ for all $y \in W_x$.
\end{fact}
\begin{proof}
Because of $\gamma_x = \delta_x$, there is $x \in W_x \subseteq U$ open such that $\gamma\defon{W_x} = \delta\defon{W_x}$. As the $W_x$ cover $U$, $\gamma = \delta$ by the sheaf axiom.
\end{proof}
\begin{definition}
Let $\cG$ be a sheaf of functions.
Let $\mathcal{G}$ be a sheaf of functions.
Then $\gamma_x$ is called the \vocab{germ} of the function $\gamma$ at $x$.
The \vocab[Germ!value at $x$]{value at $x$ } of $g = (U, \gamma) / \sim \in \cG_x$ defined as $g(x) \coloneqq \gamma(x)$, which is independent of the choice of the representative $\gamma$.
The \vocab[Germ!value at $x$]{value at $x$ } of $g = (U, \gamma) / \sim \in \mathcal{G}_x$ defined as $g(x) \coloneqq \gamma(x)$, which is independent of the choice of the representative $\gamma$.
\end{definition}
\begin{remark}
If $\cG$ is a sheaf of $C^{\infty}$-functions (resp. holomorphic functions), then $\cG_x$ is called the ring of germs of $C^\infty$-functions (resp. of holomorphic functions) at $x$.
If $\mathcal{G}$ is a sheaf of $C^{\infty}$-functions (resp. holomorphic functions), then $\mathcal{G}_x$ is called the ring of germs of $C^\infty$-functions (resp. of holomorphic functions) at $x$.
\end{remark}
\subsubsection{The local ring of an affine variety}