[논문 리뷰] Serre Weights for U(n)

Thomas Barnet-Lamb, Toby Gee외 1명|arXiv (Cornell University)|2014. 05. 13.

Advanced Algebra and Geometry참고 문헌 23인용 수 13

한 줄 요약

이 논문은 unitary 군 $ U(n) $ 위의 자동형 양식과 관련된 특정 mod $ l $ Galois 표현이 일반화된 Serre 무게 추측에 의해 예측된 다수의 무게에서 모듈라리티를 증명한다. 자동형성 상승 정리와 Fontaine-Laffaille 이론을 사용하여, 특히 $ l $ 가 CM 체에서 완전히 분해되고 잔여 표현의 분할 및 관성에 대한 조건이 온화할 경우, $ n=3 $ 에서 명시적인 무게에서 모듈라리티를 확립한다.

ABSTRACT

We study the weight part of (a generalisation of) Serre's conjecture for mod l Galois representations associated to automorphic representations on unitary groups of rank n for odd primes l. Given a modular Galois representation, we use automorphy lifting theorems to prove that it is modular in many other weights. We make no assumptions on the ramification or inertial degrees of l. We give an explicit strengthened result when n = 3 and l splits completely in the underlying CM field.

연구 동기 및 목표

• 고차원 unitary 군 $ U(n) $, 특히 $ n > 2 $ 에서 고전적 방법이 잠재적 대각화 가능 릿지가 부족하고 감소 사상이 전사가 아닐 때 실패하는 점을 감안해 Serre 추측의 무게 부분을 확장하는 것.
• 고차원에서 모든 mod $ l $ 기약 표현이 특성 0의 대수적 표현의 감소로 나타나지 않기 때문에, socle의 구조에 기반한 새로운 프레임워크가 필요하다는 문제를 다루는 것.
• $ n=3 $ 에서 $ \bar{r} $ 에 대해 명시적이고 계산 가능한 Serre 무게 목록 $ W^{ ext{explicit}}(\bar{r}) $ 를 제공하는 것.
• 적절한 조건—분할된 분할, 충분한 이미지, 무게 범위—하에 $ \bar{r} $ 가 $ W^{ ext{explicit}}(\bar{r}) $ 에서 적어도 한 개의 무게에서 모듈라리티임을 증명하고, Hodge-Tate 무게에 대한 명시적 합동 조건을 제시하는 것.
• Fontaine-Laffaille 이론을 사용해 고전 범위 외의 정수형 표현 감소를 분석함으로써, $ n=3 $ 초과로의 무게 추측 일반화를 위한 기초를 마련하는 것.

제안 방법

• 자기적 대각화 가능 릿지가 존재한다고 가정하는 조건(추측적으로 보편적인 조건) 하에서, [BLGGT14b]의 자동형성 상승 정리를 활용해 $ \bar{r} $ 의 잠재적 대각화 가능 릿지를 구성한다.
• Fontaine-Laffaille 이론을 적용하여 $ p $-진 Galois 표현의 mod $ l $ 감소 구조를 분석하고, 특히 $ l $ 위의 자리에서 $ \bar{r}|_{I_{F_w}} $ 의 관성 작용과 분해 유형을 중심으로 분석한다.
• mod $ l $ 관성 표현의 구조와 자동형 릿지의 Hodge-Tate 무게에 기반해 추측적 Serre 무게 집합 $ W^{ ext{explicit}}(\bar{r}) $ 를 정의한다.
• 모듈로 $ l^2 - 1 $, $ l^3 - 1 $, $ l^2 + l + 1 $ 의 합동을 사용하여 $ \bar{r}|_{I_{F_w}} $ 의 가능한 동형 유형 12개 중 유일하게 가능한 경우만 남기고 제거함으로써, 유일한 일관된 가능성은 $ F_a \cong F_b $ 임을 보여주고, 이로써 모듈라리티를 증명한다.
• 자기적 Serre 무게(약한 조건)의 개념을 활용하여 자동형 표현의 감소가 기대되는 무게 구조와 일치함을 보장한다.
• 특성 $ l $ 위의 자리에서 mod $ l $ 표현의 레벨을 분석하고, 레벨 1, 2, 3으로 나누어 각각에 대해 유일한 구성이 가능한지 분석하며, 가정된 무게와 일치하는 경우는 오직 하나뿐임을 보인다.

