arxiv: v1 [math.nt] 25 Nov 2015

Transcription

1 HIRZEBRUCH ZAGIER CYCLES AND TWISTED TRIPLE PRODUCT SELMER GROUPS arxiv: v1 [math.nt] 25 Nov 2015 YIFENG LIU Abstract. Let E be an elliptic curve over Q and A be another elliptic curve over a real quadratic number field. We construct a Q-motive of rank 8, together with a distinguished class in the associated Bloch Kato Selmer group, using Hirzebruch Zagier cycles, that is, graphs of Hirzebruch Zagier morphisms. We show that, under certain assumptions on E and A, the non-vanishing of the central critical value of the (twisted) triple product L-function attached to (E, A) implies that the dimension of the associated Bloch Kato Selmer group of the motive is 0; and the non-vanishing of the distinguished class implies that the dimension of the associated Bloch Kato Selmer group of the motive is 1. This can be viewed as the triple product version of Kolyvagin s work on bounding Selmer groups of a single elliptic curve using Heegner points. Contents 1. Introduction Main results Connection with L-function and Beilinson Bloch Kato conjecture The case of base change Analogy with Kolyvagin s work Strategy of proof Notation and conventions Geometry of some modular schemes Algebraic preparation Some preparations on abelian surfaces Shimura curves Hilbert modular surfaces Hirzebruch Zagier morphisms Construction of cohomology classes Bloch Kato Selmer group Twisted triple product Galois representation Hirzebruch Zagier classes Testing factors Raising levels Construction of annihilators Congruences of Hirzebruch Zagier classes 44 Date: August 28, Mathematics Subject Classification. 11G05, 11R34, 14G35. 1

2 2 YIFENG LIU 4.1. Local cohomology and Tate duality Integral Tate cycles Statement of congruence formulae Computation of localization, I Computation of localization, II Bounding Selmer groups Some Galois-theoretical arguments Proof of Theorem Application to elliptic curves 64 References Introduction Let E be an elliptic curve over Q and A be another elliptic curve over a real quadratic number field. We construct a Q-motive of rank 8, together with a distinguished class in the associated Bloch Kato Selmer group, using Hirzebruch Zagier cycles, that is, graphs of Hirzebruch Zagier morphisms. We show that, under certain assumptions on E and A, the non-vanishing of the central critical value of the (twisted) triple product L-function attached to (E, A) implies that the dimension of the associated Bloch Kato Selmer group of M E,A is 0; and the non-vanishing of the distinguished class implies that the dimension of the associated Bloch Kato Selmer group of M E,A is 1. These results are consequences of the Beilinson Bloch conjecture, the Bloch Kato conjecture, and the (conjectural) triple product version of the Gross Zagier formula, connected by the L-function as a bridge. Our results can be viewed as the triple product version of the famous work of Kolyvagin [Kol90] on bounding Selmer groups of a single elliptic curve using Heegner points. In the framework of Gan Gross Prasad conjecture, the motive in Kolyvagin s case comes from automorphic representations of the pair SO(2) SO(3), while ours is from the pair SO(3) SO(4) in which the group SO(4) is quasi-split but not split. Our results certainly provide new evidence toward above-mentioned conjectures, which are among central problems in number theory. They provide the first example in the central critical case with both large Hodge Tate weights (of range > 1) and large rank (> 4) Main results. Denote by Q ac the algebraic closure of Q in the field C of complex numbers, A the ring of adèle of Q, and Γ Q = Gal(Q ac /Q) the absolute Galois group of Q. We fix throughout the whole article a real quadratic field F Q ac (except in the proof of Corollary 1.20), with the ring of integers O F, and the absolute Galois group Γ F := Gal(Q ac /F) Γ Q. Denote by θ the non-trivial involution in Gal(F/Q) or its local avatar Motives and L-functions. We consider an elliptic curve E over Q of conductor N. For each prime p, denote by T p (E) the p-adic Tate module lim E[p n ](Q ac ) of E, n which is equipped with az p -linear continuous action of Γ Q. Put V p (E) = T p (E) Zp Q p.

3 HIRZEBRUCH ZAGIER CYCLES AND TWISTED TRIPLE PRODUCT SELMER GROUPS 3 Let σ be the irreducible cuspidal automorphic representation of GL 2 (A) associated to E, whose existence is guaranteed by the famous works on the modularity of rational elliptic curves in [Wil95, TW95, BCDT01]. We consider another elliptic curve A over F whose conductor has norm M. Put A θ = A F,θ F. For each prime p, we similarly define V p (A), which is a p-adic representation of Γ F. The tensor product representation V p (A) Qp V p (A θ ) has a natural extension to the larger group Γ Q, known as the Asai representation, denoted by As V p (A). Let π be the irreducible cuspidal automorphic representation of Res F/Q GL 2 (A) associated to A, whose existence is guaranteed by the very recent works of Le Hung [LH14] and Freitas Le Hung Siksek [FLHS] on the modularity of elliptic curves over real quadratic fields. Similarly to the Galois representation, the F-motive h 1 (A) h 1 (A θ ) has a natural descent to a Q-motive, known as the Asai motive, denoted by As h 1 (A), whose p-adic realization is the Galois representation As(V p (A)( 1)). We define the Q-motive M E,A = h 1 (E)(1) As h 1 (A)(1). In particular, its p-adic realization (M E,A ) p is V p (E) Qp (As V p (A))( 1) whose weight is 1. The motive M E,A is equipped with a canonical polarization M E,A M E,A (1) from the Poincaré duality pairing M E,A M E,A Q(1). The polarization is of symplectic type. The L-function L(s, M E,A ) associated to the motive M E,A satisfies the relation (1.1) L(s, M E,A ) = L(s + 1/2, σ π), where the latter is the (twisted) triple product L-function, which is the same as the tensor product L-function of σ As π. By the work of Garrett [Gar87] and Piatetski- Shapiro Rallis [PSR87], it has a meromorphic continuation to the entire complex plane and is holomorphic at s = 0, satisfying the following functional equation L(s, M E,A ) = ǫ(m E,A )c(m E,A ) s L( s, M E,A ) for the root number ǫ(m E,A ) {±1} and some positive integer c(m E,A ). Consider the following assumptions. Assumption 1.1 (Group E). We assume that (E1): Neither E nor A has complex multiplication over Q ac ; (E2): N and M disc(f) are coprime; (E3): If we write N = N + N such that N + (resp. N ) is the product of prime factors that are split (resp. inert) in F, then N is square-free. Definition 1.2. Denote by (N ) 0 the number of distinct prime factors of N. We say that the pair (E, A) is of even (resp. odd) type if Assumption 1.1 is satisfied and (N ) is odd (resp. even). By the result of Prasad [Pra92, Theorems B & D, Remark 4.1.1], we have ǫ(m E,A ) = ( 1) (N )+1 for (E, A) satisfying Assumption 1.1. In particular, if (E, A) is of odd type, then we have L(0, M E,A ) = 0.

