Showing 1–10 of 10 results for author: Genao, T

Counting points on some genus zero Shimura curves

Authors: Tyler Genao, Tristan Phillips, Fredderick Saia, Tim Santens, John Yin

Abstract: We count certain abelian surfaces with potential quaternionic multiplication defined over a number field $K$ by counting points of bounded height on some genus zero Shimura curves. We count certain abelian surfaces with potential quaternionic multiplication defined over a number field $K$ by counting points of bounded height on some genus zero Shimura curves. △ Less

Submitted 12 April, 2025; originally announced April 2025.

Comments: 23 pages. Comments welcome!

MSC Class: Primary 11G10; Secondary 11G50; 11G18; 11G30; 11D45; 14G05; 14D10

A uniform bound on the smallest surjective prime of an elliptic curve

Authors: Tyler Genao, Jacob Mayle, Jeremy Rouse

Abstract: Let $E/\mathbb{Q}$ be an elliptic curve without complex multiplication. A well-known theorem of Serre asserts that the $\ell$-adic Galois representation $ρ_{E,\ell^\infty}$ is surjective for all but finitely many prime numbers $\ell$. Considerable work has gone into bounding the largest possible nonsurjective prime; a uniform bound of $37$ has been proposed but is yet unproven. We consider an oppo… ▽ More Let $E/\mathbb{Q}$ be an elliptic curve without complex multiplication. A well-known theorem of Serre asserts that the $\ell$-adic Galois representation $ρ_{E,\ell^\infty}$ is surjective for all but finitely many prime numbers $\ell$. Considerable work has gone into bounding the largest possible nonsurjective prime; a uniform bound of $37$ has been proposed but is yet unproven. We consider an opposing direction, proving that the smallest prime $\ell$ such that $ρ_{E,\ell^\infty}$ is surjective is at most $7$. Moreover, we completely classify all elliptic curves $E/\mathbb{Q}$ for which the smallest surjective prime is exactly $7$. △ Less

Submitted 4 February, 2025; v1 submitted 4 January, 2025; originally announced January 2025.

MSC Class: 11G05 (Primary) 11F80 (Secondary)

Uniform polynomial bounds on torsion from rational geometric isogeny classes

Authors: Abbey Bourdon, Tyler Genao

Abstract: In 1996, Merel showed there exists a function $B\colon \mathbb{Z}^+\rightarrow \mathbb{Z}^+$ such that for any elliptic curve $E/F$ defined over a number field of degree $d$, one has the torsion group bound $\# E(F)[\textrm{tors}]\leq B(d)$. Based on subsequent work, it is conjectured that one can choose $B$ to be polynomial in the degree $d$. In this paper, we show that such bounds exist for tors… ▽ More In 1996, Merel showed there exists a function $B\colon \mathbb{Z}^+\rightarrow \mathbb{Z}^+$ such that for any elliptic curve $E/F$ defined over a number field of degree $d$, one has the torsion group bound $\# E(F)[\textrm{tors}]\leq B(d)$. Based on subsequent work, it is conjectured that one can choose $B$ to be polynomial in the degree $d$. In this paper, we show that such bounds exist for torsion from the family $\mathcal{I}_{\mathbb{Q}}$ of elliptic curves which are geometrically isogenous to at least one rational elliptic curve. More precisely, we show that for each $ε>0$, there exists $c_ε>0$ such that for any elliptic curve $E/F\in \mathcal{I}_{\mathbb{Q}}$, one has \[ E(F)[\textrm{tors}]\leq c_ε\cdot [F:\mathbb{Q}]^{3+ε}. \] This generalizes work of the second author for elliptic curves within a fixed rational geometric isogeny class. For the family of elliptic curves with rational $j$-invariant, we also obtain bounds which improve those of Clark and Pollack. In this case, our bounds on the exponent of $E(F)[\textrm{tors}]$ are optimal if one does not exclude elliptic curves with complex multiplication. △ Less

Submitted 5 March, 2025; v1 submitted 12 September, 2024; originally announced September 2024.

Comments: 11 pages, improved bounds

MSC Class: 11G05

New isogenies of elliptic curves over number fields

Authors: Tyler Genao

Abstract: We analyze the fields of definition of cyclic isogenies on elliptic curves to prove the following uniformity result: for any number field $F_0$ which satisfies an isogeny condition, there exists a constant $B:=B(F_0)\in\mathbb{Z}^+$ such that for any finite extension $L/F_0$ whose degree $[L:F_0]$ is coprime to $B$, one has for all elliptic curves $E_{/F_0}$ with $j$-invariant $\neq 0, 1728$ that… ▽ More We analyze the fields of definition of cyclic isogenies on elliptic curves to prove the following uniformity result: for any number field $F_0$ which satisfies an isogeny condition, there exists a constant $B:=B(F_0)\in\mathbb{Z}^+$ such that for any finite extension $L/F_0$ whose degree $[L:F_0]$ is coprime to $B$, one has for all elliptic curves $E_{/F_0}$ with $j$-invariant $\neq 0, 1728$ that any $L$-rational cyclic isogeny on $E$ must be $F_0$-rational. We also prove unconditional results for the mod-$\ell$ Galois representations of non-CM elliptic curves with an $F_0$-rational $\ell$-isogeny when $\ell$ is uniformly large. △ Less

