Vertex volumes, lattice-minima tails, and height zeta functions for the standard arithmetic quotient of $\operatorname{PGL}_d$

기술 요약: $\mathrm{PGL}_d$의 표준 산술 몫에 대한 정점 부피, 격자 최솟값 꼬리 및 높이 제타 함수

문제 정의
본 논문은 양의 표수를 가진 비아르키메데스 국소체 $F = \mathbb{F}_q((t^{-1}))$에 대하여, 군 $G = \mathrm{PGL}_d(F)$와 연관된 표준 비균일 산술 몫 $Y = \Gamma \backslash G / K$의 기하학적 및 해석적 성질을 조사한다. 여기서 $\Gamma = \mathrm{PGL}_d(\mathbb{F}_q[t])$는 산술 격자이며, $K = \mathrm{PGL}_d(\mathbb{F}_q[[t^{-1}]])$는 극대 컴팩트 부분군이다. 저자들은 $\mathrm{vol}(K) = 1$로 정규화된 하르 측도(Haar measure)를 사용하여 연구를 진행한다.

본 연구는 이 몫(quotient) 위에서 정의된 세 가지 상호 연결된 양에 초점을 맞춘다:

1. 정점 부피(vertex volume) $\nu(Y)$: 유도된 측도에서의 몫의 공부피(covolume)를 나타낸다.
2. 격자-최솟값 높이 함수(lattice-minima height function) $\alpha$: 첨단(cusp) 내 격자의 "크기"를 측정하는 동차 불변(homothety-invariant) 함수이다.
3. 높이 제타 함수(height zeta function) $Z_\alpha(s)$: $\alpha$의 분포에 대한 멜린 변환(Mellin transform)으로 정의된다.

일반적인 산술 몫에 대한 이론(예: Prasad의 부피 공식, Harder의 Gauss–Bonnet 공식)이 존재하지만, 본 연구는 아핀 브루아트-티츠스(affine Bruhat–Tits) 건물의 조합론적 구조를 활용하여, 함수체 상의 $\mathrm{PGL}_d$ 맥락에서 이러한 양들에 대한 명시적이고 닫힌 형태의 평가를 제공하는 것을 목표로 한다.

방법론
핵심 방법론은 이중 몫(double quotient) $\Gamma \backslash G / K$의 **지배 영역 분해(dominant-sector decomposition)**에 의존한다.

• 매개변수화: 정점들은 $m_1 \ge \dots \ge m_d = 0$을 만족하는 정수 벡터 $m = (m_1, \dots, m_d)$로 매개변수화된다. 이는 $\mathbb{P}^1$ 상의 벡터 번들의 환원 이론(Birkhoff–Grothendieck 정리 경유)과 대응된다.
• 안정자 계산(Stabilizer Counting): 각 정점에 대하여, 저자들은 안정자 부분군 $\Gamma_m = \Gamma \cap x_m K x_m^{-1}$의 정확한 크기를 계산한다. 이는 행렬의 블록 구조를 분석하고 유한체 위의 점들을 세는 과정을 포함하며, 가우스 이항 계수(Gaussian binomial coefficients)와 $q$의 거듭제곱을 포함하는 공식으로 이어진다.
• 컷-셋 재귀(Cut-Set Recursion): 모든 지배 벡터에 대한 합산은 동일한 "블록 구조"(composition of $d$)를 가진 벡터들로 그룹화하여 재구성된다. 저자들은 구성(compositions)에 대한 결과 합을 평가하기 위해 **컷-셋 동적 계획법(cut-set dynamic program)**을 도입한다. 이 재귀는 벡터 $m$의 동일한 항목들 사이의 "간격(gaps)"과 관련된 기하급수를 효과적으로 합산한다.
• 좌표 변환: 높이 함수 분석을 위해, 저자들은 PGL-정규화된 좌표 $m$에서 트레이스-제로(trace-zero) 좌표 $n_i = m_i - \bar{m}$로 전환한다. 또한, 높이 함수를 안정자 가중치와 연결하기 위해 단순 루트 차이 좌표(simple-root difference coordinates) $\delta_i = m_i - m_{i+1}$를 활용한다.
• 유리 코너 분해(Rational Cone Decomposition): 높이 제타 함수는 특정 트레이스-제로 좌표의 부분합이 최대가 된다는 조건을 정의하는 유리 코너들의 합으로 표현된다. 이를 통해 제타 함수를 유리 함수로 쓸 수 있게 된다.

주요 기여 및 결과

