# Refined Selmer equations for the thrice-punctured line in depth two

@inproceedings{Best2021RefinedSE, title={Refined Selmer equations for the thrice-punctured line in depth two}, author={Alex J Best and L. Alexander Betts and Theresa Kumpitsch and Martin Ludtke and Angus McAndrew and Li Qian and Elie Studnia and Yujie Xu}, year={2021} }

In [Kim05], Kim gave a new proof of Siegel’s Theorem that there are only finitely many S-integral points on PZ \ {0, 1,∞}. One advantage of Kim’s method is that it in principle allows one to actually find these points, but the calculations grow vastly more complicated as the size of S increases. In this paper, we implement a refinement of Kim’s method to explicitly compute various examples where S has size 2 which has been introduced in [BD19]. In so doing, we exhibit new examples of a natural…

## One Citation

### Restriction of Scalars Chabauty and the $S$-Unit Equation

- Mathematics
- 2020

Given a smooth, proper, geometrically integral curve $X$ of genus $g$ with Jacobian $J$ over a number field $K$, Chabauty's method is a $p$-adic technique to bound #$ X(K)$ when $\text{rank} J(K) <…

## References

SHOWING 1-10 OF 33 REFERENCES

### Explicit Chabauty–Kim theory for the thrice punctured line in depth 2

- Mathematics
- 2012

Let X=P1∖{0,1,∞} , and let S denote a finite set of prime numbers. In an article of 2005, Kim gave a new proof of Siegel's theorem for X : the set X(Z[S−1]) of S ‐integral points of X is finite. The…

### Mixed Tate Motives and the Unit Equation

- Mathematics
- 2016

This is the second installment in a sequence of articles devoted to “explicit ChabautyKim theory” for the thrice punctured line. Its ultimate goal is to construct an algorithmic solution to the unit…

### The local theory of unipotent Kummer maps and refined Selmer schemes

- Mathematics
- 2019

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…

### The unipotent Albanese map and Selmer varieties for curves

- Mathematics
- 2005

We study the unipotent Albanese map that associates the torsor of paths for p-adic fundamental groups to a point on a hyperbolic curve. It is shown that the map is very transcendental in nature,…

### p -adic multiple zeta values II. Tannakian interpretations

- Mathematics
- 2005

We establish a Tannakian formalism of p-adic multiple polylogarithms and p-adic multiple zeta values introduced in our previous paper via a comparison isomorphism between a de Rham fundamental torsor…

### The motivic anabelian geometry of local heights on abelian varieties

- Mathematics
- 2017

We study the problem of describing local components of height functions on abelian varieties over characteristic $0$ local fields as functions on spaces of torsors under various realisations of a…

### The Heisenberg coboundary equation: appendix to Explicit Chabauty-Kim theory

- Mathematics
- 2014

Let p be a regular prime number, let Gp denote the Galois group of the maximal unramified away from p extension of Q, and let H_et denote the Heisenberg group over Qp with Gp-action given by H_et =…

### Finite and p-adic Polylogarithms

- MathematicsCompositio Mathematica
- 2002

The finite nth polylogarithm lin(z) ∈ ℤ/p(z) is defined as ∑k=1p−1zk/kn. We state and prove the following theorem. Let Lik: ℂp → ℂp be the p-adic polylogarithms defined by Coleman. Then a certain…

### A non-abelian conjecture of Tate–Shafarevich type for hyperbolic curves

- MathematicsMathematische Annalen
- 2018

Let X denote a hyperbolic curve over $$\mathbb {Q}$$Q and let p denote a prime of good reduction. The third author’s approach to integral points, introduced in Kim (Invent Math 161:629–656, 2005;…

### Cosimplicial Objects in Algebraic Geometry

- Mathematics
- 1993

Let X be an arc-connected and locally arc-connected topological space and let I be the unit interval. Applying the connected component functor to each fibre of the fibration of the total space map(I,…