Showing 1–33 of 33 results for author: Muller, J S

Algorithms for $p$-adic Heights on Hyperelliptic Curves of Arbitrary Reduction

Authors: Francesca Bianchi, Enis Kaya, J. Steffen Müller

Abstract: In this paper, we develop an algorithm for computing Coleman--Gross (and hence Nekovář) $p$-adic heights on hyperelliptic curves over number fields with arbitrary reduction type above $p$. This height is defined as a sum of local heights at each finite place and we use algorithms for Vologodsky integrals, developed by Katz and the second-named author, to compute the local heights above $p$. We als… ▽ More In this paper, we develop an algorithm for computing Coleman--Gross (and hence Nekovář) $p$-adic heights on hyperelliptic curves over number fields with arbitrary reduction type above $p$. This height is defined as a sum of local heights at each finite place and we use algorithms for Vologodsky integrals, developed by Katz and the second-named author, to compute the local heights above $p$. We also discuss an alternative method to compute these for odd degree genus 2 curves via $p$-adic sigma functions, via work of the first-named author. For both approaches one needs to choose a splitting of the Hodge filtration. A canonical choice for this is due to Blakestad in the case of an odd degree curve of genus $2$ that has semistable ordinary reduction at $p$. We provide an algorithm to compute Blakestad's splitting, which is conjecturally the unit root splitting for the action of Frobenius. We give several numerical examples, including the first worked quadratic Chabauty example in the literature for a curve with bad reduction. △ Less

Submitted 31 January, 2024; originally announced February 2024.

MSC Class: 14G40 (Primary) 11G50; 11S80; 14G05; 14F30 (Secondary)

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

Authors: Francesca Bianchi, Enis Kaya, J. Steffen Müller

Abstract: 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 decompose the $p$-adic height constructed by Coleman and Gross, and extended to arbitrary reduction by C… ▽ More 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 decompose the $p$-adic height constructed by Coleman and Gross, and extended to arbitrary reduction by Colmez and Besser, into a sum of 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. △ Less

Submitted 23 October, 2023; originally announced October 2023.

Comments: 38 pages

MSC Class: Primary: 11G50; 14G40. Secondary: 14H42; 14K25; 11S40; 11S80

Computing p-adic heights on hyperelliptic curves

Authors: Stevan Gajović, J. Steffen Müller

Abstract: We describe an algorithm to compute the local Coleman-Gross p-adic height at p on a hyperelliptic curve. Previously, this was only possible using an algorithm due to Balakrishnan and Besser, which was limited to odd degree. While we follow their general strategy, our algorithm is significantly faster and simpler and works for both odd and even degree. We discuss a precision analysis and an impleme… ▽ More We describe an algorithm to compute the local Coleman-Gross p-adic height at p on a hyperelliptic curve. Previously, this was only possible using an algorithm due to Balakrishnan and Besser, which was limited to odd degree. While we follow their general strategy, our algorithm is significantly faster and simpler and works for both odd and even degree. We discuss a precision analysis and an implementation in SageMath. Our work has several applications, also discussed in this article. These include various versions of the quadratic Chabauty method, and numerical evidence for a p-adic version of the conjecture of Birch and Swinnerton-Dyer in cases where this was not previously possible. △ Less

Submitted 10 January, 2024; v1 submitted 28 July, 2023; originally announced July 2023.

Comments: 24 pages

Linear quadratic Chabauty

Authors: Stevan Gajović, J. Steffen Müller

Abstract: We present a new quadratic Chabauty method to compute the integral points on certain even degree hyperelliptic curves. Our approach relies on a nontrivial degree zero divisor supported at the two points at infinity to restrict the $p$-adic height to a linear function; we can then express this restriction in terms of holomorphic Coleman integrals under the standard quadratic Chabauty assumption. Th… ▽ More We present a new quadratic Chabauty method to compute the integral points on certain even degree hyperelliptic curves. Our approach relies on a nontrivial degree zero divisor supported at the two points at infinity to restrict the $p$-adic height to a linear function; we can then express this restriction in terms of holomorphic Coleman integrals under the standard quadratic Chabauty assumption. Then we use this linear relation to extract the integral points on the curve. We also generalize our method to integral points over number fields. Our method is significantly simpler and faster than all other existing versions of the quadratic Chabauty method. We give examples over $\Q$ and $\Q(\sqrt{7})$. △ Less

