Constant Rank Theorem for Manifolds with Boundary
I'm trying to answer problem 4-3 from Lee's Introduction to Smooth Manifolds, 2nd edition. The problem says:
Formulate and prove a version of the rank theorem for a map of constant rank whose domain is a smooth manifold with boundary.
Lee himself gave a hint in another question. Here is what I have so far:
I'm assuming I have a smooth map of constant rank $F: mathbb{H}^mrightarrowmathbb{R}^n$. Let's say $mathrm{rank}(F)=k$. Then I extend $F$ to a smooth map $tilde{F}:mathbb{R}^mrightarrowmathbb{R}^n$. I can shrink the domain to a small enough neighborhood of $mathbf{0}$, $U$, such that there is a projection $pi:mathbb{R}^nrightarrowmathbb{R}^k$ with $pitilde{F}_{|U}$ a submersion. The actual constant-rank theorem then says we have charts $(A,alpha)$ and $(B,beta)$ with
$$ betacircpitilde{F}circalpha^{-1}:alpha(A)rightarrowbeta(B)$$
If I write the coordinates of $mathbb{H}^m$ as $(x,y)$ and the coordinates of of $alpha(A)$ as $(a,t)$, then this map looks like
$$ betacircpitilde{F}circalpha^{-1}(a,t) = a$$
I can switch the order so the projection is the last map applied:
$$ picirc(betatimesmathrm{id})circtilde{F}circalpha^{-1}equivbetacircpitilde{F}circalpha^{-1}$$
Which finally means
$$(betatimesmathrm{id})circtilde{F}circalpha^{-1}(a,t)=(a,S(a,t))$$
Where $S:alpha(A)rightarrowmathbb{R}^{(n-k)}$.
This is pretty similar to how the constant-rank theorem is proved, but now I'm stuck. The map above, restricted to $alpha(Acapmathbb{H}^m)$, has rank $k$. But that does not mean $S$ is independent of $y$. That's because $alpha$ is not necessarily a boundary chart on $Acapmathbb{H}^m$. I also don't see any way to make $alpha$ a boundary chart (something similar is proved in Lee's book, but crucially uses that $F$ is an immersion).
Can someone give me a hint as to how to finish this? Ideally I'd get to a place where (with possibly different charts)
$$ tilde{beta}circ Fcirctilde{alpha}^{-1}(a,t) = (a,0)$$
and $tilde{alpha}$ is a boundary chart.
Bonus question: where do I use Lee's assumption (from the hint) that $ker dF_pnotsubseteq T_ppartialmathbb{H}^m$?
differential-geometry smooth-manifolds manifolds-with-boundary smooth-functions
add a comment |
I'm trying to answer problem 4-3 from Lee's Introduction to Smooth Manifolds, 2nd edition. The problem says:
Formulate and prove a version of the rank theorem for a map of constant rank whose domain is a smooth manifold with boundary.
Lee himself gave a hint in another question. Here is what I have so far:
I'm assuming I have a smooth map of constant rank $F: mathbb{H}^mrightarrowmathbb{R}^n$. Let's say $mathrm{rank}(F)=k$. Then I extend $F$ to a smooth map $tilde{F}:mathbb{R}^mrightarrowmathbb{R}^n$. I can shrink the domain to a small enough neighborhood of $mathbf{0}$, $U$, such that there is a projection $pi:mathbb{R}^nrightarrowmathbb{R}^k$ with $pitilde{F}_{|U}$ a submersion. The actual constant-rank theorem then says we have charts $(A,alpha)$ and $(B,beta)$ with
$$ betacircpitilde{F}circalpha^{-1}:alpha(A)rightarrowbeta(B)$$
If I write the coordinates of $mathbb{H}^m$ as $(x,y)$ and the coordinates of of $alpha(A)$ as $(a,t)$, then this map looks like
$$ betacircpitilde{F}circalpha^{-1}(a,t) = a$$
I can switch the order so the projection is the last map applied:
$$ picirc(betatimesmathrm{id})circtilde{F}circalpha^{-1}equivbetacircpitilde{F}circalpha^{-1}$$
Which finally means
$$(betatimesmathrm{id})circtilde{F}circalpha^{-1}(a,t)=(a,S(a,t))$$
Where $S:alpha(A)rightarrowmathbb{R}^{(n-k)}$.
This is pretty similar to how the constant-rank theorem is proved, but now I'm stuck. The map above, restricted to $alpha(Acapmathbb{H}^m)$, has rank $k$. But that does not mean $S$ is independent of $y$. That's because $alpha$ is not necessarily a boundary chart on $Acapmathbb{H}^m$. I also don't see any way to make $alpha$ a boundary chart (something similar is proved in Lee's book, but crucially uses that $F$ is an immersion).
Can someone give me a hint as to how to finish this? Ideally I'd get to a place where (with possibly different charts)
$$ tilde{beta}circ Fcirctilde{alpha}^{-1}(a,t) = (a,0)$$
and $tilde{alpha}$ is a boundary chart.
Bonus question: where do I use Lee's assumption (from the hint) that $ker dF_pnotsubseteq T_ppartialmathbb{H}^m$?
differential-geometry smooth-manifolds manifolds-with-boundary smooth-functions
add a comment |
I'm trying to answer problem 4-3 from Lee's Introduction to Smooth Manifolds, 2nd edition. The problem says:
Formulate and prove a version of the rank theorem for a map of constant rank whose domain is a smooth manifold with boundary.
Lee himself gave a hint in another question. Here is what I have so far:
I'm assuming I have a smooth map of constant rank $F: mathbb{H}^mrightarrowmathbb{R}^n$. Let's say $mathrm{rank}(F)=k$. Then I extend $F$ to a smooth map $tilde{F}:mathbb{R}^mrightarrowmathbb{R}^n$. I can shrink the domain to a small enough neighborhood of $mathbf{0}$, $U$, such that there is a projection $pi:mathbb{R}^nrightarrowmathbb{R}^k$ with $pitilde{F}_{|U}$ a submersion. The actual constant-rank theorem then says we have charts $(A,alpha)$ and $(B,beta)$ with
$$ betacircpitilde{F}circalpha^{-1}:alpha(A)rightarrowbeta(B)$$
If I write the coordinates of $mathbb{H}^m$ as $(x,y)$ and the coordinates of of $alpha(A)$ as $(a,t)$, then this map looks like
$$ betacircpitilde{F}circalpha^{-1}(a,t) = a$$
I can switch the order so the projection is the last map applied:
$$ picirc(betatimesmathrm{id})circtilde{F}circalpha^{-1}equivbetacircpitilde{F}circalpha^{-1}$$
Which finally means
$$(betatimesmathrm{id})circtilde{F}circalpha^{-1}(a,t)=(a,S(a,t))$$
Where $S:alpha(A)rightarrowmathbb{R}^{(n-k)}$.
This is pretty similar to how the constant-rank theorem is proved, but now I'm stuck. The map above, restricted to $alpha(Acapmathbb{H}^m)$, has rank $k$. But that does not mean $S$ is independent of $y$. That's because $alpha$ is not necessarily a boundary chart on $Acapmathbb{H}^m$. I also don't see any way to make $alpha$ a boundary chart (something similar is proved in Lee's book, but crucially uses that $F$ is an immersion).
Can someone give me a hint as to how to finish this? Ideally I'd get to a place where (with possibly different charts)
$$ tilde{beta}circ Fcirctilde{alpha}^{-1}(a,t) = (a,0)$$
and $tilde{alpha}$ is a boundary chart.
Bonus question: where do I use Lee's assumption (from the hint) that $ker dF_pnotsubseteq T_ppartialmathbb{H}^m$?
differential-geometry smooth-manifolds manifolds-with-boundary smooth-functions
I'm trying to answer problem 4-3 from Lee's Introduction to Smooth Manifolds, 2nd edition. The problem says:
Formulate and prove a version of the rank theorem for a map of constant rank whose domain is a smooth manifold with boundary.
Lee himself gave a hint in another question. Here is what I have so far:
I'm assuming I have a smooth map of constant rank $F: mathbb{H}^mrightarrowmathbb{R}^n$. Let's say $mathrm{rank}(F)=k$. Then I extend $F$ to a smooth map $tilde{F}:mathbb{R}^mrightarrowmathbb{R}^n$. I can shrink the domain to a small enough neighborhood of $mathbf{0}$, $U$, such that there is a projection $pi:mathbb{R}^nrightarrowmathbb{R}^k$ with $pitilde{F}_{|U}$ a submersion. The actual constant-rank theorem then says we have charts $(A,alpha)$ and $(B,beta)$ with
$$ betacircpitilde{F}circalpha^{-1}:alpha(A)rightarrowbeta(B)$$
If I write the coordinates of $mathbb{H}^m$ as $(x,y)$ and the coordinates of of $alpha(A)$ as $(a,t)$, then this map looks like
$$ betacircpitilde{F}circalpha^{-1}(a,t) = a$$
I can switch the order so the projection is the last map applied:
$$ picirc(betatimesmathrm{id})circtilde{F}circalpha^{-1}equivbetacircpitilde{F}circalpha^{-1}$$
Which finally means
$$(betatimesmathrm{id})circtilde{F}circalpha^{-1}(a,t)=(a,S(a,t))$$
Where $S:alpha(A)rightarrowmathbb{R}^{(n-k)}$.
This is pretty similar to how the constant-rank theorem is proved, but now I'm stuck. The map above, restricted to $alpha(Acapmathbb{H}^m)$, has rank $k$. But that does not mean $S$ is independent of $y$. That's because $alpha$ is not necessarily a boundary chart on $Acapmathbb{H}^m$. I also don't see any way to make $alpha$ a boundary chart (something similar is proved in Lee's book, but crucially uses that $F$ is an immersion).
Can someone give me a hint as to how to finish this? Ideally I'd get to a place where (with possibly different charts)
$$ tilde{beta}circ Fcirctilde{alpha}^{-1}(a,t) = (a,0)$$
and $tilde{alpha}$ is a boundary chart.
Bonus question: where do I use Lee's assumption (from the hint) that $ker dF_pnotsubseteq T_ppartialmathbb{H}^m$?
differential-geometry smooth-manifolds manifolds-with-boundary smooth-functions
differential-geometry smooth-manifolds manifolds-with-boundary smooth-functions
asked Nov 27 at 0:41
Hempelicious
122110
122110
add a comment |
add a comment |
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%2f3015160%2fconstant-rank-theorem-for-manifolds-with-boundary%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%2f3015160%2fconstant-rank-theorem-for-manifolds-with-boundary%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