The sharpness conjecture for triviality of cochains on spheres
Let n≥1n\geq 1n≥1 and let AAA be an En+2\mathbb{E}_{n+2}En+2-algebra in Sp\operatorname{Sp}Sp. For a pointed space XXX, write C∗(X;A)C^*(X;A)C∗(X;A) for the AAA-valued cochains on XXX, regarded as an augm…