An exact sequence of vector bundles.
$begingroup$
Page 376, Prop 15.6.7: Let $p:E rightarrow M$ be a vector bundle. There exists a canonical exact sequence
$$ 0 rightarrow p^*E xrightarrow{alpha} TE xrightarrow{beta} p^*TMrightarrow 0 $$
I am confused by how the map $alpha$ is defined and why it is "canonical". It writes:
We consider $p^*E rightarrow E$ as the projection of $E oplus E$ onto the first summand.
Let $(v,w) in E_x oplus E_x$. We define $alpha(v,w)$ as the derivative of the curve $t mapsto v+tw$ at $t=0$.
Also, I would like to understand how one computes $alpha$ and show $betaalpha=0$.
My attempt is shown below.
Compute $alpha(v,w)$. My method of computation would to be to consider a local trivialization of
$$ E|_U rightarrow U times Bbb R^n rightarrow Bbb R^m times Bbb R^n$$
So that we have a local frame, $(partial_k, partial_i)_{k=1}^m, _{i=1}^n$ for $TE|_{E|_U}$
Let $gamma(t)$ be the curve, then it has coordinate representation,
$$ gamma(t) = (x, v^i+tw^i)$$
Thus, $gamma'(0)$ is the vector, whose representation under coordinate choice is
$$ 0^k partial_k + w^i partial_i$$
in the tangent space of $gamma(0)=v$.
^This shows injectivity.
Compute $beta$: Now the induce map $(d pi )_v: T_pE rightarrow T_{pi(p)}M$ is given by projection on to the first $m$ coordinates, under the choice of local triviliazation, $E|_U$ such that $U$ is a local chart of $M$.
^This gives us $beta alpha =0$.
differential-geometry algebraic-topology differential-topology smooth-manifolds vector-bundles
$endgroup$
add a comment |
$begingroup$
Page 376, Prop 15.6.7: Let $p:E rightarrow M$ be a vector bundle. There exists a canonical exact sequence
$$ 0 rightarrow p^*E xrightarrow{alpha} TE xrightarrow{beta} p^*TMrightarrow 0 $$
I am confused by how the map $alpha$ is defined and why it is "canonical". It writes:
We consider $p^*E rightarrow E$ as the projection of $E oplus E$ onto the first summand.
Let $(v,w) in E_x oplus E_x$. We define $alpha(v,w)$ as the derivative of the curve $t mapsto v+tw$ at $t=0$.
Also, I would like to understand how one computes $alpha$ and show $betaalpha=0$.
My attempt is shown below.
Compute $alpha(v,w)$. My method of computation would to be to consider a local trivialization of
$$ E|_U rightarrow U times Bbb R^n rightarrow Bbb R^m times Bbb R^n$$
So that we have a local frame, $(partial_k, partial_i)_{k=1}^m, _{i=1}^n$ for $TE|_{E|_U}$
Let $gamma(t)$ be the curve, then it has coordinate representation,
$$ gamma(t) = (x, v^i+tw^i)$$
Thus, $gamma'(0)$ is the vector, whose representation under coordinate choice is
$$ 0^k partial_k + w^i partial_i$$
in the tangent space of $gamma(0)=v$.
^This shows injectivity.
Compute $beta$: Now the induce map $(d pi )_v: T_pE rightarrow T_{pi(p)}M$ is given by projection on to the first $m$ coordinates, under the choice of local triviliazation, $E|_U$ such that $U$ is a local chart of $M$.
^This gives us $beta alpha =0$.
differential-geometry algebraic-topology differential-topology smooth-manifolds vector-bundles
$endgroup$
1
$begingroup$
I think you are going the right direction. You have to use local coordinates, then use the standard coordinatization of the tangent space, and interpret the answer.
$endgroup$
– Charlie Frohman
Jan 2 at 14:56
add a comment |
$begingroup$
Page 376, Prop 15.6.7: Let $p:E rightarrow M$ be a vector bundle. There exists a canonical exact sequence
$$ 0 rightarrow p^*E xrightarrow{alpha} TE xrightarrow{beta} p^*TMrightarrow 0 $$
I am confused by how the map $alpha$ is defined and why it is "canonical". It writes:
We consider $p^*E rightarrow E$ as the projection of $E oplus E$ onto the first summand.
Let $(v,w) in E_x oplus E_x$. We define $alpha(v,w)$ as the derivative of the curve $t mapsto v+tw$ at $t=0$.
Also, I would like to understand how one computes $alpha$ and show $betaalpha=0$.
My attempt is shown below.
Compute $alpha(v,w)$. My method of computation would to be to consider a local trivialization of
$$ E|_U rightarrow U times Bbb R^n rightarrow Bbb R^m times Bbb R^n$$
So that we have a local frame, $(partial_k, partial_i)_{k=1}^m, _{i=1}^n$ for $TE|_{E|_U}$
Let $gamma(t)$ be the curve, then it has coordinate representation,
$$ gamma(t) = (x, v^i+tw^i)$$
Thus, $gamma'(0)$ is the vector, whose representation under coordinate choice is
$$ 0^k partial_k + w^i partial_i$$
in the tangent space of $gamma(0)=v$.
^This shows injectivity.
Compute $beta$: Now the induce map $(d pi )_v: T_pE rightarrow T_{pi(p)}M$ is given by projection on to the first $m$ coordinates, under the choice of local triviliazation, $E|_U$ such that $U$ is a local chart of $M$.
^This gives us $beta alpha =0$.
differential-geometry algebraic-topology differential-topology smooth-manifolds vector-bundles
$endgroup$
Page 376, Prop 15.6.7: Let $p:E rightarrow M$ be a vector bundle. There exists a canonical exact sequence
$$ 0 rightarrow p^*E xrightarrow{alpha} TE xrightarrow{beta} p^*TMrightarrow 0 $$
I am confused by how the map $alpha$ is defined and why it is "canonical". It writes:
We consider $p^*E rightarrow E$ as the projection of $E oplus E$ onto the first summand.
Let $(v,w) in E_x oplus E_x$. We define $alpha(v,w)$ as the derivative of the curve $t mapsto v+tw$ at $t=0$.
Also, I would like to understand how one computes $alpha$ and show $betaalpha=0$.
My attempt is shown below.
Compute $alpha(v,w)$. My method of computation would to be to consider a local trivialization of
$$ E|_U rightarrow U times Bbb R^n rightarrow Bbb R^m times Bbb R^n$$
So that we have a local frame, $(partial_k, partial_i)_{k=1}^m, _{i=1}^n$ for $TE|_{E|_U}$
Let $gamma(t)$ be the curve, then it has coordinate representation,
$$ gamma(t) = (x, v^i+tw^i)$$
Thus, $gamma'(0)$ is the vector, whose representation under coordinate choice is
$$ 0^k partial_k + w^i partial_i$$
in the tangent space of $gamma(0)=v$.
^This shows injectivity.
Compute $beta$: Now the induce map $(d pi )_v: T_pE rightarrow T_{pi(p)}M$ is given by projection on to the first $m$ coordinates, under the choice of local triviliazation, $E|_U$ such that $U$ is a local chart of $M$.
^This gives us $beta alpha =0$.
differential-geometry algebraic-topology differential-topology smooth-manifolds vector-bundles
differential-geometry algebraic-topology differential-topology smooth-manifolds vector-bundles
asked Jan 2 at 3:01
CL.CL.
2,3452925
2,3452925
1
$begingroup$
I think you are going the right direction. You have to use local coordinates, then use the standard coordinatization of the tangent space, and interpret the answer.
$endgroup$
– Charlie Frohman
Jan 2 at 14:56
add a comment |
1
$begingroup$
I think you are going the right direction. You have to use local coordinates, then use the standard coordinatization of the tangent space, and interpret the answer.
$endgroup$
– Charlie Frohman
Jan 2 at 14:56
1
1
$begingroup$
I think you are going the right direction. You have to use local coordinates, then use the standard coordinatization of the tangent space, and interpret the answer.
$endgroup$
– Charlie Frohman
Jan 2 at 14:56
$begingroup$
I think you are going the right direction. You have to use local coordinates, then use the standard coordinatization of the tangent space, and interpret the answer.
$endgroup$
– Charlie Frohman
Jan 2 at 14:56
add a comment |
0
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%2f3059097%2fan-exact-sequence-of-vector-bundles%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
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.
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%2f3059097%2fan-exact-sequence-of-vector-bundles%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$
I think you are going the right direction. You have to use local coordinates, then use the standard coordinatization of the tangent space, and interpret the answer.
$endgroup$
– Charlie Frohman
Jan 2 at 14:56