4 4 YIFENG LIU Theorem 1.3. Suppose that (E, A) satisfy Assumption 1.1. If L(0, M E,A ) 0, which in particular implies that (E, A) is of even type, then for all but finitely many primes p, we have dim Qp H 1 f (Q, (M E,A) p ) = 0. From the above theorem, we can deduce the following one, whose statement has nothing to do with the quadratic field F. Theorem 1.4. Let E 1 and E 2 be two rational elliptic curves of conductors N 1 and N 2, respectively. Suppose that N 1 and N 2 are coprime; E 1 has multiplicative reduction at at least one finite place; and E 2 has no complex multiplication over Q ac. If the central critical value L(2, E 1 Sym 2 E 2 ) 0, then for all but finitely many primes p, we have dim Qp H 1 f(q, V p (E 1 ) Qp (Sym 2 V p (E 2 ))( 1)) = 0. We will give the proof in 1.3, actually for its equivalent form Corollary A candidate in the Selmer group. Let X = X N + M be the minimal resolution of the Baily Borel compactification of the Hilbert modular surface associated to F of level-n + M structure, which is a smooth projective surface over Q (see 2.4 for details). In this article, our level structures are always of Γ 0 -type in the classical sense, unless otherwise specified. Suppose that (E, A) is of odd type. Let B N be the indefinite quaternion algebra over Q, ramified exactly at primes dividing N, which exists since (N ) is even. Denote by Y = Y N + M,N the (compactified) Shimura curve associated to B N of level-n + M structure. By modular interpretation, we have a natural finite morphism ζ : Y X (see 2.5), which was first studied by Hirzebruch Zagier in this context. Put Z = Y SpecQ X. Then the graph of ζ defines a Chow cycle in CH 2 (Z), which we call a Hirzebruch Zagier cycle. This cycle is analogous to the Gross Kudla Schoen cycle (see [GS95] and [GK92]) on triple product of (modular) curves, and is an example of special cycles on Shimura varieties in general. We denote by H 1 σ (Y Q ac) (resp. H2 π (X Qac)) the σ-isotypic (resp. π-isotypic) subspace of Hét(Y 1 Q ac,q p (1)) (resp. Hét(X 2 Q ac,q p (1))) under the Hecke action. Then it is a direct summand as a p-adic representation of Γ Q. Choose a Hecke projector P σ,π CH 3 (Z SpecQ Z) Z Q for (σ, π), viewed as a Chow correspondence (see for details). We have the Chow cycle E,A := P σ,π CH2 (Z) Z Q, which has the trivial image under the geometric cycle class map cl 0 Z : CH 2 (Z) Z Q H 4 ét (Z Q ac,q p(2)). Therefore, it induces an element p E,A := AJ p ( E,A ) H 1 (Q, H 3 ét (Z Q ac,q p(2))) via the (p-adic) étale Abel Jacobi map AJ p. As we will see in Proposition 3.15, the element p E,A does not depend on the choice of P σ,π, and moreover belongs to the Bloch Kato Selmer group H 1 f(q, H 1 σ(y Q ac) Qp H 2 π(x Q ac)); see 3.1 for the general definition. Note that by Conjecture 1.9, even the Chow cycle E,A itself is independent of the choice of P σ,π.

5 HIRZEBRUCH ZAGIER CYCLES AND TWISTED TRIPLE PRODUCT SELMER GROUPS 5 It is well-known that as p-adic representations of Γ Q, we have H 1 σ (Y Q ac) V p(e) b for some b 1. We will show that the p-adic representation H 2 π (X Q ac) of Γ Q is isomorphic to (As V p (A))( 1) a for some a 1. In particular, the class p E,A may be regarded as an element in H 1 f(q, V p (E) Qp (As V p (A))( 1)) ab = H 1 f(q, (M E,A ) p ) ab. Theorem 1.5. Suppose that (E, A) is of odd type. For all but finitely many primes p, if p E,A 0, then dim Qp H 1 f (Q, (M E,A) p ) = 1. The reader may consult to see why we consider the Chow cycle E,A. Remark 1.6. (1) In Theorems 1.3, 1.4 and 1.5, we have explicit conditions on p for which those theorems hold; see Definition (2) The Galois representation As V p (A), and hence (M E,A ) p, are decomposable if and only if A θ is isogenous to a (possibly trivial) quadratic twist of A. We will take a closer look at a special case where A θ is isogenous to A in 1.3. (3) Assumption 1.1 (E2, E3) are not essentially necessary. For each place v of Q, denote by ǫ(1/2, σ v π v ) {±1} the (twisted) triple product ǫ-factor. Put Σ σ,π = {v < ǫ(1/2, σ v π v )η v ( 1) = 1}, where η v : Q v {±1} is the character associated to F v/q v. Our method should be applicable under the only requirement that v N if v Σ σ,π (which already implies v N), and moreover be able to prove Theorems 1.3, 1.4 and 1.5 for all primes p. But these may tremendously increase the technical complication of the proof, and hence we decide not to proceed with that generality. Remark 1.7. The idea of exploiting diagonal special cycles in Euler System-style arguments originated in the work of Darmon and Rotger [DR14,DRII], who exploited them to obtain a result for the motive of an elliptic curve twisted by two 2-dimensional Artin representations, which is also of rank 8. They showed that the Mordell Weil group (as a twisted version of the classical Mordell Weil group of an elliptic curve) is finite if the corresponding L-function has non-vanishing central value. Both their work and ours provide evidence of the Beilinson Bloch conjecture and the Bloch Kato conjecture, for the pair SO(3) SO(4) in the framework of Gan Gross Prasad, both using diagonal special cycles. But there are some differences: They deal with the split case (in particular, the geometric object is a triple product of modular curves), while we deal with the quasi-split case. The (range of) Hodge Tate weight of their motive is 1, while ours is 3 as the motive involves two elliptic curves. The method they use is p-adic, especially via Hida families, while ours is more geometric by exploiting tame deformations at auxiliary primes l not equal to p in bounding the pro-p-selmer group. More importantly, in the rank-0 case, our proof actually indicates that the p - part of the Tate Shafarevich group of the motive, defined in a suitable way, is

