Source author record

J. Steffen Müller

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.AG math.KT

Catalog footprint

Research overview

10works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Coleman-Gross Heights and $p$ -adic Néron Functions on Jacobians of Genus $2$ Curves

We develop a theory of $p$ -adic Néron functions on abelian varieties, depending on various auxiliary choices, and show that the global $p$ -adic height functions constructed by Mazur and Tate can be decomposed into a sum of $p$ -adic Néron functions if the same auxiliary choices are made. We also consider a decomposition of the $p$ -adic height constructed by Coleman and Gross for good reduction, and extended to arbitrary reduction by Colmez and Besser, into a sum of certain local height functions for Jacobians of odd degree genus~ $2$ curves. We show that this local height function is equal to the $p$ -adic Néron function with the same auxiliary choices, regardless of the reduction type of the curve. This extends work of Balakrishnan and Besser for elliptic curves. When the curve has semistable reduction and the reduction of the Jacobian is ordinary, we also describe the $p$ -adic Néron function that arises from the canonical Mazur--Tate splitting explicitly in terms of a generalisation of the $p$ -adic sigma function constructed by Blakestad.

preprint2026arXiv

p-adic adelic metrics and Quadratic Chabauty I

We give a new construction of $p$ -adic heights on varieties over number fields using $p$ -adic Arakelov theory. In analogy with Zhang's construction of real-valued heights in terms of adelic metrics, these heights are given in terms of $p$ -adic adelic metrics on line bundles. In particular, we describe a construction of canonical $p$ -adic heights on abelian varieties and we show that we recover the canonical Mazur--Tate height and, for Jacobians, the height constructed by Coleman and Gross. Our main application is a new and simplified approach to the Quadratic Chabauty method for the computation of rational points on certain curves over the rationals, by pulling back the canonical height on the Jacobian with respect to a carefully chosen line bundle. We show that our construction allows us to reprove, without using $p$ -adic Hodge theory or arithmetic fundamental groups, several results due to Balakrishnan and Dogra. Our method also extends to primes $p$ of bad reduction. One consequence of our work is that for any canonical height ( $p$ -adic or $\mathbb{R}$ -valued) on an abelian variety (and hence on pull-backs to other varieties), the local contribution at a finite prime $q$ can be constructed using $q$ -analytic methods.

preprint2020arXiv

Explicit quadratic Chabauty over number fields

We generalize the explicit quadratic Chabauty techniques for integral points on odd degree hyperelliptic curves and for rational points on genus 2 bielliptic curves to arbitrary number fields using restriction of scalars. This is achieved by combining equations coming from Siksek's extension of classical Chabauty with equations defined in terms of p-adic heights attached to independent continuous idele class characters. We give several examples to show the practicality of our methods.

preprint2020arXiv

Two recent p-adic approaches towards the (effective) Mordell conjecture

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 Chabauty in the literature, has the advantage that in some cases it has been turned into an effective method to determine the set of rational points on a curve, and we illustrate this by presenting three new examples of modular curves where this set can be determined.

preprint2016arXiv

Canonical Heights on Genus Two Jacobians