1. 명시적 정점 부피 (정리 1.1):
   저자들은 정점 부피 $\nu(Y)$에 대한 닫힌 곱 공식을 도출한다:
   $$\nu(Y) = \frac{d \prod_{m=1}^d (q^m - 1)}{\prod_{m=2}^{d-1} (q^m - 1)}$$
   ($d=2$인 경우 분모는 1로 해석함). 증명은 전적으로 건물 이론(building-theoretic)에 기반하며, 전역적 타마가와(Tamagawa) 정규화를 거치지 않는다. 평가는 모든 블록 구성에 대해 역 안정자 부피를 합산하는 정형화된 컷-셋 재귀에 의존한다.

2. 가적분성 및 첨단 꼬리 (정리 1.2 및 정리 4.1):
   본 논문은 높이 함수 $\alpha$의 정확한 가적분성 임계치를 확립한다.

• 가적분성: 높이 함수 $\alpha^r$이 확률 측도 $\mu$에 대해 가적분할 필요충분조건은 $0 < r < d$이다.
• 첨단 붕괴(Cusp Decay): 첨단 집합 $\{x \in Y : \alpha(x) > T\}$의 측도는 정확히 $T^{-d}$로 붕괴한다. 즉, $A_1, A_2$ 상수가 존재하여 $A_1 T^{-d} \le \nu(\{x : \alpha(x) > T\}) \le A_2 T^{-d}$를 만족한다.
• 메커니즘: 이러한 결과는 안정자 가중 지수 $\Phi(\delta)$와 높이 지수 $H(\delta)$ 사이의 "모듈러 부등식(modular inequality)"을 통해 도출되며, 이는 $\Phi(\delta) \ge d H(\delta)$임을 보여준다(등호는 특정 rank-one ray에서만 성립).

3. 높이 제타 함수 (정리 1.3 및 정리 5.1):
   높이 제타 함수 $Z_\alpha(s) = \int_Y \alpha(x)^s d\nu(x)$가 상세히 분석된다.

• 수렴성: 이 함수는 $\mathrm{Re}(s) < d$일 때 절대 수렴한다.
• 해석적 연속: 이 함수는 전체 복소 평면으로 메로모르픽 연속(meromorphic continuation)되며, 구체적으로 $u = q^{s/d}$에 대한 유리 함수이다.
• 극 구조(Pole Structure): 이 함수는 $s = d$에서 단순 극(simple pole)을 갖는다. 저자들은 이 극에서의 잔차(residue, 임계 계수)에 대한 명시적인 공식을 제공한다.
• 명시적 공식: 차원 $d=3, 4, 5$에 대하여, 저자들은 $P_d(q, u)/D_d(q, u)$ 형태의 명시적 유리 함수를 계산하여 이론에 대한 구체적인 테스트 케이스를 제공한다.

의의 및 주장
저자들은 본 연구를 알려진 rank-one 격자 및 트리 몫에 대한 결과의 특수화된 고차원(high-rank) 유사물로 규정한다. 주요한 독창성 및 의의에 대한 주장은 다음과 같다:

• 직접 계산: 저자들은 전역적 타마가와 또는 오일러-푸앵카레 정규화를 통하지 않고, $\mathrm{vol}(K)=1$ 정규화에서 정점 부피를 직접 계산한다.
• 통합된 좌표: (지배 영역에서 유도된) 동일한 "단순 루트 차이 좌표" 세트가 부피 계산, 날카로운 $L^r$ 가적분성 임계치, 첨단 꼬리 붕괴율, 그리고 높이 제타 함수의 해석적 구조를 동시에 제어한다.
• 명시적 평가: 섹터 분해와 안정자 가중치는 알려진 개념이지만, 본 논문의 기여는 컷-셋 재귀를 통해 결과적인 모든 차원의 구성 합을 닫힌 형태로 평가했다는 점에 있다.
• 엄밀성: 저자들은 정성적인 비발산 추정치를 넘어, 정확한 임계 지수와 정밀한 멱법칙(power-law) 꼬리 추정치를 제공한다.
• 테스트 케이스: $d=3, 4, 5$에 대한 명시적 유리 함수는 아핀 건물 몫 위의 높이 제타 함수에 대한 더 체계적인 이론을 개발하기 위한 구체적인 데이터 포인트 역할을 한다.

본 논문은 일반적인 최소 공부량 문제를 해결하거나 임의의 군에 대한 새로운 일반적 공부량 공식을 제공한다고 주장하지 않는다. 대신, 양의 표수를 가진 $\mathrm{PGL}_d$의 표준적인 산술적 및 조합론적 세부 사항에 집중한다.