MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given an $n$-manifold $M$ (say), we can talk about its Euler characteristic $\chi(M)$.

  1. This can be generalized to the Euler number of any $n$-dimensional bundle ${\mathcal V}$. Or indeed, the Euler class of any $k$-dimensional oriented bundle.

  2. Or, given a map $f:M\to M$, we can talk about its Lefschetz number, where $\chi(M)$ is the Lefschetz number of the identity.

  3. Or, we can compute $M$'s Betti numbers, and see $\chi(M)$ as the alternating sum.

I know how to combine 2 & 3, replacing the Betti number by $Tr(f|_{H^i(M)})$.

Are 1 & 2 or 1 & 3 combinable? Or 1, 2, and 3?

I don't have an application in mind, just the usual mathematician's hankering to take LCMs wherever possible.

share|cite|improve this question
Given a map $f : M \to M$ you can post-compose it with the $0$-section of a vector bundle, this gives a map $M \to E$ where $E \to B$ is a vector bundle. There is a primary obstruction to homotoping this map to be disjoint from the $0$-section (like in Milnor and Stasheff). You could interpret that as a combination of 1, 2 and 3, in that it has all three cases as special cases. If the bundle was orientable, the primary obstruction would be an $m-k$ dimensional integral homology class in $M$, where the bundle fibers have dimension $k$. – Ryan Budney Aug 22 '11 at 7:45
How does it include 3? What is the analogue of a Betti number, that I would alternating-sum to get this obstruction class? – Allen Knutson Aug 22 '11 at 19:16
In my comment above, $B=M$, sorry about that confusion. I took point (3) as a type of "local summation formula" computation of $\chi M$. When you perturb $M \to E$ to be transverse to the $0$-section, the intersection will have various connected components, and your obstruction is the sum of those (with appropriate orientations). (3) can be interpreted as a version of that. – Ryan Budney Aug 23 '11 at 0:11

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.