실험 결과

연구 질문

• RQ1 unitary 군 $ U(n) $ 위의 mod $ l $ Galois 표현 $ \bar{r} $ 에 대해, 일반화된 Serre 무게 추측이 예측하는 무게 $ a $ 는 무엇인가?
• RQ2 특히 $ n=3 $ 일 때, $ \bar{r} $ 가 $ W^{ ext{explicit}}(\bar{r}) $ 에 속하는 무게에서 모듈라리티임을 증명할 수 있는 조건은 무엇인가?
• RQ3 특성 0의 대수적 표현에서 mod $ l $ 기약 표현으로의 감소 사상이 실패할 경우, 감소의 socle에 초점을 맞추어 이를 극복할 수 있는가?
• RQ4 Hodge-Tate 무게와 관성 작용에 대한 합동 조건은 $ \bar{r} $ 가 모듈라리티를 갖는 가능한 Serre 무게를 어떻게 제약하는가?
• RQ5 Fontaine-Laffaille 이론은 고전 범위를 초월한 고차원에서 정수형 표현 감소를 분류하는 데 얼마나 활용될 수 있는가?

주요 결과

• 논문은 $ \bar{r} $ 가 $ \operatorname{Gal}(F/F) $ 의 모듈라리 표현이고, 분할된 분할 조건을 만족하며 $ l $ 가 CM 체 $ F $ 에서 완전히 분해된다면, 잠재적 대각화 가능 자동형 릿지가 존재한다고 가정할 때, $ \bar{r} $ 는 명시적으로 정의된 집합 $ W^{ ext{explicit}}(\bar{r}) $ 에서 적어도 한 개의 무게에서 모듈라리티임을 증명한다.
• $ n=3 $ 에서 집합 $ W^{ ext{explicit}}(\bar{r}) $ 는 mod $ l $ 관성 표현 $ \bar{r}|_{I_{F_w}} $ 가 Hodge-Tate 무게와 기본 문자의 작용으로 유도된 특정 형태와 일치하는 무게 $ a $ 로 이루어져 있다.
• 증명은 자동형 릿지와 무게 조건에서 유도된 $ \bar{r}|_{I_{F_w}} $ 의 12개의 가능한 동형 유형이 $ F_a \cong F_b $ 가 아니면 모두 모순을 일으킴을 보여주며, 이로써 모듈라리티가 강제됨을 보인다.
• 핵심 모순은 레벨 3의 경우 발생하며, $ l^3 - 1 $ (또는 $ l^2 + l + 1 $) 모듈로 12개의 합동 조건이 모두 불가능한 조건, 예를 들어 $ l^2 - 1 \equiv 0 \pmod{l^3 - 1} $ 를 유도하며, 이는 $ l > 2 $ 일 때 실패한다.
• 이 결과는 $ a $ 가 '일반적'이라는 약한 조건을 만족할 경우 성립하며, 이 조건은 대부분의 무게에서 성립하며, 모든 포함형 $ \tau $ 에 대해 $ \mu_{\tau,1} - \mu_{\tau,3} \leq l - 3 $ 이라는 Hodge-Tate 무게 조건도 필요로 한다.
• 저자들은 $ W^{ ext{explicit}}(\bar{r}) $ 가 [EGHS14]에 의해 예측된 '명백한' 무게들만 포함하며, 전체 모듈라리 무게 집합은 더 클 수 있지만, 현재 Fontaine-Laffaille 이론을 사용한 방법으로 접근 가능한 것은 이들뿐이라고 추측한다.