Jacquet-Langlands Dual Overview

• Jacquet-Langlands Dual is the classical correspondence matching discrete series representations of GL(n) with those of its inner form division algebra based on shared L-parameters and character identities.
• In the local non-archimedean setting, it is realized through rigid-analytic and cohomological methods such as Lefschetz trace formulas on the Drinfeld tower.
• Globally, the dual extends to arithmetic, geometric, and topological contexts, underpinning automorphic transfers, Shimura-variety cohomologies, and categorical dualities.

Searching arXiv for the cited works to ground the article in current records. arxiv_search(query="Jacquet-Langlands correspondence dual local inner form GL(n) division algebra parity Mieda", max_results=5) arxiv_search(query="(Mieda, 2016) Parity of the Langlands parameters of conjugate self-dual representations of GL(n) and the local Jacquet-Langlands correspondence", max_results=5) arxiv_search(query="(Mieda, 2011) Geometric approach to the local Jacquet-Langlands correspondence", max_results=5) arxiv_search(query="(Salch et al., 2023) ell-adic topological Jacquet-Langlands duality", max_results=5) arxiv_search(query="(Badulescu, 2019) Trace Formula and the Proof of the Global Jacquet-Langlands Correspondence", max_results=5) Jacquet–Langlands dual denotes, in its classical representation-theoretic sense, the object on an inner form that corresponds to a representation of a general linear group under a Jacquet–Langlands correspondence. In the local non-archimedean case, for $G=\mathrm{GL}_n(F)$ and the unique central division algebra $D/F$ of invariant $1/n$, the Jacquet–Langlands dual of a discrete series representation of $G$ is its corresponding irreducible smooth representation of $D^\times$. In the global case, it is the automorphic representation on an inner form $G'=\mathrm{GL}_1(D)$ matching the same placewise $L$-parameters. The term has since acquired broader uses in cohomology, arithmetic geometry, chromatic homotopy theory, and geometric Langlands, but its classical core remains the transfer between $\mathrm{GL}_n$ and its inner forms, characterized by matching characters on corresponding regular elliptic classes and by common Langlands parameters (Mieda, 2016, Mieda, 2011, Badulescu, 2019).

1. Terminology, scope, and basic meaning

The phrase has a stable classical meaning and several derived meanings. Classically, “dual” does not refer to the contragredient representation. In the global inner-form setting, $\mathrm{GL}_n/F$ and $\mathrm{GL}_1(D)$ have the same $D/F$0-group, namely $D/F$1 with trivial $D/F$2-action on $D/F$3; in that sense, the duality is governed by shared Langlands parameters rather than by linear duality of vector spaces (Badulescu, 2019).

Setting	Objects	Meaning of “Jacquet–Langlands dual”
Local non-archimedean	$D/F$4 and $D/F$5	The corresponding representation on the inner form $D/F$6
Global automorphic	$D/F$7 and $D/F$8	The automorphic transfer to the inner form with matching local parameters
Function-field geometry	$D/F$9 and $1/n$0	The quaternionic Jacobian or the JL isogeny partner
Shimura-variety cohomology	$1/n$1, $1/n$2	A Hodge-class correspondence inducing the JL isomorphism on $1/n$3-isotypic cohomology
Topological/chromatic	Morava $1/n$4-theory, Lubin–Tate/Drinfeld towers	A spectrum-level analogue built from homotopy fixed points or vanishing cycles
Geometric Langlands	Whittaker/Jacquet functors, BD Grassmannian	A categorical Jacquet-type duality rather than the classical inner-form correspondence

A common source of confusion is that some papers use the expression more analogically. In the geometric Langlands setting, “Jacquet–Langlands duality” can mean a categorical duality between Poincaré series, Whittaker coefficients, and Jacquet functors, explicitly distinguished from the classical correspondence between inner forms (Lin, 2022). Likewise, on the Beilinson–Drinfeld Grassmannian, the phrase can describe the identification of Jacquet-type constructions with factorization modules attached to the Langlands dual group $1/n$5, again in a categorical rather than inner-form sense (Campbell et al., 2023). This suggests that the phrase now names a family of structurally similar correspondences whose prototype remains the inner-form transfer.

2. Local non-archimedean theory

Let $1/n$6 be a non-archimedean local field and let $1/n$7 be the unique central division algebra over $1/n$8 with invariant $1/n$9. The local Jacquet–Langlands correspondence gives a bijection

