arxiv: v3 [math.nt] 29 Sep 2016

Transcription

1 TATE CYCLES ON SOME QUATERNIONIC SHIMURA VARIETIES MOD p YICHAO TIAN AND LIANG XIAO arxiv: v3 [math.nt] 29 Sep 2016 Abstract. Let F be a totally real field in which a prime number p > 2 is inert. We continue the study of the (generalized Goren Oort strata on quaternionic Shimura varieties over finite extensions of F p. We prove that, when the dimension of the quaternionic Shimura variety is even, the Tate conjecture for the special fiber of the quaternionic Shimura variety holds for the cuspidal π-isotypical component, as long as the two unramified Satake parameters at p are not differed by a root of unity. Contents 1. Introduction 1 2. Goren Oort stratification 7 3. Goren Oort cycles Cohomology of Goren Oort cycles Computation of the intersection matrix 40 Appendix A. Cohomology of quaternionic Shimura varieties 56 References Introduction This paper is the third in a series, in which we study the Goren Oort stratification of quaternionic Shimura varieties associated to a totally real field F in characteristic p and its applications. In the first paper [TX13 + a], we gave a global description of each stratum, in terms of a P 1 -product bundle over another quaternionic Shimura variety. In [TX13 + b], we apply this result to prove the classicality of overconvergent Hilbert modular forms of small slopes. The aim of this paper is to investigate the Goren Oort strata by viewing them as special cycles on the special fiber of quaternionic Shimura varieties. This leads to a construction of algebraic cycles of middle codimension on the special fiber of quaternionic Shimura varieties, which, under genericity conditions, coincide with the prediction by the Tate conjecture over finite fields. We start by explaining the underlying philosophy by some examples Hilbert modular surface. Let F be a real quadratic field and p > 2 be a prime number that is inert in F/Q. Let A F be the ring of finite adeles of F, and K GL 2(A F be an open compact subgroup hyperspecial at p. We consider the Hilbert modular variety X of level K; it admits a smooth integral model X over Z (p, with X as its special fiber. Fix a prime number l p. The main result of Brylinski and Labesse [BL84] says that, up to Frobenius semisimplification, the cuspidal part of the l-adic étale cohomology of X is given as follows Het(X 2 Fp, Q l cusp = (π K ρ π 2 π Gal(F p/f p 2, Date: September 30, Mathematics Subject Classification. 11G18 (primary, 14G35 14C25 (secondary. Key words and phrases. special fiber of Hibert modular varieties, supersingular locus, Tate conjecture, Goren Oort stratification. 1

2 2 YICHAO TIAN AND LIANG XIAO where the direct sum is taken over all cuspidal automorphic representations whose archimedean components are discrete series of parallel weight 2 and whose p-component is unramified, and ρ π is the Galois representation associated to π. In particular, the representation ρ π is unramified at p; so the tensorial induction is just simply a self tensor product. We fix an automorphic cuspidal representation π of GL 2 (A F as above. We write Het(X 2 Fp, Q l π := (π K ρ π 2 for the π-isotypical component. Let Frob Gal(F p/f p 2 p 2 Gal(F p/f p 2 denote the geometric Frobenius element. We assume that the two eigenvalues α and β of ρ π (Frob p 2 are distinct, (π K is one-dimensional so that H 2 et(x Fp, Q l π = ρπ 2 Gal(F p/f p 2, and the central character of π is trivial. Here, the first condition is an essential hypothesis, whereas the last two conditions are made to simplify the discussion. The action of Frob p 2 on H 2 et(x Fp, Q l π has (generalized eigenvalues α 2, β 2, and αβ = p 2 which has multiplicity two. In other words, H 2 et(x Fp, Q l (1 π has a two-dimensional subspace on which the p 2 -Frobenius acts trivially (or more rigorously speaking, unipotently. According to the prediction of the famous Tate Conjecture, this subspace should be generated by cycle classes of X defined over F p 2. The main theorem of this paper shows that the cycle classes of Goren Oort strata ([GO00] of X span this two dimensional subspace of H 2 et(x Fp, Q l (1 π, and hence we verify the Tate Conjecture in this setting by explicitly exhibiting cycles in X. We explain this with some details now. Recall that the main result of the first paper in this series ([TX13 + a, Theorem 1.5.1] implies that there are two collections X 1, X 2 of P 1 s on X parameterized by the discrete Shimura variety Sh 1, 2 associated to the quaternion algebra B 1, 2 over F, which ramifies exactly at the two archimedean places of F, of the same level K. 1 From this, we get a natural homomorphism ( Het(Sh 0 1, 2,F p, Q l = i=1 2 i=1 H 0 et(x i,fp, Q l Gysin H 2 et(x Fp, Q l (1 Frob p 2 =1, where the second morphism is the Gysin map associated to the closed immersion X i,fp X Fp defined in ( All homomorphisms are equivariant for the prime-to-p Hecke actions. By Jacquet-Langlands correspondence, (π K appears on each term of the left hand side of (1.1.1 with multiplicity one. Taking the π-isotypical parts (or more precisely the (π K -isotypical parts of (1.1.1 gives rise to a homomorphism 2 i=1 Q l Gysin Het(X 2 Fp, Q l (1 Frob p 2 =1 π. Our main result of this paper says that this is an isomorphism. To show this, we consider the natural restriction map: H 2 et(x Fp, Q l (1 res 2 Het(X 2 i,fp, Q l (1 = i=1 2 Het(Sh 0 1, 2,F p, Q l. i=1 1 As pointed out by the referee, the existence of two families of P 1 on Hilbert modular surfaces was first observed by Pappas in his Ph.D. thesis. 2 If we pretend that X is proper, then the Gysin map is dual to the restriction map H 2 et (X Fp, Q l Het(X 2 i,fp, Q l under the Poincaré dualities on X and X i.

3 TATE CYCLES ON SOME QUATERNIONIC SHIMURA VARIETIES MOD p 3 Its composition with (1.1.1 gives an endomorphism of 2 i=1 H0 (Sh 1, 2,F p, Q l. The key point is to show that the projection to the π-isotypical component of this endomorphism is given by ( 2p α + β, α + β 2p whose determinant is equal to (α β 2. Here, the entries α + β come from the fact that the morphisms mapping the intersection X 1 X 2 to Sh 1, 2 using the two P 1 -parametrizations exactly give the Hecke correspondence T p of Sh 1, 2, 3 and hence we see the evaluation of T p at π, which is α + β. This matrix should be viewed as the π-projection of the intersection matrix of the Goren Oort strata X 1 and X 2. From this, we see that when α β, these Goren Oort strata give rise to all Tate cycles in the π-isotypical component of the special fiber of the Hilbert modular surface. In contrast, if α = β, H 2 et(x Fp, Q l (1 π is expected to have four dimensional Tate classes. However, the image of the classes of Goren Oort strata in H 2 et(x Fp, Q l (1 π probably only contributes to a one-dimensional subspace (see Example 4.6 for the discussion. Kartik Prasanna suggested to us that one might be able to obtain finer information when α = β {p, p}. In this case, if we consider the action of Frob p on H 2 et(x Fp, Q l (1 π (as opposed to the Frob p 2-action, the eigenvalues are α with multiplicity three and α with multiplicity one. One can show that the image of the Goren Oort strata contains (and is expected to be equal to the ( α-eigenspace. It is the α-eigenspace that is larger than usual, which causes the cycle map to be zero. 4 See also Remark Hilbert modular four-folds. As one tries to generalize the result above to higher dimensional cases, one finds quickly that the Goren Oort stratification does not provide enough interesting cycles. Take a Hilbert modular four-fold X as an example, where the totally real field F defining it has degree 4 and p is inert in F/Q, and the level structure K GL 2 (A F is hyperspecial at p. Hence X has an integral model over Z (p, and let X denote its special fiber. Let π be a cuspidal automorphic representation of GL 2 (A F with trivial central character whose archimedean components are discrete series of parallel weight 2 and whose p-adic component is unramified. We assume again that (π K is one-dimensional. Then the π-isotypical component Het(X 4 Fp, Q l π is isomorphic to ρ π 4 up to Frobenius semisimplification. Let α and β be the (generalized eigenvalues of Gal(F p/f p 4 ρ π (Frob p 4 so that αβ = p 4. The essential hypothesis in this case is that α/β ±1. The same computation as before shows that the multiplicity of Frob p 4-eigenvalue 1 in Het(X 4 Fp, Q l (2 π is ( 4 2 = 6. As a result, we should expect 6 collections of certain (2-dimensional strata of X which contribute to this 6-dimensional subspace. We recall the following description of the Goren Oort strata in [TX13 + a, 1.5.3]. There are indeed 6 collections of two-dimensional Goren Oort strata X ij for {i, j} {0,..., 3}. Unfortunately, only two of them X 02 and X 13 contribute to the correct Tate classes; they are (P 1 2 -bundles parametrized by the discrete Shimura varieties for the quaternion algebra B 0,..., 3 over F (which ramifies exactly at all archimedean places. Other strata are P 1 -bundles over certain Shimura curves, and they do not contribute to any Tate cycles in Het(X 4 Fp, Q l (2 π, since Shimura curves do not have interesting H 0 s. 3 In general, we arrive at certain twist of the Hecke correspondence Tp. But the twist disappears under the assumption on the trivialness of the central character. 4 One should compare this for example with the Gross Zagier formula in the case when the elliptic curve has rank 2. In that case, the Mordell Weil rank is larger than usual. So the Heegner point is unwilling to pick out a canonical rank one subgroup of the Mordell Weil group, and hence has to be torsion. For the same philosophy, in our case, the cycle class from the Goren Oort strata is expected to be zero in the unusually large ( α-eigenspace.

4 4 YICHAO TIAN AND LIANG XIAO To get enough strata that contribute to the Tate cycles of H 4 et(x Fp, Q l (2 π, we need to look at all codimension one strata X 0,..., X 3 first. Each X i is a P 1 -bundle over the Shimura surface for the quaternion algebra B i, i 1. If we consider the Goren Oort stratification of the Shimura surface for B i, i 1 and take the corresponding P 1 -bundle, we will get two 2-dimensional subvarieties X i,1 and X i,2 of X i. In fact one of them is equal to a Goren Oort stratum (either X 02 or X 13 and the other one is a completely new collection of subvarieties of X, which is a family of P 1 -bundles over P 1 parametrized by the discrete Shimura variety for B 0,..., 3. We call them (generalized Goren Oort cycles. In fact, each irreducible component is isomorphic to P(O P 1(p O P 1( p (see Example 3.9. One can characterize these new subvarieties by looking at the p 2 -torsion of the universal abelian variety. To sum up, we obtain 4 new two-dimensional subvarieties. Our main theorem says that they together with the two Goren Oort strata, span the 6-dimensional Tate classes in Het(X 4 Fp, Q l (1 π. 5 More generally, we prove the following. Theorem 1.3 (corollary of Theorem 4.4. Let F be a totally real field of even degree g = [F : Q], and let p be a rational prime inert in F. Let X denote the special fiber over F p g of the Hilbert modular variety of some level K GL 2 (A F hyperspecial at p. Fix an automorphic representation π of GL 2 (A F whose archimedean components are all discrete series of weight 2 (the lowest weight with trivial central character. Suppose that π p is an unramified principal series whose two Satake parameters do not differ by an n-th root of unity for any n g/2. Assume that (π K is one-dimensional. Then Tate Conjecture holds for the π-isotypical component H g et (X F p, Q l ( g 2 π. More precisely, the generalized invariant subspace of H g et (X F p, Q l ( g 2 π under the action of Gal(F p /F p g has dimension ( g g/2, and it is generated by the cycle classes of Goren Oort cycles on X. The condition on the Satake parameters is equivalent to saying that all Frob p g-eigenvalues on ρ g π are distinct. We emphasize once again that this condition is essential. The contribution from the (generalized Goren Oort cycles can be degenerate if the two parameters are the same. See Remark 4.6. One might wonder whether this result adds new knowledge on the semi-simplicity of the Frobenius action on the cohomology groups of Hilbert modular varieties. Unfortunately, our theorem applies only when the two Frobenius eigenvalues α and β are distinct. In this case, ρ π (Frob p g is already semisimple. If the tensorial induction of ρ π is an irreducible representation of Gal Q (as opposed to Gal Fp g, then the semisimplicity of Frob p g on the π-isotypical component is already known. Note also that Nekovář [Ne15 + ] proved recently the semi-simplicity of Galois representation appearing in H g et (X Q, Q l, using Eichler Shimura relations Framework for Goren Oort cycles. The explicit verification of Tate Conjecture is merely an extremal case of the following study of Goren Oort cycles. We still start with the Galois side. Let F be a totally real field of degree g over Q and let p be a prime inert in F/Q. We fix a natural number r g/2. We consider a regular multiweight (k, w, that is a collection of integers, where k = (k 1,..., k g with k i 2 and k i w mod 2. As before, we consider the special fiber X over F p of the Hilbert modular variety, taking the limit over all prime-to-p level structures, but fixing the open compact subgroup at p to be hyperspecial. There is an automorphic local system L (k,w over X. We fix a cuspidal automorphic representation π of GL 2 (A F associated to holomorphic Hilbert modular forms of weight (k, w. We focus on the π-isotypical component H g et (X F p, L (k,w [π] := Hom GL2 (A,p F (π,p, H g et (X F p, L (k,w, 5 We recently learned that the existence of these 6 collections of two-dimensional subvarieties of X (which form the supersingular locus of X were previously known by Chia-Fu Yu [Yu03].

5 TATE CYCLES ON SOME QUATERNIONIC SHIMURA VARIETIES MOD p 5 which is (up to Frobenius semisimplification isomorphic to ρ π g, where ρ Gal(F p/f p g π is the Galois representation associated to π. Let α and β denote the two eigenvalues of ρ π (Frob p g. We assume that α/β is not a 2nth root of unity for n g. 6 We consider the p g -Frobenius eigenvalue α g r β r for some positive integer r g 2. The associated generalized eigenspace has dimension ( g r. The case r = g 2 gives rise to Tate cycles discussed above. Our main result of this paper is the following. ( Theorem 1.5 (Theorem 4.4. Suppose that α/β is not a 2n-th root of unity for n g. There exist g r subvarieties X1,..., X ( g r (explicitly defined later of X F p g with the following properties: (1 Each X i is an r-times iterated P 1 -bundle over the special fiber of a Shimura variety 7 associated with a quaternion algebra over F which ramifies exactly at 2r archimedean places. (2 The direct sum of the Gysin maps (1.5.1 ( g r H g 2r et (X i,fp, L (k,w Xi [π] H g et (X F p, L (k,w (r[π] i=1 is an isomorphism on the generalized eigenspace for Frob p g = α g r β r /p gr. Theorem 1.3 is a special (and degenerate case of this theorem (except for a less restricted condition on α/β. We in fact prove in Theorem 4.4 a stronger result than stated here for general quaternionic Shimura varieties. Remark 1.6. The name Goren Oort cycles is slightly misleading. In fact, when r = g/2, one can prove that the union of the X i s considered in Theorem 1.5 is the supersingular locus of X. More generally, as Xinwen Zhu pointed out to us, the union of the X i s considered in Theorem 1.5 is the closure of the Newton stratum of the Hilbert modular variety X, with slopes ( r g,..., r g, g r g,..., g r g. Remark 1.7. In the view of the previous remark, we point out the key philosophy suggested by Theorem 1.5: the irreducible components of the Newton strata of the Hilbert modular varieties (generically contribute to certain Frobenius eigenspace of the cohomology of the Hilbert modular varieties. In particular, the supersingular locus contributes to the Tate classes in the cohomology. Moreover, the (generic dimension of the Frobenius eigenspace determines the number of irreducible components in the corresponding Newton stratum. We expect this philosophy to continue to hold for more general Shimura varieties, as elaborated in the later joint work of the authors and David Helm [HTX14 + ], as well as the forthcoming joint work of Xinwen Zhu and the second author [XZ + ] Intersection matrix. Before giving the construction of the subvarieties X i, let us first explain the essential idea in the proof of Theorem 1.5(2. A straightforward computation shows that the generalized eigenspace for Frob p g = α g r β r /p gr on both sides of (1.5.1 have the same dimension. Hence, to prove our Theorem, it is enough to show that the left vertical homomorphism in the following diagram is an isomorphism when restricted to the generalized eigenspace for Frob p g = 6 The reason that we have 2nth (as opposed to nth root of unity here is purely technical. See Remark 4.5(3. 7 In fact, we need a slightly funny choice of Deligne homomorphism for these quaternionic Shimura varieties. We refer to the main context of the paper for details.

6 6 YICHAO TIAN AND LIANG XIAO α g r β r /p gr. ( g r H g 2r et (X i,fp, L (k,w Xi [π] i=1 ( g r H g 2r et (X i,fp, L (k,w Xi [π] i=1 (1.5.1 Gysin (c 1 (P 1 r = H g et (X F p, L (k,w (r[π] restriction ( g r H g et (X i,f p, L (k,w Xi (r[π], i=1 In other words, we are reduced to showing that a certain ( g r ( g r -matrix is invertible. When g = 2r and (k, w is of parallel weight 2, this is the intersection matrix of X i s. When both g and r are relatively small, it is not extremely difficult to compute this matrix and its determinant. However, it appears to be a non-trivial problem to prove the invertibility of such a matrix for general g and r. In this paper, we will show that the matrix can be computed in a completely combinatorial way, and it is related to a version of Gram determinant for periodic semi-meanders, which has been well studied by mathematical physicists [MS13, GL98]. We confess that this potential link with mathematical physics is probably a coincidence. It only suggests a strong relation to representation theory, to which the mathematics physics problem is also related. See Remark Goren Oort cycles: construction. The best way (so far to parametrize the Goren Oort cycles is to use periodic semi-meanders (mostly for the benefit of later computation of the Gysinrestriction matrix. As before, we take F to be a totally real field of degree g in which p is inert. A periodic semi-meander of g nodes is a graph where g nodes are aligned equidistant on a section of a vertical cylinder, and are either connected pairwise by non-intersecting curves (called arcs drawn above the section, or connected by a straight line (called semi-lines to + on the top of the cylinder. We use r to denote the number of arcs. For example, and are both semi-meanders of 6 points with r = 2 and 3 respectively. An elementary computation shows that there are ( g r semi-meanders of g nodes with r arcs (r g 2. We label the set of p-adic embeddings O F W (F p = Ẑur p by τ 1,..., τ g so that σ τ i = τ i+1, where σ is the absolute Frobenius W (F p W (F p and τ i = τ i mod g. Let X denote the special fiber of the Hilbert modular variety. For each F p -point x X, we denote by A x the fiber at x of the universal abelian scheme. Let D x denote the covariant Dieudonné module of the p-divisible group of A x. It is a free W (F p -module of rank 2g. The O F -action on A x induces a natural direct sum decomposition D x g = i=1 D x,i, where D x,i is the direct summand of D x on which O F acts through τ i. Each D x,i is free of rank two over W (F p. The Verschiebung induces a σ 1 -semilinear map V i : D x,i+1 D x,i. The image V i (D x,i+1 /pd x,i is canonically isomorphic to ω A x,i, the τ i -component of the invariant 1-differentials on A x. The latter is a one-dimensional F p -vector space. We fix r g/2. To each semi-meander a considered above, we associate a subvariety X a of X whose F p -points x are characterized as follows: For each curve connecting a and a + d for some odd number d < g, we require that V a V a+1 V a+d (D x,a+d+1 p (d+1/2 D x,a or equivalently p (d+1/2 V a V a+1 V a+d. In fact, the inclusion forces an equality.

7 TATE CYCLES ON SOME QUATERNIONIC SHIMURA VARIETIES MOD p 7 For example, the condition for the semi-meander (with g = 7 is p V 0 V 1, p V 2 V 3, and p V 6 V 0 V 1 p V 2 V 3 p V 4. Iteratively applying (the divisor case of the main theorem of [TX13 + a] (see 1.5 of loc. cit., it is not difficult to see that X a is an r-times iterated P 1 -bundle over the special fiber of quaternionic Shimura variety 8 for the quaternion algebra which ramifies at all archimedean places corresponding to those nodes which are linked to arcs. The main computation of this paper is to show that the Gysin-restriction matrix is roughly given by the natural bilinear form on the vector space spanned by the periodic semi-meanders. See Subsection 3.2 for the definition and Theorem 4.3 for the precise statement. Finally, we make a technical remark: our results involve transferring constructions from the unitary setup to the quaternion case. This is the origin of most notational complications. Moreover, certain descriptions of the Goren Oort cycles have ambiguity, but the ambiguity does not affect the proof of the main theorem. Structure of the paper. In Section 2, we recall necessary facts about Goren Oort stratification from [TX13 + a]. Some of the proofs are mostly book-keeping but technical. The readers may skip them for the first time reading. In Section 3, we first recall the combinatorics about semi-meanders and then give the definition of the Goren Oort cycles associated to each periodic semi-meander. In Section 4, we state our main Theorem 4.4 and prove them modulo Theorem 4.3, which says that the Gysin-restriction matrix for Goren Oort cycles is roughly the same as the Gram matrix of the corresponding periodic semi-meanders. This key theorem is proved in Section 5. The appendix includes a proof of the description of the cohomology of quaternionic Shimura varieties. This is well known to the experts but we include it there for completeness. Acknowledgements. This paper is in debt to the help and the encouragement of many people: Ahmed Abbes, Jennifer Balakrishnan, Phillip Di Francesco, Matthew Emerton, Kiran Kedlaya, Zhibin Liang, Yifeng Liu, Kartik Prasanna, Richard Stanley, Chia-Fu Yu, Zhiwei Yun, Wei Zhang, and Xinwen Zhu. We especially thank Zhibin Liang, who helped us with a number of computations using computers to verify our conjectural formula in an early stage of this project. We started working on this project when attending a workshop held at the Institute of Advance Study at Hongkong University of Science and Technology in December We thank the organizers Jianshu Li and Shou-wu Zhang, as well as the staff at IAS of HKUST. We also met during various workshops held at University of Tokyo, Fields Institute at Toronto, and Morningside Center of Mathematics, to discuss this project. We especially thank the organizers as well as the staff members at these workshops. The first author is partially supported by the National Natural Science Foundation of China (No The second author is partially supported by a grant from the Simons Foundation #278433, CORCL grant from University of California, Irvine, and an NSF grant DMS Goren Oort stratification We first recall the Goren Oort stratification of the special fiber of quaternionic Shimura varieties and their descriptions, following [TX13 + a]. We tailor our discussion to later application and hence we will focus on certain special cases discussed in loc. cit. 8 More rigorously, we have a funny choice of Deligne homomorphism for this quaternionic Shimura variety.

8 8 YICHAO TIAN AND LIANG XIAO 2.1. Notation. For a field F, we use Gal F to denote its absolute Galois group. For a number field F, we write A F (resp. A F, A,p F for its ring of adeles (resp. finite adeles, finite adeles away from a rational prime p. When F = Q, we suppress the subscript F, e.g. by writing A. Let p F denote the idele of A F which is p at all p-adic places and trivial elsewhere. We also normalize the Artin reciprocity map Art : A F /F Gal ab F so that a local uniformizer at a finite place v corresponds to a geometric Frobenius element at v. We fix F a totally real field of degree g > 1 over Q. Let Σ denote the set of places of F, and Σ the subset of all real places. We fix a prime number p > 2 inert in the extension F/Q. 9 We put p = po F, F p the completion of F at p, O p the valuation ring, and k p the residue field. We fix an isomorphism ι p : C Q p. Let Q p g denote the unramified extension of Q p of degree g in Q p ; let Z p g be its valuation ring. Post-composition with ι p identifies Σ = Hom(F, R = Hom(F, Q p g = Hom(O F, F p g. In particular, the absolute Frobenius σ acts on Σ by sending τ Σ to στ := σ τ; this makes Σ into one cycle. Let Q ur p denote the maximal unramified extension of Q p, and Z ur p denote its valuation ring. For a finite field F q, we denote by Frob q Gal Fq the geometric Frobenius element Quaternionic Shimura varieties. Let S be a set of places of F of even cardinality such that p / S. Put S = S Σ and S c = Σ S, 10 and d = #S c. We also fix a subset T of S. We denote by B S the quaternion algebra over F ramified exactly at S. Let G S,T = Res F/Q (B S be the associated Q-algebraic group. Here we inserted the subscript T because we use the following Deligne homomorphism h S,T : S(R = C x + yi ( G S,T (R = (H S T (H T GL 2 (R Sc ( 1,..., 1, ( x 2 + y 2,..., x 2 + y 2, ( ( x y ( x y y x,..., y x. When T =, the Deligne homomorphism h S, is the same as h S considered in [TX13 + a, 3.1]. The G S,T (R-conjugacy class of h S,T is independent of T and is isomorphic to H S := (h ± Sc, where h ± = P 1 (C P 1 (R. Consider the Hodge cocharacter z (z,1 h µ S,T : G m,c S C S,T = Gm,C G m,c G S,T,C. Here, the composition of the natural inclusion C = S(R S(C with the first (resp. second projection S(C C is the identity map (resp. the complex conjugation. The reflex field F S,T, i.e. the field of definition of the conjugacy class of µ S,T, is a finite extension of Q sitting inside C and hence inside Q p via ι p. It is clear that the p-adic closure of F S,T in Q p is contained in Q p g, the unramified extension of Q p of degree g in Q p. Instead of working with occasional smaller reflex field, we are content with working with Shimura varieties over Q p g. We fix an isomorphism G S,T (Q p GL 2 (F p and put K p = GL 2 (O p or occasionally Iw p := ( O p O p when S c =. We will only consider open compact subgroups K G S,T (A of the form po p O p K = K p K p with K p an open compact subgroup of G S,T (A,p. 11 For such a K, we have a Shimura 9 Although most of our argument works equally well when p is only assumed to be unramified, we insist to assume that p is inert which largely simplifies the notation so that the proof of the main result is more accessible. But see Remark 4.5(1. 10 Note that the upper script c was used to denote complex conjugation in [TX13 + a]. In this paper, we however use it to mean taking the set theoretic complement. 11 In earlier papers of this series, the open compact subgroup K was denoted by KS. We choose to drop the subscript because for all S we encounter later, the group G S(A are isomorphic, and hence we can naturally identify the K S s for different S s.

9 TATE CYCLES ON SOME QUATERNIONIC SHIMURA VARIETIES MOD p 9 variety Sh K (G S,T defined over Q p g, whose C-points (via ι p are given by Sh K (G S,T (C = G S,T (Q\H S G S,T (A /K. We put Sh Kp (G S,T := lim K p Sh K p K p (G S,T. This Shimura variety has dimension d = #S c. There is a natural morphism of geometric connected components (2.2.1 π 0 (Sh Kp (G S,T Qp F,cl + \A, F /O p, where F + is the subgroup of totally positive elements of F, and the superscript cl stands for taking closure in the corresponding topological space. The morphism (2.2.1 is an isomorphism if S c by [De71, Théorème 2.4]. Following the convention in [TX13 + a, 2.11], we shall call the preimage of an element x F,cl + \A, F /O p under the map (2.2.1 a geometric connected component, although it is not geometrically connected when S c =. The preimage of 1 is called the neutral geometric connected component, which we denote by Sh Kp (G S,T. Q p Note that, for different choices of T, the Shimura varieties Sh K (G S,T are isomorphic over Q p (in fact over Q if we have not p-adically completed the reflex field, but the actions of Gal(Q p /Q p g depend on T. By Shimura reciprocity law (cf. [De71] or [TX13 + a, 2.7], the action of Gal(Q p /Q p g on π 0 (Sh Kp (G S,T Qp factors through Gal Fp g = Gal(Z ur p /Z p g, so that the connected components of Sh Kp (G S,T Qp are actually defined over Q ur p, the maximal unramified extension of Q p. More precisely, the action of the geometric Frobenius of F p g on F,cl + \A, F /O p, induced through the homomorphism (2.2.1, is given by multiplication by the finite idele (2.2.2 (p F (2#T+#Sc F,cl + \A, F /O p. 12 This determines a reciprocity map: Rec p : Gal Fp g F,cl + \A, F /O p. Write ν : G S,T Res F/Q (G m for the reduced norm homomorphism. Following Deligne s recipe [De79] of connected Shimura varieties, we put (2.2.3 G S,T,p := ( G S,T (A,p /O,cl F,(p 13 GalFp g and define E GS,T to be the subgroup of G S,T,p consisting of pairs (x, σ such that ν(x is equal to Rec p (σ 1. Here, O,cl F,(p denotes the closure of O F,(p in G S,T(A,p. The limit Sh Kp (G S,T Q ur carries an action by G p S,T,p, and E GS,T is the stablizer of each geometric connected component. Conversely, if Sh Kp (G S,T Q ur is a geometric connected component, one can p recover Sh Kp (G S,T from Sh Kp (G S,T Q ur by first forming the product p and then take the Galois descend to Q p g. Sh Kp (G S,T Q ur p E GS,T G S,T,p Notation 2.3. Note that G S,T (A depends only on the finite places contained in S. In later applications, we will consider only pairs of subsets (S, T such that S contains the same finite places as S. In that case, we will fix an isomorphism G S,T (A = G S,T (A, and denote them uniformly by G(A when no confusions arise. Similarly, we have its subgroup G(A,p G(A 12 When S c = or equivalently when Sh Kp (G S,T is a zero-dimensional Shimura variety, the action of Frob p g is given by multiplication by the finite idele (p F #T in the center Res F/Q G m of G S,T. This gives the canonical model for the discrete Shimura variety in the sense of [TX13 + a, 2.8]. 13 Comparing with [TX13 + a, (2.11.3], we dropped the star extension because the center of G S,T is Res F/Q G m, which has trivial first cohomology. We also include the Galois part into the definition of G to simplify notation here.

10 10 YICHAO TIAN AND LIANG XIAO consisting of elements whose p-component is trivial. Thus, we may view K (resp. K p as an open compact subgroup of G(A (resp. G(A,p. Under this identification, the group G S,T,p is independent of S, T, and we henceforth write G p for it. Its subgroup E GS,T in general depends on the choice of S, and T. However, the key point is that, if S and T is another pair of subsets satisfying similar conditions and #S 2#T = #S 2#T (which will be the case we consider later in this paper, then the subgroup E GS,T is the same as E GS,T. Remark 2.4. Using Proposition 2.10 and Construction 2.15 later, we can access to most of the statements in [TX13 + a] which were initially proved for unitary groups and interpreted using connected Shimura varieties. The key point mentioned in Notation 2.3 has the additional benefit that the description of the Goren Oort strata actually descend to quaternionic Shimura varieties because now the subgroups E GS,T s are compatible for different S and T s Automorphic representations. Following [TX13 + b, 5.10], we use A (k,w to denote the set of irreducible automorphic cuspidal representations π of GL 2 (A F whose archimedean component π τ for each τ Σ is a discrete series of weight k τ 2 with central character x x w 2, and whose p-component π p is unramified. We write π,p to denote the prime-to-p finite part of π. We denote by ρ π : Gal F GL 2 (Q l the Galois representation attached to π normalized so that if v is a finite place of F at which π is unramified and K is hyperspecial, the action of a geometric Frobenius at v has trace equal to the eigenvalue of usual Hecke operator T v on (π K. Let ρ π,p be the restriction of ρ π to Gal Fp g (note that ρ π is unramified at p. If K p = GL 2 (O p, the Hecke operators T p and S p are given by the action on π Kp p of the double ( cosets K p 1 0 p Kp and K 0 1 p p 1 K p, respectively. Then, for π A (k,w, the characteristic polynomial of ρ π,p (Frob p g is given by (2.5.1 X 2 T p (πx + S p (πp g, where T p (π and S p (π denote respectively the eigenvalues of T p and S p on π Kp p. We say an automorphic representation π A (k,w appears in the cohomology of the Shimura variety Sh K (G S,T if for each finite place v of S, the local component π v of π is square integrable so that π is the image, under the Jacquet Langlands correspondence, of a unique automorphic representation π BS of G S,T (A = (B S Q A, and (πb S K is nonzero. Notation 2.6. For π A (k,w and a Q l [G(A,p ]-module M, we write M[π] := Hom Ql [G(A,p ] (π,p B S, M for its π-isotypical component. By the strong multiplicity one Theorem for quaternion algebras, π BS is determined by π,p B S ; this justifies the notation for M[π]. There is also a finite version: let K p G(A,p be an open compact subgroup so that (π,p B S Kp is an irreducible module over the prime-to-p Hecke algebra T(K p := Q l [K p \G(A,p /K p ], and π BS is determined by the T(K p - module π,p B S. Then, for a T(K p -module M, we put M[π] := Hom T(K p ((π,p B S Kp, M An auxiliary CM field. To use the results in [TX13 + a], we fix a CM extension E/F such that every place in S is inert in E/F, and the place p splits as q q in E/F if #S c is even, and it is inert in E/F if #S c is odd. These conditions imply that B S splits over E. In later applications, we will need to consider several S at the same time. We remark that, for all subsets S involved later, the finite places contained in

11 TATE CYCLES ON SOME QUATERNIONIC SHIMURA VARIETIES MOD p 11 S are the same, and #S c will have the same parity. In particular, this means that we can fix for the rest of this paper one CM field E that satisfies the above conditions (for the initial B S. We shall frequently use the following two finite idele elements: (1 p F denotes the finite idele in A F which is p at p and is 1 elsewhere (which we have already introduced in 2.1; (2 when p splits into q q in E, q denotes the finite idele in A E which is p at q, p 1 at q, and 1 elsewhere. Let Σ E, denote the set of complex embeddings of E. We fix a choice of subset S Σ E, such that the natural restriction map Σ E, Σ induces an isomorphism S S. When p splits into q q, we use S /q (resp. S / q to denote the subset of places in S inducing q (resp. q through the isomorphism ι p. We put (2.7.1 S = # S / q # S /q. We remark that all the S s we encounter later in this paper will all have the same S. We write E p for F p F E. It is the quadratic unramified extension of F p if p is inert and it is E q E q if p splits. We set O Ep := O p OF O E. We put S = (S, S. Put T E, S,T = T E = Res E/Q (G m, where the subscript ( S, T means that we take the following Deligne homomorphism h E, S,T : S(R = C z = x + yi T (R = E, S,T τ Σ (E F,τ R = (C S T (C T (C Sc ( ( z,..., z, (z 1,..., z 1, (1,..., 1. Here, the isomorphism E F,τ R C for τ S is given by the chosen embedding τ S lifting τ. One has the system of zero-dimensional Shimura varieties Sh KE (T E, S,T with C-points given by: Sh KE (T E, S,T (C = E,cl \T E, S,T (A /K E, for any open compact subgroup K E T E, S,T (A = A, E and write Sh KE,p (T = lim E, S,T Sh K p E K E,p (T E, S,T. We put K E,p = O E,p T E, S,T (Q p, as the inverse limit over all open compact K p E subgroups K p E T E, S,T (A,p. As in Notation 2.3, we identify T E, S,T (A for all S and T, and write T E (A for it; so K E is naturally its subgroup. Under the isomorphism ι p : C = Q p, the image of the reflex field of Sh KE (T E, S,T is contained in Q p 2g. It makes sense to talk about Sh KE (T E, S,T Q. As K p 2g E,p is hyperspecial, the action of Gal on Sh Qp 2g K E (T (Q E, S,T p is unramified. So Sh KE (T E, S,T Q p 2g is the disjoint union of the spectra of some finite unramified extension of Q p 2g, and it has an integral canonical model over Z p 2g by taking the spectra of the corresponding rings of integers. Denote by Sh KE (T its E, S,T special fiber. By Shimura s reciprocity law, the action of the geometric Frobenius Frob p 2g of F p 2g on Sh KE (T (F E, S,T p is given by (i when p is inert in E/F, multiplication by (p F #(S #T #T = (p F #S 2#T and (ii when p splits into q q, multiplication by ϖ 2(# S / q #T q ϖ 2(# S /q #T q = (p F #S 2#T (q S, where ϖ q (resp. ϖ q is the finite idele in A E which is p at the place q (resp. q and is 1 elsewhere, q is the idele defined in Subsection 2.7(2 above, and S is defined in (2.7.1.

12 12 YICHAO TIAN AND LIANG XIAO In particular, if ( S, T is another pair above such that #S 2#T = #S 2#T and S = S if p splits, then there exists an isomorphism of Shimura varieties over F p 2g: (2.7.2 Sh KE (T E, S,T = ShKE (T E, S,T compatible with the Hecke action of T E (A,p on both sides as K p E varies A unitary Shimura variety. Let Z = Res F/Q (G m be the center of G S,T. Put G S = G S,T Z T E, S,T, which is the quotient of G S,T T E, S,T by Z embedded anti-diagonally as z (z, z 1. Consider the product Deligne homomorphism h S,T h E, S,T : S(R = C (G S,T T E, S,T (R, which can be further composed with the quotient map to G to get S h S : S(R = C (G S,T Z T (R E, S,T = G S (R. Note that h S does not depend on the choice of T S (hence the notation, and its conjugacy class is identified with H S = (h ± Sc. Let K p denote the (maximal open compact subgroup GL 2 (O p O O p E,p of G S (Q p. We will consider open compact subgroups of the form K = K p K p G S (A with K p G S (A,p. These data give rise to a Shimura variety Sh K (G S (defined over Q p 2g, whose C-points (via ι p are given by We put Sh K p (G S Sh K (G (C = G S S (Q\(H S G S (A /K.. Its geometric connected components admit a natural map := lim K Sh p K (G S (2.8.1 π 0 ( ShK p (G S Q p ( F,cl + \A, F /O p + \A, F /O p ( E,N E/F =1,cl \A,N E/F =1 E /O N E/F =1 E p. As in the quaternionic case, this is an isomorphism if S c. We write Sh K p (G S for the preimage of 1 1, and call it the neutral geometric connected Q p component of the unitary Shimura variety. We can define the group E G and G for the Shimura data (G S S,p S, h as in Subsection 2.2 (see S e.g. [TX13 + a, 2.11] for the recipe. First, we spell out the Shimura reciprocity map (2.8.2 Rec p : Gal ( Fp 2g F,cl ( E,N E/F =1,cl \A,N E/F =1 E /O N E/F =1 E p, where N E/F is the norm from E to F. The first argument of Rec p(frob p 2g is given by the square of (2.2.2 times the norm of the element in Subsection 2.7(i or (ii, and the second argument of Rec p(frob p 2g is given by the element in Subsection 2.7(i or (ii divided by its complex conjugate. Explicitly, when p is inert in E/F, Rec p(frob p 2g = (p F 2g 1, and when p splits in E/F, Rec p(frob p 2g = (p F 2g (q 2 S. We put G S,p = ( G S (A,p /O E,(p,cl 14 GalFp 2g and define E G S that ν (x is equal to Rec p(σ 1, where ν : G S = G S,T Z T E, S,T (g, t to be its subgroup of pairs (x, σ such Res F/Q (G m Res E/Q (G m N E/F =1 ( ν(gne/f (t, t/ t is the natural morphism from G to its maximal abelian quotient. S 14 As in the footnote to (2.2.3, we omitted the star product in the definition of this group comparing to [TX13 + a, (2.11.3] because the center Res E/Q (G m of G S,T has trivial first cohomology.

13 TATE CYCLES ON SOME QUATERNIONIC SHIMURA VARIETIES MOD p 13 Remark 2.9. Similar to Notation 2.3, if S is another subset of places of F containing the same finite places as S (together with a choice of S, then G (A S is isomorphic to G S (A. We fix such an isomorphism, and denote them uniformly as G (A. Hence we naturally identify groups G S,p for different S s. When #S = #S and S = S if p splits in E/F, the subgroup E G S G can be also S,p identified with E G G. Indeed, in this case the reciprocity map Rec S S,p p for S and S are the same. Proposition (1 We have a canonical isomorphism E GS,T = EG, and Sh Kp (G S,T S Q ur together p. with the action of E GS,T is isomorphic to Sh K p (G S Q ur p Z p g (2 The Shimura varieties Sh K (G S,T (resp. Sh K (G S (resp. over Z p 2g, and the connected Shimura variety Sh Kp (G S,T Q ur p canonical integral model over Z ur p. together with the action of E G S admit integral canonical models over = Sh K p (G S Q ur p admits a Proof. For (1, the case when T = is treated in [TX13 + a]. In general, note that the sequence of morphisms G S G S,T T E, S,T G S,T is compatible with the associated Deligne homomorphism, and the conjugacy classes of Deligne homomorphisms into various algebraic groups defined above are canonically identified. Standard facts (e.g. [TX13 + a, Corollary 2.17] about Shimura varieties implies that the series of morphisms of Shimura varieties Sh K p (G S Sh K p (G S,T Zp g Sh KE,p (T E, S,T Sh K p (G S,T induce isomorphisms on the neutral connected components. Hence, by [TX13 + a, Theorem 3.14], there exists an integral canonical model for Sh K p (G S over Z p2g, and thus the neutral connected component Sh K p (G S = Sh Kp (G S,T admits an integral canonical model over Z ur p. Applying EGS,T G S,T,p, the latter induces an integral canonical model of Sh Kp (G S,T over Z ur p, which descends to Z p g (cf. [TX13 + a, Corollary 2.17]. Remark Statement (2 of Proposition 2.10 is a consequence of much more general theory of Kisin [Ki10]. However, in this paper, we will need essentially this explicit relationship between the integral models of Sh K (G S,T and those of Sh K (G S. Notation We use Sh Kp (G S,T, Sh KE,p (T, Sh E, S,T K p (G,... to denote the integral model S over Z p g or Z p 2g of the corresponding Shimura variety, and use systematically Roman letters to denote the special fibers of Shimura varieties: Sh Kp (G S,T F p := Sh Kp (G S,T Z ur p for? = K or K p, and = or, and Z ur p F p, and Sh? (G S,T := Sh? (G S,T Zp g F p g. Sh KE,p (T E, S,T F p 2g : = Sh KE,p (T E, S,T Z p 2g F p 2g, Sh K p (G S F p 2g := Sh K p (G S Z p 2g F p 2g and similarly with open compact subgroups K E = K E,p K p E T E(A and K = K p K p G (A. We put Sh Kp (G S F p = Sh Kp (G S Z ur p Z ur p F p Automorphic sheaves. We now study the automorphic sheaves on these Shimura varieties. Fix a prime l p and an isomorphism ι l : C Q l. By a regular multiweight, we mean a tuple (k, w Z Σ Z such that k τ w (mod 2 and k τ 2 for all τ Σ. Consider the algebraic representation ρ (k,w S,T = τ Σ ( Sym k τ 2 (std det kτ w 2

14 14 YICHAO TIAN AND LIANG XIAO of G S,T C = τ Σ GL 2 (C, where std is the standard representation of GL 2 (C. As explained in [Mil90], we have an automorphic Q l -lisse sheaf L (k,w S,T on Sh Kp (G S,T associated to ρ (k,w S,T. Note that L (k,w S,T is pure of weight (w 2(#S c + 2#T. We fix a section Σ Σ E, of the natural restriction map Σ E, Σ (which is independent of the choices S. Let (k, w be a regular multiweight. Consider the following one-dimensional representation of T E, S,T Q C = τ Σ G m, τ G m, τ : ρ w E, Σ = τ Σ x2 w pr E, τ, where τ is the complex conjugate embedding of τ, pr E, τ is the projection to the τ-component, and x 2 w is the character of C given by raising to the (2 wth power. This representation gives rise to a lisse Q l -étale sheaf L w E, S,T, Σ pure of weight (w 2(#S 2#T on Sh KE,p (T E, S,T. If Sh K E (T E, S,T is another Shimura variety with #S 2#T = #S 2#T and γ : Sh KE (T E, S,T = Sh KE (T E, S,T is the isomorphism (2.7.2, then we have a natural isomorphism ( γ (L w E, S,T, Σ L w E, S,T, Σ. Let α T : G S,T T E, S,T G S diagram. denote the natural quotient morphism. We have the following pr ( Sh Kp (G S,T 1 Sh Kp (G S,T Zp g Sh KE,p (T E, S,T α T Sh K p (G S pr 2 Sh KE,p (T E, S,T. By our definition, the tensor product representation ρ (k,w S,T ρ w of G E, Σ S,T T E, S,T factors through G S. This defines a Q l-lisse sheaf L (k,w on Sh S, Σ K p (G such that we have a canonical isomorphism S ( α T(L (k,w = pr S, Σ 1(L (k,w S,T pr 2(L w E, S,T, Σ. Put D = B S F E. Then our choice of E/F in 2.7 implies that D = M 2 2 (E, which explains the omission of S in our notation. We fix such an isomorphism, and take a maximal order O D = M 2 2 (O E. Recall that there exists a versal family of abelian varieties a : A Sh S,K p K p (G S [TX13 + a, 3.20] equipped with a natural action by O D. Here, versal means that the Kodaira Spencer map for the family A S is an isomorphism. Using A S, L (k,w S, Σ can be reinterpreted as follows. Put H l (A S = R1 a (Q l, which is an l-adic local system on Sh K p (G equipped with S an induced action by M 2 2 (E. For each τ Σ E,, let H l (A S τ denote the direct summand of H l (A S on which E acts via E τ C ι l Q l. Consider the idempotent e = ( M2 2 (E. We put H l (A S τ = e H l(a S τ, which is an l-adic local system on Sh K p (G of rank 2. We have a S canonical decomposition H l (A S = τ Σ ( Hl (A S τ H l (A ( S τ = Hl (A S, 2 τ H l (A S, 2 τ. τ Σ Then one has ( L (k,w S, Σ = τ Σ ( Sym kτ 2 H l (A S τ ( 2 H l (A S τ w kτ 2.

15 TATE CYCLES ON SOME QUATERNIONIC SHIMURA VARIETIES MOD p 15 Remark We shall introduce a general construction below to relate the unitary Shimura varieties and the quaternionic Shimura varieties. We point out beforehand that the entire construction is modeled on the following question: By Hilbert 90 theorem, we have an exact sequence: 1 F,cl \A, F /O p E,cl \A, E /O E p z z/ z E,N E/F =1,cl \A,N E/F =1 E /O N E/F =1 E p 1. The construction involves picking a preimage of some element in the target of the surjective map above. In general, there is no canonical choice of this preimage, and all choices form a torsor under the group F,cl \A, F /O p. In very special case when the element in the target of the surjective map is trivial, one can have a canonical choice of its preimage, namely the identity element 1. Construction We now discuss a very important process that allows us to transfer certain correspondences on the unitary Shimura varieties Sh K p (G to the quaternionic Shimura varieties S Sh Kp (G S,T. Throughout this subsection, we assume that we are given two sets of data: S, T, and S, T as above, and that they satisfy the following conditions: ( #S 2#T = #S 2#T, S = S if p splits in E/F, and the finite places contained in S and those in S are the same. By (2.7.2, this implies that the Shimura varieties Sh KE,p (T and Sh E, S,T K E,p (T E, S,T are isomorphic. Suppose that we are given a correspondence between the two unitary Shimura varieties ( Sh K p (G S π X η Sh K p (G S, where the group G S,p = G S acts on all three spaces and the morphisms are equivariant for the,p actions. We further assume that the fibers of π are geometrically connected. Step I: We will complete the correspondence above into the following commutative diagram ( Sh Kp (G S,T Fp d Sh K E,p (T E, S,T π Y η Sh Kp (G S,T F p d Sh K E,p (T E, S,T α T Sh K p (G S π X α T α T η Sh K p (G so that Y is defined as the Cartesian product of the left square, and the top line is equivariant for the actions of G S,T,p A, E = G S,T,p A, E. For this, it suffices to lift the morphism η to η. We point out that both α T and α T map every geometric connected component isomorphically to another geometric connected component. We now separate the discussion (but not in an essential way depending on whether S c is empty. When S c, let Y denote the preimage (π 1 (Sh Kp (G S,T F p {1}, where 1 denotes the neutral point, namely the image of 1 A, E in Sh KE,p (T E, S,T F p. By our assumption on π, Y is a geometric connected component of Y. Its image under η α T lies in a geometric connected component of Sh K (x, s ( F,cl + \A, F /O p, say Sh S K ( E,N E/F =1,cl \A,N E/F =1 E /O N E/F =1 E p p (G Hilbert s 90th Theorem, there exists t E,cl \A, E is unique up to F,cl \A, F p (G S, S, corresponding to some F p via the map ( By /O E p with t/ t = s, and the choice of t /O F p. We claim that giving a (G S,T,p A, E -equivariant map η as above is equivalent to choosing such a t. Indeed, let Sh Kp (G S,T F p be the connected component of Sh Kp (G S,T F p corresponding to y = xn E/F (t 1 via the map ( Then α T sends Sh Kp (G S,T F p {t} isomorphically to Sh K p (G S. Note that Y (resp. Sh F Kp (G S,T F Sh p p d K E,p (T E, S,T can be recovered

16 16 YICHAO TIAN AND LIANG XIAO from Y (resp. Sh Kp (G S,T F p {t} for any t E,cl \A, E /O E p 15 by applying EGS,T (GS,T,p E,cl \A, E /O E p. Here, recall that EGS,T = EG S by Proposition 2.10(1, and it embeds into the product G S,T,p E,cl \A, E /O E p as follows: the morphism from E GS,T to the first factor is the natural embedding and that to the second factor is given by first projecting to the Galois factor and then applying the Shimura reciprocity map as specified in Subsection 2.7(i and (ii. Therefore, once such a t is chosen, we can define η as the morphism obtained by applying EGS,T ( GS,T,p E,cl \A, E Y η α T Sh K p (G S F p ShKp (G S,T F p {t}, where the last isomorphism is the inverse of the restriction of α T /O E p to the map to Sh Kp (G S,T F p {t}. Conversely, it is also clear that such a t is determined by η. When S c =, a slight rewording is needed. Let X denote the preimage under π of the F p -point 1 Sh K p (G S F p. So it is mapped under η to a point g Sh K p (G S F p. Let Y denote the preimage under π of the F p -point (1, 1 Sh Kp (G S,T Fp Sh KE,p (T E, S,T F p. Then the map η must take Y to an F p -point (x, t in α 1 T (g, and conversely, η is determined by this choice of such a point by the same argument as above using the fact that η is equivariant for the (G S,T,p A, E -action. In summary, one can always define such a lift η, depending on a choice of a certain element t E,cl \A, E /O E p which is unique up to multiplication by an element of F,cl \A, F /O p. In this case, we say that η is constructed with shift t. In general, we do not have a canonical choice for t, and hence neither for η. However, in the special case when Sh K p (G S is the neutral connected F p component Sh K p (G S in the former case and g = 1 in the later case, there is a canonical choice F p of such lift, namely, the neutral connected component Sh Kp (G S,T {1} in the former case and F p (1, 1 in the latter case. So under this additional hypothesis, we do have a canonical map η. Step II: Suppose that we have constructed the diagram ( with shift t (which is canonical up to an element of F,cl \A, F /O p, we want to obtain a correspondence π ( Sh Kp (G S,T Fp 2g Z η Sh Kp (G S,T F. p 2g For this, it suffices to construct ( over F p which carries equivariant action of Gal Fp 2g. Starting with the top row of (2.15.3, composing η with multiplication by t 1 (note that Sh KE,p (T E, S,T is in fact a group scheme, we get a correspondence 16 ( Sh Kp (G S,T Fp Sh KE,p (T E, S,T F p π Y t 1 η Sh Kp (G S,T F p Sh KE,p (T E, S,T F p, which respects the projection to Sh KE,p (T γ = E, S,T F ShKE,p p (T E, S,T F p. Taking the fiber of ( over 1 of Sh KE,p (T E, S,T F p gives (2.15.4, but to descend we need to modify the Galois action above (so that the Galois action preserves the fiber over 1 as follows: we change the action of Frob p 2g on ( by further composing with a Hecke action given by 1 (p F 2#T #S G(A A, E if p is inert in E/F, and 1 (p F 2#T #S (q S if p splits in E/F. This way, we have constructed a new Galois action on the factor Sh KE,p (T E, S,T F p. By usual Galois descent, we get ( We point out that E,cl \A, E /O E p is canonically isomorphic to O,cl E,(p \A,p, E. 16 Once again, both t and this correspondence depend on the choice of the geometric connected component, and are uniquely defined up to multiplication by an element of O,cl F,(p \A,,p F.