Submitted 2 August, 2023; v1 submitted 28 July, 2023; originally announced July 2023.

Comments: 20 pages

Linear and quadratic Chabauty for affine hyperbolic curves

Authors: Marius Leonhardt, Martin Lüdtke, J. Steffen Müller

Abstract: We give sufficient conditions for finiteness of linear and quadratic refined Chabauty-Kim loci of affine hyperbolic curves. We achieve this by constructing depth $\leq 2$ quotients of the fundamental group, following a construction of Balakrishnan-Dogra in the projective case. We also apply Betts' machinery of weight filtrations to give unconditional explicit upper bounds on the number of S-integr… ▽ More We give sufficient conditions for finiteness of linear and quadratic refined Chabauty-Kim loci of affine hyperbolic curves. We achieve this by constructing depth $\leq 2$ quotients of the fundamental group, following a construction of Balakrishnan-Dogra in the projective case. We also apply Betts' machinery of weight filtrations to give unconditional explicit upper bounds on the number of S-integral points when our conditions are satisfied. △ Less

Submitted 27 July, 2023; v1 submitted 26 January, 2023; originally announced January 2023.

Comments: 20 pages; comments welcome

MSC Class: 14G05 (Primary) 11G30; 11D45 (Secondary)

Computing torsion subgroups of Jacobians of hyperelliptic curves of genus 3

Authors: J. Steffen Müller, Berno Reitsma

Abstract: We introduce an algorithm to compute the rational torsion subgroup of the Jacobian of a hyperelliptic curve of genus 3 over the rationals. We apply a Magma implementation of our algorithm to a database of curves with low discriminant due to Sutherland as well as a list of curves with small coefficients. In the process, we find several torsion structures not previously described in the literature.… ▽ More We introduce an algorithm to compute the rational torsion subgroup of the Jacobian of a hyperelliptic curve of genus 3 over the rationals. We apply a Magma implementation of our algorithm to a database of curves with low discriminant due to Sutherland as well as a list of curves with small coefficients. In the process, we find several torsion structures not previously described in the literature. The algorithm is a generalisation of an algorithm for genus 2 due to Stoll, which we extend to abelian varieties satisfying certain conditions. The idea is to compute p-adic torsion lifts of points over finite fields using the Kummer variety and to check whether they are rational using heights. Both have been made explicit for Jacobians of hyperelliptic curves of genus 3 by Stoll. This article is partially based on the second-named author's Master thesis. △ Less

Submitted 16 March, 2023; v1 submitted 7 November, 2022; originally announced November 2022.

Comments: Fixed typos; to appear in Research in Number Theory

MSC Class: 11G10; 11G30; 14H40; 14K15

Rational points on $X^+_0(125)$

Authors: Vishal Arul, J. Steffen Müller

Abstract: We compute the rational points on the Atkin-Lehner quotient $X^+_0(125)$ using the quadratic Chabauty method. Our work completes the study of exceptional rational points on the curves $X^+_0(N)$ of genus between 2 and 6. Together with the work of several authors, this completes the proof of a conjecture of Galbraith. We compute the rational points on the Atkin-Lehner quotient $X^+_0(125)$ using the quadratic Chabauty method. Our work completes the study of exceptional rational points on the curves $X^+_0(N)$ of genus between 2 and 6. Together with the work of several authors, this completes the proof of a conjecture of Galbraith. △ Less

Submitted 26 December, 2022; v1 submitted 29 May, 2022; originally announced May 2022.

Comments: 8 pages; minor changes following referee report

MSC Class: 14g05; 11g30; 11g18

p-adic adelic metrics and Quadratic Chabauty I

Authors: Amnon Besser, J. Steffen Müller, Padmavathi Srinivasan

Abstract: 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… ▽ More 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. △ Less

Submitted 23 November, 2022; v1 submitted 7 December, 2021; originally announced December 2021.