6 6 YIFENG LIU trivial for all but finitely many primes p; while their method is only able to control the image of the pro-p-selmer group in the local cohomology at p, from which it seems very hard to deduce bounds on the relevant Tate Shafarevich groups in settings other than Mordell Weil groups Connection with L-function and Beilinson Bloch Kato conjecture. For a number field K, denote by Mot rat K the pseudo-abelian category of Chow motives over K with coefficient Q (see [Sch94] for example). For a Chow motive M, we have the p-adic realization M p, which is a p-adic representation of Gal(K ac /K), for each prime p. Recall that for each smooth projective scheme X over K purely of dimension d, we have the Picard motive h 2d 1 (X) and the Albanese motive h 1 (X). For each Chow motive M, we have an associated L-function L(s, M) which is defined for Re s sufficiently large. A polarization of M is an isomorphism M M (1) in the category Mot rat K Beilinson Bloch / Bloch Kato conjecture. Definition 1.8. Let M be a Chow motive. We define the Chow group of M (of degree 0) to be CH(M) = Hom Mot rat K (½ K, M), where ½ K is the unit motive over K. Denote by CH(M) 0 the kernel of the geometric cycle class map cl 0 M : CH(M) H0 (K, M p ) for some prime p, which is known to be independent of p. We have the following (p-adic) étale Abel Jacobi map AJ p : CH(M) 0 H 1 (K, M p ) for each prime p. The following conjecture is a part of the Beilinson Bloch conjecture; see for example [Jan90, 9.15]. Conjecture 1.9. Let notation be as above. The étale Abel Jacobi map AJ p is injective for every prime p. The following conjecture is a combination of the Beilinson Bloch conjecture and the Bloch Kato conjecture. Conjecture Let M be a polarized Chow motive in Mot rat K. (1) The Q p -linearization AJ p : CH(M) 0 Q Q p H 1 (K, M p ) is an isomorphism onto the Bloch Kato Selmer group H 1 f (K, M p), which is a subspace of H 1 (K, M p ), for all p. (2) The L-function L(s, M) associated to M has a meromorphic continuation to the entire complex plane, satisfying the following functional equation L(s, M) = ǫ(m)c(m) s L( s, M) for the root number ǫ(m) {±1} and some positive integer c(m).

7 HIRZEBRUCH ZAGIER CYCLES AND TWISTED TRIPLE PRODUCT SELMER GROUPS 7 (3) For all p, we have ord s=0 L(s, M) = dim Qp H 1 f(k, M p ) dim Qp H 0 (K, M p ). Recall from 1.1 that we have the surface X, and when (E, A) is of odd type, the curve Y and hence the three-fold Z = Y SpecQ X, all being smooth projective over Q. We have the Chow motive h 2 (X), defined uniquely up to isomorphism, by Murre [Mur90]. The motive h 1 (Y )(1) h 2 (X)(1) is canonically polarized by the Poincaré duality. Conjecture The motive As h 1 (A) is a direct summand of h 2 (X) in the pseudoabelian category Mot rat Q. Note that for our motive M E,A, we have H 0 (Q, (M E,A ) p ) = 0 for all p and hence CH(M E,A ) 0 = CH(M E,A ). The following is a consequence of (1.1), Theorems 1.3 and 1.5. Corollary Let (E, A) be a pair satisfying Assumption 1.1. (1) Conjecture 1.10 (2) holds for M E,A. (2) Suppose that ord s=0 L(s, M E,A ) = 0. Then Conjecture 1.10 (3) holds for M E,A and all but finitely many p. (3) Suppose that the pair (E, A) is of odd type. We further assume Conjecture 1.9 for h 1 (Y )(1) h 2 (X)(1), and Conjecture If E,A 0, then Conjecture 1.10 (1) holds for M E,A and all but finitely many primes p. Remark Since currently we do not know Conjecture 1.9 for h 1 (Y )(1) h 2 (X)(1), it is not clear that p E,A = AJ p ( E,A ) 0 for one prime p implies the same for others. We also do not even know if dim Qp H 1 f(q, (M E,A ) p ) are same for all (but finitely many) p. However, see Corollary Arithmetic Gan Gross Prasad conjecture. The Chow cycle E,A is closely related to the Gross Prasad conjecture [GP92]. In fact, the product σ π can be viewed as a cuspidal automorphic representation of H G, where H SO(3) is the split special orthogonal group over Q of rank 3 and G SO(4) is the quasi-split special orthogonal group over Q of rank 4 and with discriminant field F. The global (Gan )Gross Prasad conjecture [GGP12] predicts that the central value L(1/2, σ π) is non-vanishing if and only if there is a non-trivial diagonal automorphic period integral for some member σ π, as an automorphic representation of some pure inner form H G of H G, in the Vogan packet of σ π. If such σ π exists, then it is unique, and the group H G is determined by all local epsilon factors ǫ(1/2, σ v π v ) {±1}. Denote by Σ σ,π the (finite) set of places v of Q such that ǫ(1/2, σ v π v )η v ( 1) = 1, where η v : Q v {±1} is the character associated to F v /Q v. In our case, the set Σ σ,π consists of and all prime factors of N, by [Pra92, Theorems B & D, Remark 4.1.1]. In particular, it has even (resp. odd) cardinality if (E, A) is of even (resp. odd) type. Suppose that (E, A) is of odd type, which implies that the (global) root number ǫ(m E,A ) = ǫ(1/2, σ π) = 1 and ord s=0 L(s, M E,A ) is odd by (1.1). This is usually referred as the arithmetic case. As a consequence, the central

