[논문 리뷰] A torsion Jacquet--Langlands correspondence

Frank Calegari, Akshay Venkatesh|arXiv (Cornell University)|2012. 12. 16.

Advanced Algebra and Geometry참고 문헌 69인용 수 27

한 줄 요약

이 논문은 분석 토르션과 조정자들을 사용하여 GL(2)의 내부 형식과 관련된 산술군의 토르션 호몰로지와 자동형 양식을 연결함으로써 토르션 자코벳–랑랜즈 상응을 수립한다. 이는 토르션 계열과 신형식 사이의 수치적 상응을 증명하며, 일치하는 부피와 합동 호몰로지가 코homological 설정에서 동형 토르션 몫을 암시함을 보여준다.

ABSTRACT

We study torsion in the homology of arithmetic groups and give evidence that it plays a role in the Langlands program. We prove, among other results, a numerical form of a Jacquet--Langlands correspondence in the torsion setting.

연구 동기 및 목표

• 산술군의 토르션 호몰로지 계열의 설정으로 고전적 자코벳–랑랜즈 상응을 확장하기.
• 갈루아 표현과 L-함수와의 관련성에서 토르션의 역할을 탐구하기, 특히 랑랜즈 프로그램에서의 역할을.
• 분석 토르션과 조정자를 사용하여 토르션 호몰로지와 신형식 사이의 수치적 상응을 수립하기.
• 내부 형식 GL(2)의 맥락에서 합동 호몰로지, 본질적 호몰로지, 그리고 토르션 몫의 구조 사이의 관계를 탐색하기.
• 레벨 상승 및 레벨 하강 연산 하에서 조정자와 토르션 계열의 행동을 고찰하고, 이들이 mod p 모듈라 형식에 미치는 영향을 분석하기.

제안 방법

• 하향 3차원 다각형에서 리드마이스터 토르션과 분석 토르션을 연결하기 위해 케이저–뮬러 정리를 활용한다.
• 스펙트럴 시퀀스를 적용하여 산술 몫의 코homology를 신형식과 토르션 계열에 연결한다.
• 아틴–레너 인버전과 분해 지도를 사용하여 호몰로지에서의 레벨 상승 및 레벨 하강을 분석한다.
• 이즈엔스타인 급수와 모듈라 기호를 사용하여 연결 상관성과 조정자를 계산함으로써 분석적 및 산술적 불변량을 비교한다.
• S-산술군과 보렐–무어 호몰로지를 사용하여 비콤팩트 설정에서의 촉각적 및 합동 호몰로지를 연구한다.
• 고유값과 산산 흩어짐 행렬의 행동을 분석하여 스펙트럴 자료를 토르션 계열과 L-값에 연결한다.

실험 결과

연구 질문

• RQ1 토르션 설정에서 수치적 자코벳–랑랜즈 상응을 수립할 수 있는가? 즉, 토르션 호몰로지 계열이 신형식과 일치하는가?
• RQ2 토르션 계열의 조정자가 유리수 인자까지 일치하는 L-값과 일치하는가? 이를 정수적으로 확장할 수 있는가?
• RQ3 모듈로 p 주기와 세르머 군을 통해 토르션 계열에 갈루아 이론적 해석이 존재하는가?
• RQ4 레벨 상승 후에 토르션 계열이 특성 0의 형식으로 올라갈 수 있는가? 만약 불가능하면 그 장애 요소는 무엇인가?
• RQ5 내부 형식과 관련된 산술군의 프로프리프 졸업과는 어떻게 관련되어 있으며, 자코벳–랑랜즈 상응을 뒷받침하는 더 깊은 구조는 무엇인가?

주요 결과

• 논문은 수치적 토르션 자코벳–랑랜즈 상응을 증명한다: 내부 형식 GL(2)에 대해, 일치하는 부피와 합동 호몰로지가 동형 토르션 몫을 암시한다.
• 토르션 계열의 조정자가 유리수 스칼라까지 L-값의 곱과 일치함을 수립하며, 고전적 주기 추측을 토르션 설정으로 확장한다.
• 실험 결과는 대체로 큰 소수에 대해 상당한 레벨 증가가 필요하더라도, 토르션 계열이 레벨 상승 후 특성 0의 형식으로 올라가는 경향이 있음을 시사한다.
• 스펙트럴 시퀀스 분석은 신형식이 스펙트럴 시퀀스의 H1-행에서 비퇴화된 사이클에 대응하며, 경계 호몰로지와 본질적 호몰로지의 기여를 포함함을 보여준다.
• 분할 케이스에서는 리드마이스터 토르션과 분석 토르션이 유리수 인자까지 일치하며, 이즈엔스타인 적분을 통해 H2-조정자가 명시적으로 계산된다.
• 저차수 코homology 계열이 일반적으로 아이젠스타인임을 지지하는 증거를 제공하며, 이러한 계열이 히케 연산자에 의해 그 차수에 의해 작용된다는 추측을 뒷받침한다.