Comments: Updates include a p-adic Arakelov-theory proof that the method extends when $r>g$ and $r<g+\mathrm{rank}(\mathrm{NS}(J))-1$ (Sections 3.4 and 7.2), comparison to Colmez's work (Sections 4.5 and 9.3), an updated comparison to Balakrishnan and Dogra's work (Section 8), and a new unified q-analytic construction of local heights (p-adic and real) on abelian varieties at a finite prime q (Section 9.2)

Broadband photon pair generation from a single lithium niobate microcube

Authors: Ngoc My Hanh Duong, Gregoire Saerens, Flavia Timpu, Maria Teresa Buscaglia, Vincenzo Buscaglia, Andrea Morandi, Jolanda S. Muller, Andreas Maeder, Fabian Kaufmann, Alexander Sonltsev, Rachel Grange

Abstract: Nonclassical light sources are highly sought after as they are an integral part of quantum communication and quantum computation devices. Typical sources rely on bulk crystals that are not compact and have limited bandwidth due to phase-matching conditions. In this work, we demonstrate the generation of photon pairs from a free-standing lithium niobate microcube at the telecommunication wavelength… ▽ More Nonclassical light sources are highly sought after as they are an integral part of quantum communication and quantum computation devices. Typical sources rely on bulk crystals that are not compact and have limited bandwidth due to phase-matching conditions. In this work, we demonstrate the generation of photon pairs from a free-standing lithium niobate microcube at the telecommunication wavelength through the spontaneous parametric down-conversion process. The maximum photon pair generation rate obtained from a single microcube with the size of ~4 microns is ~80 Hz, resulting in an efficiency of ~1.2 GHz/Wm per unit volume, which is an order of magnitude higher than the efficiency of photon-pair generation in bulky nonlinear crystals. The microcubes are synthesized through a solvothermal method, offering the possibility for scalable devices via bottom-up assembly. Our work constitutes an important step forward in the realization of compact nonclassical light sources with broadband tunability for various applications in quantum communication, quantum computing, and quantum metrology. △ Less

Submitted 17 September, 2021; originally announced September 2021.

Comments: 19 pages, 4 figures

Quadratic Chabauty for modular curves: Algorithms and examples

Authors: Jennifer S. Balakrishnan, Netan Dogra, Jan Steffen Müller, Jan Tuitman, Jan Vonk

Abstract: We describe how the quadratic Chabauty method may be applied to explicitly determine the set of rational points on modular curves of genus $g>1$ whose Jacobians have Mordell--Weil rank $g$. This extends our previous work on the split Cartan curve of level 13 and allows us to consider modular curves that may have few known rational points or nontrivial local height contributions at primes of bad re… ▽ More We describe how the quadratic Chabauty method may be applied to explicitly determine the set of rational points on modular curves of genus $g>1$ whose Jacobians have Mordell--Weil rank $g$. This extends our previous work on the split Cartan curve of level 13 and allows us to consider modular curves that may have few known rational points or nontrivial local height contributions at primes of bad reduction. We illustrate our algorithms with a number of examples where we determine the set of rational points on several modular curves of genus 2 and 3: this includes Atkin--Lehner quotients $X_0^+(N)$ of prime level $N$, the curve $X_{S_4}(13)$, as well as a few other curves relevant to Mazur's Program B. We also describe the computation of rational points on the genus 6 non-split Cartan modular curve $X_{\textrm{ns}} ^+ (17)$. △ Less

Submitted 7 March, 2023; v1 submitted 5 January, 2021; originally announced January 2021.

Comments: Updated following referee's comments. To appear in Comp. Math

Modeling of Random Quasi-Phase-Matching in Birefringent Disordered Media

Authors: Jolanda S. Müller, Andrea Morandi, Rachel Grange, Romolo Savo

