We find the primitive integer solutions to x^2+y^3=z^7. A nonabelian descent argument involving the simple group of order 168 reduces the problem to the determination of the set of rational points on a finite set of twists of the Klein quartic curve X. To restrict the set of relevant twists, we exploit the isomorphism between X and the modular curve X(7), and use modularity of elliptic curves and level lowering. This leaves 10 genus-3 curves, whose rational points are found by a combination of methods.
We show that for an elliptic divisibility sequence on a twist of the Fermat cubic, u^3+v^3=m, with m cube-free, all the terms beyond the first have a primitive divisor.
Using a construction of Hassett--Várilly-Alvarado, we produce derived equivalent twisted K3 surfaces over $\mathbb{Q}$, $\mathbb{Q}_2$, and $\mathbb{R}$, where one has a rational point and the other does not. This answers negatively a question recently raised by Hassett and Tschinkel.
In studying rational points on elliptic K3 surfaces of the form $f(t)y^2=g(x)$, where $f,g$ are cubic or quartic polynomials (without repeated roots), we introduce a condition on the quadratic twists of two elliptic curves having simultaneously positive Mordell-Weil rank. We prove a necessary and sufficient condition for the Zariski density of rational points by using this condition, and we relate it to the Hilbert property. Applying to surfaces of Cassels-Schinzel type, we prove unconditionally that rational points are dense both in Zariski topology and in real topology.
In recent work by Einsiedler, Mozes, Shah and Shapira the limiting distributions of primitive rational points on expanding horospheres was examined in arbitrary dimension, and a suspended version of this result was announced. Motivated by this, we prove an analog to the announcement for primitive rational points in Hilbert modular surfaces via effective mixing.
We prove effective equidistribution of primitive rational points and of primitive rational points defined by monomials along long horocycle orbits in products of the torus and the modular surface. This answers a question posed in joint work by the first and the last named author with Shahar Mozes and Uri Shapira. Under certain congruence conditions we prove the joint equidistribution of conjugate rational points in the two-torus and the modular surface.
Given a prime power $q$ and an integer $n\geq2$, we establish a sufficient condition for the existence of a primitive pair $(α,f(α))$ where $α\in \mathbb{F}_q$ and $f(x) \in \mathbb{F}_q(x)$ is a rational function of degree $n$. (Here $f=f_1/f_2$, where $f_1, f_2$ are coprime polynomials of degree $n_1,n_2$, respectively, and $n_1+n_2=n$.) For any $n$, such a pair is guaranteed to exist for sufficiently large $q$. Indeed, when $n=2$, such a pair definitely does {\em not} exist only for 28 values of $q$ and possibly (but unlikely) only for at most $3911$ other values of $q$.
In this paper, we consider rational functions $f$ with some minor restrictions over the finite field $\mathbb{F}_{q^n},$ where $q=p^k$ for some prime $p$ and positive integer $k$. We establish a sufficient condition for the existence of a pair $(α,f(α))$ of primitive normal elements in $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}.$ Moreover, for $q=2^k$ and rational functions $f$ with quadratic numerators and denominators, we explicitly find that there are at most $55$ finite fields $\mathbb{F}_{q^n}$ in which such a pair $(α,f(α))$ of primitive normal elements may not exist.
Let $\mathcal A$ be a star-shaped polygon in the plane, with rational vertices, containing the origin. The number of primitive lattice points in the dilate $t\mathcal A$ is asymptotically $\frac6{π^2}$ Area$(t\mathcal A)$ as $t\to \infty$. We show that the error term is both $Ω_\pm\big( t\sqrt{\log\log t} \big)$ and $O(t(\log t)^{2/3}(\log\log t)^{4/3})$. Both bounds extend (to the above class of polygons) known results for the isosceles right triangle, which appear in the literature as bounds for the error term in the summatory function for Euler's $ϕ(n)$.
Given a family of quadratic twists of a fixed elliptic curve defined over $\mathbb{Q}$, we investigate the average rank in the subfamily of twists having a nontorsion rational point of almost minimal height. We show in particular that the average analytic rank is greater than one.
We prove that the number of rational points of bounded height on certain del Pezzo surfaces of degree 1 defined over Q grows linearly, as predicted by Manin's conjecture. Along the way, we investigate the average number of integral points of small naive height on quadratic twists of a fixed elliptic curve with full rational 2-torsion.
For every point on the Jacobian of the modular curve $X_0(l)$ we define and study certain twisted holomorphic Eisenstein series. These are particular cases of a more general notion of twisted modular forms which correspond to sections on the modular curve $X_1(l)$ of the degree zero twists of line bundles of usual modular forms. We conjecture that a point on the Jacobian is rational if and only if the ratios of these twisted Eisenstein series of the same weights have rational coefficients.
Given a $p$-adic field $K$ and a nilpotent uniform pro-$p$ group $G$, we prove that all primitive ideals in the $K$-rational Iwasawa algebra $KG$ are maximal, and can be reduced to a particular standard form. Setting $\mathcal{L}$ as the associated $\mathbb{Z}_p$-Lie algebra of $G$, our approach is to study the action of $KG$ on a Dixmier module $\widehat{D(λ)}$ over the affinoid envelope $\widehat{U(\mathcal{L})}_K$, and to prove that all primitive ideals can be reduced to annihilators of modules of this form.
Fix a Hecke cusp form $f$, and consider the $L$-function of $f$ twisted by a primitive Dirichlet character. As we range over all primitive characters of a large modulus $q$, what is the average behavior of the square of the central value of this $L$-function? Stefanicki proved an asymptotic valid only for $q$ having very few prime factors, and we extend this to almost all $q$.
We formulate a conjecture about the distribution of the canonical height of the lowest non-torsion rational point on a quadratic twist of a given elliptic curve, as the twist varies. This conjecture seems to be very deep and we can only prove partial results in this direction.
We generalize a result of Frey [Fre88] on the Selmer group of twists of elliptic curves over Q with Q-rational torsion points to elliptic curves defined over number fields of small degree K with a K-rational point. We also provide examples of elliptic curves coming from [Zyw15] that satisfy the conditions of our Theorem B.
We determine the rational integers x,y,z such that x^3+y^9=z^2 and gcd(x,y,z)=1. First we determine a finite set of curves of genus 10 such that any primitive solution to x^3+y^9=z^2 corresponds to a rational point on one of those curves. We observe that each of these genus 10 curves covers an elliptic curve over some extension of Q. We use this cover to apply a Chabauty-like method to an embedding of the curve in the Weil restriction of the elliptic curve. This enables us to find all rational points and therefore deduce the primitive solutions to the original equation.
We investigate the number of curves having a rational point of almost minimal height in the family of quadratic twists of a given elliptic curve. This problem takes its origin in the work of Hooley, who asked this question in the setting of real quadratic fields. In particular, he showed an asymptotic estimate for the number of such fields with almost minimal fundamental unit. Our main result establishes the analogue asymptotic formula in the setting of quadratic twists of a fixed elliptic curve.
We prove an effective version of a result due to Einsiedler, Mozes, Shah and Shapira who established the equidistribution of primitive rational points on expanding horospheres in the space of unimodular lattices in at least $3$ dimensions. Their proof uses techniques from homogeneous dynamics and relies in particular on measure-classification theorems -- an approach which does not lend itself to effective bounds. We implement a strategy based on spectral theory, Fourier analysis and Weil's bound for Kloosterman sums in order to quantify the rate of equidistribution for a specific horospherical…
This paper presents a new result concerning the distribution of 2-Selmer ranks in the quadratic twist family of an elliptic curve with a single point of order two that does not have a cyclic 4-isogeny defined over its two-division field. We prove that at least half of all the quadratic twists of such an elliptic curve have arbitrarily large 2-Selmer rank, showing that the distribution of 2-Selmer ranks in the quadratic twist family of such an elliptic curve differs from the distribution of 2-Selmer ranks in the quadratic twist family of an elliptic curve having either no rational two-torsion o…
We study the nonvanishing of twists of automorphic L-functions at the centre of the critical strip. Given a primitive character χmodulo D satisfying some technical conditions, we prove that the twisted L-functions L(f.χ,s) do not vanish at s=1/2 for a positive proportion of primitive forms of weight 2 and level q, for large prime q. We also investigate the central values of high derivatives of L(f.χ,s), and from that derive an upper bound for the average analytic rank of the studied L-functions.
We count flags of primitive lattices, which are objects of the form ${0}=Λ^{(0)}<Λ^{(1)}< \cdots <Λ^{(\ell)}= \mathbb{Z}^n$, where every $Λ^{(i)}$ is a primitive lattice in $\mathbb{Z}^n$. The counting is with respect to two different natural height functions, allowing us to give a new proof of the Manin conjecture for flag varieties over rational numbers. We deduce the equidistribution of rational points in flag varieties, as well as the equidistribution of the shapes of the successive quotient lattices, $Λ^{(i)}/Λ^{(i-1)}$. In doing so, we generalize previous work of Schmidt, as well as our …
Let $K$ denote a number field and a finite set $S$ of places of $K$ and $ϕ:\PP^n\rightarrow\PP^n$ be rational morphism defined over $K$. The main result of this paper proves that there are only finitely many twists of $ϕ$ defined over $K$ which have good reduction at all places outside $S$. This answers a question of Silverman in the affirmative.
On the twisted Fermat cubic, an elliptic divisibility sequence arises as the sequence of denominators of the multiples of a single rational point. We prove that the number of prime terms in the sequence is uniformly bounded. When the rational point is the image of another rational point under a certain 3-isogeny, all terms beyond the first fail to be primes.
In this paper, we study bounds for the number of rational points on twists C' of a fixed curve C over a number field K, under the condition that the group of K-rational points on the Jacobian J' of C' has rank smaller than the genus of C'. The main result is that with some explicitly given finitely many possible exceptions, we have a bound of the form 2r + c, where r is the rank of J'(K) and c is a constant depending on C. For the proof, we use a refinement of the method of Chabauty-Coleman; the main new ingredient is to use it for an extension field of K_v, where v is a place of bad reduction…
We compute a lower bound of the canonical height on quadratic twists of certain elliptic curves. Also we show a simple method for constructing families of quadratic twists with an explicit rational point. % from cubic polynomials. Using the above lower bound, we show that the explicit rational point is primitive as an element of the Mordell--Weil group.
This paper investigates which integers can appear as 2-Selmer ranks within the quadratic twist family of an elliptic curve E defined over a number field K with E(K)[2] = Z/2Z. We show that if E does not have a cyclic 4-isogeny defined over K(E[2]), then subject only to constant 2-Selmer parity, each non-negative integer appears infinitely often as the 2-Selmer rank of a quadratic twist of E. If E has a cyclic 4-isogeny defined over K(E[2]) but not over K, then we prove the same result for 2-Selmer ranks greater than or equal to r_2, the number of complex places of K. We also obtain results abo…
Let $n\geq 2$ be an integer, $F$ a number field, $O_F$ the integral closure of $\mathbb{Z}$ in $F$ and $N$ a positive multiple of $n$. The paper deals with degree $N$ polynomials $P(T) \in O_F[T]$ such that the superelliptic curve $Y^n=P(T)$ has twists $Y^n=d\cdot P(T)$ without $F$-rational points. We show that this condition holds if the Galois group of $P(T)$ over $F$ has an element which fixes no root of $P(T)$. Two applications are given. Firstly, we prove that the proportion of degree $N$ polynomials $P(T) \in O_F[T]$ with height bounded by $H$ and such that the associated curve satisfies…
We present some results about the number of rational points on a certain family of curves defined over a finite field. In a small number of cases the curves have more rational points than expected. Fibonacci numbers make an appearance, as do cyclotomic polynomials.
In this note, we prove that given a Hecke-Maass cusp form $f$ for $SL_2(\mathbb{Z})$ and a sufficiently large integer $q=q_1q_2$ with $q_j\asymp \sqrt{q}$ being prime numbers for $j=1,2$, there exists a primitive Dirichlet character $χ$ of conductor $q$ such that $L\left(\frac{1}{2},f\otimes χ\right)L\left(\frac{1}{2},χ\right)\neq 0$. To prove this, we establish asymptotic formulas of $L\left(\frac{1}{2},f\otimes χ\right)L\left(\frac{1}{2},χ\right)$ over the family of even primitive Dirichlet characters $χ$ of conductor $q$ for more general $q$.
We investigate in this paper the vanishing at $s=1$ of the twisted $L$-functions of elliptic curves $E$ defined over the rational function field $\mathbb{F}_q(t)$ (where $\mathbb{F}_q$ is a finite field of $q$ elements and characteristic $\geq 5$) for twists by Dirichlet characters of prime order $\ell \geq 3$, from both a theoretical and numerical point of view. In the case of number fields, it is predicted that such vanishing is a very rare event, and our numerical data seems to indicate that this is also the case over function fields for non-constant curves. For constant curves, we adapt th…
Given a pair of elliptic curves $E_1$ and $E_2$ over the rational field $\mathbb Q$ whose $j$-invariants are not simultaneously 0 or 1728, Kuwata and Wang proved the existence of infinitely many square-free rationals $d$ such that the $d$-quadratic twists of $E_1$ and $E_2$ are both of positive rank. We construct infinite families of pairs of elliptic curves $E_1$ and $E_2$ over $\mathbb Q$ such that for each pair there exist infinitely many square-free rationals $d$ for which the $d$-quadratic twists of $E_1$ and $E_2$ are both of rank at least 2.
For every n there exists an elliptic curve E over the rational numbers and an n-dimensional subspace V of non-zero rationals modulo squares such that for all v in V, the quadratic twist of E by v has positive rank.
This article addresses the existence of $\Q$-rational periodic points for morphisms of projective space. In particular, we construct an infinitely family of morphisms on $¶^N$ where each component is a degree 2 homogeneous form in $N+1$ variables which has a $\Q$-periodic point of primitive period $\frac{(N+1)(N+2)}{2} + \lfloor \frac{N-1}{2}\rfloor$. This result is then used to show that for $N$ large enough there exists morphisms of $¶^N$ with $\Q$-rational periodic points with primitive period larger that $c(k)N^k$ for any $k$ and some constant $c(k)$.
Given an integer $t\ge 1$, a rational number $g$ and a prime $p\equiv 1({\rm mod} t)$ we say that $g$ is a near-primitive root of index $t$ if $ν_p(g)=0$, and $g$ is of order $(p-1)/t$ modulo $p$. In the case $g$ is not minus a square we compute the density, under the Generalized Riemann Hypothesis (GRH), of such primes explicitly in the form $ρ(g)A$, with $ρ(g)$ a rational number and $A$ the Artin constant. We follow in this the approach of Wagstaff, who had dealt earlier with the case where $g$ is not minus a square. The outcome is in complete agreement with the recent determination of the d…
The algebras considered in this paper are commutative rings of which the additive group is a finite-dimensional vector space over the field of rational numbers. We present deterministic polynomial-time algorithms that, given such an algebra, determine its nilradical, all of its prime ideals, as well as the corresponding localizations and residue class fields, its largest separable subalgebra, and its primitive idempotents. We also solve the discrete logarithm problem in the multiplicative group of the algebra. While deterministic polynomial-time algorithms were known earlier, our approach is d…
Conditionally on the $abc$ conjecture, we generalize previous work of Clark and the author to show that a superelliptic curve $C: y^n = f(x)$ of sufficiently high genus has infinitely many twists violating the Hasse Principle if and only if $f(x)$ has no $\mathbb Q$-rational roots. We also show unconditionally that a curve defined by $C: y^{pN}=f(x)$ has infinitely many twists violating the Hasse Principle over any number field $k$ such that $k$ contains the $p$th roots of unity and $f(x)$ has no $k$-rational roots.
On the twisted Fermat cubic, an elliptic divisibility sequence arises as the sequence of denominators of the multiples of a single rational point. It is shown that there are finitely many perfect powers in such a sequence whose first term is greater than 1. Moreover, if the first term is divisible by 6 and the generating point is triple another rational point then there are no perfect powers in the sequence except possibly an lth power for some l dividing the order of 2 in the first term.
We establish a central limit theorem for the central values of Dirichlet $L$-functions with respect to a weighted measure on the set of primitive characters modulo $q$ as $q \rightarrow \infty$. Under the Generalized Riemann Hypothesis (GRH), we also prove a weighted central limit theorem for the joint distribution of the central $L$-values corresponding to twists of two distinct primitive Hecke eigenforms. As applications, we obtain (under GRH) positive proportions of twists for which the central $L$-values simultaneously grow or shrink with $q$ as well as a positive proportion of twists for …
Given an elliptic curve E over the rational with no rational 2-torsion points, we prove the existence of a quadratic twist of E for which the 2-Selmer rank is less than or equal to 1. By the author's earlier result, we establish a lower bound on the number of D's for which the twists E(D) have 2-Selmer rank <= 1. We include in the introduction our (brief) opinion about why it is supposed to be hard to push our technique to make the Selmer group trivial.
The Cayley cubic surface is given by the equation sum_{i=1}^4 X_i^{-1}=0. We show that the number of non-trivial primitive integer points of size at most B is of exact order B(log B)^6, as predicted by Manin's conjecture.
Let $f$ be a cuspidal eigenform (holomorphic or Maass) on the full modular group $SL(2, \mathbb{Z})$ . Let $χ$ be a primitive character of modulus $P$. We shall prove the following results: 1. Suppose $P = p^r$, where $p$ is a prime and $r\equiv 0 (\textrm{mod} \ 3)$. Then we have \[ L\left( f \otimes χ, \frac{1}{2}\right) \ll_{f, ε} P^{1/3 +ε}, \] where $ε> 0$ is any positive real number. 2. Suppose $χ$ factorizes as $χ= χ_1 χ_2$, where $ χ_i$'s are primitive character modulo $P_i$, where $P_i$ are primes, $P^{1/2 -ε} \ll P_i \ll P^{1/2 + ε}$ for $i=1,2$ and $P=P_1 P_2$. We have the Burgess b…
Let phi be a morphism of projective N-space defined over a number field K. We prove that there is a bound B depending only on phi such that every twist of phi has no more than B K-rational preperiodic points. (This result is analagous to a result of Silverman for abelian varieties.) For two specific families of quadratic rational maps over Q, we find the bound B explicitly.
Let F(z) be a rational function in Q(z) of degree at least 2 with F(0) = 0 and such that F does not vanish to order d at 0. Let b be a rational number having infinite orbit under iteration of F, and write F^n(b) = A_n/B_n as a fraction in lowest terms. We prove that for all but finitely many n > 0, the numerator A_n has a primitive divisor, i.e., there is a prime p such that p divides A_n and p does not divide A_i for all i < n. More generally, we prove an analogous result when F is defined over a number field and 0 is a periodic point for F.
In this paper, we consider a family of twists of a superelliptic curve over a global field, and obtain results on the distribution of the Mordell-Weil rank of these twists. Our results have applications to the distribution of the number of rational points.
This paper presents a new result concerning the distribution of 2-Selmer ranks in the quadratic twist family of an elliptic curve over an arbitrary number field K with a single point of order two that does not have a cyclic 4-isogeny defined over its two-division field. We prove that at least half of all the quadratic twists of such an elliptic curve have arbitrarily large 2-Selmer rank, showing that the distribution of 2-Selmer ranks in the quadratic twist family of such an elliptic curve differs from the distribution of 2-Selmer ranks in the quadratic twist family of an elliptic curve having…
We investigate the average rank in the family of quadratic twists of a given elliptic curve defined over $\mathbb{Q}$, when the curves are ordered using the canonical height of their lowest non-torsion rational point.