🔢 mathematics

An Arithmetic Invariant of the Jacquet-Langlands correspondence

This paper establishes that the global Jacquet-Langlands correspondence preserves densities over principal arithmetic groups by demonstrating the local-global compatibility of local Plancherel measures and the Tamagawa measure.

Original authors: Jun Yang

Published 2026-04-21

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Jun Yang

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are an architect trying to understand the blueprints of two very different buildings. One is a sleek, modern skyscraper made of glass and steel (let's call it Building A). The other is a sturdy, ancient castle made of stone and wood (let's call it Building B).

To the naked eye, they look nothing alike. They have different shapes, different materials, and different histories. However, a brilliant mathematician named Jun Yang has discovered a secret "translation key" that proves these two buildings are actually built on the exact same mathematical foundation.

This paper is about proving that when you translate the "vibrations" (or sounds) of one building into the other, the volume and the energy of those sounds remain perfectly balanced.

Here is the breakdown of the paper's big ideas using everyday analogies:

1. The Two Buildings: GL(n) and its "Inner Form"

In the world of math, there are groups of numbers called GL(n) (Building A). There are also "twisted" versions of these groups called Inner Forms (Building B).

Building A (GL(n)) is like a standard, flat grid of numbers. It's easy to work with, but sometimes it's too "flat" to solve certain deep problems.
Building B (The Inner Form) is like a twisted, curved version of that grid. It's harder to navigate, but it holds secrets that the flat version hides.

For decades, mathematicians have known there is a correspondence between them (the Jacquet-Langlands correspondence). It's like having a dictionary that says, "If you have a specific sound in Building A, here is the matching sound in Building B."

2. The Problem: Measuring the "Volume" of Sound

The paper tackles a specific problem: How loud is a sound?

In math, the "loudness" of a representation (a specific pattern of numbers) is measured by something called a Plancherel measure.

Think of this as the volume knob on a stereo.
For a long time, mathematicians knew that if you matched a sound in Building A to Building B, the "volume" was proportional. But the ratio depended on how you set your local volume knobs (Haar measures).
The problem was: If you try to add up the volume of sounds from every location in the universe (all the "places" of a number field), the total volume explodes to infinity. It's like trying to sum up the sound of every person in the world at once; the number gets too big to handle.

3. The Solution: The "Tamagawa" Standard

Jun Yang's breakthrough is finding the perfect volume setting.

He asks: Is there a specific way to set the volume knobs on both buildings so that the "loudness" matches exactly 1-to-1?

He introduces a special, "canonical" volume setting called the Tamagawa measure. Think of this as the Universal Standard Volume. It's a way of measuring space that nature itself seems to prefer (it's used in famous proofs about the shape of the universe).

The Big Discovery (Lemma 1.1):
Yang proves that if you use this Universal Standard Volume for both buildings, the "loudness" of a matching sound in Building A is exactly equal to the loudness of its match in Building B.

Before: Loudness A = $C \times$ Loudness B (where $C$ was a messy constant).
Now: Loudness A = Loudness B.

4. The "Density" Analogy: Fitting People into Rooms

The second half of the paper deals with Arithmetic Groups.

Imagine Building A and Building B are huge hotels.
Inside these hotels, there are specific, repeating patterns of guests (the Arithmetic Subgroups).
The paper asks: If you take a specific "sound" (a representation) and see how it fits into the guest patterns of Hotel A, does it fit the same way in Hotel B?

Yang uses a concept called Density.

Imagine you are trying to pack people into a room. Density is the measure of how "crowded" the room feels for a specific group of people.
The paper proves that if you take a "sound" from the global correspondence (the big match between the two hotels), the crowdedness (density) of that sound in Hotel A is identical to the crowdedness in Hotel B.

5. Why Does This Matter?

This might sound like abstract geometry, but it's actually about consistency in the universe of numbers.

Unifying the View: It shows that the "twisted" version of our number systems (the Inner Forms) isn't just a weird side-note; it's a perfect mirror of the standard version.
Solving the Infinity Problem: By using the Tamagawa measure, Yang bypasses the problem of infinite sums. He shows that even though the total volume is infinite, the ratio of how things fit together is perfectly preserved.
A New Invariant: He creates a new "fingerprint" (an arithmetic invariant) for these mathematical objects. If two objects have the same density, they are fundamentally linked.

The Takeaway

Jun Yang has found the Universal Translator for the volume and density of mathematical sounds. He proved that if you speak the language of the "Standard Building" (GL(n)) and the "Twisted Building" (Inner Forms) using the same "Universal Volume" (Tamagawa measure), they are not just similar—they are mathematically identical in how they occupy space and carry energy.

It's like discovering that a symphony played on a piano and a symphony played on a violin, when tuned to the same absolute standard, have the exact same "weight" and "density," even though the instruments look completely different.

1. Problem Statement

The paper addresses a fundamental gap in the understanding of the global Jacquet-Langlands (JL) correspondence. While the local JL correspondence (relating representations of $GL(n, F_v)$ and its inner forms $GL(n_v, D_v)$ ) is well-established, extending this to a global arithmetic invariant has been hindered by two main difficulties:

