[논문 리뷰] The Hecke Algebra T_k has Large Index

Frank Calegari, Matthew Emerton|ArXiv.org|2003. 11. 21.

Advanced Algebra and Geometry참고 문헌 6인용 수 4

한 줄 요약

이 논문은 고정된 수준 $N$에 대해 $p$-진 값매김이 신형 헤케 대수 $\mathbf{T}_k(N)^{\mathrm{new}}$의 지수에 대해 무게 $k$에 대해 최소 선형적으로 증가함을 증명하며, 세르의 추측을 확인한다. 결과는 판별식과 헤케 대수의 정규화에 대한 연구를 통해 도출되며, 결정성 갈루아 표현의 구조에 대한 함의를 지니고 있으며, 뷰자르와 마즈르의 변형 공간 및 잠재적으로 준단순 표현에 대한 추측에 대한 지지를 제공한다.

ABSTRACT

Let T_k denote the Hecke algebra acting on newforms of weight k and level N. We prove that the power of p dividing the index of T_k inside its normalisation grows at least linearly with k (for fixed N), answering a question of Serre. We also apply our method to give heuristic evidence towards recent conjectures of Buzzard and Mazur.

연구 동기 및 목표

• 무게 $k$가 증가함에 따라 헤케 대수 $\mathbf{T}_k(N)^{\mathrm{new}}$의 지수에 대한 $p$-진 값매김의 성장에 대해 세르가 제기한 질문을 해결하는 것.
• 크리스탈린 갈루아 표현 $\rho$에 대해 뷰자르의 추측, 즉 $[\mathbf{Q}_p(\rho) : \mathbf{Q}_p]$ 가 유계임을 보여주는 이론적 증거를 제공하는 것.
• 클래식한 모듈러 점에서의 잠재적으로 준단순 표현이 $p$에서 온전히 온전한지에 대한 마즈르의 추측을 지지하는 것.
• 갈루아 표현의 변형 공간의 구조를 분석하고, 이와 헤케 대수 및 에이젠커브와의 관계를 규명하는 것.

제안 방법

• 헤케 대수의 지수를 $\mathbf{Z}_p$ 위에서의 정규화 속에서의 대수의 지수로 정의한다.
• 헤케 대수 $\mathbf{T}_k(N)^{\mathrm{new}}$ 위에서의 추적 쌍선형 형식의 판별식을 사용하여 지수의 하한을 구한다.
• 수준 $N$ 외부의 헤케 연산자로 생성되는 부분대수 $\mathbf{T}_k(N)'$에 대해 감소 추론을 적용하여, 이 부분대수의 지수 역시 $k$에 대해 선형적으로 증가함을 보인다.
• 곱셈 사상 $\mathbf{T}_k(N)' \to \prod_{M|N} \mathbf{T}_k(M)^{\mathrm{new}}$ 의 단사성과 정규화가 $\mathbf{Q}_p$로의 기저 전환 후 동형을 유지한다는 사실을 활용한다.
• $p$-진 호지 이론과 $B_{\mathrm{st}}$-모듈의 이론을 사용하여 잠재적으로 준단순 갈루아 표현의 분해 및 표현 이론적 구조를 분석한다.
• Lemma 4.2를 적용하여 $p > n+1$일 때 $\mathrm{GL}_n(\mathcal{O})$ 내에 순서 $p$의 원소가 존재하지 않음을 이용하여, $p \geq 5$일 때 야생적으로 분해된 준단순적 승수의 존재를 배제한다.

실험 결과

연구 질문

• RQ1 고정된 $N$에 대해 무게 $k$에 대해 $\mathbf{T}_k(N)^{\mathrm{new}}$의 지수에 대한 $p$-진 값매김이 최소한 선형적으로 증가하는가?
• RQ2 크리스탈린 표현의 변형 공간 $\overline{\Omega}$의 구조는 뷰자르의 추측, 즉 유계인 체의 차수를 지지하기 위해 제약을 받을 수 있는가?
• RQ3 모든 클래식한 모듈러 점이 $\overline{\Omega}$에서 $p$에서 온전히 잠재적으로 준단순적인가, 마즈르의 추측에 따르면 그렇다.
• RQ4 표현의 존재에 대해 $\mathrm{GL}_n(\mathcal{O})$ 내에 $p$- torsion 이 존재하지 않음이 야생적으로 분해된 잠재적으로 준단순 표현에 어떤 제약을 끼치는가?

주요 결과

• 헤케 대수 $\mathbf{T}_k(N)^{\mathrm{new}}$의 지수 $I_k(N)^{\mathrm{new}}$에 대한 $p$-진 값매김은 $k$에 대해 최소한 선형적으로 증가하며, 즉 $\liminf_{k\to\infty} \frac{1}{k} \cdot \mathrm{ord}_p(I_k(N)^{\mathrm{new}}) > 0$ 이다.
• 수준 $N$ 외부의 헤케 연산자로 생성되는 부분대수 $\mathbf{T}_k(N)'$에 대해서도 동일한 선형 증가가 성립하며, 이는 세르의 지수 성장에 대한 질문을 확인한다.
• $p \geq 5$일 때, 절대적으로 비분할된 체 $F$에 대해 $\mathrm{GL}_2(F)$로의 야생적으로 잠재적으로 준단순 표현은 존재하지 않으며, 이는 $p > de+1$일 때 $\mathrm{GL}_d(\mathcal{O})$ 내에 $p$- torsion 이 존재하지 않기 때문이다.
• 결과적으로, $\mathbf{Q}_p$ 계수를 가지며 $p$-거듭제곱 수준을 가진 모든 새로운 형은 유계된 도함수를 가져야 하므로, 고정된 무게에 대해 이러한 형은 유한 개 뿐이다.
• 이 분석은 뷰자르의 추측을 지지하며, $\overline{\Omega}$ 가 양의 차원을 가진 변형 환의 매개변수로 주어지는 강체 공간이 될 수 없음을 배제한다.
• 논문은 Hodge-Tate 무게가 유계인 크리스탈린 표현의 집합이 수준과 무게에 제약이 없이 전체 변형 공간 내에서 닫혀 있지 않음을 증명하며, 이 추측들의 미묘함을 부각시킨다.