No Arabic abstract
For $m in {mathbb N}$, let $S_m$ be the Suzuki curve defined over ${mathbb F}_{2^{2m+1}}$. It is well-known that $S_m$ is supersingular, but the p-torsion group scheme of its Jacobian is not known. The a-number is an invariant of the isomorphism class of the p-torsion group scheme. In this paper, we compute a closed formula for the a-number of $S_m$ using the action of the Cartier operator on $H^0(S_m,Omega^1)$.
For a natural number $m$, let $mathcal{S}_m/mathbb{F}_2$ be the $m$th Suzuki curve. We study the mod $2$ Dieudonn{e} module of $mathcal{S}_m$, which gives the equivalent information as the Ekedahl-Oort type or the structure of the $2$-torsion group scheme of its Jacobian. We accomplish this by studying the de Rham cohomology of $mathcal{S}_m$. For all $m$, we determine the structure of the de Rham cohomology as a $2$-modular representation of the $m$th Suzuki group and the structure of a submodule of the mod $2$ Dieudonn{e} module. For $m=1$ and $2$, we determine the complete structure of the mod $2$ Dieudonn{e} module.
In this paper we study the Coleman-Oort conjecture for superelliptic curves, i.e., curves defined by affine equations $y^n=F(x)$ with $F$ a separable polynomial. We prove that up to isomorphism there are at most finitely many superelliptic curves of fixed genus $ggeq 8$ with CM Jacobians. The proof relies on the geometric structures of Shimura subvarieties in Siegel modular varieties and the stability properties of Higgs bundles associated to fibred surfaces.
Let $K$ be a field of characteristic different from $2$, $bar{K}$ its algebraic closure. Let $n ge 3$ be an odd prime such that $2$ is a primitive root modulo $n$. Let $f(x)$ and $h(x)$ be degree $n$ polynomials with coefficients in $K$ and without repeated roots. Let us consider genus $(n-1)/2$ hyperelliptic curves $C_f: y^2=f(x)$ and $C_h: y^2=h(x)$, and their jacobians $J(C_f)$ and $J(C_h)$, which are $(n-1)/2$-dimensional abelian varieties defined over $K$. Suppose that one of the polynomials is irreducible and the other reducible. We prove that if $J(C_f)$ and $J(C_h)$ are isogenous over $bar{K}$ then both jacobians are abelian varieties of CM type with multiplication by the field of $n$th roots of $1$.
We study the Jacobian $J$ of the smooth projective curve $C$ of genus $r-1$ with affine model $y^r = x^{r-1}(x + 1)(x + t)$ over the function field $mathbb{F}_p(t)$, when $p$ is prime and $rge 2$ is an integer prime to $p$. When $q$ is a power of $p$ and $d$ is a positive integer, we compute the $L$-function of $J$ over $mathbb{F}_q(t^{1/d})$ and show that the Birch and Swinnerton-Dyer conjecture holds for $J$ over $mathbb{F}_q(t^{1/d})$. When $d$ is divisible by $r$ and of the form $p^ u +1$, and $K_d := mathbb{F}_p(mu_d,t^{1/d})$, we write down explicit points in $J(K_d)$, show that they generate a subgroup $V$ of rank $(r-1)(d-2)$ whose index in $J(K_d)$ is finite and a power of $p$, and show that the order of the Tate-Shafarevich group of $J$ over $K_d$ is $[J(K_d):V]^2$. When $r>2$, we prove that the new part of $J$ is isogenous over $overline{mathbb{F}_p(t)}$ to the square of a simple abelian variety of dimension $phi(r)/2$ with endomorphism algebra $mathbb{Z}[mu_r]^+$. For a prime $ell$ with $ell mid pr$, we prove that $J[ell](L)={0}$ for any abelian extension $L$ of $overline{mathbb{F}}_p(t)$.
In this article, we show that in each of four standard families of hyperelliptic curves, there is a density-$1$ subset of members with the property that their Jacobians have adelic Galois representation with image as large as possible. This result constitutes an explicit application of a general theorem on arbitrary rational families of abelian varieties to the case of families of Jacobians of hyperelliptic curves. Furthermore, we provide explicit examples of hyperelliptic curves of genus $2$ and $3$ over $mathbb Q$ whose Jacobians have such maximal adelic Galois representations.