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.

In 2005, prof. Emil Skoldberg developed a theory, similar to Forman's Discrete Morse Theory, but suited for arbitrary based chain complexes, in his Morse Theory from an algebraic viewpoint. I'm going through the paper and am having some difficulties.

Question 1: On p. 116, in the definition of a Morse matching, there is written:

We call a partial matching $M$ on the digraph $G_K$ a Morse matching if for each edge $\alpha\to\beta\in M$ the corresponding component $d_{\beta,\alpha}$ is an isomorphism, and furthermore, there is a well-founded partial order $\preceq$ on each $I_n$ such that $\alpha\succ\gamma$ whenever there is a path $\alpha^{(n)}\to\beta\to\gamma^{(n)}$ in $G^M_K$.

Is $\preceq$ defined by "exists a path $\alpha^{(n)}\to\beta\to\gamma^{(n)}$ in $G^M_K$", or is that just a necessary condition on $\preceq$? More precisely, the word "whenever" in the above quote, is that meant as $\Leftarrow$ or $\Leftrightarrow$?

Question 2: In the proof of Theorem 2 on p. 121. How do Lemmas 3 and 4 imply that for $x\!\in\!K_\alpha$ with $\alpha\!\in\!M_n^0$ there holds $$\rho\pi(x)=x?$$ We have $\rho\pi(x)=\rho(x)-\rho\phi d(x)-\rho d\phi(x)$. Since $x\!\in\!C_n$ and $\rho$ is a projection, we have $\rho(x)=x$. By Lemma 3, we have $d\phi(x)\!=\!0$. By Lemma 4, we have $\phi d(x) = \sum_{\beta\preceq\alpha}y_\beta=:(\ast)$ for some $y_\beta\!\in\!K_\beta$, but why is $(\ast)=0$ when $\alpha$ is critical?

Question 3: In Corollary 3, in the first sum, $\sigma$ ranges through $M^0_{n-1}$, right?

P.S. I might later add additional questions regarding p.116-122.

share|improve this question
Also on mathoverflow. –  Martin Jan 15 '13 at 7:47
add comment

Your Answer


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

Browse other questions tagged or ask your own question.