비산술 초월면체 군의 토션 동형론 연구

초록

본 논문은 비산술적인 초월면체 군들의 1차 호몰로지에서 나타나는 토션 성장률을 수치적으로 조사하고, Bergeron‑Venkatesh가 제시한 예측과의 일치를 확인한다. 특히 일차 베티 수가 0인 경우에 로그 토션 대비 부피 비율이 1/(6π) 로 수렴함을 보이며, 베티 수가 양수인 경우에는 이 비율이 크게 감소함을 보고한다.

상세 분석

논문은 먼저 Bergeron‑Venkatesh의 정리와 추측을 요약한다. 그들은 SL(2,ℂ)에서의 코콤팩트 산술 격자에 대해, 코그라운드 서브그룹들의 체적이 무한히 커질 때 로그 토션 크기의 부피 비율이 일정한 상수 1/(6π) 로 수렴한다는 결과를 제시하였다. 저자는 이 결과를 비산술적인 초월면체 군에 적용해 보고자 한다. 초월면체 군은 3차원 쌍곡공간에서 정다각형의 반사군으로 생성되는 이산군이며, Lanner가 1950년에 32종을 분류하였다. 그 중 비산술적인 7종 중 6종을 대상으로 실험을 진행한다. 각 군은 Coxeter 기호와 다면체의 이면각 데이터를 통해 명시적으로 행렬 표현을 얻으며, Mostow 강직성에 의해 PSL(2,ℂ) 안에서 유일하게 구현된다.

실험에서는 각 군 Γ에 대해 정수환 O와 유한소수 집합 S를 선택해 Γ⊂PSL(2,O_S) 로 임베딩한다. 잔여소수 p에 대해 감소 사상 φ:Γ→PSL(2,F_p) 를 만든 뒤, Borel 부분군 B⊂PSL(2,F_p) 의 상향 삼각 행렬을 이용해 Γ₀(p)=φ⁻¹(B) 를 정의한다. 이는 ‘프로젝트 커버’라 불리며, 코셰프의 정리와 강한 근사정리에 의해 대부분의 소수에 대해 전사이다. 이후 Magma를 이용해 Γ₀(p)의 아벨리안화(H₁(Γ₀(p),ℤ)_{tor})를 계산하고, 부피 vol(Γ₀(p)\ℍ³)와 로그 토션 크기의 비율을 구한다.

두 가지 실험군을 설정한다. 첫 번째는 잔여 차수가 1인 소수(즉, F_p≅ℤ/pℤ)만을 대상으로 하며, p≤5·10⁵, N(p)≤5·10⁵ 범위에서 약 5,000개의 커버를 조사한다. 두 번째는 차수가 ≥2인 소수를 대상으로 하여, 각 군마다 다른 상한(A,B)으로 범위를 정해 추가 데이터를 수집한다. 또한 H(1)과 H(2)에 대해서는 완전 분해되는 소수까지 확대하여 9·10⁵까지 탐색한다.

결과는 두드러진 패턴을 보인다. 베티 수가 0인 경우, 즉 H₁(Γ₀(p),ℚ)=0인 커버에서는 로그 토션 대비 부피 비율이 0.0531…≈1/(6π) 로 수렴한다. 이는 Bergeron‑Venkatesh의 예측과 정량적으로 일치한다. 반면 베티 수가 양수인 경우, 비율은 0.001~0.003 수준으로 크게 감소한다. 이는 비산술 군에서는 Hecke 연산자가 존재하지 않아 레귤레이터가 토션 성장에 미치는 억제 효과가 나타난다는 추측을 지지한다. 또한, 잔여 차수가 1인 소수 커버 중 약 99%가 베티 수 0을 보였으며, 베티 수가 양수인 경우는 모두 작은 노름(N(p)<200)에서만 발생했다. 이는 Calegari‑Dunfield가 관찰한 ‘프로젝트 커버에서 베티 수가 양수인 경우는 드물다’는 현상을 다시 확인시킨다.

이러한 수치적 증거는 비산술적인 Kleinian 군에서도 토션 동형론이 일정한 보편성을 가짐을 시사한다. 특히 레귤레이터가 사라지는 경우(베티 수 0)에는 토션이 부피에 비례해 성장하고, 베티 수가 존재하면 레귤레이터가 토션을 억제한다는 일반적인 철학이 실험적으로 검증되었다. 논문은 또한 계산에 사용된 행렬 실현, 소수 선택 기준, Magma 스크립트 등에 대한 상세한 부록을 제공해 재현성을 높였다.