Related papers: The Statement of Mochizuki's Corollary 3.12: Initi…

In \cite{Dupuy2020a} we gave some explicit formulas for the "indeterminacies" Ind1,Ind2,Ind3 in Mochizuki's Inequality as well as a new presentation of initial theta data. In the present paper we use these explicit formulas, together with…

This paper deals with consequences of the existence of Arithmetic Teichmuller spaces established in arXiv:2106.11452 and arXiv:2210.11635. Theorem~9.2.1 provides a proof of a local version of Mochizuki's Corollary~3.12. Local means for a…

This note outlines a constructive proof of a proposition in Mochizuki's paper "Arithmetic elliptic curves in general position," making a direct use of computable non-critical Belyi maps to effectively reduce the full $abc$-conjecture to a…

We describe a tabulation of (conjecturally) modular elliptic curves over the field Q(sqrt(5)) up to the first curve of rank 2. Using an efficient implementation of an algorithm of Lassina Dembele, we computed tables of Hilbert modular forms…

The modularity of elliptic curves always intrigues number theorists. Recently, Thorne had proved a marvelous result that for a prime $ p $, every elliptic curve defined over a $ p $-cyclotomic extension of $ \mathbb{Q} $ is modular. The…

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

Let $\ell$ be an odd prime, and suppose $E$ is an elliptic curve defined over the rational numbers $\mathbb{Q}$. If $E$ has an $\ell$-torsion point, then there has been significant work done on characterizing the $\ell$-divisibility of the…

Suppose $E$ is an elliptic curve defined over $\Q$. At the 1983 ICM the first author formulated some conjectures that propose a close relationship between the explicit class field theory construction of certain abelian extensions of…

This is a continuation of my work on Arithmetic Teichmuller Spaces (arXiv:2106.11452, arXiv:2210.11635, arXiv:2303.01662, arXiv:2305.10398). This paper establishes a number of important results including (1) a proof Mochizuki's Corollary…

We present a database of rational elliptic curves, up to Q-isomorphism, with good reduction outside {2,3,5,7,11,13}. We provide a heuristic involving the abc and BSD conjectures that the database is likely to be the complete set of such…

We describe a system of plane algebraic curves defined over \Z, attached naturally to the exponential function. On of these is a remarkable curve of degree 6 that has genus equal to 1. As the sectic curve has rational points, it is an…

The goal of this article is to obtain a proof of the Main conjectures of Iwasawa theory for rational elliptic curves over anticyclotomic extensions of imaginary quadratic fields, under mild arithmetic assumptions, both in the case where the…

Let E/Q be an elliptic curve and let p be an odd supersingular prime for E. In this article, we study the simplest case of Iwasawa theory for elliptic curves, namely when E(Q) is finite, III(E/Q) has no p-torsion and the Tamagawa factors…

Let $E/\mathbb{Q}$ be an elliptic curve and $p \in \{5,7,11 \}$ be a prime. We determine the possibilities for $E(\mathbb{Q}(\zeta_{p}))_{tors}$. Additionally, we determine all the possibilities for $E(\mathbb{Q}(\zeta_{16}))_{tors}$ and…

We exhibit an algorithm that, given input a curve $X$ over a number field, computes as output the minimal degree of a Belyi map $X \to \mathbb{P}^1$.

Let $E/\mathbb{Q}$ be an elliptic curve and $p > 2$ be a prime of good ordinary reduction for $E$. Assume that the residue representation associated with $(E, p)$ is irreducible. In this paper, we prove more cases on several Iwasawa main…

We discuss abelian equivariant Iwasawa theory for elliptic curves over $\mathbb{Q}$ at good supersingular primes and non-anomalous good ordinary primes. Using Kobayashi's method, we construct equivariant Coleman maps, which send the…

Let $E$ be an elliptic curve defined over $\mathbb{Q}$. In this article, we classify all groups that can arise as $E(\mathbb{Q}(\zeta_p))_{\text{tors}}$ up to isomorphism for any prime $p$. When $p - 1$ is not divisible by small integers…

In this article, we classify the characters associated to algebraic points on Shimura curves of $\Gamma_0(p)$-type, and over a quadratic field we show that there are at most elliptic points on such a Shimura curve for every sufficiently…

We review the main conjecture for an elliptic curve on $\Q$ having good supersingular reduction at $p$ and give some consequences of it. Then we define the notion of $\lambda$-invariant and of $\mu$- invariant in this situation,…