Prime analogues of the Erd?s-Kac theorem for elliptic curves

Let E/Q be an elliptic curve. For a prime p of good reduction, let E(Fp) be the set of rational points defined over the finite field Fp. We denote by ω(#E(Fp)), the number of distinct prime divisors of #E(Fp). We prove that the quantity (assuming the GRH if E is non-CM)

     

The Galois representations associated to a Drinfeld module in special characteristic—I: Zariski density

Let ? be a Drinfeld A-module of rank r over a finitely generated field K. Assume that ? has special characteristic p₀ and consider any prime p≠p₀ of A. If End_K^sep(?)=A, we prove that the image of Gal(K^sep/K) in its representation on the p-adic Tate module of ? is Zariski dense in GL_r.     

The Galois representations associated to a Drinfeld module in special characteristic—III: Image of the group ring

Let K be a finitely generated field of transcendence degree 1 over a finite field, and set G_K?Gal(K^sep/K). Let φ be a Drinfeld A-module over K in special characteristic. Set E?End_K(φ) and let Z be its center. We show that for almost all primes p of A, the image of the group ring A_p[G_K] in End_A(T_p(φ)) is the commutant of E. Thus, for almost all p it is a full matrix ring over Z⊗_AA_p. In the special case E=A it follows that the representation of G_K on the p-torsion points φ[p] is absolutely irreducible for almost all p.     

Image of the group ring of the Galois representation associated to Drinfeld modules

Let φ be a Drinfeld A-module of arbitrary rank and arbitrary characteristic over a finitely generated field K, and set GK=Gal(Ksep/K). Let E=EndK(φ). We show that for almost all primes p of A the image of the group ring A[GK] in EndA(Tp(φ)) is the commutant of E. In the special case E=A it follows that the representation of GK on the p-torsion points φ[p](Ksep) of φ is absolutely irreducible for almost all p.     

The support problem for abelian varieties

Let A be an abelian variety over a number field K. If P and Q are K-rational points of A such that the order of the reduction of Q divides the order of the ) reduction of P for almost all prime ideals , then there exists a K-endomorphism φ of A and a positive integer k such that φ(P)=kQ.     

On the vanishing of Selmer groups for elliptic curves over ring class fields

Let E/Q be an elliptic curve of conductor N without complex multiplication and let K be an imaginary quadratic field of discriminant D prime to N. Assume that the number of primes dividing N and inert in K is odd, and let Hc be the ring class field of K of conductor c prime to ND with Galois group Gc over K. Fix a complex character χ of Gc. Our main result is that if LK(E,χ,1)≠0 then Selp(E/Hc)χ_⊗W=0 for all but finitely many primes p, where Selp(E/Hc) is the p-Selmer group of E over Hc and W is a suitable finite extension of Zp containing the values of χ. Our work extends results of Bertolini and Darmon to almost all non-ordinary primes p and also offers alternative proofs of a χ-twisted version of the Birch and Swinnerton-Dyer conjecture for E over Hc (Bertolini and Darmon) and of the vanishing of Selp(E/K) for almost all p (Kolyvagin) in the case of analytic rank zero.     

Bernoulli-Hurwitz numbers, Wieferich primes and Galois representations

Let K be a quadratic imaginary number field with discriminant DK≠−3,−4 and class number one. Fix a prime p?7 which is unramified in K. Given an elliptic curve A/Q with complex multiplication by K, let be the representation which arises from the action of Galois on the Tate module. Herein it is shown that, for all but finitely many inert primes p, the image of a certain deformation of is “as large as possible”, that is, it is the full inverse image of a Cartan subgroup of SL(2,Zp). If p splits in K, then the same result holds as long as a certain Bernoulli-Hurwitz number is a p-adic unit which, in turn, is equivalent to a prime ideal not being a Wieferich place. The proof rests on the theory of elliptic units of Robert and Kubert-Lang, and on the two-variable main conjecture of Iwasawa theory for quadratic imaginary fields.     

On the variation of Tate-Shafarevich groups of elliptic curves over hyperelliptic curves

Let E be an elliptic curve over F=F_q(t) having conductor (p)·∞, where (p) is a prime ideal in F_q[t]. Let d∈F_q[t] be an irreducible polynomial of odd degree, and let . Assume (p) remains prime in K. We prove the analogue of the formula of Gross for the special value L(E⊗_FK,1). As a consequence, we obtain a formula for the order of the Tate-Shafarevich group Ш(E/K) when L(E⊗_FK,1)≠0.     

The Galois representations associated to a Drinfeld module in special characteristic—II: Openness

Let φ be a Drinfeld A-module in special characteristic p₀ over a finitely generated field K. For any finite set P of primes p≠p₀ of A let Γ_P denote the image of Gal(K^sep/K) in its representation on the product of the p-adic Tate modules of φ for all p∈P. We determine Γ_P up to commensurability.     

A formula for the central value of certain Hecke L-functions

