Showing 1–6 of 6 results for author: Hamakiotes, A S

Genus formulas for families of modular curves

Authors: Asimina S. Hamakiotes, Jun Bo Lau

Abstract: For each open subgroup $H\leq \operatorname{GL}_2(\widehat{\mathbb{Z}})$, there is a modular curve $X_H$, defined as a quotient of the full modular curve $X(N)$, where $N$ is the level of $H$. The genus formula of a modular curve is well known for $X_0(N)$, $X_1(N)$, $X(N)$, $X_{\mathrm{sp}}(N)$, $X_{\mathrm{ns}}(N)$, and $X_{S_4}(p)$ for $p$ prime. We explicitly work out the invariants of the gen… ▽ More For each open subgroup $H\leq \operatorname{GL}_2(\widehat{\mathbb{Z}})$, there is a modular curve $X_H$, defined as a quotient of the full modular curve $X(N)$, where $N$ is the level of $H$. The genus formula of a modular curve is well known for $X_0(N)$, $X_1(N)$, $X(N)$, $X_{\mathrm{sp}}(N)$, $X_{\mathrm{ns}}(N)$, and $X_{S_4}(p)$ for $p$ prime. We explicitly work out the invariants of the genus formulas for $X_{\mathrm{sp}}^+(N)$, $X_{\mathrm{ns}}^+(N)$, and $X_{\text{arith},1}(M,MN)$. In Table $1$, we provide the invariants of the genus formulas for all of the modular curves listed. △ Less

Submitted 18 January, 2025; originally announced January 2025.

Bounds for the relative class number problem for function fields

Authors: Santiago Arango-Piñeros, María Chara, Asimina S. Hamakiotes, Kiran S. Kedlaya, Gustavo Rama

Abstract: We establish bounds on a finite separable extension of function fields in terms of the relative class number, thus reducing the problem of classifying extensions with a fixed relative class number to a finite computation. We also solve the relative class number two problem in all cases where the base field has constant field not equal to $\mathbb{F}_2$. We establish bounds on a finite separable extension of function fields in terms of the relative class number, thus reducing the problem of classifying extensions with a fixed relative class number to a finite computation. We also solve the relative class number two problem in all cases where the base field has constant field not equal to $\mathbb{F}_2$. △ Less

Submitted 23 May, 2025; v1 submitted 16 December, 2024; originally announced December 2024.

The maximal abelian extension contained in a division field of an elliptic curve over $\mathbb{Q}$ with complex multiplication

Authors: Asimina S. Hamakiotes

Abstract: Let $K$ be an imaginary quadratic field, and let $\mathcal{O}_{K,f}$ be an order in $K$ of conductor $f\geq 1$. Let $E$ be an elliptic curve with CM by $\mathcal{O}_{K,f}$, such that $E$ is defined by a model over $\mathbb{Q}(j_{K,f})$, where $j_{K,f}=j(E)$. It has been shown by the author and Lozano-Robledo that $\operatorname{Gal}(\mathbb{Q}(j_{K,f},E[N])/\mathbb{Q}(j_{K,f}))$ is only abelian fo… ▽ More Let $K$ be an imaginary quadratic field, and let $\mathcal{O}_{K,f}$ be an order in $K$ of conductor $f\geq 1$. Let $E$ be an elliptic curve with CM by $\mathcal{O}_{K,f}$, such that $E$ is defined by a model over $\mathbb{Q}(j_{K,f})$, where $j_{K,f}=j(E)$. It has been shown by the author and Lozano-Robledo that $\operatorname{Gal}(\mathbb{Q}(j_{K,f},E[N])/\mathbb{Q}(j_{K,f}))$ is only abelian for $N=2,3$, and $4$. Let $p$ be a prime and let $n\geq 1$ be an integer. In this article, we bound the commutator subgroups of $\operatorname{Gal}(\mathbb{Q}(E[p^n])/\mathbb{Q})$ and classify the maximal abelian extensions contained in $\mathbb{Q}(E[p^n])/\mathbb{Q}$. △ Less

Submitted 28 August, 2024; originally announced August 2024.

Comments: 29 pages

Towards a classification of $p^2$-discriminant ideal twins over number fields

