arXiv subjects

Alexander J. Barrios

Publications and source records attributed to Alexander J. Barrios.

14 recordsLinked to original sources

arXiv2026

Isogeny graphs of elliptic curves in characteristic zero

For an elliptic curve $E$ defined over a field $K$ of characteristic $0$ with $\operatorname{End}_K \! E \cong \mathbb{Z}$, we classify which isogeny graphs $\mathcal{G}(E/K)$ can occur. We first show that $\mathcal{G}(E/K)$ decomposes as a weak Cartesian product of its $p$-primary isogeny graphs, one for each prime $p$, thereby reducing the problem to classifying $p$-primary isogeny graphs. We then show that each such graph is isomorphic, as an edge-weighted graph, to a member of an explicit family of edge-weighted graphs $\mathcal{H}_{p^k}^r$ and $\mathcal{H}_{p^{\infty,+}}^r$, every member of which occurs as a $p$-primary isogeny graph except for $\mathcal{H}_{2^k}^0$ for $k\ge 2$. The proof relies on a detailed study of the $p$-adic Galois representation attached to $E$, through which we identify each graph with a subgroup of $\operatorname*{GL}\nolimits_{2}(\mathbb{Z}_{p})$. More generally, we identify subgroups of $\operatorname*{GL}\nolimits_{2}(\widehat{\mathbb{Z}})$ for each possible isogeny graph and describe their corresponding modular curves, completing, in the genus $0$ case, the explicit parameterization of isogeny graphs via parameterized isogenous families of elliptic curves. We also introduce the $p$-blooming invariant $\mathfrak{I}_p(E/K)$, an isogeny class invariant determining the value of $r$ in the $p$-primary isogeny graph, and show that elliptic curves over fields with a real embedding attain the smallest possible value. As applications, we characterize the isogeny graphs of elliptic curves with potential complex multiplication; give an algorithm for determining the isogeny graph from the adelic Galois representation; recover the classification of rational isogeny graphs; and, under GRH, classify the isogeny graphs occurring over certain number fields.

math.NT↗

arXiv2026

Prime isogenous discriminant ideal twins

Let $E_{1}$ and $E_{2}$ be elliptic curves defined over a number field $K$. We say that $E_{1}$ and $E_{2}$ are discriminant ideal twins if they are not $K$-isomorphic and have the same minimal discriminant ideal and conductor. Such curves are said to be discriminant twins if, for each prime $\mathfrak{p}$ of $K$, there are $\mathfrak{p}$-minimal models for $E_{1}$ and $E_{2}$ whose discriminants are equal. This article explicitly classifies all prime-isogenous discriminant (ideal) twins over $\mathbb{Q}$. We obtain this classification as a consequence of our main results, which constructively gives all $p$-isogenous discriminant ideal twins over number fields where $p\in\left\{ 2,3,5,7,13\right\} $, i.e., where $X_0(p)$ has genus $0$. In particular, we find that up to twist, there are finitely many $p$-isogenous discriminant ideal twins if and only if $K$ is $\mathbb{Q}$ or an imaginary quadratic field. In the latter case, we provide instructions for finding the finitely many pairs of $j$-invariants that result in $p$-isogenous discriminant ideal twins. We prove our results by considering the local data of parameterized $p$-isogenous elliptic curves.

math.NT↗

arXiv2025

On the Birch and Swinnerton-Dyer formula modulo squares for certain quadratic twists of elliptic curves

Let $E/\mathbb{Q}$ be an elliptic curve with conductor $N=N_+N_-$, where $N_+$ and $N_-$ are coprime and $N_-$ is squarefree. Let $D$ be a positive fundamental discriminant satisfying the modified Heegner hypothesis with respect to $(N_+,N_-)$: primes dividing $N_+$ (resp. $N_-$) split (resp. are inert) in $\mathbb{Q}(\sqrt{D})$; we denote by $E^D/\mathbb{Q}$ the quadratic twist of $E/\mathbb{Q}$ by $D$. In the first half of the paper we consider the situation where $N_-$ is a squarefree product of an odd number of distinct primes, and we show the following: assuming that $E/\mathbb{Q}$ is of analytic rank zero (resp. one), and that the Birch and Swinnerton-Dyer formula holds for $E/\mathbb{Q}$ modulo $(\mathbb{Q}^{\times})^2$, then for those $D$ such that $E^D/\mathbb{Q}$ is of analytic rank one (resp. zero), we also have the validity of the Birch and Swinnerton-Dyer formula for $E^D/\mathbb{Q}$ modulo $(\mathbb{Q}^{\times})^2$. To show this, we establish auxiliary results without rank assumptions. The most difficult case is when $D$ is even, and our proof crucially relies on the recent classification of how local Tamagawa numbers change under quadratic twists. In the final part of the paper analogous results are also obtained in the other situation when $N_-$ is a squarefree product of an even number distinct primes, concerning the case when both $E/\mathbb{Q}$ and $E^D/\mathbb{Q}$ have analytic rank zero (resp. one). As a consequence of our work, we obtain that if $E/\mathbb{Q}$ is semistable with conductor $N$ and whose analytic rank is at most one, then for any positive fundamental discriminant $D$ that is coprime to $N$, such that $E^D/\mathbb{Q}$ again has analytic rank at most one, we have that the Birch and Swinnerton-Dyer formula modulo $(\mathbb{Q}^{\times})^2$ holds for $E/\mathbb{Q}$ if and only if it holds for $E^D/\mathbb{Q}$.