Abstract: We provide a vectorial model to simulate second-harmonic generation (SHG) in birefringent, transparent media with an arbitrary configuration of non-linear ($χ^{(2)}$) crystalline grains. We apply this model on disordered assemblies of LiNbO$_3$ and BaTiO$_3$ grains to identify the influence of the birefringence on the random quasi-phase-matching process. We show that in monodispersed assemblies, t… ▽ More We provide a vectorial model to simulate second-harmonic generation (SHG) in birefringent, transparent media with an arbitrary configuration of non-linear ($χ^{(2)}$) crystalline grains. We apply this model on disordered assemblies of LiNbO$_3$ and BaTiO$_3$ grains to identify the influence of the birefringence on the random quasi-phase-matching process. We show that in monodispersed assemblies, the birefringence relaxes the grain-size dependence of the SHG efficiency. In polydispersed assemblies with sufficiently large grains, we find that the birefringence introduces an SHG efficiency enhancement of up to 54% compared to isotropic reference crystals, which is grain size independent. This enhancement increases linearly with the grain size, if the birefringent grains can be phase matched. These two different scaling behaviours are used in Kurtz and Perry's powder-technique to identify the phase-matchability of a material. We show on the example of LiNbO$_3$ and ADP that this technique cannot be applied when the grains get smaller than the coherence length, because the SHG scaling with the grain size becomes material specific. △ Less

Submitted 20 November, 2020; originally announced November 2020.

Comments: Main: 7 pages, 4 Figures. Supplementaries: 11 pages, 8 figures

Journal ref: Phys. Rev. Applied 15, 064070 (2021)

Broadband Mie-driven random quasi-phase-matching

Authors: Romolo Savo, Andrea Morandi, Jolanda S. Müller, Fabian Kaufmann, Flavia Timpu, Marc Reig Escalé, Michele Zanini, Lucio Isa, Rachel Grange

Abstract: High-quality crystals without inversion symmetry are the conventional platform to achieve optical frequency conversion via three wave-mixing. In bulk crystals, efficient wave-mixing relies on phase-matching configurations, while at the micro- and nano-scale it requires resonant mechanisms that enhance the nonlinear light-matter interaction. These strategies commonly result in wavelength-specific p… ▽ More High-quality crystals without inversion symmetry are the conventional platform to achieve optical frequency conversion via three wave-mixing. In bulk crystals, efficient wave-mixing relies on phase-matching configurations, while at the micro- and nano-scale it requires resonant mechanisms that enhance the nonlinear light-matter interaction. These strategies commonly result in wavelength-specific performances and narrowband applications. Disordered photonic materials, made up of a random assembly of optical nonlinear crystals, enable a broadband tunability in the random quasi-phase-matching (RQPM) regime and do not require high-quality materials. Here, we combine resonances and disorder by implementing RQPM in Mie-resonant spheres of a few microns realized by the bottom-up assembly of barium titanate nano-crystals. The measured second harmonic generation (SHG) reveals a combination of broadband and resonant wave mixing, in which Mie resonances drive and enhance the SHG, while the disorder keeps the phase-matching conditions relaxed. This new phase-matching regime can be described by a random walk in the SHG complex plane whose step lengths depend on the local field enhancement within the micro-sphere. Our nano-crystals assemblies provide new opportunities for tailored phase-matching at the micro-scale, beyond the coherence length of the bulk crystal. They can be adapted to achieve frequency conversion from the near-ultraviolet to the infrared ranges, they are low-cost and scalable to large surface areas. △ Less

Submitted 26 May, 2020; originally announced May 2020.

Comments: Main: 9 pages, 5 Figures. Supplementaries: 24 pages, 11 figures, 1 table

Receptivity of the turbulent precessing vortex core: synchronization experiments and global adjoint linear stability analysis

Authors: J. S. Müller, F. Lückoff, P. Paredes, V. Theofilis, K. Oberleithner

Abstract: The Precessing Vortex Core (PVC) is a coherent structure that can arise in swirling jets from a global instability. In this work, the PVC is investigated under highly turbulent conditions. The goal is to characterize the receptivity of the PVC to active flow control, both theoretically and experimentally. Based on stereoscopic particle image velocimetry and surface pressure measurements, the exper… ▽ More The Precessing Vortex Core (PVC) is a coherent structure that can arise in swirling jets from a global instability. In this work, the PVC is investigated under highly turbulent conditions. The goal is to characterize the receptivity of the PVC to active flow control, both theoretically and experimentally. Based on stereoscopic particle image velocimetry and surface pressure measurements, the experimental studies are facilitated by Fourier decomposition and proper orthogonal decomposition. The frequency and the mode shape of the PVC are extracted and a very good agreement with the theoretical prediction by global linear stability analysis (LSA) is found. By employing an adjoint LSA, it is found that the PVC is particularly receptive inside the duct upstream of the swirling jet. Open-loop zero net mass flux actuation is applied at different axial positions inside the duct with the goal of frequency synchronization of the PVC. The actuation is shown to have the strongest effect close to the exit of the duct. There, frequency synchronization is reached primarily through direct mode-to-mode interaction. Applying the actuation farther upstream, synchronization is only achieved by a modification of the mean flow that manipulates the swirl number. These experimental observations match qualitatively well with the theoretical receptivity derived from adjoint LSA. Although the process of synchronization is very complex, it is concluded that adjoint LSA based on mean field theory sufficiently predicts regions of high and low receptivity. Furthermore, the adjoint framework promises to be a valuable tool for finding ideal locations for flow control applications. △ Less

