[논문 리뷰] Stability results for local zeta functions of groups and related structures

Tobias Rossmann|arXiv (Cornell University)|2015. 04. 16.

Mathematical Dynamics and Fractals참고 문헌 5인용 수 5

한 줄 요약

이 논문은 유한 생성 노름군의 국소 제타 함수가 소수 $p$에 따라 변화할 때의 행동—특히 밀도 1인 소수의 집합에서의 일致—이 거의 모든 $p$에 대해 국소 기저 확장 $K/\mathbf{Q}_p$ 하에서의 행동을 완전히 결정한다는 것을 입증한다. 핵심 결과는 이러한 제타 함수의 균일성과 함수방정식이 명시적 공식의 선택과 무관하게, $\ell$-adic 갈루아 표현과 츄바체프 밀도 추론을 통해 내재된 성질임을 보여준다.

ABSTRACT

Various types of local zeta functions studied in asymptotic group theory admit two natural operations: (1) change the prime and (2) perform local base extensions. Often, the effects of both of these operations can be expressed simultaneously in terms of a single explicit formula. We show that in these cases, the behaviour of local zeta functions under variation of the prime in a set of density 1 in fact completely determines these functions for almost all primes and, moreover, it also determines their behaviour under local base extensions. We discuss applications to topological zeta functions, functional equations, and questions of uniformity.

연구 동기 및 목표

• 밀도 1인 소수의 집합에서 국소 제타 함수가 일致함을 보여주면, 거의 모든 소수에서 국소 기저 확장에 대해 일치함을 보이는가를 입증하는 것.
• 제타 함수의 함수방정식과 균일성 성질이 명시적 공식의 선택과 독립적인 내재된 성질임을 보이는 것.
• 위상 제타 함수를 $p$-진 제타 함수의 극한으로 엄밀하게 유도하기 위한 기초를 마련하는 것.
• 점근 군론 및 링 이론에서 알려진 부분대상 및 표현 제타 함수의 함수방정식을 통합하고 일반화하는 것.
• 기저 확장 하에서 제타 함수의 행동이 거의 유일하게 소수 변화에 대한 행동에 의해 결정됨을 보이는 것, 유한한 예외를 제외한 채로.

제안 방법

• 유한 생성 노름군 $G$에 대응하는 $\mathbf{Z}$ 위의 유니포텐트 군 스킴 $\mathsf{G}$를 사용하여, 거의 모든 $p$에 대해 $\hat{G}_p = \mathsf{G}(\mathbf{Z}_p)$임을 보장한다.
• 디네프의 아이구사 제타 함수 작업 스타일의 명시적 공식을 적용하여, 소수 변화와 기저 확장 양쪽 모두에서 잘 행동하는 제타 함수를 다룬다.
• 이 공식의 기하적 요소를 $\ell$-adic 갈루아 표현으로 해석하여 기저 확장 하에서의 안정성을 확립한다.
• 츄바체프의 밀도 정리를 활용하여, 소수 집합의 밀도 1에서의 일치가 기저 확장 하에서 거의 모든 소수에서의 일치를 이끌어내는 것을 보인다.
• $k$-국소 사상과 그 유리 함수 $W_i(X,Y)$로의 확장을 사용하여, 함수방정식을 정의하고 분석한다. 이 함수는 $(q^f, Y)$에서 정칙이다.
• 세르([Ser12, Thm 1.3])의 $\mathbf{Z}$ 위의 스킴 제타 함수에 관한 결과를 적용하여, $\mathbf{F}_p$에서의 세는 명제를 $\mathbf{F}_{p^f}$로 이행한다.

실험 결과

연구 질문

• RQ1 기저 확장 하에서 국소 제타 함수의 행동이 소수 $p$에 대한 변화에 대한 행동으로만 완전히 결정될 수 있는가?
• RQ2 제타 함수의 함수방정식이 명시적 공식의 선택과 얼마나 독립적인가?
• RQ3 위상 제타 함수는 어떻게 엄밀하게 $p$-진 제타 함수의 극한으로 도출될 수 있는가?
• RQ4 밀도 1인 소수의 집합에서 제타 함수가 일치하면, 어떤 조건에서 모든 국소 기저 확장 하에서도 일치하는가?
• RQ5 $\ell$-adic 갈루아 표현이 산술 연산 하에서 제타 함수의 안정성을 통제하는 데 어떤 역할을 하는가?

주요 결과

• 밀도 1인 소수의 집합에서 모든 소수 $p$에 대해 $\zeta^{\widetilde{\mathrm{irr}}}_{\mathsf{G}(\mathbf{Z}_p)}(s) = \zeta^{\widetilde{\mathrm{irr}}}_{\mathsf{H}(\mathbf{Z}_p)}(s)$이면, 거의 모든 $p$와 모든 유한 확장 $K/\mathbf{Q}_p$에 대해 등식이 성립한다.
• 유니포텐트 군에 대해 $\mathsf{Z}_*(v,-f) = q_v^{df} \cdot \mathsf{Z}^\mathbf{G}(v,f)$와 같은 제타 함수의 함수방정식은, 공식이 정칙하고 잘 행동하는 한, 명시적 공식의 선택과 무관하다.
• 함수방정식의 소수 변화에 대한 안정성 덕분에, 위상 제타 함수는 $p$-진 제타 함수의 극한으로 엄밀하게 정당화될 수 있다.
• dSW08의 의미에서 균일한 예시에 대해, 계산 방법에 관계없이 $W_1(X^{-1},Y^{-1}) = X^{\binom{d}{2}}Y^d \cdot W_1(X,Y)$의 함수방정식이 성립한다.
• $k$-국소 사상의 $\mathsf{Z}_*(v,f)$ 확장은, 그 동치류와 정칙성에 의해 결정되며, $W_i$의 유리 함수의 정칙성에 따라 거의 모든 소수에서 유일하게 결정된다.
• 리 대수에 대한 함수방정식 $\mathsf{Z}_*^{\mathfrak{g},\mathrm{irr}}(v,-f) = q_v^{df} \cdot \mathsf{Z}^{\mathfrak{g},\mathrm{irr}}(v,f)$는 거의 모든 $v$와 모든 $f \in \mathbf{N}$에 대해 성립하며, 이는 이전 결과를 임의의 수체로 일반화한다.