[논문 리뷰] Serre weights for rank two unitary groups

Thomas Barnet-Lamb, Toby Gee외 1명|arXiv (Cornell University)|2011. 06. 28.

Advanced Algebra and Geometry참고 문헌 20인용 수 8

한 줄 요약

이 논문은 CM 체 위의 랭크 두 개의 유니터리 군에서 자동형식과 관련된 mod $l$ 갈루아 표현에 대해, [BLGG11], [BLGG10], 및 [BLGGT10]의 고급 리프팅 기법을 사용하여 추측적 세트의 세르 무게를 제안한다. 임의의 분할된 분기와 충분한 이미지를 가진 기약 모듈러 표현이 예측된 세트의 각 무게에서 모듈러리티를 가짐을 증명하며, 분기 또는 $l$의 불변도수에 대한 제약 없이, 이전 연구에서 존재하던 주요 조합론적 및 $p$-진 호지 이론적 장애를 해결한다.

ABSTRACT

We study the weight part of (a generalisation of) Serre's conjecture for mod l Galois representations associated to automorphic representations on rank two unitary groups for odd primes l. We propose a conjectural set of Serre weights, agreeing with all conjectures in the literature, and under a mild assumption on the image of the mod l Galois representation we are able to show that any modular representation is modular of each conjectured weight. We make no assumptions on the ramification or inertial degrees of l. Our main innovation is to make use of the lifting techniques introduced in our recent papers.

연구 동기 및 목표

• CM 체 위의 랭크 두 개 유니터리 군에 대해 세르의 추측의 무게 부분을 일반화하여, 이전에 전체 실수 체와 $l$-비분기 조건에 국한된 결과들을 확장한다.
• 이전 방법의 제한을 해결한다. 이는 $l$-비분기성과 충분한 정규성 조건을 필요로 하여, 모듈러리티 리프팅 정리와 브뤼엘-메자르 추측의 적용 범위를 제한했기 때문이다.
• 새로운 리프팅 정리 [BLGGT10]를 활용하여 조합론적 및 $p$-진 호지 이론적 복잡성을 제거하고, 임의의 무게에 대한 $l$-진 리프팅을 구성한다.
• 모든 이전 논문의 추측(예: [BDJ10], [Sch08], [GHS11])과 일치하는 통일적이고 명시적인 추측적 세르 무게 세트를 수립한다.
• 갈루아 이미지에 대한 약한 조건 하에서 예측된 무게 세트에 속하는 모든 표현이 모듈러리티를 가짐을 증명함으로써, 이 군류에 대해 세르의 추측의 강력한 형태를 증명한다.

제안 방법

• 저자들은 $l$ 위의 자리에서의 국소 갈루아 표현을 바탕으로, [BDJ10], [Sch08], 및 [GHS11]의 예측을 통합하여, $W^{\text{explicit}}(\bar{r})$로 표기되는 표준적인 세르 무게 세트를 정의한다.
• 그들은 [BLGGT10]의 리프팅 정리를 활용하여, $l$ 위의 자리에서 특정한 허지-타인 무게와 이너센스 작용을 포함한 특정 국소 성질을 갖는 $l$-진 갈루아 표현을 구성한다.
• 이 구성은 특히 $\mathcal{O}_L$ 위에서의 변형 링과 그 유니버설 변형 링의 유한성에 기반한 유니터리 군에 대한 자동형식 리프팅 정리에 의존한다.
• 기저 전환과 자동형식 유도 기법을 적용하여 서로 다른 체 위의 표현을 연결하고, $F_1$, $F_2$, 및 $F$의 확장에서의 자동형식 표현 체인을 구성함으로써 모듈러리티를 전파한다.
• 핵심적 혁신은 [Gee10b]에서 사용된 잠재적 바르소티-타인 리프팅을 더 일반적인 리프팅으로 대체함으로써, 정규성 조건이 필요 없게 하고 변형 이론을 단순화하는 것이다.
• 유니버설 변형 링 $R_{\mathcal{S}}^{\text{univ}}$ 가 $\mathcal{O}_L$-모듈로 유한하고, 크룰 차원이 적어도 1 이상임을 증명함으로써, $\overline{\mathbb{Q}}_l$-점이 존재함을 보장하며, 이는 원하는 $l$-진 리프팅을 유도한다.

실험 결과

연구 질문

• RQ1 CM 체 위의 랭크 두 개 유니터리 군에서 mod $l$ 갈루아 표현에 대한 올바른 세르 무게 세트는 무엇인가? 이는 이전의 추측을 일반화한다.
• RQ2 정규성 또는 $l$에서의 비분기 조건 없이도, 세르의 추측의 무게 부분을 모든 무게에 대해 증명할 수 있는가?
• RQ3 어떻게 하면 이전 방법의 조합론적 및 $p$-진 호지 이론적 복잡성을 피하면서, 임의의 무게에 대한 $l$-진 리프팅을 구성할 수 있는가?
• RQ4 약한 이미지 조건 하에서, 예측된 무게 세트에 속하는 모든 표현의 모듈러리티를 어느 정도 확립할 수 있는가?
• RQ5 전체 실수 체의 단위에서 오는 장애를 피하기 위해 내형체가 아닌 외형체(유니터리 군)를 사용함으로써 이를 피할 수 있는가?

주요 결과

• 논문은 랭크 두 개 유니터리 군에 대해 모든 이전 논문의 추측을 통합하고 일반화한 명시적이고 표준적인 세르 무게 세트 $W^{\text{explicit}}(\bar{r})$를 구성한다.
• 만약 $\bar{r}(G_{F(\zeta_l)})$ 가 충분한 성질을 갖는다고 가정할 경우, 논문은 $\bar{r}$ 가 예측된 세트의 각 무게 $a \in W^{\text{explicit}}(\bar{r})$ 에 대해 모듈러리티를 가짐을 증명하며, 이 설정에서 세르의 추측의 무게 부분을 완전히 증명한다.
• 전체 실수 체 $F^+$ 에서 $l$ 의 분기 또는 불변도수에 대한 제약 없이 결과가 성립함으로써, 이전 연구의 주요 제약을 초월한다.
• $l \geq 7$ 인 경우, 충분성 조건은 표준적인 타일러-윌즈 가정인 $\bar{r}|_{G_{F(\zeta_l)}}$ 의 기약성 조건으로 대체될 수 있으며, 가정을 단순화한다.
• 저자들은 변형 링 $R_{\mathcal{S}}^{\text{univ}}$ 가 $\mathcal{O}_L$ 위에서 유한하고 크룰 차원이 적어도 1 이상임을 보이며, 이는 원하는 $l$-진 리프팅을 유도하는 $\overline{\mathbb{Q}}_l$-점의 존재를 보장한다.
• 이 방법은 잠재적 바르소티-타인 리프팅이 필요 없게 하여, 정규성 조건이 필요 없게 하고 모든 무게에 대해 통일된 처리를 가능하게 한다.