8 8 YIFENG LIU L-value L(0, M E,A ) = L(1/2, σ π) vanishes. Moreover, all diagonal automorphic period integrals for the entire Vogan packet of σ π vanish simply by the local epsilon dichotomy [Pra92, Theorems B & D]. In the arithmetic case, we consider (modified) diagonal cycles instead of diagonal period integrals. The following conjecture can be regarded as an arithmetic version of the global Gan Gross Prasad conjecture. Conjecture 1.14 (Arithmetic GGP for SO(3) SO(4), unrefined version). Suppose that (E, A) is of odd type. Then the Chow cycle E,A 0 if and only if L (0, M E,A ) 0. Remark There is no local obstruction for E,A being non-zero. In fact, the local invariant functionals [Pra92] can be realized at the level structure defining the Shimura varieties Y and X, as told by Lemma In the case where the group G is the split special orthogonal group over Q of rank 4, we can construct a similar Chow motive M but from three elliptic curves defined over Q. Then the above conjecture was proposed by Gross and Kudla [GK92], in terms of the Beilinson Bloch height. Later, Gross and Keating [GK93] did crucial local computation toward this conjecture, actually applicable to both the split case and the quasi-split case as in Conjecture In a recent preprint [YZZ], X. Yuan, S. Zhang and W. Zhang made important progress toward the global height formula in the split case under certain conditions. On the other hand, in [Zha12], the author proposed the Arithmetic Gan Gross Prasad conjecture for close pairs of unitary groups of arbitrary ranks, together with the approach via relative trace formulae, and obtained some local results as evidence toward the conjecture. In view of the Arithmetic Gan Gross Prasad conjecture, Theorem 1.5 has the following corollary. Corollary Let (E, A) be of odd type such that ord s=0 L(s, M E,A ) = 1. If we assume Conjecture 1.9 for the motive h 1 (Y )(1) h 2 (X)(1), and Conjecture 1.14, then Conjecture 1.10 (3) holds for M E,A and all but finitely many primes p. In view of Conjectures 1.10 and 1.14, we propose the following. Conjecture Let (E, A) be an arbitrary pair. (1) Suppose that either one of the following holds dim Qp H 1 f(q, (M E,A ) p ) = 0 for some prime p; dim Q CH(M E,A ) = 0; ord s=0 L(s, M E,A ) = 0. Then for all primes p, we have dim Q CH(M E,A ) = ord s=0 L(s, M E,A ) = dim Qp H 1 f (Q, (M E,A) p ) = 0. (2) Suppose that either one of the following holds dim Qp H 1 f (Q, (M E,A) p ) = 1 for some p; dim Q CH(M E,A ) = 1; ord s=0 L(s, M E,A ) = 1. Then E,A 0, and for all primes p, we have dim Q CH(M E,A ) = ord s=0 L(s, M E,A ) = dim Qp H 1 f(q, (M E,A ) p ) = 1.

9 HIRZEBRUCH ZAGIER CYCLES AND TWISTED TRIPLE PRODUCT SELMER GROUPS 9 Here, the class E,A may be constructed via a similar way The case of base change. Let us consider a special but illustrative case where A is isogenous to A Q F for an elliptic curve A over Q. This immediately implies that A θ is isogenous to A, but the latter is slightly weaker. In this case, we have a decomposition (As V p (A))( 1) = (Sym 2 V p (A ))( 1) Q p (η) of p-adic representations of Γ Q, where η : Γ Q {±1} is the quadratic character associated to F/Q via global class field theory. Note that V p (E) Qp Q p (η) V p (E F ), where E F is the F-twist of E. Suppose that (E, A) is of odd type. Denote by p E,A (resp. p E F ) the projection of p E,A into H 1 f (Q, V p(e) Qp (Sym 2 V p (A ))( 1)) ab (resp. H 1 f (Q, V p(e F )) ab ). Then Theorem 1.5 asserts that for all but finitely many primes p, there is at most one member between p E,A and p E F that could be non-zero, and moreover (1) if p E,A 0, then dim Qp H 1 f (Q, V p(e) Qp (Sym 2 V p (A ))( 1)) = 1, dim Qp H 1 f (Q, V p(e F )) = 0; (2) if p E F 0, then dim Qp H 1 f (Q, V p(e) Qp (Sym 2 V p (A ))( 1)) = 0, dim Qp H 1 f (Q, V p(e F )) = 1. Suppose that p E F 0. By the main theorem of [Ski14] or [Zha14], the rank of E F (Q) is 1, or equivalently, the rank of E(F) θ= 1 is 1. A natural question would be: How to construct a Q-generator of E(F) θ= 1, from the information that p E F 0? Note that we have the geometric cycle class map cl 0 X F : CH 1 (X F ) Z Q H 2 ét (X Q ac,q p(1)) Γ F. By the Tate conjecture for the surface X F in the version proved in [HLR86], we have (Im(cl 0 X F ) H 2 π(x Q ac)) Z Q p = H 2 π(x Q ac) Γ F Q a p. Let CH 1 π (X F ) be the subspace of CH 1 (X F ) Z Q whose image under cl 0 X F is contained in H 2 π(x Q ac). If we regard E,A as a correspondence from Y to X, then φ E,A CH 1 π(x F ) is contained in (E(F) Z Q) θ= 1 for every modular parametrization φ: Y E. One can check that p E F 0 implies the existence of φ such that φ E,A CH1 π (X F ) is non-zero. Combining with Theorem 1.5, we have which has dimension 1. φ E,A CH1 π (X F ) = (E(F) Z Q) θ= 1 = E F (Q) Z Q, Remark The above discussion is logically unhelpful for the proof of Theorem 1.5, since it is very special that A comes from the base change. Nevertheless, this observation, on the contrary, is a starting point of our strategy for the proofs of both Theorem 1.5 and Theorem 1.3: The key theorems Theorems 4.10 and 4.11, which are explicit congruence formulae for various Hirzebruch Zagier classes, involve computation of their localizations at sophisticatedly chosen primes. We realize such computation as

10 10 YIFENG LIU an application of the Tate conjecture for Hilbert modular surfaces over finite fields, together with some geometric arguments that are very close to the above pullback along correspondences. The following corollary is a natural consequence of Theorem 1.5 and the above discussion, since we know Conjecture 1.9 for the motive h 1 (E F )(1). Corollary Suppose that the pair (E, A) is of odd type, and A is isogenous to A Q F for an elliptic curve A over Q. If p E F is non-zero for some p, then p E F and hence p E,A are non-zero for every p. Moreover, we have dim Qp H 1 f (Q, (M E,A) p ) = 1 for all but finitely many p. We also have the following result, which is a corollary of Theorem 1.3 and is equivalent to Theorem 1.4. It provides evidence of Conjecture 1.10 for the motive h 1 (E 1 )(1) (Sym 2 h 1 (E 2 ))(1) over Q of rank 6, which is also canonically polarized of symplectic type. Corollary Let E 1 and E 2 be two rational elliptic curves of conductors N 1 and N 2, respectively. Suppose that N 1 and N 2 are coprime; E 1 has multiplicative reduction at at least one finite place; and E 2 has no complex multiplication over Q ac. If the central critical value L(0, h 1 (E 1 )(1) (Sym 2 h 1 (E 2 ))(1)) 0, then for all but finitely many primes p, we have dim Qp H 1 f (Q, V p(e 1 ) Qp (Sym 2 V p (E 2 ))( 1)) = 0. Proof. First, note that the assumptions in this corollary force E 1 to have root number 1, that is, ǫ(h(e 1 )(1)) = 1. In fact, we have ǫ(h(e 1 )(1) h(e 2 )(1) h(e 2 )(1)) = ǫ(h(e 1 )(1)) ǫ(h 1 (E 1 )(1) (Sym 2 h 1 (E 2 ))(1)), in which the first root number is 1 since N 1 and N 2 are coprime, and the last root number is 1 since L(0, h 1 (E 1 )(1) (Sym 2 h 1 (E 2 ))(1)) 0. Choose a prime l N 1 such that E 1 has multiplicative reduction at l. In particular, we have l N 1. Choose a quadratic Dirichlet character η 1 of conductor coprime to N 1 such that η 1 ( 1) = 1, η 1 (l) = 1, and η 1 (l ) = 1 for all other prime factors l of N 1. Then the quadratically twisted elliptic curve E η 1 1 has root number 1. By the main theorem of [BFH90], we may choose another quadratic character η 2 of conductor coprime to N 1 such that η 2 ( 1) = 1, η 2 (l ) = 1 for all prime factors l of N 1 (including l), and moreover L(0, h(e1)(1)) η 0 where η = η 1 η 2. Now let F be the (real) quadratic field determined by η. Applying Theorem 1.3 with E = E 1 and A = E 2 Q F, we have that for all but finitely many primes p, dim Qp H 1 f(q, V p (E 1 ) Qp (Sym 2 V p (E 2 ))( 1)) + dim Qp H 1 f(q, V p (E η 1)) = 0, which implies the corollary Analogy with Kolyvagin s work. The current article is mostly influenced by the pioneer work of Kolyvagin. We explain this in the case where (E, A) is of odd type. Let E be an elliptic curve over Q of conductor N with the associated cuspidal automorphic representation σ of GL 2 (A). Let K Q ac be an imaginary quadratic field satisfying the (strong) Heegner condition for E: every prime factor of N is split

