Skip to main content
9 events
when toggle format what by license comment
S Mar 17, 2020 at 23:21 history suggested RobPratt
Added a tag
Mar 17, 2020 at 22:54 review Suggested edits
S Mar 17, 2020 at 23:21
Mar 17, 2020 at 22:43 answer added Johan timeline score: 4
Mar 17, 2020 at 11:01 comment added A.G It was obvious. Sorry, and thank you.
Mar 17, 2020 at 10:48 comment added Piotr Achinger Let $(A_i)$ be an infinite sequence of rings such that $(\prod A_i)_{\rm pf} \neq \prod (A_i)_{\rm pf}$, and let $X$ be the disjoint union of $U_i = \operatorname{Spec} A_i$. Note that $X$ is not affine since it is not quasi-compact. Still, $\Gamma(X, \mathcal{O}_X) = \prod A_i$, so $\Gamma(X, \mathcal{O}_X)_{\rm pf} = (\prod A_i)_{\rm pf}$. Consider sheaf condition the covering of $X$ by $U_i$, it simply says $\mathcal{F}(X) = \prod \mathcal{F}(U_i)$, which is not true for your presheaf.
Mar 17, 2020 at 10:32 comment added A.G @Piotr Achinger Why that example shows that it is not a sheaf? Is it something easy that I have to think more? (sorry if it is).
Mar 16, 2020 at 20:51 comment added Piotr Achinger I think YCor's example in the linked question shows that this is not quite a sheaf unless you disallow infinite coverings. However, if you sheafify your presheaf, then it will still be true for affine (or quasi-compact) $U$ that sections over $U$ of that sheaf will equal $\Gamma(U, \mathcal{O}_X)_{\rm pf}$.
Mar 16, 2020 at 19:38 history edited A.G CC BY-SA 4.0
added 26 characters in body
Mar 16, 2020 at 19:25 history asked A.G CC BY-SA 4.0