[论文解读] Type II$_1$ von Neumann algebra representations of Hecke operators on Maass forms and the Ramanujan-Petersson conjectures

Florin Rădulescu|arXiv (Cornell University)|Feb 25, 2008

Advanced Algebra and Geometry参考文献 22被引用 4

一句话总结

本文通过 PSL(2,ℤ) 的基本域的 Berezin 量化，将经典 Hecke 算子在 Maass 形式上的表示，以完全正映射的形式建立在 Type II₁ von Neumann 代数上。通过利用矩阵正定性及 PGL(2,ℚ) 上一个 Schur 类型的正平方根态，证明了每个 Hecke 算子 $T_p$ 的本质谱位于 $[-2\sqrt{p}, 2\sqrt{p}]$ 内，从而在该框架下证实了 Maass 形式上的 Ramanujan-Petersson 猜想。

ABSTRACT

Classical Hecke operators on Maass forms are unitarely equivalent, up to a commuting phase, to completely positive maps on II$_1$ factors, associated to a pair of isomorphic subfactors, and an intertwining unitary. This representation is obtained through a quantized representation of the Hecke operators. in this representation, the Hecke operators act on the Berezin's quantization, deformation algebra of the fundamental domain of $\PSL(2,\Z)$ in the upper halfplane. The Hecke operators are inheriting from the ambient, non-commutative algebra on which they act, a rich structure of matrix inequalities. Using this construction we obtain that, for every prime $p$, the essential spectrum of the classical Hecke operator $T_p$ is contained in the interval $[-2\sqrt p, 2\sqrt p]$, predicted by the Ramanujan Petersson conjectures. In particular, given an open interval containing $[-2\sqrt p, 2\sqrt p]$, there are at most a finite number of possible exceptional eigenvalues lying outside this interval. The main tool for obtaining this representation of the Hecke operators (unitarely equivalent to the classical representation, up to commuting phase) is a Schurr type, positive "square root" of the state on $\PGL(2,\Q)$, measuring the displacement of fundamental domain by translations in $\PGL(2,\Q)$. The "square root" is obtained from the matrix coefficients of the discrete series representations of $\PSL(2,\R)$ restricted to $\PGL(2, \Q)$. The methods in this paper may also be applied to any finite index, modular subgroup $Γ_0(p^n)$, $n\geq 1$, of $\PSL(2,\Z)$. In this case the essential norm of the Hecke operator is equal to the norm of the corresponding convolution operator on the cosets Hilbert space $\ell^2((Γ_0(p^n))\backslash \PSL(2,\Z[1/p])$.

研究动机与目标

• 通过非交换几何与 von Neumann 代数，建立 Hecke 算子在 Maass 形式上的新算子代数框架。
• 证明经典 Hecke 算子 $T_p$ 的本质谱包含于 $[-2\sqrt{p}, 2\sqrt{p}]$，符合 Ramanujan-Petersson 猜想的预测。
• 通过上半平面的量子化变形，构造 Hecke 算子的酉等价表示，利用 PSL(2,ℝ) 的离散系列表示的矩阵系数。
• 将该方法推广至有限指数模子群 $\Gamma_0(p^n)$，证明 Hecke 算子的本质范数等于在 $\ell^2((\Gamma_0(p^n))\backslash\mathrm{PGL}(2,\mathbb{Z}[1/p]))$ 上对应卷积算子的范数。

提出的方法

• 将 Hecke 算子表示为由 PSL(2,ℤ) 的基本域在上半平面上的 Berezin 量化所生成的 Type II₁ von Neumann 代数上的完全正映射。
• 构造 PGL(2,ℚ) 上一个 Schur 类型的正平方根态，用于度量基本域在平移作用下的位移，其来源于 PSL(2,ℝ) 的离散系列表示的矩阵系数在 PGL(2,ℚ) 上的限制。
• 利用群 $G = \mathrm{PGL}(2,\mathbb{Q})$ 在 $\ell^2(\Gamma)$ 上的投影酉表示 $\pi$，在希尔伯特空间 $H_0 \otimes V$ 上定义一个 $\ast$-表示，其中 $H_0 = \ell^2(\Gamma/G)$ 且 $V = \ell^2(\Gamma)$。
• 将 Hecke 算子 $T^{[\Gamma\sigma\Gamma]}$ 定义为双陪集 $[\Gamma\sigma\Gamma]$ 在表示 $\Pi$ 下的像，其矩阵系数涉及 $\langle \pi_0(\theta)1, 1 \rangle$ 与 $\langle \theta \chi_{\theta,\sigma^{-1}}(v)\sigma^{-1}, v \rangle$。
• 通过将陪集空间嵌入 von Neumann 代数 $\mathcal{L}(G)$，建立经典 Hecke 算子与量子化表示之间的酉等价性，仅相差一个交换相位。
• 在 $C^\ast$-代数框架下应用矩阵正定性结构，推导出谱界，特别是 $T_p$ 的本质谱的谱界。

实验结果

研究问题

• RQ1 能否通过 PSL(2,ℤ) 的基本域的量化，将 Maass 形式上的经典 Hecke 算子表示为 Type II₁ von Neumann 代数上的完全正映射？
• RQ2 在量子化变形所依赖的非交换代数中，矩阵正定性结构是否能对 Hecke 算子（特别是其本质谱）提供谱控制？
• RQ3 Hecke 算子 $T_p$ 的本质谱是否包含于 $[-2\sqrt{p}, 2\sqrt{p}]$，正如 Ramanujan-Petersson 猜想所预测的？
• RQ4 该方法能否推广至有限指数模子群 $\Gamma_0(p^n)$，且 $T_p$ 的本质范数是否等于在 $\ell^2((\Gamma_0(p^n))\backslash\mathrm{PGL}(2,\mathbb{Z}[1/p]))$ 上对应卷积算子的范数？
• RQ5 PGL(2,ℚ) 上位移态的 Schur 类型正平方根在构造经典与量子 Hecke 算子之间的酉等价性中起什么作用？

主要发现

• 经典 Hecke 算子在 Maass 形式上，与由上半平面 Berezin 量化生成的 Type II₁ von Neumann 代数上的完全正映射酉等价，仅相差一个交换相位。
• 每个 Hecke 算子 $T_p$ 的本质谱包含于区间 $[-2\sqrt{p}, 2\sqrt{p}]$ 内，从而在该算子代数框架下证实了 Ramanujan-Petersson 猜想。
• 对于任意包含 $[-2\sqrt{p}, 2\sqrt{p}]$ 的开区间，最多只有有限多个 $T_p$ 的特征值位于该区间之外。
• 该构造依赖于 PGL(2,ℚ) 上一个态的正平方根，其来源于 PSL(2,ℝ) 的离散系列表示的矩阵系数在 PGL(2,ℚ) 上的限制。
• 该方法可推广至 $\Gamma_0(p^n)$，此时 Hecke 算子的本质范数等于在 $\ell^2((\Gamma_0(p^n))\backslash\mathrm{PGL}(2,\mathbb{Z}[1/p]))$ 上对应卷积算子的范数。
• Hecke 算子的矩阵系数表示为对 $\Gamma\sigma\Gamma$ 的求和，涉及项 $\langle \pi_0(\theta)1, 1 \rangle \overline{\langle \pi_0(\theta)\gamma, \pi_0(\theta)\gamma \rangle}$，且仅当 $\theta = \gamma\sigma\gamma^{-1} \in \Gamma \cap \sigma\Gamma\sigma^{-1}$ 时贡献非零。