Lefschetz number of constant map

255 Views Asked by At

Consider a map from a connected $n$-manifold $M$ to itself defined by $f(p) = c$ for some fixed $c \in M$. This is a Lefschetz map since the subset $M \times \{c \}$ intersects the diagonal $\Delta$ transversely.

We can compute the Lefchetz number in two different ways, first algerbaic-topologically as the alternating sum of the trace of $f_*$ on $H_*(M)$. Then $f_*$ is the identity on $H_0(M)$ and zero on the higher homology groups. So the trace of $f_*$ on $H_0(M)$ is $1$ and zero on the higher homology groups. Therefore we get that the Lefschetz number of $f$ is 1 using the algerbaic-topological method, let's write $L^{AT}(f) = 1$.

Now consider the differential topological description given by the Lefschetz-Hopf theorem as the sum of the local Lefschetz number of the fixed points. Clearly $f$ has precisely one fixed point $c$. The Local Lefschetz number $L_c (f)$ is equal to the sign of the determinant of $df_c - Id$. However, here we have $df_c = 0$ since $f$ is the constant map. So we have $det(df_c - Id) = det(0-Id) = det(-Id) = (-1)^n$ and so we have $L_c(f) = (-1)^n$ where $n$ is the dimension of the manifold. In particular this allows us to calculate the Lefschetz number differential-topologically and get $(-1)^n$ instead, let's write $L^{DT}(f) = (-1)^n$.

Now observe for odd dimensional manifolds we get $L^{DT}(f) = -1$ while $L^{AT}(f)=1$. However, the Lefschetz-Hopf theorem says these two definitions of the Lefschetz number should agree.

Question: Why do we have $L^{AT}(f) \neq L^{DT} (f)$ for odd dimensional manifolds? Is there some error in my calculations?