Torsion points on hyperelliptic Jacobians via Anderson's \(p\)-adic soliton theory (Q2444953)

Let \(K\) be a field of characteristic zero which contains a primitive \(4g\)-th root \(\zeta\) of unity. Let \(X\) denote a hyperelliptic curve of genus \(g\) over \(K\) defined by the equation \(y^2=x^{2g+1}+x\), and let \(J\) be the Jacobian variety of \(X\). Let \(\infty\) denote the point at infinity, and define the theta divisor \(\Theta=\{\mathcal{L}\in J:H^0(X,\mathcal{L}((g-1)\infty))\neq\{0\}\}\). Let \(r\) denote the automorphism on \(X\) of order \(4g\) defined by \(r(x,y)=(\zeta^2x,-\zeta y)\), and let \(G=\langle r\rangle\). Let \(p\) be a prime number such that \(p\equiv 1\pmod {4g}\), and choose a prime ideal \(\mathfrak{p}\subset \mathbb{Z}[\zeta]\) lying above \(p\). Let \(\chi\) denote the composition of \(G\rightarrow\mathbb{Z}[\zeta]^*\rightarrow(\mathbb{Z}[\zeta]/\mathfrak{p})^*=\mathbb{F}_p^*\) with the first map sending \(r\) to \(\zeta\). Let \(J[p]\) denote the \(p\)-torsion subgroup of \(J\), and let \(J[p]^{\chi}=\{\mathcal{L}\in J[p]:r^*\mathcal{L}=\chi(r)\mathcal{L}\}\). In this paper the authors prove that \(\dim_{\mathbb{F}_p}J[p]^{\chi}=1\) and that \((J[p]^{\chi}+J[2])\cap\Theta\subset J[2]\), thereby showing that a torsion point of certain order is not on a theta divisor. Their proof employs a method developed in [\textit{G. W. Anderson}, Invent. Math. 118, No. 3, 475--492 (1994; Zbl 0838.14020)] which proves an analogous result for a cyclic quotient of a Fermat curve of prime degree.