Stable Homotopy Around the Arf-Kervaire Invariant (Progress in Mathematics)