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.

Construction of Arithmetic Teichmuller spaces II: Proof of a local prototype of Mochizuki's Corollary 3.12

Construction of Arithmetic Teichmuller Spaces III: A `Rosetta Stone' and a proof of Mochizuki's Corollary 3.12

Construction of Arithmetic Teichmuller Spaces IV: Proof of the abc-conjecture

Comments on Arithmetic Teichmuller Spaces

Affine Structures On Teichmuller Spaces And

Applications of the affine structures on the Teichm\"uller spaces

Something about Inter-universal Teichmuller Theory

Torsion Points and the Latte'S Family

The Tamagawa number conjecture and Kolyvagin's conjecture for motives of modular forms

Polylogarithm Variations and Motivic Extensions of $\mathbb{Q}$ by $\mathbb{Q}(m)$

On the arithmetic inner product formula and central derivatives of L-functions

Chain Integral Solutions to Tautological Systems

Punctured JSJ tori and tautological extensions of Azumaya algebras

Holomorphic curves in Stein domains and the tau-invariant

The Unipotent Chabauty-Kim-Kantor Method for Relative Completions

Curves on K3 surfaces and modular forms

Motivic interpretations for iterated integrals on some specific algebraic curves

Non-reductive special cycles and Twisted Arithmetic Fundamental Lemma

Brauer-Siegel for Arithmetic Tori and lower bounds for Galois orbits of special points

Motivic Gauss and Jacobi sums

On $p$-adic Minkowski's Theorems