[논문 리뷰] Transfer operators for $Γ_0(n)$ and the Hecke operators for the period functions for $PSL(2,Z)$

Joachim Hilgert, Dieter Mayer외 1명|ArXiv.org|2003. 03. 20.

Analytic Number Theory Research참고 문헌 16인용 수 27

한 줄 요약

이 논문은 모듈라 군 $\Gamma = \mathrm{PSL}(2,\mathbb{Z})$ 의 주기 함수에 작용하는 헤크 기반 연산자와 임의의 $\Gamma_0(n)$ 의 전이 연산자 사이의 직접적인 연결 고리를 확립한다. $\Gamma_0(n)$ 의 전이 연산자의 특수한 고유함수를 고유값 $\mp 1$ 으로 구성함으로써, 저자들은 이러한 해가 $\mathrm{PSL}(2,\mathbb{Z})$ 의 주기 함수 공간 위에 선형 연산자를 유도함을 보이며, 이 연산자는 에이히러–마닌–시무라 대응을 통해 유도된 헤크 기반 연산자와 정확히 일치함을 보여준다. 주요 결과는 이러한 헤크 기반 연산자가 무게를 가진 $S_n$ 의 행렬들의 합으로 표현되며, 무헬브루크와 자이거가 이전에 유도한 구성과 일치함을 보여준다.

ABSTRACT

In this article we report on a surprising relation between the transfer operators for the congruence subgroups $Γ_{0}(n)$ and the Hecke operators on the space of period functions for the modular group $\PSL (2,\mathbb{Z})$. For this we study special eigenfunctions of the transfer operators with eigenvalues $\mp 1$, which are also solutions of the Lewis equations for the groups $Γ_{0}(n)$ and which are determined by eigenfunctions of the transfer operator for the modular group $\PSL (2,\mathbb{Z})$. In the language of the Atkin-Lehner theory of old and new forms one should hence call them old eigenfunctions or old solutions of Lewis equation. It turns out that the sum of the components of these old solutions for the group $Γ_{0}(n)$ determine for any $n$ a solution of the Lewis equation for the modular group and hence also an eigenfunction of the transfer operator for this group.

연구 동기 및 목표

• 모듈라 군 $\mathrm{PSL}(2,\mathbb{Z})$ 의 주기 함수에 작용하는 헤크 기반 연산자와 임의의 교차부분군 $\Gamma_0(n)$ 의 전이 연산자 사이의 관계를 탐색하는 것.
• Lewis 방정식의 해가 $\Gamma_0(n)$ 에 대해 유도된 해가 $\mathrm{PSL}(2,\mathbb{Z})$ 의 전이 연산자의 고유함수와 어떻게 관련되어 있는지 이해하는 것.
• $\Gamma_0(n)$ 에 대해 정의된 특수한 Lewis 방정식의 해를 기반으로 하여 주기 함수 공간 위에 헤크 기반 연산자를 새로운 방식으로 구성하는 것.

제안 방법

• $\Gamma_0(n)$ 의 전이 연산자의 고유값 $\mp 1$ 을 가진 고유함수를 구성함으로써, 이는 $\Gamma_0(n)$ 의 벡터값을 가진 Lewis 방정식의 해임을 보장함.
• 아틴–레너 이론을 활용하여 이러한 해를 $\mathrm{PSL}(2,\mathbb{Z})$ 의 주기 함수로부터 유도된 '오래된' 해로 해석함.
• $\phi \mapsto \phi \mid_s \tilde{T}_n$ 의 작용을 통해 주기 함수 위에 선형 연산자 $\tilde{H}_n$ 를 정의함. 여기서 $\tilde{T}_n = \sum_{A \in S_n, \gcd(a,b,c,d)=1} A$.
• $n_2 \mid n_1$ 인 경우에 대해 인덱스 집합 $I_{n_1}$ 과 $I_{n_2}$ 사이의 표준적인 전단사 사상 $\sigma_{n_1,n_2}$ 를 구축함. 이 사상은 $\mathrm{GL}(2,\mathbb{Z})$ 작용과 호환됨.
• $\sigma_{n_1,n_2}$ 의 섬유 위에서의 합을 취하여 $\Gamma_0(n_1)$ 의 Lewis 방정식 해가 $\Gamma_0(n_2)$ 의 해로 유도됨을 보이며, 방정식의 구조를 유지함.
• $T_n = \sum_{d^2 \mid n} \begin{pmatrix} d & 0 \\ 0 & d \end{pmatrix} \tilde{T}_{n/d^2}$ 를 통해 헤크 기반 연산자 $T_n$ 을 스케일드된 $\tilde{T}_{n/d^2}$ 의 합으로 유도함.

