Mixing
Explicit computation of euler number of tangent bundle of sphere
$begingroup$
This is related to Bott-Tu Sec 11, Sphere Bundles. I would like to compute the euler characteristic of sphere bundle concretely. I have figured out the following so far.
Let $S^k$ be the $k-$sphere. Consider vector field $v$ starting from south pole to north pole by flowing. Clearly this gives a section to $T(S^k)$. Now normalize this section by considering any riemannian metric $||cdot||$ by $frac{v}{||v||}$ and this gives a section on sphere bundle of $S^k$ with fiber $S^{k-1}$ away from 2 points(i.e. south and north pole).
Since Euler number can be computed by sum of local degrees at south pole and north pole, I can compute the local degree at local trivializations of sphere bundle at south pole $a$ and north pole $b$. WLOG, one can assume local trivializations look like $D(x)times S^{k-1}$ where $D(x)$ is some open disk on sphere $S^k$ centered at $x$. Then consider the following maps. $partial D(x)xrightarrow{s}D(x)times S^{k-1}xrightarrow{pi_2} S^{k-1}$ and denote total map as $f_x$. Pick volume form $omega$ on $S^{k-1}$ where $omega$ can be standard volume form.
Since the degree is computed locally, one can consider $int_{partial D(x)}f_x^star(omega)=int_{partial D(x)}s^starpsi$ where $psi$ is the global angular form defined over $E$ and $x$ can be either south or north pole. This follows from $f_x^star$ defines form restricts cohomology generator on each fiber and thus same cohomology class as global angular form. Hence they differ by a total differential and then one can apply stoke theorem to see the integral agrees.(Here I have already assumed the support of $psi$ is away from $D(x)$ and one can shrink the size of disk if necessary.)
If I denote $s(x)=(x,v(x))$ with $v(x)in S^{k-1}$, then $pi_2circ s(x)=v(x)$. Hence $int_{partial D(x)}f_x^star(omega)=int_{partial D(x)} v^star(omega)$. I can take $omega$ to be standard volume form of $k-1$ sphere.
$textbf{Q:}$ Now I do not see an obvious way to compute this integral though I can write down the formula. How do I proceed further?
Ref. Bott-Tu Differential Forms in Algebraic Topology, Sec 11, Thm 11.16, Exercise 11.21
general-topology geometry differential-geometry algebraic-topology
asked Feb 1 at 3:30
user45765user45765
2,6982724
$endgroup$
add a comment |
$begingroup$
This is related to Bott-Tu Sec 11, Sphere Bundles. I would like to compute the euler characteristic of sphere bundle concretely. I have figured out the following so far.
Let $S^k$ be the $k-$sphere. Consider vector field $v$ starting from south pole to north pole by flowing. Clearly this gives a section to $T(S^k)$. Now normalize this section by considering any riemannian metric $||cdot||$ by $frac{v}{||v||}$ and this gives a section on sphere bundle of $S^k$ with fiber $S^{k-1}$ away from 2 points(i.e. south and north pole).
Since Euler number can be computed by sum of local degrees at south pole and north pole, I can compute the local degree at local trivializations of sphere bundle at south pole $a$ and north pole $b$. WLOG, one can assume local trivializations look like $D(x)times S^{k-1}$ where $D(x)$ is some open disk on sphere $S^k$ centered at $x$. Then consider the following maps. $partial D(x)xrightarrow{s}D(x)times S^{k-1}xrightarrow{pi_2} S^{k-1}$ and denote total map as $f_x$. Pick volume form $omega$ on $S^{k-1}$ where $omega$ can be standard volume form.
Since the degree is computed locally, one can consider $int_{partial D(x)}f_x^star(omega)=int_{partial D(x)}s^starpsi$ where $psi$ is the global angular form defined over $E$ and $x$ can be either south or north pole. This follows from $f_x^star$ defines form restricts cohomology generator on each fiber and thus same cohomology class as global angular form. Hence they differ by a total differential and then one can apply stoke theorem to see the integral agrees.(Here I have already assumed the support of $psi$ is away from $D(x)$ and one can shrink the size of disk if necessary.)
If I denote $s(x)=(x,v(x))$ with $v(x)in S^{k-1}$, then $pi_2circ s(x)=v(x)$. Hence $int_{partial D(x)}f_x^star(omega)=int_{partial D(x)} v^star(omega)$. I can take $omega$ to be standard volume form of $k-1$ sphere.
$textbf{Q:}$ Now I do not see an obvious way to compute this integral though I can write down the formula. How do I proceed further?
Ref. Bott-Tu Differential Forms in Algebraic Topology, Sec 11, Thm 11.16, Exercise 11.21
general-topology geometry differential-geometry algebraic-topology
asked Feb 1 at 3:30
user45765user45765
2,6982724
$endgroup$
add a comment |
$begingroup$
This is related to Bott-Tu Sec 11, Sphere Bundles. I would like to compute the euler characteristic of sphere bundle concretely. I have figured out the following so far.
Let $S^k$ be the $k-$sphere. Consider vector field $v$ starting from south pole to north pole by flowing. Clearly this gives a section to $T(S^k)$. Now normalize this section by considering any riemannian metric $||cdot||$ by $frac{v}{||v||}$ and this gives a section on sphere bundle of $S^k$ with fiber $S^{k-1}$ away from 2 points(i.e. south and north pole).
Since Euler number can be computed by sum of local degrees at south pole and north pole, I can compute the local degree at local trivializations of sphere bundle at south pole $a$ and north pole $b$. WLOG, one can assume local trivializations look like $D(x)times S^{k-1}$ where $D(x)$ is some open disk on sphere $S^k$ centered at $x$. Then consider the following maps. $partial D(x)xrightarrow{s}D(x)times S^{k-1}xrightarrow{pi_2} S^{k-1}$ and denote total map as $f_x$. Pick volume form $omega$ on $S^{k-1}$ where $omega$ can be standard volume form.
Since the degree is computed locally, one can consider $int_{partial D(x)}f_x^star(omega)=int_{partial D(x)}s^starpsi$ where $psi$ is the global angular form defined over $E$ and $x$ can be either south or north pole. This follows from $f_x^star$ defines form restricts cohomology generator on each fiber and thus same cohomology class as global angular form. Hence they differ by a total differential and then one can apply stoke theorem to see the integral agrees.(Here I have already assumed the support of $psi$ is away from $D(x)$ and one can shrink the size of disk if necessary.)
If I denote $s(x)=(x,v(x))$ with $v(x)in S^{k-1}$, then $pi_2circ s(x)=v(x)$. Hence $int_{partial D(x)}f_x^star(omega)=int_{partial D(x)} v^star(omega)$. I can take $omega$ to be standard volume form of $k-1$ sphere.
$textbf{Q:}$ Now I do not see an obvious way to compute this integral though I can write down the formula. How do I proceed further?
Ref. Bott-Tu Differential Forms in Algebraic Topology, Sec 11, Thm 11.16, Exercise 11.21
general-topology geometry differential-geometry algebraic-topology
asked Feb 1 at 3:30
user45765user45765
2,6982724
$endgroup$
This is related to Bott-Tu Sec 11, Sphere Bundles. I would like to compute the euler characteristic of sphere bundle concretely. I have figured out the following so far.
Let $S^k$ be the $k-$sphere. Consider vector field $v$ starting from south pole to north pole by flowing. Clearly this gives a section to $T(S^k)$. Now normalize this section by considering any riemannian metric $||cdot||$ by $frac{v}{||v||}$ and this gives a section on sphere bundle of $S^k$ with fiber $S^{k-1}$ away from 2 points(i.e. south and north pole).
Since Euler number can be computed by sum of local degrees at south pole and north pole, I can compute the local degree at local trivializations of sphere bundle at south pole $a$ and north pole $b$. WLOG, one can assume local trivializations look like $D(x)times S^{k-1}$ where $D(x)$ is some open disk on sphere $S^k$ centered at $x$. Then consider the following maps. $partial D(x)xrightarrow{s}D(x)times S^{k-1}xrightarrow{pi_2} S^{k-1}$ and denote total map as $f_x$. Pick volume form $omega$ on $S^{k-1}$ where $omega$ can be standard volume form.
Since the degree is computed locally, one can consider $int_{partial D(x)}f_x^star(omega)=int_{partial D(x)}s^starpsi$ where $psi$ is the global angular form defined over $E$ and $x$ can be either south or north pole. This follows from $f_x^star$ defines form restricts cohomology generator on each fiber and thus same cohomology class as global angular form. Hence they differ by a total differential and then one can apply stoke theorem to see the integral agrees.(Here I have already assumed the support of $psi$ is away from $D(x)$ and one can shrink the size of disk if necessary.)
If I denote $s(x)=(x,v(x))$ with $v(x)in S^{k-1}$, then $pi_2circ s(x)=v(x)$. Hence $int_{partial D(x)}f_x^star(omega)=int_{partial D(x)} v^star(omega)$. I can take $omega$ to be standard volume form of $k-1$ sphere.
$textbf{Q:}$ Now I do not see an obvious way to compute this integral though I can write down the formula. How do I proceed further?
Ref. Bott-Tu Differential Forms in Algebraic Topology, Sec 11, Thm 11.16, Exercise 11.21
general-topology geometry differential-geometry algebraic-topology
general-topology geometry differential-geometry algebraic-topology
asked Feb 1 at 3:30
user45765user45765
2,6982724
asked Feb 1 at 3:30
user45765user45765
2,6982724
edited Feb 1 at 3:43
user45765
asked Feb 1 at 3:30
user45765user45765
2,6982724
asked Feb 1 at 3:30
user45765user45765
2,6982724
asked Feb 1 at 3:30
user45765user45765
2,6982724
2,6982724
add a comment |
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%2f3095781%2fexplicit-computation-of-euler-number-of-tangent-bundle-of-sphere%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%2f3095781%2fexplicit-computation-of-euler-number-of-tangent-bundle-of-sphere%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