11 HIRZEBRUCH ZAGIER CYCLES AND TWISTED TRIPLE PRODUCT SELMER GROUPS 11 in K. Denote by Y N the compactified modular curve over Q of Γ 0 (N) level structure. Pick up a Heegner point P K with respect to the maximal order of K on Y N (C), which in fact belongs to Y N (H K ) where H K is the Hilbert class field of K. Take a modular parametrization φ: Y N E that sends the cusp to 0 E. Define P K,E = Tr HK /K(φ(P K ) 0 E ) CH 1 (E K ) 0 = CH(h 1 (E K )(1)). In [Kol90], Kolyvagin proved that if P K,E 0, then dim Qp H 1 f(k, h 1 (E K ac)(1) p ) = 1 for all primes p. By the Gross Zagier formula [GZ86], we have that P K,E 0 if and only if L (1/2, σ K ) 0. Note that L(s, h 1 (E K )(1)) = L(s+1/2, σ K ), with root number ǫ(h 1 (E K )(1)) = 1. Remark Although we use the same notation for E, the reader should not think it is the same thing as in the pair (E, A) previously. In fact, the role E plays in Kolyvagin s case is more or less the role of the other elliptic curve A in our case. We summarize the analogy between Kolyvagin s setup and ours in Table 1. Kolyvagin s case our case motive h 1 (E K )(1) M E,A Hodge Tate weights { 1, 0} { 2, 1 3, 0 3, 1} automorphic L-function L(s, σ K ) L(s, σ π) special cycle P K,E E,A GGP pair H G SO(2) SO(3) SO(3) SO(4) ambient variety Y X CM 0-fold modular curve Shimura curve HMS Table 1. Analogy In fact, the key idea of our proof is similar to Kolyvagin s as well. Namely, we use variants of E,A (P K,E in Kolyvagin s case) to produce sufficiently many annihilators, under the Tate pairing, of the Selmer group of the Galois cohomology with torsion coefficients. For M equal to h 1 (E K )(1) or M E,A, we have a natural Galois stable lattice M p of M p. For an integer n 1, the free rank r n of the torsion Selmer group H 1 f (K, M n p ), where M n p = M p Z p Z/p n, will be stabilized to r as n. Under both situations, the goal is to show that r = 1. In Kolyvagin s case, the cycle P K,E is constructed via the diagonal embedding Y Y X where Y (resp. X) is the union of CM points (resp. modular curve), which is also the Shimura 0-fold (resp. 1-fold) attached to the group H = SO(2) defined by K (resp. G = SO(3) = PGL 2,Q ). Here, the scheme Y maps naturally to X through an optimal embedding H G of underlying groups. Besides P K,E, he defined other classes P K,E S n with torsion coefficient Z/pn for S a finite set of so-called Kolyvagin primes (with respect to p n ), by modifying the embedding H G and hence Y X. These variant classes P K,E S n are closely related to P K,E. In fact, once P K,E 0, they will produce sufficiently many annihilators for the Selmer group H 1 f (K, M n p ). In fact, it is enough to consider those classes with #S 2. In our case, the cycle E,A is constructed via the diagonal embedding Y Y X where Y (resp. X) is a Shimura curve (resp. Hilbert modular surface), which is also

12 12 YIFENG LIU the Shimura 1-fold (resp. 2-fold) attached to the group H = SO(3) defined by the quaternion algebra B N (resp. G = SO(4) Res F/Q GL 2,F /G m,q ). Besides E,A, we also define other classes n E,A l 1,l 2 with torsion coefficient Z/p n for l 1, l 2 being two distinct strongly n-admissible primes, as we call. For doing this, instead of changing the embedding H G as in Kolyvagin s case, we change the algebra B N and hence the group H. Such idea first appeared in the work of Bertolini Darmon [BD05]. The most difficult part is to relate these variant classes n E,A l 1,l 2 to the original one in an explicit way. Once this is achieved and p E,A 0, they will produce sufficiently many annihilators for the Selmer group H 1 f(k, M n p), by some sophisticated Galois-theoretical arguments Strategy of proof. We explain in more details about our strategy of the proof, and take the chance to introduce the main structure of the article. The proofs for Theorem 1.3 and Theorem 1.5 will be carried out simultaneously. To avoid confusion, here we will restrict ourselves to the case where (E, A) is of odd type. In fact, the ingredients we need for the proof of Theorem 1.5 strictly contain those of Theorem 1.3. In 2, we introduce and study some properties of our fundamental geometric objects, namely, Shimura curves and the Hilbert modular surface. We give canonical parametrization of the following objects: supersingular locus of a Shimura curve at a good prime, reduction graph of a Shimura curve in the Čerednik Drinfeld reduction, reduction graph of the supersingular locus of a Hilbert modular surface at a good inert prime. Note that the first two are known by the work of Ribet [Rib89]. We will use a similar method to study the third one. Here, the canonical parametrization is realized by oriented orders in certain definite quaternion algebras, without picking up a base point. More importantly, we will study the behavior of canonical parametrization under special morphisms from different Shimura curves to the Hilbert modular surface (which is fixed in application) at different primes. The canonicality of the parametrization is crucial for doing this (see Propositions 2.24 and 2.25). All these considerations will be used in the computation of localization maps later. We start 3 by recalling the definition of Bloch Kato Selmer groups in various setting, and proving some preparatory results. Then we switch the language from elliptic curves to automorphic representations, followed by the construction of the cycle E,A, or rather σ,π in the automorphic setting. After recalling certain results from [BD05] concerning level raising of torsion Galois modules for GL 2,Q, we introduce those classes n σ,π l 1,l 2. The most technical part is to choose appropriate primes, which we call strongly admissible primes, in the sense that there should be enough of them for those classes to serve as annihilators, and meanwhile they should be special enough to make the computation of localization possible. The next chapter 4 is the technical core of the article, where we formulate and prove the explicit congruence formulae in Theorems 4.10, for σ,π and various n σ,π l 1,l 2 via localization. The computation relies on the existence of integral Tate cycles on special fibers of the Hilbert modular surface at good inert primes, together with certain