Submitted 28 January, 2020; originally announced January 2020.

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

Authors: Jennifer S. Balakrishnan, Alex J. Best, Francesca Bianchi, Brian Lawrence, J. Steffen Müller, Nicholas Triantafillou, Jan Vonk

Abstract: 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… ▽ More 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. △ Less

Submitted 19 January, 2020; v1 submitted 28 October, 2019; originally announced October 2019.

Comments: Corrected Theorem 6.3 and its proof. Added short discussion of non-proper hyperbolic curves

Explicit quadratic Chabauty over number fields

Authors: Jennifer S. Balakrishnan, Amnon Besser, Francesca Bianchi, J. Steffen Müller

Abstract: 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… ▽ More 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. △ Less

Submitted 15 June, 2020; v1 submitted 10 October, 2019; originally announced October 2019.

Comments: Fixed minor issues following the referee's suggestions; 33 pages

MSC Class: Primary 11G30; Secondary 11S80; 11Y50; 14G40

Explicit arithmetic intersection theory and computation of Néron-Tate heights

Authors: Raymond van Bommel, David Holmes, J. Steffen Müller

Abstract: We describe a general algorithm for computing intersection pairings on arithmetic surfaces. We have implemented our algorithm for curves over $\mathbb Q$, and we show how to use it to compute regulators for a number of Jacobians of smooth plane quartics, and to numerically verify the conjecture of Birch and Swinnerton-Dyer for the Jacobian of the split Cartan curve of level 13, up to squares. We describe a general algorithm for computing intersection pairings on arithmetic surfaces. We have implemented our algorithm for curves over $\mathbb Q$, and we show how to use it to compute regulators for a number of Jacobians of smooth plane quartics, and to numerically verify the conjecture of Birch and Swinnerton-Dyer for the Jacobian of the split Cartan curve of level 13, up to squares. △ Less

Submitted 3 April, 2019; v1 submitted 18 September, 2018; originally announced September 2018.

Archimedean local height differences on elliptic curves

Authors: J. Steffen Müller, Corinna Stumpe

Abstract: To compute generators for the Mordell-Weil group of an elliptic curve over a number field, one needs to bound the difference between the naive and the canonical height from above. We give an elementary and fast method to compute an upper bound for the local contribution to this difference at an archimedean place, which sometimes gives better results than previous algorithms. To compute generators for the Mordell-Weil group of an elliptic curve over a number field, one needs to bound the difference between the naive and the canonical height from above. We give an elementary and fast method to compute an upper bound for the local contribution to this difference at an archimedean place, which sometimes gives better results than previous algorithms. △ Less

Submitted 11 July, 2018; originally announced July 2018.

Comments: 10 pages, comments welcome

