The hypothesis $Kleq 0$ in the proof of Hadamard's Theorem












3














In chapter 7 from do Carmo's Riemannian Geometry, right after proving Hadamard's theorem, there is the following remark:





When he says "poles can exist in non-compact manifolds which have positive sectional curvature", I believe he is trying to justify the hypothesis "$Kleq 0$".



What I don't understand is: why did he have to talk about "non-compact manifolds"?



I thought he would say "poles can exist in complete manifolds with positive curvature", which makes perfect sense and justifies the hypothesis "$Kleq 0$".



I know I'm not crazy because exercise 13 (where $M$ is the parabolloid $z=x^2+y^2$) is precisely an example of a complete manifold with positive curvature having a pole (namely, the origin).



So what is this "non-compact" business?










share|cite|improve this question




















  • 1




    If $K>0$ and $M$ is compact then there are no poles. Of course, you can still have $K=0$, $M$ compact and no poles.
    – Moishe Cohen
    Jan 4 at 23:32










  • How can we prove that $K>0, M$ compact implies no poles?
    – rmdmc89
    2 days ago






  • 1




    Rauch Comparison Theorem.
    – Moishe Cohen
    2 days ago
















3














In chapter 7 from do Carmo's Riemannian Geometry, right after proving Hadamard's theorem, there is the following remark:





When he says "poles can exist in non-compact manifolds which have positive sectional curvature", I believe he is trying to justify the hypothesis "$Kleq 0$".



What I don't understand is: why did he have to talk about "non-compact manifolds"?



I thought he would say "poles can exist in complete manifolds with positive curvature", which makes perfect sense and justifies the hypothesis "$Kleq 0$".



I know I'm not crazy because exercise 13 (where $M$ is the parabolloid $z=x^2+y^2$) is precisely an example of a complete manifold with positive curvature having a pole (namely, the origin).



So what is this "non-compact" business?










share|cite|improve this question




















  • 1




    If $K>0$ and $M$ is compact then there are no poles. Of course, you can still have $K=0$, $M$ compact and no poles.
    – Moishe Cohen
    Jan 4 at 23:32










  • How can we prove that $K>0, M$ compact implies no poles?
    – rmdmc89
    2 days ago






  • 1




    Rauch Comparison Theorem.
    – Moishe Cohen
    2 days ago














3












3








3


3





In chapter 7 from do Carmo's Riemannian Geometry, right after proving Hadamard's theorem, there is the following remark:





When he says "poles can exist in non-compact manifolds which have positive sectional curvature", I believe he is trying to justify the hypothesis "$Kleq 0$".



What I don't understand is: why did he have to talk about "non-compact manifolds"?



I thought he would say "poles can exist in complete manifolds with positive curvature", which makes perfect sense and justifies the hypothesis "$Kleq 0$".



I know I'm not crazy because exercise 13 (where $M$ is the parabolloid $z=x^2+y^2$) is precisely an example of a complete manifold with positive curvature having a pole (namely, the origin).



So what is this "non-compact" business?










share|cite|improve this question















In chapter 7 from do Carmo's Riemannian Geometry, right after proving Hadamard's theorem, there is the following remark:





When he says "poles can exist in non-compact manifolds which have positive sectional curvature", I believe he is trying to justify the hypothesis "$Kleq 0$".



What I don't understand is: why did he have to talk about "non-compact manifolds"?



I thought he would say "poles can exist in complete manifolds with positive curvature", which makes perfect sense and justifies the hypothesis "$Kleq 0$".



I know I'm not crazy because exercise 13 (where $M$ is the parabolloid $z=x^2+y^2$) is precisely an example of a complete manifold with positive curvature having a pole (namely, the origin).



So what is this "non-compact" business?







riemannian-geometry smooth-manifolds curvature






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 4 at 12:53







rmdmc89

















asked Jan 4 at 12:45









rmdmc89rmdmc89

2,0931922




2,0931922








  • 1




    If $K>0$ and $M$ is compact then there are no poles. Of course, you can still have $K=0$, $M$ compact and no poles.
    – Moishe Cohen
    Jan 4 at 23:32










  • How can we prove that $K>0, M$ compact implies no poles?
    – rmdmc89
    2 days ago






  • 1




    Rauch Comparison Theorem.
    – Moishe Cohen
    2 days ago














  • 1




    If $K>0$ and $M$ is compact then there are no poles. Of course, you can still have $K=0$, $M$ compact and no poles.
    – Moishe Cohen
    Jan 4 at 23:32










  • How can we prove that $K>0, M$ compact implies no poles?
    – rmdmc89
    2 days ago






  • 1




    Rauch Comparison Theorem.
    – Moishe Cohen
    2 days ago








