[논문 리뷰] Super-approximation, II: the p-adic and bounded power of square-free integers cases

Alireza Salehi Golsefidy|arXiv (Cornell University)|2016. 02. 01.

Algebraic Geometry and Number Theory참고 문헌 46인용 수 4

한 줄 요약

이 논문은 제곱-free 정수와 소수 거듭제곱의 나머지 모듈로에 대한 산술군의 카일리 그래프에서 초근접성(super-approximation)이 성립하는 필요충분조건을 확립한다. 이 조건은 군의 자리지-폐쇄(Zariski-closure)의 연결성 성분이 완전(perfect)일 때 정확히 성립함을 보여주며, 증명은 유계 생성(bounded generation), $p$-진 해석(p-adic analysis), 스펙트럴 갭 기법을 활용한다. 이는 이전의 초근접성 결과를 제곱-free 모듈로를 넘어서 더 넓은 범주로 확장한다.

ABSTRACT

Let $Ω$ be a finite symmetric subset of GL$_n(\mathbb{Z}[1/q_0])$, and $Γ:=\langle Ω angle$. Then the family of Cayley graphs $\{{ m Cay}(π_m(Γ),π_m(Ω))\}_m$ is a family of expanders as $m$ ranges over fixed powers of square-free integers and powers of primes that are coprime to $q_0$ if and only if the connected component of the Zariski-closure of $Γ$ is perfect. Some of the immediate applications, e.g. orbit equivalence rigidity, {\em largeness} of certain $\ell$-adic Galois representations, are also discussed.

연구 동기 및 목표

• 제곱-free 정수와 소수 거듭제곱의 거듭제곱 모듈로에서 산술군의 카일리 그래프에 대한 초근접성의 완전한 특성화를 확립하기 위해.
• 이러한 카일리 그래프 가족이 확산자 가족(expander families)을 형성하는 정확한 대수적 조건을 규명하기 위해.
• 제곱-free 모듈로를 넘어서, 소수의 유계 거듭제곱과 제곱-free 정수를 포함한 더 넓은 범주로 초근접성 이론을 확장하기 위해.
• 오빗 동치성 강성 이론과 $α$-진 갈루아 표현 연구에의 응용을 위한 기초를 마련하기 위해.
• 이전의 초근접성 연구 결과를 일반화하기 위해 $p$-진 및 합동 방법을 사용하여 날카로운 기준을 증명하기 위해.

제안 방법

• 군 $\Gamma = \langle \Omega \rangle$ 의 $\mathrm{GL}_n$ 내 자장지-폐쇄를 분석하여 합동 몫 $\pi_m(\Gamma)$ 의 구조를 연구한다.
• 유계 생성 기법을 적용하여 완전한 대수적 군이 일정한 유계 단계 내에서 교환자(commutators)로 생성될 수 있음을 보인다.
• $p$-진 해석 기법을 활용하며, 특히 결정인(determinant) 성장률을 통제할 수 있는 다항식 곡선의 구성으로 스펙트럴 갭을 확립한다.
• 잔여 사상의 통계적 분리 불가능성(statistical non-splitting)을 이용하여 군 원소가 진부분군으로의 탈출을 방지한다.
• $p$-진 해석 함수에 대한 정량적 열림 정리(open image theorems)를 활용하여 군 원소의 환원 하위군에서의 이미지를 제어한다.
• 문제를 자장지-폐쇄의 연결 성분이 완전하다는 것, 즉 $[\mathbb{G}^\circ, \mathbb{G}^\circ] = \mathbb{G}^\circ$ 임을 확인하는 것으로 환원한다.

실험 결과

연구 질문

• RQ1 제곱-free 정수의 유계 거듭제곱 $m$ 을 둘러싼 범위에서 카일리 그래프 가족 $\mathrm{Cay}(\pi_m(\Gamma), \pi_m(\Omega))$ 가 확산자 가족을 형성하는 대수적 조건은 무엇인가?
• RQ2 모듈로 $m$ 이 $q_0$ 와 서로소인 소수의 거듭제곱을 둘러싸며 달라질 때, 동일한 가족이 확산자 가족을 형성하는 조건은 무엇인가?
• RQ3 산술군 $\Gamma$ 의 자장지-폐쇄의 완전성과 해당 카일리 그래프의 스펙트럴 갭 사이의 정확한 관계는 무엇인가?
• RQ4 완전한 강력 근사성 강화가 없는 상황에서, 유계 생성과 $p$-진 근사가 어떻게 결합되어 초근접성을 증명할 수 있는가?
• RQ5 잔여 사상의 분리 불가능성이 모든 모듈로에서 확산성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 제곱-free 정수의 유계 거듭제곱 $m$ 을 둘러싼 범위에서 카일리 그래프 가족 $\mathrm{Cay}(\pi_m(\Gamma), \pi_m(\Omega))$ 가 확산자 가족을 형성하는 것은 군 $\Gamma$ 의 자장지-폐쇄의 연결 성분이 완전할 때에만 성립한다.
• 모듈로 $m$ 이 $q_0$ 와 서로소인 소수의 거듭제곱을 둘러싸며 달라질 때, 동일한 가족이 확산자 가족을 형성하는 것은 군 $\Gamma$ 의 자장지-폐쇄가 완전한 연결 성분을 가질 때에만 성립한다.
• 증명은 군이 가상으로 가환(의존)하지 않을 때 초근접성이 정확히 성립함을 보여주며, 완전성 조건은 비자명한 아벨 몫이 존재하지 않음을 암시한다.
• 저자들은 완전성 조건 하에서 스펙트럴 갭이 모든 이러한 모듈로에서 $m$ 과 무관하게 0으로부터 일정하게 떨어져 있음을 보였다.
• 이 방법은 $p$-진 공간 내에서의 다항식 곡선을 구성함으로써, 그 야코비안 행렬식의 성장률을 통제함으로써, 그 이미지가 큰 부분모듈을 생성함을 보장한다.
• 이 결과는 이전의 제곱-free 모듈로에 대한 초근접성 정리들을 일반화하며, 필요충분 조건을 명확히 하는 날카로운 기준을 제공한다.