[논문 리뷰] Arithmetic Groups Have Rational Representation Growth

Nir Avni|ArXiv.org|2008. 03. 10.

Advanced Algebra and Geometry참고 문헌 8인용 수 5

한 줄 요약

이 논문은 수체 위의 단순 대수군에서의 산술 격자에 대해, 동치부분군 성질을 갖는 경우, 표현 제타함수의 수렴의 abscissa가 유리수임을 증명한다. 마르게리스의 수퍼강성과 이쿠사-데네프 적분 방법에서 유도된 국소 제타함수와 오일러乘수 분해를 이용하여, 저자들은 기약 표현의 다항수렴률이 유리수 지수에 의해 결정됨을 보이며, 산술군 내 표현 성장의 핵심 측면을 해결한다.

ABSTRACT

Let G be an arithmetic lattice in a semisimple algebraic group over a number field. We show that if G has the congruence subgroup property, then the number of n-dimensional irreducible representations of G grows like n^a, where a is a rational number.

연구 동기 및 목표

• 산술 격자에 대해 동치부분군 성질을 갖는 표현 제타함수의 수렴 abscissa의 성격을 규명하는 것.
• 그러한 군의 기약 표현의 성장률이 유리수 지수를 갖는 다항식 성장률임을 확립하는 것.
• 수체 위의 국소 제타함수와 그 프로파인 completion에 대한 분석을 통해 산술군 내 표현 성장에 대한 이해를 확장하는 것.
• 제타함수를 아르키메데스 및 비아르키메데스 국소 요소로 분해함으로써 수렴 abscissa가 유리수임을 증명하는 것.

제안 방법

• 유한지수 부분군 Δ의 표현 제타함수에 대해 오일러 유사 분해를 사용하여, 아르키메데스 요소와 비아르키메데스 자리들에 대한 곱으로 분해한다.
• 이쿠사와 데네프의 p진 적분 기법을 적용하여 각 소수 p에서의 국소 제타함수를 분석하고, p^s에 대한 유리함수의 합으로 표현한다.
• 유한체 위에서 표현 수를 제어하는 V-함수와 R-함수의 존재에 기반하여, 지수합을 통한 점근적 분석을 가능하게 한다.
• 아르틴 집합 내 소수에 대한 무한곱의 폴과 수렴 행동을 분석함으로써 수렴 abscissa를 결정한다. 밀도 추론과 소수 제타함수와의 비교를 사용한다.
• 소수의 집합을 유한 개의 아르틴 집합으로 분할하여, 각 집합 내에서 국소 제타함수의 균일한 점근적 제어를 가능하게 한다.
• 전체 제타함수의 수렴 abscissa가 각 국소 요소의 abscissa의 최댓값임을 증명하며, 각 요소의 abscissa가 유리수임을 보인다.

실험 결과

연구 질문

• RQ1 동치부분군 성질을 갖는 산술 격자의 표현 제타함수의 수렴 abscissa는 유리수인가?
• RQ2 그러한 격자의 표현 성장률은 다항식 성장률에서 유리수 지수로 기술될 수 있는가?
• RQ3 유한 자리에서의 국소 제타함수는 전역 수렴 abscissa에 어떻게 기여하는가?
• RQ4 아르틴 집합과 소수 위에서의 균일한 점근적 행동은 수렴 abscissa 결정에 어떤 역할을 하는가?

주요 결과

• 동치부분군 성질을 갖는 산술 격자 Γ에 대해 표현 제타함수의 수렴 abscissa αΓ는 유리수이다.
• 아르키메데스 국소 요소 ζG(C)(s)의 수렴 abscissa는 이전 연구 [15]에서 이미 유리수로 증명되었다.
• 각 비아르키메데스 자리에서 국소 제타함수 ζGp(s)는, 유한체 위에서의 R-함수와 V-함수의 구조에서 유도된 유리수 수렴 abscissa를 갖는다.
• 양의 해석적 밀도를 갖는 집합 A에 대해 무한곱 ∏p∈A ζGp(s)의 수렴 abscissa는 유리수이며, max{∑Bj + di + 1 / (ei + ∑Aj), max{Bj / Aj}}와 같다.
• 수렴 행동은 ∏(1 + 1/p)와 ∏(1 + 1/p^{1+ε})와의 비교를 통해 제어되며, s가 유리수 임계값을 초과할 경우 수렴함을 보여준다.
• 유한지수 부분군으로의 전환 시 수렴 abscissa는 변화하지 않으며, 이는 제타함수의 인수분해가 가능한 군으로의 환원을 가능하게 한다.