[논문 리뷰] $p$-stabilization in higher dimension

Pascal Boyer|arXiv (Cornell University)|2018. 08. 31.

Advanced Algebra and Geometry참고 문헌 9인용 수 3

한 줄 요약

이 논문은 완비(co)호몰로지에서의 $p$-정규화를 통해 코트비츠-하리스-테일러 유형의 시무라 다양체 위에서 동일한 무게를 가진 열화된 및 온전한 자동형 표현 간의 새로운 자동형 합동을 수립한다. $l$에서의 수준 상승을 允허함으로써, 모듈로 $l$에서 약하게 합동인 온전한 표현을 구성하며, 리비트 유형의 합동을 고차원 군으로 확장하고 세일머 군 내에서 비분할 갈루아 확장에 대한 호몰로지적 메커니즘을 제공한다.

ABSTRACT

Using $l$-adic completed cohomology in the context of Shimura varieties of Kottwitz-Harris-Taylor type attached to some fixed similitude group $G$, we prove, allowing to increase the levet at $l$, some new automorphic congruences between any degenerate automorphic representation with a non degenerate one of the same weight.

연구 동기 및 목표

• 완비 호몰로지를 이용하여 모듈라 형식의 리비트 합동 방법을 고차원 재구성 군으로 일반화하기 위해.
• 동일한 무게를 가진 약하게 합동인 자동형 표현들, 하나는 열화되고 하나는 온전한 표현을 모듈로 $l$에서 구성하기 위해.
• 완비 호몰로지를 통한 $p$-정규화를 통해 세일머 군 내에서 비분할 갈루아 확장에 대한 호몰로지적 메커니즘을 제공하기 위해.
• 기존의 일반적인 $p$-정규화와 유사하게, $l$에서의 수준 상승을 允허함으로써 호몰로지의 토르션 계급 이론을 확장하기 위해.
• 유사도 군 $G$의 서명 $(1,d-1), (0,d), \dots, (0,d)$에 대한 맥락에서 자동형 합동을 구성하기 위한 상대적이고 탄력적인 프레임워크를 수립하기 위해.

제안 방법

• 유사도 군 $G$에 관련된 코트비츠-하리스-테일러 시무라 다양체의 $l$-진 완비 호몰로지를 사용한다.
• 편근층 이론과 분해 정리를 적용하여 다양한 잘라내기 수준 $t$에서 호몰로지 군 $H^i_{I^l,\xi}(t)_{\mathfrak{m}}$를 분석한다.
• 짧은 완전열의 층들로부터 유도된 스펙트럴 시퀀스와 장점 정렬 시퀀스를 사용하여 서로 다른 수준에서의 호몰로지 군들을 연결한다.
• 지역계수체 $\mathcal{F}_\xi(\mathds{1}_v,t)$와 그 중간 확장 $^p j^{=t}_{!*}$의 구조를 이용하여 토르션과 나누어떨어짐을 분석한다.
• 에메르톤의 완비 호몰로지에 의한 국소-글로벌 호환 원리를 적용하여 자동형 표현 간의 합동을 탐지한다.
• 모든 $h \geq s_0$에 대해 $H^i_{I^l,\xi}(h)_{\mathfrak{m}}$ 가 자유 모듈로 가정하고, $H^1_{I^l,\xi}(*,s_0-1)_{\mathfrak{m}}$ 에서의 토르션 존재로부터 모순을 도출함으로써 호몰로지의 비자명성을 증명한다.

실험 결과

연구 질문

• RQ1 완비 호몰로지를 사용하여 고차원 설정에서 동일한 무게를 가진 열화된 표현과 온전한 표현 간의 자동형 합동을 구성할 수 있는가?
• RQ2 수준 상승이 $l$에서 이루어질 경우, 고전적 모듈라 형식에서의 $p$-정규화와 유사하게 이러한 합동을 어떻게 구성할 수 있는가?
• RQ3 하리스-테일러 편근층의 호몰로지 내 토르션은 비분할 갈루아 확장을 실현하는 데 어떤 역할을 하는가?
• RQ4 이 방법은 제어 가능한 열화 깊이와 수준 구조를 가진 약하게 합동인 표현들을 생성할 수 있는가?
• RQ5 수준 $l$이 그대로 유지되도록($I'_l = I_l$) 하면서도 모듈로 $l$에서 합동을 달성하는 데 필요한 호몰로지 기준은 무엇인가?

주요 결과

• 논문은 주어진 열화된 $\Pi$와 동일한 무게 $\xi$를 가진 온전한 자동형 표현 $\Pi'$가 모듈로 $l$에서 약하게 합동임을 증명한다.
• $\Pi'$ 는 정확히 깊이 1의 열화를 가지며, 수준 $I'$ 를 가지며 $(I')^l = I^l$ 이므로 $l$에서의 수준이 유지됨을 보여준다.
• 이 구성은 $H^0_{I^l,\xi}(s_0)_{\mathfrak{m}}$ 의 비영과 $H^1_{I^l,\xi}(*,s_0-1)_{\mathfrak{m}}$ 에서의 비자명한 토르션에 의존하며, 토르션이 자명하다면 모순이 발생함을 보여준다.
• 핵심적인 모순은 모든 $h \geq s_0$ 에 대해 $H^i_{I^l,\xi}(h)_{\mathfrak{m}}$ 가 자유 모듈로 가정할 경우 발생하며, 이는 애초에 약한 다양체에서 비자명한 토르션을 유도하여 호몰로지 소멸 원칙을 위반한다.
• 결과는 에이젠스타인 급수들이 수준 상승 이후에 쿠스피달이 되는 것과 유사한 고차원 해석으로 해석될 수 있다.
• 이 방법은 $\Pi$ 의 $L$-함수 특별값을 통해 비분할 갈루아 모듈러스 확장을 적절한 세일머 군 내에 호몰로지적으로 실현한다.