13 HIRZEBRUCH ZAGIER CYCLES AND TWISTED TRIPLE PRODUCT SELMER GROUPS 13 specialization arguments from algebraic geometry. In fact, the localization of both σ,π and n σ,π l 1,l 2 can be realized as period integrals of Gan Gross Prasad type, of some torsion algebraic automorphic forms for certain pair SO(3) SO(4) that are compact at infinity. We arrive at the final stage of the proof in 5. The remaining argument is a combination of Theorem 4.10, Tate pairings, Serre s theorems on large Galois image for elliptic curves, and some Galois-theoretical techniques, in particular, the heavy use of the Chebotarev Density Theorem. The final part of the proof is much more involved than Kolyvagin s case, essentially due to the absence of Kummer maps and the inapplicability of Mordell Weil group (Chow group) Notation and conventions Generalities. The Greek letter ǫ always represents a sign, either + or. All rings and algebras are unital and homomorphisms preserve units. For a ring, it is always assumed to be commutative. Throughout the article, a prime means a rational prime number; a prime power means a positive integer power of a prime. Starting from the next chapter, the prime p is always odd. For an integer N, denote by (N) 0 the number of its distinct prime factors. For a ring R of prime characteristic, denote by W(R) the ring of infinite Witt vectors with values in R. For every prime l, we fix an algebraic closure F ac l of F l. If l f is a prime power, then we denote by F l f the unique subfield of F ac l of cardinality l f. If v is a prime power, then we put Z v = W(F v ) and Q v = Z v Z Q. Denote by A (resp. A ) the ring of adèles (resp. finite adèles) of Q. If S is a set and R is a ring, then we denote by R[S] the R-module of functions from S to R with finite support. We have a degree map deg: R[S] R sending f to s S f(s), and denote by R[S] 0 the kernel of the degree map Algebraic geometry. Denote by P 1 the projective line scheme over Z, and G m = SpecZ[T, T 1 ] the multiplicative group scheme. If S is a scheme and A is an S-abelian scheme, then we denote by A its dual S-abelian scheme. If X/S is a relative scheme and S is an S-scheme, then we denote by X S = X S S for the base change. If S = Spec R is affine, then we write X R instead of X S. If the notation for a scheme has already carried a subscript such as X N + M, then we denote by X N + M;S or X N + M;R for the base change. Let S be a scheme, and j : Y X be a closed immersion of S-schemes. For a sheaf F in the étale topos Xét, denote by H i Y (X S, F) = hi RΓ((Y S )ét, b j! F)

14 14 YIFENG LIU the cohomology with support for an S-scheme S and the base change morphism b: Y S Y. If S is a (pro-)galois cover of S, then H i Y (X S ; F) is equipped with a (continuous) action of the (pro-)finite Galois group Gal(S /S). Let X be a smooth proper scheme over a field k of characteristic zero. For each integer r 0, denote by CH r (X) 0 the subspace of CH r (X) Z Q of cohomologically trivial cycles, that is, the kernel of the geometric cycle class map cl 0 X : CH r (X) Z Q H 2r ét (X k ac,q p (r)) for some and hence all primes p. Let X be a smooth proper scheme over a field k purely of dimension d. Denote by Corr(X) = CH d (X Spec k X) Z Q the Q-algebra of correspondences (of degree 0) of X, with multiplication given by composition of correspondences. It acts on CH (X) Z Q via pullbacks. If the characteristic of k is 0, then we denote by 2d H dr (X) = H i dr (X) r=0 the total de Rham cohomology of X, which is a graded k-vector space. We have a natural homomorphism of Q-algebras via pullbacks Galois modules. cor dr : Corr(X) End gr k (H dr(x)) For a field k, denote by Γ k = Gal(k ac /k) the absolute Galois group of k. If k = K is a subfield of Q ac, then we take K ac = Q ac and hence Γ K Γ Q. For an abelian variety A over a field k of characteristic not p, we put T p (A) = lim m A[pm ](k ac ) which is a Z p -module with a continuous Γ k -action. We simply write H (k, ) instead of H (Γ k, ) for group cohomology of the absolute Galois group Γ k. If a group G acts on a set V, then V G is the subset of G-fixed elements. We write V k instead of V Γ k. If k is a local field, then we denote by I k Γ k the inertia subgroup, and Fr k the arithmetic Frobenius element of Γ k /I k. If v is a prime power, then we simply write Γ v for Γ Qv, I v for I Qv, and Fr v for Fr Qv. Let R be a ring and T be an R[Γ Q ]-module. For each prime power v, we have the following localization map loc v : H 1 (Q, T) H 1 (Q v, T) of R-modules obtained by restriction. For r R, we denote by T[v r] the largest R-submodule of T on which I v acts trivially and Fr v acts by multiplication by r. If v is a prime power and T is an R[Γ v ]-module, then we put H 1 unr (Q v, T) = Ker[H 1 (Q v, T) H 1 (I v, T)]