$G$0

with the Jacquet–Langlands dual of a discrete series representation $G$1 defined to be $G$2. On regular elements, the duality is characterized by character identities on matching conjugacy classes: if $G$3 and $G$4 has the same minimal polynomial, then

$G$5

and dually

$G$6

Mieda’s geometric construction realizes these identities through the $G$7-adic cohomology of the Drinfeld tower, producing inverse homomorphisms $G$8 and $G$9 on Grothendieck groups, compatible with twists and preserving central characters; when $D^\times$0 is prime, this construction preserves irreducibility and yields a purely local proof of the bijection $D^\times$1 (Mieda, 2011).

The geometric mechanism is rigid-analytic and cohomological. The Drinfeld tower carries commuting actions of $D^\times$2, $D^\times$3, and $D^\times$4, and its alternating compactly supported cohomology defines virtual modules whose characters encode the transfer. The key input is a Lefschetz trace formula relating orbital integrals to fixed-point counts, together with transfer of test functions and orthogonality of discrete-series characters. In Mieda’s formulation, the tower produces

$D^\times$5

and these are characterized by the regular elliptic character relations above (Mieda, 2011).

The local theory also admits integral and mod-$D^\times$6 refinements. Dat’s non-abelian $D^\times$7-integral Lubin–Tate theory shows that the supercuspidal part of the middle-degree compactly supported cohomology realizes the tensor product of three companions of a supercuspidal representation: the $D^\times$8-representation $D^\times$9, its Jacquet–Langlands mate $G'=\mathrm{GL}_1(D)$0 on $G'=\mathrm{GL}_1(D)$1, and its Langlands–Vignéras parameter $G'=\mathrm{GL}_1(D)$2 on $G'=\mathrm{GL}_1(D)$3. In the Grothendieck group, for finite-length mod-$G'=\mathrm{GL}_1(D)$4 representations one has

$G'=\mathrm{GL}_1(D)$5

while for supercuspidals the middle degree gives an actual tensor product rather than merely a virtual identity. The same framework produces exact functorial correspondences in flat families and identifies universal deformation rings simultaneously on the $G'=\mathrm{GL}_1(D)$6-side, the $G'=\mathrm{GL}_1(D)$7-side, and the Weil-side (Dat, 2010).

3. Global correspondence and the inner-form viewpoint

For a global field $G'=\mathrm{GL}_1(D)$8 of characteristic $G'=\mathrm{GL}_1(D)$9, let $L$0 be a central simple $L$1-algebra of dimension $L$2, $L$3, and $L$4. The global Jacquet–Langlands correspondence identifies discrete automorphic representations of $L$5 with the $L$6-compatible discrete automorphic representations of $L$7, namely those whose local components at the non-split places are essentially square-integrable and match under local JL. The correspondence preserves central characters, matches local components place by place, and preserves standard local and global $L$8- and $L$9-factors because the two sides have the same local and global $\mathrm{GL}_n$0-parameters (Badulescu, 2019).

At the local non-split places $\mathrm{GL}_n$1, the transfer is characterized by matching of regular semisimple orbital integrals and character identities for corresponding test functions; at split places, it is tautological under $\mathrm{GL}_n$2. Globally, the proof proceeds through Arthur’s stabilized trace formula and transfer of test functions. The spectral identity compares

$\mathrm{GL}_n$3

for matching functions $\mathrm{GL}_n$4 and $\mathrm{GL}_n$5, while the geometric side is organized by matched regular semisimple conjugacy classes with transfer factor $\mathrm{GL}_n$6 for these inner forms (Badulescu, 2019).

For $\mathrm{GL}_n$7 and quaternionic inner forms, the classical correspondence can also be recovered by twisted automorphic descent. In that construction, one begins with a residual Eisenstein representation on $\mathrm{GL}_n$8, applies Bessel-Fourier coefficients along carefully chosen unipotent radicals, and at $\mathrm{GL}_n$9 obtains an explicit descent to $\mathrm{GL}_n/F$0 whose Jacquet–Langlands transfer is the given automorphic representation of $\mathrm{GL}_n/F$1. The ramified places are selected by the Tunnell–Saito epsilon criterion, and the global descent integral unfolds to an Euler product involving $\mathrm{GL}_n/F$2 and $\mathrm{GL}_n/F$3, thereby recovering the classical correspondence by a method distinct from the trace formula and from Shimizu’s theta-series construction (Jiang et al., 2015).

