Yuri G. Zarhin
Abstract:Let $\ell$ be an odd prime and $K$ a field of characteristic different from $\ell$. Let $\bar{K}$ be an algebraic closure of $K$. Assume that $K$ contains a primitive $\ell$th root of unity. Let $n \ne \ell$ be another odd prime. Let $f(x)$ and $h(x)$ be degree $n$ polynomials with coefficients in $K$ and without repeated roots.
Let us consider superelliptic curves $C_{f,\ell}: y^{\ell}=f(x)$ and $C_{h,\ell}: y^{\ell}=h(x)$ of genus $(n-1)(\ell-1)/2$, and their jacobians $J^{(f,\ell)}$ and $J^{(h,\ell)}$, which are $(n-1)(\ell-1)/2$-dimensional abelian varieties over $\bar{K}$.
Suppose that one of the polynomials is irreducible and the other reducible over $K$. We prove that if $J^{(f,\ell)}$ and $J^{(h,\ell)}$ are isogenous over $\bar{K}$ then both endomorphism algebras $\mathrm{End}^{0}(J^{(f,\ell)})$ and $\mathrm{End}^{0}(J^{(h,\ell)})$ contain an invertible element of multiplicative order $n$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the isogeny between superelliptic Jacobians. Specifically, the author explores whether, under certain conditions, the Jacobians \(J(f, \ell)\) and \(J(h, \ell)\) of superelliptic curves defined by two different polynomials \(f(x)\) and \(h(x)\) can be isogenous.
### Main research content:
1. **Background settings**:
- Let \(\ell\) be an odd prime number, and \(K\) be a field with a characteristic different from \(\ell\).
- \(\bar{K}\) is the algebraic closure of \(K\), and assume that \(K\) contains the \(\ell\)-th primitive root of unity.
- \(n\) is another odd prime number, and \(n\neq\ell\).
- \(f(x)\) and \(h(x)\) are \(n\)-th degree polynomials with coefficients in \(K\) and without multiple roots.
2. **Superelliptic curves and Jacobians**:
- Consider the superelliptic curves \(C_{f,\ell}:y^{\ell}=f(x)\) and \(C_{h,\ell}:y^{\ell}=h(x)\), whose Jacobians are \(J(f, \ell)\) and \(J(h, \ell)\) respectively, with dimension \(\frac{(n - 1)(\ell- 1)}{2}\).
3. **Main problem**:
- Assume that one of the polynomials is irreducible over \(K\), while the other polynomial is reducible over \(K\).
- Prove that if \(J(f, \ell)\) and \(J(h, \ell)\) are isogenous over \(\bar{K}\), then the endomorphism algebras \(\text{End}^0(J(f, \ell))\) and \(\text{End}^0(J(h, \ell))\) of these two Jacobians both contain an invertible element with multiplicative order \(n\).
### Main conclusions:
- **Theorem 1.1**: If \(n\) and \(\ell\) are different odd prime numbers, and the corresponding superelliptic Jacobians \(J(f, \ell)\) and \(J(h, \ell)\) are isogenous over \(\bar{K}\), then their endomorphism algebras both contain an invertible element with multiplicative order \(n\). Moreover,
\[
\dim_{\mathbb{Q}}(\text{End}^0(J(f, \ell)))=\dim_{\mathbb{Q}}(\text{End}^0(J(h, \ell)))\geq(\ell - 1)(n - 1)=2\dim(J(f, \ell)) = 2\dim(J(h, \ell)).
\]
- **Theorem 1.2**: For any odd integer \(n\geq3\), if \(J(f, \ell)\) and \(J(h, \ell)\) are isogenous over \(\bar{K}\), then there exists a prime factor \(r\) of \(n\) such that both endomorphism algebras contain an invertible element with multiplicative order \(r\). Moreover,
\[
\dim_{\mathbb{Q}}(\text{End}^0(J(f, \ell)))=\dim_{\mathbb{Q}}(\text{End}^0(J(h, \ell)))\geq(\ell - 1)(r - 1).
\]
Through these conclusions, the author provides a method to distinguish certain superelliptic Jacobians.