·

What do the local sections of an nilpotent ideal sheaf look like?

Published at 2024-10-20 19:02:41Viewed 31 times
Academic article
·
Note
Please reprint with source link

Question: Let $(X, O_X)$ be a scheme. and $I$ an nilptoent ideal sheaf. i.e. $I^n=0$ for some $n$. Would this imply that each $I(U)$ is an nilpotent ideal of $O_X(U)$?

Answer: Let $I\subseteq \mathcal{O}_X$ be an ideal sheaf, and let $\mathcal{F}$ be the presheaf assigning to each open subset $U$ of $X$ the ideal $I(U)^n\subseteq \mathcal{O}_X(U)$. You say that $I$ is nilpotent of degree $n$ if $\mathcal{F}^\#$ is zero, where $\#$ is used to denote sheafification. But, since $\mathcal{F}$ is a separated presheaf, being a subsheaf of the sheaf $\mathcal{O}_X$, one has that $\mathcal{F}=0$ if and only if $\mathcal{F}^\#=0$ (e.g. see [1, Tag00WB]). Thus, we deduce the following:

Fact: Let $X$ be a scheme and $I$ an ideal sheaf of $\mathcal{O}_X$. Then, the following are equivalent:
1. For all open subsets $U$ the ideal $I(U)^n$ is zero.
2. The sheafification of the presheaf $U\mapsto I(U)^n$ is zero.

[1] Various authors, 2020. Stacks project. https://stacks.math.columbia.edu/

Comments

There is no comment, let's add the first one.

弦圈热门内容

Vertically aligning CSS :before and :after content

I am trying to centre the link with the image, but can't seem to move the content vertically in any way.<h4>More Information</h4> <a href="#" class="pdf">File Name</a>The icon is 22 x 22px.pdf { font-size: 12px; } .pdf:before { padding:0 5px 0 0; content: url(../img/icon/pdf_small.png); } .pdf:after { content: " ( .pdf )"; font-size: 10px; } .pdf:hover:after { color: #000; }

Get connected with us on social networks! Twitter

©2024 Guangzhou Sinephony Technology Co., Ltd All Rights Reserved