15 HIRZEBRUCH ZAGIER CYCLES AND TWISTED TRIPLE PRODUCT SELMER GROUPS 15 as an R-submodule of H 1 (Q v, T). Put H 1 sing (Q v, T) = H 1 (Q v, T)/H 1 unr (Q v, T) with the quotient map v : H 1 (Q v, T) H 1 sing(q v, T). Let G be a topological group. By a p-adic representation, we mean a pair (ρ, V) where V is a finite dimensional Q p -vector space, and ρ: G GL(V) is a continuous homomorphism. A stable lattice in (ρ, V) is a finitely generated Z p -submodule T V such that T Zp Q p = V and T is preserved under the action of G. Sometimes we will omit ρ if it is irrelevant. Let T be a stable lattice in a p-adic representation (ρ, V) of G. For n 1, we denote by ρ n : G GL( T n ) the induced residue representation, where T n = T Zp Z/p n. Usually we omit the superscript n when it is 1. In certain cases, we also allow n =, then T is nothing but T, and Z/p is understood as Z p. Acknowledgements. The author would like to thank Henri Darmon, Wee-Tech Gan, Benedict Gross, Atsushi Ichino, Ye Tian, Yichao Tian, Shouwu Zhang, and Wei Zhang for helpful discussions and comments. He appreciates Yichao Tian and Liang Xiao for sharing their preprint [TX14] at the early stage. He also thank the anonymous referees for very careful reading and useful comments. The author is partially supported by NSF grant DMS Geometry of some modular schemes In this chapter, we study geometry of some modular schemes which we will use. In 2.1, we collect some notation and facts about certain quaternion algebras and their orders. In 2.2, we study the canonical parametrization of supersingular abelian surfaces using quaternion orders. In 2.3, we study geometry of Shimura curves, focusing on the special fibers of both smooth and semistable reductions. In 2.4, we study geometry of Hilbert modular surfaces and their reduction at good inert primes. In 2.5, we consider the connection between Shimura curves and Hilbert modular surfaces through Hirzebruch Zagier morphisms, particularly the interaction of their reductions under such morphisms Algebraic preparation. We first introduce a bunch of notation. Notation 2.1. Recall that F is a real quadratic number field. (1) Denote by Cl(F) + the strict ideal class group of F, whose elements are represented by projective O F -modules of rank 1 with a notion of positivity. Denote bydthe different of F. Then for example, the pair (D 1, (D 1 ) + ) is an element in Cl(F) + of order at most 2. See [Gor02, Chapter 2, 1] for more details. (2) For each prime l that is inert in F, we fix an embedding τ l : O F,l := O F Z Z l W(F ac l ) of Z l -algebras, and put τl = τ l θ. They induce (by the same notation) two homomorphisms τ l, τl : O F,l O F /l F ac Notation 2.2. Let D be a square-free positive integer. l.

16 16 YIFENG LIU (1) We denote by B D the unique indefinite (resp. definite) quaternion algebra over Q which ramifies exactly at primes dividing D when D has even (resp. odd) number of prime factors. Denote by B D + B D the subset of elements with positive reduced norm. (2) Suppose that D has even number of prime factors. Denote by ι the canonical involution on B D. LetO D be a maximal order of B D. Fix δ O D with δ 2 = D. Define another involution on B D by the formula b = δ 1 b ι δ. It is easy to see that O D is preserved under. (3) Suppose that D has even number of prime factors, all being inert in F. We will fix an oriented maximal order (O D, o v ) in B D, which by Strong Approximation [Vig80, Chaptire III, Théorème 4.3] is unique up to conjugation in B D, together with an embedding O F O D of Z-algebras. Recall that an orientation of O D is a homomorphism o v : O D F v 2 for each prime v D. We require that the restriction o v OF coincides with τ v. Put M D = {b O D xb = b x, x O F } and M + D = M D B D +. Then (M D,M + D ) (D 1, (D 1 ) + ). We fix such an isomorphism ψ D once and for all. (4) Suppose that D has odd number of prime factors. If M is another positive integer coprime to D, then we denote by T M,D the set of isomorphism classes of oriented Eichler orders of level M in B D. (5) For positive integers d d M, we have a degeneracy map δ (d,d ) M,D : T M,D T M/d,D. Recall that an oriented Eichler order of level M in B D (see [Rib89, 2]) is a tuple R = {R, R, o v } where R is an Eichler order of level M in B D ; R is a maximal Eichler order such that R = R R for another (unique) maximal Eichler order R ; o v : R F v 2 is a homomorphism of Z-algebras for every prime v D. For the degeneracy map, suppose that R = (R, R, o v ) is an oriented Eichler order of level M in B D. Let R 1 be the unique Eichler order of level M/d containing R such that #(R /R R 1 ) = Md /d; and R 1 be the unique maximal Eichler order containing R 1 such that #(R /R R 1 ) = d. Then we define δ (d,d ) M,D ( R) to be (R 1, R 1, o v). For each prime l such that l s M with s 1, we have a unique involution switching the orientation at l op l : T M,D T M,D, such that δ (ls,l s ) M,D = δ (ls,1) M,D op l. If l D, then we also have an involution switching the orientation at l op l : T M,D T M,D, sending R = (R, R, o v ) to the one obtained by only switching o l to its conjugate. Notation 2.3. Let M be an ideal of O F.

17 HIRZEBRUCH ZAGIER CYCLES AND TWISTED TRIPLE PRODUCT SELMER GROUPS 17 (1) Denote by Q the unique totally definite quaternion algebra over F that is unramified at all finite places. Denote by S M the set of isomorphism classes of oriented (O F -linear) Eichler orders R = (R, R ) of level M in Q. (2) For ideals d d M, we have a similar degeneracy map γ (d,d ) M : S M S M/d. (3) For each prime ideal l of O F such that l M, we have a similar involution switching the orientation at l op l : S M S M. Definition 2.4. Suppose that D has even number of prime factors, all being inert in F. We would like to construct a canonical special map ζ M,D : T M,D S M as follows. Take R = (R, R, o v ) T M,D. There is a unique (O F -linear) Eichler order R of level M in the F-quaternion algebra B D Q F Q such that it contains R Z O F, and for every prime v D, the (R/v, O F /v)-bimodule R Z Z v /R Z O F,v F v 2 is isomorphic to o v τ v. Similarly, one defines R. Then we define ζ M,D( R) to be (R, R ). The special maps ζ M,D are compatible with degeneracy maps in the sense that the following diagram T M,D δ (d,d ) M,D T M/d,D ζ M,D S M γ (d,d ) M S M/d ζ M/d,D commutes for all d d M. Let l be a prime that is inert in F. Fix an oriented maximal order (O l, o l ) of B l. For each prime v, put O l,v = O l Z Z v. For? =,, fix an embedding ς? l : O F,l O l,l of Z l -algebras such that its composition with o l coincides with τ? l. Lemma 2.5. Let n be a positive integer. Let f : O F,l Mat n (O l,l ) be a homomorphism of Z l -algebras. (1) Then f is GL n (O l,l )-conjugate to a homomorphism of the form x diag[ς l (x),, ς l (x), ς l (x),, ς l (x)]. We say that f is of type (r, n r) if ς l appears with r times. (2) If f is of type (r, n r), then the commutator of f(o F,l ) in Mat n (O l,l ) is isomorphic to End(O r ) Mat n (O F,l ) as an O F,l -algebra. F,l lo n r F,l Proof. The homomorphism f corresponds to an O F,l Zl O l,l -module M f, free of finite rank over O l,l. Since O F,l Zl O l,l is an Eichler order of level l in Mat 2 (F l ), the O F,l Zl O l,l -module M f is isomorphic to a direct sum of O l,l on which O l,l acts by right multiplication, and O F,l acts from left via either ς l or ςl. This proves (1), of which (2) is a corollary.

