Consider two families of hyperelliptic curves (over ℚ), $C^{n,a}:y²=xⁿ+a$ and $C_{n,a}:y²=x(xⁿ+a)$, and their respective Jacobians $J^{n,a}$, $J_{n,a}$. We give a partial characterization of the torsion part of $J^{n,a}\left(\mathbb{Q}\right)$ and $J_{n,a}\left(\mathbb{Q}\right)$. More precisely, we show that the only prime factors of the orders of such groups are 2 and prime divisors of n (we also give upper bounds for the exponents). Moreover, we give a complete description of the torsion part of $J_{8,a}\left(\mathbb{Q}\right)$. Namely, we show that $J_{8,a}{\left(\mathbb{Q}\right)}_{tors}=J_{8,a}\left(\mathbb{Q}\right)\left[2\right]$. In addition, we characterize the torsion parts of $J_{p,a}\left(\mathbb{Q}\right)$, where p is an odd...

Consider the families of curves $C^{n,A}:y²=xⁿ+Ax$ and $C_{n,A}:y²=xⁿ+A$ where A is a nonzero rational. Let $J^{n,A}$ and $J_{n,A}$ denote their respective Jacobian varieties. The torsion points of $C^{3,A}\left(\mathbb{Q}\right)$ and $C_{3,A}\left(\mathbb{Q}\right)$ are well known. We show that for any nonzero rational A the torsion subgroup of $J^{7,A}\left(\mathbb{Q}\right)$ is a 2-group, and for A ≠ 4a⁴,-1728,-1259712 this subgroup is equal to $J^{7,A}\left(\mathbb{Q}\right)\left[2\right]$ (for a excluded values of A, with the possible exception of A = -1728, this group has a point of order 4). This is a variant of the corresponding results for $J^{3,A}$ (A ≠ 4) and $J^{5,A}$. We...

The rational completion $\overline{M}$ of an $R$-module $M$ can be characterized as a ${\tau }_M$-injective hull of $M$ with respect to a (hereditary) torsion functor ${\tau }_M$ depending on $M$. Properties of a torsion functor depending on an $R$-module $M$ are studied.

Let $C$ be a hyperelliptic curve of genus $g\ge 1$ over a number field $K$ with good reduction outside a finite set of places $S$ of $K$. We prove that $C$ has a Weierstrass model over the ring of integers of $K$ with height effectively bounded only in terms of $g$, $S$ and $K$. In particular, we obtain that for any given number field $K$, finite set of places $S$ of $K$ and integer $g\ge 1$ one can in principle determine the set of $K$-isomorphism classes of hyperelliptic curves over $K$ of genus $g$ with good reduction outside...

We show a $p$-parity result in a $D_{2p^n}$-extension of number fields $L/K$ ($p\ge 5$) for the twist $1\oplus \eta \oplus \tau$: $W(E/K,1\oplus \eta \oplus \tau )={(-1)}^{〈1\oplus \eta \oplus \tau ,X_p(E/L)〉}$, where $E$ is an elliptic curve over $K$, $\eta$ and $\tau$ are respectively the quadratic character and an irreductible representation of degree $2$ of $\mathrm{Gal}(L/K)=D_{2p^n}$, and $X_p(E/L)$ is the $p$-Selmer group. The main novelty is that we use a congruence result between ${\epsilon }_0$-factors (due to Deligne) for the determination of local root numbers in bad cases (places of additive reduction above 2 and 3). We also give applications to the $p$-parity conjecture...

We give a family ${ℱ}_{h,\beta }$ of elliptic curves, depending on two nonzero rational parameters $\beta$ and $h$, such that the following statement holds: let $ℰ$ be an elliptic curve and let $ℰ\left[3\right]$ be its 3-torsion subgroup. This group verifies $\mathbb{Q}\left(ℰ\left[3\right]\right)=\mathbb{Q}\left({\zeta }_3\right)$ if and only if $ℰ$ belongs to ${ℱ}_{h,\beta }$ . Furthermore, we consider the problem of the local-global divisibility by 9 for points of elliptic curves. The number 9 is one of the few exceptional powers of primes, for which an answer...

