MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
2

1

Let $C_{\ast} : \cdots \to A_{2} \to A_{1} \to A_{0} \to 0$ be a chain complex of finite dimensional vector spaces over a field $K$.

And let $f_{\ast} : C_{\ast} \to C_{\ast}$ and $g_{\ast} : C_{\ast} \to C_{\ast}$ be two chain endomorphisms of $C_{\ast}$ satisfying $\det (f_{n}) \neq 0$ and $\det (g_{n}) \neq 0$ for any $n$.

Assume that the homology group $H_{n}(C_{\ast})$ is zero for all but finitely many $n$. Then, the induced homomorphism $H_{n}(f_{\ast}) : H_{n}(C_{\ast}) \to H_{n}(C_{\ast})$ is zero for all but finitely many $n$, and so the alternating product $\prod_{n}\det (H_{n}(f_{\ast}))^{(-1)^{n}}$ is well-defined (of course, the same holds for $g_{\ast}$).

Moreover, assume that $\det (f_{n}) = \det (g_{n})$ for any $n$.

My question is:


QUESTION

Under the above conditions, does the next equation hold up to sign?

$\prod_{n} \det (H_{n}(f_{\ast}))^{(-1)^{n}} = \prod_{n} \det (H_{n}(g_{\ast}))^{(-1)^{n}}$.


Note that if the chain complex $C_{\ast}$ is bounded above, the statement can be proved as follows:

$\prod_{n} \det (H_{n}(f_{\ast}))^{(-1)^{n}} = \prod_{n} \det (f_{n})^{(-1)^{n}} = \prod_{n} \det (g_{n})^{(-1)^{n}} = \prod_{n} \det (H_{n}(g_{\ast}))^{(-1)^{n}}$

Here, the first and the last equation can be shown by using induction on the length of $C_{\ast}$, snake lemma and the multiplicativity of $\det$ for short exact sequences. The middle equation is the result of the assumption.

The problem is that, in general, $\prod_{n} \det (f_{n})^{(-1)^{n}}$ and $\prod_{n} \det (g_{n})^{(-1)^{n}}$ are not well-defined.

By Sawin's answer

There is a counterexample if one does not admit the difference of sign.

Please give me any advice.

flag

1 Answer

2

This is false. Let $C_*$ be the complex where each $C_i$ is two-dimensional and all the maps have rank one, so that there is homology only in degree $0$. Let $f$ be the identity, and let $g$ be multiplication by $-1$. Then since they are acting on two-dimensional vector spaces, their determinants are the same everywhere. But the homology group is one-dimensional, so the determinants of their action on homology are $+1$ and $-1$ respectively, which are different.

link|flag
Tanks for your answer! How about if one admits the difference of sign? – Hiro Dec 30 at 20:10
There's nothing special about $-1$ in this example. For instance, by taking the $C_i$ to be $n$-dimensional with differentials alternating between rank 1 and rank $n-1$, you can get any root of unity. With a little more work you should be able to get any invertible scalar as the quotient of the two determinants. – Eric Wofsey Dec 30 at 20:28
1 
Actually this same chain complex gets you any invertible scalar. Let $g$ act on each two-dimensional vector space with eigenvalues $\lambda$ and $\lambda^{-1}$ with the eigenspaces being the image of the chain map and a complement, alternatingly. Let $f$ be the indentity again. – Will Sawin Dec 30 at 20:51
Thank you for your kind! I did not think one can make any difference! – Hiro Dec 30 at 20:55

Your Answer

Get an OpenID
or

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