The free Picard n-groupoid conjecture for the sphere spectrum
Let S=Σ∞S0\mathbb{S}=\Sigma^\infty S^0S=Σ∞S0 be the sphere spectrum, and let τ[0,n]S\tau_{[0,n]}\mathbb{S}τ[0,n]S denote its truncation to degrees from 000 through nnn. Let FL(n)\mathcal{F}_L^{(n)}FL(n) be the…