[논문 리뷰] The Ihara-Selberg zeta function for PGL(3) and Hecke operators

Anton Deitmar|ArXiv.org|2004. 07. 29.

Advanced Algebra and Geometry참고 문헌 4인용 수 5

한 줄 요약

이 논문은 PGL(3)의 브하트-티트 빌딩 몫에 대한 zeta 함수에 대해 약한 이하라 유형의 공식을 수립한다. 이를 위해 히케 연산자로 표현함으로써, unramified 히케 대수의 생성자 $\pi_1, \pi_2$ 를 사용하여 zeta 함수 $Z(u)$ 가 행렬식 $\det(1 - u\pi_1 + u^2 q \pi_2 - u^3 q^3)$ 의 거듭제곱을 다항식 $P(u)$ 로 나눈 형태임을 증명한다. 이는 고차원에서의 조합적 zeta 함수를 산술적으로 해석하기 위한 기초 단계를 마련한다.

ABSTRACT

We prove an approximation to an Ihara-formula for the zeta function of an arithmetic quotient of the Bruhat-Tits building of a p-adic PGL(3).

연구 동기 및 목표

• 1-랭크에서의 이하라 zeta 함수 공식을 고랭크 군, 특히 PGL(3)로 확장하는 것. 여기서 완전한 이하라 공식은 존재하지 않는다.
• 브하트-티트 빌딩에서의 히케 연산자를 통해 조합적 zeta 함수와 산술적 성질을 연결하는 다리를 제공하는 것.
• unramified 히케 대수의 생성자 $\pi_1, \pi_2$ 를 포함한 행렬식 공식을 제시하여 산술적 해석의 후보로 삼는 것.
• 빌딩의 1-스켈레톤과 갤러리에서 zeta 함수를 분석하여 PGL(3) 설정에서 zeta 함수의 구조적 성질을 도출하는 것.

제안 방법

• 1. $X$ 를 $\mathrm{PGL}_3(F)$ 의 브하트-티트 빌딩이라 할 때, $\Gamma\backslash X$ 의 원시 닫힌 고리들에 대한 곱으로 zeta 함수 $Z(u)$ 를 정의한다.
• 2. 생성자 $\pi_1 = K\,\mathrm{diag}(1,1,\varpi)\,K$ 와 $\pi_2 = K\,\mathrm{diag}(1,\varpi,\varpi)\,K$ 를 가진 unramified 히케 대수 $\mathcal{H}_K$ 를 사용하여 zeta 함수의 구조를 모델링한다.
• 3. $A_n$ 이 길이 $n$ 인 닫힌 경로의 수를 세는 연산자일 때, $F(u) = \sum_{n=1}^\infty u^{n-1} A_n$ 으로 정의하고, $\mathrm{tr}\,F(u)$ 를 $Z_1'(u)/Z_1(u)$ 와 연결한다.
• 4. $A_n$ 이 $\pi_1$ 과 $\pi_2$ 를 통해 유도하는 재귀 관계를 유도하여, 행렬 표현식 $F(u) = H(u)(1 - u\pi_1 + u^2 q \pi_2 - u^3 q^3)^{-1}$ 을 도출한다.
• 5. 추적 항등식과 스펙트럼 이론을 사용하여 $Z_1(u)$ 가 분모에 $\det(1 - u\pi_1 + u^2 q \pi_2 - u^3 q^3)^n$ 을 포함하는 유리 함수임을 보인다.
• 6. 갤러리에 대한 zeta 함수 $Z_2(u)$ 를 분석하고, 연산자 $L = L_3L_2L_1$ 를 통해 $Z_2(u) = \det(1 - u^3 L)$ 이 되며 다항식임을 증명한다.

실험 결과

연구 질문

• RQ1 PGL(3)의 브하트-티트 빌딩 몫에 대한 zeta 함수에 대해 약한 이하라 유형의 공식을 수립할 수 있는가?
• RQ2 unramified 히케 연산자 $\pi_1$ 과 $\pi_2$ 는 빌딩의 1-스켈레톤에서 닫힌 고리의 조합론적 성질을 어떻게 캡처하는가?
• RQ3 zeta 함수 $Z(u)$ 는 히케 연산자 다항식의 행렬식을 포함하는 유리 함수로 표현될 수 있는가?
• RQ4 갤러리 zeta 함수 $Z_2(u)$ 는 전체 zeta 함수의 구조에서 어떤 역할을 하는가?
• RQ5 히케 연산자를 통해 고랭크에서의 zeta 함수가, 1-랭크의 경우와 같이 산술적으로 해석될 수 있는가?

주요 결과

• 1-스켈레톤에 대한 zeta 함수 $Z_1(u)$ 는 어떤 $n \in \mathbb{N}$ 과 다항식 $P(u)$ 에 대해 $Z_1(u) = \frac{\det(1 - u\pi_1 + u^2 q \pi_2 - u^3 q^3)^n}{P(u)}$ 를 만족하며, 이는 약한 이하라 공식을 수립한다.
• 경로 수의 생성함수로 정의된 연산자 $F(u)$ 는 $F(u) = H(u)(1 - u\pi_1 + u^2 q \pi_2 - u^3 q^3)^{-1}$ 를 만족하며, zeta 함수와 히케 대수의 구조를 연결한다.
• 다음 재귀식이 $n \geq 3$ 에 대해 성립한다: $A_{n+1} = A_n \pi_1 - q A_{n-1} \pi_2 + q^3 A_{n-2}$, 초기 연산자는 $A_1 = \pi_1$, $A_2 = \pi_1^2 - (q+1)\pi_2$, $A_3 = \pi_1^3 - (2q+1)\pi_1\pi_2 + (1+q+q^2)q$.
• 갤러리 zeta 함수 $Z_2(u)$ 는 다항식이며, $Z_2(u) = \det(1 - u^3 L)$ 이며, 여기서 $L = L_3L_2L_1$ 은 변간 연장 연산자의 복합이다.
• 연산자 $F(u)$ 의 추적은 $Z_1'(u)/Z_1(u)$ 와 일치하며, 생성함수 접근법이 zeta 함수의 로그 도함수와 일관됨을 확인한다.
• 결과는 PGL(3)에서의 히케 연산자를 통해 조합적으로 정의된 zeta 함수의 산술적 해석을 위한 첫 번째 단계를 제공한다.