# Can a restriction of a null-homotopic spherical map be null-homopotic?

Let $$n,q$$ be positive integers. We are interested to the cases where $$n>q$$.

Let $$F:mathbb B^ntomathbb S^{q-1}$$ be a continuous (differentiable, if needed) map, such that $$F(1,0^{n-1})=(1,0^{q-1})$$, $$F(-1,0^{n-1})=(-1,0^{q-1})$$ and $$F({0}^1timesmathbb S^{n-2})subset{0}^1timesmathbb S^{q-2}simeqmathbb S^{q-2}$$.

Can we find a map $$G:mathbb B^{n-1}to mathbb S^{q-2}$$ such that $$G(theta)=F(0,theta)in mathbb S^{q-2}$$ for all $$thetainmathbb S^{n-2}$$?

MathOverflow Asked by yaoliding on November 14, 2021

There exists nullhomotopic maps preserving codimension one equators such that the restriction to the equators is not nullhomotopic. Very easy examples come from taking non nullhomotopic maps of spheres and then extending them to a sphere of dimension higher by a nonsurjective map.

However, one can in fact come up with much stranger examples. I claim that for any even n, one can construct a map $$S^{2n} rightarrow S^{n+1}$$ so that the restriction of the domain to every (2n-1)-sphere $$x_1^2 + dots x_{2n} ^2=t$$ and codomain to the n-sphere $$x_1^2 + dots x_n ^2=t$$ is nonnullhomotopic, and this map is nullhomotopic.

This fact follows immediately from the statement, "There is a nonnullhomotopic map $$S^{2n-1} rightarrow S^n$$ such that the suspension of this map is trivial." This is because the suspension of the map is given by sending meridians to meridians via the map we are suspending.

Such a nullhomotopic map (for $$n=2$$) exists for the following reason: the Hopf map $$S^3 rightarrow S^2$$ is a map that has infinite order in the homotopy groups of $$S^2$$. By a cute argument involving complex conjugation, the suspension of the Hopf map has order 2. Hence, twice the Hopf map is in the kernel of the suspension homomorphism, so we have proven a specific case.

For general n, this follows by computing the rational homotopy groups of $$S^n$$ and finding only one nontorsion group and applying the above reasoning.

Answered by Connor Malin on November 14, 2021

## Related Questions

### A certain property for Heegaard splittings

1  Asked on January 15, 2021 by no_idea

### When have we lost a body of mathematics because errors were found?

10  Asked on January 14, 2021 by edmund-harriss

### Prove that there are no composite integers $n=am+1$ such that $m | phi(n)$

1  Asked on January 13, 2021 by david-jones

### Kernel of the map $mathbb{C}[G]^U to mathbb{C}[U^+]$

0  Asked on January 13, 2021 by jianrong-li

### Finite fast tests for periodicity of certain matrices

1  Asked on January 12, 2021

### Are these two kernels isomorphic groups?

0  Asked on January 12, 2021 by francesco-polizzi

### Definition of subcoalgebra over a commutative ring

2  Asked on January 11, 2021 by user839372

### Riesz Representation Theorem for $L^2(mathbb{R}) oplus L^2(mathbb{T})$?

0  Asked on January 10, 2021 by goulifet

### Morphism of distinguished triangles where one of the arrows is a quasi-isomorphism

0  Asked on January 10, 2021 by stabilo

### Cut points and critical points of the exponential map

0  Asked on January 9, 2021 by longyearbyen

### Eigendecomposition of $A=I+BDB^H$

0  Asked on January 9, 2021 by user164237

### Laplace transform of the product of two gammas

1  Asked on January 9, 2021 by lrnv

### Real part of a holomorphic section of a vector bundle

0  Asked on January 8, 2021 by user158773

### Gaussian expectation of outer product divided by norm (check)

1  Asked on January 7, 2021 by b-merlot

### If $W$ is a Markov chain and $N$ is a Poisson process, then $left(W_{N_t}right)_{tge0}$ is Markov

0  Asked on January 7, 2021

### Open problems in matroid theory

2  Asked on January 6, 2021 by logictheorist

### Automorphism group of Hermitian symmetric spaces

1  Asked on January 5, 2021 by thiku