1




1




If $K>0$ and $M$ is compact then there are no poles. Of course, you can still have $K=0$, $M$ compact and no poles.
– Moishe Cohen
Jan 4 at 23:32




If $K>0$ and $M$ is compact then there are no poles. Of course, you can still have $K=0$, $M$ compact and no poles.
– Moishe Cohen
Jan 4 at 23:32












How can we prove that $K>0, M$ compact implies no poles?
– rmdmc89
2 days ago




How can we prove that $K>0, M$ compact implies no poles?
– rmdmc89
2 days ago




1




1




Rauch Comparison Theorem.
– Moishe Cohen
2 days ago




Rauch Comparison Theorem.
– Moishe Cohen
2 days ago










1 Answer
1






active

oldest

votes


















3














The reason Do Carmo restricts that comment to noncompact manifolds is because of some results that he will prove later, which show among other things that a manifold with sectional curvatures bounded below by a positive constant must have a conjugate point along every geodesic. In particular, as @MoisheCohen commented, if $M$ is compact and has strictly positive sectional curvature, then the curvature has a positive lower bound and thus $M$ has no poles.



But I don't understand your remark that the existence of poles in the positive curvature case would "justify the hypothesis $Kle 0$." My interpretation of that comment is sort of the opposite -- Hadamard's theorem shows that for complete manifolds, $Kle 0 $ is sufficient to guarantee the existence of poles, so one might wonder whether it's also necessary. Do Carmo's comment and the paraboloid example are meant to demonstrate that $Kle 0$ is far from necessary, in the sense that it's even possible to find a complete manifold with $K>0$ everywhere and that nonetheless has a pole.



It's worth noting, by the way, that Do Carmo's definition of a pole is nonstandard. Most Riemannian geometers define a pole to be a point $pin M$ such that the restricted exponential map $exp_pcolon T_pM to M$ is a global diffeomorphism. That implies that $p$ has no conjugate points, but it is much stronger. Of course, using the more usual definition of a pole, it's immediate that a manifold with a pole has to be diffeomorphic to $mathbb R^n$, so it can never be compact.






share|cite|improve this answer





















  • You're right about my comment, @ Jack Lee. I've confused the terms, but everything makes sense now. Thank you
    – rmdmc89
    2 days ago













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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3061621%2fthe-hypothesis-k-leq-0-in-the-proof-of-hadamards-theorem%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









3














The reason Do Carmo restricts that comment to noncompact manifolds is because of some results that he will prove later, which show among other things that a manifold with sectional curvatures bounded below by a positive constant must have a conjugate point along every geodesic. In particular, as @MoisheCohen commented, if $M$ is compact and has strictly positive sectional curvature, then the curvature has a positive lower bound and thus $M$ has no poles.



But I don't understand your remark that the existence of poles in the positive curvature case would "justify the hypothesis $Kle 0$." My interpretation of that comment is sort of the opposite -- Hadamard's theorem shows that for complete manifolds, $Kle 0 $ is sufficient to guarantee the existence of poles, so one might wonder whether it's also necessary. Do Carmo's comment and the paraboloid example are meant to demonstrate that $Kle 0$ is far from necessary, in the sense that it's even possible to find a complete manifold with $K>0$ everywhere and that nonetheless has a pole.



It's worth noting, by the way, that Do Carmo's definition of a pole is nonstandard. Most Riemannian geometers define a pole to be a point $pin M$ such that the restricted exponential map $exp_pcolon T_pM to M$ is a global diffeomorphism. That implies that $p$ has no conjugate points, but it is much stronger. Of course, using the more usual definition of a pole, it's immediate that a manifold with a pole has to be diffeomorphic to $mathbb R^n$, so it can never be compact.






share|cite|improve this answer





















  • You're right about my comment, @ Jack Lee. I've confused the terms, but everything makes sense now. Thank you
    – rmdmc89
    2 days ago


















3














The reason Do Carmo restricts that comment to noncompact manifolds is because of some results that he will prove later, which show among other things that a manifold with sectional curvatures bounded below by a positive constant must have a conjugate point along every geodesic. In particular, as @MoisheCohen commented, if $M$ is compact and has strictly positive sectional curvature, then the curvature has a positive lower bound and thus $M$ has no poles.



