Welcome to MathOverflow

Question

1

The classical lefschetz fixpoint theorem is stated for oriented compact manifolds $M$ and a smooth map $f:M\to M$ as follows: the intersection number $I(\Delta, \mathrm{graph}(f))$ is equal to the lefschetz number $L(f)$.

First it is clear, that the intersection number at a fixpoint is independent of the orientation attached to a neighborhood of the fixpoint. So the intersection number makes sense.

There is the weaker lefschetz fixpoint theorem for finite simplicial complexes, which also applies in this case, where you only get the existence of fixpoints.

The question is if the above version with the intersection number holds for non-orientable manifolds too.

edited Jan 21 at 20:56

asked Jan 21 at 20:37

Raphael Reinauer
11●2

	I added the question. – Raphael Reinauer Jan 21 at 20:57
	Yes. You can reduce to the orientable case. There is a bundle of $1$-disks over $M$ that is orientable. Use $f$ to make a map from this to itself. – Tom Goodwillie Jan 22 at 1:43

Rami Luisto · Answer 1 · 2013-01-22 22:50:32Z UTC

2

I agree with Tom, but I would use the 2-to-1 oriented cover of a non-oriented manifold (described for example in Allen Hatcher's book 'Algebraic Topology', p.234) to reduce the problem to the orientable case. I believe you can lift your map between the oriented covers. (I am not very familiar with bundles, so I apologize if my answer is identical to Tom's.)

answered Jan 22 at 22:50

Rami Luisto
122●8

	A beginner's question about the customs of mathoverflow: Should I have added this answer as a comment to the question (as Tom Goodwillie did) or was it okay to add an 'actual' answer? – Rami Luisto Jan 22 at 22:55
	If it answers the question, or makes substantial progress to an answer, or is too long to be a comment, then yes it's appropriate. Sometimes, a sufficient answer is really trivial and people will just leave it as a comment, but is a matter of taste. – Chris Gerig Jan 22 at 23:01
	Thanks, Chris. Good to know even though it will apparently take some time before I amass the required 50 reputation to actually be able to leave comments to questions. – Rami Luisto Jan 22 at 23:04

Lefschetz Fixpoint theorem for non-orientable manifolds

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.