·

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

Published at 2024-10-20 19:02:41Viewed 56 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/

0 人喜欢

Comments

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

弦圈热门内容

[antd: Message] You are calling notice in render which will break in React 18 concurrent mode. Please trigger in effect instead.

I'm getting this error when using MessageWarning: [antd: Message] You are calling notice in render which will break in React 18 concurrent mode. Please trigger in effect instead.Here is my code:import { message } from 'antd'; export default function Page() { const [messageApi, contextHolder] = message.useMessage(); const res = await fetch("/api/...", { method: "POST", }); if (!res.ok) { messageApi.error("Error! Fail to login!"); } return ( <Home> ... </Home> ) }

Get connected with us on social networks! Twitter

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