Morphism from a scheme to the spectra of global section
$begingroup$
This is a small inquiry, but I just want to be sure about it.
Let $X$ be a scheme. I am trying to understand what it is meant by the cannonical morphism between $X rightarrow Spec (Gamma(X,mathcal{O}_{X})).$ Is it the morphism of schemes induced by the identity map of rings $Gamma(X,mathcal{O}_{X}) rightarrow Gamma(X,mathcal{O}_{X})$ and hence by bijection between morphisms of scheme to affine scheme and morphisms of rings of global sections, the aforementioned morphism of scheme is isomorphism?
algebraic-geometry schemes
$endgroup$
add a comment |
$begingroup$
This is a small inquiry, but I just want to be sure about it.
Let $X$ be a scheme. I am trying to understand what it is meant by the cannonical morphism between $X rightarrow Spec (Gamma(X,mathcal{O}_{X})).$ Is it the morphism of schemes induced by the identity map of rings $Gamma(X,mathcal{O}_{X}) rightarrow Gamma(X,mathcal{O}_{X})$ and hence by bijection between morphisms of scheme to affine scheme and morphisms of rings of global sections, the aforementioned morphism of scheme is isomorphism?
algebraic-geometry schemes
$endgroup$
1
$begingroup$
Yes, that's one way to think about it.
$endgroup$
– Qiaochu Yuan
Dec 8 '18 at 0:34
$begingroup$
Possibly related: math.stackexchange.com/questions/1523392
$endgroup$
– Watson
Dec 8 '18 at 10:00
add a comment |
$begingroup$
This is a small inquiry, but I just want to be sure about it.
Let $X$ be a scheme. I am trying to understand what it is meant by the cannonical morphism between $X rightarrow Spec (Gamma(X,mathcal{O}_{X})).$ Is it the morphism of schemes induced by the identity map of rings $Gamma(X,mathcal{O}_{X}) rightarrow Gamma(X,mathcal{O}_{X})$ and hence by bijection between morphisms of scheme to affine scheme and morphisms of rings of global sections, the aforementioned morphism of scheme is isomorphism?
algebraic-geometry schemes
$endgroup$
This is a small inquiry, but I just want to be sure about it.
Let $X$ be a scheme. I am trying to understand what it is meant by the cannonical morphism between $X rightarrow Spec (Gamma(X,mathcal{O}_{X})).$ Is it the morphism of schemes induced by the identity map of rings $Gamma(X,mathcal{O}_{X}) rightarrow Gamma(X,mathcal{O}_{X})$ and hence by bijection between morphisms of scheme to affine scheme and morphisms of rings of global sections, the aforementioned morphism of scheme is isomorphism?
algebraic-geometry schemes
algebraic-geometry schemes
asked Dec 7 '18 at 23:45
solgaleosolgaleo
6410
6410
1
$begingroup$
Yes, that's one way to think about it.
$endgroup$
– Qiaochu Yuan
Dec 8 '18 at 0:34
$begingroup$
Possibly related: math.stackexchange.com/questions/1523392
$endgroup$
– Watson
Dec 8 '18 at 10:00
add a comment |
1
$begingroup$
Yes, that's one way to think about it.
$endgroup$
– Qiaochu Yuan
Dec 8 '18 at 0:34
$begingroup$
Possibly related: math.stackexchange.com/questions/1523392
$endgroup$
– Watson
Dec 8 '18 at 10:00
1
1
$begingroup$
Yes, that's one way to think about it.
$endgroup$
– Qiaochu Yuan
Dec 8 '18 at 0:34
$begingroup$
Yes, that's one way to think about it.
$endgroup$
– Qiaochu Yuan
Dec 8 '18 at 0:34
$begingroup$
Possibly related: math.stackexchange.com/questions/1523392
$endgroup$
– Watson
Dec 8 '18 at 10:00
$begingroup$
Possibly related: math.stackexchange.com/questions/1523392
$endgroup$
– Watson
Dec 8 '18 at 10:00
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I want to respond to one particular statement you made, but first I'll make things a bit more precise.
We have the adjunction $$newcommandHom{operatorname{Hom}}newcommandSpec{operatorname{Spec}}newcommandcalO{mathcal{O}}Hom(X,Spec A)simeq Hom(A,Gamma(X,calO_X)),$$ and in particular this tells us that
$$Hom(X,Spec Gamma(X,calO_X))simeq Hom(Gamma(X,calO_X),Gamma(X,calO_X)).
$$
The identity map $Gamma(X,calO_X)toGamma(X,calO_X)$ therefore gives us a map of schemes $Xto Gamma(X,calO_X)$ as you noticed, and this is indeed the canonical map. However, you seem to be under the impression that this map is therefore an isomorphism.
In general this cannot possibly be true, since if the map were an isomorphism, $X$ would necessarily have to be affine. However, if $X$ is affine, this map is indeed an isomorphism.
Let's be a little more clear how this map works then.
In fact let's be a little more clear how it works in general. Let $phi : Ato Gamma(X,calO_X)$ be a ring morphism. Let's try to understand the induced map $f : Xto Spec A$.
Let $U$ be an affine open in $X$. Then we have the maps
$$newcommandtobyxrightarrow Atoby{phi}calO_X(X)toby{r_{XU}} calO_X(U).$$
Taking $Spec$ of this sequence gives
$$Utoby{Spec r_{XU}} Spec calO_X(X) toby{Spec phi} Spec A.$$
Gluing these maps together gives the desired map from $X$ to $Spec A$.
Observe then that if $phi=newcommandid{operatorname{id}}id$, that the map $Xto Spec Gamma(X,calO_X)$ is the result of gluing the maps obtained from applying the Spec functor to the restrictions $r_{XU}:calO_X(X)to calO_X(U)$.
If $X$ is affine, then we can take $U=X$, and there's no need to glue, the map $Xto SpecGamma(X,calO_X)$ is $Spec id=id$. On the other hand, if $X$ is not affine, for example, if $X$ is a projective $k$-scheme with $k$ algebraically closed, then $Gamma(X,calO_X)=k$, and $Xto SpecGamma(X,calO_X)$ is the $k$-scheme structure morphism $Xto Spec k$, which in general is clearly not an isomorphism.
$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%2f3030511%2fmorphism-from-a-scheme-to-the-spectra-of-global-section%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$
I want to respond to one particular statement you made, but first I'll make things a bit more precise.
We have the adjunction $$newcommandHom{operatorname{Hom}}newcommandSpec{operatorname{Spec}}newcommandcalO{mathcal{O}}Hom(X,Spec A)simeq Hom(A,Gamma(X,calO_X)),$$ and in particular this tells us that
$$Hom(X,Spec Gamma(X,calO_X))simeq Hom(Gamma(X,calO_X),Gamma(X,calO_X)).
$$
The identity map $Gamma(X,calO_X)toGamma(X,calO_X)$ therefore gives us a map of schemes $Xto Gamma(X,calO_X)$ as you noticed, and this is indeed the canonical map. However, you seem to be under the impression that this map is therefore an isomorphism.
In general this cannot possibly be true, since if the map were an isomorphism, $X$ would necessarily have to be affine. However, if $X$ is affine, this map is indeed an isomorphism.
Let's be a little more clear how this map works then.
In fact let's be a little more clear how it works in general. Let $phi : Ato Gamma(X,calO_X)$ be a ring morphism. Let's try to understand the induced map $f : Xto Spec A$.
Let $U$ be an affine open in $X$. Then we have the maps
$$newcommandtobyxrightarrow Atoby{phi}calO_X(X)toby{r_{XU}} calO_X(U).$$
Taking $Spec$ of this sequence gives
$$Utoby{Spec r_{XU}} Spec calO_X(X) toby{Spec phi} Spec A.$$
Gluing these maps together gives the desired map from $X$ to $Spec A$.
Observe then that if $phi=newcommandid{operatorname{id}}id$, that the map $Xto Spec Gamma(X,calO_X)$ is the result of gluing the maps obtained from applying the Spec functor to the restrictions $r_{XU}:calO_X(X)to calO_X(U)$.
If $X$ is affine, then we can take $U=X$, and there's no need to glue, the map $Xto SpecGamma(X,calO_X)$ is $Spec id=id$. On the other hand, if $X$ is not affine, for example, if $X$ is a projective $k$-scheme with $k$ algebraically closed, then $Gamma(X,calO_X)=k$, and $Xto SpecGamma(X,calO_X)$ is the $k$-scheme structure morphism $Xto Spec k$, which in general is clearly not an isomorphism.
$endgroup$
add a comment |
$begingroup$
I want to respond to one particular statement you made, but first I'll make things a bit more precise.
We have the adjunction $$newcommandHom{operatorname{Hom}}newcommandSpec{operatorname{Spec}}newcommandcalO{mathcal{O}}Hom(X,Spec A)simeq Hom(A,Gamma(X,calO_X)),$$ and in particular this tells us that
$$Hom(X,Spec Gamma(X,calO_X))simeq Hom(Gamma(X,calO_X),Gamma(X,calO_X)).
$$
The identity map $Gamma(X,calO_X)toGamma(X,calO_X)$ therefore gives us a map of schemes $Xto Gamma(X,calO_X)$ as you noticed, and this is indeed the canonical map. However, you seem to be under the impression that this map is therefore an isomorphism.
In general this cannot possibly be true, since if the map were an isomorphism, $X$ would necessarily have to be affine. However, if $X$ is affine, this map is indeed an isomorphism.
Let's be a little more clear how this map works then.
In fact let's be a little more clear how it works in general. Let $phi : Ato Gamma(X,calO_X)$ be a ring morphism. Let's try to understand the induced map $f : Xto Spec A$.
Let $U$ be an affine open in $X$. Then we have the maps
$$newcommandtobyxrightarrow Atoby{phi}calO_X(X)toby{r_{XU}} calO_X(U).$$
Taking $Spec$ of this sequence gives
$$Utoby{Spec r_{XU}} Spec calO_X(X) toby{Spec phi} Spec A.$$
Gluing these maps together gives the desired map from $X$ to $Spec A$.
Observe then that if $phi=newcommandid{operatorname{id}}id$, that the map $Xto Spec Gamma(X,calO_X)$ is the result of gluing the maps obtained from applying the Spec functor to the restrictions $r_{XU}:calO_X(X)to calO_X(U)$.
If $X$ is affine, then we can take $U=X$, and there's no need to glue, the map $Xto SpecGamma(X,calO_X)$ is $Spec id=id$. On the other hand, if $X$ is not affine, for example, if $X$ is a projective $k$-scheme with $k$ algebraically closed, then $Gamma(X,calO_X)=k$, and $Xto SpecGamma(X,calO_X)$ is the $k$-scheme structure morphism $Xto Spec k$, which in general is clearly not an isomorphism.
$endgroup$
add a comment |
$begingroup$
I want to respond to one particular statement you made, but first I'll make things a bit more precise.
We have the adjunction $$newcommandHom{operatorname{Hom}}newcommandSpec{operatorname{Spec}}newcommandcalO{mathcal{O}}Hom(X,Spec A)simeq Hom(A,Gamma(X,calO_X)),$$ and in particular this tells us that
$$Hom(X,Spec Gamma(X,calO_X))simeq Hom(Gamma(X,calO_X),Gamma(X,calO_X)).
$$
The identity map $Gamma(X,calO_X)toGamma(X,calO_X)$ therefore gives us a map of schemes $Xto Gamma(X,calO_X)$ as you noticed, and this is indeed the canonical map. However, you seem to be under the impression that this map is therefore an isomorphism.
In general this cannot possibly be true, since if the map were an isomorphism, $X$ would necessarily have to be affine. However, if $X$ is affine, this map is indeed an isomorphism.
Let's be a little more clear how this map works then.
In fact let's be a little more clear how it works in general. Let $phi : Ato Gamma(X,calO_X)$ be a ring morphism. Let's try to understand the induced map $f : Xto Spec A$.
Let $U$ be an affine open in $X$. Then we have the maps
$$newcommandtobyxrightarrow Atoby{phi}calO_X(X)toby{r_{XU}} calO_X(U).$$
Taking $Spec$ of this sequence gives
$$Utoby{Spec r_{XU}} Spec calO_X(X) toby{Spec phi} Spec A.$$
Gluing these maps together gives the desired map from $X$ to $Spec A$.
Observe then that if $phi=newcommandid{operatorname{id}}id$, that the map $Xto Spec Gamma(X,calO_X)$ is the result of gluing the maps obtained from applying the Spec functor to the restrictions $r_{XU}:calO_X(X)to calO_X(U)$.
If $X$ is affine, then we can take $U=X$, and there's no need to glue, the map $Xto SpecGamma(X,calO_X)$ is $Spec id=id$. On the other hand, if $X$ is not affine, for example, if $X$ is a projective $k$-scheme with $k$ algebraically closed, then $Gamma(X,calO_X)=k$, and $Xto SpecGamma(X,calO_X)$ is the $k$-scheme structure morphism $Xto Spec k$, which in general is clearly not an isomorphism.
$endgroup$
I want to respond to one particular statement you made, but first I'll make things a bit more precise.
We have the adjunction $$newcommandHom{operatorname{Hom}}newcommandSpec{operatorname{Spec}}newcommandcalO{mathcal{O}}Hom(X,Spec A)simeq Hom(A,Gamma(X,calO_X)),$$ and in particular this tells us that
$$Hom(X,Spec Gamma(X,calO_X))simeq Hom(Gamma(X,calO_X),Gamma(X,calO_X)).
$$
The identity map $Gamma(X,calO_X)toGamma(X,calO_X)$ therefore gives us a map of schemes $Xto Gamma(X,calO_X)$ as you noticed, and this is indeed the canonical map. However, you seem to be under the impression that this map is therefore an isomorphism.
In general this cannot possibly be true, since if the map were an isomorphism, $X$ would necessarily have to be affine. However, if $X$ is affine, this map is indeed an isomorphism.
Let's be a little more clear how this map works then.
In fact let's be a little more clear how it works in general. Let $phi : Ato Gamma(X,calO_X)$ be a ring morphism. Let's try to understand the induced map $f : Xto Spec A$.
Let $U$ be an affine open in $X$. Then we have the maps
$$newcommandtobyxrightarrow Atoby{phi}calO_X(X)toby{r_{XU}} calO_X(U).$$
Taking $Spec$ of this sequence gives
$$Utoby{Spec r_{XU}} Spec calO_X(X) toby{Spec phi} Spec A.$$
Gluing these maps together gives the desired map from $X$ to $Spec A$.
Observe then that if $phi=newcommandid{operatorname{id}}id$, that the map $Xto Spec Gamma(X,calO_X)$ is the result of gluing the maps obtained from applying the Spec functor to the restrictions $r_{XU}:calO_X(X)to calO_X(U)$.
If $X$ is affine, then we can take $U=X$, and there's no need to glue, the map $Xto SpecGamma(X,calO_X)$ is $Spec id=id$. On the other hand, if $X$ is not affine, for example, if $X$ is a projective $k$-scheme with $k$ algebraically closed, then $Gamma(X,calO_X)=k$, and $Xto SpecGamma(X,calO_X)$ is the $k$-scheme structure morphism $Xto Spec k$, which in general is clearly not an isomorphism.
answered Dec 8 '18 at 2:46
jgonjgon
13.7k22041
13.7k22041
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%2f3030511%2fmorphism-from-a-scheme-to-the-spectra-of-global-section%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$
Yes, that's one way to think about it.
$endgroup$
– Qiaochu Yuan
Dec 8 '18 at 0:34
$begingroup$
Possibly related: math.stackexchange.com/questions/1523392
$endgroup$
– Watson
Dec 8 '18 at 10:00