[논문 리뷰] Zeta functions of groups and enumeration in Bruhat-Tits buildings

Christopher Voll|ArXiv.org|2003. 05. 26.

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

한 줄 요약

이 논문은 희생 길이 2인 비가역적 아벨 군(T-군)의 국소 정규 zeta 함수를 계산하는 새로운 방법을 제시한다. 이 방법은 $\mathrm{SL}_n(\mathbb{Q}_p)$의 브하트-티스 빌딩에서 정점의 수를 세는 방식으로, 이를 통해 zeta 함수에 대한 명시적인 유리함수 공식을 도출한다. 이 공식은 $\mathbb{F}_p$ 위의 매끄러운 평면 대수곡선의 점 수에 따라 표현되며, 기능적 방정식을 증명하고 일부 T-군에 대해 zeta 함수의 비균일성을 입증한다.

ABSTRACT

We introduce a new method to calculate local normal zeta functions of finitely generated, torsion-free nilpotent groups. It is based on an enumeration of vertices in the Bruhat-Tits building for Sl_n(Q_p). It enables us to give explicit computations for groups of class 2 with small centres and to derive local functional equations. Examples include formulae for non-uniform normal zeta functions.

연구 동기 및 목표

• 2차 T-군의 국소 정규 zeta 함수를 계산하기 위한 기하학적 방법을 개발한다. 이 방법은 브하트-티스 빌딩의 조합적 구조를 활용한다.
• 이러한 zeta 함수에 대한 명시적인 유리함수 공식을 도출한다. 이 공식은 매끄러운 평면 대수곡선 위의 $\mathbb{F}_p$-유리점 수에 따라 표현된다.
• 국소 zeta 함수의 기능적 방정식을 증명하고, 이를 대수곡선의 웨일 zeta 함수와 연결한다.
• 일부 정규 zeta 함수가 유한하게 균일하지 않음을 입증하여 분야 내 핵심 질문을 해결한다.
• 유리함수 $W_1(X,Y)$와 $W_2(X,Y)$에 대한 명시적인 공식을 제시하고, 그 기능적 방정식을 검증한다.

제안 방법

• 이 방법은 $\mathrm{SL}_n(\mathbb{Q}_p)$의 브하트-티스 빌딩에서 정점의 수를 세는 데 기반한다. 이는 T-군의 $p$-거듭제곱 지수를 가진 최대부분군의 구조를 암시한다.
• zeta 함수는 최대부분군의 유형에 대한 합으로 표현되며, 빌딩의 기하학적 성질과 관련된 리 대수의 구조에서 기인한다.
• 국소 zeta 함수 $\zeta^\triangleleft_{G,p}(s)$는 $W_1(p,p^{-s}) + |C(\mathbb{F}_p)|W_2(p,p^{-s})$로 분해되며, 여기서 $C$는 $\det(R(\mathbf{y}))=0$로 정의된 매끄러운 평면 곡선이다.
• 유리함수 $W_i(X,Y)$는 빌딩의 단체 구조 위에서의 생성함수와 $p$-진 적분을 사용하여 명시적으로 계산된다.
• Weil zeta 함수의 기능적 방정식을 이용해 $W_i(X,Y)$의 기능적 방정식을 유도한다.
• 이 방법은 극한 길이가 2 또는 3인 T-군에 적용되며, 비대칭 행렬 $M(\mathbf{y})$를 통한 관련 리 대수의 표현을 사용한다.

실험 결과

연구 질문

• RQ1 2차 T-군의 국소 정규 zeta 함수는 기하학적 및 산술적 구조를 어떻게 계산할 수 있는가?
• RQ2 $\zeta^\triangleleft_{G,p}(s)$는 매끄러운 평면 곡선 $C$의 $\mathbb{F}_p$-유리점 수에 어떻게 의존하는가?
• RQ3 국소 zeta 함수는 기능적 방정식을 만족하는가? 만약 그렇다면, 이는 곡선 $C$의 웨일 zeta 함수와 어떻게 관련되어 있는가?
• RQ4 정규 zeta 함수가 유한하게 균일하지 않은 예가 존재하는가? 이러한 예를 명시적으로 구성할 수 있는가?
• RQ5 유리함수 $W_i(X,Y)$는 명시적으로 계산할 수 있는가? 그리고 형태 $W_i(X^{-1},Y^{-1}) = (-1)^{n_i}X^{a_i}Y^{b_i}W_i(X,Y)$의 기능적 방정식을 만족하는가?

주요 결과

• 희생 길이 3인 2차 T-군 $G$에 대해 $\zeta^\triangleleft_{G,p}(s) = W_1(p,p^{-s}) + |C(\mathbb{F}_p)|W_2(p,p^{-s})$이며, 여기서 $C$는 곡선 $\det(R(\mathbf{y}))=0$이다.
• 유리함수 $W_1(X,Y)$와 $W_2(X,Y)$는 명시적으로 계산되었으며, 형태 $W_i(X^{-1},Y^{-1}) = (-1)^{n_i}X^{a_i}Y^{b_i}W_i(X,Y)$의 기능적 방정식을 만족한다.
• 절대적으로 기약인 곡선 $C$에 대해 국소 zeta 함수는 기능적 방정식 $\zeta^\triangleleft_{G,p}(s)|_{p\to p^{-1}} = -p^{\binom{2r+3}{2} - (4r+3)s}\zeta^\triangleleft_{G,p}(s)$를 만족한다.
• 이 방법은 극한 길이가 2인 T-군의 zeta 함수가 유한하게 균일하다는 것을 확인한다. $\zeta^\triangleleft_{G,p}(s) = \sum_{I\subseteq\{1,\dots,m\}} c_{p,I} W_I(p,p^{-s})$이며, 여기서 $c_{p,I}$는 다항식의 기약 인수에 대해 $\mathbb{P}^1$ 위의 $\mathbb{F}_p$-점의 수를 세는 것이다.
• 타원곡선 $E: y^2 + x^3 - Dx = 0$의 예는 T-군 $G(E)$를 유도하며, 이의 zeta 함수는 유한하게 균일하지 않다. 이는 두 사우토이의 이전 추측을 확인한다.
• 곡선 $C$의 웨일 zeta 함수의 기능적 방정식은 $|C(\mathbb{F}_{p^{-1}})| = p^{-1}|C(\mathbb{F}_p)|$를 함의하며, 이는 $G$의 zeta 함수의 기능적 방정식 유도에 사용된다.