Pullback of a Global Section
Set $f:Y to X$ be a morphism between schemes and $s in Gamma(X, mathcal{O}_X)$ be a global section.
The map $f$ induces a functor $f^*$ (so called pullback functor) that pulls back $mathcal{O}_X$-modules over $X$ to $mathcal{O}_Y$ modules.
Futhermore for the global section $s$ I often encounter the notation $f^*s$ ("pullback of a global section")
Using the well know adjunction correspondence between pullback and pushforward we get for arbitrary sheaf $mathscr F$ a natural morphism of sheaves $mathscr Fto f_* f^*mathscr F$. Obviously this induces in functorial sense a map between global sections
$$H^0(X,mathscr F)to H^0(X,f_* f^*mathscr F)=H^0(Y,f^*mathscr F)$$
which exactly maps $s$ to $f^*s$.
Formally that's ok. My problem is how it concretely looks like.
The most easiest case that $X= Spec(R), Y= Spec(A)$ and $f$ is induced by the ring map (=map between global sections) $varphi_f: R to A$.
Therefore every $r in R$ is a global section.
How concretely in this case the pullback $f^*r in A$ looks like and how to derive/conclude it?
algebraic-geometry commutative-algebra schemes
asked Dec 26 '18 at 21:57
KarlPeter
5951315
|
show 9 more comments
Set $f:Y to X$ be a morphism between schemes and $s in Gamma(X, mathcal{O}_X)$ be a global section.
The map $f$ induces a functor $f^*$ (so called pullback functor) that pulls back $mathcal{O}_X$-modules over $X$ to $mathcal{O}_Y$ modules.
Futhermore for the global section $s$ I often encounter the notation $f^*s$ ("pullback of a global section")
Using the well know adjunction correspondence between pullback and pushforward we get for arbitrary sheaf $mathscr F$ a natural morphism of sheaves $mathscr Fto f_* f^*mathscr F$. Obviously this induces in functorial sense a map between global sections
$$H^0(X,mathscr F)to H^0(X,f_* f^*mathscr F)=H^0(Y,f^*mathscr F)$$
which exactly maps $s$ to $f^*s$.
Formally that's ok. My problem is how it concretely looks like.
The most easiest case that $X= Spec(R), Y= Spec(A)$ and $f$ is induced by the ring map (=map between global sections) $varphi_f: R to A$.
Therefore every $r in R$ is a global section.
How concretely in this case the pullback $f^*r in A$ looks like and how to derive/conclude it?
algebraic-geometry commutative-algebra schemes
asked Dec 26 '18 at 21:57
KarlPeter
5951315
2
$f^*r = phi_f(r)$. This is really how the pullback is defined if you go back to the definition.
– Nicolas Hemelsoet
Dec 26 '18 at 22:26
@NicolasHemelsoet: Ok, let's see. In affine case the adjunction formula reduces to following: Let $M$ be a $R$-module (the pendant to the $mathcal{O}_Y$-module- later M=R - then we have the bijection $$Hom_A(M otimes A, M otimes A)= Hom_R(M, f_*(M otimes A))$$ (take into account $f^*M= M otimes A$) By construction $b: M to f_*(M otimes A) $ comes from $id_{M otimes A}$ on the left side. Now assume $M= R$.
– KarlPeter
Dec 26 '18 at 22:53
So $b: R to f_*(A)$. Why $f_*(A) = A$? I don't see how the pushforward functor $f_*$ acts on level of rings/ local sections. And then why $b= varphi_f$? How the counit concretely maps the identity to the right set?
– KarlPeter
Dec 26 '18 at 22:54
If $f:X=Spec(A)to Spec (B)=Y$ is a morphism then $f_*M$ for $M$ being a $A$-module is simply $M$ seen as a $B$-module via the map $phi: B to A$ corresponding to $ f^{#} : Gamma(Y, O_Y) to Gamma(Y, f_* O_X)=Gamma(X, O_X) $ (in other words the map of ring $B to A$ that defines $f$). One possible way to see this (but not the only one, but given what you wrote it is possibly the one that will satisfy you the most?) is to note that adjunction property $Hom_A(Notimes_B A, M)=Hom_B(N,M_B)$ where $M_B$ is simply $M$ viewed as a $B$-module. Yoneda lemma ensures that $M_B=f_*M$
– A.Rod
Dec 27 '18 at 10:11
If you want to consider the problem in more geometric (kinda) terms, you might note that $f^{-1}(D(b))=D(phi(b))$ and that two quasi coherent sheaves coincide iff they coincide on principal open subsets. All you have to do now is compare the quasi coherent sheaf defined by $M_B$ and the quasi coherent sheaf $f_*M$ on those open subsets, but by what is said $tilde{M_B}(D(b))$ is $M_b$ where the $B$-module structure is given by $phi$ and $f_*M(D(b))=M_{phi(b)}$. This is the same thing.
– A.Rod
Dec 27 '18 at 10:22
|
show 9 more comments
Set $f:Y to X$ be a morphism between schemes and $s in Gamma(X, mathcal{O}_X)$ be a global section.
The map $f$ induces a functor $f^*$ (so called pullback functor) that pulls back $mathcal{O}_X$-modules over $X$ to $mathcal{O}_Y$ modules.
Futhermore for the global section $s$ I often encounter the notation $f^*s$ ("pullback of a global section")
Using the well know adjunction correspondence between pullback and pushforward we get for arbitrary sheaf $mathscr F$ a natural morphism of sheaves $mathscr Fto f_* f^*mathscr F$. Obviously this induces in functorial sense a map between global sections
$$H^0(X,mathscr F)to H^0(X,f_* f^*mathscr F)=H^0(Y,f^*mathscr F)$$
which exactly maps $s$ to $f^*s$.
Formally that's ok. My problem is how it concretely looks like.
The most easiest case that $X= Spec(R), Y= Spec(A)$ and $f$ is induced by the ring map (=map between global sections) $varphi_f: R to A$.
Therefore every $r in R$ is a global section.
How concretely in this case the pullback $f^*r in A$ looks like and how to derive/conclude it?
algebraic-geometry commutative-algebra schemes
asked Dec 26 '18 at 21:57
KarlPeter
5951315
Set $f:Y to X$ be a morphism between schemes and $s in Gamma(X, mathcal{O}_X)$ be a global section.
The map $f$ induces a functor $f^*$ (so called pullback functor) that pulls back $mathcal{O}_X$-modules over $X$ to $mathcal{O}_Y$ modules.
Futhermore for the global section $s$ I often encounter the notation $f^*s$ ("pullback of a global section")
Using the well know adjunction correspondence between pullback and pushforward we get for arbitrary sheaf $mathscr F$ a natural morphism of sheaves $mathscr Fto f_* f^*mathscr F$. Obviously this induces in functorial sense a map between global sections
$$H^0(X,mathscr F)to H^0(X,f_* f^*mathscr F)=H^0(Y,f^*mathscr F)$$
which exactly maps $s$ to $f^*s$.
Formally that's ok. My problem is how it concretely looks like.
The most easiest case that $X= Spec(R), Y= Spec(A)$ and $f$ is induced by the ring map (=map between global sections) $varphi_f: R to A$.
Therefore every $r in R$ is a global section.
How concretely in this case the pullback $f^*r in A$ looks like and how to derive/conclude it?
algebraic-geometry commutative-algebra schemes
algebraic-geometry commutative-algebra schemes
asked Dec 26 '18 at 21:57
KarlPeter
5951315
asked Dec 26 '18 at 21:57
KarlPeter
5951315
asked Dec 26 '18 at 21:57
KarlPeter
5951315
asked Dec 26 '18 at 21:57
KarlPeter
5951315
asked Dec 26 '18 at 21:57
KarlPeter
5951315
5951315
2
$f^*r = phi_f(r)$. This is really how the pullback is defined if you go back to the definition.
– Nicolas Hemelsoet
Dec 26 '18 at 22:26
@NicolasHemelsoet: Ok, let's see. In affine case the adjunction formula reduces to following: Let $M$ be a $R$-module (the pendant to the $mathcal{O}_Y$-module- later M=R - then we have the bijection $$Hom_A(M otimes A, M otimes A)= Hom_R(M, f_*(M otimes A))$$ (take into account $f^*M= M otimes A$) By construction $b: M to f_*(M otimes A) $ comes from $id_{M otimes A}$ on the left side. Now assume $M= R$.
– KarlPeter
Dec 26 '18 at 22:53
So $b: R to f_*(A)$. Why $f_*(A) = A$? I don't see how the pushforward functor $f_*$ acts on level of rings/ local sections. And then why $b= varphi_f$? How the counit concretely maps the identity to the right set?
– KarlPeter
Dec 26 '18 at 22:54
If $f:X=Spec(A)to Spec (B)=Y$ is a morphism then $f_*M$ for $M$ being a $A$-module is simply $M$ seen as a $B$-module via the map $phi: B to A$ corresponding to $ f^{#} : Gamma(Y, O_Y) to Gamma(Y, f_* O_X)=Gamma(X, O_X) $ (in other words the map of ring $B to A$ that defines $f$). One possible way to see this (but not the only one, but given what you wrote it is possibly the one that will satisfy you the most?) is to note that adjunction property $Hom_A(Notimes_B A, M)=Hom_B(N,M_B)$ where $M_B$ is simply $M$ viewed as a $B$-module. Yoneda lemma ensures that $M_B=f_*M$
– A.Rod
Dec 27 '18 at 10:11
If you want to consider the problem in more geometric (kinda) terms, you might note that $f^{-1}(D(b))=D(phi(b))$ and that two quasi coherent sheaves coincide iff they coincide on principal open subsets. All you have to do now is compare the quasi coherent sheaf defined by $M_B$ and the quasi coherent sheaf $f_*M$ on those open subsets, but by what is said $tilde{M_B}(D(b))$ is $M_b$ where the $B$-module structure is given by $phi$ and $f_*M(D(b))=M_{phi(b)}$. This is the same thing.
– A.Rod
Dec 27 '18 at 10:22
|
show 9 more comments
2
$f^*r = phi_f(r)$. This is really how the pullback is defined if you go back to the definition.
– Nicolas Hemelsoet
Dec 26 '18 at 22:26
@NicolasHemelsoet: Ok, let's see. In affine case the adjunction formula reduces to following: Let $M$ be a $R$-module (the pendant to the $mathcal{O}_Y$-module- later M=R - then we have the bijection $$Hom_A(M otimes A, M otimes A)= Hom_R(M, f_*(M otimes A))$$ (take into account $f^*M= M otimes A$) By construction $b: M to f_*(M otimes A) $ comes from $id_{M otimes A}$ on the left side. Now assume $M= R$.
– KarlPeter
Dec 26 '18 at 22:53
So $b: R to f_*(A)$. Why $f_*(A) = A$? I don't see how the pushforward functor $f_*$ acts on level of rings/ local sections. And then why $b= varphi_f$? How the counit concretely maps the identity to the right set?
– KarlPeter
Dec 26 '18 at 22:54
If $f:X=Spec(A)to Spec (B)=Y$ is a morphism then $f_*M$ for $M$ being a $A$-module is simply $M$ seen as a $B$-module via the map $phi: B to A$ corresponding to $ f^{#} : Gamma(Y, O_Y) to Gamma(Y, f_* O_X)=Gamma(X, O_X) $ (in other words the map of ring $B to A$ that defines $f$). One possible way to see this (but not the only one, but given what you wrote it is possibly the one that will satisfy you the most?) is to note that adjunction property $Hom_A(Notimes_B A, M)=Hom_B(N,M_B)$ where $M_B$ is simply $M$ viewed as a $B$-module. Yoneda lemma ensures that $M_B=f_*M$
– A.Rod
Dec 27 '18 at 10:11
If you want to consider the problem in more geometric (kinda) terms, you might note that $f^{-1}(D(b))=D(phi(b))$ and that two quasi coherent sheaves coincide iff they coincide on principal open subsets. All you have to do now is compare the quasi coherent sheaf defined by $M_B$ and the quasi coherent sheaf $f_*M$ on those open subsets, but by what is said $tilde{M_B}(D(b))$ is $M_b$ where the $B$-module structure is given by $phi$ and $f_*M(D(b))=M_{phi(b)}$. This is the same thing.
– A.Rod
Dec 27 '18 at 10:22
2
2
$f^*r = phi_f(r)$. This is really how the pullback is defined if you go back to the definition.
– Nicolas Hemelsoet
Dec 26 '18 at 22:26
$f^*r = phi_f(r)$. This is really how the pullback is defined if you go back to the definition.
– Nicolas Hemelsoet
Dec 26 '18 at 22:26
@NicolasHemelsoet: Ok, let's see. In affine case the adjunction formula reduces to following: Let $M$ be a $R$-module (the pendant to the $mathcal{O}_Y$-module- later M=R - then we have the bijection $$Hom_A(M otimes A, M otimes A)= Hom_R(M, f_*(M otimes A))$$ (take into account $f^*M= M otimes A$) By construction $b: M to f_*(M otimes A) $ comes from $id_{M otimes A}$ on the left side. Now assume $M= R$.
– KarlPeter
Dec 26 '18 at 22:53
@NicolasHemelsoet: Ok, let's see. In affine case the adjunction formula reduces to following: Let $M$ be a $R$-module (the pendant to the $mathcal{O}_Y$-module- later M=R - then we have the bijection $$Hom_A(M otimes A, M otimes A)= Hom_R(M, f_*(M otimes A))$$ (take into account $f^*M= M otimes A$) By construction $b: M to f_*(M otimes A) $ comes from $id_{M otimes A}$ on the left side. Now assume $M= R$.
– KarlPeter
Dec 26 '18 at 22:53
So $b: R to f_*(A)$. Why $f_*(A) = A$? I don't see how the pushforward functor $f_*$ acts on level of rings/ local sections. And then why $b= varphi_f$? How the counit concretely maps the identity to the right set?
– KarlPeter
Dec 26 '18 at 22:54
So $b: R to f_*(A)$. Why $f_*(A) = A$? I don't see how the pushforward functor $f_*$ acts on level of rings/ local sections. And then why $b= varphi_f$? How the counit concretely maps the identity to the right set?
– KarlPeter
Dec 26 '18 at 22:54
If $f:X=Spec(A)to Spec (B)=Y$ is a morphism then $f_*M$ for $M$ being a $A$-module is simply $M$ seen as a $B$-module via the map $phi: B to A$ corresponding to $ f^{#} : Gamma(Y, O_Y) to Gamma(Y, f_* O_X)=Gamma(X, O_X) $ (in other words the map of ring $B to A$ that defines $f$). One possible way to see this (but not the only one, but given what you wrote it is possibly the one that will satisfy you the most?) is to note that adjunction property $Hom_A(Notimes_B A, M)=Hom_B(N,M_B)$ where $M_B$ is simply $M$ viewed as a $B$-module. Yoneda lemma ensures that $M_B=f_*M$
– A.Rod
Dec 27 '18 at 10:11
If $f:X=Spec(A)to Spec (B)=Y$ is a morphism then $f_*M$ for $M$ being a $A$-module is simply $M$ seen as a $B$-module via the map $phi: B to A$ corresponding to $ f^{#} : Gamma(Y, O_Y) to Gamma(Y, f_* O_X)=Gamma(X, O_X) $ (in other words the map of ring $B to A$ that defines $f$). One possible way to see this (but not the only one, but given what you wrote it is possibly the one that will satisfy you the most?) is to note that adjunction property $Hom_A(Notimes_B A, M)=Hom_B(N,M_B)$ where $M_B$ is simply $M$ viewed as a $B$-module. Yoneda lemma ensures that $M_B=f_*M$
– A.Rod
Dec 27 '18 at 10:11
If you want to consider the problem in more geometric (kinda) terms, you might note that $f^{-1}(D(b))=D(phi(b))$ and that two quasi coherent sheaves coincide iff they coincide on principal open subsets. All you have to do now is compare the quasi coherent sheaf defined by $M_B$ and the quasi coherent sheaf $f_*M$ on those open subsets, but by what is said $tilde{M_B}(D(b))$ is $M_b$ where the $B$-module structure is given by $phi$ and $f_*M(D(b))=M_{phi(b)}$. This is the same thing.
– A.Rod
Dec 27 '18 at 10:22
If you want to consider the problem in more geometric (kinda) terms, you might note that $f^{-1}(D(b))=D(phi(b))$ and that two quasi coherent sheaves coincide iff they coincide on principal open subsets. All you have to do now is compare the quasi coherent sheaf defined by $M_B$ and the quasi coherent sheaf $f_*M$ on those open subsets, but by what is said $tilde{M_B}(D(b))$ is $M_b$ where the $B$-module structure is given by $phi$ and $f_*M(D(b))=M_{phi(b)}$. This is the same thing.
– A.Rod
Dec 27 '18 at 10:22
|
show 9 more comments
active
oldest
votes
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%2f3053349%2fpullback-of-a-global-section%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3053349%2fpullback-of-a-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
2
$f^*r = phi_f(r)$. This is really how the pullback is defined if you go back to the definition.
– Nicolas Hemelsoet
Dec 26 '18 at 22:26
@NicolasHemelsoet: Ok, let's see. In affine case the adjunction formula reduces to following: Let $M$ be a $R$-module (the pendant to the $mathcal{O}_Y$-module- later M=R - then we have the bijection $$Hom_A(M otimes A, M otimes A)= Hom_R(M, f_*(M otimes A))$$ (take into account $f^*M= M otimes A$) By construction $b: M to f_*(M otimes A) $ comes from $id_{M otimes A}$ on the left side. Now assume $M= R$.
– KarlPeter
Dec 26 '18 at 22:53
So $b: R to f_*(A)$. Why $f_*(A) = A$? I don't see how the pushforward functor $f_*$ acts on level of rings/ local sections. And then why $b= varphi_f$? How the counit concretely maps the identity to the right set?
– KarlPeter
Dec 26 '18 at 22:54
If $f:X=Spec(A)to Spec (B)=Y$ is a morphism then $f_*M$ for $M$ being a $A$-module is simply $M$ seen as a $B$-module via the map $phi: B to A$ corresponding to $ f^{#} : Gamma(Y, O_Y) to Gamma(Y, f_* O_X)=Gamma(X, O_X) $ (in other words the map of ring $B to A$ that defines $f$). One possible way to see this (but not the only one, but given what you wrote it is possibly the one that will satisfy you the most?) is to note that adjunction property $Hom_A(Notimes_B A, M)=Hom_B(N,M_B)$ where $M_B$ is simply $M$ viewed as a $B$-module. Yoneda lemma ensures that $M_B=f_*M$
– A.Rod
Dec 27 '18 at 10:11
If you want to consider the problem in more geometric (kinda) terms, you might note that $f^{-1}(D(b))=D(phi(b))$ and that two quasi coherent sheaves coincide iff they coincide on principal open subsets. All you have to do now is compare the quasi coherent sheaf defined by $M_B$ and the quasi coherent sheaf $f_*M$ on those open subsets, but by what is said $tilde{M_B}(D(b))$ is $M_b$ where the $B$-module structure is given by $phi$ and $f_*M(D(b))=M_{phi(b)}$. This is the same thing.
– A.Rod
Dec 27 '18 at 10:22