Brauer-Manin obstructions on hyperelliptic curves

DOI10.1016/J.AIM.2023.109238zbMATH Open1527.14053arXiv2112.00230OpenAlexW3216339919MaRDI QIDQ6076327FDOQ6076327

Duttatrey Nath Srivastava, Brendan Creutz

Publication date: 21 September 2023

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: We describe a practical algorithm for computing Brauer-Manin obstructions to the existence of rational points on hyperelliptic curves defined over number fields. This offers advantages over descent based methods in that its correctness does not rely on rigorous class and unit group computations of large degree number fields. We report on experiments showing it to be a very effective tool for deciding existence of rational points: Among a random samples of curves over the rational numbers of genus at least $5$ we were able to decide existence of rational points for over $99\mathrm{\%}$ of curves. We also demonstrate its effectiveness for high genus curves, giving an example of a genus $50$ hyperelliptic curve with a Brauer-Manin obstrution to the Hasse Principle. The main theoretical development allowing for this algorithm is an extension of the descent theory for abelian torsors to a framework of torsors with restricted ramification.

Full work available at URL: https://arxiv.org/abs/2112.00230

zbMATH Keywords

hyperelliptic curvesrational pointsBrauer-Manin obstruction

Mathematics Subject Classification ID

[https://portal.mardi4nfdi.de/w/index.php?search=%2211G30%22&title=Special%3ASearch&profile=advanced&fulltext=1&ns120=1 Curves of arbitrary genus or genus ( e 1) over global fields (11G30)] Rational points (14G05) Hasse principle, weak and strong approximation, Brauer-Manin obstruction (14G12)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Magma algebra system. I: The user language
• Torsors and rational points
• Two torsion in the Brauer group of a hyperelliptic curve
• Explicit descent in the Picard group of a cyclic cover of the projective line
• A positive proportion of locally soluble hyperelliptic curves over ℚ have no point over any odd degree extension
• La descente sur les variétés rationnelles. II. (The descent on rational varieties. II)
• Finite descent obstructions and rational points on curves
• The Mordell–Weil sieve: proving non-existence of rational points on curves
• Heuristics for the Brauer–Manin Obstruction for Curves
• Two-cover descent on hyperelliptic curves
• Towers of 2-covers of hyperelliptic curves
• The Hasse principle and the Brauer-Manin obstruction for curves
• Poitou-Tate without restrictions on the order
• Generalized explicit descent and its application to curves of genus 3
• Rational Points on Varieties
• A Grunwald-Wang type theorem for abelian varieties
• A $p$-adic approach to rational points on curves
• Generalized Jacobians and explicit descents
• On the abelian fundamental group scheme of a family of varieties

Cited In (13)

• Computing the BrauerManin obstructions
• Degree and the Brauer-Manin obstruction
• The Brauer–Manin obstruction on Kummer varieties and ranks of twists of abelian varieties
• The Brauer-Manin obstruction on Del Pezzo surfaces of degree 2
• Non-invariance of the Hasse principle with Brauer-Manin obstruction
• Singular curves and the étale Brauer-Manin obstruction for surfaces
• Insufficiency of the Brauer-Manin obstruction applied to étale covers
• Insufficiency of the Brauer-Manin obstruction for rational points on Enriques surfaces
• There are No Transcendental Brauer–Manin Obstructions on Abelian Varieties
• On the kernel of the Brauer-Manin pairing
• On a dynamical Brauer-Manin obstruction
• On the Brauer-Manin obstruction for cubic surfaces
• Brauer–Manin obstruction for Erdős–Straus surfaces

This page was built for publication: Brauer-Manin obstructions on hyperelliptic curves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6076327)