[논문 리뷰] Zeta Functions of F1-buildings

Anton Deitmar, Ming-Hsuan Kang|arXiv (Cornell University)|2013. 03. 27.

Advanced Algebra and Geometry참고 문헌 12인용 수 3

한 줄 요약

이 논문은 $\mathbb{F}_1$-빌딩—특히 $\mathrm{PGL}_n(\mathbb{Q}_1)$-형 타입의 군에 대한 앤티플랜에 대해—트레이스 공식과 군론적 방법을 사용하여 제타 함수를 개발한다. 제타 함수와 몫군의 랭글랜드스 $L$-함수를 연결하는 일반화된 이하라 공식을 수립하며, 제타 함수의 역수는 인접 연산자와 정규 표현을 포함한 행렬식으로 표현되는데, 이는 $q=1$ 극한에서도 유효하다.

ABSTRACT

The analogue of the Bruhat-Tits building of a p-adic group in F1-geometry is a single apartment. In this setting, the trace formula gives rise to a several variable zeta function analogously to the p-adic case. The analogy carries on to the fact that the restriction to certain lines yield zeta functions which are defined in geometrical terms. Also, the classical formula of Ihara has an analogue in this setting.

연구 동기 및 목표

• $\mathbb{F}_1$-빌딩의 기하학, 특히 $\mathrm{PGL}_n$-형 타입 군의 앤티플랜에 대해 고전적 이하라 제타 함수를 그래프에서 일반화한다.
• $\mathrm{PGL}_n(\mathbb{Q}_1)$에 대한 트레이스 공식을 수립하여, 이를 $p$-진군의 $\mathbb{F}_1$-기하학에서의 아날로그로 간주한다.
• $\Gamma\backslash\mathcal{B}$ 빌딩 몫의 군론적 구조를 코딩하는 다변수 제타 함수 $S_{\Gamma}(u)$를 정의하고, 닫힌 지오데식을 통해 기하학적으로 해석한다.
• $\mathrm{PGL}_n(\mathbb{Q}_1)$ 기하학에서 이하라 공식을 일반화하기 위해 제타 함수를 랭글랜드스 $L$-함수와 연결한다.
• $q=1$에서 전체 빌딩 구조가 존재하지 않는 상황에서도, 특히 $\mathbb{F}_1$-설정에서 제타 함수의 기하학적 및 표현론적 기초를 제공한다.

제안 방법

• 저자들은 단순군을 통한 $\mathbb{F}_1$-접근법을 사용하여 $\mathbb{Q}_1$를 무한 순환군으로 정의함으로써, $\mathrm{PGL}_n(\mathbb{Q}_1)$의 빌딩을 확장된 애파인 카르테시안 군 대칭을 갖는 앤티플랜으로 구성한다.
• 저자들은 $\mathrm{PGL}_n(\mathbb{Q}_1)$에 대한 트레이스 공식을 유도하며, 그의 유니터리 듀얼을 계산하고 정규 표현의 트레이스로부터 다변수 제타 함수 $S_{\Gamma}(u)$를 구성한다.
• 제타 함수 $Z_+(X_\Gamma, u)$는 몫 그래프 $\Gamma\backslash\mathcal{B}$의 양의 닫힌 지오데식에 대한 오일러乘법으로 정의되며, 그 길이는 $\Lambda/\Gamma$ 내의 군 원소의 순서에 의해 결정된다.
• 핵심 기술적 단계는 $Z_+(X_\Gamma, u)^{-1}$을 행렬식으로 표현하는 것으로, $Z_+^{-1} = \det(I_N - A_1u + \cdots + (-1)^n u^n I_N)$ 이며, 여기서 $A_i$는 생성자 $i$-튜플과 관련된 인접 연산자이다.
• 저자들은 $\Lambda/\Gamma$의 특징 $\rho$에 대한 곱으로 정의된 랭글랜드스 $L$-함수 $L(\Lambda/\Gamma, u)$를 정의하며, $L(\rho, u) = \prod_{j=1}^n (1 - \rho_j u)^{-1}$ 이고, $Z_+(X_\Gamma, u) = L(\Lambda/\Gamma, u)$ 를 보여준다.
• 특히 $u = (x, 0, \dots, 0)$ 일 때, 함수 $S_\Gamma(x, 0, \dots, 0)$ 는 $(n-1)! \cdot \frac{Z_+^\prime}{Z_+}(x)$ 와 같으며, 이는 군론적 제타 함수와 기하학적 제타 함수의 로그 도함수 사이의 정확한 연결을 보여준다.

