Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am trying to show that a smooth function $f:S^1\times S^1\to \mathbb R$ must have more than two critical points. Since $f$ attains maximum and minimum, it must have at least two critical points. How would one show that they can't be two?

If one considers the gradient vector field $\nabla f$ then by the Poincare Hopf index theorem its index is equal to the Euler characteristic of the torus, i.e. it is $0$. Therefore $\nabla f$ has an even number of zeros.

This question has been posted here but it hasn't been answered.

share|improve this question
2  
Are you familiar with Morse theory? If you assume the critical points are non-degenerate (which you should be able to do by taking a small perturbation), then the Morse inequalities give you the result immediately. Alternatively, you could show directly that the decomposition corresponding to a function with only two critical points must give you a sphere. –  anomaly Sep 13 at 21:33
    
@anomaly I am not familiar with Morse theory. What is this decomposition you are mentioning? –  Dimitrios Nt Sep 13 at 23:58
    
I am studying from Guillemin Pollack. An idea I have is that when we have maximum or minimum for $f$, this corresponds to a "source" or "sink" (using G-P terminology), and at those points the index of $\nabla f$ should be $+1$. Thus, in order to have Euler characteristic $0$, we must have either two saddle points that correspond to index $-1$ each, or one point with index $-2$. –  Dimitrios Nt Sep 14 at 0:15

3 Answers 3

up vote 2 down vote accepted

The only closed manifolds which allow a function with two (maybe degenerate) critical points are spheres. In dimension 2 it is quite easy to prove.

One of these critical points is maximum and another is minimum. Any level set in between is compact and has dimension 1, so it is disjoint union of circles. Now use an argument from Morse theory: because there is no critical points between two such level sets, the gradient vector field gives diffeomorphism of them. So the whole space is the suspension over disjoint union of circles. It is not difficult to show that it is manifold only in case of one circle, and then it is 2-sphere, not torus.

share|improve this answer
    
I like this argument! –  Dimitrios Nt Oct 13 at 15:54

One way to prove it, is to use the Lusternik–Schnirelmann category:

Definition: Let $A$ be a closed nonempty subset of a topological space $X$. We define the Lusternik–Schnirelmann category of $A$ as the number $$\operatorname{cat}_X(A)=\min\left\{n\in\mathbb{N}:\ A\subset \bigcup_{i=1}^nA_n,\ A_n\ \mbox{is contractible to a point in}\ X,\ A_n\ \mbox{closed}\right \}.$$

The idea behind this number, is that it is related to the number of critical points of a function $f$. For instance, if $X$ is a compact manifold and $f:X\to \mathbb{R}$ is a smooth function then, the number of critical points of $f$ is bigger than or equal to $\operatorname{cat}_X(X)$.

It is an interesting problem to compute $\operatorname{cat}_X(X)$ in the case $X$ is the torus. You can show that in this case, $\operatorname{cat}_X(X)=3$.

There are plenty of references on this subject, however, as I am an analyst, I would like to refer you to the book of Drabek and Milota, in particular, chapter 6, section 6.4B.

share|improve this answer

http://link.springer.com/chapter/10.1007%2F978-1-4757-0280-4_20#page-1

I loved reading this article. In it, Taubes gives a down-to-earth way to understand some uses of Morse theory. You'll find his explanation for finding the third critical point on a torus -- it's a standard approach using the Mountain Pass Theorem.

share|improve this answer
    
That's a nice argument which is pretty sumple! –  Dimitrios Nt Sep 13 at 23:57

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.