Related papers: Equations and Rational Points of the Modular Curve…
For any prime $p>3$ and rational $p$-integers $b,c$ with $c(b^3-27c)\not\equiv 0\pmod p$ let $V_p(x^2+bx+\frac cx)$ be the residue-counts of $x^2+bx+\frac cx$ modulo $p$ as $x$ runs over $1,2,\ldots,p-1$. In this paper, we reveal the…
We present a new probabilistic algorithm to compute modular polynomials modulo a prime. Modular polynomials parameterize pairs of isogenous elliptic curves and are useful in many aspects of computational number theory and cryptography. Our…
Let C be the image of a canonical embedding C of the Atkin-Lehner quotient X+0(N) associated to the Fricke involution wN. In this note we exhibit some relations among the rational points of C. For each g = 3 (resp. the first g = 4) curve C…
Let $p$ and $q$ be distinct primes. Consider the Shimura curve $\mathcal{X}$ associated to the indefinite quaternion algebra of discriminant $pq$ over $\mathbb{Q}$. Let $J$ be the Jacobian variety of $\mathcal{X}$, which is an abelian…
The SEA algorithm for computing the cardinality of elliptic curves over finite fields in many characteristic uses modular polynomials. These polynomials come into different flavors, and methods to compute them flourished. Once equipped with…
Assuming GRH, we present an algorithm which inputs a prime $p$ and outputs the set of fundamental discriminants $D<0$ such that the reduction map modulo a prime above $p$ from elliptic curves with CM by $\order_{D}$ to supersingular…
Let $p$ be a prime number, and let $\Delta_1,\Delta_2 < 0$ be two coprime fundamental discriminants. When $p$ splits in $\mathbb{Q}(\sqrt{\Delta_1})$ and $\mathbb{Q}(\sqrt{\Delta_2})$ the height pairings of the corresponding CM divisors on…
In the classical setting, the modular equation of level $N$ for the modular curve $X_0(1)$ is the polynomial relation satisfied by $j(\tau)$ and $j(N\tau)$, where $j(\tau)$ is the standard elliptic $j$-function. In this paper, we will…
Let g >= 1 and let Q be a monic, squarefree polynomial of degree 2g + 1 in Z[x]. For an odd prime p not dividing the discriminant of Q, let Z_p(T) denote the zeta function of the hyperelliptic curve of genus g over the finite field F_p…
Consider an elliptic curve $E$ over a number field $K$. Suppose that $E$ has supersingular reduction at some prime $\mathfrak{p}$ of $K$ lying above the rational prime $p$. We completely classify the valuations of the $p^n$-torsion points…
Let $N\geq 1$ be a non-square free integer and let $W_N$ be a non-trivial subgroup of the group of the Atkin-Lehner involutions of $X_0(N)$ such that the modular curve $X_0(N)/W_N$ has genus at least two. We determine all pairs $(N,W_N)$…
Let $p$ be prime, $N$ be a positive integer prime to $p$, and $k$ be an integer. Let $P_k(t)$ be the characteristic series for Atkin's $U$ operator as an endomorphism of $p$-adic overconvergent modular forms of tame level $N$ and weight…
Let $X_\Delta(N)$ be an intermediate modular curve of level $N$, meaning that there exist (possibly trivial) morphisms $X_1(N)\rightarrow X_\Delta(N) \rightarrow X_0(N)$. For all such intermediate modular curves, we give an explicit…
In this paper we consider the curves $H_{k,t}^{(p)} : y^{p^k}+y=x^{p^{kt}+1}$ over $\mathbb F_p$ and and find an exact formula for the number of $\mathbb F_{p^n}$-rational points on $H_{k,t}^{(p)}$ for all integers $n\ge 1$. We also give…
Let $N$ be a positive integer. For every $d | N$ such that $(d, N/d) = 1$ there exists an Atkin-Lehner involution $w_d$ of the modular curve $X_0(N)$. In this paper we determine all quotient curves $X_0(N)/w_d$ whose $\mathbb{Q}$-gonality…
We bound the j-invariant of S-integral points on arbitrary modular curves over arbitrary fields, in terms of the congruence group defining the curve, assuming a certain Runge condition is satisfied by our objects. We then apply our bounds…
A method of constructing specific polynomial representations $f(x)$ over the finite field $\mathbb{F}_p$ of the square roots function modulo a prime $p = 2^kn + 1$, $n$ odd, is presented. The formulas for the cases $k = 2$, $3$ and $4$ are…
For prime $p\ge 7$, by using Baker's method we obtain two explicit bounds in terms of $p$ for the $j$-invariant of an integral point on $X_{\ns}^{+}(p)$ which is the modular curve of level $p$ corresponding to the normalizer of a non-split…
Let $E$ be an elliptic curve of conductor $N$, and let $K$ be an imaginary quadratic field such that the root number of $E/K$ is $-1$. Let $O$ be an order in $K$ and assume that there exists an odd prime $p$, such that $p^2 \mid\mid N$, and…
Let $X$ be a scheme of finite type over $\mathbf{Z}$. For $p \in \mathcal{P}$ the set of prime numbers, let $N_{X}(p)$ be the number of $\mathbf{F}_{p}$-points of $X/\mathbf{F}_{p}$. For fixed $n\geq 1$ and $a_{1}, \ldots, a_{n} \in…