Let $K$ be a number field and let $C/K$ be a curve of genus 2 with Jacobian variety $J$ . In this paper, we study the canonical height $\hat{h} \colon J(K) \to \mathbb R$ . More specifically, we consider the following two problems, which are important in applications: (1) for a given $P \in J(K)$ , compute $\hat{h}(P)$ efficiently; (2) for a given bound $B > 0$ , find all $P \in J(K)$ with $\hat{h}(P) \le B$ . We develop an algorithm running in polynomial time (and fast in practice) to deal with the first problem. Regarding the second problem, we show how one can tweak the naive height $h$ that is usually used to obtain significantly improved bounds for the difference $h - \hat{h}$ , which allows a much faster enumeration of the desired set of points. Our approach is to use the standard decomposition of $h(P) - \hat{h}(P)$ as a sum of local `height correction functions'. We study these functions carefully, which leads to efficient ways of computing them and to essentially optimal bounds. To get our polynomial-time algorithm, we have to avoid the factorization step needed to find the finite set of places where the correction might be nonzero. The main innovation at this point is to replace factorization into primes by factorization into coprimes. Most of our results are valid for more general fields with a set of absolute values satisfying the product formula. An analogous approach to (1) above for elliptic curves was used in our recent paper arXiv:1509.08748.

preprint2015arXiv

A geometric approach to constructing elements of $K_2$ of curves

We present a framework for constructing examples of smooth projective curves over number fields with explicitly given elements in their second K-group using elementary algebraic geometry. This leads to new examples for hyperelliptic curves and smooth plane quartics. Moreover, we show that most previously known constructions can be reinterpreted using our framework.

preprint2015arXiv

Computing integral points on hyperelliptic curves using quadratic Chabauty

We give a method for the computation of integral points on a hyperelliptic curve of odd degree over the rationals whose genus equals the Mordell-Weil rank of its Jacobian. Our approach consists of a combination of the $p$ -adic approximation techniques introduced in previous work with the Mordell-Weil sieve

preprint2014arXiv

A p-adic analogue of the conjecture of Birch and Swinnerton-Dyer for modular abelian varieties

Mazur, Tate, and Teitelbaum gave a p-adic analogue of the Birch and Swinnerton-Dyer conjecture for elliptic curves. We provide a generalization of their conjecture in the good ordinary case to higher dimensional modular abelian varieties over the rationals by constructing the p-adic L-function of a modular abelian variety and showing that it satisfies the appropriate interpolation property. This relies on a careful normalization of the p-adic L-function, which we achieve by a comparison of periods. Our generalization agrees with the conjecture of Mazur, Tate, Teitelbaum in dimension 1 and the classical Birch Swinnerton-Dyer conjecture formulated by Tate in rank 0. We describe the theoretical techniques used to formulate the conjecture and give numerical evidence supporting the conjecture in the case when the modular abelian variety is of dimension 2.

preprint2014arXiv

Quadratic Chabauty: p-adic height pairings and integral points on hyperelliptic curves

We give a formula for the component at p of the p-adic height pairing of a divisor of degree 0 on a hyperelliptic curve. We use this to give a Chabauty-like method for finding p-adic approximations to p-integral points on such curves when the Mordell-Weil rank of the Jacobian equals the genus. In this case we get an explicit bound for the number of such p-integral points, and we are able to use the method in explicit computation. An important aspect of the method is that it only requires a basis of the Mordell-Weil group tensored with the rationals.

preprint2012arXiv

A height inequality for rational points on elliptic curves implied by the abc-conjecture

In this short note we show that the uniform abc-conjecture over number fields puts strong restrictions on the coordinates of rational points on elliptic curves. For the proof we use a variant of the uniform abc-conjecture over number fields formulated by Mochizuki. As an application, we generalize a result of Silverman on elliptic non-Wieferich primes.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

J. Steffen Müller

Research overview

Is this your work?

10 publications

Coleman-Gross Heights and $p$ -adic Néron Functions on Jacobians of Genus $2$ Curves

p-adic adelic metrics and Quadratic Chabauty I

Explicit quadratic Chabauty over number fields

Two recent p-adic approaches towards the (effective) Mordell conjecture

Canonical Heights on Genus Two Jacobians

A geometric approach to constructing elements of $K_2$ of curves

Computing integral points on hyperelliptic curves using quadratic Chabauty

A p-adic analogue of the conjecture of Birch and Swinnerton-Dyer for modular abelian varieties

Quadratic Chabauty: p-adic height pairings and integral points on hyperelliptic curves

A height inequality for rational points on elliptic curves implied by the abc-conjecture

See the researcher in context

Building this map preview

J. Steffen Müller

Research overview

Is this your work?

10 publications

Coleman-Gross Heights and ppp-adic Néron Functions on Jacobians of Genus 222 Curves

p-adic adelic metrics and Quadratic Chabauty I

Explicit quadratic Chabauty over number fields

Two recent p-adic approaches towards the (effective) Mordell conjecture

Canonical Heights on Genus Two Jacobians

A geometric approach to constructing elements of K2K_2K2​ of curves

Computing integral points on hyperelliptic curves using quadratic Chabauty

A p-adic analogue of the conjecture of Birch and Swinnerton-Dyer for modular abelian varieties

Quadratic Chabauty: p-adic height pairings and integral points on hyperelliptic curves

A height inequality for rational points on elliptic curves implied by the abc-conjecture

See the researcher in context

Building this map preview

Coleman-Gross Heights and $p$ -adic Néron Functions on Jacobians of Genus $2$ Curves

A geometric approach to constructing elements of $K_2$ of curves