Related papers: Explicit Motivic Mixed Elliptic Chabauty-Kim

For Atkin-Lehner quotients $X_0^+(N)$, of prime level and of genus at least 2, we provide an algorithm for computing one of the main objects in the quadratic Chabauty algorithm in terms of weakly holomorphic modular forms associated to the…

In order to find analytically the travelling waves of partially integrable autonomous nonlinear partial differential equations, many methods have been proposed over the ages: "projective Riccati method", "tanh-method", "exponential method",…

We give several new constructions for moderate rank elliptic curves over $\mathbb{Q}(T)$. In particular we construct infinitely many rational elliptic surfaces (not in Weierstrass form) of rank 6 over $\mathbb{Q}$ using polynomials of…

Let $C/\mathbb{Q}$ be a genus $2$ curve whose Jacobian $J/\mathbb{Q}$ has real multiplication by a quadratic order in which $7$ splits. We describe an algorithm which outputs twists of the Klein quartic curve which parametrise elliptic…

In this paper we suggest a definition for the category of mixed motives generated by the motive h^1(E) for E an elliptic curve without complex multiplication. We then compute the cohomology of this category. Modulo a strengthening of the…

We give an elementary proof of the Mazur-Tate-Teitelbaum conjecture for elliptic curves by using Kato's element.

We establish several surjectivity theorems regarding the Galois groups of small iterates of $\phi_c(x)=x^2+c$ for $c\in\mathbb{Q}$. To do this, we use explicit techniques from the theory of rational points on curves, including the method of…

We use a global version of Heath-Brown's $p-$adic determinant method developed by Salberger to give upper bounds for the number of rational points of height at most $B$ on non-singular cubic curves defined over $\mathbb{Q}$. The bounds are…

For a fixed odd prime p and a representation \rho of the absolute Galois group of Q into the projective group PGL(2,p), we provide the twisted modular curves whose rational points supply the quadratic Q-curves of degree N prime to p that…

In the beautiful article [11] Darmon proposed a program to study integral solutions of the generalized Fermat equation $Ax^p+By^q=Cz^r$. In the aforementioned article, Darmon proved many steps of the program, by exhibiting models of…

We produce explicit elliptic curves over \Bbb F_p(t) whose Mordell-Weil groups have arbitrarily large rank. Our method is to prove the conjecture of Birch and Swinnerton-Dyer for these curves (or rather the Tate conjecture for related…

Let $X$ be a quotient of the modular curve $X_0(N)$ whose Jacobian $J_X$ is a simple factor of $J_0(N)^{new}$ over $\mathbb{Q}$. Let $f$ be the newform of level $N$ and weight 2 associated with $J_X$; assume $f$ has analytic rank 1. We give…

Let $A$ be an abelian variety over a number field $F$ and let $p$ be a prime. Cohen-Lenstra-Delaunay-style heuristics predict that the Tate-Shafarevich group of $A_s$ should contain an element of order $p$ for a positive proportion of…

We develop algorithms to compute two versions of the motivic Hilbert zeta function for curve singularities: the classical version, applicable to singularities with a monomial valuation semigroup or to singular curves defined by…

Let $\mathbb{F}_q$ denote the finite field with $q$ elements. In this work, we use characters to give the number of rational points on suitable curves of low degree over $\mathbb{F}_q$ in terms of the number of rational points on elliptic…

In the first paper of this sequence, we provided an explicit hypergeometric modularity method by combining different techniques from the classical, $p$-adic, and finite field settings. In this article, we explore an application of this…

In recent years, significant progress has been made on Mazur's Program B, with many authors beginning a systematic classification of all possible images of $p$-adic Galois representations attached to elliptic curves over $\mathbb{Q}$.…

We consider the Kolyvagin cohomology classes associated to an elliptic curve $E$ defined over $\mathbb{Q}$ from a computational point of view. We explain how to go from a model of a class as an element of…

Guo and Yang give defining equations for all geometrically hyperelliptic Shimura curves $X_0(D,N)$. In this paper we compute the $\mathbb{Q}$-rational points on the Atkin-Lehner quotients of these curves using a variety of techniques. We…

We initiate the study of a class of real plane algebraic curves which we call expressive. These are the curves whose defining polynomial has the smallest number of critical points allowed by the topology of the set of real points of a…