Geometric approach to stable homotopy groups of spheres II; Arf-Kervaire Invariants

The Kervaire Invariant 1 Problem until recently was an open problem in algebraic topology. Hill-Hopkins-Ravenel theorem clams a negative solution of the problem for all dimensions $n=2^l-2$, $l \ge 8$ \cite{H-H-R}. In dimension $n=126=2^7-2$, the problem is open, it is known as a hypothesis by V.P. Snaith (2009). We prove the statement of Hill-Hopkins-Ravenel theorem for all dimensions $2^l-2$, $l \ge l_0$, where $l_0$ is a sufficiently great positive integer. We prove that there is no element in $\Pi_{126}$ with Kervaire invariant one which is desuspended $9$ times into the homotopy group $\pi_{126+128-9}(S^{128-9})$. The proof is based on the Hirsh control principle and the compression Theorem. A notion internal symmetry: of Abelian (for skew-framed immersions), bi-cyclic (for $\mathbb{Z}/2^{[3]}$-framed immersions) and quaternion-cyclic structure (for $\mathbb{Z}/2^{[4]}$-framed immersions) are introduced.