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?






riemannian-geometry smooth-manifolds curvature







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?






riemannian-geometry smooth-manifolds curvature







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?






riemannian-geometry smooth-manifolds curvature







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




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

An IMO inspired problem

Image
14 4 This problem from IMO 1988 is said to be one of the most elegant ones in functional equations. Problem : The function $f$ is defined on the set of all positive integers as follows: begin{align} f(1) = 1, f(3) &= 3, f(2n) = f(n), \ f(4n+1) &= 2f(2n+1) - f(n), \ f(4n+3) &= 3 f(2n+1) - 2f(n) end{align} Find the number of $n$ with $f(n) = n, 1 leq n leq 1988$. The main idea towards the solution is realizing that these conditions stand for the fact that $f(n)$ just reverses the digits in the binary representation of the number $n$. So, essentially the solution is finding the number of binary pallindromes $leq 1988_{10}$. My question is the following : How to reformulate the problem so that $f(n)$ reverses the digits of $n$ in its ternary representation. Or even better, can we reformulate it for a
Read more

Management

Image
Management From Wikipedia, the free encyclopedia Jump to navigation Jump to search "Manager" redirects here. For other uses, see Management (disambiguation) and Manager (disambiguation). An organization chart for the United States Coast Guard shows the hierarchy of managerial roles in that organization. Business administration Management of a business Accounting Management accounting Financial accounting Financial audit Business entities Cooperative Corporation Limited liability company Partnership Sole proprietorship State-owned enterprise Corporate governance Annual general meeting Board of directors Supervisory board Advisory board Audit committee Corporate law Commercial law Constitutional documents Contract Corporate crime Corporate liability Insolvency law International trade law Mergers and acquisitions Economics Commodity Pu
Read more

Has there ever been an instance of an active nuclear power plant within or near a war zone?

Image
36 3 The question Has there ever been a military combat going on around an active (running or in outage but not decommissioned) commercial nuclear power plant? Or dangerously near it? If yes, how did the plant and its personnel fare in such situation? Why I ask Let's assume for the scope of this question modern commercial nuclear power plants (CANDU, PWR, BWR of generation II plus all of gen III and newer) are usually reasonably safe to operate given that the engineering has been done right and there is a whole cohort of very well trained personnel on-site at all times, well rested and with considerable resources on their hands. Things hard to get with an armed conflict like the recent Syrian war raging around. I can't seem to find any reference or a comprehensive article about this, hence this question.
Read more