[논문 리뷰] Symmetries of the transfer operator for $\Gamma_0(N)$ and a character deformation of the Selberg zeta function for $\Gamma_0(4)$

Markus Szymon Fraczek, Dieter Mayer|arXiv (Cornell University)|2010. 11. 19.

Analytic Number Theory Research참고 문헌 13인용 수 5

한 줄 요약

이 논문은 세르베르그의 특성 변형 $\chi_\alpha$ 하에서 헤크 콕션부하군 $Γ_0(4)$의 전이 연산자에 대한 대칭성을 확립하며, 감소된 전이 연산자의 고유함수와 인비올루션에 대해 정규성의 정의를 가진 마스 폼 사이의 연결을 맺는다. 특성 변형 하에서 $\lambda = -1$ 고유값에 대응하는 세르베르그 제타 함수의 영점들은 임의의 $\alpha$ 에서도 임계선 $\Re(\beta) = 1/2$ 위에 그대로 유지되며, $\lambda = +1$ 영점들은 수치적 증거와 사르나크 및 필립스의 정점 형식에 기반하여 임계선에서 벗어날 것으로 예상된다.

ABSTRACT

The transfer operator for [math] and trivial character [math] possesses a finite group of symmetries generated by permutation matrices [math] with [math] . Every such symmetry leads to a factorization of the Selberg zeta function in terms of Fredholm determinants of a reduced transfer operator. These symmetries are related to the group of automorphisms in [math] of the Maass wave forms of [math] . For the group [math] and Selberg’s character [math] there exists just one nontrivial symmetry operator [math] . The eigenfunctions of the corresponding reduced transfer operator with eigenvalue [math] are related to Maass forms that are even or odd, respectively, under a corresponding automorphism. It then follows from a result of Sarnak and Phillips that the zeros of the Selberg function determined by the eigenvalue [math] of the reduced transfer operator stay on the critical line under deformation of the character. From numerical results we expect that, on the other hand, all the zeros corresponding to the eigenvalue [math] are off this line for a nontrivial character [math] .

연구 동기 및 목표

• 세르베르그의 특성 $\chi_\alpha$ 의 변형 하에서 $Γ_0(4)$ 의 세르베르그 제타 함수의 영점들의 행동을 조사하는 것.
• Γ_0(N) 의 전이 연산자의 대칭성을 규명하고, 마스 웨이브 형식의 자동형사와의 관계를 밝히는 것.
• 이러한 대칭성에 의해 유도된 감소된 전이 연산자의 프레드홀름 행렬식을 통해 세르베르그 제타 함수의 인수분해를 분석하는 것.
• 특성 변형 하에서 세르베르그 제타 함수의 영점들이 임계선 위에 그대로 유지되는지 여부를 판단하는 것, 특히 짝수 및 홀수 마스 형식 간의 구분을 고려하는 것.

제안 방법

• 지오데식 플로의 기호적 다이내믹스를 사용하여 $Γ_0(4)$ 의 전이 연산자 $L_{\beta,\chi_\alpha}$ 와 특성 $\chi_\alpha$ 를 구성한다.
• 비자명한 대칭 연산자 $\tilde{P}_{2,-}$ 를 식별하며, 이는 치환 행렬 $P_{2,-}$ 를 통해 정의되며 $P_{2,-}^2 = \text{id}_6$ 를 만족한다.
• 전이 연산자의 대칭성을 이용해 감소된 전이 연산자 $P_{2,-}L^+_{\beta,\chi_\alpha}$ 로 축소하며, 이 연산자의 고유함수는 인비올루션 $J_{2,-}$ 에 대해 짝수 또는 홀수인 마스 형식에 대응한다.
• 자기형사 $J_{2,-}$ 의 작용 하에서 마스 형식의 주기 함수에 대한 함수적 방정식을 유도하며, 이를 통해 변환을 기록하는 행렬 $Q_{2,-}$ 를 도출한다.
• 대칭 행렬 $P_{2,-} = \rho_{\chi_\alpha}(S) Q_{2,-}$ 를 정의하며, 이는 $\Gamma_0(4)$ 의 생성자 $S$ 와 $T$ 의 표현 $\rho_{\chi_\alpha}$ 와 가환한다.
• 사르나크와 필립스의 결과를 활용하여 $\lambda = -1$ 고유함수에 대응하는 영점들이 특성 변형 하에서도 임계선 위에 그대로 유지됨을 결론짓는다.

실험 결과

연구 질문

• RQ1 Γ_0(N) 의 전이 연산자의 대칭성은 세르베르그 제타 함수의 인수분해에 어떻게 기여하는가?
• RQ2 마스 웨이브 형식의 자동형사와 Γ_0(N) 의 전이 연산자 대칭성 간의 관계는 무엇인가?
• RQ3 특성 $\chi_\alpha$ 를 가진 $Γ_0(4)$ 의 세르베르그 제타 함수의 영점들이 $\alpha$ 의 변형 하에서도 임계선 위에 그대로 유지되는가?
• RQ4 감소된 전이 연산자의 고유값 $\lambda = \pm 1$ 은 인비올루션 $J_{2,-}$ 에서의 마스 형식의 정규성과 어떻게 관련되는가?

주요 결과

• 특성 $\chi_\alpha$ 를 가진 $Γ_0(4)$ 의 전이 연산자는 치환 행렬 $P_{2,-}$ 를 통해 정의된 비자명한 대칭 $\tilde{P}_{2,-}$ 를 지닌다. 이는 $P_{2,-}^2 = \text{id}_6$ 를 만족하며, 군 생성자들의 표현 $\rho_{\chi_\alpha}$ 와 가환한다.
• 감소된 전이 연산자 $P_{2,-}L^+_{\beta,\chi_\alpha}$ 의 고유함수 중 고유값 $\lambda = \pm 1$ 을 가진 것은 각각 인비올루션 $J_{2,-}$ 에 대해 짝수 또는 홀수인 마스 형식에 대응한다.
• 특성 변형 하에서 $\lambda = -1$ 고유함수에 대응하는 세르베르그 제타 함수의 영점들은 사르나크와 필립스의 결과에 따라 홀수 마스 정점 형식에 대해 특성 변형 하에서도 항상 임계선 $\Re(\beta) = 1/2$ 위에 유지된다.
• 수치적 증거는 $\alpha > 0$ 일 때 $\lambda = +1$ 고유함수에 대응하는 영점들이 임계선에서 벗어나는 것으로 나타내지만, 본 논문에서는 이를 증명하지는 않는다.
• $P_{2,-}$ 는 치환 $\lambda_{2,-} \circ \sigma \circ \delta = (1\ 4)(2\ 6)(3\ 5)$ 와 대응하는 $6 \times 6$ 치환 행렬로 명시적으로 계산되었으며, 특성 값은 $\chi_\alpha(\eta_3) = \chi_\alpha(\eta_5)^{-1} = e^{-2\pi i \alpha}$ 이다.
• 주기 함수 $\psi_{\lambda,\pm,j}$ 에 대한 함수적 방정식은 변환 $J_{-}\psi_j(\zeta) = \zeta^{-2\beta} \chi_\alpha(\eta_{\sigma \circ \delta(j)}) \psi_{\lambda,\pm, \sigma \circ \delta(j)}(1/\zeta)$ 를 이끌어내며, 이는 대칭 구조의 기초가 된다.