Proof of the Casas-Alvero conjecture

Abstract

The Casas-Alvero conjecture states that if $f(X)$ is a monic univariate polynomial of degree $d$ over a characteristic $0$ field $\mathbb{K}$ such that $\gcd(f, f_{i})$ is non-trivial for each $i=1, \dots, d-1$, then $f(X)=(X-α)^d$ for some $α\in \mathbb{K}$. In this paper, we prove the Casas-Alvero conjecture for polynomials of any degree $d\geq 3$ over any characteristic $0$ field, by using Koszul homology. Along the way we show existence of various "almost counterexamples" over $\mathbb{C}$, satisfying mildly weaker hypotheses, using Brouwer degree techniques.