An affine bundle has a global section?
$begingroup$
Let $X$ be a manifold. We say $pi: Y longrightarrow X$ is an rank $n$ affine bundle if there is an open cover ${ U_alpha }$ of $X$ such that
$ Y big|_{U_alpha} cong U_alpha times mathbb{R}^n $ and the transition function from $U_alpha$ to $U_beta$ is given by
$$ (x,v) mapsto (x, rho_{beta alpha }(x) v + u_{ beta alpha} (x)) $$ satisfying the cocycle condition
$ rho_{gamma alpha} (x) = rho_{gamma beta} (x) rho_{beta alpha } (x) $ and
$u_{gamma alpha}(x) = rho_{gamma beta} (x) u_{beta alpha} (x) + u_{gamma beta}(x)$.
Wikipedia claims that an affine bundle has a global section so it can be identified
with the vector bundle glued by the cocycles ${ rho_{gamma alpha} }$ in a non-canonical way.
How can we construct one exactly? Someone claimed that local sections exist so one can glue them to a global one by
standard partition of unity argument. Since multiplying by constant doesn't make sense for affine bundle, I cannot see why this is obvious.
geometry differential-geometry manifolds differential-topology vector-bundles
$endgroup$
add a comment |
$begingroup$
Let $X$ be a manifold. We say $pi: Y longrightarrow X$ is an rank $n$ affine bundle if there is an open cover ${ U_alpha }$ of $X$ such that
$ Y big|_{U_alpha} cong U_alpha times mathbb{R}^n $ and the transition function from $U_alpha$ to $U_beta$ is given by
$$ (x,v) mapsto (x, rho_{beta alpha }(x) v + u_{ beta alpha} (x)) $$ satisfying the cocycle condition
$ rho_{gamma alpha} (x) = rho_{gamma beta} (x) rho_{beta alpha } (x) $ and
$u_{gamma alpha}(x) = rho_{gamma beta} (x) u_{beta alpha} (x) + u_{gamma beta}(x)$.
Wikipedia claims that an affine bundle has a global section so it can be identified
with the vector bundle glued by the cocycles ${ rho_{gamma alpha} }$ in a non-canonical way.
How can we construct one exactly? Someone claimed that local sections exist so one can glue them to a global one by
standard partition of unity argument. Since multiplying by constant doesn't make sense for affine bundle, I cannot see why this is obvious.
geometry differential-geometry manifolds differential-topology vector-bundles
$endgroup$
add a comment |
$begingroup$
Let $X$ be a manifold. We say $pi: Y longrightarrow X$ is an rank $n$ affine bundle if there is an open cover ${ U_alpha }$ of $X$ such that
$ Y big|_{U_alpha} cong U_alpha times mathbb{R}^n $ and the transition function from $U_alpha$ to $U_beta$ is given by
$$ (x,v) mapsto (x, rho_{beta alpha }(x) v + u_{ beta alpha} (x)) $$ satisfying the cocycle condition
$ rho_{gamma alpha} (x) = rho_{gamma beta} (x) rho_{beta alpha } (x) $ and
$u_{gamma alpha}(x) = rho_{gamma beta} (x) u_{beta alpha} (x) + u_{gamma beta}(x)$.
Wikipedia claims that an affine bundle has a global section so it can be identified
with the vector bundle glued by the cocycles ${ rho_{gamma alpha} }$ in a non-canonical way.
How can we construct one exactly? Someone claimed that local sections exist so one can glue them to a global one by
standard partition of unity argument. Since multiplying by constant doesn't make sense for affine bundle, I cannot see why this is obvious.
geometry differential-geometry manifolds differential-topology vector-bundles
$endgroup$
Let $X$ be a manifold. We say $pi: Y longrightarrow X$ is an rank $n$ affine bundle if there is an open cover ${ U_alpha }$ of $X$ such that
$ Y big|_{U_alpha} cong U_alpha times mathbb{R}^n $ and the transition function from $U_alpha$ to $U_beta$ is given by
$$ (x,v) mapsto (x, rho_{beta alpha }(x) v + u_{ beta alpha} (x)) $$ satisfying the cocycle condition
$ rho_{gamma alpha} (x) = rho_{gamma beta} (x) rho_{beta alpha } (x) $ and
$u_{gamma alpha}(x) = rho_{gamma beta} (x) u_{beta alpha} (x) + u_{gamma beta}(x)$.
Wikipedia claims that an affine bundle has a global section so it can be identified
with the vector bundle glued by the cocycles ${ rho_{gamma alpha} }$ in a non-canonical way.
How can we construct one exactly? Someone claimed that local sections exist so one can glue them to a global one by
standard partition of unity argument. Since multiplying by constant doesn't make sense for affine bundle, I cannot see why this is obvious.
geometry differential-geometry manifolds differential-topology vector-bundles
geometry differential-geometry manifolds differential-topology vector-bundles
asked Apr 12 '18 at 17:31
Chris KuoChris Kuo
570210
570210
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Multiplication by functions doesn’t in general make sense, but affine combinations of sections do.
Specifically, if $sigma,tauinGamma(pi)$ are sections and $f, ginmathrm C^infty(X)$ are smooth functions on the base summing to unity, then the obvious definition of $fsigma + gtau$ is independent of trivialization if (!) $f(x)+g(x) = 1$. This defines affine combinations only for a finite number of terms, but you can of course also do that for an arbitrary one, as long as only a finite number of coefficients are non-zero at any given point.
Now choose a (locally finite) trivializing open cover of the bundle, a partition of unity corresponding to that cover and an arbitrary local section over every neighbourhood. Then the affine combination of these sections with coefficients given by this partition is a well-defined global section.
$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%2f2734237%2fan-affine-bundle-has-a-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$
Multiplication by functions doesn’t in general make sense, but affine combinations of sections do.
Specifically, if $sigma,tauinGamma(pi)$ are sections and $f, ginmathrm C^infty(X)$ are smooth functions on the base summing to unity, then the obvious definition of $fsigma + gtau$ is independent of trivialization if (!) $f(x)+g(x) = 1$. This defines affine combinations only for a finite number of terms, but you can of course also do that for an arbitrary one, as long as only a finite number of coefficients are non-zero at any given point.
Now choose a (locally finite) trivializing open cover of the bundle, a partition of unity corresponding to that cover and an arbitrary local section over every neighbourhood. Then the affine combination of these sections with coefficients given by this partition is a well-defined global section.
$endgroup$
add a comment |
$begingroup$
Multiplication by functions doesn’t in general make sense, but affine combinations of sections do.
Specifically, if $sigma,tauinGamma(pi)$ are sections and $f, ginmathrm C^infty(X)$ are smooth functions on the base summing to unity, then the obvious definition of $fsigma + gtau$ is independent of trivialization if (!) $f(x)+g(x) = 1$. This defines affine combinations only for a finite number of terms, but you can of course also do that for an arbitrary one, as long as only a finite number of coefficients are non-zero at any given point.
Now choose a (locally finite) trivializing open cover of the bundle, a partition of unity corresponding to that cover and an arbitrary local section over every neighbourhood. Then the affine combination of these sections with coefficients given by this partition is a well-defined global section.
$endgroup$
add a comment |
$begingroup$
Multiplication by functions doesn’t in general make sense, but affine combinations of sections do.
Specifically, if $sigma,tauinGamma(pi)$ are sections and $f, ginmathrm C^infty(X)$ are smooth functions on the base summing to unity, then the obvious definition of $fsigma + gtau$ is independent of trivialization if (!) $f(x)+g(x) = 1$. This defines affine combinations only for a finite number of terms, but you can of course also do that for an arbitrary one, as long as only a finite number of coefficients are non-zero at any given point.
Now choose a (locally finite) trivializing open cover of the bundle, a partition of unity corresponding to that cover and an arbitrary local section over every neighbourhood. Then the affine combination of these sections with coefficients given by this partition is a well-defined global section.
$endgroup$
Multiplication by functions doesn’t in general make sense, but affine combinations of sections do.
Specifically, if $sigma,tauinGamma(pi)$ are sections and $f, ginmathrm C^infty(X)$ are smooth functions on the base summing to unity, then the obvious definition of $fsigma + gtau$ is independent of trivialization if (!) $f(x)+g(x) = 1$. This defines affine combinations only for a finite number of terms, but you can of course also do that for an arbitrary one, as long as only a finite number of coefficients are non-zero at any given point.
Now choose a (locally finite) trivializing open cover of the bundle, a partition of unity corresponding to that cover and an arbitrary local section over every neighbourhood. Then the affine combination of these sections with coefficients given by this partition is a well-defined global section.
edited Jan 8 at 12:02
answered Jan 8 at 11:56
Alex ShpilkinAlex Shpilkin
324215
324215
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%2f2734237%2fan-affine-bundle-has-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