[논문 리뷰] Type II$_1$ von Neumann algebra representations of Hecke operators on Maass forms and the Ramanujan-Petersson conjectures

Florin Rădulescu|arXiv (Cornell University)|2008. 02. 25.

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 연산자에 대한 새로운 연산자 대수적 프레임워크를 수립하기 위해.
• 고전적 Hecke 연산자 $T_p$의 본질 스펙트럼이 Ramanujan-Petersson 추측에서 예측한 바와 같이 $[-2\sqrt{p}, 2\sqrt{p}]$ 내에 포함됨을 증명하기 위해.
• PSL(2,ℝ)의 이산 계열 표현의 행렬 계수를 이용한 상반평면의 양자화 변형을 통한 Hecke 연산자의 유니터리 동치 표현을 구성하기 위해.
• 유한 지수의 모듈라 부분군 $\Gamma_0(p^n)$로 이 방법을 확장하여, Hecke 연산자의 본질 노름이 $\ell^2((\Gamma_0(p^n))\backslash\mathrm{PGL}(2,\mathbb{Z}[1/p]))$ 위의 해당 콘볼루션 연산자의 노름과 일치함을 보여주기 위해.

제안 방법

• 상반평면에서 PSL(2,ℤ)의 기본 도메인에 대한 Berezin의 양자화로부터 유도된 Type II₁ von Neumann 대수 위에서 Hecke 연산자를 완전 양의 매핑으로 표현하기 위해.
• PSL(2,ℝ)의 이산 계열 표현의 행렬 계수를 PGL(2,ℚ)로 제한하여 유도된, PGL(2,ℚ) 위의 상태에 대한 Schur 유형의 양의 제곱근을 구성하여, 기본 도메인의 이동을 측정하기 위해.
• G = \mathrm{PGL}(2,\mathbb{Q})의 프로젝티브 유니터리 표현 $\pi$를 $\ell^2(\Gamma)$ 위에서 정의하고, 힐버트 공간 $H_0 \otimes V$ 위에서 $\ast$-표현을 정의하기 위해, 여기서 $H_0 = \ell^2(\Gamma/G)$ 이고 $V = \ell^2(\Gamma)$ 이다.
• 이중 코셋 $[\Gamma\sigma\Gamma]$에 대한 표현 $\Pi$에 의한 상응하는 이미지로서 Hecke 연산자 $T^{[\Gamma\sigma\Gamma]}$를 정의하며, 이는 $\langle \pi_0(\theta)1, 1 \rangle$ 및 $\langle \theta \chi_{\theta,\sigma^{-1}}(v)\sigma^{-1}, v \rangle$를 포함한 행렬 계수를 갖는다.
• 코셋 공간의 von Neumann 대수 $\mathcal{L}(G)$ 내에 임bedding된 방식을 이용하여, 고전적 Hecke 연산자와 양자화 표현 사이의 유니터리 동치를, 공통의 위상과 함께 확립하기 위해.
• 행렬의 양성 구조를 $C^\ast$-대수 프레임워크에 적용하여 스펙트럼 경계, 특히 $T_p$의 본질 스펙트럼에 대한 경계를 유도하기 위해.

실험 결과

연구 질문

• RQ1 고전적 Hecke 연산자 $T_p$는 PSL(2,ℤ)의 기본 도메인의 양자화를 통해 Type II₁ von Neumann 대수 위의 완전 양의 매핑으로 표현될 수 있는가?
• RQ2 양자화 변형의 비가환 대수의 기초가 되는 행렬의 양성 구조는 Hecke 연산자, 특히 그들의 본질 스펙트럼에 대해 스펙트럼 제어를 가능하게 하는가?
• RQ3 Hecke 연산자 $T_p$의 본질 스펙트럼은 Ramanujan-Petersson 추측에서 예측한 바와 같이 $[-2\sqrt{p}, 2\sqrt{p}]$ 내에 포함되는가?
• RQ4 이 방법은 유한 지수의 모듈라 부분군 $\Gamma_0(p^n)$로 일반화될 수 있으며, Hecke 연산자의 본질 노름은 $\ell^2((\Gamma_0(p^n))\backslash\mathrm{PGL}(2,\mathbb{Z}[1/p]))$ 위의 해당 콘볼루션 연산자의 노름과 일치하는가?
• RQ5 PGL(2,ℚ) 위의 이동 상태에 대한 Schur 유형의 양의 제곱근은 고전적 Hecke 연산자와 양자화된 Hecke 연산자 사이의 유니터리 동치를 구성하는 데 어떤 역할을 하는가?

주요 결과

• Maass 형식에 대한 고전적 Hecke 연산자는, 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$를 따라 합산되며, 비영인 기여는 $\theta = \gamma\sigma\gamma^{-1} \in \Gamma \cap \sigma\Gamma\sigma^{-1}$ 인 경우에만 존재한다. 이는 $\langle \pi_0(\theta)1, 1 \rangle \overline{\langle \pi_0(\theta)\gamma, \pi_0(\theta)\gamma \rangle}$ 형태의 항을 포함한다.