Let G be a unitary group over the rationals, associated to a CM-field F with totally real part F^+, with signature (1,1) at all the archimedean places of F^+. Under certain hypotheses on F^+, we show that Jacquet-Langlands correspondences between certain automorphic representations of G and representations of a group G' isomorphic to G except at infinity can be realized in the cohomology of Shimura varieties attached to G and G'.
We obtain these Jacquet-Langlands correspondences by studying the bad reduction of a Shimura variety X attached to G at a prime p for which X has maximal parabolic level structure. We construct a "Deligne-Rapoport" model for X and show that the irreducible components of its special fiber have a global structure that can be explicitly described in terms of Shimura varieties X' for unitary groups G' isomorphic to G except at infinity.
The weight spectral sequence of Rapoport-Zink then yields an expression for certain pieces of the weight filtration on the etale cohomology of X in terms of the cohomology of a suitable X'. This identifies a piece of this weight filtration with a space of algebraic modular forms for G'. A consequence is certain cases of the Jacquet-Langlands correspondence between G and G' in terms of a canonical isomorphism between spaces of arithmetic interest, rather than simply as an abstract bijection between isomorphism classes of representations.
We study arithmetic intersections on twisted (quaternionic) Hilbert modular surfaces and Shimura curves over a real quadratic field. Our first main result is the determination of the degree of the top arithmetic Todd class of an arithmetic twisted Hilbert modular surface. This quantity is then related to the arithmetic volume of a Shimura curve, via the arithmetic Grothendieck-Riemann-Roch theorem and the Jacquet-Langlands correspondence.
This article is the last one about the isomorphism between Lubin-Tate and Drinfeld towers. We prove the existence of an isomorphism between the compactly supported etale cohomology of the Lubin-Tate and Drinfeld towers, and more generally their equivariant cohomology complex. We also prove the existence of a geometric local Jacquet-Langlands correspondence between some equivariant rigid etale sheaves on Gross-Hopkins period space $\mathbb{P}^{n-1}$ and Drinfeld one $Ω$.
We describe two candidates for a local p-adic Jacquet-Langlands correspondence and using patching we show that they are in fact isomorphic. We then study locally algebraic vectors of the given correspondence.
Let $\frak{p}$ and $\frak{q}$ be two distinct prime ideals of $\mathbb{F}_q[T]$. We use the Eisenstein ideal of the Hecke algebra of the Drinfeld modular curve $X_0(\frak{p}\frak{q})$ to compare the rational torsion subgroup of the Jacobian $J_0(\frak{p}\frak{q})$ with its subgroup generated by the cuspidal divisors, and to produce explicit examples of Jacquet-Langlands isogenies. Our results are stronger than what is currently known about the analogues of these problems over $\mathbb{Q}$.
In this paper we present an algorithm for computing Hecke eigensystems of Hilbert-Siegel cusp forms over real quadratic fields of narrow class number one. We give some illustrative examples using the quadratic field $\Q(\sqrt{5})$. In those examples, we identify Hilbert-Siegel eigenforms that are possible lifts from Hilbert eigenforms.
We study torsion in the homology of arithmetic groups and give evidence that it plays a role in the Langlands program. We prove, among other results, a numerical form of a Jacquet--Langlands correspondence in the torsion setting.
We consider a novel version of the classical Jacquet-Langlands {correspondence}, explore a $p$-adic extension of the Jacquet-Langlands correspondence, and as an explicit example we find an overconvergent automorphic form of weight~1 which corresponds to a classical modular form of weight~1, using both experimental and theoretical methods.
We state an improved version of the conjecture of Langlands and Rapoport, and we prove the conjecture for a large class of Shimura varieties. In particular, we obtain the first proof of the (original) conjecture for Shimura varieties of PEL-type.
Let G be a unitary group over a totally real field, and X a Shimura variety for G. For certain primes p of good reduction for X, we construct cycles on the characteristic p fiber of X. These cycles are defined as the loci on which the Verschiebung map has small rank on particular pieces of the Lie algebra of the universal abelian variety on X. The geometry of these cycles turns out to be closely related to Shimura varieties for a different unitary group G', which is isomorphic to G at finite places but not isomorphic to G at archimedean places. More precisely, each such cycle has a natural des…
In this paper, we give a purely geometric approach to the local Jacquet-Langlands correspondence for GL(n) over a p-adic field, under the assumption that the invariant of the division algebra is 1/n. We use the l-adic etale cohomology of the Drinfeld tower to construct the correspondence at the level of the Grothendieck groups with rational coefficients. Moreover, assuming that n is prime, we prove that this correspondence preserves irreducible representations. This gives a purely local proof of the local Jacquet-Langlands correspondence in this case. We need neither a global automorphic techn…
We show how the Langlands-Kottwitz method can be used to determine the semisimple local factors of the Hasse-Weil zeta-function of certain Shimura varieties. On the way, we prove a conjecture of Haines and Kottwitz in this special case.
In this paper, we give a geometric construction of the Jacquet-Langlands transfer for automorphic forms of higher weights by studying the geometry of the mod $p$ fibres of different Hodge type Shimura varieties which satisfy a mild assumption and the cohomological correspondences between them.
We determine the parity of the Langlands parameter of a conjugate self-dual supercuspidal representation of GL(n) over a non-archimedean local field by means of the local Jacquet-Langlands correspondence. It gives a partial generalization of a previous result on the self-dual case by Prasad and Ramakrishnan.
In the paper as a new application of the Jacquet-Langlands correspondence we connect the transfer operators for different cofinite Fuchsian groups by comparing the corresponding Selberg zeta functions.
We use results by Chenevier to interpolate the classical Jacquet-Langlands correspondence for Hilbert modular forms, which gives us an extension of Chenevier's results to totally real fields. From this we obtain an isomorphisms between eigenvarieties attached Hilbert modular forms and those attached to modular forms on a totally definite quaternion algebra over a totally real field of even degree.
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.
The existence of the well-known Jacquet-Langlands correspondence was established by Jacquet and Langlands via the trace formula method in 1970. An explicit construction of such a correspondence was obtained by Shimizu via theta series in 1972. In this paper, we extend the automorphic descent method of Ginzburg-Rallis-Soudry to a new setting. As a consequence, we recover the classical Jacquet-Langlands correspondence for PGL(2) via a new explicit construction.
In this paper we show a local Jacquet-Langlands correspondence for all unitary irreducible representations. We prove the global Jacquet-Langlands correspondence in characteristic zero. As consequences we obtain the multiplicity one and strong multiplicity one theorems for inner forms of GL(n) as well as a classification of the residual spectrum and automorphic representations in analogy with results proved by Moeglin-Waldspurger and Jacquet-Shalika for GL(n).
We extend the Jacquet-Langlands'correspondence between the Hecke-modules of usual and quaternionic modular forms, to overconvergent p-adic forms of finite slope. We show that this correspondence respects p-adic families and is induced by an isomorphism between some associated eigencurves.
This is a survey of the proof of the global Jacquet-Langlands correspondence between GL_n and general inner forms, in characteristic zero. The proof is given after a long introduction recalling in some detail the objects and results involved. The paper is based on the notes of the lectures I gave at the doctoral school in CIRM 2016 (Jean-Morlet Chair) organized by Dipendra Prasad, Volker Heiermann and Fiona Murnaghan. It appeared in 2018 in the volume Relative Aspects in Representation Theory, Langlands Functoriality and Automorphic Forms (LNM 2221).
We give a parametrization of the simple Bernstein components of inner forms of a general linear group over a local field by invariants constructed from type theory, and explicitly describe its behaviour under the Jacquet-Langlands correspondence. Along the way, we prove a conjecture of Broussous, Sécherre and Stevens on preservation of endo-classes.
We propose a conjectural explicit isogeny from the Jacobians of hyperelliptic Drinfeld modular curves to the Jacobians of hyperelliptic modular curves of $\mathcal{D}$-elliptic sheaves. The kernel of the isogeny is a subgroup of the cuspidal divisor group constructed by examining the canonical maps from the cuspidal divisor group into the component groups.
We use the Jacquet-Langlands correspondence to generalize well-known congruence results of Mazur on Fourier coefficients and L-values of elliptic modular forms for prime level in weight 2 both to nonsquare level and to Hilbert modular forms.
Let $F$ be a non-Archimedean locally compact field of residual characteristic $p$ with $p\neq 2$. Let $n$ be a power of $p$ and let $G$ be an inner form of the general linear group $\text{\rm GL}_n(F)$. We give a transparent parametrization of the irreducible, totally ramified, cuspidal representations of $G$ of parametric degree $n$. We show that the parametrization is respected by the Jacquet-Langlands correspondence, relative to any other inner form. This expresses the Jacquet-Langlands correspondence for such representations within a single, compact formula.
We prove that Kaletha's local Langlands correspondence for regular supercuspidal representations gives the classical local Jacquet--Langlands correspondence due to Deligne--Kazhdan--Vigneras and Badulescu. As in a former joint paper with Oi, where a similar result is proved for the local Langlands correspondence for the general linear group, the key ingredients in our proof are the work of Bushnell--Henniart explicitly describing the local Jacquet--Langlands correspondence for essentially tame supercuspidal representations and its reinterpretation due to Tam in terms of Langlands--Shelstad's \…
Let F be a non-Archimedean local field of residual characteristic p, and {\ell} be a prime number different from p. We consider the local Jacquet-Langlands correspondence between {\ell}-adic discrete series of GL(n,F) and an inner form GL(m,D). We show that it respects the relationship of congruence modulo {\ell}. More precisely, we show that two integral {\ell}-adic discrete series of GL(m,D) are congruent modulo {\ell} if and only if the same holds for their Jacquet-Langlands transfers to GL(m,D).
Let $F$ be a a non-Archimedean local field of characteristic 0 and $G$ be an inner form of the general linear group $G^*=\mathrm{GL}_n$ over $F$. We show that the rectifying character appearing in the essentially tame Jacquet-Langlands correspondence of Bushnell and Henniart for $G$ and $G^*$ can be factorized into a product of some special characters, called zeta-data in this paper, in the theory of endoscopy of Langlands and Shelstad. As a consequence, the essentially tame local Langlands correspondence for $G$ can be described using admissible embeddings of L-tori.
Let $F$ be a locally compact non-Archimedean field, and let $B/F$ be a division algebra of dimension 4. The Jacquet-Langlands correspondence provides a bijection between smooth irreducible representations of $B^\times$ of dimension $>1$ and irreducible cuspidal representations of $GL_2(F)$. We present a new construction of this bijection in which the preservation of epsilon factors is automatic.
In this paper, we explicitly compute the semisimplifications of all Jacquet modules of irreducible representations with generic L-parameters of p-adic split odd special orthogonal groups or symplectic groups. Our computation represents them in terms of linear combinations of standard modules with rational coefficients. The main ingredient of this computation is to apply Moeglin's explicit construction of local A-packets to tempered L-packets.
Let $F$ be a non-archimedean local field. For any irreducible representation $π$ of an inner form $G'=\mathrm{GL}_{m}(D)$ of $G=\mathrm{GL}_{N}(F)$, there exists an irredubile representation of a maximal compact open subgroup in $G'$ which is also a type for $π$. Then we can consider the problem whether these types are unique or not in some sense. If such types for $π$ are unique, we say $π$ has the strong unicity property of types. On the other hand, there exists a correspondence connecting irreducible representations of $G'$ and $G$, called the Jacquet--Langland correspondence. In this paper…
We establish several new properties of the $p$-adic Jacquet-Langlands functor defined by Scholze in terms of the cohomology of the Lubin-Tate tower. In particular, we reprove Scholze's basic finiteness theorems, prove a duality theorem, and show a kind of partial Künneth formula. Using these results, we deduce bounds on Gelfand-Kirillov dimension, together with some new vanishing and nonvanishing results. Our key new tool is the six functor formalism with solid almost $\mathcal{O}^+/p$-coefficients developed recently by the second author [Man22]. One major point of this paper is to extend the …
We prove a full global Jacquet-Langlands correspondence between GL(n) and division algebras over global fields of non zero characteristic. If $D$ is a central division algebra of dimension $n^2$ over a global field $F$ of non zero characteristic, we prove that there exists an injective map from the set of automorphic square integrable representations of the multiplicative group of $D$ to the set of automorphic square integrable representations of GL_n(F), compatible at all places with the local Jacquet-Langlands correspondence for unitary representations. We characterize the image of the map. …
In [7], results about the global Jacquet-Langlands correspondence, (weak and strong) multiplicity-one theorems and the classification of automorphic representations for inner forms of the general linear group over a number field are established, under the condition that the local inner forms are split at archimedean places. In this paper, we extend the main local results of [7] to archimedean places so that this assumption can be removed. Along the way, we collect several results about the unitary dual of general linear groups over $\bbR$, $\bbC$ or $\bbH$ of independent interest.
Let G be a general linear group over a p-adic field and let D^* be an anisotropic inner form of G. The Jacquet-Langlands correspondence between irreducible complex representations of D^* and discrete series of G does not behave well with respect to reduction modulo l\neq p. However we show that the Langlands-Jacquet transfer, from the Grothendieck group of admissible l-adic representations of G to that of D^* is compatible with congruences and reduces modulo l to a similar transfer for l-modular representations, which moreover can be characterized by some Brauer characters identities. Studying…
We show that the completed Hecke algebra of $p$-adic modular forms is isomorphic to the completed Hecke algebra of continuous $p$-adic automorphic forms for the units of the quaternion algebra ramified at $p$ and $\infty$. This gives an affirmative answer to a question posed by Serre in a 1987 letter to Tate. The proof is geometric, and lifts a mod $p$ argument due to Serre: we evaluate modular forms by identifying a quaternionic double-coset with a fiber of the Hodge-Tate period map, and extend functions off of the double-coset using fake Hasse invariants. In particular, this gives a new proo…
For any Shimura variety of Hodge type with hyperspecial level at a prime $p$ and a lisse sheaf on it, we prove a formula, conjectured by Kottwitz \cite{Kottwitz90}, for the Lefschetz number of an arbitrary Frobenius-twisted Hecke correspondence acting on the compactly supported étale cohomology and verify another conjecture of Kottwitz \cite{Kottwitz90} on the stabilization of that formula. The main ingredients of our proof of the formula are a recent work of Kisin \cite{Kisin17} on Langlands-Rapoport conjecture and the theory of Galois gerbs developed by Langlands and Rapoport \cite{LR87}. Es…
We prove the isogeny property for special fibres of integral canonical models of compact Shimura varieties of $A_n$, $B_n$, $C_n$, and $D_n^{\dbR}$ type. The approach used also shows that many crystalline cycles on abelian varieties over finite fields which are specializations of Hodge cycles, are algebraic. These two results have many applications. First, we prove a variant of the conditional Langlands--Rapoport conjecture for these special fibres. Second, for certain isogeny sets we prove a variant of the unconditional Langlands--Rapoport conjecture (like for many basic loci). Third, we prov…
We generalize the local-global compatibility result in arXiv:1506.04022 to higher dimensional cases, by examining the relation between Scholze's functor and cohomology of Kottwitz-Harris-Taylor type Shimura varieties. Along the way we prove a cuspidality criterion from type theory. We also deal with compatibility for torsion classes in the case of semisimple mod $p$ Galois representations with distinct irreducible components under certain flatness hypotheses.
A Jacquet-Langlands functor for $p$-adic locally analytic representations
Université de Clermont-Auvergne（克莱蒙奥弗涅大学）；Institute of Mathematics ”Simion Stoilow” of the Romanian Academy（罗马尼亚科学院西米恩·斯托伊洛瓦数学研究所）；Max Planck Institute for Mathematics（马克斯·普朗克数学研究所）
We express the Frobenius-Hecke traces on the compactly supported cohomology of a Shimura variety of abelian type in terms of elliptic parts of stable Arthur-Selberg trace formulas for the endoscopic groups. This confirms predictions of Langlands and Kottwitz at primes where the level is hyperspecial.
We extend the results of Kottwitz on points of Shimura varieties over finite fields to cases of bad reduction. The "test function" whose twisted orbital integrals appear in the final expression is defined geometrically using deformation spaces of p-divisible groups.
We study "quadratic periods" on quaternionic Shimura varieties and formulate an integral refinement of Shimura's conjecture regarding Petersson inner products of automorphic forms that are related by the Jacquet-Langlands correspondence. The main result is that this integral refinement is implied by another conjecture (Conjecture D below) regarding integrality of theta lifts between certain quaternionic unitary groups.
For any Shimura variety of Hodge type with hyperspecial level at a prime $p$ and automorphic lisse sheaf on it, we prove a formula, conjectured by Kottwitz \cite{Kottwitz90}, for the Lefschetz numbers of Frobenius-twisted Hecke correspondences acting on the compactly supported étale cohomology. Our proof is an adaptation of the arguments of Langlands and Rapoport \cite{LR87} of deriving the Kottwitz's formula from their conjectural description of the set of mod-$p$ points of Shimura variety (Langlands-Rapoport conjecture), which replaces their Galois gerb theoretic arguments by more geometric …
