[논문 리뷰] Representation zeta functions of split extensions of $SL_2^m(O)$

J. Moritz Petschick, Margherita Piccolo|arXiv (Cornell University)|2026. 02. 13.

Advanced Algebra and Geometry인용 수 0

한 줄 요약

저자들은 SL_2^m(O)의 분할 확장(split extensions)의 표현 zeta 함수에 대한 곱 분해를 증명하고, 몇 가지 무한 가족에 대해 명시적 공식을 계산하며 표현 증가가 무한히 커질 수 있음을 보여준다.

ABSTRACT

We consider the representation growth of split extensions of $SL_2^m(O)$. We prove that the corresponding representation zeta functions factor as a product of the representation zeta function of $SL_2^m(O)$ and the relative representation zeta function associated to the extension. We make use of our result by computing the zeta functions for two infinite families of split extensions of $SL_2^m(O)$ explicitly. Along the way, we compute the representation zeta functions of a large class of subgroups of $SL_2^m(O)$.

연구 동기 및 목표

• p-적 분석 설정에서 SL_2^m(O)의 분할 확장에 대한 표현 증가를 동기 부여하고 분석한다.
• 세 부분적 작용곱의 zeta 함수와 기저 및 상대 zeta 함수 간의 곱 공식을 확립한다.
• 두 가지 무한 가족의 분할 확장과 넓은 범주의 부분군에 대해 명시적 표현 zeta 함수를 계산한다.
• 오픈 포텐트(subgroups)에서의 스펙트럴 현상(상수에 의한 유사성)을 조사한다.
• 수렴의 절편이 무한대에 도달하는 가족의 존재(다항식 증가)를 입증한다.

제안 방법

• 맥키 이론을 사용하여 비가환적 V가 있는 반대칭 곱 G = H ⋉ V의 불변 표현을 설명한다.
• p-적 적분과 Kirillov 궤도 방법을 적용하여 [relative zeta functions]를 교환 행렬의 대각 미소식의 Pfaffian 소행렬의 적분으로 표현한다.
• ζ_G(s) = ζ_H(s) · ζ^G_H(s−1)로 G의 zeta 함수를 H의 zeta 함수와 상대 zeta 함수와 연결한다.
• 표현을 제어하기 위해 균일한 강력한 pro-p 군, Lazard 대응, 포화 가능한 Lie 격자 등을 다룬다.
• Thetyspectral 부분군을 식별하고 약한 Lie 격자 동형을 사용하여 결과를 도출하는 보조정리 및 보정정리를 사용한다.
• 특정 분할 확장의 ζ의 명시적 닫힌 형태를 p-적 적분 프레임워크(Theorem 2.5 및 Proposition 2.6)를 사용하여 도출한다.

실험 결과

연구 질문

• RQ1 분할 확장 G = H ⋉ O^n의 표현 zeta 함수가 H의 표현 zeta 함수와 상대 zeta 함수의 곱으로 분해되는가?
• RQ2 SL_2^m(O)의 어떤 분할 확장에서 명시적인 표현 zeta 함수를 계산할 수 있으며, 이들의 수렴의 절편은 어떻게 되는가?
• RQ3 SL_2^m(O)의 열린 강력한 부분군이 주변 그룹에 대해 ty spectal(상수 배로 다름) 관계를 가지는 상대적인 관계를 가지는가?
• RQ4 무한한 다항식 표현 증가를 갖는 p-적 분석 그룹의 가족을 생성할 수 있는가?
• RQ5 부분군에서의 구조적 현상(예: the spectrality)은 일반적으로 어떤 경우에 실패하며, 명시적 반례는 어떻게 나타나는가?

주요 결과

• ζ_G(s)가 주어진 가정 하에서 ζ_H(s) · ζ^G_H(s−1)로 분해된다.
• SL_2^m(O)의 두 개의 무한한 분할 확장 가족에 대해 명시적 ζ-함수를 계산하였다.
• SL_2^m(O)의 표현 zeta 함수를 계산 가능한 부분군의 큰 클래스를 확인하였다.
• 많은 열린 포텐트 부분군이 ty spectral이지만 모두는 아니며, 명시적 반례를 제공한다(정리 1.4).
• 제시된 가족에서 수렴의 절편이 무한대로 커질 수 있음을 보였다(성장률은 n에 따라 임의로 커질 수 있다).
• 상관적 zeta 함수를 얻기 위한 p-적 적분 기법(Pfaffian 소행렬, 교환 행렬)을 개발하고 적용했다(정리 2.5; 명제 2.6).