The 16π16\pi16π conjecture for sphere eversion
The 16π16\pi16π conjecture. The number β0\beta_0β0 is attained by a path ω∈C0([0,1],Imm(S2,R3))\omega\in C^0([0,1],\operatorname{Imm}(\mathbb{S}^2,\mathbb{R}^3))ω∈C0([0,1],Imm(S2,R3)) such that both restrictions…