But I don't understand your remark that the existence of poles in the positive curvature case would "justify the hypothesis $Kle 0$." My interpretation of that comment is sort of the opposite -- Hadamard's theorem shows that for complete manifolds, $Kle 0 $ is sufficient to guarantee the existence of poles, so one might wonder whether it's also necessary. Do Carmo's comment and the paraboloid example are meant to demonstrate that $Kle 0$ is far from necessary, in the sense that it's even possible to find a complete manifold with $K>0$ everywhere and that nonetheless has a pole.



It's worth noting, by the way, that Do Carmo's definition of a pole is nonstandard. Most Riemannian geometers define a pole to be a point $pin M$ such that the restricted exponential map $exp_pcolon T_pM to M$ is a global diffeomorphism. That implies that $p$ has no conjugate points, but it is much stronger. Of course, using the more usual definition of a pole, it's immediate that a manifold with a pole has to be diffeomorphic to $mathbb R^n$, so it can never be compact.






share|cite|improve this answer





















  • You're right about my comment, @ Jack Lee. I've confused the terms, but everything makes sense now. Thank you
    – rmdmc89
    2 days ago
















3












3








3






The reason Do Carmo restricts that comment to noncompact manifolds is because of some results that he will prove later, which show among other things that a manifold with sectional curvatures bounded below by a positive constant must have a conjugate point along every geodesic. In particular, as @MoisheCohen commented, if $M$ is compact and has strictly positive sectional curvature, then the curvature has a positive lower bound and thus $M$ has no poles.



But I don't understand your remark that the existence of poles in the positive curvature case would "justify the hypothesis $Kle 0$." My interpretation of that comment is sort of the opposite -- Hadamard's theorem shows that for complete manifolds, $Kle 0 $ is sufficient to guarantee the existence of poles, so one might wonder whether it's also necessary. Do Carmo's comment and the paraboloid example are meant to demonstrate that $Kle 0$ is far from necessary, in the sense that it's even possible to find a complete manifold with $K>0$ everywhere and that nonetheless has a pole.



It's worth noting, by the way, that Do Carmo's definition of a pole is nonstandard. Most Riemannian geometers define a pole to be a point $pin M$ such that the restricted exponential map $exp_pcolon T_pM to M$ is a global diffeomorphism. That implies that $p$ has no conjugate points, but it is much stronger. Of course, using the more usual definition of a pole, it's immediate that a manifold with a pole has to be diffeomorphic to $mathbb R^n$, so it can never be compact.






share|cite|improve this answer












The reason Do Carmo restricts that comment to noncompact manifolds is because of some results that he will prove later, which show among other things that a manifold with sectional curvatures bounded below by a positive constant must have a conjugate point along every geodesic. In particular, as @MoisheCohen commented, if $M$ is compact and has strictly positive sectional curvature, then the curvature has a positive lower bound and thus $M$ has no poles.



But I don't understand your remark that the existence of poles in the positive curvature case would "justify the hypothesis $Kle 0$." My interpretation of that comment is sort of the opposite -- Hadamard's theorem shows that for complete manifolds, $Kle 0 $ is sufficient to guarantee the existence of poles, so one might wonder whether it's also necessary. Do Carmo's comment and the paraboloid example are meant to demonstrate that $Kle 0$ is far from necessary, in the sense that it's even possible to find a complete manifold with $K>0$ everywhere and that nonetheless has a pole.



It's worth noting, by the way, that Do Carmo's definition of a pole is nonstandard. Most Riemannian geometers define a pole to be a point $pin M$ such that the restricted exponential map $exp_pcolon T_pM to M$ is a global diffeomorphism. That implies that $p$ has no conjugate points, but it is much stronger. Of course, using the more usual definition of a pole, it's immediate that a manifold with a pole has to be diffeomorphic to $mathbb R^n$, so it can never be compact.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Jan 5 at 21:07









Jack LeeJack Lee

27k54565




27k54565












  • You're right about my comment, @ Jack Lee. I've confused the terms, but everything makes sense now. Thank you
    – rmdmc89
    2 days ago




















  • You're right about my comment, @ Jack Lee. I've confused the terms, but everything makes sense now. Thank you
    – rmdmc89
    2 days ago


















You're right about my comment, @ Jack Lee. I've confused the terms, but everything makes sense now. Thank you
– rmdmc89
2 days ago






You're right about my comment, @ Jack Lee. I've confused the terms, but everything makes sense now. Thank you
– rmdmc89
2 days ago




















draft saved

draft discarded




















































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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3061621%2fthe-hypothesis-k-leq-0-in-the-proof-of-hadamards-theorem%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

1300-talet

1300-talet

Display a custom attribute below product name in the front-end Magento 1.9.3.8