[논문 리뷰] A zig-zag conjecture and local constancy for Galois representations

Eknath Ghate|arXiv (Cornell University)|2019. 03. 20.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 7

한 줄 요약

이 논문은 $G_{\mathbb{Q}_p}$의 임의의 두 차원 무한히 분해 가능한 Galois 표현에서 반정수 기울기와 예외적 무게를 가진 경우의 축소를 묘사하는 zig-zag 추측을 제안하고, $v \leq \frac{3}{2}$인 경우에 이 추측을 증명한다. 또한 무게에서의 국소 일관성과의 상호작용을 탐색하여, 기존의 zig-zag 결과는 작은 무게에서 국소 일관성이 실패함을 시사하고, 반대로 국소 일관성이 성립한다면 특정 높은 기울기에서 zig-zag가 실패해야 함을 보여준다.

ABSTRACT

We make a zig-zag conjecture describing the reductions of irreducible crystalline two-dimensional representations of $G_{\mathbb{Q}_p}$ of half-integral slopes and exceptional weights. Such weights are two more than twice the slope mod $(p-1)$. We show that zig-zag holds for half-integral slopes at most $\frac{3}{2}$. We then explore the connection between zig-zag and local constancy results in the weight. First we show that known cases of zig-zag force local constancy to fail for small weights. Conversely, we explain how local constancy forces zig-zag to fail for some small weights and half-integral slopes at least $2$. However, we expect zig-zag to be qualitatively true in general. We end with some compatibility results between zig-zag and other results.

연구 동기 및 목표

• 반정수 기울기와 예외적 무게—$k \equiv 2v+2 \mod (p-1)$—를 가진 결정적 Galois 표현의 축소를 개략적으로 묘사하는 일반적인 zig-zag 추측을 수립하는 것.
• 작은 반정수 기울기에서 추측을 정교화하여 축소를 정확히 기술하고, $v = \frac{1}{2}, 1, \frac{3}{2}$의 경우 기존 결과와 일치하는지 검증하는 것.
• zig-zag 추측과 무게에서의 국소 일관성 간의 관계를 조사하여, zig-zag가 작은 무게에서 국소 일관성이 실패함을 시사하는 바이며, 반대로 국소 일관성이 성립한다면 일부 더 높은 기울기에서 zig-zag가 실패해야 함을 보이는 것.
• 기타 알려진 결과—비가역성 추측과 초수렴 모듈라 형식 위에서 $\theta$-연산자의 작용—과의 호환성을 확립하는 것.

제안 방법

• Fontaine의 $D_{\mathrm{cris}}$ 함자를 사용하여 결정적 표현 $V_{k,a_p}$의 필터링된 $\varphi$-모듈 구조를 묘사하며, $\varphi(e_1) = p^{k-1}e_2$, $\varphi(e_2) = -e_1 + a_p e_2$이며, Hodge 필터링을 명시한다.
• 모드 $p$ Langlands 대응을 적용하여 축소 $\bar{V}_{k,a_p}^{ss}$를 기울기와 무게에 따라 $\operatorname{ind}(\omega_2^c)$ 또는 $\omega^b \oplus \omega^c$ 형태의 유도 표현과 연결한다.
• 기울기와 무게의 다양한 범주에서 모드 $p$ 축소의 구조를 분석하기 위해 $t = v(k-2)$와 $\tau = v(a_p) - v(k-2)$를 사용한 매개변수화를 시행한다.
• 모드 $p$ 축소의 조르당-횔러 인자 $F_1, F_2, F_3$의 구조를 세 영역에서 분석한다: $\tau < t$, $\tau = t$, $\tau > t$이며, $\tau$의 값에 따라 다른 몫을 가진다.
• 비율 $v = \frac{3}{2}$에서 $F_1, F_2, F_3$의 행동을 임계 임계값 $t$, $t+\frac{1}{2}$, $t+1$을 통해 검증함으로써 zig-zag 추측을 증명한다. 이때 $T$-연산자와 $\overline{c}$-항을 포함한 명시적 몫을 사용한다.
• 추측된 축소 패tern과 초수렴 모듈라 형식 위에서의 $\theta$-연산자 작용을 비교하여, $\omega$로의 회전을 통해 $v$와 $v+1$ 기울기 사이에서 축소 구조가 일치함을 보여주며 호환성을 입증한다.

실험 결과

연구 질문

• RQ1 반정수 기울기 $v$와 예외적 무게 $k \equiv 2v+2 \mod (p-1)$를 가진 결정적 표현의 축소 $\bar{V}_{k,a_p}^{ss}$에 대해 zig-zag 추측이 정확하게 묘사하는가?
• RQ2 zig-zag 패턴은 무게에서의 국소 일관성과 어떻게 상호작용하는가? 그리고 국소 일관성이 실패할 가능성이 있는 지점을 예측하는 데 사용될 수 있는가?
• RQ3 zig-zag 추측은 초수렴 $p$-진 모듈라 형식 위에서의 $\theta$-연산자 작용과 어느 정도 호환되는가? 특히 기울기 $v$와 $v+1$ 사이에서 축소가 일치하는가?
• RQ4 zig-zag 구조는 분수 기울기의 비가역성 추측과 모순되거나 일치하는가? 기울기 $v$가 정수 또는 반정수일 경우 어떻게 행동하는가?
• RQ5 zig-zag 패턴은 $v = \frac{3}{2}$를 초월하여 확장될 수 있는가? 더 높은 기울기에서 조르당-횔러 인자의 선택을 규정하는 구조적 원리는 무엇인가?

주요 결과

• zig-zag 추측은 모든 반정수 기울기 $v \leq \frac{3}{2}$에 대해 참임을 증명하였으며, 특히 $v = \frac{3}{2}$인 경우에 대해 임계값 $t$, $t+\frac{1}{2}$, $t+1$을 중심으로 모드 $p$ 축소의 구조를 분석함으로써 이를 입증하였다.
• $v = \frac{3}{2}$일 때, 축소 $\bar{V}_{k,a_p}^{ss}$는 zig-zag 패턴을 보이며: $\tau < t$일 때 $F_1$이 지배하고, $\tau = t$일 때 $F_2$가 나타나며, $\tau = t+1$일 때 $F_3$가 나타난다. 이는 $T$-연산자와 $\overline{c}$-항을 포함한 서로 다른 몫을 가진다.
• 추측은 무게에서의 국소 일관성이 작은 무게에서 실패함을 시사한다. 이는 $p-1$ 모듈로에서의 무게 동치류 간에 축소 패턴이 급격히 변화하기 때문이며, 특히 예외적 무게에서 두드러진다.
• 반대로, 만약 국소 일관성이 성립한다면, 일부 작은 무게와 반정수 기울기 $v \geq 2$에서 zig-zag 패턴이 실패해야 함을 의미하며, 이는 두 현상 간의 근본적인 갈등을 보여준다.
• zig-zag 추측은 $\theta$-연산자의 작용과 호환된다: 기울기 $v$에서의 축소를 $\omega$로 회전하면, 기울기 $v+1$에서 무게 $k+2$인 형식의 축소와 일치하며, Hida-Coleman 가닥에 대한 기존 결과와 일관성을 확인한다.
• 추측은 분수 기울기의 비가역성 추측과 공백적으로 호환된다. 왜냐하면 예외적 무게 $k \equiv 2v+2 \mod (p-1)$는 $v$가 정수일 때만 발생하며, 이 경우 추측은 반정수 $v$에 대해 적용되지 않기 때문이다.