arXiv subjects
Publications and source records attributed to Netan Dogra.
We provide an explicit bound for the image of the Zilber--Pink locus of a curve in an abelian variety under reduction modulo a suitably large prime $p$. We also provide a new proof of finiteness of the Zilber--Pink locus. Under further assumptions on the abelian variety, we prove a bound on the size of the locus.
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 one, the Chabauty--Coleman--Kim set in depth 2 is given by the zeroes of a (finite union of) quadratic polynomial(s) in the $p$-adic logarithm of the elliptic curve and the local $p$-adic height at $p$. Here, we give an explicit formula for a finite set containing the Chabauty--Coleman--Kim set in depth 3 for an elliptic curve of rank at most 2 under an assumption on non-vanishing of a special value of a $p$-adic $L$-function. The finite set is given by the zeroes of a polynomial in $p$-adic elliptic polylogarithms. We use these formulas to verify new instances of Kim's conjecture.
The Chabauty--Coleman--Kim method in depth two describes the rational points on a curve in terms of a generalisation of Nekov\'a\v{r}'s $p$-adic height pairing which replaces $\mathbb{G}_m$ with a higher Chow group. It is unclear both what the domain of definition of this pairing is, and how to compute it. This paper explores the relevance of the Beilinson--Bloch conjectures to this problem. In particular, it is shown that if $X$ is a smooth projective curve and the Albanese kernel of $X\times X$ is torsion, then there is an algorithm to compute the generalised height pairing on a pair of rational points on the Jacobian. This leads to the consideration of certain `motivic refinements' of the nonabelian cohomology varieties which arise in nonabelian Chabauty.
For $X$ a hyperbolic curve of genus $g$ with good reduction at $p\geq 2g$, we give an explicit bound on the Mordell--Lang locus $X(\mathbb{C})\cap \Gamma $, when $\Gamma \subset J(\mathbb{C})$ is the divisible hull of a subgroup of $J(\mathbb{Q} _p ^{\mathrm{nr}})$ of rank less than $g$. Without any assumptions on the rank (but with all the other assumptions) we show that $X(\mathbb{C})\cap \Gamma $ is unramified at $p$, and bound the size of its image in $X(\overline{\mathbb{F} }_p )$. As a corollary, we obtain a new proof that Mordell implies Mordell--Lang for curves.
In this article we explain the Buium--Coleman approach to the Manin--Mumford conjecture, and outline its generalisations. As an illustration, we give a $p$-adic proof of a theorem of Bombieri, Masser and Zannier on curves in tori.
We give refined methods for proving finiteness of the Chabauty--Coleman--Kim set $X(\mathbb{Q}_2 )_2 $, when $X$ is a hyperelliptic curve with a rational Weierstrass point. The main developments are methods for computing Selmer conditions at $2$ and $\infty$ for the mod 2 Bloch--Kato Selmer group associated to the higher Chow group $\mathrm{CH}^2 (\mathrm{Jac}(X),1)$. As a result we show that most genus 2 curves in the LMFDB of Mordell--Weil rank 2 with exactly one rational Weierstrass point satsify $\# X(\mathbb{Q}_2 )_2 <\infty $. We also obtain a field-theoretic description of second descent on the Jacobian of a hyperelliptic curve (under some conditions).
We give a proof of the Zilber--Pink conjecture for $n$-fold self-products of a curve $X$ inside the self-product of its Jacobian, when $X$ has appropriate bad reduction, its Jacobian has no extra endomorphisms, and $n$ is sufficiently small. The strategy of proof follows the work of Katz, Rabinoff and Zureick-Brown on explicit Manin--Mumford bounds.
This paper introduces explicit Galois cohomological methods for determining the ranks of Bloch--Kato Selmer groups associated to the Tate twists of the 2-adic second \'etale cohomology of the Jacobian of a hyperelliptic curve with a rational Weierstrass point. In particular, this can give a method to determine the rational points on such curves via the Chabauty--Coleman--Kim method. This is applied to answer a question of Bugeaud, Mignotte, Siksek, Stoll and Tengely.
We prove that the set of `low rank' points on sufficiently large fibre powers of families of curves are not Zariski dense. The recent work of Dimitrov-Gao-Habegger and K\"uhne (and Yuan) imply the existence of a bound which is exponential in the rank, and the Zilber-Pink conjecture implies a bound which is linear in the rank. Our main result is a (slightly weaker) linear bound for `low ranks'. We also prove analogous results for isotrivial families (with relaxed conditions on the rank) and for solutions to the $S$-unit equation, where the bounds are now sub-exponential in the rank. Our proof involves a notion of the Chabauty-Coleman(-Kim) method in families (or, in some sense, for simply connected varieties). For Zariski non-density, we use the recent work of Bl\`azquez-Sanz, Casale, Freitag and Nagloo on Ax-Schanuel theorems for foliations on principal bundles.
We describe how the quadratic Chabauty method may be applied to explicitly determine the set of rational points on modular curves of genus $g>1$ whose Jacobians have Mordell--Weil rank $g$. This extends our previous work on the split Cartan curve of level 13 and allows us to consider modular curves that may have few known rational points or nontrivial local height contributions at primes of bad reduction. We illustrate our algorithms with a number of examples where we determine the set of rational points on several modular curves of genus 2 and 3: this includes Atkin--Lehner quotients $X_0^+(N)$ of prime level $N$, the curve $X_{S_4}(13)$, as well as a few other curves relevant to Mazur's Program B. We also describe the computation of rational points on the genus 6 non-split Cartan modular curve $X_{\textrm{ns}} ^+ (17)$.
Results in $p$-adic transcendence theory are applied to two problems in the Chabauty-Coleman method. The first is a question of McCallum and Poonen regarding repeated roots of Coleman integrals. The second is to give lower bounds on the $p$-adic distance between rational points in terms of the heights of a set of Mordell-Weil generators of the Jacobian. We also explain how, in some cases, a conjecture on the 'Wieferich statistics' of Jacobians of curves implies a bound on the height of rational points of curves of small rank, in terms of the usual invariants of the curve and the height of Mordell-Weil generators of its Jacobian. The proof uses the Chabauty-Coleman method, together with effective methods in transcendence theory. We also discuss generalisations to the Chabauty-Kim method.
We study the Galois action on paths in the $\mathbb{Q}_\ell$-pro-unipotent \'etale fundamental groupoid of a hyperbolic curve $X$ over a $p$-adic field with $\ell\neq p$. We prove an Oda--Tamagawa-type criterion for the existence of a Galois-invariant path in terms of the reduction of $X$, as well as an anabelian reconstruction result determining the stable reduction type of $X$ in terms of its fundamental groupoid. We give an explicit combinatorial description of the non-abelian Kummer map of $X$ in arbitrary depth, and deduce consequences for the non-abelian Chabauty method for affine hyperbolic curves and for explicit quadratic Chabauty.
In this paper, we provide refined sufficient conditions for the quadratic Chabauty method to produce a finite set of points, with the conditions on the rank of the Jacobian replaced by conditions on the rank of a quotient of the Jacobian plus an associated space of Chow-Heegner points. We then apply this condition to prove the finiteness of this set for any modular curves $X_{\mathrm{ns} }^+ (N)$ and $X_0 ^+ (N)$ of genus at least 2 with N prime. The proof relies on the existence of a quotient of their Jacobians whose Mordell-Weil rank is equal to its dimension (and at least 2), which is proven via analytic estimates for orders of vanishing of L-functions of modular forms, thanks to a Kolyvagin-Logachev type result.
The Chabauty--Kim method is a tool for finding the integral or rational points on varieties over number fields via certain transcendental $p$-adic analytic functions arising from certain Selmer schemes associated to the unipotent fundamental group of the variety. In this paper we establish several foundational results on the Chabauty--Kim method for curves over number fields. The two main ingredients in the proof of these results are an unlikely intersection result for zeroes of iterated integrals, and a careful analysis of the intersection of the Selmer scheme of the original curve with the unipotent Albanese variety of certain $\mathbf{Q} _p $-subvarieties of the restriction of scalars of the curve. The main theorem also gives a partial answer to a question of Siksek on Chabauty's method over number fields, and an explicit counterexample is given to the strong form of Siksek's question.
The Chabauty--Kim method is a method for finding 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 nonabelian generalisation of Coleman's effective Chabauty theorem.
We extend the explicit quadratic Chabauty methods developed in previous work by the first two authors to the case of non-hyperelliptic curves. This results in an algorithm to compute the rational points on a curve of genus $g \ge 2$ over the rationals whose Jacobian has Mordell-Weil rank $g$ and Picard number greater than one, and which satisfies some additional conditions. This algorithm is then applied to the modular curve $X_{s}(13)$, completing the classification of non-CM elliptic curves over $\mathbf{Q}$ with split Cartan level structure due to Bilu-Parent and Bilu-Parent-Rebolledo.
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 first explicit nonabelian Chabauty result for a curve $X/\mathbb{Q}$ whose Jacobian has Mordell-Weil rank larger than its genus.
We give the first explicit examples beyond the Chabauty-Coleman method where Kim's nonabelian Chabauty program determines the set of rational points of a curve defined over $\mathbb{Q}$ or a quadratic number field. We accomplish this by studying the role of $p$-adic heights in explicit nonabelian Chabauty.