Invertible ideal sheaf.
$begingroup$
I am a little bit confused with the idea of an invertible ideal sheaf. I cannot convince myself that there are invertible ideal sheaves on a scheme $X$ non isomorphic to the structure sheaf of $X$. I would like to know where my reasoning fails.
Given an invertible ideal sheaf $mathcal{I} subset mathcal{O}_X$ it comes equipped with the inclusion morphism into the structure sheaf. If the localization $mathcal{I}_x cong mathcal{O}_{X,x}$ how is possible that the inclusion morphism does not induce an isomorphism between stalks?
algebraic-geometry sheaf-theory
asked Dec 19 '16 at 10:26
AbellanAbellan
1,796620
$endgroup$
add a comment |
$begingroup$
I am a little bit confused with the idea of an invertible ideal sheaf. I cannot convince myself that there are invertible ideal sheaves on a scheme $X$ non isomorphic to the structure sheaf of $X$. I would like to know where my reasoning fails.
Given an invertible ideal sheaf $mathcal{I} subset mathcal{O}_X$ it comes equipped with the inclusion morphism into the structure sheaf. If the localization $mathcal{I}_x cong mathcal{O}_{X,x}$ how is possible that the inclusion morphism does not induce an isomorphism between stalks?
algebraic-geometry sheaf-theory
asked Dec 19 '16 at 10:26
AbellanAbellan
1,796620
$endgroup$
1
$begingroup$
The point is that an isomorphism $I_x cong O_{X,x}$ is abstract, it is not induced by the embedding $I to O_X$. In fact, if $I$ is an invertible ideal, the morphism $I_x to O_{X,x}$ induced by the embedding is zero for some points $x in X$.
$endgroup$
– Sasha
Dec 19 '16 at 10:41
$begingroup$
Hi @Sasha, I knew the reason must be that but I couldn't find myself a nice example. Could you add an example as an answer so I can accept it? Thanks for your time :)
$endgroup$
– Abellan
Dec 19 '16 at 10:44
$begingroup$
One moment in the affine case if $I subset A$ is an invertible ideal if we consider some maximal ideal $I subset mathfrak{m}$ then no element of $I_{mathfrak{m}}$ will be mapped to $1 in A_{mathfrak{m}}$ right?
$endgroup$
– Abellan
Dec 19 '16 at 11:06
1
$begingroup$
The simplest example is $I = O(-1)$ on $P^1$, with the embedding $O(-1) to O$ corresponding to a point $x_0 in P^1$. In homogeneous coordinates $(u:v)$ on $P^1$ if $x_0 = (u_0:v_0)$ then this map is given by $v_0 u - u_0 v in Gamma(P^1,O(1)) = Hom(O(-1),O)$. Then the map $I_x to O_{X,x}$ is an isomorphism for $x ne x_0$ and is zero for $x = x_0$.
$endgroup$
– Sasha
Dec 19 '16 at 11:16
add a comment |
$begingroup$
I am a little bit confused with the idea of an invertible ideal sheaf. I cannot convince myself that there are invertible ideal sheaves on a scheme $X$ non isomorphic to the structure sheaf of $X$. I would like to know where my reasoning fails.
Given an invertible ideal sheaf $mathcal{I} subset mathcal{O}_X$ it comes equipped with the inclusion morphism into the structure sheaf. If the localization $mathcal{I}_x cong mathcal{O}_{X,x}$ how is possible that the inclusion morphism does not induce an isomorphism between stalks?
algebraic-geometry sheaf-theory
asked Dec 19 '16 at 10:26
AbellanAbellan
1,796620
$endgroup$
I am a little bit confused with the idea of an invertible ideal sheaf. I cannot convince myself that there are invertible ideal sheaves on a scheme $X$ non isomorphic to the structure sheaf of $X$. I would like to know where my reasoning fails.
Given an invertible ideal sheaf $mathcal{I} subset mathcal{O}_X$ it comes equipped with the inclusion morphism into the structure sheaf. If the localization $mathcal{I}_x cong mathcal{O}_{X,x}$ how is possible that the inclusion morphism does not induce an isomorphism between stalks?
algebraic-geometry sheaf-theory
algebraic-geometry sheaf-theory
asked Dec 19 '16 at 10:26
AbellanAbellan
1,796620
asked Dec 19 '16 at 10:26
AbellanAbellan
1,796620
asked Dec 19 '16 at 10:26
AbellanAbellan
1,796620
asked Dec 19 '16 at 10:26
AbellanAbellan
1,796620
asked Dec 19 '16 at 10:26
AbellanAbellan
1,796620
1,796620
1
$begingroup$
The point is that an isomorphism $I_x cong O_{X,x}$ is abstract, it is not induced by the embedding $I to O_X$. In fact, if $I$ is an invertible ideal, the morphism $I_x to O_{X,x}$ induced by the embedding is zero for some points $x in X$.
$endgroup$
– Sasha
Dec 19 '16 at 10:41
$begingroup$
Hi @Sasha, I knew the reason must be that but I couldn't find myself a nice example. Could you add an example as an answer so I can accept it? Thanks for your time :)
$endgroup$
– Abellan
Dec 19 '16 at 10:44
$begingroup$
One moment in the affine case if $I subset A$ is an invertible ideal if we consider some maximal ideal $I subset mathfrak{m}$ then no element of $I_{mathfrak{m}}$ will be mapped to $1 in A_{mathfrak{m}}$ right?
$endgroup$
– Abellan
Dec 19 '16 at 11:06
1
$begingroup$
The simplest example is $I = O(-1)$ on $P^1$, with the embedding $O(-1) to O$ corresponding to a point $x_0 in P^1$. In homogeneous coordinates $(u:v)$ on $P^1$ if $x_0 = (u_0:v_0)$ then this map is given by $v_0 u - u_0 v in Gamma(P^1,O(1)) = Hom(O(-1),O)$. Then the map $I_x to O_{X,x}$ is an isomorphism for $x ne x_0$ and is zero for $x = x_0$.
$endgroup$
– Sasha
Dec 19 '16 at 11:16
add a comment |
1
$begingroup$
The point is that an isomorphism $I_x cong O_{X,x}$ is abstract, it is not induced by the embedding $I to O_X$. In fact, if $I$ is an invertible ideal, the morphism $I_x to O_{X,x}$ induced by the embedding is zero for some points $x in X$.
$endgroup$
– Sasha
Dec 19 '16 at 10:41
$begingroup$
Hi @Sasha, I knew the reason must be that but I couldn't find myself a nice example. Could you add an example as an answer so I can accept it? Thanks for your time :)
$endgroup$
– Abellan
Dec 19 '16 at 10:44
$begingroup$
One moment in the affine case if $I subset A$ is an invertible ideal if we consider some maximal ideal $I subset mathfrak{m}$ then no element of $I_{mathfrak{m}}$ will be mapped to $1 in A_{mathfrak{m}}$ right?
$endgroup$
– Abellan
Dec 19 '16 at 11:06
1
$begingroup$
The simplest example is $I = O(-1)$ on $P^1$, with the embedding $O(-1) to O$ corresponding to a point $x_0 in P^1$. In homogeneous coordinates $(u:v)$ on $P^1$ if $x_0 = (u_0:v_0)$ then this map is given by $v_0 u - u_0 v in Gamma(P^1,O(1)) = Hom(O(-1),O)$. Then the map $I_x to O_{X,x}$ is an isomorphism for $x ne x_0$ and is zero for $x = x_0$.
$endgroup$
– Sasha
Dec 19 '16 at 11:16
1
1
$begingroup$
The point is that an isomorphism $I_x cong O_{X,x}$ is abstract, it is not induced by the embedding $I to O_X$. In fact, if $I$ is an invertible ideal, the morphism $I_x to O_{X,x}$ induced by the embedding is zero for some points $x in X$.
$endgroup$
– Sasha
Dec 19 '16 at 10:41
$begingroup$
The point is that an isomorphism $I_x cong O_{X,x}$ is abstract, it is not induced by the embedding $I to O_X$. In fact, if $I$ is an invertible ideal, the morphism $I_x to O_{X,x}$ induced by the embedding is zero for some points $x in X$.
$endgroup$
– Sasha
Dec 19 '16 at 10:41
$begingroup$
Hi @Sasha, I knew the reason must be that but I couldn't find myself a nice example. Could you add an example as an answer so I can accept it? Thanks for your time :)
$endgroup$
– Abellan
Dec 19 '16 at 10:44
$begingroup$
Hi @Sasha, I knew the reason must be that but I couldn't find myself a nice example. Could you add an example as an answer so I can accept it? Thanks for your time :)
$endgroup$
– Abellan
Dec 19 '16 at 10:44
$begingroup$
One moment in the affine case if $I subset A$ is an invertible ideal if we consider some maximal ideal $I subset mathfrak{m}$ then no element of $I_{mathfrak{m}}$ will be mapped to $1 in A_{mathfrak{m}}$ right?
$endgroup$
– Abellan
Dec 19 '16 at 11:06
$begingroup$
One moment in the affine case if $I subset A$ is an invertible ideal if we consider some maximal ideal $I subset mathfrak{m}$ then no element of $I_{mathfrak{m}}$ will be mapped to $1 in A_{mathfrak{m}}$ right?
$endgroup$
– Abellan
Dec 19 '16 at 11:06
1
1
$begingroup$
The simplest example is $I = O(-1)$ on $P^1$, with the embedding $O(-1) to O$ corresponding to a point $x_0 in P^1$. In homogeneous coordinates $(u:v)$ on $P^1$ if $x_0 = (u_0:v_0)$ then this map is given by $v_0 u - u_0 v in Gamma(P^1,O(1)) = Hom(O(-1),O)$. Then the map $I_x to O_{X,x}$ is an isomorphism for $x ne x_0$ and is zero for $x = x_0$.
$endgroup$
– Sasha
Dec 19 '16 at 11:16
$begingroup$
The simplest example is $I = O(-1)$ on $P^1$, with the embedding $O(-1) to O$ corresponding to a point $x_0 in P^1$. In homogeneous coordinates $(u:v)$ on $P^1$ if $x_0 = (u_0:v_0)$ then this map is given by $v_0 u - u_0 v in Gamma(P^1,O(1)) = Hom(O(-1),O)$. Then the map $I_x to O_{X,x}$ is an isomorphism for $x ne x_0$ and is zero for $x = x_0$.
$endgroup$
– Sasha
Dec 19 '16 at 11:16
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Consider another example : Let $X=Spec A$ where $A=k[x,y]/y^2=x^3-x$ and $k$ some algebraically closed field. $X$ is a nonsingular elliptic curve, hence $A$ is a Dedekind domain and every prime ideal is maximal. We want to show that every maximal ideal is invertible i.e. $A_p cong m_p$. Let $m$ be the maximal ideal and $p$ any prime ideal. If $m notsubset p$ then $(A-p) cap m neq emptyset$ so $A_p cong m_p$. In case $msubset p$ we have $m =p$ (since every prime ideal is maximal) and $A_m$ is a DVR hence $mA$ is a principal ideal i.e invertible.
answered Jan 6 at 17:14
GregoryEGregoryE
211518
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2064469%2finvertible-ideal-sheaf%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Consider another example : Let $X=Spec A$ where $A=k[x,y]/y^2=x^3-x$ and $k$ some algebraically closed field. $X$ is a nonsingular elliptic curve, hence $A$ is a Dedekind domain and every prime ideal is maximal. We want to show that every maximal ideal is invertible i.e. $A_p cong m_p$. Let $m$ be the maximal ideal and $p$ any prime ideal. If $m notsubset p$ then $(A-p) cap m neq emptyset$ so $A_p cong m_p$. In case $msubset p$ we have $m =p$ (since every prime ideal is maximal) and $A_m$ is a DVR hence $mA$ is a principal ideal i.e invertible.
answered Jan 6 at 17:14
GregoryEGregoryE
211518
$endgroup$
add a comment |
$begingroup$
Consider another example : Let $X=Spec A$ where $A=k[x,y]/y^2=x^3-x$ and $k$ some algebraically closed field. $X$ is a nonsingular elliptic curve, hence $A$ is a Dedekind domain and every prime ideal is maximal. We want to show that every maximal ideal is invertible i.e. $A_p cong m_p$. Let $m$ be the maximal ideal and $p$ any prime ideal. If $m notsubset p$ then $(A-p) cap m neq emptyset$ so $A_p cong m_p$. In case $msubset p$ we have $m =p$ (since every prime ideal is maximal) and $A_m$ is a DVR hence $mA$ is a principal ideal i.e invertible.
answered Jan 6 at 17:14
GregoryEGregoryE
211518
$endgroup$
add a comment |
$begingroup$
Consider another example : Let $X=Spec A$ where $A=k[x,y]/y^2=x^3-x$ and $k$ some algebraically closed field. $X$ is a nonsingular elliptic curve, hence $A$ is a Dedekind domain and every prime ideal is maximal. We want to show that every maximal ideal is invertible i.e. $A_p cong m_p$. Let $m$ be the maximal ideal and $p$ any prime ideal. If $m notsubset p$ then $(A-p) cap m neq emptyset$ so $A_p cong m_p$. In case $msubset p$ we have $m =p$ (since every prime ideal is maximal) and $A_m$ is a DVR hence $mA$ is a principal ideal i.e invertible.
answered Jan 6 at 17:14
GregoryEGregoryE
211518
$endgroup$
Consider another example : Let $X=Spec A$ where $A=k[x,y]/y^2=x^3-x$ and $k$ some algebraically closed field. $X$ is a nonsingular elliptic curve, hence $A$ is a Dedekind domain and every prime ideal is maximal. We want to show that every maximal ideal is invertible i.e. $A_p cong m_p$. Let $m$ be the maximal ideal and $p$ any prime ideal. If $m notsubset p$ then $(A-p) cap m neq emptyset$ so $A_p cong m_p$. In case $msubset p$ we have $m =p$ (since every prime ideal is maximal) and $A_m$ is a DVR hence $mA$ is a principal ideal i.e invertible.
answered Jan 6 at 17:14
GregoryEGregoryE
211518
answered Jan 6 at 17:14
GregoryEGregoryE
211518
answered Jan 6 at 17:14
GregoryEGregoryE
211518
answered Jan 6 at 17:14
GregoryEGregoryE
211518
211518
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2064469%2finvertible-ideal-sheaf%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
The point is that an isomorphism $I_x cong O_{X,x}$ is abstract, it is not induced by the embedding $I to O_X$. In fact, if $I$ is an invertible ideal, the morphism $I_x to O_{X,x}$ induced by the embedding is zero for some points $x in X$.
$endgroup$
– Sasha
Dec 19 '16 at 10:41
$begingroup$
Hi @Sasha, I knew the reason must be that but I couldn't find myself a nice example. Could you add an example as an answer so I can accept it? Thanks for your time :)
$endgroup$
– Abellan
Dec 19 '16 at 10:44
$begingroup$
One moment in the affine case if $I subset A$ is an invertible ideal if we consider some maximal ideal $I subset mathfrak{m}$ then no element of $I_{mathfrak{m}}$ will be mapped to $1 in A_{mathfrak{m}}$ right?
$endgroup$
– Abellan
Dec 19 '16 at 11:06
1
$begingroup$
The simplest example is $I = O(-1)$ on $P^1$, with the embedding $O(-1) to O$ corresponding to a point $x_0 in P^1$. In homogeneous coordinates $(u:v)$ on $P^1$ if $x_0 = (u_0:v_0)$ then this map is given by $v_0 u - u_0 v in Gamma(P^1,O(1)) = Hom(O(-1),O)$. Then the map $I_x to O_{X,x}$ is an isomorphism for $x ne x_0$ and is zero for $x = x_0$.
$endgroup$
– Sasha
Dec 19 '16 at 11:16