Let $X$ be a scheme and $U$ an open subset of $X$. Let $s \in \Gamma(U, O_X)$ and $x \in U$.
I am getting confused with what the difference is between
$s_x$ and $s(x)$... Are they the same thing?
2026-03-26 03:12:49.1774494769
On
basic notion about schemes.. what is the difference between $s(x)$ and $s_x$ for $s \in \Gamma(U, O_X)$
55 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
There are 2 best solutions below
0
On
$s_x$ is the image of $s$ in the stalk $\mathcal{O}_{X,x}$, so $s_x\in \mathcal{O}_{X,x}$, while $s(x)$ is the value of $s$ in the residue field at $x$. That is, the image of $x$ under the composition $\mathcal{O}_{X}\to \mathcal{O}_{X,x}\to \kappa(x)$, where $\kappa(x)=\mathcal{O}_{X,x}/\mathfrak{m}_x$.
It is standard to write $s_x$ for the image of $s$ in the stalk $\mathscr{O}_{X,x}$ of $X$ at $x$, and I think it is more or less standard to write $s(x)$ for the image of $s$ in the residue field $k(x)=\mathscr{O}_{X,x}/\mathfrak{m}_x$ of $\mathscr{O}_{X,x}$.