Arxiv:1306.1515V2 [Math.AG] 3 Jun 2014 At3 Uoopi Forms Automorphic 3
Total Page:16
File Type:pdf, Size:1020Kb
THE HODGE CONJECTURE AND ARITHMETIC QUOTIENTS OF COMPLEX BALLS NICOLAS BERGERON, JOHN MILLSON, AND COLETTE MOEGLIN In memory of Raquel Maritza Gilbert beloved wife of the second author. Abstract. Let S be a closed Shimura variety uniformized by the complex n-ball. The Hodge conjecture predicts that every Hodge class in H2k(S, Q), k = 0,...,n, is algebraic. We show that this holds for all degrees k away from the neighborhood ]n/3, 2n/3[ of the middle degree. We also prove the Tate conjecture for the same degrees as the Hodge conjecture and the generalized form of the Hodge conjecture in degrees away from an interval (depending on the codimension c of the subvariety) centered at the middle dimension of S. Finally we extend most of these results to Shimura varieties associated to unitary groups of any signature. The proofs make use of the recent endoscopic classification of automorphic representations of classical groups by [1, 58]. As such our results are conditional on the stabilization of the trace formula for the (disconnected) groups GL(N) ⋊ hθi associated to base change. At present the stabilization of the trace formula has been proved only for the case of connected groups. But the extension needed is now announced, see §1.13 for more details. Contents 1. Introduction 2 Part 1. Local computations 9 2. Hermitian vector spaces over C 9 3. Cohomological unitary representations 11 4. The action of U(p) U(q) U(a) U(b) in the twisted Fock model 21 × × × arXiv:1306.1515v2 [math.AG] 3 Jun 2014 5. The special (u(p, q),K)-cocycles ψbq,aq 31 Part 2. The geometry of Shimura varieties 43 6. Shimura varieties and their cohomology 43 7. The global theta correspondence 49 8. Special cycles 52 9. Main Theorem 57 Part 3. Automorphic forms 62 10. Ontheglobalthetacorrespondence 62 11. Rallis’ inner product formula and the proof of Theorem 10.2 67 12. Weak Arthur theory 71 N.B. is a member of the Institut Universitaire de France. J.M. was partially supported by NSF grant DMS-1206999. 1 2 NICOLAS BERGERON, JOHN MILLSON, AND COLETTE MOEGLIN 13. Applications 77 Appendices 82 Appendix A: proof of Theorem 12.10 82 Appendix B: proof of Theorem 11.5 88 Appendix C: the local product formula 91 References 96 1. Introduction We shall consider Shimura varieties S = S(Γ) = Γ X associated to standard unitary groups. We first recall their construction. \ 1.1. Let F be a totally real field and E be an imaginary quadratic extension of F . Let VE be a vector space defined over E and let (, ) be a non-degenerate Hermitian form on VE . Suppose that (, ) is anisotropic, of signature (p, q) at one Archimedean place and positive definite at all other infinite places. Let V be the real vector space whose points are the real points of vector space obtained from VE by restricting scalars from F to Q. We then have an isomorphism of real vector spaces: V = µ V (j), ∼ ⊕j=1 (j) where the V ’s are the completions of VE w.r.t. the different complex embeddings σj of E considered up to complex conjugation. We furthermore assume that the (1) Hermitian form (, )1 induced by (, ) on V has signature (p, q) and therefore that (j) the Hermitian forms (, )j induced by (, ) on the V , j 2, are all positive definite. By a slight abuse of notations we will denote by (, ) the≥ corresponding Hermitian (j) form on V . It is the orthogonal sum of the (, )j . We finally denote by G the (j) (j) subgroup of Aut(V ) which consist of isometries of (, )j and we set G = j G . The group G is isomorphic to the group of real points of the Q-reductive group Q obtained, by restricting scalars from F to Q, the group of isometries of (, ) on VE. (1) (j) Note that G ∼= U(p, q) and G ∼= U(m) if j 2. We denote by K the maximal compact subgroup of G. ≥ ∞ A congruence subgroup of G(Q) is a subgroup Γ = G(Q) K, where K is a ∩ compact open subgroup of G(Af ) of the finite adelic points of G. The (connected) Shimura variety S = S(Γ) = Γ X is obtained as the quotient of the Hermitian symmetric space X = G/K = U(\ p, q)/(U(p) U(q)) by the congruence subgroup Γ. We will be particularly interested∞ in the q =× 1 case. Then X identifies with the unit ball in Cp. 1.2. The Shimura variety S is a projective complex manifold defined over a finite abelian extension of F . Recall that a cohomology class on S is of level c if it is the pushforward of a cohomology class on a c-codimensional subvariety of S. We c let N H•(S, Q) be the subspace of H•(S, Q) which consists of classes of level at least c. We first observe it is a consequence of the Hard Lefschetz Theorem [27], c pg. 122, that N H•(S, Q) is stable under duality (the isomorphism given by the Hard Lefschetz Theorem). Indeed the projection formula states that cohomological pushforward commutes with the actions of H•(S, C) on the cohomologies of a sub- variety V of S and S and hence with the operators LV and LS of the Hard Lefschetz THE HODGE CONJECTURE AND ARITHMETIC QUOTIENTS OF COMPLEX BALLS 3 k k 2c Theorem. Hence, if β H (S, C) is the pushforward of a class α H − (V, C) for ∈ p k ∈ V a subvariety of codimension c then the dual class LS− (β) is the pushforward of p k LV− (α). Hodge theory provides each Hn(S) with a pure Hodge structure of weight n. We first consider the case where q = 1: 1.3. Theorem. Let S be a connected compact Shimura variety associated to the unitary group U(p, 1) and let n and c be non-negative integers s.t. 2n c<p + p c p c − 1 or 2n + c> 3p 1 or equivalently n [0, 2p] ]p − ,p + − [ . Then, we have: − ∈ \ − 2 2 c n n a,b (1.3.1) N H (S, Q)= H (S, Q) a+b=nH (S, C) . ∩ ⊕ a,b c ≥ Remarks. 1. The inclusion ‘ ’ always holds. In particular N cHn(S, Q) is trivial if n< 2c. ⊂ 2. The conclusion of Theorem 1.3 confirms Hodge’s generalized conjecture in its original formulation (with Q coefficients). Note however that — as it was first observed by Grothendieck [28] — the RHS of (1.3.1) is not always a Hodge structure. Grothendieck corrected Hodge’s original formulation but in our special case it turns out that the stronger form holds. 3. We prove the more precise result that each subspace Ha,b(S, C) Hb,a(S, C), with 3(a + b)+ a b < 2(p + 1), is defined over Q and that every rational⊕ coho- mology class in| that− subspace| is a linear combination with rational coefficients of cup products of (1, 1) classes and cohomology classes obtained as pushforwards of holomorphic or anti-holomorphic classes from algebraic cycles associated to smaller unitary subgroups — the so-called ‘special’ cycles. We want to emphasize that — contrary to the orthogonal case studied in [6] — special cycles associated to smaller unitary subgroups do not span, even in codimension one. One has to use cycles obtained using the Lefschetz (1, 1) Theorem which we don’t know how to realize explicitly. 1.4. Let Zn(S) denote the Q-linear span of the algebraic subvarieties of S of codi- mension n. Poincar´eduality gives the cycle map Zn(S) H2n(S, Q) Hn,n(S, C). → ∩ The subset H2n(S, Q) Hn,n(S, C) of H2n(S, Q) is called the set of Hodge classes. Note that the image of∩ the cycle map is precisely N nH2n(S, Q). The Hodge conjec- ture states that the cycle map is surjective, i.e. that every Hodge class is algebraic. Theorem 1.3 and Poincar´eduality imply: 1.5. Corollary. Let S be a connected compact Shimura variety associated to the p 2p 2n unitary group U(p, 1) and let n [0,p] ] 3 , 3 [. Then every Hodge class in H (S, Q) is algebraic. ∈ \ Tate [69] investigated the ℓ-adic analogue of the Hodge conjecture. Recall that S is defined over a finite abelian extension M of E. Fix a separable algebraic closure M of M. Seeing S as a projective variety over M, we put S = S M M. Given any prime number ℓ we denote by × Hℓ•(S)= H•(S, Qℓ) 4 NICOLAS BERGERON, JOHN MILLSON, AND COLETTE MOEGLIN the ℓ-adic ´etale cohomology of S. Recall that fixing an isomorphism of C with the completion Cℓ of an algebraic closure Qℓ of Qℓ we have an isomorphism (1.5.1) H•(S) C = H•(S, C). ℓ ⊗ ℓ ∼ Given any finite separable extension L( M) of M we let G = Gal(M/L) be the ⊂ L corresponding Galois group. Tensoring with Qℓ embeds L in Qℓ. The elements of GL then extend to continuous automorphisms of Cℓ. For j Z, let Cℓ(j) be the vector space C with the semi-linear action of G defined by∈ (σ, z) χ (σ)j σ(z), ℓ L 7→ ℓ where χℓ is the ℓ-adic cyclotomic character. We define G H•(S)(j) = lim(H•(S) C (j)) L . ℓ ℓ ⊗ ℓ Here the limit is over finite degree separable−→ extensions L of M.