Related papers: The Chabauty-Kim Method for Relative Completions

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…

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…

We give an introductory account of two recent approaches towards an effective proof of the Mordell conjecture, due to Lawrence--Venkatesh and Kim. The latter method, which is usually called the method of Chabauty--Kim or non-abelian…

The Hodge de Rham theory of relative Malcev completion is developed in this paper. In the special case where one takes the corresponding reductive group to be trivial, one recovers Chen's de Rham theory of the fundamental group and the…

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…

Let $X= \mathbb{P}^1 \setminus \{0,1,\infty\}$, and let $S$ denote a finite set of prime numbers. In an article of 2005, Minhyong Kim gave a new proof of Siegel's theorem for $X$: the set $X(\mathbb{Z}[S^{-1}])$ of $S$-integral points of…

In this paper we prove the finiteness of the set of S-integral points of a punctured rational elliptic curve without complex multiplication using the Chabauty-Kim method. This extends previous results of Kim in the complex multiplication…

The main point of the paper is to take the explicit motivic Chabauty-Kim method developed in papers of Dan-Cohen--Wewers and Dan-Cohen and the author and make it work for non-rational curves. In particular, we calculate the abstract form of…

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…

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…

Let $X/\mathbb{Q}$ be a curve of genus $g \ge 2$ with Jacobian $J$ and let $\ell$ be a prime of good reduction. Using Selmer varieties, Kim defines a decreasing sequence \[ X(\mathbb{Q}_\ell) \supseteq X(\mathbb{Q}_\ell)_1 \supseteq…

We revisit localisation and patching method in the setting of Chevalley groups. Introducing certain subgroups of relative elementary Chevalley groups, we develop relative versions of the conjugation calculus and the commutator calculus in…

We present a general construction of eventually periodic projective resolutions for modules over quotients of rings of finite left global dimension by a regular central element. Our approach utilizes a construction of Shamash, combined with…

The Chabauty--Kim method was developed with the aim of approaching effective Faltings', the problem of explicitly determining the finite set of rational points on a hyperbolic curve. This method has seen success with the more particular…

In the mid 1980s, while working on establishing completion theorems for equivariant Algebraic K-Theory similar to the well-known completion theorems for equivariant topological K-theory, the late Robert Thomason found the strong finiteness…

We formulate and prove relative versions of several classical decompositions known in the theory of Chevalley groups over commutative rings. As an application we obtain upper estimates for the width of principal congruence subgroups in…

By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate…

Let G be a general (not necessarily finite dimensional compact) Lie group, let g be its Lie algebra, let Cg be the cone on g in the category of differential graded Lie algebras, and consider the functor which assigns to a chain complex V…

Let $K$ be a reductive subgroup of a reductive group $G$ over an algebraically closed field $k$. The notion of relative complete reducibility, introduced in previous work of Bate-Martin-Roehrle-Tange, gives a purely algebraic description of…

We generalize the completion theorem for equivariant MU-module spectra for finite groups or finite extensions of a torus to compact Lie groups using the splitting of global functors proved by Schwede. This proves a conjecture of Greenlees…