Abstract:Kantor's Thesis was the first step in unifying the Chabauty-Kim and Lawrence-Venkatesh methods via relative completion. In this work, we refine Kantor's approach by addressing its limitations, achieving the first unification where a dimension inequality between local and global Galois cohomology implies Diophantine finiteness for curves. This results in a new conditional proof of Faltings' and Siegel's theorems and introduces a novel p-adic analytic method for computing rational points on hyperbolic curves, offering advantages over the Chabauty-Kim and Lawrence-Venkatesh approaches. Our technical contributions are threefold. First, we establish the density of Kantor's p-adic period map. Second, our method applies to all curves of genus g >= 2, extending beyond the specific modular curves considered in Kantor's thesis. Third, we resolve the representability problem for Kantor's global Selmer stack. Previously, Kantor's method required additional conjectures in p-adic Hodge theory to represent his Selmer stack--a priori a rigid analytic stack--in a category with a suitable dimension theory. We overcome this by replacing the unipotent completions used in Kim's framework with the unipotent radicals of Kantor's relative completions, derived from monodromy representations associated with the relative cohomology of a Kodaira-Parshin family. Kantor's method is a step toward the Effective Faltings Problem, which seeks not only to establish finiteness of rational points on hyperbolic curves but to compute them explicitly. While the Lawrence-Venkatesh method is unconditional, it has not yet been made effective for any curve. In contrast, the Chabauty-Kim method, though conditional, has been made effective in various settings. Our Unipotent Chabauty-Kim-Kantor method addresses key challenges in Kantor's program and highlights its potential for both theoretical and computational advances.

Refined Chabauty--Kim computations for the thrice-punctured line over $\mathbb{Z}[1/6]$

$M_{0,5}$: Towards the Chabauty-Kim method in higher dimensions

Polylogarithmic motivic Chabauty-Kim for $\mathbb{P}^1 \setminus \{ 0,1,\infty \}$: the geometric step via resultants

The Unipotent Chabauty-Kim-Kantor Method for Relative Completions

2-descent for Bloch--Kato Selmer groups and rational points on hyperelliptic curves II

Effective Chabauty for symmetric powers of curves

Grunwald- Wang Theorem, an Effective Version

The de Rham period map for punctured elliptic curves and the KZB equation

Proving some conjectures on Kekulé numbers for certain benzenoids by using Chebyshev polynomials

A refinement of Sato-Tate conjecture

Triangulation of Refined Families

Local heights on hyperelliptic curves and quadratic Chabauty

On p-adic analogue of q-Bernstein polynomials and related integrals

On $p$-refined Friedberg-Jacquet integrals and the classical symplectic locus in the $\mathrm{GL}_{2n}$ eigenvariety

Average non-vanishing of Dirichlet $L$-functions at the central point

On discrete fractional integral operators and related Diophantine equations

Moment of derivatives of L-functions for two distinct newforms

On the signed Selmer groups for motives at non-ordinary primes in $\mathbb{Z}_p^2$-extensions

ON SOME RESULTS OF BUMP-CHOIE AND CHOIE-KIM

Improved bounds for integral points on modular curves using Runge's method

$P_d$ polynomials and Variants of Chinburg's Conjectures