The global inner-form viewpoint has recently been recast in operator-algebraic terms for $\mathrm{GL}_n/F$4. For a totally real field $\mathrm{GL}_n/F$5, a quaternion algebra $\mathrm{GL}_n/F$6 ramified at all infinite places, and a global pair $\mathrm{GL}_n/F$7 under JL, the $\mathrm{GL}_n/F$8-local constituents satisfy a von Neumann dimension identity

$\mathrm{GL}_n/F$9

Here the spectral mass of the two sides is measured through Murray–von Neumann dimension, and the proportionality constant is expressed by special zeta-values. This does not alter the classical correspondence, but it reframes it as a quantitative identity between $\mathrm{GL}_1(D)$0-arithmetic group-algebra modules (Yang, 2024).

4. Parity, conjugate self-duality, and the JL-dual as a detector

In the local quadratic situation $\mathrm{GL}_1(D)$1, Mieda uses the Jacquet–Langlands dual to extract parity information for Langlands parameters of conjugate self-dual supercuspidal representations of $\mathrm{GL}_1(D)$2. Let $\mathrm{GL}_1(D)$3 be an irreducible conjugate self-dual supercuspidal representation of $\mathrm{GL}_1(D)$4, and let $\mathrm{GL}_1(D)$5 be its $\mathrm{GL}_1(D)$6-dimensional Weil parameter. On both the representation side and the parameter side one defines a parity sign $\mathrm{GL}_1(D)$7 from a $\mathrm{GL}_1(D)$8-invariant bilinear pairing, with $\mathrm{GL}_1(D)$9 corresponding to conjugate orthogonal and $D/F$00 to conjugate symplectic. Assuming $D/F$01 is at worst tamely ramified and $D/F$02 has invariant $D/F$03, Mieda constructs an automorphism $D/F$04 of $D/F$05 and an element $D/F$06 with $D/F$07, proves that $D/F$08 is conjugate self-dual, and establishes the parity formula

$D/F$09

This extends the self-dual parity theorem of Prasad–Ramakrishnan to the conjugate self-dual supercuspidal case (Mieda, 2016).

The proof is cohomological. It uses the Lubin–Tate tower and the identification

$D/F$10

together with a cup-product pairing and a twisting operator $D/F$11 that converts the pairing into a Hermitian form adapted to conjugate self-duality. The relation $D/F$12 on cohomology forces the sign discrepancy $D/F$13 between the $D/F$14-side and the Weil-side. In this sense, the JL-dual becomes a parity detector: once $D/F$15 is computed on the inner form, the sign of the Langlands parameter follows immediately (Mieda, 2016).

This has arithmetic consequences. In characteristic $D/F$16, when $D/F$17, the parity $D/F$18 determines whether $D/F$19 lies in the image of the standard or twisted base change from the quasi-split unitary group $D/F$20. Mieda also computes the signs explicitly for simple supercuspidals. For example, in the unramified quadratic case, if $D/F$21 is conjugate self-dual, then

$D/F$22

while in the ramified quadratic case with $D/F$23, the sign is $D/F$24 when $D/F$25 is trivial and $D/F$26 otherwise; in the self-dual case $D/F$27, simple supercuspidals of $D/F$28 with trivial central character have symplectic parameter (Mieda, 2016).

5. Geometric and arithmetic realizations

In the function-field setting, the Jacquet–Langlands dual can appear as a Jacobian or as the target of an explicit isogeny. For $D/F$29, square-free level $D/F$30, and the quaternion algebra $D/F$31 ramified exactly at the primes dividing $D/F$32 and split at $D/F$33, the global JL correspondence yields a Hecke-equivariant isogeny

$D/F$34

where $D/F$35 is the Jacobian of the quaternionic modular curve attached to $D/F$36. In the special case $D/F$37 with $D/F$38 and $D/F$39, the paper computes

$D/F$40

shows $D/F$41, and, under an integral Hecke-module identification together with Gorenstein hypotheses at primes dividing $D/F$42, constructs a JL isogeny with kernel

$D/F$43

Here the JL dual is not a representation but the quaternionic Jacobian $D/F$44, and the transfer is encoded by an explicit cuspidal, Eisenstein-annihilated kernel (Papikian et al., 2013).

