skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Quadratic Chabauty and Rational Points II: Generalised Height Functions on Selmer Varieties
Abstract We give new instances where Chabauty–Kim sets can be proved to be finite, by developing a notion of “generalised height functions” on Selmer varieties. We also explain how to compute these generalised heights in terms of iterated integrals and give the 1st explicit nonabelian Chabauty result for a curve $$X/\mathbb{Q}$$ whose Jacobian has Mordell–Weil rank larger than its genus.  more » « less
Award ID(s):
1702196
PAR ID:
10174494
Author(s) / Creator(s):
;
Date Published:
Journal Name:
International Mathematics Research Notices
ISSN:
1073-7928
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. The Chabauty–Kim method allows one to find rational points on curves under certain technical conditions, generalising Chabauty’s proof of the Mordell conjecture for curves with Mordell–Weil rank less than their genus. We show how the Chabauty–Kim method, when these technical conditions are satisfied in depth 2, may be applied to bound the number of rational points on a curve of higher rank. This provides a non-abelian generalisation of Coleman’s effective Chabauty theorem. 
    more » « less
  2. Abstract We complete the computation of all$$\mathbb {Q}$$ Q -rational points on all the 64 maximal Atkin-Lehner quotients$$X_0(N)^*$$ X 0 ( N ) such that the quotient is hyperelliptic. To achieve this, we use a combination of various methods, namely the classical Chabauty–Coleman, elliptic curve Chabauty, quadratic Chabauty, and the bielliptic quadratic Chabauty method (from a forthcoming preprint of the fourth-named author) combined with the Mordell-Weil sieve. Additionally, for square-free levelsN, we classify all$$\mathbb {Q}$$ Q -rational points as cusps, CM points (including their CM field andj-invariants) and exceptional ones. We further indicate how to use this to compute the$$\mathbb {Q}$$ Q -rational points on all of their modular coverings. 
    more » « less
  3. In this article, we study the asymptotic behaviour of conjugacy separabilityfor wreath products of abelian groups. We fully characterise the asymptoticclass in the case of lamplighter groups and give exponential upper and lowerbounds for generalised lamplighter groups. In the case where the base group isinfinite, we give superexponential lower and upper bounds. We apply our resultsto obtain lower bounds for conjugacy depth functions of various wreath productsof groups where the acting group is not abelian. 
    more » « less
  4. The space of normal measures on a measurable cardinal is naturally ordered by the Mitchell ordering. In the first part of this paper we show that the Mitchell ordering can be linear on a strong cardinal where the Generalised Continuum Hypothesis fails. In the second part we show that a supercompact cardinal at which the Generalised Continuum Hypothesis fails may carry a very large number of normal measures of Mitchell order zero. 
    more » « less
  5. Abstract The Chabauty–Kim method and its refined variant by Betts and Dogra aim to cut out theS-integral points$$X(\mathbb {Z}_S)$$ X ( Z S ) on a curve inside thep-adic points$$X(\mathbb {Z}_p)$$ X ( Z p ) by producing enough Coleman functions vanishing on them. We derive new functions in the case of the thrice-punctured line whenScontains two primes. We describe an algorithm for computing refined Chabauty–Kim loci and verify Kim’s Conjecture over$$\mathbb {Z}[1/6]$$ Z [ 1 / 6 ] for all choices of auxiliary prime $$p < 10{,}000$$ p < 10 , 000
    more » « less