Related papers: Explicit Chabauty over Number Fields
We prove that when all hyperelliptic curves of genus $n\geq 1$ having a rational Weierstrass point are ordered by height, the average size of the 2-Selmer group of their Jacobians is equal to 3. It follows that (the limsup of) the average…
We complete the solution of the relative class number one problem for function fields of curves over finite fields. Using work from two earlier papers, this reduces to finding all function fields of genus 6 or 7 over $\mathbb{F}_2$ with one…
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$…
Let $X$ be a curve of genus $g>1$ over $\mathbb{Q}$ whose Jacobian $J$ has Mordell--Weil rank $r$ and N\'eron--Severi rank $\rho$. When $r < g+ \rho - 1$, the geometric quadratic Chabauty method determines a finite set of $p$-adic points…
In this article we prove the explicit Mordell Conjecture for large families of curves. In addition, we introduce a method, of easy application, to compute all rational points on curves of quite general shape and increasing genus. The method…
Let $C$ be a smooth projective absolutely irreducible curve of genus at least 2, defined over the rationals. For a number field $L$, we define the set of $L$-new points on $C$ to be $C(L)_{new} = \{P \in C(L) : \mathbb{Q}(P)=L\}$; this is…
Let $k$ be any field. Let $X \subset \mathbb{P}_k^N$ be a degree $d \geq 2$ hypersurface. Under some conditions, we prove that if $X(K) \neq \emptyset$ for some extension $K/k$ with $n:=[K:k] \geq 2$ and $\gcd(n,d)=1$, then $X(L) \neq…
Up to isomorphism over C, every simple principally polarized abelian variety of dimension 3 is the Jacobian of a smooth projective curve of genus 3. Furthermore, this curve is either a hyperelliptic curve or a plane quartic. Given a sextic…
Let C be a supersingular genus-2 curve over an algebraically closed field of characteristic 3. We show that if C is not isomorphic to the curve y^2 = x^5 + 1 then up to isomorphism there are exactly 20 degree-3 maps phi from C to the…
We prove that the geometric genus p of a curve in a very generic Jacobian of dimension g>3 satisfies either p=g or p>2g-3. This gives a positive answer to a conjecture of Naranjo and Pirola. For low values of g the second inequality can be…
Clemm and Trebat-Leder (2014) proved that the number of quadratic number fields with absolute discriminant bounded by $x$ over which there exist elliptic curves with good reduction everywhere and rational $j$-invariant is $\gg…
This note gives the complete projective classification of rational, cuspidal plane curves of degree at least 6, and having only weighted homogeneous singularities. It also sheds new light on some previous characterizations of free and…
The Chabauty--Coleman--Kim method, under favourable circumstances, describes the set of integral points of a hyperelliptic curve inside the $p$-adic zeroes of certain transcendental functions. For an elliptic curve of Mordell--Weil rank…
Let $(P, Q)$ be a pair of Jacobian polynomials. We can show that $ <P, Q>+l+2g(P)-2= 0= <P, [P,Q]>$, where $<f, g>$ is the intersection number of $f, g\in \CC[x, y]$ in the affine plane, $l$ is the number of branch at point at infinity and…
Let $C:f=0$ be a reduced curve in the complex projective plane. The minimal degree $mdr(f)$ of a Jacobian syzygy for $f$, which is the same as the minimal degree of a derivation killing $f$, is an important invariant of the curve $C$, for…
Let C in C_1xC_2 be a curve of type (d_1,d_2) in the product of the two curves C_1 and C_2. Let d be a positive integer. We prove that if a certain inequality involving d_1, d_2, d, and the genera of the curves C_1, C_2, and C is satisfied,…
In the Hilbert scheme of curves of degree $d_{r}=\frac{r(r+1)}{2}$ and arithmetic genus $g_{r}=\frac{r(r+1)(2r-5)}{6}+1$ in $\mathbb{P}^{3}$ we prove that there exists a unique component of arithmetically Cohen-Macaulay curves denoted by…
The direct or algorithmic approach for the Jacobian problem, consisting of the direct construction of the inverse polynomials is proposed. The so called principle and derived Jacobi conditions are proposed and discussed. The algorithmic…
Let $k$ be a field and $x,y$ indeterminates over $k$. Let $R=k[x^a,x^{p_1}y^{s_1},\ldots,x^{p_t}y^{s_t},y^b] \subseteq k[x,y]$. We calculate the Hilbert polynomial of $(x^a,y^b)$. The multiplicity of this ideal provides part of a criterion…
We consider the generic Green conjecture on syzygies of a canonical curve, and particularly the following reformulation thereof: {\it For a smooth projective curve $C$ of genus $g$ in characteristic 0, the condition ${\rm Cliff} C>l$ is…