Authors: Alyson Deines, Asimina S. Hamakiotes, Andreea Iorga, Changningphaabi Namoijam, Manami Roy, Lori D. Watson

Abstract: Isogenous elliptic curves have the same conductor but not necessarily the same minimal discriminant ideal. In this article, we explicitly classify all $p^2$-isogenous elliptic curves defined over a number field with the same minimal discriminant ideal for odd prime $p$ where $X_0(p^2)$ has genus $0$, i.e., $p = 3$ or $5$. As a consequence, we give a list of all $p^2$-isogenous discriminant (ideal)… ▽ More Isogenous elliptic curves have the same conductor but not necessarily the same minimal discriminant ideal. In this article, we explicitly classify all $p^2$-isogenous elliptic curves defined over a number field with the same minimal discriminant ideal for odd prime $p$ where $X_0(p^2)$ has genus $0$, i.e., $p = 3$ or $5$. As a consequence, we give a list of all $p^2$-isogenous discriminant (ideal) twins over $\mathbb{Q}$ for such $p$. △ Less

Submitted 24 September, 2024; v1 submitted 2 March, 2024; originally announced March 2024.

Comments: 19 pages. arXiv admin note: text overlap with arXiv:2402.19183

MSC Class: 11G05; 14K02; 14H10; 14H52

Elliptic curves with complex multiplication and abelian division fields

Authors: Asimina S. Hamakiotes, Alvaro Lozano-Robledo

Abstract: Let $K$ be an imaginary quadratic field, and let $\mathcal{O}_{K,f}$ be an order in $K$ of conductor $f\geq 1$. Let $E$ be an elliptic curve with CM by $\mathcal{O}_{K,f}$, such that $E$ is defined by a model over $\mathbb{Q}(j_{K,f})$, where $j_{K,f}=j(E)$. In this article, we classify the values of $N\geq 2$ and the elliptic curves $E$ such that (i) the division field $\mathbb{Q}(j_{K,f},E[N])$… ▽ More Let $K$ be an imaginary quadratic field, and let $\mathcal{O}_{K,f}$ be an order in $K$ of conductor $f\geq 1$. Let $E$ be an elliptic curve with CM by $\mathcal{O}_{K,f}$, such that $E$ is defined by a model over $\mathbb{Q}(j_{K,f})$, where $j_{K,f}=j(E)$. In this article, we classify the values of $N\geq 2$ and the elliptic curves $E$ such that (i) the division field $\mathbb{Q}(j_{K,f},E[N])$ is an abelian extension of $\mathbb{Q}(j_{K,f})$, and (ii) the $N$-division field coincides with the $N$-th cyclotomic extension of the base field. △ Less

Submitted 1 August, 2023; originally announced August 2023.

MSC Class: Primary: 11G05; Secondary: 11G15; 14H52; 14K22

Sums of Powers by L'Hopital's Rule

Authors: Eduardo Dueñez, Asimina S. Hamakiotes, Steven J. Miller

Abstract: For a positive integer $d$, let $p_d(n) := 0^d + 1^d + 2^d + \cdots + n^d$; i.e., $p_d(n)$ is the sum of the first $d^{\mathrm{th}}$-powers up to $n$. It's well known that $p_d(n)$ is a polynomial of degree $d+1$ in $n$. While this is usually proved by induction, once $d$ is not small it's a challenge as one needs to know the polynomial for the inductive step. We show how this difficulty can be by… ▽ More For a positive integer $d$, let $p_d(n) := 0^d + 1^d + 2^d + \cdots + n^d$; i.e., $p_d(n)$ is the sum of the first $d^{\mathrm{th}}$-powers up to $n$. It's well known that $p_d(n)$ is a polynomial of degree $d+1$ in $n$. While this is usually proved by induction, once $d$ is not small it's a challenge as one needs to know the polynomial for the inductive step. We show how this difficulty can be bypassed by giving a simple proof that $p_d(n)$ is a polynomial of degree $d+1$ in $n$ by using L'Hopital's rule, and show how we can then determine the coefficients by Cramer's rule. This illustrates a general principle and the point of our paper: there's more than one path to a goal, different approaches have their advantages and disadvantages, and the more techniques one knows, the more likely one can successfully attack a problem. △ Less

Submitted 5 August, 2024; v1 submitted 7 February, 2023; originally announced February 2023.