Submitted 12 May, 2024; v1 submitted 8 May, 2024; originally announced May 2024.

Comments: 15 pages, added a specific isogeny condition

MSC Class: 11G05

Growth of torsion groups of elliptic curves upon base change from number fields

Authors: Tyler Genao

Abstract: Given a number field $F_0$ that contains no Hilbert class field of any imaginary quadratic field, we show that under GRH there exists an effectively computable constant $B:=B(F_0)\in\mathbb{Z}^+$ for which the following holds: for any finite extension $L/F_0$ whose degree $[L:F_0]$ is coprime to $B$, one has for all elliptic curves $E_{/F_0}$ that the $L$-rational torsion subgroup… ▽ More Given a number field $F_0$ that contains no Hilbert class field of any imaginary quadratic field, we show that under GRH there exists an effectively computable constant $B:=B(F_0)\in\mathbb{Z}^+$ for which the following holds: for any finite extension $L/F_0$ whose degree $[L:F_0]$ is coprime to $B$, one has for all elliptic curves $E_{/F_0}$ that the $L$-rational torsion subgroup $E(L)[\textrm{tors}]=E(F_0)[\textrm{tors}]$. This generalizes a previous result of González-Jiménez and Najman over $F_0=\mathbb{Q}$. Towards showing this, we also prove a result on relative uniform divisibility of the index of a mod-$\ell$ Galois representation of an elliptic curve over $F_0$. Additionally, we show that the main result's conclusion fails when we allow $F_0$ to have rationally defined CM, due to the existence of $F_0$-rational isogenies of arbitrarily large prime degrees satisfying certain congruency conditions. △ Less

Submitted 28 July, 2024; v1 submitted 30 October, 2022; originally announced October 2022.

Comments: 18 pages

MSC Class: 11G05; 11G15

Journal ref: Ramanujan J. 63 (2024), no. 2, 409--429

Polynomial bounds on torsion from a fixed geometric isogeny class of elliptic curves

Authors: Tyler Genao

