HASSE PRINCIPLE VIOLATIONS FOR ATKIN-LEHNER TWISTS OF SHIMURA CURVES PETE L. CLARK AND JAMES STANKEWICZ Abstract. Let D > 546 be the discriminant of an indefinite rational quater- nion algebra. We show that there are infinitely many imaginary quadratic fields l/Q such that the twist of the Shimura curve XD by the main Atkin- Lehner involution wD and l/Q violates the Hasse Principle over Q. 1. Introduction For a number field k, we denote by Ak the adele ring of k. Let l/k be a quadratic field extension, let V/k be a smooth, projective, geomet- rically integral variety, and let ι be an involution of V . We denote by (V,ι,l/k) /k T the quadratic twist of V by ι and the quadratic extension l/k. We view V/k itself as the “trivial quadratic twist” of V/k corresponding to the “trivial quadratic extension k/k”. This convention may seem a bit strange at first, but it turns out to be natural: e.g. it makes “is a quadratic twist” into an equivalence relation on varieties V . We denote by V/ι the quotient under the action of the group 1, ι . /k { } For a curve X Q and a Q-rational involution ι, if is a property of algebraic / P curves C/Q, then, inspired by terminology of [MR10, 1.1] we say many quadratic twists of (X, ι) have property if there is α 0§ such that as X we have P ≥ → ∞ X # squarefree d with d X (X, ι, Q(√d)/Q) has property . { | |≤ | T P} ≫ logα X Let D> 1 be a squarefree integer which is a product of an even number of primes. Let B/Q be the (unique, up to isomorphism) nonsplit indefinite quaternion algebra D with reduced discriminant D. Let (X )/Q be the associated Shimura curve, and D let wD be the main Atkin-Lehner involution of (X )/Q (see e.g. [Cl03, 0.3.1]). In this note we provide a complement to prior work of the first autho§ r [Cl08], arXiv:1612.01440v1 [math.NT] 5 Dec 2016 [Cl09], [ClXX] using prior work of the second author [St14]. Here is our main result. D Theorem 1. Suppose that the genus of X /wD is at least 2. (The set of all such D is given in Lemma 7 and includes all D> 546.) Then many quadratic twists of D (X , wD) violate the Hasse Principle. Let us provide some context. It is a fundamental problem to find projective varieties V defined over a number field k which violate the Hasse Principle – i.e., V (k)= ∅, while for every completion kv of k we have V (kv) = ∅ (equivalently, V (Ak) = ∅). It is also desirable to understand when these violations6 are explained by the6 Brauer-Manin obstruction, as is conjectured to hold whenever V is a curve [Po06, Conjecture 5.1]. There is a large literature on Hasse Principle violations for curves V/Q. Most examples are sporadic in nature: they apply to one curve at a time. Past work of the first author [Cl08, Thm. 2] and [ClXX, Thm. 1] gives two 1 2 PETEL.CLARKANDJAMESSTANKEWICZ versions of a “Twist Anti-Hasse Principle (TAHP).” Each gives hypotheses under which for a curve X defined over a number field k and a k-rational involution ι : X X, there are infinitely many quadratic field extensions l/k such that (X,ι,l/k→ ) violates the Hasse Principle. As an application, it was shown [Cl08, Thm.T 1] that for all squarefree N > 163, there are infinitely many primes p 1 ≡ (mod 4) such that (X0(N), wN , Q(√p)/Q)) violates the Hasse Principle. T Remark 2. Bhargava, Gross and Wang show that for each g 1, when genus ≥ g hyperelliptic curves V/Q are ordered by height, a positive proportion violate the Hasse Principle and this violation is explained by Brauer-Manin [BGW13, Thm. 1.1]. This is complementary to the Hasse Principle violations obtained using TAHP. One hypothesis of TAHP is the finiteness of (X/ι)(k), so TAHP does not apply to a pair (X, ι) when ι is a hyperelliptic involution. Yet TAHP produces infinite families of curves violating the Hasse Principle in which the gonality approaches infinity. It is also natural to pursue Hasse Principle violations on Atkin-Lehner twists of Shimura curves. However, for D > 1 the Shimura curve XD has XD(R) = ∅. In both previous versions of the Twist Anti-Hasse Principle, one of the hypotheses D on X/k was X(Ak) = ∅, so the Shimura curves X could not be treated directly: instead, [Cl08, Thm.6 3] gives Hasse Principle violations on quadratic twists of the D Atkin-Lehner quotient X /wD by an Atkin-Lehner involution wd for d = D. Here we give a further variant of the Twist Anti-Hasse Principle in6 which the hypothesis X(Ak) = ∅ is weakened to: (X,ι,l/k)(Ak) = ∅ for some quadratic extension l/Q. This6 is a quick consequenceT of [ClXX, Thm.6 1]. To apply our new D criterion we need to know that some Atkin-Lehner twist of X/Q has points every- where locally. Certainly this is often true: whenever the corresponding quaternion algebra B/Q is split by some class number one imaginary quadratic field l with D discriminant prime to D, then (X , wD,l/Q) has a Q-rational CM point [Cl03, Prop. 65b)]. That it is true forT all D lies deeper and makes use of the results of [St14]. We give the proof of Theorem 1 in 2. Let § D = squarefree d Z (XD, w , Q(√d)/Q) violates the Hasse Principle , D { ∈ | T D } and for X 1, let D (X) = #D [ X,X] = D [ X, 1]. Our proof of ≥ D D ∩ − D ∩ − − Theorem 1 shows that D (X) X . In 3 we give a more precise asymptotic D ≫ log X § D D X analysis of D(X). We show first that D(X) logeD X for an explicit eD < 1 X ≫ and then that D (X) = O( 5 8 ): in particular D has density 0. In 4 we D log / X D § discuss relations between our results and Hasse Principle violations over quadratic D extensions, both in general and with particular attention to the case (X )/Q. 2. The Proof 2.1. Another Twist Anti-Hasse Principle Theorem 3. (Twist Anti-Hasse Principle, v. III) Let k be a number field. Let X/k be a smooth, projective geometrically integral curve, and let ι : X X be a k-rational automorphism of order 2. Let X/ι be the quotient of X under→ the action of the group e, ι . We suppose all of the following: (i) We have {P } X(k) ι(P )= P = ∅. { ∈ | } (ii) We have P X(k) ι(P )= P = ∅ . { ∈ | } 6 } HASSE PRINCIPLE VIOLATIONS FOR ATKIN-LEHNER TWISTS OF SHIMURA CURVES 3 (iii) We have (X,ι,l0/k)(Ak) = ∅ for some quadratic extension l0/k. (iv) The set (X/ιT )(k) is finite. 6 Then: a) For all but finitely many quadratic extensions l/k, the twisted curve (X,ι,l/k)/k has no k-rational points. T b) There are infinitely many quadratic extensions l/k such that the twisted curve (X,ι,l/k) violates the Hasse Principle over k. c)T When k = Q, as X , the number of squarefree integers d with d X such → ∞ | |≤ that (X, ι, Q(√d)/Q) violates the Hasse Principle is X . T ≫ log X Proof. Let l/k be a quadratic extension, and put Let Y = (X,ι,l/k). Then ι T defines a k-rational involution on Y : indeed, Y/l ∼= X/l, and if σ is the nontrivial field automorphism of l/k, then σ acts on Y (l)= X(l) by σ∗P = ι(σ(P )), so for all P Y (A) and for all k-algebras A we have ∈ σ∗ι(σ∗)−1 = ι(σισ−1)ι−1 = ιιι−1 = ι. The curve Y/ι is canonically isomorphic to X/ι. Thus for each quadratic extension l/k – including the trivial quadratic extension k/k – there is a map ψ : (X,ι,l/k)(k) (X/ι)(k). l T → We have (1) (X/ι)(k)= ψ ( (X,ι,l/k))(l): l T [l/k indeed, if P (X/ι)(k), then q∗(P ) = [Q ] + [Q ] is an effective k-rational divisor ∈ 1 2 of degree 2. If Q1 = Q2, then Q1 is a k-rational ι-fixed point. In this case Q1 is also a k-rational point of (X,ι,l/k) for all quadratic extensions l/k. Otherwise, Q = Q = ι(Q ), and theT Galois action on Q ,Q determines a unique quadratic 1 6 2 1 { 1 2} extension l/k (possibly the trivial one) such that Q1,Q2 (X,ι,l/k). This shows (1) and also shows that under our hypothesis (i) the union∈ T in (1) is disjoint. a) For this part we need only assume hypotheses (i) and (iv). Let (X/ι)(k) = P ,...,P . By hypothesis (i), each P is either of the form ψ(Q) for Q X(k) or { 1 n} i ∈ ψℓi (Q) for a unique quadratic extension li/k. Thus there are at most n quadratic extensions l/k such that (X,ι,l/k)(k) = ∅. b) If we replace (iii) by theT hypothesis6 (iii′) X(A ) = ∅, then we get (a slightly k 6 simplified statement of) [ClXX, Thm. 1]. Suppose now that X(Ak) = ∅ but for some nontrivial quadratic extension l /k we have (X,ι,l /k)(A ) = ∅.