Let be the negative of a prime, and O_K its ring of integers. Let D be a prime ideal in O_K of prime norm congruent to . Under these assumptions, there exists Hecke characters ψ_D of K with conductor (D) and infinite type (1,0). Their L-series L(ψ_D,s) are associated to a CM elliptic curve A(N,D) defined over the Hilbert class field of K. We will prove a Waldspurger-type formula for L(ψ_D,s) of the form L(ψ_D,1)=Ω∑_[A],Ir(D,[A],I)m_[A],I([D]) where the sum is over class ideal representatives I of a maximal order in the quaternion algebra ramified at |N| and infinity and [A] are class group representatives of K. An application of this formula for the case N=-7 will allow us to prove the non-vanishing of a family of L-series of level 7|D| over K.     

Superspecial abelian varieties and the Eichler Basis Problem for Hilbert modular forms

Let p be an unramified prime in a totally real field L such that h⁺(L)=1. Our main result shows that Hilbert modular newforms of parallel weight two for Γ₀(p) can be constructed naturally, via classical theta series, from modules of isogenies of superspecial abelian varieties with real multiplication on a Hilbert moduli space. This may be viewed as a geometric reinterpretation of the Eichler Basis Problem for Hilbert modular forms.     

Torsion points on the jacobian of a Fermat quotient

Let p≥5 be a prime, ζ a primitive pth root of unity and λ=1−ζ. For 1≤s≤p−2, the smooth projective model C_p,s of the affine curve v^p=u^s(1−u) is a curve of genus (p−1)/2 whose jacobian J_p,s has complex multiplication by the ring of integers of the cyclotomic field Q(ζ). In 1981, Greenberg determined the field of rationality of the p-torsion subgroup of J_p,s and moreover he proved that the λ³-torsion points of J_p,s are all rational over Q(ζ). In this paper we determine quite explicitly the λ³-torsion points of J_p,1 for p=5 and p=7, as well as some further p-torsion points which have interesting arithmetical applications, notably to the complementary laws of Kummer’s reciprocity for pth powers.     

Borne uniforme pour les homothéties dans l?image de Galois associée aux courbes elliptiques

Let K be a fixed number field and GK its absolute Galois group. We give a bound C(K), depending only on the degree, the class number and the discriminant of K, such that for any elliptic curve E defined over K and any prime number p strictly larger than C(K), the image of the representation of GK attached to the p-torsion points of E contains a subgroup of homotheties of index smaller than 12.     

Adelic openness for Drinfeld modules in generic characteristic

Let φ be a Drinfeld A-module of arbitrary rank and generic characteristic over a finitely generated field K. If the endomorphism ring of φ over an algebraic closure of K is equal to A, we prove that the image of the adelic Galois representation associated to φ is open.     

The 2-primary torsion on elliptic curves in the Z p -extensions of Q

Let E be an elliptic curve over Q and p a prime number. Denote by Q_p,∞ the Z_p-extension of Q. In this paper, we show that if p≠3, then where E(Q_p,∞)₍₂₎ is the 2-primary part of the group E(Q_p,∞) of Q_p,∞-rational points on E. More precisely, in case p=2, we completely classify E(Q_2,∞)₍₂₎ in terms of E(Q)₍₂₎; in case p≥5 (or in case p=3 and E(Q)₍₂₎≠{O}), we show that E(Q_p,∞)₍₂₎=E(Q)₍₂₎.     

On a refinement of Craig’s lattices

Let p be an odd prime. A family of (p−1)-dimensional over-lattices yielding new record packings for several values of p in the interval [149…3001] is presented. The result is obtained by modifying Craig’s construction and considering conveniently chosen Z-submodules of Q(ζ), where ζ is a primitive pth root of unity. For p≥59, it is shown that the center density of the (p−1)-dimensional lattice in the new family is at least twice the center density of the (p−1)-dimensional Craig lattice.     

The Artin conjecture for three diagonal cubic forms

Let p be a prime, p ≠ 3or 7. Then any three diagonal cubic forms over the p-adics in at least 28 variables possess a common nontrivial p-adic zero. This verifies the Artin conjecture for three diagonal cubic forms over all p-adic fields with the possible exception of $\text{Q}$₃ and $\text{Q}$₁.     

Openness of the Galois image for τ-modules of dimension 1

Let C be a smooth projective absolutely irreducible curve over a finite field , F its function field and A the subring of F of functions which are regular outside a fixed point ∞ of C. For every place ? of A, we denote the completion of A at ? by .In [Pi2], Pink proved the Mumford-Tate conjecture for Drinfeld modules. Let φ be a Drinfeld module of rank r defined over a finitely generated field K containing F. For every place ? of A, we denote by Γ_? the image of the representation

     

Flat cyclotomic polynomials of order three

We say that a cyclotomic polynomial Φn has order three if n is the product of three distinct primes, p<q<r. Let A(n) be the largest absolute value of a coefficient of Φn. For each pair of primes p<q, we give an infinite family of r such that A(pqr)=1. We also prove that A(pqr)=A(pqs) whenever s>q is a prime congruent to .