Divergence of Global Measures: For adelic groups, the product of local formal degrees or local Plancherel measures diverges. Consequently, neither a global formal degree nor a global Plancherel measure is well-defined for automorphic representations.
Canonical Normalization: While local Haar measures can be renormalized arbitrarily, there exists a unique, canonical Tamagawa measure on the adelic group. The challenge is to determine if there exists a family of local Haar measures compatible with the Tamagawa measure such that the JL correspondence preserves the associated Plancherel measures (i.e., the proportionality constant $c_v = 1$ ).

The author seeks to define and prove the preservation of an arithmetic invariant (specifically, the "density" of representations) over arithmetic subgroups under the global JL correspondence.

2. Methodology

The author employs a multi-step approach combining local harmonic analysis, measure theory, and the theory of von Neumann algebras:

Local Measure Normalization: The author explicitly constructs local Haar measures on $GL(n, F_v)$ and its inner forms $GL(n_v, D_v)$ for both non-archimedean and archimedean places. These measures are normalized to be the local Tamagawa measures.
Plancherel Measure Compatibility: Using the explicit formulas for Plancherel measures (via Harish-Chandra's theory for real groups and the canonical Harish-Chandra measure for $p$ -adic groups), the author proves that with the specific choice of Tamagawa measures, the local JL correspondence preserves the Plancherel density.
Von Neumann Density: To bypass the divergence of global products, the paper adapts the notion of von Neumann dimension (from the theory of discrete groups and group von Neumann algebras) to define a "density" $d_{\Gamma}(\pi)$ for representations over arithmetic subgroups. This generalizes the concept of dimension to infinite groups.
Twisted Representations: The author accounts for the fact that passing to projective groups (like $PGL$) introduces 2-cocycles. The theory is extended to $\sigma$ -projective representations and twisted group von Neumann algebras $L(\Gamma, \sigma)$ .
Covolume Comparison: The proof relies on comparing the covolumes of $S$ -arithmetic subgroups in the split and non-split groups, utilizing the strong approximation property and the fact that Tamagawa numbers are invariant under inner forms.

3. Key Contributions and Results

A. Local-Global Compatibility of Measures (Section 3)

The paper establishes Lemma 1.1 and Theorem 3.9, proving that there exists a specific family of local Haar measures (the Tamagawa measures) such that:

Their product over all places yields the global Tamagawa measure on the adelic group.
The local Jacquet-Langlands correspondence preserves the associated Plancherel measures exactly.
$d\nu_v(\pi_v) = d\nu'_v(\pi'_v)$
This holds for both non-archimedean places (via explicit calculation of volumes of maximal compact subgroups and formal degrees of Steinberg representations) and archimedean places (via L-packets and Harish-Chandra's formula).

B. Definition of Arithmetic Invariant (Section 2 & 4)

The author defines the $\Gamma$ -density $d_{\Gamma, \sigma}(\pi)$ for a representation $\pi$ over an arithmetic subgroup $\Gamma$ (specifically principal $S$ -arithmetic subgroups of $PGL(n)$ and its inner forms). This is defined via the von Neumann dimension of the representation viewed as a module over the twisted group von Neumann algebra $L(\Gamma, \sigma)$ .

C. Main Theorem: Preservation of Density (Section 4)

Theorem 1.2 and Theorem 4.3 constitute the core result:
If $\pi$ and $\pi'$ are tempered cuspidal automorphic representations of $GL(nd, \mathbb{A})$ and $GL(n, D(\mathbb{A}))$ matched by the global JL correspondence, and $S$ is a finite set of places containing the ramification set of the division algebra $D$ (such that the groups are non-compact modulo centers), then:
$d_{\Gamma_S, \sigma(\pi_S)}(\pi_S) = d_{\Gamma'_S, \sigma(\pi'_S)}(\pi'_S)$
where $\Gamma_S$ and $\Gamma'_S$ are the corresponding principal $S$ -arithmetic subgroups.

D. Corollary on Dimensions

Corollary 4.5 extends this to the case of square-integrable representations, stating that the von Neumann dimensions of the representations over the arithmetic subgroups are equal:
$\dim_{L(\Gamma_S, \sigma)} \pi_S = \dim_{L(\Gamma'_S, \sigma)} \pi'_S$

4. Significance

Resolution of Normalization: The paper resolves the ambiguity of measure normalization in the global JL correspondence. It demonstrates that the "natural" Tamagawa measure is the unique choice that makes the correspondence an isometry of Plancherel measures locally.
New Arithmetic Invariant: It introduces a robust arithmetic invariant (density) that remains well-defined even when global formal degrees diverge. This provides a new tool for comparing automorphic representations on inner forms.
Unification of Local and Global: The work bridges the gap between local harmonic analysis (Plancherel measures) and global arithmetic geometry (covolumes of arithmetic subgroups), showing that the JL correspondence preserves the "size" of representations in the sense of von Neumann dimension.
Implications for Ramanujan Conjecture: The results hold under the assumption that representations are tempered. Given the Ramanujan-Petersson conjecture (proven for function fields and partially for number fields), these invariants are applicable to a vast class of automorphic representations, offering a concrete numerical equality between the "sizes" of representations on $GL(n)$ and its inner forms.

In summary, Jun Yang proves that the Jacquet-Langlands correspondence is not just a bijection of representations but an isomorphism that preserves the intrinsic "density" of these representations over arithmetic subgroups, provided the measures are normalized according to the Tamagawa measure.