실험 결과

연구 질문

• RQ1 $\mathrm{PGL}_n(\mathbb{Q}_1)$의 앤티플랜에 대해 고전적 이하라 제타 함수를 그래프에서 $\mathbb{F}_1$-빌딩 설정으로 일반화할 수 있는가?
• RQ2 트레이스 공식이 $\mathrm{PGL}_n(\mathbb{Q}_1)$에 대한 제타 함수를 정의하는 데 어떤 역할을 하는가? 그리고 유니터리 듀얼과 정규 표현과의 관계는 무엇인가?
• RQ3 기하학적 및 표현론적 구성에 의해 고전적 이하라 공식을 $q=1$의 경우로 확장할 수 있는가?
• RQ4 제타 함수 $S_\Gamma(u)$는 몫 빌딩 $\Gamma\backslash\mathcal{B}$의 구조를 어떻게 코딩하는가? 그리고 닫힌 지오데식을 통한 기하학적 해석은 무엇인가?
• RQ5 $\mathbb{F}_1$-설정에서 제타 함수 $Z_+(X_\Gamma, u)$와 몫군 $\Lambda/\Gamma$의 랭글랜드스 $L$-함수 사이의 정확한 관계는 무엇인가?

주요 결과

• 제타 함수 $Z_+(X_\Gamma, u)^{-1}$의 역수는 수렴하는 다항식이며, $\det(I_N - A_1u + \cdots + (-1)^n u^n I_N)$ 로 표현되며, 여기서 $A_i$는 몫 그래프 상의 인접 연산자이다.
• 제타 함수 $Z_+(X_\Gamma, u)$ 는 $\Lambda/\Gamma$의 특징 $\rho$에 대한 곱으로 정의된 랭글랜드스 $L$-함수 $L(\Lambda/\Gamma, u)$ 와 같으며, $\prod_{j=1}^n (1 - \rho_j u)^{-1}$ 이다. 이는 $\mathbb{F}_1$-설정에서 제타 함수와 $L$-함수 사이의 직접적인 연결을 확립한다.
• 특히 $u = (x, 0, \dots, 0)$ 일 때, 다변수 제타 함수는 $S_\Gamma(x, 0, \dots, 0) = (n-1)! \cdot \frac{Z_+^\prime}{Z_+}(x)$ 를 만족하며, 이는 군론적 제타 함수와 기하학적 제타 함수의 로그 도함수 사이의 정확한 연결을 보여준다.
• 각 기본 지오데식이 길이 $m_i$를 기여하는 바는 $(1 - u^{m_i})^{N/m_i}$ 이며, 이는 $\det(I_N - \lambda(s_i)u)$ 와 같으며, 여기서 $\lambda$는 $\Lambda/\Gamma$의 정규 표현이다. 이는 행렬식 공식을 확인한다.
• 증명은 $\prod_{i=1}^n \det(I_N - \lambda(s_i)u)$ 를 인접 연산자의 특성다항식의 행렬식으로 표현함으로써 이루어지며, 이는 일반화된 이하라 공식을 검증한다.
• 결과는 $q=1$ 극한에서도 성립하며, $\mathbb{F}_1$-아날로그로 일관된 이하라 공식을 제공한다. 토러스 $\mathcal{B}_\Gamma$의 오일러 지표가 0이므로, 최종 항등식에서 보정 인자가 필요 없다.