In a paper published in 1959, Shimura presented an elegant calculation of the critical values of L-functions attached to elliptic modular forms using the first cohomology group. We will show that a similar calculation is possible for Hilbert modular forms over real quadratic fields using the second cohomology group. We present explicit numerical examples calculated by this method.
Higher order group cohomology is defined and first properties are given. Using modular symbols, an Eichler-Shimura homomorphism is constructed mapping spaces of higher order cusp forms to higher order cohomology groups.
We determine the Galois representations inside the $l$-adic cohomology of some unitary Shimura varieties at split places where they admit uniformization by finite products of Drinfeld upper half spaces. Our main results confirm Langlands-Kottwitz's description of the cohomology of Shimura varieties in new cases.
The Eichler-Shimura isomorphism realizes the automorphic representation generated by an automorphic newform in certain cohomology of an arithmetic group. In this short note, we give a cohomological interpretation of the Eichler-Shimura isomorphism as a connection morphism of certain exact sequence of G-modules, for the multiplicative group G of any quaternion algebra over a totally real field.
This brief article gives an alternative interpretation, based on a theorem of Berkovich, of the Eisenstein classes in the cohomology of Shimura varieties, used in forthcoming work of the author with K. W. Lan, R. Taylor, and J. Thorne.
We first give a relative flexible process to construct torsion cohomology classes for Shimura varieties of Kottwitz-Harris-Taylor type with coefficient in a non too regular local system. We then prove that associated to each torsion cohomology class, there exists a infinity of irreducible automorphic representations in characteristic zero, which are pairwise non isomorphic and weakly congruent.
We introduce a method for producing congruences between Hecke eigenclasses, possibly torsion, in the coherent cohomology of automorphic vector bundles on certain good reduction Shimura varieties. The congruences are produced using some "generalized Hasse invariants" adapted to the Ekedahl-Oort stratification of the special fiber.
We study the motivic cohomology of the special fiber of quaternionic Shimura varieties at a prime of good reduction. We exhibit classes in these motivic cohomology groups and use this to give an explicit geometric realization of level raising between Hilbert modular forms. The main ingredient for our construction is a form of Ihara's Lemma for compact quaternionic Shimura surfaces which we prove by generalizing a method of Diamond-Taylor. Along the way we also verify the Hecke orbit conjecture for these quaternionic Shimura varieties which is a key input for our proof of Ihara's Lemma.
We consider the problem of defining an action of Hecke operators on the coherent cohomology of certain integral models of Shimura varieties. We formulate a general conjecture describing which Hecke operators should act integrally and solve the conjecture in certain cases. As a consequence, we obtain $p$-adic estimates of Satake parameters of certain non-regular self dual automorphic representations of $\mathrm{GL}_n$.
A particular case of Bergeron-Venkatesh's conjecture predicts that torsion classes in the cohomology of Shimura varieties are rather rare. According to this and for Kottwitz-Harris-Taylor type of Shimura varieties, we first associate to each such torsion class an infinity of irreducible automorphic representations in characteristic zero, which are pairwise non isomorphic and weakly congruent. Then, using completed cohomology, we construct torsion classes in regular weight and then deduce explicit examples of such automorphic congruences.
We determine the Galois representations inside the $l$-adic cohomology of some quaternionic and related unitary Shimura varieties at ramified places. The main results generalize the previous works of Reimann and Kottwitz in this setting to arbitrary levels at $p$, and confirm the expected description of the cohomology due to Langlands and Kottwitz.
We prove vanishing results for the $0$th cohomology of automorphic line bundles on the Ekedahl--Oort strata of the special fiber of Hilbert--Blumenthal Shimura varieties. This work vastly extends to all Ekedahl--Oort strata previous results of Diamond--Kassaei and Goldring--Koskivirta. Furthermore, our results also cover the case of unitary Shimura varieties of rank $\leq 2$ attached to an arbitrary CM extension. We also prove a conjecture of Goldring--Koskivirta on the set of possible weights of automorphic forms.
We show that the mod p cohomology of a smooth projective variety with semistable reduction over K, a finite extension of Qp, embeds into the reduction modulo p of a semistable Galois representation with Hodge-Tate weights in the expected range (at least after semisimplifying, in the case of the cohomological degree > 1). We prove refinements with descent data, and we apply these results to the cohomology of unitary Shimura varieties, deducing vanishing results and applications to the weight part of Serre's conjecture.
Given a KHT Shimura variety provided with an action of its unramified Hecke algebra $\mathbb T$, we proved in a previous work, see also the work of Caraiani-Scholze for other PEL Shimura varieties, that its localized cohomology groups at a generic maximal ideal $\mathfrak m$ of $\mathbb T$, appear to be free. In this work, we obtain the same result for $\mathfrak m$ such that its associated Galois $\overline{\mathbb F}_l$-representation $\overline{ρ_{\mathfrak m}}$ is irreducible, under the hypothesis that $[F(\exp(2iπ/l):F]>d$ where $F$ is the reflex field, $d$ the dimension of the KHT Shimur…
We compare the conjecture of Buzzard-Gee on the association of Galois representations to C-algebraic automorphic representations with the conjectural description of the cohomology of Shimura varieties due to Kottwitz, and the reciprocity law at infinity due to Arthur. This is done by extending Langlands's representation of the L-group associated with a Shimura datum to a representation of the C-group of Buzzard-Gee. The approach offers an explanation of the explicit Tate twist appearing in Kottwitz's description.
We give a new proof of Ohta's Lambda-adic Eichler-Shimura isomorphism using p-adic Hodge theory and the results of Bloch-Kato and Hyodo on p-adic etale cohomology.
In this article, we use deformation theory of Galois representations valued in the symplectic group of degree four to prove a freeness result for the cohomology of certain quaternionic unitary Shimura variety over the universal deformation ring for certain type of residual representation satisfying a property called rigidity. This result plays an important role in the proof of the arithmetic level raising theorem for the symplectic similitude group of degree four over the field of rational numbers by the author.
We study the torsion cohomology classes of Shimura varieties of type Kottwitz-Harris-Taylor and we show that " up to an arbitrary place " one can raise them to an automorphic representation. In application, to any mod $l$ system of Hecke eigenvalues appearing in the $\bar{\mathbb F}_l$-cohomology of a Shimura's variety of Kottwitz-Harris-Taylor type, we associate a $\bar{\mathbb F}_l$-Galois representation which Frobenius eigenvalues are given by Hecke's. Compared to the highly more general construction of Scholze, we gain both the simplicity of the proof and the control at places ramified and…
We study indefinite quaternion algebras over totally real fields F, and give an example of a cohomological construction of p-adic Jacquet-Langlands functoriality using completed cohomology. We also study the (tame) levels of p-adic automorphic forms on these quaternion algebras and give an analogue of Mazur's `level lowering' principle.
We construct the compatible system of $l$-adic representations associated to a regular algebraic cuspidal automorphic representation of $GL_n$ over a CM (or totally real) field and check local-global compatibility for the $l$-adic representation away from $l$ and finite number of rational primes above which the CM field or the automorphic representation ramify. The main innovation is that we impose no self-duality hypothesis on the automorphic representation.
Using the work of Fargues-Scholze, we prove a vanishing theorem for the generic unramified part of the cohomology of local Shimura varieties of general linear groups. This gives an alternative approach to vanishing results of Caraiani-Scholze for the cohomology of unitary Shimura varieties.
In this paper, we compare two cohomology groups associated to Shimura varieties of PEL type, which are not proper over the base. One is the compactly supported l-adic cohomology, and the other is the nearby cycle cohomology, namely, the compactly supported cohomology of the nearby cycle complex for the canonical integral model of the Shimura variety over Z_p. We prove that the G(Q_p)-cuspidal part of these cohomology groups are the same, where G denotes the reductive algebraic group naturally attached to the PEL datum. Some applications to unitary Shimura varieties are also given.
We prove conjectures of Breuil and Breuil-Dembele (C. Breuil, "Sur un probleme de compatibilite local-global modulo p pour GL(2)"), including a generalisation from the principal series to the cuspidal case, subject to a mild global hypothesis that we make in order to apply certain R=T theorems. More precisely, we prove a multiplicity one result for the mod p cohomology of a Shimura curve at Iwahori level, and we show that certain apparently globally defined lattices in the cohomology of Shimura curves are determined by the corresponding local p-adic Galois representations. We also indicate a n…
Let $Sh_K(G,μ)$ be a Shimura variety of KHT type, as introduced in Harris-Taylor book, associated to some similitude group $G/\mathbb Q$ and a open compact subgroup $K$ of $G(\mathbb A)$. For any irreducible algebraic $\overline{\mathbb Q}_l$-representation $ξ$ of $G$, let $V_ξ$ be the $\mathbb Z_l$-local system on $Sh_K(G,μ)$. From my paper about p-stabilization, we know that if we allow the local component $K_l$ of $K$ to be small enough, then there must exists some non trivial cohomology classes with coefficient in $V_ξ$. The aim of this paper is then to construct explicitly such torsion cl…
We formulate an analogue of the archimedean motivic action conjecture of Prasanna--Venkatesh for irregular cohomological automorphic forms on Shimura varieties, which appear on multiple degrees of coherent cohomology of Shimura varieties. Such multiple appearances are due to many infinity types in a single $L$-packet with equal minimal $K$-types. Accordingly, we formulate the conjecture comparing periods of forms of different automorphic representations. We provide evidences for the conjecture by showing its compatibility with existing conjectures on periods of automorphic forms. The conjectur…
When the level at $l$ of a Shimura variety of Kottwitz-Harris-Taylor is not maximal, its cohomology with coefficients in a $\overline{\mathbb Z}_l$-local system isn't in general torsion free. In order to prove torsion freeness results of the cohomology, we localize at a maximal ideal $\mathfrak m$ of the Hecke algebra. We then prove a result of torsion freeness resting either on $\mathfrak m$ itself or on the Galois representation $\overline ρ_{\mathfrak m}$ associated to it. Concerning the torsion, in a rather restricted case than the work of Caraiani-Scholze, we prove that the torsion doesn'…
Let $G' \subset G$ be an inclusion of reductive groups whose real points have a non-trivial discrete series. Combining ergodic methods of Burger-Sarnak and the author with a positivity argument due to Li and the classification of minimal $K$-types of discrete series, due to Salamanca-Riba, we show that, if $π$ is a cuspidal automorphic representation of $G$ whose archimedean component is a sufficiently general discrete series, then there is a cuspidal automorphic representation of $G'$, of (explicitly determined) discrete series type at infinity, that pairs non-trivially with $π$. When $G$ and…
We compute the homotopy groups of spectra associated by a theorem of Lurie to the Shimura curves of discriminants 6, 10, and 14, beginning with a computation of integral rings of automorphic forms on these curves. As an application, we find that a generalized truncated Brown-Peterson spectrum BP<2> is an E_\infty ring spectrum at the prime 3.
Let $(\mathsf{G},\mathsf{X})$ be a Shimura datum of Hodge type. Let $p$ be an odd prime such that $\mathsf{G}_{\mathbb{Q}_p}$ splits after a tamely ramified extension and $p\nmid |π_1(\mathsf{G}^{\rm der})|$. Under some mild additional assumptions that are satisfied if the associated Shimura variety is proper and $\mathsf{G}_{\mathbb{Q}_p}$ is either unramified or residually split, we prove the generalisation of Mantovan's formula for the $l$-adic cohomology of the associated Shimura variety. On the way we derive some new results about the geometry of the Newton stratification of the reduction…
We prove that there is a natural plectic weight filtration on the cohomology of Hilbert modular varieties in the spirit of Nekovar and Scholl. This is achieved with the help of Morel's work on weight t-structures and a detailed study of partial Frobenius. We prove in particular that the partial Frobenius extends to toroidal and minimal compactifications.
We show that the mod $p$ cohomology of a simple Shimura variety treated in Harris-Taylor's book vanishes outside a certain nontrivial range after localizing at any non-Eisenstein ideal of the Hecke algebra. In cases of low dimensions, we show the vanishing outside the middle degree.
This work gives a version of the Eichler-Shimura isomorphism with a non-abelian $H^1$ in group cohomology. Manin has given a map from vectors of cusp forms to a noncommutative cohomology set by means of iterated integrals. We show Manin's map is injective but far from surjective. By extending Manin's map we are able to construct a bijective map and remarkably this establishes the existence of a non-abelian version of the Eichler-Shimura map.
The goal of this paper is to show that the cohomology of compact unitary Shimura varieties is concentrated in the middle degree and torsion-free, after localizing at a maximal ideal of the Hecke algebra satisfying a suitable genericity assumption. Along the way, we establish various foundational results on the geometry of the Hodge-Tate period map. In particular, we compare the fibres of the Hodge-Tate period map with Igusa varieties.
Given a modular form f of even weight larger than two and an imaginary quadratic field K satisfying a relaxed Heegner hypothesis, we construct a collection of CM cycles on a Kuga-Sato variety over a suitable Shimura curve which gives rise to a system of Galois cohomology classes attached to f enjoying the compatibility properties of an Euler system. Then we use Kolyvagin's method, as adapted by Nekovar to higher weight modular forms, to bound the size of the relevant Selmer group associated to f and K and prove the finiteness of the (primary part) of the Shafarevich-Tate group, provided that a…
The goal of this paper is to calculate the trace of the composition of a Hecke correspondence and a (high enough) power of the Frobenius at a good place on the intersection cohomology of the Satake-Baily-Borel compactification of certain Shimura varieties, to stabilize the result for Shimura varieties associated to unitary groups over $\mathbb{Q}$ and to give applications of this calculations using base change from these unitary groups to $GL_n$. ----- Le but de ce texte est de calculer la trace d'une correspondance de Hecke composee avec une puissance (assez grande) du Frobenius en une bonne …
In this note, we discuss several forms of the Eichler-Shimura relation for the compactly supported cohomology of local Shimura varieties, using the work of Fargues-Scholze.
We describe work of Faltings on the construction of étale cohomology classes associated to symplectic Shimura varieties and show that they satisfy certain trace compatibilities similar to the ones of Siegel units in the modular curve case. Starting from those, we construct a two variable family of trace-compatible classes in the cohomology of a unitary Shimura variety.
In this article, we prove results about the cohomology of compact unitary group Shimura varieties at split places. In nonendoscopic cases, we are able to give a full description of the cohomology, after restricting to integral Hecke operators at p on the automorphic side. We allow arbitrary ramification at p; even the PEL data may be ramified. This gives a description of the semisimple local Hasse-Weil zeta function in these cases. We also treat cases of nontrivial endoscopy. For this purpose, we give a general stabilization of the expression given in previous work, following the stabilization…
We prove a local-global compatibility result in the mod $p$ Langlands program for $\mathrm{GL}_2(\mathbf{Q}_{p^f})$. Namely, given a global residual representation $\bar{r}$ that is sufficiently generic at $p$, we prove that the diagram occurring in the corresponding Hecke eigenspace of completed cohomology is determined by the restrictions of $\bar{r}$ to decomposition groups at $p$. If these restrictions are moreover semisimple, we show that the $(φ,Γ)$-modules attached to this diagram by Breuil give, under Fontaine's equivalence, the tensor inductions of the duals of the restrictions of $\b…
Let $F$ be a totally real field, $\mathfrak{p}$ an unramified place of $F$ dividing $p$ and $\overline{r}: \mathrm{Gal}(\overline{F}/F)\rightarrow\mathrm{GL}_2(\overline{\mathbb{F}}_p)$ a continuous irreducible modular representation. The work of Buzzard, Diamond and Jarvis associates to $\overline{r}$ an admissible smooth representation of $\mathrm{GL}_2(F_\mathfrak{p})$ on the mod $p$ cohomology of Shimura curves attached to indefinite division algebras which split at $\mathfrak{p}$. When $\overline{r}|_{\mathrm{Gal}(\overline{F_\mathfrak{p}}/F_\mathfrak{p})}$ is tamely ramified and generic …
We extend methods of Greenberg and the author to compute in the cohomology of a Shimura curve defined over a totally real field with arbitrary class number. Via the Jacquet-Langlands correspondence, we thereby compute systems of Hecke eigenvalues associated to Hilbert modular forms of arbitrary level over a totally real field of odd degree. We conclude with two examples which illustrate the effectiveness of our algorithms.
We study the rigid cohomology of the ordinary locus in some compact PEL Shimura varieties of type C with values in automorphic local systems and use it to prove a small slope criterion for classicality of overconvergent Hecke eigenforms. This generalises the work of Coleman, and is a first step in an ongoing project to extend the cohomological approach to classicality to higher-dimensional Shimura varieties.
In this article, the existence of ghost classes for the Shimura varieties associated to algebraic groups of orthogonal similitudes of signature (2, n) is investigated. We make use of the study of the weights in the mixed Hodge structures associated to the corresponding cohomology spaces and results on the Eisenstein cohomology of the algebraic group of orthogonal similitudes of signature (1, n-1). For the values of n = 4, 5 we prove the non-existence of ghost classes for most of the irreducible representations (including most of those with an irregular highest weight). For the rest of the case…
We develop local cohomology techniques to study the finite slope part of the coherent cohomology of Shimura varieties. The local cohomology groups we consider are a generalization of overconvergent modular forms, and they are defined by using a stratification on the Shimura variety obtained from the Bruhat stratification on a flag variety via the Hodge-Tate period map. We construct a spectral sequence from the local cohomologies to the classical cohomology and use it to obtain classicality and vanishing results. We also develop a theory of p-adic families and construct eigenvarieties. As an ap…