실험 결과

연구 질문

• RQ1 전이 연산자 $\Gamma_0(n)$ 과 $\mathrm{PSL}(2,\mathbb{Z})$ 의 주기 함수에 작용하는 헤크 기반 연산자 사이의 관계는 무엇인가요?
• RQ2 $\Gamma_0(n)$ 의 Lewis 방정식의 해를 사용하여 $\mathrm{PSL}(2,\mathbb{Z})$ 의 주기 함수 공간 위에 헤크 기반 연산자를 구성할 수 있는가요?
• RQ3 $S_n$ 의 원소 중에서 $\gcd(a,b,c,d)=1$ 인 행렬들의 합으로 정의된 행렬 $\tilde{T}_n$ 과 표준적인 헤크 기반 연산자 $T_n$ 사이의 정확한 관계는 무엇인가요?
• RQ4 $\tilde{T}_n$ 과 $T_n$ 이 일치하는 조건은 무엇이며, 이는 $n$ 의 산술적 성질과 어떻게 관련되어 있는가요?
• RQ5 $I_{n_1}$ 과 $I_{n_2}$ 사이의 표준 사상 $\sigma_{n_1,n_2}$ 이 Lewis 방정식의 해의 구조를 어떻게 유지하는가요?

주요 결과

• $\tilde{H}_n\phi = \phi \mid_s \tilde{T}_n$ 로 정의된 선형 연산자 $\tilde{H}_n$ 은 $\mathrm{PSL}(2,\mathbb{Z})$ 의 Lewis 방정식의 임의의 해 $\phi$ 를 동일한 무게 $s$ 를 가진 다른 해로 매핑하며, 이는 $\tilde{H}_n$ 이 주기 함수 공간 위의 헤크 기반 연산자임을 보여준다.
• $\tilde{T}_n = \sum_{A \in S_n, \gcd(a,b,c,d)=1} A$ 로 정의된 행렬은 $\mathrm{PSL}(2,\mathbb{Z})$ 의 주기 함수 공간 위에 표준적인 슬래시 연산자 $\mid_s$ 를 통해 작용하는 헤크 기반 연산자를 생성하며, 이 작용은 Lewis 방정식의 해 공간을 유지한다.
• 무헬브루크와 자이거가 유도한 헤크 기반 연산자 $T_n$ 은 $T_n = \sum_{d^2 \mid n} \begin{pmatrix} d & 0 \\ 0 & d \end{pmatrix} \tilde{T}_{n/d^2}$ 를 만족하며, 이는 $\tilde{T}_n$ 이 $T_n$ 을 구성하는 기본 요소임을 보여준다.
• $\tilde{T}_n$ 과 $T_n$ 이 일치하는 것은 $n$ 이 제곱 자유수일 때에만 성립하며, 즉 서로 다른 소수들의 곱으로 표현되는 경우에 한하여 성립한다.
• $\mathrm{PSL}(2,\mathbb{Z})$ 의 주기 함수로부터 $\sigma_{n_1,n_2}$ 를 통해 구성된 $\Gamma_0(n)$ 의 Lewis 방정식 해는 더 낮은 수준의 해로 일致적으로 유도되며, 이는 수준 간의 일致적인 상향 전이 메커니즘을 보여준다.
• 이 구성은 $\mathrm{PSL}(2,\mathbb{Z})$ 의 주기 함수 공간 위에 정의된 헤크 기반 연산자 $T_n$ 이 $\Gamma_0(n)$ 의 특수한 Lewis 방정식 해로부터 유도될 수 있음을 보이며, 이는 헤크 작용의 동역학계적 실현을 제공한다.