MSC Class: 11G50 (primary) 14G05; 11G05; 11G07 (secondary

Explicit Chabauty-Kim for the Split Cartan Modular Curve of Level 13

Authors: Jennifer S. Balakrishnan, Netan Dogra, J. Steffen Müller, Jan Tuitman, Jan Vonk

Abstract: We extend the explicit quadratic Chabauty methods developed in previous work by the first two authors to the case of non-hyperelliptic curves. This results in an algorithm to compute the rational points on a curve of genus $g \ge 2$ over the rationals whose Jacobian has Mordell-Weil rank $g$ and Picard number greater than one, and which satisfies some additional conditions. This algorithm is then… ▽ More We extend the explicit quadratic Chabauty methods developed in previous work by the first two authors to the case of non-hyperelliptic curves. This results in an algorithm to compute the rational points on a curve of genus $g \ge 2$ over the rationals whose Jacobian has Mordell-Weil rank $g$ and Picard number greater than one, and which satisfies some additional conditions. This algorithm is then applied to the modular curve $X_{s}(13)$, completing the classification of non-CM elliptic curves over $\mathbf{Q}$ with split Cartan level structure due to Bilu-Parent and Bilu-Parent-Rebolledo. △ Less

Submitted 15 November, 2017; originally announced November 2017.

The minimal regular model of a Fermat curve of odd squarefree exponent and its dualizing sheaf

Authors: Christian Curilla, J. Steffen Müller

Abstract: We construct the minimal regular model of the Fermat curve of odd squarefree composite exponent $N$ over the $N$-th cyclotomic integers. As an application, we compute upper and lower bounds for the arithmetic self-intersection of the dualizing sheaf of this model. We construct the minimal regular model of the Fermat curve of odd squarefree composite exponent $N$ over the $N$-th cyclotomic integers. As an application, we compute upper and lower bounds for the arithmetic self-intersection of the dualizing sheaf of this model. △ Less

Submitted 15 May, 2016; originally announced May 2016.

Comments: 42 pages, 7 figures

MSC Class: 14G40; 11G30; 11D41

Journal ref: Kyoto J. Math. 60, no. 1 (2020), 219-268

Canonical Heights on Genus Two Jacobians

Authors: J. Steffen Müller, Michael Stoll

Abstract: 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… ▽ More 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. △ Less

Submitted 2 August, 2016; v1 submitted 2 March, 2016; originally announced March 2016.

Comments: 68 pages, 5 figures. v2: diverse improvements and some corrections, taking referee's comments into account. Main results are essentially unchanged

MSC Class: 11G10; 11G30; 11G50; 14G05; 14G25; 14H40

Journal ref: Algebra Number Theory 10 (2016) 2153-2234

Computing Canonical Heights on Elliptic Curves in Quasi-Linear Time

Authors: J. Steffen Müller, Michael Stoll

Abstract: We introduce an algorithm that can be used to compute the canonical height of a point on an elliptic curve over the rationals in quasi-linear time. As in most previous algorithms, we decompose the difference between the canonical and the naive height into an archimedean and a non-archimedean term. Our main contribution is an algorithm for the computation of the non-archimedean term that requires n… ▽ More We introduce an algorithm that can be used to compute the canonical height of a point on an elliptic curve over the rationals in quasi-linear time. As in most previous algorithms, we decompose the difference between the canonical and the naive height into an archimedean and a non-archimedean term. Our main contribution is an algorithm for the computation of the non-archimedean term that requires no integer factorization and runs in quasi-linear time. △ Less

Submitted 22 December, 2015; v1 submitted 29 September, 2015; originally announced September 2015.

Comments: 15 pages. v2: Fixed an inaccuracy in Algorithm 6.1 pointed out by E. Wells. Minor changes in Sections 4 and 6. Updated timings

MSC Class: 11G50; 14G40; 11G05; 11Y16

Journal ref: LMS J. Comput. Math. 19 (2016) 391-405

Computing integral points on hyperelliptic curves using quadratic Chabauty

Authors: Jennifer S. Balakrishnan, Amnon Besser, J. Steffen Müller

Abstract: 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 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 △ Less

Submitted 9 November, 2015; v1 submitted 27 April, 2015; originally announced April 2015.

Comments: Minor revision. To appear in Math. Comp

MSC Class: 11G30; 11S80; 11Y50; 14G40

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

Authors: Ulf Kühn, J. Steffen Müller

Abstract: 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. 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. △ Less

Submitted 7 April, 2015; originally announced April 2015.

Comments: 25 pages, 5 figures

MSC Class: 19E08; 11G30; 14H25

Canonical heights and division polynomials

Authors: Robin de Jong, J. Steffen Müller

Abstract: We discuss a new method to compute the canonical height of an algebraic point on a hyperelliptic jacobian over a number field. The method does not require any geometrical models, neither $p$-adic nor complex analytic ones. In the case of genus 2 we also present a version that requires no factorisation at all. The method is based on a recurrence relation for the `division polynomials' associated to… ▽ More We discuss a new method to compute the canonical height of an algebraic point on a hyperelliptic jacobian over a number field. The method does not require any geometrical models, neither $p$-adic nor complex analytic ones. In the case of genus 2 we also present a version that requires no factorisation at all. The method is based on a recurrence relation for the `division polynomials' associated to hyperelliptic jacobians, and a diophantine approximation result due to Faltings. △ Less

Submitted 17 June, 2013; originally announced June 2013.

Comments: 17 pages, 2 figures, 2 tables; comments welcome

MSC Class: 11G10; 11G30; 11G50; 14H40; 14H45

Journal ref: Math. Proc. Camb. Phil. Soc. 157 (2014) 357-373

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

Authors: Jennifer S. Balakrishnan, Amnon Besser, J. Steffen Müller

Abstract: 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 th… ▽ More 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. △ Less

Submitted 30 December, 2014; v1 submitted 12 February, 2013; originally announced February 2013.

Comments: 27 pages

MSC Class: 11S80; 14G40; 11Y50 (Primary); 11G30; 11D41 (Secondary)

Explicit Kummer varieties of hyperelliptic Jacobian threefolds

Authors: J. Steffen Müller

Abstract: We explicitly construct the Kummer variety associated to the Jacobian of a hyperelliptic curve of genus 3 that is defined over a field of characteristic not equal to 2 and has a Weierstraß point defined over the same field. We also construct homogeneous quartic polynomials on the Kummer variety and show that they represent the duplication map. We explicitly construct the Kummer variety associated to the Jacobian of a hyperelliptic curve of genus 3 that is defined over a field of characteristic not equal to 2 and has a Weierstraß point defined over the same field. We also construct homogeneous quartic polynomials on the Kummer variety and show that they represent the duplication map. △ Less

Submitted 4 May, 2014; v1 submitted 29 November, 2012; originally announced November 2012.

Comments: 13 pages

MSC Class: 14H40; 14K05; 11G50

Journal ref: LMS J. Comput. Math. 17 (2014) 496-508

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

Authors: Ulf Kühn, J. Steffen Müller

Abstract: 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. 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. △ Less

Submitted 12 November, 2012; v1 submitted 24 October, 2012; originally announced October 2012.

Comments: 6 pages. Fixed typos, added more references and an application to elliptic non-Wieferich primes

MSC Class: 11G05; 11G50

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

Authors: Jennifer S. Balakrishnan, J. Steffen Müller, William A. Stein

Abstract: 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 r… ▽ More 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. △ Less

Submitted 30 December, 2014; v1 submitted 9 October, 2012; originally announced October 2012.

Comments: 33 pages, 22 tables

MSC Class: 11G40; 11G50; 11G10; 11G18

Lower bounds on the arithmetic self-intersection number of the relative dualizing sheaf on arithmetic surfaces

Authors: Ulf Kühn, Jan Steffen Müller

Abstract: We give an explicitly computable lower bound for the arithmetic self-intersection number of the dualizing sheaf on a large class of arithmetic surfaces. If some technical conditions are satisfied, then this lower bound is positive. In particular, these technical conditions are always satisfied for minimal arithmetic surfaces with simple multiplicities and at least one reducible fiber, but we have… ▽ More We give an explicitly computable lower bound for the arithmetic self-intersection number of the dualizing sheaf on a large class of arithmetic surfaces. If some technical conditions are satisfied, then this lower bound is positive. In particular, these technical conditions are always satisfied for minimal arithmetic surfaces with simple multiplicities and at least one reducible fiber, but we have also used our techniques to obtain lower bounds for some arithmetic surfaces with non-reduced fibers. △ Less

Submitted 19 July, 2013; v1 submitted 15 May, 2012; originally announced May 2012.

Comments: 24 pages, 2 figures. Heavily restructured, local and global parts are now separated. Also added computations of our lower bounds for genus 2 reduction types and modular curves X1(N) for certain N

MSC Class: 14G40; 11G50; 11G30; 14H25

Regression for sets of polynomial equations

Authors: Franz Johannes Király, Paul von Bünau, Jan Saputra Müller, Duncan Blythe, Frank Meinecke, Klaus-Robert Müller

Abstract: We propose a method called ideal regression for approximating an arbitrary system of polynomial equations by a system of a particular type. Using techniques from approximate computational algebraic geometry, we show how we can solve ideal regression directly without resorting to numerical optimization. Ideal regression is useful whenever the solution to a learning problem can be described by a sys… ▽ More We propose a method called ideal regression for approximating an arbitrary system of polynomial equations by a system of a particular type. Using techniques from approximate computational algebraic geometry, we show how we can solve ideal regression directly without resorting to numerical optimization. Ideal regression is useful whenever the solution to a learning problem can be described by a system of polynomial equations. As an example, we demonstrate how to formulate Stationary Subspace Analysis (SSA), a source separation problem, in terms of ideal regression, which also yields a consistent estimator for SSA. We then compare this estimator in simulations with previous optimization-based approaches for SSA. △ Less

Submitted 25 March, 2013; v1 submitted 20 October, 2011; originally announced October 2011.

Comments: arXiv admin note: substantial text overlap with arXiv:1108.1483

Journal ref: Journal of Machine Learning Research Workshop and Conference Proceedings Vol.22: Proceedings on the Fifteenth International Conference on Artificial Intelligence and Statistics, 22:628-637. 2012

Computing canonical heights using arithmetic intersection theory

Authors: Jan Steffen Müller

Abstract: For several applications in the arithmetic of abelian varieties it is important to compute canonical heights. Following Faltings and Hriljac, we show how the canonical height on the Jacobian of a smooth projective curve can be computed using arithmetic intersection theory on a regular model of the curve in practice. In the case of hyperelliptic curves we present a complete algorithm that has been… ▽ More For several applications in the arithmetic of abelian varieties it is important to compute canonical heights. Following Faltings and Hriljac, we show how the canonical height on the Jacobian of a smooth projective curve can be computed using arithmetic intersection theory on a regular model of the curve in practice. In the case of hyperelliptic curves we present a complete algorithm that has been implemented in Magma. Several examples are computed and the behavior of the running time is discussed. △ Less

Submitted 27 January, 2012; v1 submitted 9 May, 2011; originally announced May 2011.

Comments: 29 pages. Fixed typos and minor errors, restructured some sections. Added new Example 3

MSC Class: 11G50 (Primary) 11G10; 11G30; 14G40 (Secondary)

Journal ref: Math. Comp. 83, 311-336 (2014)

Local heights on elliptic curves and intersection multiplicities

Authors: Vincenz Busch, Jan Steffen Müller

Abstract: In this short note we prove a formula for local heights on elliptic curves over number fields in terms of intersection theory on a regular model over the ring of integers. In this short note we prove a formula for local heights on elliptic curves over number fields in terms of intersection theory on a regular model over the ring of integers. △ Less

Submitted 11 January, 2012; v1 submitted 10 March, 2010; originally announced March 2010.

Comments: 8 pages. Rewrote the proof of Theorem 1 using Lemmas 8 and 9. Fixed several typos and inaccuracies

MSC Class: 11G50 (Primary) 11G40; 14G40 (Secondary)

Journal ref: Int. J. Number Theory 8, 1477-1484 (2012)

Explicit Kummer surface theory for arbitrary characteristic

Authors: Jan Steffen Müller

Abstract: We explicitly find an equation and a projective embedding of the Kummer surface associated to the Jacobian of a curve of genus 2 given by an equation of the form y^2 + h(x)y = f(x) over an arbitrary ground field as well as several maps that can be used to perform arithmetic on it. This extends earlier work by Flynn and has applications, for instance, in computations of canonical heights for genu… ▽ More We explicitly find an equation and a projective embedding of the Kummer surface associated to the Jacobian of a curve of genus 2 given by an equation of the form y^2 + h(x)y = f(x) over an arbitrary ground field as well as several maps that can be used to perform arithmetic on it. This extends earlier work by Flynn and has applications, for instance, in computations of canonical heights for genus 2 Jacobians and in cryptography. △ Less

Submitted 14 October, 2009; originally announced October 2009.

Comments: To be published in the LMS Journal of Computation and Mathematics

MSC Class: 14J28; 14H40; 11T71; 11G50

Journal ref: London Math. Soc. J. Comput. Math.13, 47-64 (2010)