In the setting of quaternionic Shimura varieties, the correspondence can be realized by a Hodge class. Let $D/F$45 and $D/F$46 be quaternion algebras over a totally real field $D/F$47, split at the same archimedean places $D/F$48, and let $D/F$49 be the associated Shimura varieties of dimension $D/F$50. For a cohomological automorphic representation $D/F$51 of $D/F$52 with JL transfers $D/F$53 to $D/F$54, the paper constructs

$D/F$55

of Hodge type $D/F$56, and the associated correspondence

$D/F$57

is an isomorphism of $D/F$58-Hodge structures. Conditional on Kottwitz’s conjecture for unitary similitude Shimura varieties, the $D/F$59-adic realization of $D/F$60 is Galois invariant for every $D/F$61, so the same class induces an isomorphism of $D/F$62-modules on the $D/F$63-isotypic middle-degree étale cohomology. In this formulation, the Jacquet–Langlands dual is a cohomological object produced by a pull-push operator attached to a rational Hodge class rather than by a direct statement about representations alone (Ichino et al., 2018).

These realizations share a common pattern: the classical transfer between inner forms is encoded by geometry, either through Jacobians and isogenies or through cycles and cohomological correspondences. A plausible implication is that the phrase “JL-dual” remains stable even when the ambient category changes, provided the resulting object still implements the same Hecke- and parameter-theoretic matching.

6. Topological, categorical, and factorization analogues

Recent work extends the terminology into chromatic and categorical contexts. In $D/F$64-adic topological Jacquet–Langlands duality, the Lubin–Tate tower is enlarged to a “degenerating Lubin–Tate tower,” endowed with presheaves of $D/F$65-ring spectra. Applying algebraic $D/F$66-theory and spectral vanishing cycles yields a cohomology spectrum

$D/F$67

with a natural $D/F$68-action. For each supercuspidal irreducible $D/F$69-representation $D/F$70 of $D/F$71, the rational homotopy group $D/F$72 contains $D/F$73 as a summand. The associated topological Jacquet–Langlands dual of a spectrum $D/F$74,

$D/F$75

converts $D/F$76-types in $D/F$77 into $D/F$78-types in its homotopy. At height $D/F$79, the construction preserves $D/F$80-factors: the automorphic $D/F$81-factor of the $D/F$82-representation attached to $D/F$83 equals the $D/F$84-local Euler factor $D/F$85 (Salch et al., 2023).

A related integral construction refines the Lubin–Tate tower itself in spectral algebraic geometry. Finite levels are represented by $D/F$86-rings $D/F$87, their inverse limit

$D/F$88

carries commuting $D/F$89 and Morava stabilizer $D/F$90 actions, and the Jacquet–Langlands dual of Morava $D/F$91-theory is defined by

$D/F$92

This is an $D/F$93-ring, and there is a dual homotopy fixed point spectral sequence

$D/F$94

positioned as an automorphic partner to the Devinatz–Hopkins spectral sequence for $D/F$95. Here “JL dual” means descent from the Lubin–Tate side to the Drinfeld side via infinite-level spectral moduli and homotopy fixed points (Ma et al., 31 Aug 2025).

On the categorical side, the Beilinson–Drinfeld Grassmannian supports a factorization version of derived geometric Satake in which renormalized spherical Hecke categories are identified with spectral factorization categories attached to the Langlands dual group. In the spherical case,

$D/F$96

while in the parabolic setting one has

$D/F$97

The relevant Jacquet-type categories are described by integrable factorization modules for $D/F$98 and by monads such as $D/F$99. This is not the classical inner-form correspondence, but it is presented as a precise “Jacquet–Langlands dual” paradigm in which automorphic Jacquet constructions correspond to spectral chiral induction for $1/n$00 (Campbell et al., 2023).

The same caveat is explicit in global geometric Langlands for Poincaré series and miraculous duality. There the central statement is a functorial identity

$1/n$01

together with parabolic Jacquet identities controlling constant terms of Poincaré series and Whittaker coefficients of Eisenstein series. The paper emphasizes that this is a geometric, categorical duality between automorphic functors and their Verdier or Serre duals, not the classical JL correspondence between automorphic representations on inner forms (Lin, 2022).

Across these extensions, the classical notion persists as the reference case. What changes is the ambient category: smooth representations, cohomology groups, Jacobians, $1/n$02-ring spectra, or factorization categories. The continuing role of the phrase “Jacquet–Langlands dual” indicates that the transfer between $1/n$03-type and inner-form or dual-side data has become a template for a broader family of correspondences.