[논문 리뷰] The density conjecture for principal congruence subgroups

Edgar Assing, Valentin Blomer|arXiv (Cornell University)|2022. 04. 19.

Analytic Number Theory Research인용 수 4

한 줄 요약

이 논문은 제곱 자유 수준에서 $\mathrm{SL}_n(\mathbb{Z})$의 주잉컨gruence 부분군에 대해 구면 밀도 추측을 증명하며, 스펙트럼 매개변수 $\leq M$인 비온도형 컷스포름의 수에 대해 다항식적으로 유계인 상계를 확립한다. 증명은 쿠즈네초프 공식, 스펙트럼 이론 및 국소 윌리엄슨 함수와 클루스트르만 합에 대한 새로운 상계에 기반하며, 온도형과 자명한 스펙트럼 사이를 연결하는 날카로운 지수를 갖는 밀도 추정치를 달성한다.

ABSTRACT

We prove Sarnak's density conjecture for the principal congruence subgroup of SL_n(Z) of squarefree level and discuss various arithmetic applications. The ingredients include new bounds for local Whittaker functions and Kloosterman sums.

연구 동기 및 목표

• 제곱 자유 수준에서 $\mathrm{SL}_n(\mathbb{Z})$의 주잉컨그루언스 부분군에 대해 구면 밀도 추측을 확립함으로써, $n=2$ 및 히케 컨그루언스 부분군에서의 기존 결과를 전체 주잉컨그루언스 경우로 확장한다.
• $L^2(\Gamma(q)\backslash\mathrm{SL}_n(\mathbb{R})/\mathrm{SO}_n(\mathbb{R}))$의 스펙트럼 분해에서 스펙트럼 매개변수 $M$ 이하인 비온도형 컷스포름의 수를 정량화한다.
• 밀도 상계에서 $M$에 대한 다항식적 의존성을 확보함으로써, 이전 결과가 $n=2$ 또는 히케 부분군에 국한되었던 것을 향상시킨다.
• 스펙트럼 분석의 핵심 분석 도구로 사용되는 국소 윌리엄슨 함수와 클루스트르만 합에 대한 새로운 상계를 도출한다.

제안 방법

• 저자들은 쿠즈네초프 공식을 적용하여 클루스트르만 합의 합과 자동형 함수의 스펙트럼 합을 연결함으로써, 트레이스 공식의 스펙트럼 측면을 제어할 수 있도록 한다.
• 예비 추적 공식을 사용하여 특정 자동형 커널 함수의 $L^2$-노름을 추정하며, 스펙트럼 매개변수 $\|\mu_{\varpi}\| \leq P$ 및 $> P$의 기여로 분해한다. 여기서 $P = (qT)^\varepsilon$이다.
• 행렬 계수의 성장을 제어하기 위해 스펙트럼 갭 추정치 (7.9)를 사용하며, 이는 비온도형 성분의 기여를 제한하기 위해 정리 7.1의 적용을 가능하게 한다.
• 이 방법은 체적 $\mathcal{V}_q = [\mathrm{SL}_n(\mathbb{Z}):\Gamma(q)]$의 신중한 분석과 $L^2$-노름과 스펙트럼 지지가 제어된 테스트 함수 $f$의 사용을 포함한다.
• 증명은 자명 표현과 나머지 스펙트럼을 구분하며, 상수 기여를 빼내어 비자명한 스펙트럼 항목을 고립한다.
• 국소 윌리엄슨 함수와 클루스트르만 합에 대한 새로운 상계는 쿠즈네초프 공식의 산술 측면을 제어하는 데 사용되며, 특히 수준 측면에서 중요한 역할을 한다.

실험 결과

연구 질문

• RQ1 제곱 자유 수준에서 $\mathrm{SL}_n(\mathbb{Z})$의 주잉컨그루언스 부분군에 대해, $n > 2$일 경우에도 구면 밀도 추측이 성립하는가?
• RQ2 밀도 상계를 스펙트럼 매개변수 $M$에 대해 다항식적으로 만들 수 있는가? 이때 수준 측면의 적절한 지수를 유지할 수 있는가?
• RQ3 쿠즈네초프 공식을 위한 $\mathrm{SL}_n$ 맥락에서 국소 윌리엄슨 함수와 클루스트르만 합에 대한 최적의 상계는 무엇인가?
• RQ4 비온도형 스펙트럼 부분의 스펙트럼 갭은 전체 밀도 추정치에 어떻게 영향을 미치는가?
• RQ5 쿠즈네초프 공식은 주잉컨그루언스 부분군에 효과적으로 적용되어, 자명한 경우와 온도형 경우를 초월한 비자명한 상계를 도출할 수 있는가?

주요 결과

• 제곱 자유 수준 $q$에 대해 주잉컨그루언스 부분군 $\Gamma(q) \subset \mathrm{SL}_n(\mathbb{Z})$에 대해 구면 밀도 추측이 증명되었으며, $\sigma \geq 0$에 대해 $\mathcal{N}_v(\sigma,\mathcal{F}) \ll_{v,\varepsilon,n} M^K [\mathrm{SL}_n(\mathbb{Z}:\Gamma(q)]^{1 - \frac{2\sigma}{n-1} + \varepsilon}$ 형태의 상한이 성립한다.
• 상한은 $M$에 대해 다항식적 의존성을 보이며, 이는 산술 및 양자 카오스 분야의 응용에 있어 핵심적이다.
• 저자들은 국소 윌리엄슨 함수와 클루스트르만 합에 대해 새로운 날카로운 상계를 확립하였으며, 이는 쿠즈네초프 공식의 스펙트럼 측면을 제어하는 데 필수적이다.
• 정리 7.1에 의해, 컷스포름뿐만 아니라 전체 스펙트럼(비어 있는 기여 포함)으로도 방법이 확장되며, 스펙트럼 분해를 통해 잔여 기여와 컷스포름 기여를 모두 처리할 수 있다.
• 스펙트럼 갭과 $\Gamma(q)$가 $\mathrm{SL}_n(\mathbb{Z})$의 정규 부분군임을 활용하여, $\mathrm{SL}_n(\mathbb{Z}/q\mathbb{Z})$ 위에서의 평균화를 통해 수준 측면에서 비자명한 지수를 달성한다.
• 결과는 $\Gamma(q)$에 대한 컷스포름 가족에서 특이한 고유값(라마누잔 추측 위반)이 희박하다는 것을 확인하며, $q$가 증가함에 따라 이러한 형태의 수가 감소함을 보여주며, 밀도 가설과 일치한다.