An Arithmetic Invariant of the Jacquet-Langlands correspondence

这是一份关于 Jun Yang 论文《Jacquet-Langlands 对应中的算术不变量》（An Arithmetic Invariant of the Jacquet-Langlands correspondence）的详细技术总结。

1. 研究背景与问题 (Problem)

Jacquet-Langlands 对应是数论和自守形式理论中的核心概念，它建立了全局域 $F$ 上一般线性群 $GL(n)$与其内形式（即中心除代数$D$上的$GL(n, D)$）的自守表示之间的对应关系。

本文旨在解决以下核心问题：

• 局部与全局的兼容性： 在局部域 $F_v$ 上，已知 Jacquet-Langlands 对应保持形式度（formal degree）或 Plancherel 测度的比例关系（即 $d\nu_v(\pi_v) / d\nu'_v(\pi'_v) = c_v$）。然而，常数 $c_v$ 通常依赖于 Haar 测度的选取。
• 全局测度的唯一性： 全局上存在唯一的规范测度，即 Tamagawa 测度（Tamagawa measure），它由局部测度的乘积自然定义。
• 核心疑问： 是否存在一组局部 Haar 测度 $\mu_v, \mu'_v$，使得：
  1. 它们的乘积 $\prod \mu_v$ 和 $\prod \mu'_v$ 分别构成全局群上的 Tamagawa 测度？
  2. 在此测度下，局部 Jacquet-Langlands 对应完全保持 Plancherel 测度（即比例常数 $c_v = 1$）？
  3. 这种局部的一致性是否意味着全局 Jacquet-Langlands 对应保持了算术子群上的“密度”（density）或维数（dimension）？

2. 方法论 (Methodology)

作者采用了一套结合局部调和分析、代数群理论和冯·诺依曼代数（von Neumann algebra）理论的综合方法：

• 局部测度的规范化：
  • 非阿基米德情形： 利用除代数 $D_v$ 和矩阵代数 $Mat(n_v, D_v)$ 上的最大序（maximal order）定义加法 Haar 测度，进而定义乘法 Haar 测度。通过计算最大紧子群的体积，构造出与 Tamagawa 测度相容的局部测度。
  • 阿基米德情形： 利用不变微分形式定义 Haar 测度，并特别处理了 $GL(n, \mathbb{R})$ 与其内形式 $GL(n, \mathbb{H})$（四元数）之间的对应。
• Plancherel 测度的比较：
  • 利用 Harish-Chandra 的 Plancherel 公式和 Steinberg 表示的形式度，比较对应表示的 Plancherel 密度。
  • 证明在选取上述特定的局部 Tamagawa 测度时，局部 Jacquet-Langlands 对应保持 Plancherel 测度不变（即 $d\nu_v(\pi_v) = d\nu'_v(\pi'_v)$）。
• 算术不变量的定义：
  • 引入**离散群上的密度（density）**概念，这是冯·诺依曼维数（von Neumann dimension）的推广。对于离散群 $\Gamma$ 和表示 $\pi$，定义 $d_\Gamma(\pi)$。
  • 处理投影表示（projective representations）：由于从 $GL(n)$到$PGL(n)$ 的投影会引入 2-上循环（2-cocycle）$\sigma$，作者定义了扭曲的冯·诺依曼密度 $d_{\Gamma, \sigma}(\pi)$。
• 全局兼容性证明：
  • 利用强逼近性质（Strong Approximation）和 S-算术子群（S-arithmetic subgroups）的协体积（covolume）公式，将局部测度的兼容性提升到全局层面。

3. 主要贡献与结果 (Key Contributions & Results)

3.1 局部 Plancherel 测度的兼容性 (Theorem 3.9)

作者证明了存在一组局部 Haar 测度 $\mu_v, \mu'_v$（即局部 Tamagawa 测度），满足：

1. 它们的乘积 $\prod \mu_v$ 和 $\prod \mu'_v$ 分别是全局群 $GL(nd, \mathbb{A})$ 和 $GL(n, D(\mathbb{A}))$ 上的 Tamagawa 测度。
2. 对于任意局部 Jacquet-Langlands 对应 $\pi_v \leftrightarrow \pi'_v$，其 Plancherel 测度完全相等：
   $$d\nu_v(\pi_v) = d\nu'_v(\pi'_v)$$
   这消除了以往结果中依赖于 Haar 测度选取的比例常数 $c_v$。

3.2 算术不变量的保持 (Theorem 4.3)

这是论文的核心算术结果。设 $\pi$ 和 $\pi'$ 是通过全局 Jacquet-Langlands 对应匹配的尖点自守表示（cuspidal automorphic representations），$S$ 是包含所有分歧点（ramification set）的有限位点集。
作者证明了在 $S$-算术子群 $\Gamma_S$ 和 $\Gamma'_S$ 上，对应的扭曲冯·诺依曼密度是相等的：
$$d_{\Gamma_S, \sigma(\pi_S)}(\pi_S) = d_{\Gamma'_{S}, \sigma(\pi'_S)}(\pi'_S)$$
其中 $\sigma$ 是由表示诱导的 2-上循环。

3.3 协体积与维数的对应 (Corollary 4.2 & 4.5)

• 证明了内形式 $G$ 和 $G'$ 的 $S$-算术子群在 Tamagawa 测度下的协体积（covolume）是相等的。
• 对于平方可积表示（square-integrable representations），上述密度相等直接转化为冯·诺依曼维数的相等：
  $$\dim_{L(\Gamma_S, \sigma)} \pi_S = \dim_{L(\Gamma'_S, \sigma)} \pi'_S$$
  这意味着 Jacquet-Langlands 对应不仅匹配了表示，还匹配了这些表示作为算术群模的“大小”。

4. 意义与影响 (Significance)

1. 统一了局部与全局视角： 论文成功地将局部 Plancherel 测度的比例关系与全局 Tamagawa 测度的唯一性统一起来，证明了在自然选取的 Tamagawa 测度下，Jacquet-Langlands 对应是“等度”的（measure-preserving）。
2. 提供了新的算术不变量： 引入并计算了基于冯·诺依曼代数的“密度”作为 Jacquet-Langlands 对应的不变量。这为研究自守表示的算术性质提供了新的工具，特别是在处理非紧商空间上的离散谱时。
3. 深化了对内形式的理解： 结果揭示了 $GL(n)$ 与其内形式（如除代数上的线性群）在算术层面（S-算术子群的几何体积和表示论维数）的深刻对称性。
4. 对朗兰兹纲领的补充： 虽然朗兰兹纲领主要关注 L-函数的匹配，本文从测度和几何体积的角度提供了另一层面的对应证据，特别是对于 Ramanujan-Petersson 猜想（所有尖点表示均为 tempered）成立的情形（如函数域或 $n=2$ 的数域情形），该结论具有明确的算术解释。

总结：
Jun Yang 的这篇论文通过精细的测度论计算和冯·诺依曼代数理论，证明了 Jacquet-Langlands 对应不仅保持表示的代数结构，还保持了其背后的算术几何结构（Tamagawa 测度）和解析结构（Plancherel 测度），从而确立了“密度”作为该对应下的一个关键算术不变量。