Abstract: We show there exist polynomial bounds on torsion of elliptic curves which come from a fixed geometric isogeny class. More precisely, for an elliptic curve $E_0$ defined over a number field $F_0$, for each $ε>0$ there exist constants $c_ε:=c_ε(E_0,F_0),C_ε:=C_ε(E_0,F_0)>0$ such that for any elliptic curve $E_{/F}$ geometrically isogenous to $E_0$, if $E(F)$ has a point of order $N$ then \[ N\leq c_… ▽ More We show there exist polynomial bounds on torsion of elliptic curves which come from a fixed geometric isogeny class. More precisely, for an elliptic curve $E_0$ defined over a number field $F_0$, for each $ε>0$ there exist constants $c_ε:=c_ε(E_0,F_0),C_ε:=C_ε(E_0,F_0)>0$ such that for any elliptic curve $E_{/F}$ geometrically isogenous to $E_0$, if $E(F)$ has a point of order $N$ then \[ N\leq c_ε\cdot [F:\mathbb{Q}]^{1/2+ε}, \] and one also has \[ \# E(F)[\textrm{tors}] \leq C_ε\cdot [F:\mathbb{Q}]^{1+ε}. \] △ Less

Submitted 24 August, 2023; v1 submitted 18 October, 2022; originally announced October 2022.

Comments: 8 pages. Improves the bounds in Theorem 1, and strengthens an additional result (which is now Corollary 4 for adelic indices)

MSC Class: 11G05

Typically bounding torsion on elliptic curves isogenous to rational $j$-invariant

Authors: Tyler Genao

Abstract: We prove that the family $\mathcal{I}_{F_0}$ of elliptic curves over number fields that are geometrically isogenous to an elliptic curve with $F_0$-rational $j$-invariant is typically bounded in torsion. Under an additional uniformity assumption, we also prove that the family $\mathcal{I}_{d_0}$ of elliptic curves over number fields that are geometrically isogenous to an elliptic curve with degree… ▽ More We prove that the family $\mathcal{I}_{F_0}$ of elliptic curves over number fields that are geometrically isogenous to an elliptic curve with $F_0$-rational $j$-invariant is typically bounded in torsion. Under an additional uniformity assumption, we also prove that the family $\mathcal{I}_{d_0}$ of elliptic curves over number fields that are geometrically isogenous to an elliptic curve with degree $d_0$ $j$-invariant is typically bounded in torsion. △ Less

Submitted 16 October, 2022; v1 submitted 21 December, 2021; originally announced December 2021.

Comments: 8 pages, to appear in Proceedings of the AMS

MSC Class: 11G05

Computational study of non-unitary partitions

Authors: A. P. Akande, Tyler Genao, Summer Haag, Maurice D. Hendon, Neelima Pulagam, Robert Schneider, Andrew V. Sills

Abstract: Following Cayley, MacMahon, and Sylvester, define a non-unitary partition to be an integer partition with no part equal to one, and let $ν(n)$ denote the number of non-unitary partitions of size $n$. In a 2021 paper, the sixth author proved a formula to compute $p(n)$ by enumerating only non-unitary partitions of size $n$, and recorded a number of conjectures regarding the growth of $ν(n)$ as… ▽ More Following Cayley, MacMahon, and Sylvester, define a non-unitary partition to be an integer partition with no part equal to one, and let $ν(n)$ denote the number of non-unitary partitions of size $n$. In a 2021 paper, the sixth author proved a formula to compute $p(n)$ by enumerating only non-unitary partitions of size $n$, and recorded a number of conjectures regarding the growth of $ν(n)$ as $n\to \infty$. Here we refine and prove some of these conjectures. For example, we prove $p(n) \sim ν(n)\sqrt{n/ζ(2)}$ as $n\to \infty$, and give Ramanujan-like congruences between $p(n)$ and $ν(n)$ such as $p(5n)\equiv ν(5n)\ (\operatorname{mod} 5)$. △ Less

Submitted 21 November, 2022; v1 submitted 4 December, 2021; originally announced December 2021.

Comments: 9 pages, to appear in The Journal of the Ramanujan Mathematical Society

Journal ref: Journal of the Ramanujan Mathematical Society 38 (2023) 121--128

Typically bounding torsion on elliptic curves with rational $j$-invariant

Authors: Tyler Genao

Abstract: A family $\mathcal{F}$ of elliptic curves defined over number fields is said to be typically bounded in torsion if the torsion subgroups $E(F)[$tors$]$ of those elliptic curves $E_{/F}\in \mathcal{F}$ can be made uniformly bounded after removing from $\mathcal{F}$ those whose number field degrees lie in a subset of $\mathbb{Z}^+$ with arbitrarily small upper density. For every number field $F$, we… ▽ More A family $\mathcal{F}$ of elliptic curves defined over number fields is said to be typically bounded in torsion if the torsion subgroups $E(F)[$tors$]$ of those elliptic curves $E_{/F}\in \mathcal{F}$ can be made uniformly bounded after removing from $\mathcal{F}$ those whose number field degrees lie in a subset of $\mathbb{Z}^+$ with arbitrarily small upper density. For every number field $F$, we prove unconditionally that the family $\mathcal{E}_F$ of elliptic curves defined over number fields and with $F$-rational $j$-invariant is typically bounded in torsion. For any integer $d\in\mathbb{Z}^+$, we also strengthen a result on typically bounding torsion for the family $\mathcal{E}_d$ of elliptic curves defined over number fields and with degree $d$ $j$-invariant. △ Less

Submitted 22 November, 2021; v1 submitted 20 February, 2021; originally announced February 2021.

Comments: 17 pages, to appear in Journal of Number Theory

MSC Class: 11G05; 11G15

The density of primes dividing a particular non-linear recurrence sequence

Authors: Alexi Block Gorman, Tyler Genao, Heesu Hwang, Noam Kantor, Sarah Parsons, Jeremy Rouse

Abstract: Define the sequence $\{b_n\}$ by $b_0=1,b_1=1, b_2=2,b_3=1$, and $$b_n=\begin{cases} \frac{b_{n-1}b_{n-3}-b_{n-2}^2}{b_{n-4}}&\textrm{if}~ n\not\equiv 0\pmod 3, \frac{b_{n-1}b_{n-3}-3b_{n-2}^2}{b_{n-4}}&\textrm{if}~ n\equiv 0\pmod 3. We relate this sequence $\{b_n\}$ to the coordinates of points on the elliptic curve $E:y^2+y=x^3-3x+4$. We use Galois representations attached to $E… ▽ More Define the sequence $\{b_n\}$ by $b_0=1,b_1=1, b_2=2,b_3=1$, and $$b_n=\begin{cases} \frac{b_{n-1}b_{n-3}-b_{n-2}^2}{b_{n-4}}&\textrm{if}~ n\not\equiv 0\pmod 3, \frac{b_{n-1}b_{n-3}-3b_{n-2}^2}{b_{n-4}}&\textrm{if}~ n\equiv 0\pmod 3. We relate this sequence $\{b_n\}$ to the coordinates of points on the elliptic curve $E:y^2+y=x^3-3x+4$. We use Galois representations attached to $E$ to prove that the density of primes dividing a term in this sequence is equal to $\frac{179}{336}$. Furthermore, we describe an infinite family of elliptic curves whose Galois images match that of $E$. △ Less

Submitted 28 March, 2016; v1 submitted 10 August, 2015; originally announced August 2015.

Comments: 23 pages, with an appendix giving an alternative definition of the sequence

MSC Class: 11G05 Primary; 11F80 Secondary

Journal ref: Acta Arith. 175 (2016), no. 1, 71-100