5
$\begingroup$

I found the following problem and I couldn't solve it. Let $X$ be a compact manifold and $f$ a Morse function (all of its critical points are non degenerate) on $X$. Prove that the sum of the Morse indices of $f$ at its critical points equals the Euler characteristic of $X$. The Morse index $ind_{x}(f)$ is defined as the sign of the determinant of the Hessian of $f$ at $x$, where $x$ is a critical non degenerate point. Does anyone have an idea? Thank you.

$\endgroup$
1
  • $\begingroup$ You should take the alternating sum. $\endgroup$
    – Thomas Rot
    May 18, 2017 at 13:13

1 Answer 1

3
$\begingroup$

I don't know what book you are using, but this is not a standard exercise. This is a big-name theorem for which the proof, or at least the one I am aware of, is ten levels of cleverness above a standard exercise. In fact, this theorem is probably one of the brightest achievements of a standard Morse theory course. This is the Poincare-Hopf theorem--you can find more here.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .