Showing 1–9 of 9 results for author: Caro, J

On Diophantine properties for values of Dedekind zeta functions

Authors: Jerson Caro, Fabien Pazuki, Riccardo Pengo

Abstract: We study the Northcott and Bogomolov property for special values of Dedekind $ζ$-functions at real values $σ\in \mathbb{R}$. We prove, in particular, that the Bogomolov property is not satisfied when $σ\geq \frac{1}{2}$. If $σ> 1$, we produce certain families of number fields having arbitrarily large degrees, whose Dedekind $ζ$-functions $ζ_K(s)$ attain arbitrarily small values at $s = σ$. On the… ▽ More We study the Northcott and Bogomolov property for special values of Dedekind $ζ$-functions at real values $σ\in \mathbb{R}$. We prove, in particular, that the Bogomolov property is not satisfied when $σ\geq \frac{1}{2}$. If $σ> 1$, we produce certain families of number fields having arbitrarily large degrees, whose Dedekind $ζ$-functions $ζ_K(s)$ attain arbitrarily small values at $s = σ$. On the other hand, if $\frac{1}{2} \leq σ\leq 1$, we construct suitable families of quadratic number fields, employing either Soundararajan's resonance method, which works when $\frac{1}{2} \leq σ< 1$, or results on random Euler products by Granville and Soundararajan, and by Lamzouri, which work when $\frac{1}{2} < σ\leq 1$. We complete the study by proving that the Dedekind $ζ$ function together with the degree satisfies the Northcott property for every complex $s\in{\mathbb{C}}$ such that $\mathrm{Re}(s) <0$, generalizing previous work of Généreux and Lalín. △ Less

Submitted 28 February, 2025; originally announced February 2025.

Comments: Comments are very welcome!

Report number: IRN GANDA, ERC-2020-STG-945714, ANR-10-LABX-0070, ANR-11-IDEX-0007, ANR-21-CE40-0015, MPIM-Bonn-2025 MSC Class: Primary: 11G50; 11R42; Secondary: 11F67; 11M06; 11S40

A refined Chabauty--Coleman bound for surfaces

Authors: Jennifer S. Balakrishnan, Jerson Caro

Abstract: Caro and Pasten gave an explicit upper bound on the number of rational points on a hyperbolic surface that is embedded in an abelian variety of rank at most one. We show how to use their method to produce a refined bound on the number of rational points on the surface $W_2 := C+C$ in the case of a hyperelliptic curve $C$ of genus $3$ over $\mathbb{Q}$. Combining this with work of Siksek, we use th… ▽ More Caro and Pasten gave an explicit upper bound on the number of rational points on a hyperbolic surface that is embedded in an abelian variety of rank at most one. We show how to use their method to produce a refined bound on the number of rational points on the surface $W_2 := C+C$ in the case of a hyperelliptic curve $C$ of genus $3$ over $\mathbb{Q}$. Combining this with work of Siksek, we use this to determine $W_2(\mathbb{Q})$ in a selection of examples. △ Less

Submitted 3 February, 2025; v1 submitted 6 January, 2025; originally announced January 2025.

The general ternary form can be recovered by its Hessian

Authors: Ciro Ciliberto, Giorgio Ottaviani, Jerson Caro, Juanita Duque-Rosero

Abstract: The Hessian map is the rational map that sends a homogeneous polynomial to the determinant of its Hessian matrix. We prove that the Hessian map is birational on its image for ternary forms of degree $d\ge 4$, $d\neq 5$, by considering the action of the orthogonal group. In a previous paper we proved the analogous result for binary forms, with more geometric techniques. The Hessian map is the rational map that sends a homogeneous polynomial to the determinant of its Hessian matrix. We prove that the Hessian map is birational on its image for ternary forms of degree $d\ge 4$, $d\neq 5$, by considering the action of the orthogonal group. In a previous paper we proved the analogous result for binary forms, with more geometric techniques. △ Less

Submitted 12 March, 2025; v1 submitted 8 June, 2024; originally announced June 2024.

Comments: by Ciro Ciliberto, Giorgio Ottaviani, with an appendix by Jerson Caro, Juanita Duque-Rosero

MSC Class: 14E05; 14H50; 14L30; 11D25; 14Q05

Linear $x$-coordinate relations of triples on elliptic curves

Authors: Jerson Caro, Natalia Garcia-Fritz

Abstract: For an elliptic curve $E$ defined over the field $\mathbb{C}$ of complex numbers, we classify all translates of elliptic curves in $E^3$ such that the $x$-coordinates satisfy a linear equation. This classification enables us to establish a relation between the rank of finite rank subgroups of $E$ and triples in $E$ whose $x$-coordinates are linearly related. The method of proof integrates complex… ▽ More For an elliptic curve $E$ defined over the field $\mathbb{C}$ of complex numbers, we classify all translates of elliptic curves in $E^3$ such that the $x$-coordinates satisfy a linear equation. This classification enables us to establish a relation between the rank of finite rank subgroups of $E$ and triples in $E$ whose $x$-coordinates are linearly related. The method of proof integrates complex analytic techniques on elliptic curves with results of Gao, Ge and Kühne on Uniform Mordell-Lang Conjecture for subvarieties in abelian varieties. △ Less

Submitted 26 October, 2023; originally announced October 2023.

Comments: 8 pages, comments are welcome

MSC Class: Primary: 11G05; Secondary: 14K12; 30D99; 14G05

On the fibres of an elliptic surface where the rank does not jump

Authors: Jerson Caro, Hector Pasten

Abstract: For a non-constant elliptic surface over $\mathbb{P}^1$ defined over $\mathbb{Q}$, it is a result of Silverman that the Mordell--Weil rank of the fibres is at least the rank of the group of sections, up to finitely many fibres. If the elliptic surface is non-isotrivial one expects that this bound is an equality for infinitely many fibres, although no example is known unconditionally. Under the Bun… ▽ More For a non-constant elliptic surface over $\mathbb{P}^1$ defined over $\mathbb{Q}$, it is a result of Silverman that the Mordell--Weil rank of the fibres is at least the rank of the group of sections, up to finitely many fibres. If the elliptic surface is non-isotrivial one expects that this bound is an equality for infinitely many fibres, although no example is known unconditionally. Under the Bunyakovsky conjecture, such an example has been constructed by Neumann and Setzer. In this note we show that the Legendre elliptic surface has the desired property, conditional on the existence of infinitely many Mersenne primes. △ Less

Submitted 25 October, 2022; originally announced October 2022.

Comments: 6 pages

MSC Class: Primary: 14J27; Secondary: 11G05; 11G40

Neural Integral Equations

Authors: Emanuele Zappala, Antonio Henrique de Oliveira Fonseca, Josue Ortega Caro, Andrew Henry Moberly, Michael James Higley, Jessica Cardin, David van Dijk

Abstract: Nonlinear operators with long distance spatiotemporal dependencies are fundamental in modeling complex systems across sciences, yet learning these nonlocal operators remains challenging in machine learning. Integral equations (IEs), which model such nonlocal systems, have wide ranging applications in physics, chemistry, biology, and engineering. We introduce Neural Integral Equations (NIE), a meth… ▽ More Nonlinear operators with long distance spatiotemporal dependencies are fundamental in modeling complex systems across sciences, yet learning these nonlocal operators remains challenging in machine learning. Integral equations (IEs), which model such nonlocal systems, have wide ranging applications in physics, chemistry, biology, and engineering. We introduce Neural Integral Equations (NIE), a method for learning unknown integral operators from data using an IE solver. To improve scalability and model capacity, we also present Attentional Neural Integral Equations (ANIE), which replaces the integral with self-attention. Both models are grounded in the theory of second kind integral equations, where the indeterminate appears both inside and outside the integral operator. We provide theoretical analysis showing how self-attention can approximate integral operators under mild regularity assumptions, further deepening previously reported connections between transformers and integration, and deriving corresponding approximation results for integral operators. Through numerical benchmarks on synthetic and real world data, including Lotka-Volterra, Navier-Stokes, and Burgers' equations, as well as brain dynamics and integral equations, we showcase the models' capabilities and their ability to derive interpretable dynamics embeddings. Our experiments demonstrate that ANIE outperforms existing methods, especially for longer time intervals and higher dimensional problems. Our work addresses a critical gap in machine learning for nonlocal operators and offers a powerful tool for studying unknown complex systems with long range dependencies. △ Less

Submitted 10 September, 2024; v1 submitted 29 September, 2022; originally announced September 2022.

