Related papers: Nontrivial elements of Sha explained through K3 su…

Following (and elaborating on) a method of Logan and van Luijk, we exhibit explicit genus-2 curves whose Jacobians have nontrivial 2-torsion in their Tate-Shafarevich groups.

Mazur proved that any element xi of order three in the Shafarevich-Tate group of an elliptic curve E over a number field k can be made visible in an abelian surface A in the sense that xi lies in the kernel of the natural homomorphism…

Let $X$ be one of the $28$ Atkin-Lehner quotients of a curve $X_0(N)$ such that $X$ has genus $2$ and its Jacobian variety $J$ is absolutely simple. We show that the Shafarevich-Tate group of $J/\mathbb{Q}$ is trivial. This verifies the…

For any number field, we prove that there exists an elliptic curve defined over this field such that its Shafarevich-Tate group has a nontrivial 2-torsion subgroup.

We analyze the Brauer-Manin obstruction to rational points on the K3 surfaces over $\mathbb{Q}$ given by double covers of $\mathbb{P}^2$ ramified over a diagonal sextic. After finding an explicit set of generators for the geometric Picard…

Let $B$ be a curve defined over an algebraically closed field $k$ and let $X\to B$ be an elliptic surface with base curve $B$. We investigate the geometry of everywhere locally trivial principal homogeneous spaces for $X$, i.e. elements of…

Let $\ell$ be an odd prime. We study the visibility theorem for certain elliptic curves over $\mathbb{Q}$ with additive reduction at $\ell$, and deduce the existence of nontrivial $\ell$-torsion in $\Sha(E^D/\mathbb{Q})$ for suitable…

For each prime $p$, we show that there exist geometrically simple abelian varieties $A/\mathbb Q$ with non-trivial $p$-torsion in their Tate-Shafarevich groups. Specifically, for any prime $N\equiv 1 \pmod{p}$, let $A_f$ be an optimal…

In this paper we study the existence of rational points for the family of K3 surfaces over $\mathbb{Q}$ given by $$w^2 = A_1x_1^6 + A_2x_2^6 + A_3x_3^6.$$ When the coefficients are ordered by height, we show that the Brauer group is almost…

We give an explicit rational parameterization of the surface $\mathcal{H}_3$ over $\mathbb{Q}$ whose points parameterize genus 2 curves~$C$ with full $\sqrt{3}$-level structure on their Jacobian $J$. We use this model to construct abelian…

We use instanton gauge theory to prove that if $Y$ is a closed, orientable $3$-manifold such that $H_1(Y;\mathbb{Z})$ is nontrivial and either $2$-torsion or $3$-torsion, and if $Y$ is neither $\#^r \mathbb{RP}^3$ for some $r\geq 1$ nor…

Let $C/\mathbb{Q}$ be a genus $2$ curve whose Jacobian $J/\mathbb{Q}$ has real multiplication by a quadratic order in which $7$ splits. We describe an algorithm which outputs twists of the Klein quartic curve which parametrise elliptic…

We conjecture that if C is a curve of genus >1 over a number field k such that C(k) is empty, then a method of Scharaschkin (equivalent to the Brauer-Manin obstruction in the context of curves) supplies a proof that C(k) is empty. As…

Cais, Ellenberg and Zureick-Brown recently observed that over finite fields of characteristic two, all sufficiently general smooth plane projective curves of a given odd degree admit a non-trivial rational 2-torsion point on their Jacobian.…

We prove that, on a sufficiently general diagonal quartic surface, there is a non-trivial Brauer group but no Brauer-Manin obstruction to the existence of rational points.

Suppose $X$ is a torsor under an abelian variety $A$ over a number field. We show that any adelic point of $X$ that is orthogonal to the algebraic Brauer group of $X$ is orthogonal to the whole Brauer group of $X$. We also show that if…

We wish to give a short elementary proof of S. Saito's result that the Brauer-Manin obstruction for zero-cycles of degree 1 is the only one for curves, supposing the finiteness of the Tate-Shafarevich-group $\sha^1(A)$ of the Jacobian…

The Johnson kernel is the subgroup of the mapping class group of a closed oriented surface that is generated by Dehn twists along separating simple closed curves. The rational abelianization of the Johnson kernel has been computed by Dimca,…

We prove that the set of rational points on a nonisotrivial curves of genus at least 2 over a global function field is equal to the set of adelic points cut out by the Brauer-Manin obstruction.

We consider the question: which elliptic curves appear as the Jacobian of a smooth curve of genus one splitting a Severi--Brauer variety? We provide three new examples. First, we show that if $E$ is any elliptic curve over an algebraically…