Proof of the Casas-Alvero conjecture

TL;DR

This paper proves the Casas-Alvero conjecture for all degrees over characteristic zero fields using Koszul homology, and explores near-counterexamples over complex numbers with Brouwer degree methods.

Contribution

It provides a proof of the Casas-Alvero conjecture for all degrees in characteristic zero fields, employing Koszul homology techniques.

Findings

Proof of the Casas-Alvero conjecture for all degrees $d \\geq 3$ over characteristic zero fields.

Existence of 'almost counterexamples' over complex numbers with weaker conditions.

Application of Brouwer degree techniques to construct near-counterexamples.

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-\alpha)^d$ for some $\alpha\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.