Let $(𝒪,\Sigma ,F_{\infty })$ be an arithmetic ring of Krull dimension at most 1, $𝒮=\mathrm{Spec}𝒪$ and $(\pi :𝒳\to 𝒮;{\sigma }_1,...,{\sigma }_n)$ an $n$-pointed stable curve of genus $g$. Write $𝒰=𝒳\setminus {\cup }_j{\sigma }_j\left(𝒮\right)$. The invertible sheaf ${\omega }_{𝒳/𝒮}({\sigma }_1+\cdots +{\sigma }_n)$ inherits a hermitian structure ${\parallel ·\parallel }_{\mathrm{hyp}}$ from the dual of the hyperbolic metric on the Riemann surface ${𝒰}_{\infty }$. In this article we prove an arithmetic Riemann-Roch type theorem that computes the arithmetic self-intersection of ${\omega }_{𝒳/𝒮}{({\sigma }_1+...+{\sigma }_n)}_{\mathrm{hyp}}$. The theorem is applied to modular curves $X\left(\Gamma \right)$, $\Gamma ={\Gamma }_0\left(p\right)$ or ${\Gamma }_1\left(p\right)$, $p\ge 11$ prime, with sections given by the cusps. We show $Z^{\text{'}}(Y\left(\Gamma \right),1)\sim e^a{\pi }^b{\Gamma }_2{(1/2)}^{c}L(0,{ℳ}_{\Gamma })$, with $p\equiv 11mod12$ when $\Gamma ={\Gamma }_0\left(p\right)$. Here $Z\left(Y\right(\Gamma ),s)$ is the Selberg...

Let $C$ be a smooth curve of genus $g$. For each positive integer $r$ the birational $r$-gonality $s_r\left(C\right)$ of $C$ is the minimal integer $t$ such that there is $L\in {\text{Pic}}^t\left(C\right)$ with $h^0(C,L)=r+1$. Fix an integer $r\ge 3$. In this paper we prove the existence of an integer $g_r$ such that for every integer $g\ge g_r$ there is a smooth curve $C$ of genus $g$ with $s_{r+1}\left(C\right)/(r+1)>s_r\left(C\right)/r$, i.e. in the sequence of all birational gonalities of $C$ at least one of the slope inequalities fails.

Let $k$ be a field of characteristic $p\>0$. Let $D_m$ be a ${BT}_m$ over $k$ (i.e., an $m$-truncated Barsotti–Tate group over $k$). Let $S$ be a $k$-scheme and let $X$ be a ${BT}_m$ over $S$. Let $S_{D_m}\left(X\right)$ be the subscheme of $S$ which describes the locus where $X$ is locally for the fppf topology isomorphic to $D_m$. If $p\ge 5$, we show that $S_{D_m}\left(X\right)$ is pure in $S$, i.e. the immersion $S_{D_m}\left(X\right)\hookrightarrow S$ is affine. For $p\in \{2,3\}$, we prove purity if $D_m$ satisfies a certain technical property depending only on its $p$-torsion $D_m\left[p\right]$. For $p\ge 5$, we apply the developed techniques to show that...

Given an integer $n\ge 3$, let $u_1,...,u_n$ be pairwise coprime integers $\ge 2$, $𝒟$ a family of nonempty proper subsets of $\{1,...,n\}$ with “enough” elements, and $\epsilon$ a function $𝒟\to \{\pm 1\}$. Does there exist at least one prime $q$ such that $q$ divides ${\prod }_{i\in I}{u}_i-\epsilon \left(I\right)$ for some $I\in 𝒟$, but it does not divide $u_1\cdots u_n$? We answer this question in the positive when the $u_i$ are prime powers and $\epsilon$ and $𝒟$ are subjected to certain restrictions. We use the result to prove that, if ${\epsilon }_0\in \{\pm 1\}$ and $A$ is a set of three or more primes that contains all prime divisors of any...

Let $k$ be an algebraically closed field of characteristic $p\>0$. We study obstructions to lifting to characteristic $0$ the faithful continuous action $\phi$ of a finite group $G$ on $k\left[\right[t\left]\right]$. To each such $\phi$ a theorem of Katz and Gabber associates an action of $G$ on a smooth projective curve $Y$ over $k$. We say that the KGB obstruction of $\phi$ vanishes if $G$ acts on a smooth projective curve $X$ in characteristic $0$ in such a way that $X/H$ and $Y/H$ have the same genus for all subgroups $H\subset G$. We determine for which $G$ the KGB...