By reformulating and extending results of Elkies, we prove some results on $\mathbb Q$-curves over number fields of odd degree. We show that, over such fields, the only prime isogeny degrees~$\ell$ which an elliptic curve without CM may have are those degrees which are already possible over~$\mathbb Q$ itself (in particular, $\ell\le37$), and we show the existence of a bound on the degrees of cyclic isogenies between $\mathbb Q$-curves depending only on the degree of the field. We also prove that the only possible torsion groups of $\mathbb Q$-curves over number fields of degree not divisible by a prime $\ell\leq 7$ are the $15$ groups that appear as torsion groups of elliptic curves over $\mathbb Q$. Complementing these theoretical results we give an algorithm for establishing whether any given elliptic curve $E$ is a $\mathbb Q$-curve, which involves working only over $\mathbb Q(j(E))$.
In this paper, we prove the Iwasawa main conjecture for elliptic curves at an odd supersingular prime p. Some consequences are the p-parts of the leading term formulas in the Birch and Swinnerton-Dyer conjectures for analytic rank 0 or 1.
We prove that an additive form of degree $d=2m$, $m$ odd over any totally ramified extension of $\mathbb{Q}_2$ has a nontrivial zero if the number of variables $s$ satisifies $s \ge \frac{d^2}{4} + 3d + 1$.
We determine the minimal number of variables $Γ^*(d, K)$ which guarantees a nontrivial solution for every additive form of degree $d=2m$, $m$ odd, $m \ge 3$ over the six ramified quadratic extensions of $\mathbb{Q}_2$. We prove that if $K$ is one of $\{\mathbb{Q}_2(\sqrt{2}), \mathbb{Q}_2(\sqrt{10}), \mathbb{Q}_2(\sqrt{-2}), \mathbb{Q}_2(\sqrt{-10})\}$, $Γ^*(d,K) = \frac{3}{2}d$, and if $K$ is one of $\{\mathbb{Q}_2(\sqrt{-1}), \mathbb{Q}_2(\sqrt{-5})\}$, $Γ^*(d,K) = d+1$. The case $d=6$ was previously known.
We construct the minimal regular model of the Fermat curve of odd squarefree composite exponent $N$ over the $N$-th cyclotomic integers. As an application, we compute upper and lower bounds for the arithmetic self-intersection of the dualizing sheaf of this model.
The only (unitary) perfect polynomials over $\mathbb{F}_2$ that are products of $x$, $x+1$ and Mersenne primes are precisely the nine (resp. nine "classes") known ones. This follows from a new result about the factorization of $M^{2h+1} +1$, for a Mersenne prime $M$ and for a positive integer $h$. Other consequences of such a factorization are new results about odd perfect polynomials.
In this paper, we investigate properties of functions from $\mathbb{Z}_{p}^n$ to $\mathbb{Z}_q$, where $p$ is an odd prime and $q$ is a positive integer divided by $p$. we present the sufficient and necessary conditions for bent-ness of such generalized Boolean functions in terms of classical $p$-ary bent functions, when $q=p^k$. When $q$ is divided by $p$ but not a power of it, we give an sufficient condition for weakly regular gbent functions. Some related constructions are also obtained.
The modular degree m_E of an elliptic curve E/Q is the minimal degree of any surjective morphism X_0(N) -> E, where N is the conductor of E. We give a necessarily set of criteria for m_E to be odd. Specializing to N prime our results imply a conjecture of Mark Watkins. As a technical tool we also prove a certain multiplicity one result for p=2 that may be of independent interest.
We prove that an additive form of degree $d=2m$, $m$ odd, $m\ge3$, over the unramified quadratic extension $\mathbb{Q}_2(\sqrt{5})$ has a nontrivial zero if the number of variables $s$ satisifies $s \ge 4d+1$. If $3 \nmid d$, then there exists a nontrivial zero if $s \ge \frac{3}{2}d + 1$, this bound being optimal. We give examples of forms in $3d$ variables without a nontrivial zero in case that $3 \mid d$.
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.
We say a closed point $x$ on a curve $C$ is sporadic if there are only finitely many points on $C$ of degree at most deg$(x)$. In the case where $C$ is the modular curve $X_1(N)$, most known examples of sporadic points come from elliptic curves with complex multiplication (CM). We seek to understand all sporadic points on $X_1(N)$ corresponding to $\mathbb{Q}$-curves, which are elliptic curves isogenous to their Galois conjugates. This class contains not only all CM elliptic curves, but also any elliptic curve $\overline{\mathbb{Q}}$-isogenous to one with a rational $j$-invariant, among others…
Suppose that $E/\mathbb{Q}$ is an elliptic curve with a rational point $T$ of order $2$ and $α\in E(\mathbb{Q})$ is a point of infinite order. We consider the problem of determining the density of primes $p$ for which $α\in E(\mathbb{F}_{p})$ has odd order. This density is determined by the image of the arboreal Galois representation $τ_{E,2^{k}} : {\rm Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to {\rm AGL}_{2}(\mathbb{Z}/2^{k}\mathbb{Z})$. Assuming that $α$ is primitive (that is, neither $α$ nor $α+ T$ is twice a point over $\mathbb{Q}$) and that the image of the ordinary mod $2^{k}$ Galois rep…
Let $\mathscr{G}_{\rm CM}(d)$ denote the collection of groups (up to isomorphism) that appear as the torsion subgroup of a CM elliptic curve over a degree $d$ number field. We completely determine $\mathscr{G}_{\rm CM}(d)$ for odd integers $d$ and deduce a number of statistical theorems about the behavior of torsion subgroups of CM elliptic curves. Here are three examples: (1) For each odd $d$, the set of natural numbers $d'$ with $\mathscr{G}_{\rm CM}(d') = \mathscr{G}_{\rm CM}(d)$ possesses a well-defined, positive asymptotic density. (2) Let $T_{\rm CM}(d) = \max_{G \in \mathscr{G}_{\rm CM}…
For any distinct two primes $p_1\equiv p_2\equiv 3$ $(\text{mod }4)$, let $h(-p_1)$, $h(-p_2)$ and $h(p_1p_2)$ be the class numbers of the quadratic fields $\mathbb{Q}(\sqrt{-p_1})$, $\mathbb{Q}(\sqrt{-p_2})$ and $\mathbb{Q}(\sqrt{p_1p_2})$, respectively. Let $ω_{p_1p_2}:=(1+\sqrt{p_1p_2})/2$ and let $Ψ(ω_{p_1p_2})$ be the Hirzebruch sum of $ω_{p_1p_2}$. We show that $h(-p_1)h(-p_2)\equiv h(p_1p_2)Ψ(ω_{p_1p_2})/n$ $(\text{mod }8)$, where $n=6$ (respectively, $n=2$) if $\min\{p_1,p_2\}>3$ (respectively, otherwise). We also consider the real quadratic order with conductor $2$ in $\mathbb{Q}(\sqr…
We will study modular Abelian varieties with odd congruence numbers, by studying the cuspidal subgroup of $J_0(N)$. We show the conductor of such Abelian varieties must be of a special type, for example if $N$ is odd then $N=p^α$ or $N=pq$ for some prime $p$ and $q$. We then focus our attention to modular elliptic curves, and using result of Agashe, Ribet, and Stein, we try to classify all elliptic curves of odd modular degree. Our studies prove many cases of the Stein and Watkins's conjecture on elliptic curves with odd modular degree.
Let $p$ and $l$ be rational primes such that $l$ is odd and the order of $p$ modulo $l$ is even. For such primes $p$ and $l$, and for $e=l, 2l$, we consider the non-singular projective curves $aY^e = bX^e + cZ^e$ ($abc \neq 0$) defined over finite fields $\mathbf{F}_q$ such that $q=p^α\equiv 1(\bmod {e})$. We see that the Fermat curves correspond precisely to those curves among each class (for $e=l,2l$), that are maximal or minimal over $\mathbf{F}_q$. We observe that each Fermat prime gives rise to explicit maximal and minimal curves over finite fields of characteristic 2. For $e=2l$, we expl…
In this paper, we will study modular Abelian varieties with odd congruence numbers by examining the cuspidal subgroup of $J_0(N)$. We will show that the conductor of such Abelian varieties must be of a special type. For example, if $N$ is the conductor of an absolutely simple modular Abelian variety with an odd congruence number, then $N$ has at most two prime divisors, and if $N$ is odd, then $N=p^α$ or $N=pq$ for some prime $p$ and $q$. In the second half of this paper, we will focus on modular elliptic curves with odd modular degree. Our results, combined with the work of Agashe, Ribet, and…
Let $K = \mathbb{Q}(\sqrt{-3})$ or $\mathbb{Q}(\sqrt{-1})$ and let $C_n$ denote the cyclic group of order $n$. We study how the torsion part of an elliptic curve over $K$ grows in a quadratic extension of $K$. In the case $E(K)[2] \approx C_1$ we investigate how a given torsion structure can grow in a quadratic extension and the maximum number of extensions in which it grows. We also study the torsion structures which occur as the quadratic twist of a given torsion structure. In order to achieve this we examine $N$-isogenies defined over $K$ for $N=15,20,21,24,27,30,35$.
Cubic AGM graphs and Hessian $3$-isogenies over finite fields $\mathbb{F}_q$ of odd characteristic with $q \equiv 2 \pmod3$
School of Science and Engineering, Tokyo Denki University（东京都立大学理工学部）；Institute of Mathematics for Industry (IMI), Kyushu University（九州大学产业数学研究院）；Cyber Physical Security Research Institute (CPSEC), National Institute of Advanced Industrial Science and Technology (AIST)（独立行政法人产业技术综合研究所网络物理安全研究所）
We adapt (over $\mathbb{F}_2$) the general notions of multiplicative function, Dirichlet convolution and Inverse. We get some interesting results, namely necessary conditions for an odd binary polynomial to be perfect. Note that we are inspired by the "analogous" works in \cite{Gall-Rahav-newcongr} and \cite{Touchard}, about odd perfect numbers.
Let $C$ be a curve defined over a number field $k$. We say a closed point $x\in C$ of degree $d$ is isolated if it does not belong to an infinite family of degree $d$ points parametrized by the projective line or a positive rank abelian subvariety of the curve's Jacobian. Building on work of Bourdon, Ejder, Liu, Odumodu, and Viray, we characterize elliptic curves with rational $j$-invariant which give rise to an isolated point of odd degree on $X_1(N)/\mathbb{Q}$ for some positive integer $N$.
We examine the existence of rational divisors on modular curves of $\mathcal{D}$-elliptic sheaves and on Atkin-Lehner quotients of these curves over local fields. Using a criterion of Poonen and Stoll, we show that in infinitely many cases the Tate-Shafarevich groups of the Jacobians of these Atkin-Lehner quotients have non-square orders.
Poonen and Stoll have shown that the reduced Shafarevich-Tate group of a principally polarized abelian variety over a global field can have order twice a square (the odd case) as well as a square (the even case). For a curve over a global field, they give a local diophantine criterion for its jacobian to be even or odd. In this note we use the Cherednik-Drinfeld p-adic uniformization to study the local points and divisors on certain Atkin-Lehner quotients of Shimura curves. We exhibit an explicit family of such quotient curves over the rationals with odd jacobians, with genus going to infinity…
In this paper we find a new lower bound on the number of imaginary quadratic extensions of the function field $\mathbb{F}_{q}(x)$ whose class groups have elements of a fixed odd order. More precisely, for $q$, a power of an odd prime, and $g$ a fixed odd positive integer $\ge 3$, we show that for every $ε>0$, there are $\gg q^{L(1/2+\frac{3}{2(g+1)}-ε)}$ polynomials $f \in \mathbb{F}_{q}[x]$ with $°f=L$, for which the class group of the quadratic extension $\mathbb{F}_{q}(x, \sqrt{f})$ has an element of order $g$. This sharpens the previous lower bound $q^{L(1/2+\frac{1}{g})}$ of Ram Murty. Ou…
We show for even positive integers $n$ that the quotient of the Riemann zeta values $ζ(n+1)$ and $ζ(n)$ satisfies the equation $$\frac{ζ(n+1)}{ζ(n)} = (1-\frac{1}{n}) (1-\frac{1}{2^{n+1}-1}) \frac{\mathcal{L}^\star(\mathfrak{p}_n)}{\mathfrak{p}_n'(0)},$$ where $\mathfrak{p}_n \in \mathbb{Z}[x]$ is a certain monic polynomial of degree $n$ and $\mathcal{L}^\star: \mathbb{C}[x] \to \mathbb{C}$ is a linear functional, which is connected with a special Dirichlet series. There exists the decomposition $\mathfrak{p}_n(x) = x(x+1) \mathfrak{q}_n(x)$. If $n = p+1$ where $p$ is an odd prime, then $\math…
Let p be an odd prime number and g $\ge$ 2 be an integer. We present an algorithm for computing explicit rational representations of isogenies between Jacobians of hyperelliptic curves of genus g over an extension K of the field of p-adic numbers Qp. It relies on an efficient resolution, with a logarithmic loss of p-adic precision, of a first order system of differential equations.
For nonzero rational D, which may be taken to be a squarefree integer, let E_D be the elliptic curve Dy^2=x^3-x over Q arising in the "congruent number" problem. It is known that the L-function of E_D has sign -1, and thus odd analytic rank, if and only if |D| is congruent to 5, 6, or 7 mod 8. For such D, we expect by the conjecture of Birch and Swinnerton-Dyer that the arithmetic rank of each of these curves E_D is odd, and therefore positive. We prove that E_D has positive rank for each D such that |D| is in one of the above congruence classes mod 8 and also satisfies |D|<10^6. Our proof is …
Let $K$ be a number field, and $g \geq 2$ a positive integer. We define $c_K(g)$ as the smallest integer $n$ such that there exist infinitely many $\overline{K}$-isomorphism classes of genus $g$ hyperelliptic curves $C/K$ with all Weierstrass points in $K$ having potentially good reduction outside $n$ primes in $K$. We show that $c_K(g) > π_{K, \textrm{odd}}(2g) + 1$, where $π_{K, \textrm{odd}}(n)$ denotes the number of odd primes in $K$ with norm no greater than $n$, as well as present a summary of various conditional and unconditional results on upper bounds for $c_K(g)$.
We combine a sieve method together with good uniformity estimates to prove a secondary term for the asymptotic estimate of $S_3\times A$ extensions over $\mathbb{Q}$ when $A$ is an odd abelian group with minimal prime divisor greater than $5$. At the same time, we prove the existence of a power saving error when $A$ is any odd abelian group.
Consider the smooth projective models C of curves y^2=f(x) with f(x) in Z[x] monic and separable of degree 2g+1. We prove that for g >= 3, a positive fraction of these have only one rational point, the point at infinity. We prove a lower bound on this fraction that tends to 1 as g tends to infinity. Finally, we show that C(Q) can be algorithmically computed for such a fraction of the curves. The method can be summarized as follows: using p-adic analysis and an idea of McCallum, we develop a reformulation of Chabauty's method that shows that certain computable conditions imply #C(Q)=1; on the o…
In this paper we extend a previous investigation by us regarding an iterative construction of irreducible polynomials over finite fields of odd characteristic. In particular, we show how it is possible to iteratively construct irreducible polynomials by means of two families of transforms, which we call the $Q_k$ and $\hat{Q}_k$-transforms, related to certain degree two isogenies over elliptic curves, which split the multiplication-by-$2$ map.
A hyperelliptic curve over $\mathbb Q$ is called "locally soluble" if it has a point over every completion of $\mathbb Q$. In this paper, we prove that a positive proportion of hyperelliptic curves over $\mathbb Q$ of genus $g\geq 1$ are locally soluble but have no points over any odd degree extension of $\mathbb Q$. We also obtain a number of related results. For example, we prove that for any fixed odd integer $k > 0$, the proportion of locally soluble hyperelliptic curves over $\mathbb Q$ of genus $g$ having no points over any odd degree extension of $\mathbb Q$ of degree at most $k$ tends …
In this paper we present and analyse a construction of irreducible polynomials over odd prime fields via the transforms which take any polynomial $f \in \mathbf{F}_p[x]$ of positive degree $n$ to $\left(\frac{x}{k} \right)^n \cdot f(k(x+x^{-1}))$, for some specific values of the odd prime $p$ and $k \in \mathbf{F}_p$.
We give new parametrisations of elliptic curves in Weierstrass normal form $y^2=x^3+ax^2+bx$ with torsion groups $\mathbb{Z}/10\mathbb{Z}$ and $\mathbb{Z}/12\mathbb{Z}$ over $\mathbb{Q}$, and with $\mathbb{Z}/14\mathbb{Z}$ and $\mathbb{Z}/16\mathbb{Z}$ over quadratic fields. Even though the parametrisations are equivalent to those given by Kubert and Rabarison, respectively, with the new parametrisations we found three infinite families of elliptic curves with torsion group $\mathbb{Z}/12\mathbb{Z}$ and positive rank. Furthermore, we found elliptic curves with torsion group $\mathbb{Z}/14\math…
Let $\mathcal{S}_q$ denote the group of all square elements in the multiplicative group $\mathbb{F}_q^*$ of a finite field $\mathbb{F}_q$ of odd characteristic containing $q$ elements. Let $\mathcal{O}_q$ be the set of all odd order elements of $\mathbb{F}_q^*$. Then $\mathcal{O}_q$ turns up as a subgroup of $\mathcal{S}_q$. In this paper, we show that $\mathcal{O}_q=\langle4\rangle$ if $q=2t+1$ and, $\mathcal{O}_q=\langle t\rangle $ if $q=4t+1$, where $q$ and $t$ are odd primes. This paper also gives a direct method for obtaining the coefficients of irreducible factors of $x^{2^nt}-1$ in $\ma…
For integers $N\geq 3$ and $g\geq 1$, we study bounds on the cardinality of the set of points of order dividing $N$ lying on a hyperelliptic curve of genus $g$ embedded in its jacobian using a Weierstrass point as base point. This leads us to revisit division polynomials introduced by Cantor in 1995 and strengthen a divisibility result proved by him. Several examples are discussed.
In this paper, we present details of seven elliptic curves over $\mathbb{Q}(u)$ with rank $2$ and torsion group $\mathbb{Z}/ 8\mathbb{Z}$ and five curves over $\mathbb{Q}(u)$ with rank $2$ and torsion group $\mathbb{Z}/ 2\mathbb{Z} \times \mathbb{Z}/ 6\mathbb{Z}$. We also exhibit some particular examples of curves with high rank over $\mathbb{Q}$ by specialization of the parameter. We present several sets of infinitely many elliptic curves in both torsion groups and rank at least $3$ parametrized by elliptic curves having positive rank. In some of these sets we have performed calculations abou…
We consider the generalised Jacobian $J_{0}(N)_{\mathbf{m}}$ of the modular curve $X_{0}(N)$ of level $N$, with respect to the modulus $\mathbf{m}$ consisting of all cusps on the modular curve. When $N$ is odd, we determine the group structure of the rational torsion $J_{0}(N)_{\mathbf{m}}(\mathbb{Q})_{tor}$ up to $2$-primary and $l$-primary parts for any prime $l$ dividing $N$. Our results extend those of Wei--Yamazaki for squarefree levels and Yamazaki--Yang for prime-power levels.
We determine, for an elliptic curve $E/\mathbb Q$ and for all $p$, all the possible torsion groups $E(\mathbb Q_{\infty, p})_{tors}$, where $\mathbb Q_{\infty, p}$ is the $\mathbb Z_p$-extension of $\mathbb Q$.
The Erd\H os-Falconer distance problem in $\mathbb{Z}_q^d$ asks one to show that if $E \subset \mathbb{Z}_q^d$ is of sufficiently large cardinality, then $Δ(E) := \{(x_1 - y_1)^2 + \dots + (x_d - y_d)^2 : x, y \in E\}$ satisfies $Δ(E) = \mathbb{Z}_q$. Here, $\mathbb{Z}_q$ is the set of integers modulo $q$, and $\mathbb{Z}_q^d$ is the free module of rank $d$ over $\mathbb{Z}_q$. We extend known results in two directions. Previous results were known only in the setting $q = p^{\ell}$, where $p$ is an odd prime, and as such only showed that all units were obtained in the distance set. We remove t…
Inspired by experimental data, this paper investigates which isogeny classes of abelian varieties defined over a finite field of odd characteristic contain the Jacobian of a hyperelliptic curve. We provide a necessary condition by demonstrating that the Weil polynomial of a hyperelliptic Jacobian must have a particular form modulo 2. For fixed ${g\geq1}$, the proportion of isogeny classes of $g$ dimensional abelian varieties defined over $\mathbb{F}_q$ which fail this condition is $1 - Q(2g + 2)/2^g$ as $q\to\infty$ ranges over odd prime powers, where $Q(n)$ denotes the number of partitions of…
We study Tamagawa numbers of elliptic curves with torsion $\mathbb{Z}/2\mathbb{Z}\oplus \mathbb{Z}/14\mathbb{Z}$ over cubic fields and of elliptic curves with an $n-$isogeny over $\mathbb{Q}$, for $n\in\{6,8,10,12,14,16,17,18,19,37,43,67,163\}$. Bruin and Najman proved that every elliptic curve with torsion $\mathbb{Z}/2\mathbb{Z}\oplus \mathbb{Z}/14\mathbb{Z}$ over a cubic field is a base change of an elliptic curve defined over $\mathbb{Q}$. We find that Tamagawa numbers of elliptic curves defined over $\mathbb{Q}$ with torsion $\mathbb{Z}/2\mathbb{Z}\oplus \mathbb{Z}/14\mathbb{Z}$ over a cu…
For a square-free integer $N$, we present a procedure to compute $\mathbb{Q}$-curves parametrized by rational points of the modular curve $X_0^*(N)$ when this is hyperelliptic.
In this paper, we partially solve an open problem, due to J.C. Molluzzo in 1976, on the existence of balanced Steinhaus triangles modulo a positive integer $n$, that are Steinhaus triangles containing all the elements of $\mathbb{Z}/n\mathbb{Z}$ with the same multiplicity. For every odd number $n$, we build an orbit in $\mathbb{Z}/n\mathbb{Z}$, by the linear cellular automaton generating the Pascal triangle modulo $n$, which contains infinitely many balanced Steinhaus triangles. This orbit, in $\mathbb{Z}/n\mathbb{Z}$, is obtained from an integer sequence called the universal sequence. We show…
Several discrete geometry problems are closely related to the arithmetic theory of elliptic curves defined on the rational fields $\mathbb{Q}$. In this paper we consider the $θ$-congruent number for $θ=\fracπ{3}$ and $\frac{2π}{3}$ and tiling number n. For the case that $n\geqslant 2$ is square-free odd integer, we determine all $n$ such that the Selmer rank of elliptic curve $E_{n,\fracπ{3}}:\ y^2=x(x-n)(x+3n)$ or/and $E_{n,\frac{2π}{3}}:\ y^2=x(x+n)(x-3n)$ is zero. From this, we provide several series of non $θ$-congruent numbers for $θ=\fracπ{3}$ and $\frac{2π}{3}$, and non tiling numbers n…
Fuglede's conjecture in $\mathbb{Z}_{p}^{d}$, $p$ a prime, says that a subset $E$ tiles $\mathbb{Z}_{p}^{d}$ by translation if and only if $E$ is spectral, meaning any complex-valued function $f$ on $E$ can be written as a linear combination of characters orthogonal with respect to $E$. We disprove Fuglede's conjecture in $\mathbb{Z}_{p}^{4}$ for all odd primes $p$, by using log-Hadamard matrices to exhibit spectral sets of size $2p$ which do not tile, extending the result of Aten et al. that the conjecture fails in $\mathbb{Z}_{p}^{4}$ for primes $p \equiv 3 \pmod 4$ and in $\mathbb{Z}_{p}^{5…