math.NT↗

arXiv2025

Local data of elliptic curves under quadratic twist

Let $K$ be the field of fractions of a complete discrete valuation ring with a perfect residue field. In this article, we investigate how the Tamagawa number of $E/K$ changes under quadratic twist. To accomplish this, we introduce the notion of a strongly-minimal model for an elliptic curve $E/K$, which is a minimal Weierstrass model satisfying certain conditions that lead one to easily infer the local data of $E/K$. Our main results provide explicit conditions on the Weierstrass coefficients of a strongly-minimal model of $E/K$ to determine the local data of a quadratic twist $E^{d}/K$. We note that when the residue field has characteristic $2$, we only consider the special case $K=\mathbb{Q}_{2}$. In this setting, we also determine the minimal discriminant valuation and conductor exponent of $E$ and $E^d$ from further conditions on the coefficients of a strongly-minimal model for $E$.

math.NT↗

arXiv2023

Symmetric tensor powers of graphs

The symmetric tensor power of graphs is introduced and its fundamental properties are explored. A wide range of intriguing phenomena occur when one considers symmetric tensor powers of familiar graphs. A host of open questions are presented, hoping to spur future research.

math.CO↗

arXiv2023

On $abc$ triples of the form $(1,c-1,c)$

By an $abc$ triple, we mean a triple $(a,b,c)$ of relatively prime positive integers $a,b,$ and $c$ such that $a+b=c$ and $\operatorname{rad}(abc) 0$, there are finitely many $abc$ triples $(a,b,c)$ such that $\operatorname{rad}(abc)^{1+ε}<c$. The necessity of the $ε$ in the $abc$ conjecture is demonstrated by the existence of infinitely many $abc$ triples. For instance, $\left( 1,9^{k}-1,9^{k}\right) $ is an $abc$ triple for each positive integer $k$. In this article, we study $abc$ triples of the form $\left(1,c-1,c\right) $ and deduce two general results that allow us to recover existing sequences of $abc$ triples having $a=1$ that are in the literature.

math.NT↗

arXiv2023

Lower bounds for the modified Szpiro ratio

Let $E/\mathbb{Q}$ be an elliptic curve. The modified Szpiro ratio of $E$ is the quantity $σ_{m}(E) =\log\max\left\{ \left\vert c_{4}^{3}\right\vert ,c_{6}^{2}\right\} /\log N_{E}$ where $c_{4}$ and $c_{6}$ are the invariants associated to a global minimal model of $E$, and $N_{E}$ denotes the conductor of $E$. In this article, we show that for each of the fifteen torsion subgroups $T$ allowed by Mazur's Torsion Theorem, there is a rational number $l_{T}$ such that if $T\hookrightarrow E(\mathbb{Q}) _{\text{tors}}$, then $σ_{m}(E) >l_{T}$. We also show that this bound is sharp.

math.NT↗

arXiv2023

Reduced minimal models and torsion

Let $E/\mathbb{Q}$ be an elliptic curve. The reduced minimal model of $E$ is a global minimal model $y^{2}+a_{1}xy+a_{3}y=x^{3}+a_{2}x^{2}+a_{4}x+a_{6}$ which satisfies the additional conditions that $a_{1},a_{3}\in \{0,1\}$ and $a_{2}\in\{0,\pm1\}$. The reduced minimal model of $E$ is unique, and in this article, we explicitly classify the reduced minimal model of an elliptic curve $E/\mathbb{Q}$ with a non-trivial torsion point. We obtain this classification by first showing that the reduced minimal model of $E$ is uniquely determined by a congruence on $c_6$ modulo $24$. We then apply this result to parameterized families of elliptic curves to deduce our main result. We also show that the reduction at $2$ and $3$ of $E$ affects the reduced minimal model of $E$.

math.NT↗

arXiv2022

Good elliptic curves with a specified torsion subgroup