Comments: 16 + 26 pages, 18 figures and 10 tables. v5: Some additional experiments have been performed, some explanations and reference added. Article published on Nature Machine Intelligence with the more descriptive title: "Learning integral operators via neural integral equations"

Journal ref: Nat Mach Intell (2024)

Watkins's conjecture for quadratic twists of Elliptic Curves with Prime Power Conductor

Authors: Jerson Caro

Abstract: Watkins' conjecture asserts that the rank of an elliptic curve is upper bounded by the $2$-adic valuation of its modular degree. We show that this conjecture is satisfied when $E$ is any quadratic twist of an elliptic curve with rational $2$-torsion and prime power conductor. Furthermore, we give a lower bound of the congruence number for elliptic curves of the form $y^2=x^3-dx$, with $d$ a biquad… ▽ More Watkins' conjecture asserts that the rank of an elliptic curve is upper bounded by the $2$-adic valuation of its modular degree. We show that this conjecture is satisfied when $E$ is any quadratic twist of an elliptic curve with rational $2$-torsion and prime power conductor. Furthermore, we give a lower bound of the congruence number for elliptic curves of the form $y^2=x^3-dx$, with $d$ a biquadratefree integer. △ Less

Submitted 24 September, 2024; v1 submitted 20 June, 2022; originally announced June 2022.

Comments: 13 pages, to appear Journal de Theorie des Nombres de Bordeaux

Watkins' conjecture for elliptic curves over function fields

Authors: Jerson Caro

Abstract: In 2002 Watkins conjectured that given an elliptic curve defined over $\mathbb{Q}$, its Mordell-Weil rank is at most the $2$-adic valuation of its modular degree. We consider the analogous problem over function fields of positive characteristic, and we prove it in several cases. More precisely, every modular semi-stable elliptic curve over $\mathbb{F}_q(T)$ after extending constant scalars, and ev… ▽ More In 2002 Watkins conjectured that given an elliptic curve defined over $\mathbb{Q}$, its Mordell-Weil rank is at most the $2$-adic valuation of its modular degree. We consider the analogous problem over function fields of positive characteristic, and we prove it in several cases. More precisely, every modular semi-stable elliptic curve over $\mathbb{F}_q(T)$ after extending constant scalars, and every quadratic twist of a modular elliptic curve over $\mathbb{F}_q(T)$ by a polynomial with sufficiently many prime factors satisfy the analogue of Watkins' conjecture. Furthermore, for a well-known family of elliptic curves with unbounded rank due to Ulmer, we prove the analogue of Watkins' conjecture. △ Less

Submitted 21 March, 2022; originally announced March 2022.

Comments: 10 pages

A Chabauty-Coleman bound for surfaces

Authors: Jerson Caro, Hector Pasten

Abstract: Building on work by Chabauty from 1941, Coleman proved in 1985 an explicit bound for the number of rational points of a curve $C$ of genus $g\ge 2$ defined over a number field $F$, with Jacobian of rank at most $g-1$. Namely, in the case $F=\mathbb{Q}$, if $p>2g$ is a prime of good reduction, then the number of rational points of $C$ is at most the number of $\mathbb{F}_p$-points plus a contributi… ▽ More Building on work by Chabauty from 1941, Coleman proved in 1985 an explicit bound for the number of rational points of a curve $C$ of genus $g\ge 2$ defined over a number field $F$, with Jacobian of rank at most $g-1$. Namely, in the case $F=\mathbb{Q}$, if $p>2g$ is a prime of good reduction, then the number of rational points of $C$ is at most the number of $\mathbb{F}_p$-points plus a contribution coming from the canonical class of $C$. We prove a result analogous to Coleman's bound in the case of a hyperbolic surface $X$ over a number field, embedded in an abelian variety $A$ of rank at most one, under suitable conditions on the reduction type at the auxiliary prime. This provides the first extension of Coleman's explicit bound beyond the case of curves. The main innovation in our approach is a new method to study the intersection of a $p$-adic analytic subgroup with a subvariety of $A$ by means of overdetermined systems of differential equations in positive characteristic. △ Less

Submitted 10 February, 2021; v1 submitted 1 February, 2021; originally announced February 2021.

Comments: Bibliography updated. A couple of typos fixed

MSC Class: Primary 11G35; Secondary 11G25; 14G05; 14J20