Can Even Maps Between n-Spheres Have Odd Homological Degrees?

  • Context: Undergrad 
  • Thread starter Thread starter Euge
  • Start date Start date
  • Tags Tags
    2017
Click For Summary
SUMMARY

This discussion centers on the mathematical proof that if \( n > 0 \), an even map between \( n \)-spheres possesses an even homological degree. The problem was presented as this week's Problem of the Week (POTW) on Math Help Boards, but no participants provided solutions. The original poster shared their own solution, reinforcing the established fact that the homological degree of such maps is inherently even.

PREREQUISITES
  • Understanding of homological algebra
  • Familiarity with the topology of spheres
  • Knowledge of even and odd maps in topology
  • Basic principles of algebraic topology
NEXT STEPS
  • Study the properties of homological degrees in algebraic topology
  • Explore the implications of even and odd maps in topological spaces
  • Research the topology of \( n \)-spheres and their mappings
  • Examine related problems in the Problem of the Week archives
USEFUL FOR

Mathematicians, topology students, and researchers interested in algebraic topology and the properties of mappings between spheres.

Euge
Gold Member
MHB
POTW Director
Messages
2,072
Reaction score
245
Here is this week's POTW:

-----
Prove that if $n > 0$, an even map between $n$-spheres has even homological degree.-----

Remember to read the http://www.mathhelpboards.com/showthread.php?772-Problem-of-the-Week-%28POTW%29-Procedure-and-Guidelines to find out how to http://www.mathhelpboards.com/forms.php?do=form&fid=2!
 
Physics news on Phys.org
No one answered this week’s problem. You can read my solution below.
Let $f : \Bbb S^n \to \Bbb S^n$ be an even continuous map. Then $f$ factors through the quotient map $p : \Bbb S^n \to \Bbb RP^n$. When $n$ is even, the induced map $f_*$ on $H_n$ is the composition $H_n(\Bbb S^n) \to 0 \to H_n(\Bbb S^n)$, so the degree of $f$ is zero. If $n$ is odd, the projection map $q:\Bbb RP^n \to \Bbb RP^n/\Bbb RP^{n-1}$ induces a homology sequence $$H_n(\Bbb RP^{n-1}) \to H_n(\Bbb RP^{n}) \xrightarrow{q_*} H_n(\Bbb RP^n/\Bbb RP^{n-1}) \to H_{n-1}(\Bbb RP^{n-1})$$ where the first and last terms are $0$ (the last term is zero since $n-1$ is even). Thus $q_*$ is isomorphism, and $f_*$ can be viewed as induced by the composition $\Bbb S^n \xrightarrow{p} \Bbb RP^n \xrightarrow{q} \Bbb RP^n/RP^{n-1} = S^n$. Note $qp$ restricted to the components of $\Bbb S^n \setminus \Bbb S^{n-1}$ are homeomorphisms that differ by the antipodal map on $\Bbb S^n$, the degree of which is $1$ since $n$ is odd. Thus, $qp$ has degree $1 + 1 = 2$, which implies $f_*$ is multiplication by $2$. So $f$ has even degree.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
5K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K