A finiteness result towards the Casas-Alvero Conjecture

Soham Ghosh

2024-09-19

Abstract:The Casas-Alvero conjecture predicts that every univariate polynomial over an algebraically closed field of characteristic zero sharing a common factor with each of its Hasse-Schmidt derivatives is a power of a linear polynomial. The conjecture for polynomials of a fixed degree is equivalent to the projective variety of such polynomials being one-dimensional. In this paper, we show that for any algebraically closed field of arbitrary characteristic, this variety is at most two-dimensional for all positive degrees. Consequently, we show that the associated arithmetic Casas-Alvero scheme in any positive degree has finitely many rational points over any field. Along the way, we prove several rigidity results towards the conjecture.

Algebraic Geometry,Commutative Algebra

What problem does this paper attempt to address?

The problem that this paper attempts to solve is a finiteness result regarding the Casas - Alvero conjecture. Specifically, the Casas - Alvero conjecture predicts that, over an algebraically closed field of characteristic zero, any univariate polynomial that shares a common factor with each of its Hasse - Schmidt derivatives is a power of some linear polynomial. This conjecture for polynomials of a fixed degree is equivalent to the projective variety consisting of such polynomials being one - dimensional. In this paper, the author proves that for an algebraically closed field of any characteristic, this variety is at most two - dimensional for all positive degrees. Therefore, the author also proves that the associated arithmetic Casas - Alvero scheme has a finite number of rational points over any field. In addition, the author obtains some rigidity results during the proof process, and these results are helpful for understanding the conjecture.

### Formula presentation

1. **Hasse - Schmidt derivative**:
- For a univariate polynomial \( f(x)=a_{n}x^{n}+a_{n - 1}x^{n-1}+\cdots+a_{0}\), its \( i\)-th order Hasse - Schmidt derivative \( f_{i}(x)\) is defined as:
\[
f_{i}(x)=\binom{n}{i}a_{n}x^{n - i}+\binom{n-1}{i}a_{n - 1}x^{n - i-1}+\cdots+\binom{i}{i}a_{i}
\]

2. **Multivariate Hasse - Schmidt derivative**:
- For the monomial \( x_{1}^{\alpha_{1}}\cdots x_{k}^{\alpha_{k}}\) in \( K[x_{1},\ldots,x_{k}]\), its \( i\)-th order multivariate Hasse - Schmidt derivative \(\text{HD}_{i}^{k}\) is defined as:
\[
\text{HD}_{i}^{k}(x_{1}^{\alpha_{1}}\cdots x_{k}^{\alpha_{k}})=\sum_{j_{1}+\cdots+j_{k}=i}\binom{\alpha_{1}}{j_{1}}\cdots\binom{\alpha_{k}}{j_{k}}x_{1}^{\alpha_{1}-j_{1}}\cdots x_{k}^{\alpha_{k}-j_{k}}
\]

3. **Classical resultant**:
- For two univariate polynomials \( f(x)\) and \( g(x)\), their classical resultant \(\text{Res}(f, g)\) is defined as:
\[
\text{Res}(f, g)=\det\begin{pmatrix}
a_{n}&a_{n - 1}&\cdots&a_{0}&0&\cdots&0\\
0&a_{n}&a_{n - 1}&\cdots&a_{0}&\cdots&0\\
\vdots&\vdots&\vdots&\vdots&\vdots&\ddots&\vdots\\
0&0&\cdots&a_{n}&a_{n - 1}&\cdots&a_{0}\\
b_{m}&b_{m - 1}&\cdots&b_{0}&0&\cdots&0\\
0&b_{m}&b_{m - 1}&\cdots&b_{0}&\cdots&0\\
\vdots&\vdots&\vdots&\vdots&\vdots&\ddots&\vdots\\
0&0&\cdots&b_{m}&b
\end{pmatrix}
\]