An elliptic curve $E$ over $\mathbb{Q}$ is said to be good if $N_{E}^{6}<\max\!\left\{ \left\vert c_{4}^{3}\right\vert ,c_{6}^{2}\right\} $ where $N_{E}$ is the conductor of $E$ and $c_{4}$ and $c_{6}$ are the invariants associated to a global minimal model of $E$. In this article, we generalize Masser's Theorem on the existence of infinitely many good elliptic curves with full $2$-torsion. Specifically, we prove via constructive methods that for each of the fifteen torsion subgroups $T$ allowed by Mazur's Torsion Theorem, there are infinitely many good elliptic curves $E$ with $E\!\left(\mathbb{Q}\right) _{\text{tors}}\cong T$.

math.NT↗

arXiv2022

Explicit classification of isogeny graphs of rational elliptic curves

Let $n>1$ be an integer such that $X_{0}\!\left( n\right) $ has genus $0$, and let $K$ be a field of characteristic $0$ or relatively prime to $6n$. In this article, we explicitly classify the isogeny graphs of all rational elliptic curves that admit a non-trivial isogeny over $\mathbb{Q}$. We achieve this by introducing $56$ parameterized families of elliptic curves $\mathcal{C}_{n,i}(t,d)$ defined over $K(t,d)$, which have the following two properties for a fixed $n$: the elliptic curves $\mathcal{C}_{n,i}(t,d)$ are isogenous over $K(t,d)$, and there are integers $k_{1}$ and $k_{2}$ such that the $j$-invariants of $\mathcal{C}_{n,k_{1}}(t,d)$ and $\mathcal{C}_{n,k_{2}}(t,d)$ are given by the Fricke parameterizations. As a consequence, we show that if $E$ is an elliptic curve over a number field $K$ with isogeny class degree divisible by $n\in\left\{4,6,9\right\} $, then there is a quadratic twist of $E$ that is semistable at all primes $\mathfrak{p}$ of $K$ such that $\mathfrak{p}\nmid n$.

math.NT↗

arXiv2022

Representations attached to elliptic curves with a non-trivial odd torsion point

We give a classification of the cuspidal automorphic representations attached to rational elliptic curves with a non-trivial torsion point of odd order. Such elliptic curves are parameterizable, and in this paper, we find the necessary and sufficient conditions on the parameters to determine when split or non-split multiplicative reduction occurs. Using this and the known results on when additive reduction occurs for these parametrized curves, we classify the automorphic representations in terms of the parameters.

math.NT↗

arXiv2022

Local data of rational elliptic curves with non-trivial torsion

By Mazur's Torsion Theorem, there are fourteen possibilities for the non-trivial torsion subgroup $T$ of a rational elliptic curve. For each $T$, such that $E$ may have additive reduction at a prime $p$, we consider a parameterized family $E_T$ of elliptic curves with the property that they parameterize all elliptic curves $E/\mathbb{Q}$ which contain $T$ in their torsion subgroup. Using these parameterized families, we explicitly classify the Kodaira-Néron type, the conductor exponent, and the local Tamagawa number at each prime $p$ where $E/\mathbb{Q}$ has additive reduction. As a consequence, we find all rational elliptic curves with a $2$-torsion or a $3$-torsion point that have global Tamagawa number $1$.

math.NT↗

arXiv2021

Minimal models of rational elliptic curves with non-trivial torsion

In this paper, we explicitly classify the minimal discriminants of all elliptic curves $E/\mathbb{Q}$ with a non-trivial torsion subgroup. This is done by considering various parameterized families of elliptic curves with the property that they parameterize all elliptic curves $E/\mathbb{Q}$ with a non-trivial torsion point. We follow this by giving admissible change of variables, which give a global minimal model for $E$. We also provide necessary and sufficient conditions on the parameters of these families to determine the primes at which $E$ has additive reduction. In addition, we use these parameterized families to give new proofs of results due to Frey and Flexor-Oesterlé pertaining to the primes at which an elliptic curve over a number field $K$ with a non-trivial $K$-torsion point can have additive reduction.

math.NT↗

arXiv2019

A Constructive Proof of Masser's Theorem

The Modified Szpiro Conjecture, equivalent to the $abc$ Conjecture, states that for each $ε>0$, there are finitely many rational elliptic curves satisfying $N_{E}^{6+ε}<\max\!\left\{ \left\vert c_{4}^{3}\right\vert,c_{6}^{2}\right\} $ where $c_{4}$ and $c_{6}$ are the invariants associated to a minimal model of $E$ and $N_{E}$ is the conductor of $E$. We say $E$ is a good elliptic curve if $N_{E}^{6}<\max\!\left\{ \left\vert c_{4}^{3}\right\vert,c_{6}^{2}\right\} $. Masser showed that there are infinitely many good Frey curves. Here we give a constructive proof of this assertion.

math.NT↗