5
$\begingroup$

Let $M^n$ be a closed manifold (I think we can also assume it is connected, though it isn't explicitly stated). Let $f:M^n \to \mathbb{R}P^n$ be a smooth map, and let be $a \in \mathbb{R}P^n$ be a regular value of $f.$ Then, since both manifolds have the same dimension, by the inverse mapping theorem $f$ is a local diffeomorphism near each $x \in f^{-1}(a),$ and so $f^{-1}(a)$ is discrete (hence finite by compactness of $M$).

I want to show the following: If $\pi_1(f)$ is the zero map, then $f^{-1}(a)$ has an even number of points.

I've been thinking about this for a while, but I don't see the idea behind the proof yet. The cases $n=1$ and $n \geq 2$ seem quite different: when $n=1$ then we're really looking at maps $f:S^1 \to S^1$ of degree zero; intuitively such a loop needs to pass through a regular point an even number of times in order to end at its starting point. For the case $n \geq 2$ we have $\pi_1(\mathbb{R}P^n) = \mathbb{Z}/2.$

Since $\pi(f) = 0,$ by the lifting theorem we know that there exists a lift $g:M \to S^n$ of $f$ (i.e. $f = p \circ g$ where $p:S^n \to \mathbb{R}P^n$ is the canonical map). So it seems like the "evenness" of points in $f^{-1}(a)$ should come from the antipodal action on $S^n$ somehow.

I'd be glad if someone could give me a hint in the right direction.

$\endgroup$
2
$\begingroup$

Here's another argument: Every regular value $a \in \mathbb{R}P^n$ of $f$ corresponds to a pair of regular values $b,-b \in S^n$ of the lift $g: M^n \to S^n$, and $$|f^{-1}(a)|=|g^{-1}(b)|+|g^{-1}(-b)|.$$ Since the mod-2 degree of a smooth map is given by the cardinality (modulo 2) of the preimage of any regular value, we have $$|f^{-1}(a)| = |g^{-1}(b)|+|g^{-1}(-b)| \equiv 2\deg_2(g) \equiv 0 \quad \operatorname{mod} 2. $$

$\endgroup$
3
$\begingroup$

Let $y$ be the generator of $H^1(\mathbb RP^n, \mathbb Z_2)$. Then $y^n\in H^n(\mathbb RP^n, \mathbb Z_2)$ is the fundamental class of $\mathbb RP^n$. The inverse image $f^*(y^n)$ is equal to either zero or the fundamental class $x\in H^n(M^n,\mathbb Z_2)$.

More generally, given the smooth map $f$ between smooth connected closed manifolds $M$ and $N$ of the same dimension $n$, the pullback map $f^*\colon H^n(N, \mathbb Z_2)\to H^n(M, \mathbb Z_2)$ is zero iff the number of preimages of any regular value in $N$ is even. So we need to show that in our case $f^*(y^n) = 0$. Note that $f^*(y^n) = f^*(y)^n$, so it is enough to show that $f^*(y)=0$.

Since $f_*\colon \pi_1(M)\to\pi_1(\mathbb RP^n)$ is zero, the same holds for $f_*\colon H_1(M,\mathbb Z_2)\to H_1(\mathbb RP^2, \mathbb Z_2)$, because every element of $H_1(M, \mathbb Z_2)$ may be realized as a union of closed curves. This means that the value of cochain $f^*(y)$ on any 1-cycle in $H_1(M, \mathbb Z_2)$ is zero. The pairing between homology and cohomology of given dimension in given space is always non-degenerate, so we have $f^*(y)=0$ and therefore $f^*(y)^n = f^*(y^n) = 0$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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