18 18 YIFENG LIU Now we study (O F,O l )-bimodules of (Z-)rank 8. For such a bimodule M, consider the (O F,l,O l,l )-bimodule M l := M Z Z l which corresponds to a homomorphism f M : O F,l Mat 2 (O l,l ). We say that M is pure (resp. mixed) if f M is of type (0, 2) or (2, 0) (resp. (1, 1)). We deduce the following facts from the above lemma: If M is pure, then End (OF,O l )(M), as an O F -module, is isomorphic to a maximal order in Q, that is, an element in S 1. If M is mixed, then there is a unique sub-bimodule M of index l 2 that is of type (0, 2), and the inclusion End (OF,O l )(M) End (OF,O l )(M ) is naturally an element ins l. In all cases, we simply denote by End(M) the endomorphism O F -algebra with the above orientation. Proposition 2.6. The assignment M End(M) induces a bijection between the set of isomorphism classes of pure of a fixed type (resp. mixed) (O F,O l )-bimodules of rank 8, and S 1 (resp. S l ). This proposition is the analogue of [Rib89, Theorem 2.4] for (O F,O l )-bimodules. Note that in our case, the notion of admissibility is unnecessary. The proof of this proposition is very similar to that of [Rib89, Theorem 2.4]. Therefore, we only indicate necessary changes in the following proof, instead of explicating all the details. Proof. We first prove that the assignment M End(M) is injective. Choose an (O F,O l )-bimodule M as a reference point, and put Λ = End (OF,O l )(M). For each (O F,O l )-bimodule N that is locally isomorphic to M, put J(N) = Hom(M, N) as a right Λ-module which is locally free of rank 1. The same proof for [Rib89, Theorem 2.3] implies that the assignment N J(N) establishes a bijection between the sets of isomorphism classes of (O F,O l )-bimodules that are locally isomorphic to M; locally free right Λ-modules of rank 1. Therefore, the injectivity amounts to say that for M and M with isomorphic oriented Eichler order End(M) End(M ), the right Λ-module Hom(M, M ) is free of rank 1. The rest of the argument is the same as the one for [Rib89, Theorem 2.4], which works for an arbitrary Dedekind ring, in particular O F, instead of Z. We then prove that the assignment M End(M) is surjective. The first step is to show that there exists a mixed (O F,O l )-bimodule of rank 8, which has been constructed in the proof of [Rib89, Theorem 2.4]. The rest of the proof is a counting argument, which apparently works for Q as well Some preparations on abelian surfaces. Fix an odd prime l that is inert in F, and an ideal M of O F coprime to l. Let k be an algebraically closed field containing F l 2. Consider triples (A, ι, C) where A is a k-abelian surface, ι: O F End(A) is a homomorphism of Z-algebras, and C is a level-m structure, that is, a subgroup of A(k) of order Nm F/Q M that is stable and cyclic under the action of O F. Definition 2.7. We say that the triple (A, ι, C) is (1) -pure if A is superspecial and O F /l acts on the k-vector space Lie A by τ l ; (2) -pure if A is superspecial and O F /l acts on the k-vector space Lie A by τ l ; (3) mixed if both τ l and τ l appear in the action of O F/l on Lie A;

19 HIRZEBRUCH ZAGIER CYCLES AND TWISTED TRIPLE PRODUCT SELMER GROUPS 19 (4) superspecial mixed if it is mixed and A is superspecial. It is clear that the Frobenius element Fr l acts on the set of all isomorphism classes of triples by sending (A, ι, C) to its Frobenius twist (A (l), ι (l), C (l) ). For each triple (A, ι, C), denote by A[l] α the maximal α l -elementary subgroup of A[l], which is isomorphic to α a(a) l for some number a(a) {0, 1, 2}. Then A is superspecial if and only if a(a) = 2. For each mixed triple (A, ι, C) with a(a) = 1, we say that it is -mixed (resp. -mixed) if O F /l acts on the Dieudonné module of A[l] α via τ l (resp. τ l ). Given a -pure (resp. -pure) triple (A, ι, C) and a subgroup H A[l] α that is isomorphic to α l (in particular, H is automatically stable under the action of ι(o F )), we have an induced triple (A/H, ι, C). It is either -mixed (resp. -mixed) or superspecial mixed. The set of such subgroups H is isomorphic to P 1 (k). In fact, one can construct a family, called Moret-Bailly family (see, for example, [Nic00, 4]), of triples over P 1 k parameterizing {(A/H, ι, C) H}. There are exactly l2 + 1 = #P 1 (F l 2) subgroups H such that (A/H, ι, C) is superspecial mixed. Remark 2.8. If we start with a superspecial mixed triple (A, ι, C), then there is a unique O F -stable subgroup H (resp. H ) of A[l] α isomorphic to α l such that O F /l acts on its Dieudonné module by τ l (resp. τ l ). Dividing it, we obtain a triple (A/H, ι, C) (resp. (A/H, ι, C)) that is -pure (resp. -pure). Moreover, the triple (A (l), ι (l), C (l) ) appears in the Moret-Bailly family associated to (A/H, ι, C) (resp. (A/H, ι, C)), as obtained by dividing A[l] α /H (resp. A[l] α /H ). For each (A, ι, C), denote by End(A, ι, C) the O F -algebra of endomorphisms of A that commute with ι(o F ) and preserve C. If (A, ι, C) is pure (resp. superspecial mixed), then End(A, ι, C) is an Eichler order of level M (resp. Ml) in Q. Moreover, we endow End(A, ι, C) with the orientation given by the maximal order End(A, ι) (resp. End(A/H, ι)). Proposition 2.9. The assignment (A, ι, C) End(A, ι, C), with the above orientation, induces a bijection between (1) the set of isomorphism classes of -pure triples and S M ; (2) the set of isomorphism classes of -pure triples and S M ; (3) the set of isomorphism classes of superspecial mixed triples and S Ml. Moreover, the Frobenius element Fr l switches the types of -pure and -pure and does not change values in S M ; preserves the set of superspecial mixed triples and coincides with op l on S Ml. Proof. The proof of this proposition follows exactly as for [Rib89, Theorems 4.15 & 4.16], in which we only need to replace [Rib89, Theorem 2.14] by Proposition 2.6. The action of Fr l follows from the construction Shimura curves. Let N be a square-free positive integer such that (N ) is even, and N + be another integer coprime to N. Denote by Y N +,N the functor from the category of schemes overz[1/n + ] to the category of groupoids such thaty N +,N (S) is the groupoid of triples (A, ι, C), where