[논문 리뷰] Zeta Functions of Complexes Arising from PGL(3)

Ming-Hsuan Kang, Wen-Ching Winnie Li|arXiv (Cornell University)|2008. 04. 15.

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

한 줄 요약

이 논문은 비아르키메데스 현지체 $F$ 에 대해 $X_{\bar{\Gamma}} = \Gamma \backslash \mathrm{PGL}_3(F)/\mathrm{PGL}_3(\mathcal{O}_F)$ 의 유한 몫에 대한 리만 제타 함수의 닫힌 형식 유리식 표현을 브하트-티츠 빌딩의 기하학적 및 대수적 구조를 이용해 수립한다. 핵심 결과는 제타 함수가 리만 가설을 만족하는 것과 $X_{\Gamma}$ 가 라만두잔 복합체인 것이 동치임을 보이며, 이는 이하라의 그래프 제타 함수 이론을 고차원 단체 복합체로 일반화한다.

ABSTRACT

In this paper we obtain a closed form expression of the zeta function $Z(X_Γ, u)$ of a finite quotient $X_Γ= Γ\backslash PGL_3(F)/PGL_3(O_F)$ of the Bruhat-Tits building of $PGL_3$ over a nonarchimedean local field $F$. Analogous to a graph zeta function, $Z(X_Γ, u)$ is a rational function and it satisfies the Riemann hypothesis if and only if $X_Γ$ is a Ramanujan complex.

연구 동기 및 목표

• 그래프에서의 이하라 제타 함수 이론을 $\mathrm{PGL}_3$ 에서 유도된 고차원 단체 복합체로 확장하기 위해.
• 브라우트-티츠 빌딩의 유한 몫에 대한 제타 함수를 정의하여 위상수학적 및 스펙트럴 데이터를 모두 포괄하기 위해.
• 제타 함수가 리만 가설을 만족하는 것과 복합체가 라만두잔일 때가 동치임을 확립하기 위해.
• $\mathrm{PGL}_3$-행동에 따른 빌딩에서 제타 함수의 기하학적 및 대수적 해석을 통합하기 위해.

제안 방법

• 제타 함수 $Z(X_{\Gamma}, u)$ 는 복합체 $X_{\Gamma}$ 내의 원시적, 후퇴 없고 尾 없이 끝나는 지오데식 순환에 대한 오일러乘수로 정의된다.
• 논문은 $\mathrm{PGL}_3(F)$ 의 브라우트-티츠 빌딩의 구조를 사용하며, 정점은 $\mathrm{PGL}_3(\mathcal{O}_F)$-여러분과, 변은 이와하리 하위군에 의해 인덱싱된다.
• 두 종류의 제타 함수를 도입한다: $Z_1(X_{\Gamma}, u)$ 는 유형-1 지오데식 위에 기하학적으로 정의되고, $Z_-(\Gamma, u)$ 는 음성 유형의 공轭류 위에 대수적으로 정의된다.
• 공 conjugacy 클래스의 체적 및 값매김 불변량을 이용해 핵심 항등식 $Z(\Gamma, u) = Z_+(\Gamma, u) Z_+(\Gamma, u^2)$ 를 유도한다.
• 제타 함수는 연산자에 대한 행렬식으로 표현된다: $Z(\Gamma, u) = \frac{\det(1 + L_B u) \det(1 + L_B u^{1/2})}{\det(1 - L_E u) \det(1 - L_E u^2)}$, 여기서 $L_B$ 와 $L_E$ 는 빌딩 위의 연산자이다.
• 증명은 $\Gamma$ 의 원소의 유리형 표기에서 고유값의 유형(양성/음성), 분할 정도, 값매김으로 공轭류를 분류하는 데 의존한다.

실험 결과

연구 질문

• RQ1 유한 몫에 대한 $\mathrm{PGL}_3$ 브라우트-티츠 빌딩의 제타 함수를 이하라의 그래프 제타 함수와 유사하게 정의할 수 있는가?
• RQ2 이 제타 함수는 스펙트럴 및 위상수학적 데이터의 닫힌 형식의 유리식 표현을 갖는가?
• RQ3 이 제타 함수의 리만 가설은 복합체가 라만두잔일 때와 동치인가?
• RQ4 제타 함수는 기하학적 및 대수적 구성요소로 분해될 수 있는가? 이는 서로 다른 유형의 지오데식과 공轭류를 반영한다.
• RQ5 $\mathrm{PGL}_3(F)$ 원소의 분할 정도와 고유값의 값매김은 지오데식의 길이 및 제타 함수의 구조에 어떤 영향을 미치는가?

주요 결과

• 제타 함수 $Z(X_{\Gamma}, u)$ 는 유리 함수이며, 명시적으로 $Z(\Gamma, u) = \frac{\det(1 + L_B u) \det(1 + L_B u^{1/2})}{\det(1 - L_E u) \det(1 - L_E u^2)}$ 로 주어진다. 여기서 $L_B$ 와 $L_E$ 는 빌딩 위의 연산자이다.
• 제타 함수가 리만 가설을 만족하는 것은 $X_{\Gamma}$ 가 라만두잔 복합체일 때에만 성립한다. 즉, 유니버설 커버의 히케 연산자 $A_1$ 과 $A_2$ 의 비자명한 고유값이 스펙트럴 한계 내에 있을 때이다.
• 양성 유형의 원시 원소 $\gamma \in \Gamma$ 에 대해, 길이 $L_A(\gamma)$ 는 비분할일 경우 $\mathrm{vol}([\gamma])$ 와 같고, 분할일 경우 $\mathrm{vol}([\gamma])/2$ 와 같다. 또한 $L_A(\gamma^{-1}) = 2L_A(\gamma)$ 이다.
• 제타 항등식 $\frac{(1 - u^3)^{\chi(X_{\Gamma})}}{\det(I - A_1 u + q A_2 u^2 - q^3 u^3 I)} = Z_1(X_{\Gamma}, u) Z_-(\Gamma, u)$ 는 기하학적 및 대수적 해석을 통합하며, $\mathrm{PGL}_3$ 의 경우 제타 함수는 순수하게 대수적 또는 기하학적으로 표현될 수 없음을 보여준다.
• $Z_-(\Gamma, u)$ 는 유리 함수이며 $\frac{\det(1 + L_B u)}{\det(1 - L_E u^2)}$ 와 같다. 이는 기하적 $Z_1(X_{\Gamma}, u)$ 에 대한 대수적 대응이다.
• 논문은 제타 함수의 극(비자명한 것들을 제외하고)의 절댓값이 정확히 $q^{-1/2}$ 임을 확인하였으며, 이는 복합체가 라만두잔일 때 성립한다. 이는 그래프에서의 스펙트럴 특성화를 고랭크 복합체로 확장한 것이다.