BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We prove that 164634913 is the smallest positive integer that is a sum of two rational sixth powers but not a sum of two integer sixth powers. If Ck is the curve x6+y6=k, we use the existence of morphisms from Ck to elliptic curves, together with the Mordell-Weil sieve, to rule out the existence of rational points on Ck for various k.
Let Q be a positive-definite quaternary quadratic form with prime discriminant. We give an explicit lower bound on the number of representations of a positive integer n by Q. This problem is connected with deriving an upper bound on the Petersson norm ⟨C,C⟩ of the cuspidal part of the theta series of Q. We derive an upper bound on ⟨C,C⟩ that depends on the smallest positive integer not represented by the dual form Q∗. In addition, we give a non-trivial upper bound on the sum of the integers n excepted by Q.
Let C be a curve defined over a number field k. We say a closed point x∈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 X1(N)/Q for some positive integer N.
Let ℓ be a prime number and let F be a number field and E/F a non-CM elliptic curve with a point α∈E(F) of infinite order. Attached to the pair (E,α) is the ℓ-adic arboreal Galois representation ωE,α,ℓ∞:Gal(F/F)→Zℓ2⋊GL2(Zℓ) describing the action of Gal(F/F) on points βn so that ℓnβn=α. We give an explicit bound on the index of the image of ωE,α,ℓ∞ depending on how ℓ-divisible the point α is, and the image of the ordinary ℓ-adic Galois representation. The image of ωE,α,ℓ∞ is connected with the density of primes p for which α∈E(Fp) has order coprime to ℓ.
For A⊆{1,2,…}, we consider R(A)={a/a′:a,a′∈A}. If A is the set of nonzero values assumed by a quadratic form, when is R(A) dense in the p-adic numbers? We show that for a binary quadratic form Q, R(A) is dense in Qp if and only if the discriminant of Q is a nonzero square in Qp, and for a quadratic form in at least three variables, R(A) is always dense in Qp. This answers a question posed by several authors in 2017.
Following Bhargava and Hanke's celebrated 290-theorem, we prove a universality theorem for all positive-definite integer-valued quadratic forms that represent all positive integers coprime to 3. In particular, if a positive-definite quadratic form represents all positive integers coprime to 3 and ≤290, then it represents all positive integers coprime to 3. We use similar methods to those used by Rouse to prove (assuming GRH) that a positive-definite quadratic form representing every odd integer between 1 and 451 represents all positive odd integers.
Let f(z)=∑n=1∞a(n)qn∈Sknew(Γ0(N)) be a newform with squarefree level N that does not have complex multiplication. For a prime p, define θp∈[0,π] to be the angle for which a(p)=2p(k−1)/2cosθp. Let I⊂[0,π] be a closed subinterval, and let dμST=π2sin2θdθ be the Sato-Tate measure of I. Assuming that the symmetric power L-functions of f satisfy certain analytic properties (all of which follow from Langlands functoriality and the Generalized Riemann Hypothesis), we prove that if x is sufficiently large, then #{p≤x:θp∈I}−μST(I)∫2xlogtdt≪logxx3/4log(Nkx) with an implied constant of 3.34. By letting I be a short interval centered at 2π and counting the primes using a smooth cutoff, we compute a lower bound for the density of positive integers n for which a(n)=0. In particular, if τ is the Ramanujan tau function, then under the aforementioned hypotheses, we prove that limx→∞x#{n≤x:τ(n)=0}>1−1.54×10−13. We also discuss the connection between the density of positive integers n for which a(n)=0 and the number of representations of n by certain positive-definite, integer-valued quadratic forms.
Let L/K be a Galois extension of number fields. We prove two lower bounds on the maximum of the degrees of the irreducible complex representations of Gal(L/K), the sharper of which is conditional on the Artin Conjecture and the Generalized Riemann Hypothesis. Our bound is nontrivial when [K:Q] is small and L has small root discriminant, and might be summarized as saying that such fields can't be "too abelian."
Motivated by Euler's observation that the polynomial x2+x+41 takes on prime values for 0≤x≤39, we search for large values of x for which N=x2+x+41 is prime. To apply classical primality proving results based on the factorization of N−1, we choose x to have the form g(y), chosen so that g(y)2+g(y)+40 is reducible. Our main result is an explicit, 60,000 digit prime number of the form x2+x+41.
A cusp form f(z) of weight k for $\SL_{2}(\Z)$ is determined uniquely by its first ℓ:=dimSk Fourier coefficients. We derive an explicit bound on the nth coefficient of f in terms of its first ℓ coefficients. We use this result to study the non-negativity of the coefficients of the unique modular form of weight k with Fourier expansion Fk,0(z)=1+O(qℓ+1). In particular, we show that k=81632 is the largest weight for which all the coefficients of F0,k(z) are non-negative. This result has applications to the theory of extremal lattices.
For an even integer k, let r2k(n) be the number of representations of n as a sum of 2k squares. The quantity r2k(n) is appoximated by the classical singular series ρ2k(n)≍nk−1. Deligne's bound on the Fourier coefficients of Hecke eigenforms gives that r2k(n)=ρ2k(n)+O(d(n)n2k−1). We determine the optimal implied constant in this estimate provided that either k/2 or n is odd. The proof requires a delicate positivity argument involving Petersson inner products.
We solve the equation f(x,y)3+g(x,y)3=x3+y3 for homogeneous f,g∈C(x,y), completing an investigation begun by Viète in 1591. The usual addition law for elliptic curves and composition give rise to two binary operations on the set of solutions. We show that a particular subset of the set of solutions is ring-isomorphic to Z[e2πi/3].
Given an abelian algebraic group A over a global field F, α∈A(F), and a prime ℓ, the set of all preimages of α under some iterate of [ℓ] generates an extension of F that contains all ℓ-power torsion points as well as a Kummer-type extension. We analyze the Galois group of this extension, and for several classes of A we give a simple characterization of when the Galois group is as large as possible up to constraints imposed by the endomorphism ring or the Weil pairing. This Galois group encodes information about the density of primes $\p$ in the ring of integers of F such that the order of $(α\bmod{\p})$ is prime to ℓ. We compute this density in the general case for several classes of A, including elliptic curves and one-dimensional tori. For example, if F is a number field, A/F is an elliptic curve with surjective 2-adic representation and α∈A(F) with α∈2A(F(A[4])), then the density of p with ($α\bmod{\p}$) having odd order is 11/21.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.